Showing 20 papers (Total: 84285 papers, 48548 authors in database)
A characterization of testable hypergraph properties
Published in Journal of Combinatorial Theory, Series B 174 (2025), 133-189
• View Publication
• BIB
We provide a combinatorial characterization of all testable properties of $k$-uniform hypergraphs ($k$-graphs for short). Here, a $k$-graph property $P$ is testable if there is a randomized algorithm which makes a bounded number of edge queries and distinguishes with probability $2/3$ between $k$-graphs that satisfy $P$ and those that are far from satisfying $P$. For the $2$-graph case, such a combinatorial characterization was obtained by Alon, Fischer, Newman and Shapira. Our results for the $k$-graph setting are in contrast to those of Austin and Tao, who showed that for the somewhat stronger concept of local repairability, the testability results for graphs do not extend to the $3$-graph setting. Our proof relies on a random subhypergraph sampling result proved in a companion paper.
Combinatorics of generalized exponents
Published
• View Publication
• BIB
We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type A_{n-1}, we rederive the description of the generalized exponents in terms of crystal graphs without using the combinatorics of semistandard tableaux or the charge statistic. In finite type C_n, we obtain a combinatorial description of the generalized exponents based on the so-called distinguished vertices in crystals of type A_{2n-1}, which we also connect to symplectic King tableaux. This gives a combinatorial proof of the positivity of Lusztig t-analogues associated to zero weight spaces in the irreducible representations of symplectic Lie algebras. We also present three applications of our combinatorial formula, and discuss some implications to relating two type C branching rules. Our methods are expected to extend to the orthogonal types.
Linear and Rational Factorization of Tropical Polynomials
Already for bivariate tropical polynomials, factorization is an NP-Complete problem. In this paper, we give an efficient algorithm for factorization and rational factorization of a rich class of tropical polynomials in $n$ variables. Special families of these polynomials have appeared in economics, discrete convex analysis, and combinatorics. Our theorems rely on an intrinsic characterization of regular mixed subdivisions of integral polytopes, and lead to many open problems of interest in discrete geometry.
Walk algebras, distinguished subexpressions, and point counting in Kac-Moody flag varieties
Published
• View Publication
• BIB
We study walk algebras and Hecke algebras for Kac-Moody root systems. Each choice of orientation for the set of real roots gives rise to a corresponding "oriented" basis for each of these algebras. We show that the notion of distinguished subexpression naturally arises when studying the transition matrix between oriented bases. We then relate these notions to the geometry of Kac-Moody flag varieties and Bott-Samelson varieties. In particular, we show that the number of points over a finite field in certain intersections of these varieties is given by change of basis coefficients between oriented bases of the Hecke algebra. Using these results we give streamlined derivations of Deodhar's formula for $R$-polynomials and point-counting formulas for specializations of nonsymmetric Macdonald polynomials $E_λ(\mathsf{q},t)$ at $\mathsf{q}=0,\infty$.
Growth of Face-Homogeneous Tessellations
Published
• View Publication
• BIB
A tessellation of the plane is face-homogeneous if for some integer $k\geq3$ there exists a cyclic sequence $σ=[p_0,p_1,\ldots,p_{k-1}]$ of integers $\geq3$ such that, for every face $f$ of the tessellation, the valences of the vertices incident with $f$ are given by the terms of $σ$ in either clockwise or counter-clockwise order. When a given cyclic sequence $σ$ is realizable in this way, it may determine a unique tessellation (up to isomorphism), in which case $σ$ is called monomorphic, or it may be the valence sequence of two or more non-isomorphic tessellations (polymorphic).
A tessellation which whose faces are uniformly bounded in the Euclidean plane is called a Euclidean tessellation; a non-Euclidean tessellation whose faces are uniformly bounded in the hyperbolic plane is called hyperbolic. Hyperbolic tessellations are well-known to have exponential growth. We seek the face-homogeneous hyperbolic tessellation(s) of slowest growth and show that the least growth rate of monomorphic face-homogeneous tessellations is the "golden mean," $γ=(1+\sqrt{5})/2$, attained by the sequences $[4,6,14]$ and $[3,4,7,4]$. A polymorphic sequence may yield non-isomorphic tessellations with different growth rates. However, all such tessellations found thus far grow at rates greater than $γ$.
The Tutte q-Polynomial
$q$-Matroids are defined on complemented modular support lattices. Minors of length 2 are of four types as in a "classical" matroid. Tutte polynomials $τ(x,y)$ of matroids are calculated either by recursion over deletion/contraction of single elements, by an enumeration of bases with respect to internal/external activities, or by substitution $x \to (x-1),\; y \to (y-1)$ in their rank generating functions $ρ(x,y)$. The $q$-analogue of the passage from a Tutte polynomial to its corresponding RGF is straight-forward, but the analogue of the reverse process $x \to (x-1),\; y \to (y-1)$ is more delicate.
For matroids $M(S)$ on a set $S$, and relative to any linear order on the points, the concept of internal/external activity of a point relative to a basis gives rise to a partition of the underlying Boolean algebra $B(S)$ into a set of "prime-free" (or "structureless") minors, such minors being direct sums of loops and isthmi (coloops), with one such prime-free minor for each basis. What usually goes unnoticed is that each prime-free minor has a unique clopen flat. The latter property carries over to $q$-matroids, but each prime-free minor will contain many bases. So internal and external activity in $q$-matroids must be defined not for points relative to bases, but rather for coverings in the underlying complemented modular lattice. Following lattice paths from arbitrary subspaces $A$ along active coverings (downward for internally active, upward for externally active) will lead to the unique clopen subspace in the prime-free minor containing the subspace $A$.
There are a number of interesting questions concerning $q$-matroids that remain unsolved.
Coefficient groups inducing nonbranched optimal transport
Published
• View Publication
• BIB
In this work we consider an optimal transport problem with coefficients in a normed Abelian group $G$, and extract a purely intrinsic condition on $G$ that guarantees that the optimal transport (or the corresponding minimum filling) is not branching. The condition turns out to be equivalent to the nonbranching of minimum fillings in geodesic metric spaces. We completely characterize finitely generated normed groups and finite-dimensional normed vector spaces of coefficients that induce nonbranching optimal transport plans. We also provide a complete classification of normed groups for which the optimal transport plans, besides being nonbranching, have acyclic support. This seems to initiate a new geometric classifications of certain normed groups. In the nonbranching case we also provide a global version of calibration, i.e. a generalization of Monge-Kantorovich duality.
Toric tableaux and the inhomogeneous two-species TASEP on a ring
Published
• View Publication
• BIB
The inhomogeneous two-species TASEP on a ring is an exclusion process that describes particles of different species hopping clockwise on a ring with parameters giving the hopping rates for different species. We introduce a combinatorial object that we call \emph{toric rhombic alternative tableaux}, which are certain fillings of tableaux on a triangular lattice tiled with rhombi, and are in bijection with the well-studied \emph{multiline queues} of Ferrari and Martin. Using the tableaux, we obtain a formula for the stationary probabilities of this TASEP, which specializes to results of Ayyer and Linusson. We obtain, in addition, an explicit determinantal formula for these probabilities, and define a Markov chain on the tableaux that projects to the two-species TASEP on a ring.
Rank Two Non-Commutative Laurent Phenomenon and Pseudo-Positivity
Published
• View Publication
• BIB
We study polynomial generalizations of the Kontsevich automorphisms acting on the skew-field of formal rational expressions in two non-commuting variables. Our main result is the Laurentness and pseudo-positivity of iterations of these automorphisms. The resulting expressions are described combinatorially using a generalization of the combinatorics of compatible pairs in a maximal Dyck path developed by Lee, Li, and Zelevinsky. By specializing to quasi-commuting variables we obtain pseudo-positive expressions for rank 2 quantum generalized cluster variables. In the binomial case when all internal exchange coefficients are zero, this quantum specialization provides a positive combinatorial construction of counting polynomials for Grassmannians of submodules in exceptional representations of valued quivers with two vertices.
A Set of Sequences of Complexity $2n+1$
Published in In: Brlek S., Dolce F., Reutenauer C., Vandomme É. (eds) Combinatorics on Words. WORDS 2017. Lecture Notes in Computer Science, vol 10432. Springer, Cham
• View Publication
• BIB
We prove the existence of a ternary sequence of factor complexity $2n+1$ for any given vector of rationally independent letter frequencies. Such sequences are constructed from an infinite product of two substitutions according to a particular Multidimensional Continued Fraction algorithm. We show that this algorithm is conjugate to a well-known one, the Selmer algorithm. Experimentations (Baldwin, 1992) suggest that their second Lyapunov exponent is negative which presages finite balance properties.
Bipartite bi-Cayley graphs over metacyclic groups of odd prime-power order
A graph $Γ$ is a bi-Cayley graph over a group $G$ if $G$ is a semiregular group of automorphisms of $Γ$ having two orbits. Let $G$ be a non-abelian metacyclic $p$-group for an odd prime $p$, and let $Γ$ be a connected bipartite bi-Cayley graph over the group $G$. In this paper, we prove that $G$ is normal in the full automorphism group ${\rm Aut}(Γ)$ of $Γ$ when $G$ is a Sylow $p$-subgroup of ${\rm Aut}(Γ)$. As an application, we classify half-arc-transitive bipartite bi-Cayley graphs over the group $G$ of valency less than $2p$. Furthermore, it is shown that there are no semisymmetric and no arc-transitive bipartite bi-Cayley graphs over the group $G$ of valency less than $p$.
High Order Random Walks: Beyond Spectral Gap
Published
• View Publication
• BIB
We study high order random walks in high dimensional expanders; namely, in complexes which are local spectral expanders. Recent works have studied the spectrum of high order walks and deduced fast mixing. However, the spectral gap of high order walks is inherently small, due to natural obstructions that do not happen for walks on expander graphs. In this work we go beyond spectral gap, and relate the shrinkage of a $k$-cochain by the walk operator, to its structure under the assumption of local spectral expansion. A simplicial complex is called an one-sided local spectral expander, if its links have large spectral gaps and a two-sided local spectral expander if its links have large two-sided spectral gaps. We show two Decomposition Theorems (one per one-sided/two-sided local spectral assumption) : For every $k$-cochain $φ$ defined on an $n$-dimensional local spectral expander, there exists a decomposition of $φ$ into `orthogonal' parts that are, roughly speaking, the `projections' on the $j$-dimensional cochains for $0 \leq j \leq k$. The random walk shrinks each of these parts by a factor of $\frac{k+1-j}{k+2}$ plus an error term that depends on the spectral expansion. %Our two Decomposition Theorems differ in their assumptions on the local spectral gaps - we derive different Decomposition Theorems for the cases of one-sided local spectral gap and two-sided local spectral gap.
Multi-splits and tropical linear spaces from nested matroids
Published in Discrete and Computational Geometry 61.3 (2019), 661-685
• View Publication
• BIB
In this paper we present an explicit combinatorial description of a special class of facets of the secondary polytopes of hypersimplices. These facets correspond to polytopal subdivisions called multi-splits. We show a relation between the cells in a multi-split of the hypersimplex and nested matroids. Moreover, we get a description of all multi-splits of a product of simplices. Additionally, we present a computational result to derive explicit lower bounds on the number of facets of secondary polytopes of hypersimplices.
On the metric dimension of incidence graphs
Published
• View Publication
• BIB
A resolving set for a graph $Γ$ is a collection of vertices $S$, chosen so that for each vertex $v$, the list of distances from $v$ to the members of $S$ uniquely specifies $v$. The metric dimension $μ(Γ)$ is the smallest size of a resolving set for $Γ$. We consider the metric dimension of two families of incidence graphs: incidence graphs of symmetric designs, and incidence graphs of symmetric transversal designs (i.e. symmetric nets). These graphs are the bipartite distance-regular graphs of diameter $3$, and the bipartite, antipodal distance-regular graphs of diameter $4$, respectively. In each case, we use the probabilistic method in the manner used by Babai to obtain bounds on the metric dimension of strongly regular graphs, and are able to show that $μ(Γ)=O(\sqrt{n}\log n)$ (where $n$ is the number of vertices).
On some graph densities in locally dense graphs
Published
• View Publication
• BIB
The Kohayakawa-Nagle-Rödl-Schacht conjecture roughly states that every sufficiently large locally $d$-dense graph $G$ on $n$ vertices must contain at least $(1-o(1))d^{|E(H)|}n^{|V(H)|}$ copies of a fixed graph $H$. Despite its important connections to both quasirandomness and Ramsey theory, there are very few examples known to satisfy the conjecture. We provide various new classes of graphs that satisfy the conjecture. Firstly, we prove that adding an edge to a cycle or a tree produces graphs that satisfy the conjecture. Secondly, we prove that a class of graphs obtained by gluing complete multipartite graphs in a tree-like way satisfies the conjecture. We also prove an analogous result with odd cycles replacing complete multipartite graphs.
Frames, $A$-paths and the Erdős-Pósa property
Published
• View Publication
• BIB
A key feature of Simonovits' proof of the classic Erdős-Pósa theorem is a simple subgraph of the host graph, a frame, that determines the outcome of the theorem. We transfer this frame technique to $A$-paths. With it we deduce a simple proof of Gallai's theorem, although with a worse bound, and we verify the Erdős-Pósa property for long and for even $A$-paths. We also show that even $A$-paths do not have the edge-Erdős-Pósa property.
Crystals and Schur $P$-positive expansions
Published
• View Publication
• BIB
We give a new characterization of Littlewood-Richardson-Stembridge tableaux for Schur $P$-functions by using the theory of $\mf{q}(n)$-crystals. We also give alternate proofs of the Schur $P$-expansion of a skew Schur function due to Ardila and Serrano, and the Schur expansion of a Schur $P$-function due to Stembridge using the associated crystal structures.
Contact graphs of ball packings
Published in Journal of Combinatorial Theory, Series B, Volume 145, 2020, 323-340
• View Publication
• BIB
A contact graph of a packing of closed balls is a graph with balls as vertices and pairs of tangent balls as edges. We prove that the average degree of the contact graph of a packing of balls (with possibly different radii) in $\mathbb{R}^3$ is not greater than $13.92$. We also find new upper bounds for the average degree of contact graphs in $\mathbb{R}^4$ and $\mathbb{R}^5$.
Counting Numerical Semigroups
Published in Amer. Math. Monthly 124 (2017), no. 9, 862-875
• View Publication
• BIB
A numerical semigroup is an additive submonoid of the natural numbers with finite complement. The size of the complement is called the genus of the semigroup. How many numerical semigroups have genus equal to $g$? We outline Zhai's proof of a conjecture of Bras-Amorós that this sequence has Fibonacci-like growth. We now know that this sequence asymptotically grows as fast as the Fibonacci numbers, but it is still not known whether it is nondecreasing. We discuss this and other open problems. We highlight the many contributions made by undergraduates to problems in this area.
Gelfand-Kirillov Dimensions of Highest Weight Harish-Chandra Modules for $SU(p,q)$
Published
• View Publication
• BIB
Let $ (G,K) $ be an irreducible Hermitian symmetric pair of non-compact type with $G=SU(p,q)$, and let $ λ$ be an integral weight such that the simple highest weight module $ L(λ) $ is a Harish-Chandra $ (\mathfrak{g},K) $-module. We give a combinatoric algorithm for the Gelfand-Kirillov dimension of $ L(λ) $. This enables us to prove that the Gelfand-Kirillov dimension of $ L(λ) $ decreases as the integer $ \langleλ+ρ,β^\vee\rangle $ increases, where $ρ$ is the half sum of positive roots and $β$ is the maximal noncompact root. As a byproduct, we obtain a description on the associated variety of $ L(λ) $.