Related papers: Bourbaki--Zorn Normal Forms for Maximality Argumen…
We study the signalling structure of higher order quantum maps from an order-theoretic perspective, building on the combinatorial characterization of higher order types by Bisio and Perinotti. We have shown in a previous work…
In this paper, the Pazy's Fixed Point Theorems of monotone $\alpha-$nonexpansive mapping $T$ are proved in a uniformly convex Banach space $E$ with the partial order "$\leq$". That is, we obtain that the fixed point set of $T$ with respect…
We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
Poincare's last geometric theorem (Poincare-Birkhoff Theorem) states that any area-preserving twist map of annulus has at least two fixed points. We replace the area-preserving condition with a weaker intersection property, which states…
Let $(X,\le)$ be a {\em non-empty strictly inductive poset}, that is, a non-empty partially ordered set such that every non-empty chain $Y$ has a least upper bound lub$(Y)\in X$, a chain being a subset of $X$ totally ordered by $\le$. We…
The Brezis-Browder ordering principle [Advances Math., 21 (1976), 355-364] is used to get a proof, in the reduced axiomatic system (ZF-AC+DC), of a fixed point result [in the complete axiomatic system (ZF)] over Cantor complete ultrametric…
In previous work, the second author introduced a topology, for spaces of irreducible representations, that reduces to the classical Zariski topology over commutative rings but provides a proper refinement in various noncommutative settings.…
A standard organization of production lines exhibiting self-balancing behavior is given by bucket brigades. Their study in operations research was initiated by the foundational work of Bartholdi and Eisenstein ({\em Operations Research},…
Planar central configurations can be seen as critical points of the reduced potential or solutions of a system of equations. By the homogeneity and invariance of the potential with respect to SO(2), it is possible to see that the…
Over the last two decades, pseudospectral methods based on Lagrange interpolants have flourished in solving trajectory optimization problems and their flight implementations. In a seemingly unjustified departure from these highly successful…
In this technical communique we study the maximal robust positively invariant set for state-constrained continuous-time nonlinear systems subjected to a bounded disturbance. Extending results from the theory of barriers, we show that this…
Let X be a nonempty convex compact subset of some Haus-dorff locally convex topological vector space S. The well know Bauer's maximum principle stats that every convex upper semi-continuous function from X into R attains its maximum at some…
We define a natural notion of higher order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic varieties, up to linear error. This generalizes…
In [44], we qualitatively studied some classical results implied by the specification property for dynamical systems with non-uniform specification. In this paper, we perform quantitative studies on how properties of topological theory and…
We develop causality theory for upper semi-continuous distributions of cones over manifolds generalizing results from mathematical relativity in two directions: non-round cones and non-regular differentiability assumptions. We prove the…
We show that if $f : \mathbb{A}_{\bar{\mathbb{Q}}}^r \to \mathbb{A}_{\bar{\mathbb{Q}}}^r$ is a regular self-map and $P \in \mathbb{A}^r(\bar{\mathbb{Q}})$ has $\limsup_{n \in \mathbb{N}} \frac{\log{h_{\mathrm{aff}}(f^nP)}}{\log{n}} < 1/r$,…
We consider the model of a point-vortex under a periodic perturbation and give sufficient conditions for the existence of generalized quasi-periodic solutions with rotation number. The proof uses Aubry-Mather theory to obtain the existence…
If in a given rank $r$, there is an irreducible complex local system with torsion determinant and quasi-unipotent monodromies at infinity on a smooth quasi-projective variety, then for every prime number $\ell$, there is an absolutely…
A discrete group which admits a faithful, finite dimensional, linear representation over a field $\mathbb F$ of characteristic zero is called linear. This note combines the natural structure of semi-direct products with work of A. Lubotzky…