Related papers: Hadwiger and Helly-type theorems for disjoint unit…

In this paper we discuss gauging one-form symmetries in two-dimensional theories. The existence of a global one-form symmetry in two dimensions typically signals a violation of cluster decomposition -- an issue resolved by the observation…

Scalars carrying a conserved global charge $Q$ can form stable localized field configurations composed of a large number of particles. These non-topological solitons are spherically symmetric and are called Q-balls. While usually analyzed…

Let $\mathcal{A}$ be an abelian category and $\mathcal{B}$ be the Happel-Reiten-Smal{\o} tilt of $\mathcal{A}$ with respect to a torsion pair. We give necessary and sufficient conditions for the existence of a derived equivalence between…

Halin [1965] proved that if a graph has $n$ many pairwise disjoint rays for each $n$ then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic…

We prove fibration theorems \`a la Milnor for differentiable real maps with non isolated critical values. We study the situation for maps with linear discriminant, and prove that the concept of d-regularity is the key point for the…

We prove the following sparse approximation result for polytopes. Assume that $Q$ is a polytope in John's position. Then there exist at most $2d$ vertices of $Q$ whose convex hull $Q'$ satisfies $Q \subseteq - 2d^2 \, Q'$. As a consequence,…

A ballean is a set endowed with some family of its subsets which are called the balls. We postulate the properties of the family of balls in such a way that the balleans can be considered as the asymptotic counterparts of the uniform…

We give families of knots and links with pairs of Seifert surfaces that are topologically non-isotopic in $D^4$. This generalizes the main example of Hayden-Kim-Miller-Park-Sundberg and the proof is similarly based on the double branched…

Recently geometric hypergraphs that can be defined by intersections of pseudohalfplanes with a finite point set were defined in a purely combinatorial way. This led to extensions of earlier results about points and halfplanes to…

We continue to develop an obstruction theory for embedding 2-spheres into 4-manifolds in terms of Whitney towers. The proposed intersection invariants take values in certain graded abelian groups generated by labelled trivalent trees, and…

This paper provides a convenient and practical method to compute the homology and intersection pairing of a branched double cover of the 4-ball. To projections of links in the 3-ball, and to projections of surfaces in the 4-ball into the…

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…

Pach showed that every $d+1$ sets of points $Q_1,\dotsc,Q_{d+1} \subset \mathbb{R}^d$ contain linearly-sized subsets $P_i\subset Q_i$ such that all the transversal simplices that they span intersect. We show, by means of an example, that a…

In a recent paper, Chan, \L aba, and Pramanik investigated geometric configurations inside thin subsets of the Euclidean set possessing measures with Fourier decay properties. In this paper we ask which configurations can be found inside…

In this note, we provide a proof of a technical result of Erd\H{o}s and Hajnal about the existence of disjoint type graphs with no odd cycles. We also prove that this result is sharp in a certain sense.

Let U be an open subset of a unirational variety. We prove that there is rational curve C in U such that the fundamental group of C surjects onto the fundamental group of U. As a consequence we obtain new proofs of the theorems of Harbater…

Following the work of Totaro and Pereira, we study sufficient conditions under which collections of pairwise-disjoint divisors on a variety over an algebraically closed field are contained in the fibers of a morphism to a curve. We prove…

Let $M$ be a $d$-dimensional complete Riemannian manifold and let $\pi: SM \to M$ denote the canonical projection from the unit tangent bundle. We prove that if $E \subset SM$ is a set that invariant under the geodesic flow with Hausdorff…

Choice of an appropriate (3+1)-foliation of spacetime or a (2+1)-foliation of the Cauchy space, leads often to a substantial simplification of various mathematical problems in General Relativity Theory. We propose a new method to construct…

Suppose $g_t$ is a $1$-parameter $\mathrm{Ad}$-diagonalizable subgroup of a Lie group $G$ and $\Gamma < G$ is a lattice. We study the dimension of bounded and divergent orbits of $g_t$ emanating from a class of curves lying on leaves of the…