Related papers: Some Applications of the Extended Bendixson-Dulac …
We demonstrate existence and uniqueness of Picard--Vessiot extensions satisfying prescribed properties, for systems of linear differential equations over a field satisfying the same properties, under some closure assumptions on the field of…
Although there are very algorithms for embedding graphs on unbounded grids, only few results on embedding or drawing graphs on restricted grids has been published. In this work, we consider the problem of embedding paths and cycles on grid…
A multivariate extension of the Dickman distribution was recently introduced, but very few properties have been studied. We discuss several properties with an emphasis on simulation. Further, we introduce and study a multivariate extension…
The usual treatment of a (first order) classical field theory such as electromagnetism has a little drawback: It has a primary constraint submanifold that arise from the fact that the dynamics is governed by the antisymmetric part of the…
Let $\Pi$ be an open, relatively compact period annulus of real analytic vector field $X_0$ on an analytic surface. We prove that the maximal number of limit cycles which bifurcate from $\Pi$ under a given multi-parameter analytic…
It is widely believed that the critical properties of several planar lattice models, like the Eight Vertex or the Ashkin-Teller models, are well described by an effective Quantum Field Theory obtained as formal scaling limit. On the basis…
Plank problems concern the covering of convex bodies by planks in Euclidean space and are related to famous open problems in convex geometry. In this survey, we introduce plank problems and present surprising applications of plank theorems…
We give an account of the results about limit cycle's uniqueness for Li\'enard equations, from Levinson-Smith's one to the most recent ones. We present a new uniqueness theorem in the line of Sansone-Massera's geometrical approach.
The triality properties of Dirac spinors are studied, including a construction of the algebra of (complexified) biquaternion. It is proved that there exists a vector-representation of Dirac spinors. The massive Dirac equation in the…
We present a sequent-style proof system for provability logic GL that admits so-called circular proofs. For these proofs, the graph underlying a proof is not a finite tree but is allowed to contain cycles. As an application, we establish…
We derive new all-purpose methods that involve the Dirac Delta distribution. Some of the new methods use derivatives in the argument of the Dirac Delta. We highlight potential avenues for applications to quantum field theory and we also…
In this paper we prove a sufficient condition for the existence of a Hamilton cycle, which is applicable to a wide variety of graphs, including relatively sparse graphs. In contrast to previous criteria, ours is based on only two…
For a given natural number $n$, the second part of Hilbert's 16th Problem asks whether there exists a finite upper bound for the maximum number of limit cycles that planar polynomial vector fields of degree $n$ can have. This maximum number…
For an orientation-preserving homeomorphism of the sphere, we prove that if a translation line does not accumulate in a fixed point, then it necessarily spirals towards a topological attractor. This is in analogy with the description of…
We consider the multiplicity of limit cycles that appear when a hyperbolic polycycle is perturbed. We prove, in particular, that if such unfolding happens in generic finite-parameter families, the multiplicity of every new limit cycle does…
This work is devoted to study the existence of periodic solutions for a family of discontinuous differential systems $Z(x,y;\epsilon)$ with many zones. We show that for $\epsilon$ sufficiently small the averaged functions at any order…
We collect some results in combinatorial geometry that follow from an inequality of Langer in algebraic geometry. Langer's inequality gives a lower bound on the number of incidences between a point set and its spanned lines, and was…
Multiplicative linear logic is a very well studied formal system, and most such studies are concerned with the one-sided sequent calculus. In this paper we look in detail at existing translations between a deep inference system and the…
In this paper, we study the generalized Douglas-Rachford algorithm and its cyclic variants which include many projection-type methods such as the classical Douglas-Rachford algorithm and the alternating projection algorithm. Specifically,…
We study limit theorems in the context of random perturbations of dispersing billiards in finite and infinite measure. In the context of a planar periodic Lorentz gas with finite horizon, we consider random perturbations in the form of…