Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Deformed Polynuclear Growth in $(1+1)$ Dimensions
Published
• View Publication
• BIB
We introduce and study a one parameter deformation of the polynuclear growth (PNG) in $(1+1)$-dimensions, which we call the $t$-PNG model. It is defined by requiring that, when two expanding islands merge, with probability $t$ they sprout another island on top of the merging location. At $t=0$, this becomes the standard (non-deformed) PNG model that, in the droplet geometry, can be reformulated through longest increasing subsequences of uniformly random permutations or through an algorithm known as patience sorting. In terms of the latter, the $t$-PNG model allows errors to occur in the sorting algorithm with probability $t$.
We prove that the $t$-PNG model exhibits one-point Tracy-Widom GUE asymptotics at large times for any fixed $t\in [0,1)$, and one-point convergence to the narrow wedge solution of the Kardar-Parisi-Zhang (KPZ) equation as $t$ tends to $1$. We further construct distributions for an external source that are likely to induce Baik-Ben Arous-Peche type phase transitions. The proofs are based on solvable stochastic vertex models and their connection to the determinantal point processes arising from Schur measures on partitions.
The unbroken spectra of Frobenius seaweeds
We show that if $\mathfrak{g}$ is a Frobenius seaweed, then the spectrum of the adjoint of a principal element consists of an unbroken set of integers whose multiplicities have a symmetric distribution. Our methods are combinatorial.
Factorization length distribution for affine semigroups IV: a geometric approach to weighted factorization lengths in three-generator numerical semigroups
Published
• View Publication
• BIB
For numerical semigroups with three generators, we study the asymptotic behavior of weighted factorization lengths, that is, linear functionals of the coefficients in the factorizations of semigroup elements. This work generalizes many previous results, provides more natural and intuitive proofs, and yields a completely explicit error bound.
On the minimum degree of power graphs of finite nilpotent groups
Published
• View Publication
• BIB
The power graph $\mathcal{P}(G)$ of a group $G$ is the simple graph with vertex set $G$ and two vertices are adjacent whenever one of them is a positive power of the other. In this paper, for a finite noncyclic nilpotent group $G$, we study the minimum degree $δ(\mathcal{P}(G))$ of $\mathcal{P}(G)$. Under some conditions involving the prime divisors of $|G|$ and the Sylow subgroups of $G$, we identify certain vertices associated with the generators of maximal cyclic subgroups of $G$ such that $δ(\mathcal{P}(G))$ is equal to the degree of one of these vertices. As an application, we obtain $δ(\mathcal{P}(G))$ for some classes of finite noncyclic abelian groups $G$.
Subcubic planar graphs of girth 7 are class I
Published
• View Publication
• BIB
We prove that planar graphs of maximum degree 3 and of girth at least 7 are 3-edge-colorable, extending the previous result for girth at least 8 by Kronk, Radlowski, and Franen from 1974.
Baxter Tree-like Tableaux
Tree-like tableaux are objects in bijection with alternative or permutation tableaux. They have been the subject of a fruitful combinatorial study for the past few years. In the present work, we define and study a new subclass of tree-like tableaux enumerated by Baxter numbers. We exhibit simple bijective links between these objects and three other combinatorial classes: (packed or mosaic) floorplans, twisted Baxter permutations and triples of non-intersecting lattice paths. From several (and unrelated) works, these last objects are already known to be enumerated by Baxter numbers, and our main contribution is to provide a unifying approach to bijections between Baxter objects, where Baxter tree-like tableaux play the key role. We moreover get new enumerative results about alternating twisted Baxter permutations. Finally, we define a new subfamily of floorplans, which we call alternating floorplans, and we enumerate these combinatorial objects.
A Faster Algorithm for Quickest Transshipments via an Extended Discrete Newton Method
The Quickest Transshipment Problem is to route flow as quickly as possible from sources with supplies to sinks with demands in a network with capacities and transit times on the arcs. It is of fundamental importance for numerous applications in areas such as logistics, production, traffic, evacuation, and finance. More than 25 years ago, Hoppe and Tardos presented the first (strongly) polynomial-time algorithm for this problem. Their approach, as well as subsequently derived algorithms with strongly polynomial running time, are hardly practical as they rely on parametric submodular function minimization via Megiddo's method of parametric search. The main contribution of this paper is a considerably faster algorithm for the Quickest Transshipment Problem that instead employs a subtle extension of the Discrete Newton Method. This improves the previously best known running time of $\tilde{O}(m^4k^{14})$ to $\tilde O(m^2k^5+m^3k^3+m^3n)$, where $n$ is the number of nodes, $m$ the number of arcs, and $k$ the number of sources and sinks.
The typical approximate structure of sets with bounded sumset
Published
• View Publication
• BIB
Let $A_1$ and $A_2$ be randomly chosen subsets of the first $n$ integers of cardinalities $s_2\geq s_1 = Ω(s_2)$, such that their sumset $A_1+A_2$ has size $m$. We show that asymptotically almost surely $A_1$ and $A_2$ are almost fully contained in arithmetic progressions $P_1$ and $P_2$ with the same common difference and cardinalities approximately $s_i m/(s_1+s_2)$. We also prove a counting theorem for such pairs of sets in arbitrary abelian groups. The results hold for $s_i = ω(\log^3 n)$ and $s_1+s_2 \leq m = o(s_2/\log^3 n)$. Our main tool is an asymmetric version of the method of hypergraph containers which was recently used by Campos to prove similar results in the special case $A=B$.
Modular Proofs of Gosper's Identities
Published
• View Publication
• BIB
We give unified modular proofs to all of Gosper's identities on the $q$-constant $Π_q$. We also confirm Gosper's observation that for any distinct positive integers $n_1,\cdots,n_m$ with $m\geq 3$, $Π_{q^{n_1}}$, $\cdots$, $Π_{q^{n_m}}$ satisfy a nonzero homogeneous polynomial. Our proofs provide a method to rediscover Gosper's identities. Meanwhile, several results on $Π_q$ found by El Bachraoui have been corrected. Furthermore, we illustrate a strategy to construct some of Gosper's identities using hauptmoduls for genus zero congruence subgroups.
Maximal independent sets in clique-free graphs
Published
• View Publication
• BIB
Nielsen proved that the maximum number of maximal independent sets (MIS's) of size $k$ in an $n$-vertex graph is asymptotic to $(n/k)^k$, with the extremal construction a disjoint union of $k$ cliques with sizes as close to $n/k$ as possible. In this paper we study how many MIS's of size $k$ an $n$-vertex graph $G$ can have if $G$ does not contain a clique $K_t$. We prove for all fixed $k$ and $t$ that there exist such graphs with $n^{\lfloor\frac{(t-2)k}{t-1}\rfloor-o(1)}$ MIS's of size $k$ by utilizing recent work of Gowers and B. Janzer on a generalization of the Ruzsa-Szemerédi problem. We prove that this bound is essentially best possible for triangle-free graphs when $k\le 4$.
A Path Forward: Tropicalization in Extremal Combinatorics
Published
• View Publication
• BIB
Many important problems in extremal combinatorics can be be stated as proving a pure binomial inequality in graph homomorphism numbers, i.e., proving that hom$(H_1,G)^{a_1}\cdots$hom$(H_k,G)^{a_k}\geq$hom$(H_{k+1},G)^{a_{k+1}}\cdots$hom$(H_m,G)^{a_m}$ holds for some fixed graphs $H_1,\dots,H_m$ and all graphs $G$. One prominent example is Sidorenko's conjecture. For a fixed collection of graphs $\mathcal{U}=\{H_1,\dots,H_m\}$, the exponent vectors of valid pure binomial inequalities in graphs of $\mathcal{U}$ form a convex cone. We compute this cone for several families of graphs including complete graphs, even cycles, stars and paths; the latter is the most interesting and intricate case that we compute. In all of these cases, we observe a tantalizing polyhedrality phenomenon: the cone of valid pure binomial inequalities is actually rational polyhedral, and therefore all valid pure binomial inequalities can be generated from the finite collection of exponent vectors of the extreme rays. Using the work of Kopparty and Rossman, we show that the cone of valid inequalities is indeed rational polyhedral when all graphs $H_i$ are series-parallel and chordal, and we conjecture that polyhedrality holds for any finite collection $\mathcal{U}$. We demonstrate that the polyhedrality phenomenon also occurs in matroids and simplicial complexes. Our description of the inequalities for paths involves a generalization of the Erdős-Simonovits conjecture recently proved in its original form by Sağlam and a new family of inequalities not observed previously. We also solve an open problem of Kopparty and Rossman on the homomorphism domination exponent of paths. One of our main tools is tropicalization, a well-known technique in complex algebraic geometry. We prove several results about tropicalizations which may be of independent interest.
Cyclic Cellular Automata and Greenberg-Hastings Models on Regular Trees
Published
• View Publication
• BIB
We study the cyclic cellular automaton (CCA) and the Greenberg-Hastings model (GHM) with $κ\ge 3$ colors and contact threshold $θ\ge 2$ on the infinite $(d+1)$-regular tree, $T_d$. When the initial state has the uniform product distribution, we show that these dynamical systems exhibit at least two distinct phases. For sufficiently large $d$, we show that if $κ(θ-1) \le d - O(\sqrt{dκ\ln(d)})$, then every vertex almost surely changes its color infinitely often, while if $κθ\ge d + O(κ\sqrt{d\ln(d)})$, then every vertex almost surely changes its color only finitely many times. Roughly, this implies that as $d\to \infty$, there is a phase transition where $κθ/d = 1$. For the GHM dynamics, in the scenario where every vertex changes color finitely many times, we moreover give an exponential tail bound for the distribution of the time of the last color change at a given vertex.
An asymptotically tight lower bound for superpatterns with small alphabets
Published
• View Publication
• BIB
A permutation $σ\in S_n$ is a $k$-superpattern (or $k$-universal) if it contains each $τ\in S_k$ as a pattern. This notion of "superpatterns" can be generalized to words on smaller alphabets, and several questions about superpatterns on small alphabets have recently been raised in the survey of Engen and Vatter. One of these questions concerned the length of the shortest $k$-superpattern on $[k+1]$. A construction by Miller gave an upper bound of $(k^2+k)/2$, which we show is optimal up to lower-order terms. This implies a weaker version of a conjecture by Eriksson, Eriksson, Linusson and Wastlund. Our results also refute a 40-year-old conjecture of Gupta.
Matroids with different configurations and the same $\mathcal{G}$-invariant
Published in Journal of Combinatorial Theory, Series A, 2022
• View Publication
• BIB
From the configuration of a matroid (which records the size and rank of the cyclic flats and the containments among them, but not the sets), one can compute several much-studied matroid invariants, including the Tutte polynomial and a newer, stronger invariant, the $\mathcal{G}$-invariant. To gauge how much additional information the configuration contains compared to these invariants, it is of interest to have methods for constructing matroids with different configurations but the same $\mathcal{G}$-invariant. We offer several such constructions along with tools for developing more.
Semi-transitivity of directed split graphs generated by morphisms
Published
• View Publication
• BIB
A directed graph is semi-transitive if and only if it is acyclic and for any directed path $u_1\rightarrow u_2\rightarrow \cdots \rightarrow u_t$, $t \geq 2$, either there is no edge from $u_1$ to $u_t$ or all edges $u_i\rightarrow u_j$ exist for $1 \leq i < j \leq t$.
In this paper, we study semi-transitivity of families of directed split graphs obtained by iterations of morphisms applied to the adjacency matrices and giving in the limit infinite directed split graphs. A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. We fully classify semi-transitive infinite directed split graphs when a morphism in question can involve any $n\times m$ matrices over $\{-1,0,1\}$ with a single natural condition.
Some Results on $k$-Critical $P_5$-Free Graphs
Published
• View Publication
• BIB
A graph $G$ is $k$-vertex-critical if $G$ has chromatic number $k$ but every proper induced subgraph of $G$ has chromatic number less than $k$. The study of $k$-vertex-critical graphs for graph classes is an important topic in algorithmic graph theory because if the number of such graphs that are in a given hereditary graph class is finite, then there is a polynomial-time algorithm to decide if a graph in the class is $(k-1)$-colorable.
In this paper, we prove that for every fixed integer $k\ge 1$, there are only finitely many $k$-vertex-critical ($P_5$,gem)-free graphs and $(P_5,\overline{P_3+P_2})$-free graphs. To prove the results we use a known structure theorem for ($P_5$,gem)-free graphs combined with properties of $k$-vertex-critical graphs.
Moreover, we characterize all $k$-vertex-critical ($P_5$,gem)-free graphs and $(P_5,\overline{P_3+P_2})$-free graphs for $k \in \{4,5\}$ using a computer generation algorithm.
Agnostic Online Learning and Excellent Sets
Published
• View Publication
• BIB
We use algorithmic methods from online learning to explore some important objects at the intersection of model theory and combinatorics, and find natural ways that algorithmic methods can detect and explain (and improve our understanding of) stable structure in the sense of model theory. The main theorem deals with existence of $ε$-excellent sets (which are key to the Stable Regularity Lemma, a theorem characterizing the appearance of irregular pairs in Szemerédi's celebrated Regularity Lemma). We prove that $ε$-excellent sets exist for any $ε< \frac{1}{2}$ in $k$-edge stable graphs in the sense of model theory (equivalently, Littlestone classes); earlier proofs had given this only for $ε< 1/{2^{2^k}}$ or so. We give two proofs: the first uses regret bounds from online learning, the second uses Boolean closure properties of Littlestone classes and sampling. We also give a version of the dynamic Sauer-Shelah-Perles lemma appropriate to this setting, related to definability of types. We conclude by characterizing stable/Littlestone classes as those supporting a certain abstract notion of majority: the proof shows that the two distinct, natural notions of majority, arising from measure and from dimension, densely often coincide.
Grounded L-graphs are polynomially $χ$-bounded
Published
• View Publication
• BIB
A grounded L-graph is the intersection graph of a collection of "L" shapes whose topmost points belong to a common horizontal line. We prove that every grounded L-graph with clique number $ω$ has chromatic number at most $17ω^4$. This improves the doubly-exponential bound of McGuinness and generalizes the recent result that the class of circle graphs is polynomially $χ$-bounded. We also survey $χ$-boundedness problems for grounded geometric intersection graphs and give a high-level overview of recent techniques to obtain polynomial bounds.
A coefficient related to splay-to-root traversal, correct to thousands of decimal places
This paper takes another look at the cost of traversing a binary tree using repeated splay-to-root. This was shown to cost $O(n)$ (in rotations) by Tarjan and later, in different ways, by Elmasry and others.
It would be interesting to know the minimal possible coefficient implied by the $O(n)$ cost; call this coefficient $β$. In this paper we define a related coefficient $α$ describing the cost of splay-to-root traversal on maximal (i.e., complete) binary trees, and show that $β\geq 2 + α$. We give the first 3009 digits of $α$, including the decimal point, and show that every digit is correct.
We make two conjectures: first, that $β= 2 + α$, and second, that $α$ is irrational.
A new proof of the KŁR conjecture
Published
• View Publication
• BIB
Estimating the probability that the Erdős-Rényi random graph $G(n,m)$ is $H$-free, for a fixed graph $H$, is one of the fundamental problems in random graph theory. If $m$ is such that each edge of $G(n,m)$ belongs to a copy of $H'$ for every $H' \subseteq H$, in expectation, then it is known that $G(n,m)$ is $H$-free with probability $\exp(- Θ(m))$. The KLR conjecture, slightly rephrased, states that if we further condition on uniform edge distribution, the archetypal property of random graphs, the probability of being $H$-free becomes superexponentially small in the number of edges. While being interesting on its own, the conjecture has received significant attention due to its connection with the sparse regularity lemma, and the many results in random graphs that follow. It was proven by Balogh, Morris, and Samotij and, independently, by Saxton and Thomason, as one of the first applications of the hypergraph containers method. We give a new direct proof using induction.