Related papers: Quantitative Transversal Theorems in the Plane
The ordinary quantum theory points out that general relativity is negligible for spatial distances up to the Planck scale. Consistency in the foundations of the quantum theory requires a``soft'' spacetime structure of the general relativity…
We establish a quantitative version of Oppenheim's conjecture for generic ternary indefinite quadratic forms using an analytic number theory approach. The statements come with power gains and in some cases are essentially optimal
A theorem of Wiegerinck asserts that the Bergman space of an open subset of the complex numbers is either infinite-dimensional or trivial. Recently, this has been generalized to holomorphic vector bundles over the projective line by the…
The topological Tverberg theorem claims that for any continuous map of the (q-1)(d+1)-simplex to R^d there are q disjoint faces such that their images have a non-empty intersection. This has been proved for affine maps, and if $q$ is a…
This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving…
The present paper studies a quantitative version of the transversality theorem. More precisely, given a continuous function $g\in \mathcal{C}([0,1]^d,\mathbb{R}^m)$ and a global smooth manifold $W\subset \mathbb{R}^m$ of dimension $p$, we…
In this paper, we aim to provide a notion of "relative objects", i.e. objects equipped with some sort of subobjects, in differential topology. In spite of active researches relating them, e.g. knot theory or the theory of manifolds with…
The mirror theorem is generalized to any smooth projective variety X. That is, a fundamental relation between the Gromov-Witten invariants of X and Gromov-Witten invariants of complete intersections Y in X is established.
We prove a no-dimensional version of Carath\'edory's theorem: given an $n$-element set $P\subset \Re^d$, a point $a \in \conv P$, and an integer $r\le d$, $r \le n$, there is a subset $Q\subset P$ of $r$ elements such that the distance…
We prove a density version of the Halpern-L\"{a}uchli Theorem. This settles in the affirmative a conjecture of R. Laver. Specifically, let us say that a tree $T$ is homogeneous if $T$ has a unique root and there exists an integer $b\meg 2$…
We prove a general version of the homological perturbation lemma which works in the presence of curvature, and without the restriction to strong deformation retracts, building on work of Markl. A key observation is that the notion of strong…
In universal algebra, it is well known that varieties admitting a majority term admit several Mal'tsev-type characterizations. The main aim of this paper is to establish categorical counterparts of some of these characterizations for…
We prove a generalization of the topological Tverberg theorem. One special instance of our general theorem is the following: Let $\Delta$ denote the 8-dimensional simplex viewed as an abstract simplicial complex, and suppose that its…
We prove a generalization of the fixed point theorem of Cartwright and Littlewood. Namely, suppose $h : \mathbb{R}^2 \to\mathbb{R}^2$ is an orientation preserving planar homeomorphism, and let $C$ be a continuum such that $h^{-1}(C)\cup C$…
We initiate the study of convex geometry over ordered hyperfields. We define convex sets and halfspaces over ordered hyperfields, presenting structure theorems over hyperfields arising as quotients of fields. We prove hyperfield analogues…
A remarkable theorem due to Peter Dembowski states that if $I$ is an inversive plane of even order $q$ then $q$ must be a power of two and $I$ must be the incidence system of points versus plane ovals in an ovoid in the projective $3$-space…
The classical Sturm-Hurwitz-Kellogg theorem asserts that a function, orthogonal to an n-dimensional Chebyshev system on a circle, has at least n+1 sign changes. We prove the converse: given an n-dimensional Chebyshev system on a circle and…
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula.…
The classical Cohn-Vossen theorem states that two isometric compact convex surfaces in $\mathbb{R}^{3}$ are congruent. In this short note, we generalize the classical Cohn-Vossen Theorem to higher dimensional surfaces in space form…
The classic Ham-Sandwich theorem states that for any $d$ measurable sets in $\mathbb{R}^d$, there is a hyperplane that bisects them simultaneously. An extension by B\'ar\'any, Hubard, and Jer\'onimo [DCG 2008] states that if the sets are…