This page contains a list of publications whose development was conducted within the framework of the project.
1. Paweł Pilarczyk, Pedro Real. Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Submitted.
In this paper, the authors introduce algorithms for the computation of homology, cohomology, and related operations on cubical cell complexes, using the technique of the construction of a chain contraction from the original chain complex to a reduced one that represents its homology. This work is based on previous results for simplicial complexes, and uses Serre's diagonalization for cubical cells. A preprint of this paper, an implementation in C++ of the introduced algorithms, as well as some examples that illustrate this approach, are available at the ChainCon website.
2. Paweł Pilarczyk. Set-oriented numerical analysis of difference equations with parameters. Proceedings of the International Workshop Future Directions in Difference Equations (June 13-17, 2011, Vigo, Spain), E. Liz and V. Manosa Eds., Servicio de Publicacions da Universidade de Vigo, 2011, pp. 149-156. [full text]
This paper introduces an automatic method for the analysis
of dynamical systems that is an excellent ground for applications
of the theory and code developed in the framework of the project.
The purpose of this paper is to provide a possibly simple
introduction to the set-oriented algorithmic method
for determining the global dynamics of a system
of first-order ordinary difference equations with parameters,
introduced in the paper
A database schema for the analysis of global dynamics
of multiparameter systems (SIADS 2009,
Vol. 8, No. 3, pp. 757-789).
An emphasis is made on the details of input data
and on the assumptions required by the method,
as well as on the interpretation of the results of the computation.
The method is illustrated with an application
to a simple overcompensatory two-stage population model
related to modeling baleen whale populations.
3. Eduardo Liz, Paweł Pilarczyk. Global dynamics in a stage-structured discrete-time population model with harvesting. J. Theoret. Biol., Vol. 297 (2012), 148-165. DOI: 10.1016/j.jtbi.2011.12.012.
This paper constitutes an application of an automatic method
for the analysis of dynamical systems that uses parts of theory and code
developed in the framework of the project.
The purpose of this paper is to analyze the effect
of constant effort harvesting
upon global dynamics of a discrete-time population model
with juvenile and adult stages.
We consider different scenarios, including adult-only mortality,
juvenile-only mortality, and equal mortality of juveniles and adults.
In addition to analytical study of equilibria of the system,
we analyze global dynamics by means of an automated
set-oriented rigorous numerical method.
We obtain a comprehensive overview of the dynamics
as the harvest rate and survival probability change.
In particular, we determine the range of parameters
for which the population abundance gets larger
in spite of an increase in the harvest rate (so-called hydra effect),
and for which subsequent increases in harvesting effort
can magnify fluctuations in population abundance (destabilize it)
and then stabilize it again (so-called bubble effect).
4. Paweł Pilarczyk, Luis García, Benjamin A. Carreras, Irene Llerena. A dynamical model for plasma confinement transitions. J. Phys. A: Math. Theor., Vol. 45, No. 12 (2012), 125502. DOI: 10.1088/1751-8113/45/12/125502.
This paper constitutes an application of an automatic method
for the analysis of dynamical systems that uses parts of theory and code
developed in the framework of the project.
A three equation model describing the evolution of the turbulence
level, averaged shear flow and sheared zonal flow is analyzed
using topological properties of the asymptotic solutions.
An exploration in parameter space is done identifying the
attractor sets, which are fixed points and limit cycles. Then
a more detailed analysis of all Morse sets is conducted using
topological-combinatorial computations. This model allows the
description of different types of transition to improved plasma
confinement regimes.
5. Justin Bush, Marcio Gameiro, Shaun Harker, Hiroshi Kokubu, Konstantin Mischaikow, Ippei Obayashi, Paweł Pilarczyk. Combinatorial-Topological Framework for the Analysis of Global Dynamics, Chaos, Vol. 22, No. 4 (2012), 047508. DOI: 10.1063/1.4767672.
This paper describes a computational framework
for an automatic method for the analysis of dynamical systems
that is an excellent ground for applications of the theory and code
developed in the framework of the project.
We discuss an algorithmic framework based on efficient graph algorithms
and algebraic-topological computational tools. The framework is aimed
at automatic computation of a database of global dynamics
of a given m-parameter semidynamical system with discrete time
on a bounded subset of the n-dimensional phase space.
We introduce the mathematical background,
which is based upon Conley's topological approach to dynamics,
describe the algorithms for the analysis of the dynamics
using rectangular grids both in phase space and parameter space,
and show two sample applications.
[More publications to come in the nearest future.]