Related papers: An ordered structure of rank two related to Dulac'…
Turing's model has been widely used to explain how simple, uniform structures can give rise to complex, patterned structures during the development of organisms. However, it is very hard to establish rigorous theoretical results for the…
The projectability of Poincar\'e-Cartan forms in a third-order jet bundle $J^3\pi$ onto a lower-order jet bundle is a consequence of the degenerate character of the corresponding Lagrangian. This fact is analyzed using the constraint…
A theoretical study of vesicles of topological genus zero is presented. The bilayer membranes forming the vesicles have various degrees of intrinsic (tangent-plane) orientational order, ranging from smectic to hexatic, frustrated by…
We introduce a novel framework, termed $\lambda$DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing variants, including the most recent ones like Chain-DD…
The structure theory for the quadratic algebra generated by first and second order constants of the motion for 2D second order superintegrable systems with nondegenerate (3-parameter) and or 2-parameter potentials is well understood, but…
We investigate how higher order non-linear parameters affect lower order ones through loop effects. We calculate the loop corrections up to two-loops and explicitly show that the tree contribution is stable against loop terms in most cases.…
We study the occurrence of limit cycles from a point on the discontinuity hyperplane $L$ between two smooth vector fields where the two vector fields both point towards one another. Generically, such a point (called switched equilibrium in…
We address the problem of characterizing $H$-coloring problems that are first-order definable on a fixed class of relational structures. In this context, we give several characterizations of a homomorphism dualities arising in a class of…
Numerical simulations of phase ordering under dissipative dynamics in a (2+1)-dimensional 3-vector model with O(3) symmetry are reported. The energy functional includes terms which stabilize the size of extended topological defects. They…
We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…
We study the question of whether a given regular language of finite trees can be defined in first-order logic. We develop an algebraic approach to address this question and we use it to derive several necessary and sufficient conditions for…
This work concerns in part the construction of conformal Jordan cells of infinite rank and their reductions to conformal Jordan cells of finite rank. It is also discussed how a procedure similar to Lie algebra contractions may reduce a…
A version of the second order phase transition theory, in which the Nernst theorem holds automatically, is proposed. The theory is constructed in terms of the order parameter and the (configurational) entropy. It faithfully reproduces the…
The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary first-order theories. We prove that the first-order theory of a string automatic…
It is shown how a selection of prominent results in singularity theory and differential geometry can be deduced from one theorem, the Rank Theorem for maps between spaces of power series.
We propose a traffic flow model in which the vehicles are filed from their maximal velocities, the fast cars run with $Vmax{1}$, whereas the slow ones run with $Vmax{2}$. Using new overtaking rules which deals with deterministic NaSch…
We reveal the critical properties of the phase transition towards superfluid order that has been proposed to occur in large spin fermionic systems. For this purpose, we consider the bosonic field theory for fluctuations of the complex…
This work is devoted to the study of the relationships between graph theory and the qualitative analysis of ordinary differential equations, with a special focus on two-dimensional systems. In particular, we reinterpret classical results…
There are many notions of rank in multilinear algebra: tensor rank, partition rank, slice rank, and strength (or Schmidt rank) are a few examples. Typically the rank $\le r$ locus is not Zariski closed, and understanding the closure (the…
We investigate the extent of second order characterizable structures by extending Shelah's Main Gap dichotomy to second order logic. For this end we consider a countable complete first order theory T. We show that all sufficiently large…