sequence
6966 papers tagged with this keyword
The domination polynomial of powers of paths and cycles
A dominating set in a graph is a set of vertices with the property that every vertex in the graph is either in the set or adjacent to something in the set. The domination sequence of the graph is the sequence whose $k$th term is the number of dominating sets of size $k$.
Alikhani and Peng have conjectured that the domination sequence of every graph is unimodal. Beaton and Brown verified this conjecture for paths and cycles. Here we extend this to arbitrary powers of paths and cycles.
A note on large torsion in $\mathbb{Q}$-acyclic complexes
New upper bounds on the size of the torsion group of a $\mathbb{Q}$-acyclic simplicial complex are introduced which depend only on the vertex degree sequence of the complex and its dimension.
Recursive algorithm and log-concavity of representations on the cohomology of $\overline{\mathcal M}_{0,n}$
We provide a programmable recursive algorithm for the $\mathbb{S}_n$-representations on the cohomology of the moduli spaces $\overline{\mathcal M}_{0,n}$ of $n$-pointed stable curves of genus 0. As an application, we find explicit inductive and asymptotic formulas for the invariant part $H^*(\overline{\mathcal M}_{0,n}/\mathbb{S}_n)$ and prove that its Poincaré polynomial is asymptotically log-concave. Based on numerical computations with our algorithm, we further conjecture that the sequence $\{H^{2k}(\overline{\mathcal M}_{0,n})\}$ of $\mathbb{S}_n$-modules is equivariantly log-concave.
The Reverse Littlewood--Offord problem of Erdős
Let $ε_{1},\ldots,ε_{n}$ be a sequence of independent Rademacher random variables. We prove that there is a constant $c>0$ such that for any unit vectors $v_1,\ldots,v_n\in \mathbb{R}^2$,
$$\Pr\left[||ε_1 v_1+\ldots+ε_n v_n||_2 \leq \sqrt{2}\right]\geq \frac{c}{n}.$$
This resolves the only remaining conjecture from the seminal paper of Erdős on the Littlewood--Offord problem, and it is sharp both in the sense that the constant $\sqrt{2}$ cannot be reduced and that the magnitude $n^{-1}$ is best possible. We also prove polynomial bounds for the analogous problem in higher dimensions.
Realizability of hypergraphs and high-dimensional contingency tables with random degrees and marginals
Published
• View Publication
• BIB
A result of Deza, Levin, Meesum, and Onn shows that the problem of deciding if a given sequence is the degree sequence of a 3-uniform hypergraph is NP complete. We tackle this problem in the random case and show that a random integer partition can be realized as the degree sequence of a $3$-uniform hypergraph with high probability. These results are in stark contrast with the case of graphs, where a classical result of Erdős and Gallai provides an efficient algorithm for checking if a sequence is a degree sequence of a graph and a result of Pittel shows that with high probability a random partition is not the degree sequence of a graph.
By the same method, we address analogous realizability problems about high-dimensional binary contingency tables. We prove that if $(λ,μ,ν)$ are three independent random partitions then with high probability one can construct a three-dimensional binary contingency table with marginals $(λ,μ,ν)$. Conversely, if one insists that the contingency table forms a pyramid shape, then we show that with high probability one cannot construct such a contingency table. These two results confirm two conjectures of Pak and Panova.
Unimodal sequences and mixed false theta functions
Published in Advances in Mathematics 473 (2025), Paper No. 110293, 37 pp
• View Publication
• BIB
We consider two-parameter generalizations of Hecke-Appell type expansions for the generating functions of unimodal and special unimodal sequences. We then determine their explicit representations which involve mixed false theta functions. These results complement recent striking work of Mortenson and Zwegers on the mixed mock modularity of the generalized $U$-function due to Hikami and Lovejoy. As an application, we demonstrate how to recover classical partial theta function identities which appear in Ramanujan's lost notebook and in work of Warnaar.
From total positivity to pure free resolutions
Using the Jacobi-Trudi identity as a base, we establish parallels between the theory of totally positive integer sequences and Koszul algebras. We then focus on the case of quadric hypersurface rings and use this parallel to construct new analogues of Schur modules. We investigate some of their Lie-theoretic properties (and in more detail in a followup article) and use them to construct pure free resolutions for quadric hypersurface rings which are completely analogous to the construction given by Eisenbud, Fløystad, and Weyman in the case of polynomial rings.
On (joint) equidistributions of mesh patterns 123 and 132 with symmetric shadings
Published
• View Publication
• BIB
A notable problem within permutation patterns that has attracted considerable attention in literature since 1973 is the search for a bijective proof demonstrating that 123-avoiding and 132-avoiding permutations are equinumerous, both counted by the Catalan numbers. Despite this equivalence, the distributions of occurrences of the patterns 123 and 132 are distinct. When considering 123 and 132 as mesh patterns and selectively shading boxes, similar scenarios arise, even when avoidance is defined by the Bell numbers or other sequences, rather than the Catalan numbers.
However, computer experiments suggest that mesh patterns 123 and 132 may indeed be equidistributed. Furthermore, by considering symmetric shadings relative to the anti-diagonal, a maximum of 93 such equidistributed pairs can potentially exist. This paper establishes 75 such equidistributions, leaving the justification of the remaining cases as open problems. As a by-product, we also prove 36 relevant non-symmetric equidistributions. All our proofs are bijective and involve swapping occurrences of the patterns in question, thereby demonstrating their joint equidistribution. Our findings are a continuation of the systematic study of distributions of short-length mesh patterns initiated by Kitaev and Zhang in 2019.
When Grünbaum meets Poncelet -- Infinite Classes of Movable $n_4$ Configurations
We study relations between $(n_4)$ incidence configurations and the classical Poncelet Porism. Poncelet's result studies two conics and a sequence of points and lines that inscribes one conic and circumscribes the other. Poncelet's Porism states that whether this sequence closes up after $m$ steps only depends on the conics and not on the initial point of the sequence. In other words: Poncelet polygons are movable. We transfer this motion into a flexibility statement about a large class of $(n_4)$ configurations, which are configurations where 4 (straight) lines pass through each point and four points lie on each line. A first instance of such configurations in real geometry had been given by Grünbaum and Rigby in their classical 1990 paper where they constructed the first known real geometric realisation of a well known combinatorial $(21_4)$ configuration (which had been studied by Felix Klein), now called the Grünbaum-Rigby configuration. Since then, there has been an intensive search for movable $(n_4)$ configurations, but it is very surprising that the Grünbaum-Rigby $(21_4)$ configuration admits nontrivial motions. It is well-known that the Grünbaum-Rigby configuration is the smallest example of an infinite class of $(n_4)$ configurations, the trivial celestial configurations. A major result of this paper is that we show that all trivial celestial configurations are movable via Poncelet's Porism and results about properties of Poncelet grids. Alternative approaches via geometry of billiards, in-circle nets, and pentagram maps that relate the subject to discrete integrable systems are given as well.
Domination Polynomials of the Grid, the Cylinder, the Torus, and the King Graph
We present an algorithm to compute the domination polynomial of the $m \times n$ grid, cylinder, and torus graphs and the king graph. The time complexity of the algorithm is $O(m^2n^2 λ^{2m})$ for the torus and $O(m^3n^2λ^m)$ for the other graphs, where $λ= 1+\sqrt{2}$. The space complexity is $O(mnλ^m)$ for all of these graphs. We use this algorithm to compute domination polynomials for graphs up to size $24\times 24$ and the total number of dominating sets for even larger graphs. This allows us to give precise estimates of the asymptotic growth rates of the number of dominating sets. We also extend several sequences in the Online Encyclopedia of Integer Sequences.
Prescribed duality dynamics in comodule categories
Published
• View Publication
• BIB
We prove that there exist Hopf algebras with surjective, non-bijective antipode which admit no non-trivial morphisms from Hopf algebras with bijective antipode; in particular, they are not quotients of such. This answers a question left open in prior work, and contrasts with the dual setup whereby a Hopf algebra has injective antipode precisely when it embeds into one with bijective antipode. The examples rely on the broader phenomenon of realizing pre-specified subspace lattices as comodule lattices: for a finite-dimensional vector space $V$ and a sequence $(\mathcal{L}_r)_r$ of successively finer lattices of subspaces thereof, assuming the minimal subquotients of the supremum $\bigvee_r \mathcal{L}_r$ are all at least 2-dimensional, there is a Hopf algebra equipping $V$ with a comodule structure in such a fashion that the lattice of comodules of the $r^{th}$ dual comodule $V^{r*}$ is precisely the given $\mathcal{L}_r$.
Intersection problems and a correlation inequality for integer sequences
Published
• View Publication
• BIB
Let us consider a collection $\mathcal G$ of codewords of length $n$ over an alphabet of size $s$. Let $t_1,\ldots, t_s$ be nonnegative integers. What is the maximum of $|\mathcal G|$ subject to the condition that any two codewords should have at least $t_i$ positions where both have letter $i$ ($1\le i\le s$). In the case $s=2$ it is a longstanding open question. Quite surprisingly, we obtain an almost complete answer for $s\ge 3$. The main tool is a correlation inequality.
About the Hardy-Ramanujan partition function asymptotics
The Hardy-Ramanujan partition function asymptotics is a famous result in the asymptotics of combinatorial sequences. It was originally derived using complex analysis and number-theoretic ideas by Hardy and Ramanujan. It was later re-derived by Paul Erdős using real analytic methods. Later still, D.J.~Newman used just the usual Hayman saddle-point approach, ubiquitous in asymptotic analysis. Fristedt introduced a probabilistic approach, which was further extended by Dan Romik, for restricted partition functions. Our perspective is that the Laplace transform changes the essentially algebraic generating function into an exponential form. Using this, we carry out the exercise of deriving the leading order asymptotics, following the Fristedt-Romik approach. We also give additional examples of the Laplace transform method.
A logical limit law for the sequential model of preferential attachment graphs
For a sequence of random graphs, the limit law we refer to is the existence of a limiting probability of any graph property that can be expressed in terms of predicate logic. A zero-one limit law is shown by Shelah and Spencer for Erdös-Renyi graphs given that the connection rate has an irrational exponent. We show a limit law for preferential attachment graphs which admit a Pólya urn representation. The two extreme cases of the parametric model, the uniform attachment graph and the sequential Barabási-Albert model, are covered separately as they exhibit qualitative differences regarding the distribution of cycles of bounded length in the graph.
Probability graphons and P-variables: two equivalent viewpoints for dense weighted graph limits
We develop further the graph limit theory for dense weighted graph sequences. In particular, we consider probability graphons, which have recently appeared in graph limit theory as continuum representations of weighted graphs, and we introduce P-variables, which also appear in the context of the Aldous-Hoover theorem for exchangeable infinite random arrays, as an alternative continuum representation for weighted graphs. In particular, we explain how P-variables are related to probability graphons in a similar way in which random variables are related to probability measures. We define a metric for P-variables (inspired by action convergence in the graph limit theory of sparse graph sequences) and show that convergence of P-variables in this metric is equivalent to probability graphons convergence. We exploit this equivalence to translate several results from the theory of probability graphons to P-variables. In addition, we prove several properties of P-variables convergence, thus showing new properties also for probability graphons convergence and demonstrating the power of the connection between probability graphons and P-variables. Furthermore, we show how P-variables convergence can be easily modified and generalised to cover other combinatorial structures such as bipartite graphs and hypergraphs.
Self-modified difference ascent sequences
Published
• View Publication
• BIB
Ascent sequences play a key role in the combinatorics of Fishburn structures. Difference ascent sequences are a natural generalization obtained by replacing ascents with $d$-ascents. We have recently extended the so-called hat map to difference ascent sequences, and self-modified difference ascent sequences are the fixed points under this map. We characterize self-modified difference ascent sequences and enumerate them in terms of certain generalized Fibonacci polynomials. Furthermore, we describe the corresponding subset of $d$-Fishburn permutations.
A complete characterization of pairs of binary phylogenetic trees with identical $A_k$-alignments
Published
• View Publication
• BIB
Phylogenetic trees play a key role in the reconstruction of evolutionary relationships. Typically, they are derived from aligned sequence data (like DNA, RNA, or proteins) by using optimization criteria like, e.g., maximum parsimony (MP). It is believed that the latter is able to reconstruct the \enquote{true} tree, i.e., the tree that generated the data, whenever the number of substitutions required to explain the data with that tree is relatively small compared to the size of the tree (measured in the number $n$ of leaves of the tree, which represent the species under investigation). However, reconstructing the correct tree from any alignment first and foremost requires the given alignment to perform differently on the \enquote{correct} tree than on others.
A special type of alignments, namely so-called $A_k$-alignments, has gained considerable interest in recent literature. These alignments consist of all binary characters (\enquote{sites}) which require precisely $k$ substitutions on a given tree. It has been found that whenever $k$ is small enough (in comparison to $n$), $A_k$-alignments uniquely characterize the trees that generated them. However, recent literature has left a significant gap between $n\leq 2k+2$ -- namely the cases in which no such characterization is possible -- and $n\geq 4k$ -- namely the cases in which this characterization works. It is the main aim of the present manuscript to close this gap, i.e., to present a full characterization of all pairs of trees that share the same $A_k$-alignment. In particular, we show that indeed every binary phylogenetic tree with $n$ leaves is uniquely defined by its $A_k$-alignments if $n\geq 2k+3$. By closing said gap, we also ensure that our result is optimal.
More results on stack-sorting for set partitions
Let a sock be an element of an ordered finite alphabet A and a sequence of these elements be a sock sequence. In 2023, Xia introduced a deterministic version of Defant and Kravitz's stack-sorting map by defining the $φ_σ$ and $φ_{\overlineσ}$ pattern-avoidance stack-sorting maps for sock sequences. Xia showed that the $φ_{aba}$ map is the only one that eventually sorts all set partitions; in this paper, we prove deeper results regarding $φ_{aba}$ and $φ_{\overline{aba}}$ as a natural next step. We newly define two algorithms with time complexity $O(n^3)$ that determine if any given sock sequence is in the image of $φ_{aba}$ or $φ_{\overline{aba}}$ respectively. We also show that the maximum number of preimages that a sock sequence of length $n$ has grows at least exponentially under both the $φ_{aba}$ and $φ_{\overline{aba}}$ maps. Additionally, we prove results regarding fertility numbers (introduced by Defant) in the context of set partitions and multiple-pattern-avoiding stacks.
Unimodality and certain bivariate formal Laurent series
Published in European Journal of Combinatorics, 2025
• View Publication
• BIB
In this paper, we examine the unimodality and strict unimodality of certain formal bivariate Laurent series with non-negative coefficients. We show that the sets of these formal bivariate Laurent series form commutative semirings under the operations of addition and multiplication of formal Laurent series. This result is used to establish the unimodality of sequences involving Gauss polynomials and certain refined color partitions. In particular, we solve an open problem posed by Andrews on the unimodality of generalized Gauss polynomials and establish an unimodal result for a statistic of plane partitions. We also establish many unimodal results for rank statistics in partition theory, including the rank statistics of concave and convex compositions studied by Andrews, as well as certain unimodal sequences studied by Kim-Lim-Lovejoy. Additionally, we establish the unimodality of the Betti numbers and Gromov-Witten invariants of certain Hilbert schemes of points.
Components, large and small, are as they should be I: supercritical percolation on regular graphs of growing degree
Published
• View Publication
• BIB
We provide sufficient conditions for a regular graph $G$ of growing degree $d$, guaranteeing a phase transition in its random subgraph $G_p$ similar to that of $G(n,p)$ when $p\cdot d\approx 1$. These conditions capture several well-studied graphs, such as (percolation on) the complete graph $K_n$, the binary hypercube $Q^d$, $d$-regular expanders, and random $d$-regular graphs. In particular, this serves as a unified proof for these (and other) cases.
Suppose that $G$ is a $d$-regular graph on $n$ vertices, with $d=ω(1)$. Let $ε>0$ be a small constant, and let $p=\frac{1+ε}{d}$. Let $y(ε)$ be the survival probability of a Galton-Watson tree with offspring distribution Po$(1+ε)$. We show that if $G$ satisfies a (very) mild edge expansion requirement, and if one has fairly good control on the expansion of small sets in $G$, then typically the percolated random subgraph $G_p$ contains a unique giant component of asymptotic order $y(ε)n$, and all the other components in $G_p$ are of order $O(\log n/ε^2)$.
We also show that this result is tight, in the sense that if one asks for a slightly weaker control on the expansion of small sets in $G$, then there are $d$-regular graphs $G$ on $n$ vertices, where typically the second largest component is of order $Ω(d\log (n/d))=ω(\log n)$.
This is the first of a two-part sequence of papers. In the subsequent work, we consider supercritical percolation on regular graphs of constant degree, and establish similar sufficient (and essentially tight) conditions in that setting.