Related papers: A Suspension Lemma for Bounded Posets
We prove local well-posedness and finite-time blow-up for a restricted fourth-order Prandtl equation posed on the half-line with clamped boundary conditions. The equation arises from a two-dimensional fourth-order Prandtl system via an…
We extend the inflationary fixed-point logic, IFP, with a new kind of second-order quantifiers which have (poly-)logarithmic bounds. We prove that on ordered structures the new logic $\exists^{\log^{\omega}}\text{IFP}$ captures the limited…
It is a theorem of Bers that any closed hyperbolic surface admits a pants decomposition consisting of curves of bounded length where the bound only depends on the topology of the surface. The question of the quantification of the optimal…
To verify the universal validity of the "two-sided" monotonicity condition introduced in [8], we will apply it to include more classical examples. The present paper selects the $L^{p}$ convergence case for this purpose. Furthermore, Theorem…
We derive the constitutive equation for a suspension of lopsided Hookean dumbbells. By lopsided, we mean that one bead is larger than the other. We find that all results derived for symmetric Hookean dumbbells can be taken over for lopsided…
The perturbation lemma and the homotopy transfer for L-infinity algebras is proved in a elementary way by using a relative version of the ordinary perturbation lemma for chain complexes and the coalgebra perturbation lemma.
We prove an uncertainty relation, which imposes a bound on any joint measurement of position and momentum. It is of the form $(\Delta P)(\Delta Q)\geq C\hbar$, where the `uncertainties' quantify the difference between the marginals of the…
A lattice polytope $P$ is called IDP if any lattice point in its $k$th dilate is a sum of $k$ lattice points in $P$. In 1991 Stanley proved a strong inequality in Ehrhart theory for IDP lattice polytopes. We show that his conclusion holds…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
We introduce a new combinatorial condition on a subinterval of a poset P (a clamped subinterval) that allows us to relate the Auslander-Reiten quiver of the bounded derived category of P to that of the subinterval. Applications include the…
A comma category, exemplified in algebraic geometry by coherent systems, combines two categories over a third through morphisms between their objects. We establish sufficient conditions for it to be abelian, compute its Grothendieck group,…
It is known that the suspension of a simplicial complex can be realized with only one additional point. Suitable iterations of this construction generate highly symmetric simplicial complexes with various interesting combinatorial and…
Given a graded poset $P$, consider a chain decomposition $\mathcal{C}$ of $P$. If $|C_1|\le |C_2|$ implies that the set of the ranks of elements in $C_1$ is a subset of the ranks of elements in $C_2$ for any chains $C_1,C_2\in \mathcal{C}$,…
We give a necessary and sufficient condition ensuring that any function which is separately Lipschitz on two fixed compact sets is Lipschitz on their union.
We prove a compactness criterion in $L^p({\mu},X)$: a subset of $L^p({\mu},X)$ is relatively norm compact iff the set of integrals of its functions over any measurable set is relatively norm compact, it satisfies the Fr\'echet oscillation…
Given a finite collection of probability measures defined on subsets of a measurable space, how can we determine if they are compatible, in the sense that they can be realized as conditional distributions of a single probability measure on…
We consider successive measurements of position and momentum of a single particle. Let P be the conditional probability to measure the momentum k with precision dk, given a previously successful position measurement q with precision dq.…
We show that any set of quotients with fixed Chern classes of a given coherent sheaf on a compact Kaehler manifold is bounded in a sense which we define. The result is proved by adapting Grothendieck's boundedness criterium expressed via…
In a non-compact context the first natural step in the search for periodic orbits of a hamiltonian flow is to detect bounded ones. In this paper we show that, in a non-compact setting, certain algebraic topological constraints imposed to a…
Necessary conditions for asymptotic stability and stabilizability of subsets for dynamical and control systems are obtained. The main necessary condition is homotopical and is in turn used to obtain a homological one. A certain extension is…