natural ↗ reference
4894 papers tagged with this keyword
Representation stability in the (co)homology of vertical configuration spaces
In this paper, we study sequences of topological spaces called "vertical configuration spaces" of points in Euclidean space. We apply the theory of FI$_G$-modules, and results of Bianchi-Kranhold, to show that their (co)homology groups are "representation stable" with respect to natural actions of wreath products $S_k \wr S_n$. In particular, we show that in each (co)homological degree, the (co)homology groups (viewed as $S_k \wr S_n$-representations) can be expressed as induced representations of a specific form. Consequently, the characters of their rational (co)homology groups, and the patterns of irreducible $S_k \wr S_n$-representation constituents of these groups, stabilize in a strong sense. In addition, we give a new proof of rational (co)homological stability for unordered vertical configuration spaces, with an improved stable range.
Toric Multivariate Gaussian Models from Symmetries in a Tree
Published
• View Publication
• BIB
Given a rooted tree $T$ on $n$ non-root leaves with colored and zeroed nodes, we construct a linear space $L_T$ of $n\times n$ symmetric matrices with constraints determined by the combinatorics of the tree. When $L_T$ represents the covariance matrices of a Gaussian model, it provides natural generalizations of Brownian motion tree (BMT) models in phylogenetics. When $L_T$ represents a space of concentration matrices of a Gaussian model, it gives certain colored Gaussian graphical models, which we refer to as BMT derived models. We investigate conditions under which the reciprocal variety $L_T^{-1}$ is toric. Relying on the birational isomorphism of the inverse matrix map, we show that if the BMT derived graph of $T$ is vertex-regular and a block graph, under the derived Laplacian transformation, $L_T^{-1}$ is the vanishing locus of a toric ideal. This ideal is given by the sum of the toric ideal of the Gaussian graphical model on the block graph, the toric ideal of the original BMT model, and binomial linear conditions coming from vertex-regularity. To this end, we provide monomial parametrizations for these toric models realized through paths among leaves in $T$.
Categorical approach to graph limits
We define and study a natural category of graph limits. The objects are pairs $(π,μ)$, where $π$ (the distribution of vertices) is an abstract probability measure on some abstract measurable space $(X,\mathcal{A})$ and $μ$ (the distribution of edges) is an abstract finite measure on the square $(X,\mathcal{A})^2$. Morphisms are random maps between the underlying measurable spaces which preserve the distribution of vertices as well as the distribution of edges. We also define a convergence notion (inspired by s-convergence) for sequences of graph limits. We apply tools from category theory to prove the compactness of the space of all graph limits.
The Schrijver system of the length polyhedron of an interval order
Published
• View Publication
• BIB
The length polyhedron of an interval order $P$ is the convex hull of integer vectors representing the interval lengths in possible interval representations of $P$ in which all intervals have integer endpoints. This polyhedron is an integral translation of a polyhedral cone, with its apex corresponding to the canonical interval representation of $P$ (also known as the minimal endpoint representation).
In earlier work, we introduced an arc-weighted directed graph model, termed the key graph, inspired by this canonical representation. We showed that cycles in the key graph correspond, via Fourier-Motzkin elimination, to inequalities that describe supporting hyperplanes of the length polyhedron. These cycle inequalities derived from the key graph form a complete system of linear inequalities defining the length polyhedron. By applying a theorem due to Cook, we establish here that this system of inequalities is totally dual integral (TDI).
Leveraging circulations, total dual integrality, and the special structure of the key graph, our main theorem demonstrates that a cycle inequality is a positive linear combination of other cycle inequalities if and only if it is a positive integral linear combination of smaller cycle inequalities (where `smaller' here refers a natural weak ordering among these cycle inequalities). This yields an efficient method to remove redundant cycle inequalities and ultimately construct the unique minimal TDI-system, also known as the Schrijver system, for the length polyhedron. Notably, if the key graph contains a polynomial number of cycles, this gives a polynomial-time algorithm to compute the Schrijver system for the length polyhedron.
Lastly, we provide examples of interval orders where the Schrijver system has an exponential size.
Exponential Schur and Hindman Theorem in Ramsey Theory
Answering a conjecture of A. Sisto, J. Sahasrabudhe proved the exponential version of the Schur theorem: for every finite coloring of the naturals, there exists a monochromatic copy of $\{x,y,x^y:x\neq y\},$ which initiates the study of exponential Ramsey theory in arithmetic combinatorics. In this article, We first give two short proofs of the exponential Schur theorem, one using Zorn's lemma and another using $IP_r^\star$ van der Waerden's theorem. Then using the polynomial van der Waerden theorem iteratively we give a proof of the exponential Hindman theorem. Then applying our results we prove for every natural number $m,n$ the equation $x_n^{x_{n-1}^{\cdot^{\cdot^{\cdot^{x_1}}}}}=y_1\cdots y_m$ is partition regular, which can be considered as the exponential version of a more general version of the P. Csikvári, K. Gyarmati, and A. Sárközy conjecture, which was solved by V. Bergelson and N. Hindman independently. As a consequence of our results, we also prove that for every finite partition of $\mathbb{N},$ there exists two different sequences $\langle x_n\rangle_n$ and $\langle y_n\rangle_n$ such that both the multiplicative and exponential version of Hindman theorem generated by these sequences resp. are monochromatic, whereas in the counterpart in the finitary case, J. Sahasrabudhe proved that both sequences are the same. Our result can be considered as an exponential analog to the result of V. Bergelson and N. Hindman. We also prove that a large class of ultrafilters with certain properties do not exist, which could give us direct proof of the exponential Schur theorem. This result can be thought of as partial evidence of the nonexistence of Galvin-Glazer's proof of the exponential Hindman theorem.
Signotopes with few plus signs
Arrangements of pseudohyperplanes are widely studied in computational geometry. A rich subclass of pseudohyerplane arrangements, which has gained more attention in recent years, is the so-called signotopes. Introduced by Manin and Schechtman (1989), the higher Bruhat order is a natural order of $r$-signotopes on $n$ elements, with the signotope corresponding to the cyclic arrangement as the minimal element. In this paper, we show that the lower (and by symmetry upper) levels of this higher Bruhat order contain the same number of elements for a fixed difference $n-r$. This result implies that given the difference $d=n-r$ and $p$, the number of one-element extensions of the cyclic arrangement of $n$ hyperplanes in $\mathbb{R}^d$ with at most $p$ points on one side of the extending pseudohyperplane does not depend on $n$, as long as $n \geq d + p$.
The Quaternary Gray Code and How It Can Be Used to Solve Ziggurat and Other Ziggu Puzzles
We investigate solutions to the new "Ziggu" family of exponential puzzles. These puzzles have $p$ pieces that form $m$ mazes. We encode the puzzle state as an quaternary number (base $4$) with $n=m+1$ digits, where each digit gives the horizontal or vertical position in one maze. We show that the number of states on a shortest solution is $6 \cdot 2^n - 3n - 5$ (OEIS A101946). This solution is unique, and it is generated from the start as follows: make the leftmost modification that doesn't undo the previous modification. Replacing "leftmost" with "rightmost" instead generates the unique longest solution that visits all $(3^{n+1} - 1)/2$ states (OEIS A003462). Thus, Ziggu puzzles can be viewed as $4$-ary, $3$-ary, or $2$-ary puzzles based on how the number of state encodings, valid states, or minimum states grow with each additional maze.
Classic Gray code puzzles (e.g., Spin-Out) provide natural comparisons. Gray code puzzles with $p$ pieces have $2^p$ (OEIS A000079) or $\lfloor \frac{2}{3} \cdot 2^p \rfloor$ (OEIS A000975) states on their unique solution. The states visited in a Gray code puzzle solution follow the binary reflected Gray code. We show that Ziggu puzzles follow the quaternary reflected Gray code, as the shortest and longest solutions are both sublists of this order.
These results show how to solve Ziggu puzzles from the start. We also provide $O(n)$-time ranking, comparison, and successor algorithms, which give the state's position along a solution, the relative order of two states, and the next state, respectively. While Gray code puzzles have simpler recursive descriptions and successor rules, the Ziggu puzzle has a simpler loopless algorithm to generate its shortest solution. The two families share a comparison function. Finally, we enrich the literature on OEIS A101946 by providing a bijection between Ziggu states and $2\times n$ Nurikabe grids.
Paintbucket on graphs is PSPACE-complete
The game of Paintbucket was recently introduced by Amundsen and Erickson. It is played on a rectangular grid of black and white pixels. The players alternately fill in one of their opponent's connected components with their own color, until the entire board is just a single color. The player who makes the last move wins. It is not currently known whether there is a simple winning strategy for Paintbucket. In this paper, we consider a natural generalization of Paintbucket that is played on an arbitrary simple graph, and we show that the problem of determining the winner in a given position of this generalized game is PSPACE-complete.
Ramsey--Dirac theory for bounded degree hypertrees
Ramsey--Turán theory considers Turán type questions in Ramsey-context, asking for the existence of a small subgraph in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, such as a clique of linear size. Similarly, one can consider Dirac-type questions in Ramsey context, asking for the existence of a spanning subgraph $H$ in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, which we call a Ramsey--Dirac theory question.
When $H$ is a connected spanning subgraph, the disjoint union $K_{n/2}\cup K_{n/2}$ of two large cliques shows that it is natural to consider complete bipartite graphs $F$. Indeed, Han, Hu, Ping, Wang, Wang and Yang in 2024 proved that if $G$ is an $n$-vertex graph with $δ(G)=Ω(n)$ where the complement $\overline{G}$ does not contain any complete bipartite graph $K_{m,m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree tree $T$ as a subgraph.
Extending this result to the Ramsey--Dirac theory for hypertrees, we prove that if $G$ is an $n$-vertex $r$-uniform hypergraph with $δ(G)=Ω(n^{r-1})$ where the complement $\overline{G}$ does not contain any complete $r$-partite hypergraph $K_{m,m,\dots, m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree hypertree $T$ as a subgraph. We also prove the existence of matchings and loose Hamilton cycles in the same setting, which extends the result of Mcdiarmid and Yolov into hypergraphs.
This result generalizes the universality result on randomly perturbed graphs by Böttcher, Han, Kohayakawa, Montgomery, Parczyk and Person in 2019 into hypergraphs and also strengthen the results on quasirandom hypergraphs by Lenz, Mubayi and Mycroft in 2016 and Lenz and Mubayi in 2016 into hypergraphs satisfying a much weaker pseudorandomness condition.
On norming systems of linear equations
A system of linear equations $L$ is said to be norming if a natural functional $t_L(\cdot)$ giving a weighted count for the set of solutions to the system can be used to define a norm on the space of real-valued functions on $\mathbb{F}_q^n$ for every $n>0$. For example, Gowers uniformity norms arise in this way. In this paper, we initiate the systematic study of norming linear systems by proving a range of necessary and sufficient conditions for a system to be norming. Some highlights include an isomorphism theorem for the functional $t_L(\cdot)$, a proof that any norming system must be variable-transitive and the classification of all norming systems of rank at most two.
On the thresholds of degenerate hypergraphs
An $n$-vertex $k$-uniform hypergraph $G$ is $(d,α)$-degenerate if $m_1(G)\le{d}$ and there exists a constant $\varepsilon >0$ such that for every subset $U\subseteq{V(G)}$ with size $2\le|U|\le{\varepsilon n}$, we have $e\left(G[U]\right)\le{d\left(|U|-1\right)-α}$. These hypergraphs include many natural graph classes, such as the degenerate hypergraphs, the planar graphs, and the power of cycles. In this paper, we consider the threshold of the emergence of a $(d,α)$-degenerate hypergraph with bounded maximum degree in the Erdős-Rényi model. We show that its threshold is at most $n^{-1/d}$, improving previous results of Riordan and Kelly-Müyesser-Pokrovskiy.
Stable curves and chromatic polynomials
Published
• View Publication
• BIB
The intersection numbers of moduli spaces of stable curves $\overline{\mathcal{M}}_{g,m}$ are well-studied and are known to have rich combinatorial structure. We introduce a natural class of these intersection numbers $ω_{G,g,m}$ indexed by finite simple graphs $G=(V,E)$. In genus zero, these numbers are closely related to several previously-studied quantities, including maximum likelihood degrees in algebraic statistics, counts of regions of certain hyperplane arrangements, and Kapranov degrees. We give two proofs of a simple closed formula $ω_{G,g,m}=(-1)^{\left\lvert V \right\rvert}χ_G(-(2g-2+m)),$ where $χ_G$ is the chromatic polynomial of $G$ -- one proof via intersection theory on moduli spaces of stable curves, and the other using the theory of hyperplane arrangements. We discuss several related questions and speculations, including new candidates for the chromatic polynomial of a directed graph.
Fractional chromatic number vs. Hall ratio
Published
• View Publication
• BIB
Given a graph $G$, its Hall ratio $ρ(G)=\max_{H\subseteq G}\frac{|V(H)|}{α(H)}$ forms a natural lower bound on its fractional chromatic number $χ_f(G)$. A recent line of research studied the fundamental question of whether $χ_f(G)$ can be bounded in terms of a (linear) function of $ρ(G)$. In a breakthrough-result, Dvořák, Ossona de Mendez and Wu gave a strong negative answer by proving the existence of graphs with bounded Hall ratio and arbitrarily large fractional chromatic number. In this paper, we solve two natural follow-up problems that were raised by Dvořák et al.
The first problem concerns determining the growth of $g(n)$, defined as the maximum ratio $\frac{χ_f(G)}{ρ(G)}$ among all $n$-vertex graphs. Dvořák et al. obtained the bounds $Ω(\log\log n) \le g(n)\le O(\log n)$, leaving an exponential gap between the lower and upper bound. We almost fully resolve this problem by proving that the truth is close to the upper bound, i.e., $g(n)=(\log n)^{1-o(1)}$.
The second problem posed by Dvořák et al. asks for the existence of graphs with bounded Hall ratio, arbitrarily large fractional chromatic number and such that every subgraph contains an independent set that touches a constant fraction of its edges. We affirmatively solve this second problem by showing that such graphs indeed exist.
When are off-diagonal hypergraph Ramsey numbers polynomial?
Published
• View Publication
• BIB
A natural open problem in Ramsey theory is to determine those $3$-graphs $H$ for which the off-diagonal Ramsey number $r(H, K_n^{(3)})$ grows polynomially with $n$. We make substantial progress on this question by showing that if $H$ is tightly connected or has at most two tight components, then $r(H, K_n^{(3)})$ grows polynomially if and only if $H$ is contained in an iterated blowup of an edge.
Monochromatic configurations induced from the set of sums of two squares
The set of sums of two squares plays an important role in the elementary number theory. Di Nasso investigated several infinite monochromatic patterns in integers considering operations induced from affine maps and asked whether one can find different sets of infinite monochromatic configurations in natural numbers with the structure induced from the set of sums of two squares. This article investigates Nasso's question and along the way proves several classical Ramsey-type theorems in this new setting.
A Stopping Game on Zero-Sum Sequences
Published
• View Publication
• BIB
We introduce and analyze a natural game formulated as follows. In this one-person game, the player is given a random permutation $A=(a_1,\dots, a_n)$ of a multiset $M$ of $n$ reals that sum up to $0$, where each of the $n!$ permutation sequences is equally likely. The player only knows the value of $n$ beforehand. The elements of the sequence are revealed one by one and the player can stop the game at any time. Once the process stops, say, after the $i$th element is revealed, the player collects the amount $\sum_{j=i+1}^{n} a_j$ as his/her payoff and the game is over (the payoff corresponds to the unrevealed part of the sequence).
Three online algorithms are given for maximizing the expected payoff in the binary case when $M$ contains only $1$'s and $-1$'s. $\texttt{Algorithm 1}$ is slightly suboptimal, but is easier to analyze. Moreover, it can also be used when $n$ is only known with some approximation. $\texttt{Algorithm 2}$ is exactly optimal but not so easy to analyze on its own. $\texttt{Algorithm 3}$ is the simplest of all three. It turns out that the expected payoffs of the player are $Θ(\sqrt{n})$ for all three algorithms.
In the end, we address the general problem and deal with an arbitrary zero-sum multiset, for which we show that our $\texttt{Algorithm 3}$ returns a payoff proportional to $\sqrt{n}$, which is worst case-optimal.
Topological expanders, coarse geometry and thick embeddings of complexes
We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Timár for classical expansion of bounded degree graphs. We prove that, like the separation profile, these new invariants are monotone under regular maps between complexes satisfying appropriate higher connectivity assumptions. In the dimension $1$ case, we recover the cutwidth profile of Huang-Hume-Kelly-Lam. We also prove the seemingly new result that any $1$-dimensional topological expander necessarily contains a graphical expander.
In higher dimensions, we give full calculations of these new invariants for Euclidean spaces, which are natural analogues of waist and width-volume inequalities due to Gromov and Guth respectively. We present several other methods of obtaining upper bounds including naïve (yet useful) direct product and fibring theorems, and show how lower bounds can be obtained via thick embeddings of complexes, in analogy with previous work of Barrett-Hume. Using this, we find lower bounds for $k$-expansion of $(k+1)$-fold horocyclic products of trees, and for rank $k$ symmetric spaces of non-compact type. As a further application, we prove that for every $k\geq 2$ there is no coarse embedding (and more generally, no regular map) from the $k$-fold horocyclic product of $3$-regular trees to either any product $(\mathbb{H}^2)^{k-2}\times H \times D$ where $\mathbb{H}^2$ is the real hyperbolic plane, $H$ is a bounded degree hyperbolic graph and $D$ is a doubling metric space, or to any symmetric space whose non-compact factor has corank (dimension minus rank) is strictly less than $k$.
Generalized Arithmetic Kakeya
Around the early 2000-s, Bourgain, Katz and Tao introduced an arithmetic approach to study Kakeya-type problems. They showed that the Euclidean Kakeya conjecture follows from a natural problem in additive combinatorics, now referred to as the `Arithmetic Kakeya Conjecture'. We consider a higher dimensional variant of this problem and prove an upper bound using a certain iterative argument. The main new ingredient in our proof is a general way to strengthen the sum-difference inequalities of Katz and Tao which might be of independent interest. As a corollary, we obtain a new lower bound for the Minkowski dimension of $(n, d)$-Besicovitch sets.
Disjoint pairs in set systems and combinatorics of low rank matrices
We study and solve several problems in two closely related settings: set families in $2^{[n]}$ with many disjoint pairs of sets and low rank matrices with many zero entries.
- More than 40 years ago, Daykin and Erdős asked for the maximum number of disjoint pairs of sets in a family $F\subseteq 2^{[n]}$ of size $2^{(1/2+δ)n}$ and conjectured it contains at most $o(|F|^2)$ such pairs. This was proven by Alon and Frankl in 1985. In this paper we completely resolve this problem, proving an optimal dependence of the number of disjoint pairs on the size of family $F$. We also prove the natural variant of the Daykin-Erdős conjecture in which disjoint pairs are replaced by pairs with intersection $λ\neq 0$.
- Motivated by a conjecture of Lovett related to the famous log-rank conjecture, Singer and Sudan asked to show that for two families $A, B \subseteq 2^{[n]}$ with a positive constant fraction of set pairs $(a,b)\in A\times B$ being disjoint, there are $R\subset A$ and $S\subset B$ such that all set pairs $(r, s)\in R\times S$ are disjoint, and $|R|\geq 2^{-O(\sqrt{n})}|A|$ and $|S|\geq 2^{-O(\sqrt{n})}|B|$. We prove this conjecture in a strong quantitative form.
- We prove the following generalizations of the best known bounds for the log-rank conjecture. If $M$ is an $n\times n$ non-negative integer matrix of rank $r$ in which the average of the entries is $\varepsilon\leq 1/2$, then $M$ contains an all-zero submatrix of size at least $2^{-O(\sqrt{\varepsilon r})}n$. Unlike the known bounds for the log-rank conjecture, this result is optimal. Moreover, using similar methods, we also prove that any $n\times n$ matrix of rank $r$ with entries from $\{0,\dots,t\}$ contains a constant submatrix of size at least $2^{-O(t\sqrt{r})}n$.
Our proofs use probabilistic, entropy and discrepancy methods and explore connections to additive combinatorics and coding theory.
Multipacking in Euclidean Metric Space
Published
• View Publication
• BIB
Here we study the multipacking problems for geometric point sets with respect to their Euclidean distances. We consider a set of $n$ points $P$ and define $N_s[v]$ as the subset of $P$ that includes the $s$ nearest points of $v \in P$ and the point $v$ itself. We assume that the \emph{$s$-th neighbor} of each point is unique, for every $s \in \{0, 1, 2, \dots , n-1\}$. For a natural number $r \leq n-1$, an $r$-multipacking is a set $ M \subseteq P $ such that for each point $ v \in P $ and for every integer $ 1\leq s \leq r $, $|N_s[v]\cap M|\leq (s+1)/2$. The $r$-multipacking number of $ P $ is the maximum cardinality of an $r$-multipacking of $ P $ and is denoted by $ \MP_{r}(P) $. For $r=n-1$, an $r$-multipacking is called a multipacking and $r$-multipacking number is called as multipacking number. For $r=1 \text{ and } 2$, we study the problem of computing a maximum $r$-multipacking of the point sets in $\mathbb{R}^2$. We show that a maximum $1$-multipacking can be computed in polynomial time but computing a maximum $2$-multipacking is \textsc{NP-hard}. Further, we provide approximation and parameterized solutions to the $2$-multipacking problem.