arXiv++ Combinatorics

Browse math.CO papers from arXiv

sequence

6845 papers tagged with this keyword
2021-06-15 v2
The $(k,l)$-Euler theorem and the combinatorics of $(k,l)$-sequences
Published • View PublicationBIB
In 1997, Bousquet-Mélou and Eriksson stated a broad generalization of Euler's distinct-odd partition theorem, namely the $(k,l)$-Euler theorem. Their identity involved the $(k,l)$-lecture-hall partitions, which, unlike usual difference conditions of partitions in Rogers-Ramanujan type identities, satisfy some ratio constraints. In a 2008 paper, in response to a question suggested by Richard Stanley, Savage and Yee provided a simple bijection for the $l$-lecture-hall partitions (the case $k=l$), whose specialization in $l=2$ corresponds to Sylvester's bijection. Subsequently, as an open question, a generalization of their bijection was suggested for the case $k,l\geq 2$. In the spirit of Savage and Yee's work, we provide and prove in this paper slight variations of the suggested bijection, not only for the case $k,l\geq 2$ but also for the cases $(k,1)$ and $(1,k)$ with $k\geq 4$. Furthermore, we show that our bijections equal the recursive bijections given by Bousquet-Mélou and Eriksson in their recursive proof of the $(k,l)$-lecture hall and finally provide the analogous recursive bijection for the $(k,l)$-Euler theorem.
Degree sequences of sufficiently dense random uniform hypergraphs
Published • View PublicationBIB
We find an asymptotic enumeration formula for the number of simple $r$-uniform hypergraphs with a given degree sequence, when the number of edges is sufficiently large. The formula is given in terms of the solution of a system of equations. We give sufficient conditions on the degree sequence which guarantee existence of a solution to this system. Furthermore, we solve the system and give an explicit asymptotic formula when the degree sequence is close to regular. This allows us to establish several properties of the degree sequence of a random $r$-uniform hypergraph with a given number of edges. More specifically, we compare the degree sequence of a random $r$-uniform hypergraph with a given number edges to certain models involving sequences of binomial or hypergeometric random variables conditioned on their sum.
Ehrhart polynomials of rank two matroids
Published in Adv. in Appl. Math. 141 (2022) 102410 • View PublicationBIB
Over a decade ago De Loera, Haws and Köppe conjectured that Ehrhart polynomials of matroid polytopes have only positive coefficients and that the coefficients of the corresponding $h^*$-polynomials form a unimodal sequence. The first of these intensively studied conjectures has recently been disproved by the first author who gave counterexamples in all ranks greater or equal to three. In this article we complete the picture by showing that Ehrhart polynomials of matroids of lower rank have indeed only positive coefficients. Moreover, we show that they are coefficient-wise bounded by the Ehrhart polynomials of minimal and uniform matroids. We furthermore address the second conjecture by proving that $h^*$-polynomials of matroid polytopes of sparse paving matroids of rank two are real-rooted and therefore have log-concave and unimodal coefficients. In particular, this shows that the $h^*$-polynomial of the second hypersimplex is real-rooted thereby strengthening a result of De Loera, Haws and Köppe.
2021-06-13 v2
On maximal green sequence for quivers arising from weighted projective lines
Published in Algebr. Represent. Theory (2023) 26, 1713-1729 • View PublicationBIB
We investigate the existence and non-existence of maximal green sequences for quivers arising from weighted projective lines. Let $Q$ be the Gabreil quiver of the endomorphism algebra of a basic cluster-tilting object in the cluster category $\mathcal{C}_\mathbb{X}$ of a weighted projective line $\mathbb{X}$. It is proved that there exists a quiver $Q'$ in the mutation equivalence class $\operatorname{Mut}(Q)$ such that $Q'$ admits a maximal green sequence. On the other hand, there is a quiver in $\operatorname{Mut}(Q)$ which does not admit a maximal green sequence if and only if $\mathbb{X}$ is of wild type.
2021-06-12
Combinatorial properties of the enhanced principal rank characteristic sequence over finite fields
Published • View PublicationBIB
The enhanced principal rank characteristic sequence (epr-sequence) of a symmetric matrix $B \in \mathbb{F}^{n \times n}$ is defined as $\ell_1 \ell_2 \cdots \ell_n$, where $\ell_j \in \{\tt{A}, \tt{S}, \tt{N}\}$ according to whether all, some but not all, or none of the principal minors of order $j$ of $B$ are nonzero. Building upon the second author's recent classification of the epr-sequences of symmetric matrices over the field $\mathbb{F}=\mathbb{F}_2$, we initiate a study of the case $\mathbb{F}=\mathbb{F}_3$. Moreover, epr-sequences over finite fields are shown to have connections to Ramsey theory and coding theory.
2021-06-10 v2
Zeckendorf expansion, Dirichlet series and infinite series involving the infinite Fibonacci word
Let $β=\frac{1+\sqrt{5}}{2}$, $(a_n)_{n \in \mathbb{N}^+}$ be a non-uniform morphic sequence involving the infinite Fibonacci word and $(δ(n))_{n \in \mathbb{N}^+}$ be a positive sequence such that for all positive integers $n$, $δ(n)=\frac{1}{\sqrt{5}}\sum_{j \geq 0}ε_jβ^{j+2}$ if the unique Zeckendorf expansion of $n$ is $n=\sum_{j \geq 0}ε_jF_{j+2}$ with Fibonacci numbers $F_0,F_1,F_2...$. We define and study some Dirichlet series in the form of $\sum_{n\geq 1}\frac{a_n}{(δ(n))^s}$ and relations between them. Moreover, we compute the values of some infinite series involving the infinite Fibonacci word.
2021-06-10 v2
Simplifying Continuous-Time Quantum Walks on Dynamic Graphs
Published in Quantum Inf. Process. 21, 54 (2022) • View PublicationBIB
A continuous-time quantum walk on a dynamic graph evolves by Schrödinger's equation with a sequence of Hamiltonians encoding the edges of the graph. This process is universal for quantum computing, but in general, the dynamic graph that implements a quantum circuit can be quite complicated. In this paper, we give six scenarios under which a dynamic graph can be simplified, and they exploit commuting graphs, identical graphs, perfect state transfer, complementary graphs, isolated vertices, and uniform mixing on the hypercube. As examples, we simplify dynamic graphs, in some instances allowing single-qubit gates to be implemented in parallel.
2021-06-07 v2
Relative Rank and Regularization
Published • View PublicationBIB
We introduce a new concept of rank - relative rank associated to a filtered collection of polynomials. When the filtration is trivial our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of relative bias. The main result of the paper is a relation between these two quantities over finite fields (as a special case we obtain a new proof of the results in arXiv:1902.09830). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is polynomial in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry and algebra. For example, we prove that any collection of polynomials $\mathcal{P}=(P_i)_{i=1}^c$ of degrees $\le d$ in a polynomial ring over an algebraically closed field of characteristic $>d$ is contained in an ideal $\mathcal{I}(\mathcal{Q})$, generated by a collection $\mathcal{Q}$ of polynomials of degrees $\le d$ which form a regular sequence, and $\mathcal{Q}$ is of size $\le A c^{A}$, where $A=A(d)$ is independent of the number of variables.
2021-06-06 v2
Minkowski bases, Korkin-Zolotarev bases and successive minima
Let $λ_k$ denote the $k$-th successive minimum of a lattice $L$. We study properties of the lengths of certain bases of $L$. If $v_1, \dots v_n$ is a basis which is reduced in the sense of Minkowski we show that $\lvert v_k \rvert^2 \leq \frac{k}{4} λ_{k}^2$ for $k = 6, 7$, confirming a conjecture of Schürmann, and obtaining the first improvement of a classical bound by Van der Waerden. We construct a sequences of lattices where $\lvert v_n \rvert$ is significantly longer than the longest vector in a Korkin-Zolotarev reduced basis, answering a question of Schürmann. In an appendix joint with Lior Hadassi we construct a lattice $L$ with the surprising property that any basis containing the shortest vector of $L$ is not the shortest basis.
Maximal antichains of subsets II: Constructions
This is the second in a sequence of three papers investigating the question for which positive integers $m$ there exists a maximal antichain of size $m$ in the Boolean lattice $B_n$ (the power set of $[n]:=\{1,2,\dots,n\}$, ordered by inclusion). In the previous paper we characterized those $m$ between $\binom{n}{\lceil n/2\rceil}-\lceil n/2\rceil^2$ and the maximum size $\binom{n}{\lceil n/2 \rceil}$ that are not sizes of maximal antichains. In this paper we show that all smaller $m$ are sizes of maximal antichains.
2021-06-04
Extending the known families of scalable Huffman sequences
A canonical Huffman sequence is characterized by a zero inner-product between itself and each of its shifted copies, except at their largest relative shifts: their aperiodic auto-correlation then becomes delta-like, a single central peak surrounded by zeros, with one non-zero entry at each end. Prior work showed that the few known families of Huffman sequences (of length $N = 4n-1$, for integers $n > 1$, with continuously scalable elements) are based upon Fibonacci polynomials. Related multi-dimensional ($nD$) Huffman arrays were designed, as well as non-canonical quasi-Huffman arrays that also possess delta-like auto-correlations. We examined links between these discrete sequences and delta-correlated functions defined on the continuum, and provided simple non-iterative approaches to successfully deconvolve $nD$ data blurred by diffuse Huffman arrays. Here we describe new constructions for canonical Huffman sequences. Examples of length $N = 4n+1$, $N = 2n$ and families of arbitrary length are given, including scaled forms, as well as for Fibonacci-based arrays with perfect periodic auto-correlations, that are zero for all non-zero cyclic shifts. A generalization to include canonical sequences with complex scale factors invokes an equally useful dual form of delta-correlation. We also present $1D$ arrays with a much smaller dynamic range than those where the elements are built using Fibonacci recursion. When Huffman arrays (that are comprised of inherently signed values) are employed as diffuse probe beams for image acquisition, a new two-mask de-correlating step is described here that significantly reduces the total incident radiation dose compared to a prior method that added a positive pedestal-offset.
2021-06-04 v2
Statistics for Unimodal Sequences
Published • View PublicationBIB
We prove a number of limiting distributions for statistics for unimodal sequences of positive integers by adapting a probabilistic framework for integer partitions introduced by Fristedt. The difficulty in applying the direct analogue of Fristedt's techniques to unimodal sequences lies in the fact that the generating function for partitions is an infinite product, while that of unimodal sequences is not. Essentially, we get around this by conditioning on the size of the largest part and working uniformly on contributing summands. Our framework may be used to derive many distributions, and our results include joint distributions for largest parts and multiplicities of small parts. We discuss ranks as well. We further obtain analogous results for strongly unimodal sequences.
2021-06-04
Partial Sums of the Fibonacci Sequence
Published in Fib. Quart., 59:2 (May 2021), 132-135 • View PublicationBIB
Let $(F_n)_{n\ge 1}$ be the Fibonacci sequence. Define $P(F_n): = (\sum_{i=1}^n F_i)_{n\ge 1}$; that is, the function $P$ gives the sequence of partial sums of $(F_n)$. In this paper, we first give an identity involving $P^k(F_n)$, which is the resulting sequence from applying $P$ to $(F_n)$ $k$ times. Second, we provide a combinatorial interpretation of the numbers in $P^k(F_n)$.
2021-06-04
The Chromatic Quasisymmetric Class Function of a Digraph
Published • View PublicationBIB
We introduce a quasisymmetric class function associated with a group acting on a double poset or on a directed graph. The latter is a generalization of the chromatic quasisymmetric function of a digraph introduced by Ellzey, while the latter is a generalization of a quasisymmetric function introduced by Grinberg. We prove representation-theoretic analogues of classical and recent results, including $F$-positivity, and combinatorial reciprocity theorems. We also deduce results for orbital quasisymmetric functions. We also study a generalization of the notion of strongly flawless sequences.
2021-06-01 v2
Construction of simplicial complexes with prescribed degree-size sequences
Published in Phys. Rev. E 104, L042303 (2021) • View PublicationBIB
We study the realizability of simplicial complexes with a given pair of integer sequences, representing the node degree distribution and the facet size distribution, respectively. While the $s$-uniform variant of the problem is $\mathsf{NP}$-complete when $s \geq 3$, we identify two populations of input sequences, most of which can be solved in polynomial time using a recursive algorithm that we contribute. Combining with a sampler for the simplicial configuration model [J.-G. Young $\textit{et al.}$, Phys. Rev. E $\textbf{96}$, 032312 (2017)], we facilitate the efficient sampling of simplicial ensembles from arbitrary degree and size distributions. We find that, contrary to expectations based on dyadic networks, increasing the nodes' degrees reduces the number of loops in simplicial complexes. Our work unveils a fundamental constraint on the degree-size sequences and sheds light on further analysis of higher-order phenomena based on local structures.
2021-06-01 v3
Combinatorics of the Tautological Lamination
Published in Pacific J. Math. 329 (2024) 39-61 • View PublicationBIB
The Tautological Lamination arises in holomorphic dynamics as a combinatorial model for the geometry of 1-dimensional slices of the Shift Locus. In each degree $q$ the tautological lamination defines an iterated sequence of partitions of $1$ (one for each integer $n$) into numbers of the form $2^m q^{-n}$. Denote by $N_q(n,m)$ the number of times $2^mq^{-n}$ arises in the $n$th partition. We prove a recursion formula for $N_q(n,0)$, and a gap theorem: $N_q(n,n)=1$ and $N_q(n,m)=0$ for $\lfloor n/2 \rfloor < m < n$.
2021-05-27 v2
The number and average size of connected sets in graphs with degree constraints
Published in Journal of Graph Theory Volume100, Issue3 July 2022 Pages 530-542 • View PublicationBIB
The average size of connected vertex subsets of a connected graph generalises a much-studied parameter for subtrees of trees. For trees, the possible values of this parameter are critically affected by the presence or absence of vertices of degree 2. We answer two questions of Andrew Vince regarding the effect of degree constraints on general connected graphs. We give a new lower bound, and the first non-trivial upper bound, on the maximum growth rate of the number of connected sets of a cubic graph, and in fact obtain non-trivial upper bounds for any constant bound on the maximum degree. We show that the average connected set density is bounded away from 1 for graphs with no vertex of degree 2, and generalise a classical result of Jamison for trees by showing that in order for the connected set density to approach 1, the proportion of vertices of degree 2 must approach 1. Finally, we show that any sequence of graphs with minimum degree tending to infinity must have connected set density tending to 1/2.
2021-05-25 v2
Convergence of the height process of supercritical Galton-Watson forests with an application to the configuration model in the critical window
Published • View PublicationBIB
We show joint convergence of the Lukasiewicz path and height process for slightly supercritical Galton-Watson forests. This shows that the height processes for supercritical continuous state branching processes as constructed by Lambert (2002) are the limit under rescaling of their discrete counterparts. Unlike for (sub-)critical Galton-Watson forests, the height process does not encode the entire metric structure of a supercritical Galton-Watson forest. We demonstrate that this result is nonetheless useful, by applying it to the configuration model with an i.i.d. power-law degree sequence in the critical window, of which we obtain the metric space scaling limit in the product Gromov-Hausdorff-Prokhorov topology, which is of independent interest.
2021-05-25 v2
On the critical exponents of generalized ballot sequences in three dimensions and large tandem walks
Published • View PublicationBIB
We answer some questions on the asymptotics of ballot walks raised in [Personal Journal Shalosh B Ekhad and Doron Zeilberger, Apr 5, 2021; see also arXiv:2104.01731] and prove that these models are not D-finite. This short note demonstrates how the powerful tools developed in the last decades on lattice paths in convex cones help us to answer some challenging problems that were out of reach for a long time. On the way we generalize tandem walks to the family of large tandem walks whose steps are of arbitrary length and map them bijectively to a generalization of ballot walks in three dimensions.
2021-05-24 v2
Lah distribution: Stirling numbers, records on compositions, and convex hulls of high-dimensional random walks
Published • View PublicationBIB
Let $ξ_1,ξ_2,\ldots$ be a sequence of independent copies of a random vector in $\mathbb R^d$ having an absolutely continuous distribution. Consider a random walk $S_i:=ξ_1+\cdots+ξ_i$, and let $C_{n,d}:=\text{conv}(0,S_1,S_2,\ldots,S_n)$ be the convex hull of the first $n+1$ points it has visited. The polytope $C_{n,d}$ is called $k$-neighborly if for every indices $0\leq i_0 <\cdots < i_k\leq n$ the convex hull of the $k+1$ points $S_{i_0},\ldots, S_{i_k}$ is a $k$-dimensional face of $C_{n,d}$. We study the probability that $C_{n,d}$ is $k$-neighborly in various high-dimensional asymptotic regimes, i.e. when $n$, $d$, and possibly also $k$ diverge to $\infty$. There is an explicit formula for the expected number of $k$-dimensional faces of $C_{n,d}$ which involves Stirling numbers of both kinds. Motivated by this formula, we introduce a distribution, called the Lah distribution, and study its properties. In particular, we provide a combinatorial interpretation of the Lah distribution in terms of random compositions and records, and explicitly compute its factorial moments. Limit theorems which we prove for the Lah distribution imply neighborliness properties of $C_{n,d}$. This yields a new class of random polytopes exhibiting phase transitions parallel to those discovered by Vershik and Sporyshev, Donoho and Tanner for random projections of regular simplices and crosspolytopes.