natural ↗ reference
4894 papers tagged with this keyword
Universal Ahlfors--David regularity of Steiner trees
The celebrated Steiner tree problem is the problem of finding a set $\St$ of minimum one-dimensional Hausdorff measure $\H$ (length) such that $\St \cup \mathcal{A}$ is connected, where $\mathcal{A} \subset \mathbb{R}^d$ is a given compact set.
Paolini and Stepanov provided very general existence and regularity results for the Steiner problem.
Their main regularity result is that under a natural assumption, $\H(\St) < \infty$, for almost every $\varepsilon>0$ the set $\St_\varepsilon := \St\setminus B_\varepsilon(\mathcal A)$ is an embedded finite forest (acyclic graph).
We give a quantitative regularity result by proving that the set $\St_\varepsilon$ is Ahlfors--David regular with constants that depend only on $d$ (and not on $\mathcal{A}$). Namely, for $d > 2$, every $\varepsilon > 0$, every $x \in \St_\varepsilon$, and every choice of $ρ\in (0,1)$, we have
\[
\frac{\H(\St_\varepsilon \cap B_{ρ\varepsilon}(x))}{\varepsilon} \leq \left ( \frac{64d}{1-ρ} \right) ^{d-2}.
\]
As a corollary, we obtain a density-type result, i.e. that the set $\St_\varepsilon \cap B_{ρ\varepsilon}(x)$ consists of at most
\[
\left ( \frac{64d}{1-ρ} \right) ^{d-1}
\]
line segments.
In the plane (i.e., for $d=2$), it is possible to obtain tight structural results.
Homomorphism counting for immersion-closed classes is not isomorphism
Lovász proved that two graphs $G$ and $H$ are isomorphic if $\hom(K,G) = \hom(K,H)$ for all graphs $K$, where $\hom(G_1,G_2)$ denotes the number of homomorphisms from $G_1$ to $G_2$. Dvořák showed that it suffices to count homomorphisms from all $2$-degenerate graphs $K$. On the other hand, for several interesting graph classes $\mathcal{M}$, it has been shown that there exist non-isomorphic graphs $G$ and $H$ such that $\hom(K,G)=\hom(K,H)$ for all $K\in \mathcal{M}$. Most such classes are minor-closed classes and Roberson conjectured that every proper minor-closed and union-closed graph class $\mathcal{M}$ has the property of there existing non-isomorphic graphs that are indistinguishable by homomorphism counts from $\mathcal{M}$. There has been an effort to prove Roberson's conjecture as it is believed that minor-closed classes play a special role in the context of homomorphism indistinguishability.
We show that this special role, if so, must be shared, by proving an analogue of Roberson's conjecture holds for a rich family of non-minor-closed classes. Namely, we prove that for any proper immersion-closed and union-closed class $\mathcal{M}$, there exist non-isomorphic graphs $G$ and $H$ such that $\hom(K,G) = \hom(K,H)$ for all $K \in \mathcal{M}$.
This extends a result of Roberson on homomorphism indistinguishability over bounded degree graphs, and gives an almost full picture since our result cannot be extended in the natural way, that is, by replacing immersions with topological minors, due to a result of Neuen and Seppelt.
Unsplittable Transshipments
We introduce the Unsplittable Transshipment Problem in directed graphs with multiple sources and sinks. An unsplittable transshipment routes given supplies and demands using at most one path for each source-sink pair. Although they are a natural generalization of single source unsplittable flows, unsplittable transshipments raise interesting new challenges and require novel algorithmic techniques. As our main contribution, we give a nontrivial generalization of a seminal result of Dinitz, Garg, and Goemans (1999) by showing how to efficiently turn a given transshipment $x$ into an unsplittable transshipment $y$ with $y_a<x_a+d_{\max}$ for all arcs $a$, where $d_{\max}$ is the maximum demand (or supply) value. Further results include bounds on the number of rounds required to satisfy all demands, where each round consists of an unsplittable transshipment that routes a subset of the demands while respecting arc capacity constraints.
Regions surrounded by parabolas in the plane and trees representing their shapes respecting their natural projection to the line
The author has been interested in regions surrounded by real algebraic curves of degree $1$ or $2$ in the plane. The author is mainly interested in their shapes and combinatorics. This is a fundamental and natural problem in mathematics being also elementary and connected to various fields. The shapes are understood via graphs the regions collapsing to respecting the canonical projection onto the 1st component.
Our main result is the following: each tree is realized by regions surrounded by parabolas of two types, here.
Related studies are elementary and interesting and surprisingly, this explicit field is started very recently, by Bodin, Popescu-Pampu and Sorea in the 2020s. After that, this is developing, due to the author. The author also investigates this motivated by studies on explicit construction of real algebraic maps onto the regions locally so-called moment maps: this comes from singularity theory of differentiable maps and real algebraic geometry.
Rational Interpreters for Discrete Dynamics: Existence, Exactness, and Decomposition over $p$-adic Fields
We address an inverse problem in non-Archimedean dynamics: given a finite discrete dynamical system (equivalently, a functional graph on $N$ states), construct a continuous $p$-adic dynamical system whose residue-level behavior reproduces the prescribed transitions. Using the cylinder partition of $\mathcal{O}_K$ (viewed as \emph{Witt cylinders} for unramified $K/\mathbb{Q}_p$), we encode states by pairwise disjoint closed balls and formalize an \textbf{interpreter} as a map sending each state ball into its target ball.
Our main existence result constructs rational interpreters that are analytic (hence pole-free) on the prescribed state cylinders, combining rigid-analytic Runge approximation with finite interpolation constraints. Under a linear-dominance condition on each cylinder, ball images are explicit and locally affine, leading to a robust classification of discrete behavior into contractive, indifferent, and expansive regimes. Good reduction provides a selection principle for natural interpreters; effective degree and height bounds for general rational interpreters remain open.
For composite alphabets we prove a \textbf{Dynamic Chinese Remainder Theorem} for congruence-preserving systems: the CRT isomorphism $Θ:\mathbb{Z}/m\mathbb{Z}\xrightarrow{\sim}\prod_i\mathbb{Z}/p_i^{k_i}\mathbb{Z}$ (for $m=\prod p_i^{k_i}$) yields a factorization of the \emph{dynamics} (equivalently, the functional graph) on $\mathbb{Z}/m\mathbb{Z}$ into dynamics on the prime-power components, compatible with reduction. Finally, we discuss an inverse-limit (profinite) extension: compatible towers define a $1$-Lipschitz map on $\mathbb{Z}_p$, while selecting compatible analytic/rational interpreters across levels becomes a separate problem.
Lattices from Pointed Building Sets: Generalized Ornamentation Lattices
We introduce a novel combinatorial structure called pointed building sets, which can be viewed as families of lattices equipped with compatibility relations. To each pointed building set $\mathsf{B}$, we associate a complete lattice $\mathcal{O}(\mathsf{B})$, called the ornamentation lattice of $\mathsf{B}$.
Special cases of this construction have already proven useful in understanding the structure of three families of posets: operahedron lattices, the affine Tamari lattice, and hypergraphic posets of subhypergraphs of the path hypergraph of an increasing tree.
The goal of this paper is to establish the theory of these generalized ornamentations. We examine several natural classes of pointed building sets which recover classical lattices such as the Tamari lattice, the lattice of topologies ordered by coarsening, and the lattice of naturally labeled partial orders. Furthermore, several theoretical directions are explored, including inverse limits and group actions. Notably, this leads to a straightforward construction of inverse limits of Tamari lattices, yielding infinite analogs of the Tamari lattice.
Convex unions and completions from simplicial pseudomanifolds
While intersections of convex sets are convex, their unions have rather complicated behavior. Some natural contexts where they appear include duality arguments involving boundaries of convex sets and valuations, which have an Euler characteristic-like structure. However, there are certain settings where the convexity property itself is important to consider. For example, this includes (preservation of) positivity properties of divisors on toric varieties under blowdowns. In the case of (restrictions of) conormal bundles, this can be interpreted in terms of interactions between local convexity data stored in rational equivalence relations. We consider generalizations to realizations of simplicial pseudomanifolds and replace rational equivalence with effects of PL homeomorphisms.
Decomposing the PL homeomorphisms into edge subdivisions and contractions, we characterize the space of suitable contraction points compatible with local convexity properties in terms of convex unions and completions. This gives rise to certain external edge subdivisions that make this ``contraction space'' of the starting edge empty, which is unexpected given the expected ``increased convexity'' from edge subdivisions. We also obtain strong affine/linear restrictions on realizations of facets containing nearby edges preserving local convexity. This implies that contracting certain nearby edges results in a very large or very small contraction space of the starting edge. As for boundary behavior, there are parallels between effects of PL homeomorphisms on induced 4-cycles in the 1-skeleton. Finally, we find effects of PL homeomorphisms and suspensions on analogues of local convexity properties stored by linear systems of parameters. This indicates that simplicial spheres PL homeomorphic to the boundary of a cross polytope store record local convexity changes in the most natural way.
Path homology of circulant digraphs
We organize and extend a set of computations and structural observations about the Grigoryan--Lin--Muranov--Yau (GLMY) path complex of circulant digraphs $\vec{C}_n^S$ and circulant graphs $C_n^S$. Using the shift automorphism $τ$ and a Fourier decomposition, we reduce many rank computations for the GLMY boundary maps to finite-dimensional $τ$-eigenspaces. This provides a reusable "symbol-matrix" recipe that highlights (i) the dependence on prime versus composite $n$ and (ii) stability phenomena for certain natural choices of connection sets $S$. Several fully worked examples are included, together with a discussion of how the additive structure of $S$ governs low-dimensional chains and Betti numbers.
Dyck Paths, Configuration Spaces and Polytopes For Linear Nakayama algebras
We present a combinatorial model of configuration spaces and polytopes associated to the quotients of $\mathbb{C} A_n$, the path algebra of the linearly oriented $A_n$ quiver, i.e. the algebra of upper triangular matrices. These quotient algebras are known as linear Nakayama algebras. Such configuration spaces were recently introduced for more general algebras by the second author and collaborators. In this special setting, we provide elementary proofs and explicit combinatorial constructions. From a Dyck path we define three related objects: a finite-dimensional algebra, an affine algebraic variety, and a polytope. Moreover, our constructions are natural: each relation in the poset of Dyck paths gives a morphism between the corresponding objects.
Winning in the Limit: Average-Case Committee Selection with Many Candidates
We study the committee selection problem in the canonical impartial culture model with a large number of voters and an even larger candidate set. Here, each voter independently reports a uniformly random preference order over the candidates. For a fixed committee size $k$, we ask when a committee can collectively beat every candidate outside the committee by a prescribed majority level $α$. We focus on two natural notions of collective dominance, $α$-winning and $α$-dominating sets, and we identify sharp threshold phenomena for both of them using probabilistic methods, duality arguments, and rounding techniques.
We first consider $α$-winning sets. A set $S$ of $k$ candidates is $α$-winning if, for every outside candidate $a \notin S$, at least an $α$-fraction of voters rank some member of $S$ above $a$. We show a sharp threshold at \[ α_{\mathrm{win}}^\star = 1 - \frac{1}{k}. \] Specifically, an $α$-winning set of size $k$ exists with high probability when $α< α_{\mathrm{win}}^\star$, and is unlikely to exist when $α> α_{\mathrm{win}}^\star$.
We then study the stronger notion of $α$-dominating sets. A set $S$ of $k$ candidates is $α$-dominating if, for every outside candidate $a \notin S$, there exists a single committee member $b \in S$ such that at least an $α$-fraction of voters prefer $b$ to $a$. Here we establish an analogous sharp threshold at \[ α_{\mathrm{dom}}^\star = \frac{1}{2} - \frac{1}{2k}. \] As a corollary, our analysis yields an impossibility result for $α$-dominating sets: for every $k$ and every $α> α_{\mathrm{dom}}^\star = 1 / 2 - 1 / (2k)$, there exist preference profiles that admit no $α$-dominating set of size $k$. This corollary improves the best previously known bounds for all $k \geq 2$.
A concept of largeness of monochromatic sums and products in large ideal domain
An infinite integral domain $R$ is called a large ideal domain (LID) if every nontrivial ideal of $R$ has finite index in $R$. Recently, N. Hindman and D. Strauss have established a refinement of Moreira's theorem for the set of natural numbers and infinite fields. In this article, we prove the same result of N. Hindman and D. Strauss for large ideal domains (LID) and a polynomial extension.
Highly symmetric unstable maniplexes
A maniplex of rank n s an n-valent properly edge-coloured graph that generalises, simultaneously, maps on surfaces and abstract polytopes. The problem of stability in maniplexes is a natural variant of the problem of stability in graphs. A maniplex is stable if every automorphism of its canonical double cover is a lift of some automorphism of the original maniplex. Due to their very rich structure, regular (maximally symmetric) maniplexes are always stable. It is thus natural to ask what is the maximum possible degree of symmetry that a maniplex that is not stable can admit. Symmetry in maniplexes is usually measured by the number of orbits on flags (nodes) of their automorphism group. A few families of unstable maniplexes with 4 flag-orbits are known for rank 3. In this paper, we show that 2-orbit maniplexes exist for every rank n > 2$.
Lines and opposition in Lie incidence geometries of exceptional type
Published
• View Publication
• BIB
We characterise sets of points of exceptional Lie incidence geometries, that is, the natural geometries arising from spherical buildings of exceptional types $\mathsf{F_4}$, $\mathsf{E_6}$, $\mathsf{E_7}$, $\mathsf{E_8}$ and $\mathsf{G_2}$, that form a line using the opposition relation. With that, we obtain a classification of so-called ``geometric lines'' in many of these geometries. Furthermore, our results lead to a characterisation of geometric lines in finite exceptional Lie incidence geometries as minimal blocking sets, that is, point sets of the size of a line admitting no object opposite to all of their members, in most cases, and we classify all exceptions. As a further consequence, we obtain a characterisation of automorphisms of exceptional spherical buildings as certain opposition preserving maps.
Decomposable shuffles
We develop a combinatorial and order-theoretic framework for shuffles, understood as ordered concatenations of indexed families of sequences that induce total orders on the natural numbers. Motivated by the classical Šarkovskiĭ order, we introduce elementary building blocks that encode finite and infinite order patterns and focus on decomposable shuffles constructed from finite ordinals together with $ω$ and its dual $ω^*$. We define representations that allow individual elements to be located within a shuffle and show how suitable structural conditions yield total orders on $\mathbb{N}$
Natural graph spectra
In 2003, van Dam and Haemers posed a fundamental question in spectral graph theory: does there exist a ``sensible'' matrix whose spectrum determines a random graph up to isomorphism? This paper introduces the class of {\em natural graph matrices}, which are matrices defined by applying a fixed sequence of elementary operations to the adjacency matrix. This class includes many standard matrices such as the adjacency matrix, the Seidel matrix, the Laplacian matrix, and the distance matrix. We give an affirmative answer to the question of van Dam and Haemers by proving the existence of a natural graph matrix whose spectrum determines random graphs up to isomorphism. The proof introduces a new algebraic framework called {\em double algebras}, which provides a simple sufficient condition for spectral determination. This sufficient condition is then shown to hold for random graphs.
Multisets of finite intervals and a universal category of poset representations
For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some cases new integer sequences arise. The formulation of this counting problem leads to a universal construction which assigns to any poset a finitely cocomplete additive category; it is abelian when the poset is finite and does not depend on the choice of any ring of coefficients. For a general poset the universal category of representations is abelian if and only if for the lattice of ideals the meet of two compact elements is again compact.
Poset modules of the $0$-Hecke algebras of type $B$
In 2001, Chow developed the theory of the $B_n$ posets $P$ and the type $B$ $P$-partition enumerators $K^B_P$. To provide a representation-theoretic interpretation of $K^B_P$, we define the poset modules $M^B_P$ of the 0-Hecke algebra $H_n^B(0)$ of type $B$ by endowing the set of type-$B$ linear extensions of $P$ with an $H_n^B(0)$-action. We then show that the Grothendieck group of the category associated to type-$B$ poset modules is isomorphic to the space of type $B$ quasisymmetric functions as both a $\mathrm{QSym}$-module and comodule, where $\mathrm{QSym}$ denotes the Hopf algebra of quasisymmetric functions. Considering an equivalence relation on $B_n$ posets, where two posets are equivalent if they share the same set of type-$B$ linear extensions, we identify a natural representative of each equivalence class, which we call a distinguished poset. We further characterize the distinguished posets whose sets of type-$B$ linear extensions form intervals in the right weak Bruhat order on the the hyperoctahedral groups. Finally, we discuss the relationship among the categories associated to type-$B$ weak Bruhat interval modules, $B_n$ poset modules, and finite-dimensional $H_n^B(0)$-modules.
Comparability in Bruhat orders
We determine the sharp asymptotic scale of the probability that two uniformly random permutations are comparable in weak Bruhat order, showing that $\mathbb{P}(σ_1 \preceq_W σ_2)=\exp\Bigl(\bigl(-\tfrac12+o(1)\bigr)\,n\log n\Bigr)$. This significantly improves both of the best known bounds, due to Hammett and Pittel, which placed this probability between $\exp((-1+o(1))n\log n)$ and $\exp(-Θ(n))$. We also improve the best known lower bound for strong Bruhat-order comparability, due to the same authors, by proving a subexponential lower bound. The Bruhat orders are natural partial orders on the symmetric group, appearing in wide-reaching settings including the geometry of flag manifolds, the representation theory of $\mathfrak{S}_{n}$, and the combinatorics of the permutohedron. To analyze weak Bruhat order, we combine classic analytic, tableau-theoretic, and poset-theoretic tools, including the Plancherel measure and the RSK bijection. For strong Bruhat order we construct large families where members are comparable with high probability. Our proof that members are comparable combines the tableau criterion with an associated random-walk-type deviation process.
The sum-product problem for small sets II
We establish that every set of $k=10$ natural numbers determines at least $30$ distinct pairwise sums or at least $30$ distinct pairwise products, as well as the analogous result for $k=11$ and at least $34$ sums/products, with sharpness exhibited by $\{1, 2, 3, 4, 6, 8, 9, 12, 16, 18\}$ and $\{1, 2, 3, 4, 6, 8, 9, 12, 16, 18, 24\}$, respectively. This extends previous work of the fifth author with Clevenger, Havard, Heard, Lott, and Wilson, which established the corresponding thresholds for $k\leq 9$. Included is a classification result for sets of $10$ real numbers (resp. positive real numbers) determining at most $29$ pairwise sums (resp. pairwise products) that do not contain $8$ elements of any single arithmetic progression (resp. geometric progression), as well as some observations controlling additive quadruples in small subsets of two-dimensional generalized geometric progressions.
Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
We present a case study in semi-autonomous mathematics discovery, using Gemini to systematically evaluate 700 conjectures labeled 'Open' in Bloom's Erdős Problems database. We employ a hybrid methodology: AI-driven natural language verification to narrow the search space, followed by human expert evaluation to gauge correctness and novelty. We address 13 problems that were marked 'Open' in the database: 5 through seemingly novel autonomous solutions, and 8 through identification of previous solutions in the existing literature. Our findings suggest that the 'Open' status of the problems was through obscurity rather than difficulty. We also identify and discuss issues arising in applying AI to math conjectures at scale, highlighting the difficulty of literature identification and the risk of ''subconscious plagiarism'' by AI. We reflect on the takeaways from AI-assisted efforts on the Erdős Problems.