Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Spectral supersaturation: Triangles and bowties
Published in European Journal of Combinatorics 128 (2025) 104171
• View Publication
• BIB
Recently, Ning and Zhai (2023) proved that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ has at least $\lfloor n/2\rfloor -1$ triangles, unless $G=K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$. The aim of this paper is two-fold. Using the supersaturation-stability method, we prove a stability variant of Ning-Zhai's result by showing that such a graph $G$ contains at least $n-3$ triangles if no vertex is in all triangles of $G$. This result could also be viewed as a spectral version of a result of Xiao and Katona (2021). The second part concerns with the spectral supersaturation for the bowtie, which consists of two triangles sharing a common vertex. A theorem of Erdős, Füredi, Gould and Gunderson (1995) says that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor +1$ edges contains a bowtie. For graphs of given order, the spectral supersaturation problem has not been considered for substructures that are not color-critical. In this paper, we give the first such theorem by counting the number of bowties. Let $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ be the graph obtained from $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$ by embedding two disjoint edges into the vertex part of size $\lceil \frac{n}{2} \rceil$. Our result shows that every graph $G$ with $n\ge 8.8 \times 10^6$ vertices and $λ(G)\ge λ(K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2})$ contains at least $\lfloor \frac{n}{2} \rfloor$ bowties, and $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ is the unique spectral extremal graph. This gives a spectral correspondence of a theorem of Kang, Makai and Pikhurko (2020). The method used in our paper provides a probable way to establish the spectral counting results for other graphs, even for non-color-critical graphs.
Counting Permutation Patterns with Multidimensional Trees
We consider the well-studied pattern counting problem: given a permutation $π\in \mathbb{S}_n$ and an integer $k > 1$, count the number of order-isomorphic occurrences of every pattern $τ\in \mathbb{S}_k$ in $π$.
Our first result is an $\widetilde{\mathcal{O}}(n^2)$-time algorithm for $k=6$ and $k=7$. The proof relies heavily on a new family of graphs that we introduce, called pattern-trees. Every such tree corresponds to an integer linear combination of permutations in $\mathbb{S}_k$, and is associated with linear extensions of partially ordered sets. We design an evaluation algorithm for these combinations, and apply it to a family of linearly-independent trees. For $k=8$, we show a barrier: the subspace spanned by trees in the previous family has dimension exactly $|\mathbb{S}_8| - 1$, one less than required.
Our second result is an $\widetilde{\mathcal{O}}(n^{7/4})$-time algorithm for $k=5$. This algorithm extends the framework of pattern-trees by speeding-up their evaluation in certain cases. A key component of the proof is the introduction of pair-rectangle-trees, a data structure for dominance counting.
Multisum Sets
Complete infinite multisum sets are eventually linear. After 30 years of sitting in a file cabinet, the proof (thanks to James H. Schmerl) is brought from darkness into light.
Clustering in typical unit-distance avoiding sets
Published
• View Publication
• BIB
In the 1960s Moser asked how dense a subset of $\mathbb{R}^d$ can be if no pairs of points in the subset are exactly distance 1 apart. There has been a long line of work showing upper bounds on this density. One curious feature of dense unit distance avoiding sets is that they appear to be ``clumpy,'' i.e. forbidding unit distances comes hand in hand with having more than the expected number distance $\approx 2$ pairs.
In this work we rigorously establish this phenomenon in $\mathbb{R}^2$. We show that dense unit distance avoiding sets have over-represented distance $\approx 2$ pairs, and that this clustering extends to typical unit distance avoiding sets. To do so, we build off of the linear programming approach used previously to prove upper bounds on the density of unit distance avoiding sets.
A Polynomial Algorithm for Minimizing $k$-Distant Submodular Functions
This paper considers the minimization problem of relaxed submodular functions. For a positive integer $k$, a set function is called $k$-distant submodular if the submodular inequality holds for every pair whose symmetric difference is at least $k$. This paper provides a polynomial time algorithm to minimize $k$-distant submodular functions for a fixed positive integer $k$. This result generalizes the tractable result of minimizing 2/3-submodular functions, which satisfy the submodular inequality for at least two pairs formed from every distinct three sets.
Chip-firing on the Platonic solids: a primer for studying graph gonality
This paper provides a friendly introduction to chip-firing games and graph gonality. We use graphs coming from the five Platonic solids to illustrate different tools and techniques for studying these games, including independent sets, treewidth, scramble number, and Dhar's burning algorithm. In addition to showcasing some previously known results, we present the first proofs that the dodecahedron graph has gonality $6$, and that the icosahedron graph has gonality~$9$.
Exact enumeration of RNA secondary structures by helices and loops
Enumerative studies of RNA secondary structures were initiated four decades ago by Waterman and his coworkers. Since then, RNA secondary structures have been explored according to many different structural characteristics, for instance, helices, components and loops by Hofacker, Schuster and Stadler, orders by Nebel, saturated structures by Clote, the $5^{\prime}$-$3^{\prime}$ end distance by Clote, Ponty and Steyaert, and the rainbow spectrum by Li and Reidys. However, the majority of the contributions are asymptotic results, and it is harder to derive explicit formulas. In this paper, we obtain exact formulas counting RNA secondary structures with a given number of helices as well as a given joint size distribution of helices and loops, while some related asymptotic results due to Hofacker, Schuster and Stadler have been known for about twenty years. Our approach is combinatorial, analyzing a recent bijection between RNA secondary structures and plane trees discovered by the first author and proposing a variation of Chen's bijective approach of counting trees by forests of simple trees.
Reconfiguration of Independent Transversals
Published
• View Publication
• BIB
Given integers $Δ\ge 2$ and $t\ge 2Δ$, suppose there is a graph of maximum degree $Δ$ and a partition of its vertices into blocks of size at least $t$. By a seminal result of Haxell, there must be some independent set of the graph that is transversal to the blocks, a so-called independent transversal. We show that, if moreover $t\ge2Δ+1$, then every independent transversal can be transformed within the space of independent transversals to any other through a sequence of one-vertex modifications, showing connectivity of the so-called reconfigurability graph of independent transversals.
This is sharp in that for $t=2Δ$ (and $Δ\ge 2$) the connectivity conclusion can fail. In this case we show furthermore that in an essential sense it can only fail for the disjoint union of copies of the complete bipartite graph $K_{Δ,Δ}$. This constitutes a qualitative strengthening of Haxell's theorem.
The Fibonacci-Fubini and Lucas-Fubini numbers
Published
• View Publication
• BIB
Based on the combinatorial interpretation of the ordered Bell numbers, which count all the ordered partitions of the set $[n]=\{1,2,\dots,n\}$, we introduce the Fibonacci partition as a Fibonacci permutation of its blocks. Then we define the Fibonacci-Fubini numbers that count the total number of Fibonacci partitions of $[n]$. We study the classical properties of this sequence (generating function, explicit and Dobiński-like formula, etc.), we give combinatorial interpretation, and we extensively examine the Fibonacci-Fubini arithmetic triangle. We give some associate linear recurrence sequences, where in some sequences the Stirling numbers of the first and second kinds appear as well.
A combinatorial formula for the coefficients of multidimensional resultants
Published
• View Publication
• BIB
The classical multidimensional resultant can be defined as the, suitably normalized, generator of a projective elimination ideal in the ring of universal coefficients. This is the approach via the so-called inertia forms or Trägheitsformen. Using clever substitutions, Mertens and Hurwitz gave a criterion, for recognizing such inertia forms, which amounts to a linear system for their numerical coefficients. In this article we explicitly solve this linear system. We do so by identifying a subset of the available equations which forms a unitriangular system. The key notion we use is that of transversal, i.e., a selection of a monomial term in each of the homogeneous polynomials at hand. We need two such transversals which are disjoint and extremal, in the sense that they relate to extremizers of a, possibly new, determinantal inequality for differences of two substochastic matrices. Thanks to this notion of extremal pair of transversals, we derive an explicit formula for the coefficients of general multidimensional resultants, as a sum of terms made of a sign times a product of multinomial coefficients, thereby explicitly showing they are integer-valued. As an application of our formula, we recover Sombra's bound on the height of resultants, in the classical case.
On the number of sets with small sumset
We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and $|A + A| \leq m$ is at most \[2^{o(s)}\binom{\frac{m+β}{2}}{s},\] where $β$ is the size of the largest subgroup of $G$ of size at most $\left(1+o(1)\right)m$. This bound is sharp for $\mathbb{Z}$ and many other groups. Our result improves the one of Campos and nearly bridges the remaining gap in a conjecture of Alon, Balogh, Morris, and Samotij.
We also explore the behaviour of uniformly chosen random sets $A \subseteq \{1,\ldots,n\}$ with $|A| = s$ and $|A + A| \leq m$. Under the same assumption that $m \ll s^2/(\log n)^2$, we show that with high probability there exists an arithmetic progression $P \subseteq \mathbb{Z}$ of size at most $m/2 + o(m)$ containing all but $o(s)$ elements of $A$. Analogous results are obtained for asymmetric sumsets, improving results by Campos, Coulson, Serra, and Wötzel.
The main tool behind our results is a more efficient container-type theorem developed for sets with small sumset, which gives an essentially optimal collection of containers. The proof of this combines an adapted hypergraph container lemma, that caters to the asymmetric setup as well, with a novel ``preprocessing'' graph container lemma, which allows the hypergraph container lemma to be called upon significantly less times than was necessary before.
An identity involving $h$-polynomials of poset associahedra and type B Narayana polynomials
For any finite connected poset $P$, Galashin introduced a simple convex $(|P|-2)$-dimensional polytope $\mathscr{A}(P)$ called the poset associahedron. Let $P$ be a poset with a proper autonomous subposet $S$ that is a chain of size $n$. For $1\leq i \leq n$, let $P_i$ be the poset obtained from $P$ by replacing $S$ by an antichain of size $i$. We show that the $h$-polynomial of $\mathscr{A}(P)$ can be written in terms of the $h$-polynomials of $\mathscr{A}(P_i)$ and type B Narayana polynomials. We then use the identity to deduce several identities involving Narayana polynomials, Eulerian polynomials, and stack-sorting preimages.
A degree bound for planar functions
Published in Comb. Theory 5(3): #17 (2025)
• View Publication
• BIB
Using Stickelberger's theorem on Gauss sums, we show that if $F$ is a planar function on a finite field $\mathbb{F}_q$, then for all non-zero functions $G : \mathbb{F}_q \to \mathbb{F}_q$, we have \begin{equation*} d_{\mathsf{alg}}(G \circ F) - d_{\mathsf{alg}}(G) \le \frac{n(p-1)}{2}, \end{equation*} where $q = p^n$ with $p$ a prime and $n$ a positive integer, and $d_{\mathsf{alg}}(F)$ is the algebraic degree of $F$, i.e., the maximum degree of the corresponding system of $n$ lowest-degree interpolating polynomials for $F$ considered as a function on $\mathbb{F}_p^n$. This bound implies the (known) classification of planar polynomials over $\mathbb{F}_p$ and planar monomials over $\mathbb{F}_{p^2}$. As a new result, using the same degree bound, we complete the classification of planar monomials for all $n = \smash{2^k}$ with $p>5$ and $k$ a non-negative integer. Finally, we state a conjecture on the sum of the base-$p$ digits of integers modulo $q-1$ that implies the complete classification of planar monomials over finite fields of characteristic $p>5$.
Weak coloring numbers of minor-closed graph classes
Published
• View Publication
• BIB
We study the growth rate of weak coloring numbers of graphs excluding a fixed graph as a minor. Van den Heuvel et al. (European J. of Combinatorics, 2017) showed that for a fixed graph $X$, the maximum $r$-th weak coloring number of $X$-minor-free graphs is polynomial in $r$. We determine this polynomial up to a factor of $\mathcal{O}(r \log r)$. Moreover, we tie the exponent of the polynomial to a structural property of $X$, namely, $2$-treedepth. As a result, for a fixed graph $X$ and an $X$-minor-free graph $G$, we show that $\mathrm{wcol}_r(G)= \mathcal{O}(r^{\mathrm{td}(X)-1}\mathrm{log}\ r)$, which improves on the bound $\mathrm{wcol}_r(G) = \mathcal{O}(r^{g(\mathrm{td}(X))})$ given by Dujmović et al. (SODA, 2024), where $g$ is an exponential function. In the case of planar graphs of bounded treewidth, we show that the maximum $r$-th weak coloring number is in $\mathcal{O}(r^2\mathrm{log}\ r$), which is best possible.
Linear causal disentanglement via higher-order cumulants
Published
• View Publication
• BIB
Linear causal disentanglement is a recent method in causal representation learning to describe a collection of observed variables via latent variables with causal dependencies between them. It can be viewed as a generalization of both independent component analysis and linear structural equation models. We study the identifiability of linear causal disentanglement, assuming access to data under multiple contexts, each given by an intervention on a latent variable. We show that one perfect intervention on each latent variable is sufficient and in the worst case necessary to recover parameters under perfect interventions, generalizing previous work to allow more latent than observed variables. We give a constructive proof that computes parameters via a coupled tensor decomposition. For soft interventions, we find the equivalence class of latent graphs and parameters that are consistent with observed data, via the study of a system of polynomial equations. Our results hold assuming the existence of non-zero higher-order cumulants, which implies non-Gaussianity of variables.
Deep sections of the hypercube
Consider a non-negative number $t$ and a hyperplane $H$ of $\mathbb{R}^d$ whose distance to the center of the hypercube $[0,1]^d$ is $t$. If $t$ is equal to $0$ and $H$ is orthogonal to a diagonal of $[0,1]^d$, it is known that the $(d-1)$-dimensional volume of $H\cap[0,1]^d$ is a strictly increasing function of $d$ when $d$ is at least $3$. The study of the monotonicity of this volume is extended for $t$ up to above $1/2$ and, when $d$ is large enough, for every non-negative $t$. In particular, a range for $t$ is identified such that this volume is a strictly decreasing function of $d$ over the positive integers. The local extremality of the $(d-1)$-dimensional volume of $H\cap[0,1]^d$ when $H$ is orthogonal to a diagonal of either $[0,1]^d$ or a lower dimensional face is also determined for the same values of $t$. It is shown for instance that when $t$ is above an explicit constant and $d$ is large enough, this volume is always strictly locally maximal when $H$ is orthogonal to a diagonal of $[0,1]^d$. A precise estimate for the convergence rate of the Eulerian numbers to their limit Gaussian behavior is provided along the way.
On Polynomial Representations of Dual DP Color Functions
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring that was introduced by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of chromatic polynomials have been introduced for list colorings: $P_{\ell}$, list color functions (1990); DP colorings: $P_{DP}$, DP color functions (2019), and $P^*_{DP}$, dual DP color functions (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. In 2022 (improving on older results) Dong and Zhang showed that for any graph $G$, $P_{\ell}(G,m)=P(G,m)$ whenever $m \geq |E(G)|-1$. Consequently, the list color function of a graph is a polynomial for sufficiently large $m$. One of the most important and longstanding open questions on DP color functions asks: for every graph $G$ is there an $N \in \mathbb{N}$ and a polynomial $p(m)$ such that $P_{DP}(G,m) = p(m)$ whenever $m \geq N$? We show that the answer to the analogue of this question for dual DP color functions is no. Our proof reveals a connection between a dual DP color function and the balanced chromatic polynomial of a signed graph introduced by Zaslavsky in 1982.
Supersymmetric polynomials and algebro-combinatorial duality
Published in SciPost Phys. 17, 119 (2024)
• View Publication
• BIB
In this note we develop a systematic combinatorial definition for constructed earlier supersymmetric polynomial families. These polynomial families generalize canonical Schur, Jack and Macdonald families so that the new polynomials depend on odd Grassmann variables as well. Members of these families are labeled by respective modifications of Young diagrams. We show that the super-Macdonald polynomials form a representation of a super-algebra analog $\mathsf{T}(\widehat{\mathfrak{gl}}_{1|1})$ of Ding-Ioahara-Miki (quantum toroidal) algebra, emerging as a BPS algebra of D-branes on a conifold. A supersymmetric modification for Young tableaux and Kostka numbers are also discussed.
A linear-time algorithm for $(1+ε)Δ$-edge-coloring
Published
• View Publication
• BIB
We present a randomized algorithm that, given a constant $ε> 0$, outputs a proper $(1+ε)Δ$-edge-coloring of an $m$-edge simple graph $G$ of maximum degree $Δ\geq 1/ε$ in $O(m)$ time with high probability. This is the first linear-time algorithm for this problem covering the full range of possible values of $Δ$. Indeed, even for edge-coloring with $2Δ- 1$ colors (i.e., meeting the "greedy" bound), no such linear-time algorithm has been previously known.
Shrinking the Jung radius: Maximizing partial coverage of finite point sets
Jung's theorem says that planar sets of diameter $1$ can be covered by a closed circular disk of radius $\frac 1{\sqrt3}$. In this paper we consider a fractional Jung-type problem for finite planar point-sets. Let $\mathcal{P}_n$ be the family of all finite sets of $n$ points in the plane, of diameter at most $1$. Let the function value $N_n(r)$ ($0 < r \leq 1$) be the largest integer $k$ so that for every point set $P \in \mathcal{P}_n$ there is a closed circular disk of radius $r$ which covers at least $k$ points of $P$. We focus on the radii $r=\frac 12$ and $r=\frac 14$ and prove exact maximum values. Concerning the radius $r= \frac 12$, we prove $N_n(\frac{1}{2})=\lceil \frac{n}{3}\rceil+1$. Concerning the radius $r= \frac 14$, we prove that $N_{n}(\frac{1}{4}) = \lceil \frac{n}{7}\rceil$ if $n$ is not a multiple of 7, and $N_{n}(\frac{1}{4})$ is $ \frac{n}{7}$ or $ \frac{n}{7}+1$ otherwise. We also initiate further study of the function $N_n(r)$ by giving lower and upper bounds for $N_n(r)$ ($0 < r < \frac 1{\sqrt3}$).