Related papers: Directed Hypercube Routing, a Generalized Lehman-R…
The hypergraph Moore bound is an elegant statement that characterizes the extremal trade-off between the girth - the number of hyperedges in the smallest cycle or even cover (a subhypergraph with all degrees even) and size - the number of…
The Ratner property, a quantitative form of divergence of nearby trajectories, is a central feature in the study of parabolic homogeneous flows. Discovered by Marina Ratner and used in her 1980th seminal works on horocycle flows, it pushed…
We define persistent homology groups over any set of spaces which have inclusions defined so that the corresponding directed graph between the spaces is acyclic, as well as along any subgraph of this directed graph. This method…
It is shown that many results, previously believed to be properties of the Lichnerowicz Ricci curvature, hold for the Ricci curvature of all Gauduchon connections. We prove the existence of $t$--Gauduchon Ricci-flat metrics on the…
In this paper, we show that although the minimizers of cross-entropy and related classification losses are off at infinity, network weights learned by gradient flow converge in direction, with an immediate corollary that network…
We prove a sharp quantitative version of Hales' isoperimetric honeycomb theorem by exploiting a quantitative isoperimetric inequality for polygons and an improved convergence theorem for planar bubble clusters. Further applications include…
Steady fluid flows have very special topology. In this paper we describe necessary and sufficient conditions on the vorticity function of a 2D ideal flow on a surface with or without boundary, for which there exists a steady flow among…
We show improved monotonicity testers for the Boolean hypercube under the $p$-biased measure, as well as over the hypergrid $[m]^n$. Our results are: 1. For any $p\in (0,1)$, for the $p$-biased hypercube we show a non-adaptive tester that…
We introduce the notion of lef line bundles on a complex projective manifold. We prove that lef line bundles satisfy the Hard Lefschetz Theorem, the Lefschetz Decomposition and the Hodge-Riemann Bilinear Relations. We study proper…
An Independent Parallelism Theorem is proven in the theory of adhesive HLR categories. It shows the bijective correspondence between sequential independent and parallel independent direct derivations in the Weak Double-Pushout framework,…
A (directed) temporal graph is a (directed) graph whose edges are available only at specific times during its (discretized) lifetime $\tau$. In this setting, we ask that walks respect the temporal aspect by defining $\textit{temporal…
An important set of theorems in geometric analysis consists of constant rank theorems for a wide variety of curvature problems. In this paper, for geometric curvature problems in compact and non-compact settings, we provide new proofs which…
We show that the directed landscape is the unique coupling of the KPZ fixed point from all initial conditions satisfying three natural properties: independent increments, monotonicity, and shift commutativity. Equivalently, we show that the…
We study the homogenization of a stationary conductivity problem in a random heterogeneous medium with highly oscillating conductivity coefficients and an ensemble of simply closed conductivity resistant membranes. This medium is randomly…
The diagrammatic formalism and transport equation are conventionally considered as separate but complementary techniques to tackle the impurity scattering effect. To compare with the previous studies from the gauge-invariant kinetic…
Given a uniformly convergent sequence of ambient isotopies $(H_n)_{n\in\mathbb{N}}$, bijectivity of the limit function $H_\infty$ together with a minor compactness condition guarantees that $H_\infty$ is also an ambient isotopy. By…
We completely characterize isoperimetric regions in R^n with density e^h, where h is convex, smooth, and radially symmetric. In particular, balls around the origin constitute isoperimetric regions of any given volume, proving the Log-Convex…
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…
A reparametrization (of a continuous path) is given by a surjective weakly increasing self-map of the unit interval. We show that the monoid of reparametrizations (with respect to compositions) can be understood via ``stop-maps'' that allow…
It is well known that the Eisenbud-Goto regularity conjecture is true for arithmetically Cohen-Macaulay varieties, projective curves, smooth surfaces, smooth threefolds in $\mathbb{P}^5$, and toric varieties of codimension two. After J.…