natural ↗ reference
4897 papers tagged with this keyword
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.
A tale of stars and cliques
Published in Journal of Combinatorial Theory, Series A 160 (2018), 111-135
• View Publication
• BIB
We show that for an infinitely many natural numbers $k$ there are $k$-uniform hypergraphs which admit a `rescaling phenomenon' as described in [9]. More precisely, let $\mathcal{A}(k,I, n)$ denote the class of $k$-graphs on $n$ vertices in which the sizes of all pairwise intersections of edges belong to a set $I$. We show that if $k=rt^2$ for some $r\ge 1$ and $t\ge 2$, and~$I$ is chosen in some special way, the densest graphs in $\mathcal{A}(rt^2,I, n)$ are either dominated by stars of large degree, or basically, they are `$t$-thick' $rt^2$-graphs in which vertices are partitioned into groups of $t$ vertices each and every edge is a union of $tr$ such groups. It is easy to see that, unlike in stars, the maximum degree of $t$-thick graphs is of a lower order than the number of its edges. Thus, if we study the graphs from $\mathcal{A}(rt^2,I, n)$ with a prescribed number of edges $m$ which minimize the maximum degree, around the value of $m$ which is the number of edges of the largest $t$-thick graph, a rapid, discontinuous phase transition can be observed. Interestingly, these two types of $k$-graphs determine the structure of all hypergraphs in $\mathcal{A}(rt^2,I, n)$. Namely, we show that each such hypergraph can be decomposed into a $t$-thick graph $H_T$, a special collection $H_S$ of stars, and a sparse `left-over' graph $H_R$.
Partition algebras $\mathsf{P}_k(n)$ with $2k>n$ and the fundamental theorems of invariant theory for the symmetric group $\mathsf{S}_n$
Published
• View Publication
• BIB
Assume $\mathsf{M}_n$ is the $n$-dimensional permutation module for the symmetric group $\mathsf{S}_n$, and let $\mathsf{M}_n^{\otimes k}$ be its $k$-fold tensor power. The partition algebra $\mathsf{P}_k(n)$ maps surjectively onto the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ for all $k, n \in \mathbb{Z}_{\ge 1}$ and isomorphically when $n \ge 2k$. We describe the image of the surjection $Φ_{k,n}:\mathsf{P}_k(n) \to \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ explicitly in terms of the orbit basis of $\mathsf{P}_k(n)$ and show that when $2k > n$ the kernel of $Φ_{k,n}$ is generated by a single essential idempotent $\mathsf{e}_{k,n}$, which is an orbit basis element. We obtain a presentation for $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ by imposing one additional relation, $\mathsf{e}_{k,n} = 0$, to the standard presentation of the partition algebra $\mathsf{P}_k(n)$ when $2k > n$. As a consequence, we obtain the fundamental theorems of invariant theory for the symmetric group $\mathsf{S}_n$. We show under the natural embedding of the partition algebra $\mathsf{P}_n(n)$ into $\mathsf{P}_k(n)$ for $k \ge n$ that the essential idempotent $\mathsf{e}_{n,n}$ generates the kernel of $Φ_{k,n}$. Therefore, the relation $\mathsf{e}_{n,n} = 0$ can replace $\mathsf{e}_{k,n} = 0$ when $k \ge n$.
Shrub-depth: Capturing Height of Dense Graphs
Published in Logical Methods in Computer Science, Volume 15, Issue 1 (January 31, 2019) lmcs:3798
• View Publication
• BIB
The recent increase of interest in the graph invariant called tree-depth and in its applications in algorithms and logic on graphs led to a natural question: is there an analogously useful "depth" notion also for dense graphs (say; one which is stable under graph complementation)? To this end, in a 2012 conference paper, a new notion of shrub-depth has been introduced, such that it is related to the established notion of clique-width in a similar way as tree-depth is related to tree-width. Since then shrub-depth has been successfully used in several research papers. Here we provide an in-depth review of the definition and basic properties of shrub-depth, and we focus on its logical aspects which turned out to be most useful. In particular, we use shrub-depth to give a characterization of the lower $ω$ levels of the MSO1 transduction hierarchy of simple graphs.
Sums of Palindromes: an Approach via Automata
Recently, Cilleruelo, Luca, & Baxter proved, for all bases b >= 5, that every natural number is the sum of at most 3 natural numbers whose base-b representation is a palindrome. However, the cases b = 2, 3, 4 were left unresolved.
We prove, using a decision procedure based on automata, that every natural number is the sum of at most 4 natural numbers whose base-2 representation is a palindrome. Here the constant 4 is optimal. We obtain similar results for bases 3 and 4, thus completely resolving the problem.
We consider some other variations on this problem, and prove similar results. We argue that heavily case-based proofs are a good signal that a decision procedure may help to automate the proof.
Refined Cyclic Sieving on Words for the Major Index Statistic
Published in European Journal of Combinatorics, Volume 73, October 2018, pages 37 to 60
• View Publication
• BIB
Reiner-Stanton-White defined the cyclic sieving phenomenon (CSP) associated to a finite cyclic group action and a polynomial. A key example arises from the length generating function for minimal length coset representatives of a parabolic quotient of a finite Coxeter group. In type A, this result can be phrased in terms of the natural cyclic action on words of fixed content.
There is a natural notion of refinement for many CSP's. We formulate and prove a refinement, with respect to the major index statistic, of this CSP on words of fixed content by also fixing the cyclic descent type. The argument presented is completely different from Reiner-Stanton-White's representation-theoretic approach. It is combinatorial and largely, though not entirely, bijective in a sense we make precise with a "universal" sieving statistic on words, "flex".
A building block of our argument involves cyclic sieving for shifted subset sums, which also appeared in Reiner-Stanton-White. We give an alternate, largely bijective proof of a refinement of this result by extending some ideas of Wagon-Wilf.
On the Maximum Size of Block Codes Subject to a Distance Criterion
Published
• View Publication
• BIB
We establish a general formula for the maximum size of finite length block codes with minimum pairwise distance no less than $d$. The achievability argument involves an iterative construction of a set of radius-$d$ balls, each centered at a codeword. We demonstrate that the number of such balls that cover the entire code alphabet cannot exceed this maximum size. Our approach can be applied to codes $i)$ with elements over arbitrary code alphabets, and $ii)$ under a broad class of distance measures, thereby ensuring the generality of our formula. Our formula indicates that the maximum code size can be fully characterized by the cumulative distribution function of the distance measure evaluated at two independent and identically distributed random codewords. When the two random codewords assume a uniform distribution over the entire code alphabet, our formula recovers and obtains a natural generalization of the Gilbert-Varshamov (GV) lower bound. We also establish a general formula for the zero-error capacity of any sequence of channels. Finally, we extend our study to the asymptotic setting, where we establish first- and second-order bounds on the asymptotic code rate subject to a normalized minimum distance constraint.
Revisiting the Hamiltonian Theme in the Square of a Block: The Case of DT-Graphs
Published
• View Publication
• BIB
The square of a graph G, denoted G^2, is the graph obtained from G by joining by an edge any two nonadjacent vertices which have a common neighbor. A graph G is said to have the F_k property if for any set of k distinct vertices {x_1, x_2, ..., x_k} in G, there is a hamiltonian path from x_1 to x_2 in G^2 containing k-2 distinct edges of G of the form x_iz_i, i = 3, ..., k. It was proved many years ago that every 2-connected graph has the F_3 property. In the first part of this work, we extend this result by proving that every 2-connected DT-graph has the F_4 property (Theorem 2) and will show in the second part that this generalization holds for arbitrary 2-connected graphs, and that there exist 2-connected graphs which do not have the F_k property for any natural number k >= 5. Altogether, this answers a problem raised before in the affirmative.
Reverse juggling processes
Published in Random Structures & Algorithms, 55 no. 1 (2019), 56-72
• View Publication
• BIB
Knutson introduced two families of reverse juggling Markov chains (single and multispecies) motivated by the study of random semi-infinite matrices over $\mathbb{F}_q$. We present natural generalizations of both chains by placing generic weights that still lead to simple combinatorial expressions for the stationary distribution. For permutations, this is a seemingly new multivariate generalization of the inversion polynomial.
A lower bound theorem for centrally symmetric simplicial polytopes
Published
• View Publication
• BIB
Stanley proved that for any centrally symmetric simplicial $d$-polytope $P$ with $d\geq 3$, $g_2(P) \geq {d \choose 2}-d$. We provide a characterization of centrally symmetric $d$-polytopes with $d\geq 4$ that satisfy this inequality as equality. This gives a natural generalization of the classical Lower Bound Theorem for simplicial polytopes to the setting of centrally symmetric simplicial polytopes.
Growth Diagrams and Minuscule Polygon Configurations in the Affine Grassmannian
We define affine growth diagrams consisting of $GL_m$ dominant weights that label the vertices of a staircase-shaped grid. These are also called cylindrical growth diagrams as defined by Speyer and White in the case of partitions. The weights labelling each adjacent pair of vertices differ by a vertical strip and the weights around each unit square satisfy a local condition that appeared in van Leeuwen's work on the Littelmann path model for crystals.
We prove two main results. For a sequence of minuscule weights $\vecλ=(λ^1,\ldots,λ^n)$ let Poly$(\vecλ)$ denote the configuration space of $n$-tuples of points $(g_1,\ldots,g_n)$ in the affine Grassmannian such that the weight-valued distances satisfy $d(g_i,g_{i+1})=λ^i$. This is the convolution variety arising in the geometric Satake correspondence. We show that for a generic point $(g_1,\ldots,g_n)$ of a component the distances $d(g_i,g_j)$ form an affine growth diagram and that this gives a bijection between components of Poly$(\vecλ)$ and affine growth diagrams of type $\vecλ$. The main tool used in the proof is the Knutson--Tao hive.
In the second part, we give a purely combinatorial construction of affine growth diagrams from natural number entries by applying Greene's theorem to certain subrectangles of the staircase. From this construction it follows that affine growth diagrams contain the classical Fomin growth diagrams and realize the RS-correspondence when $\vecλ=(ω_1,\ldots,ω_1,ω_1^*,\ldots,ω_1^*)$.
Whitney's Theorem for 2-Regular Planar Digraphs
Published in Australasian J. Combinatorics 67(2) (2017) 159-165
• Search Publication
A digraph is 2-regular if every vertex has both indegree and outdegree two. We define an embedding of a 2-regular digraph to be a 2-cell embedding of the underlying graph in a closed surface with the added property that for every vertex~$v$, the two edges directed away from $v$ are not consecutive in the local rotation around $v$. In other words, at each vertex the incident edges are oriented in-out-in-out. The goal of this article is to provide an analogue of Whitney's theorem on planar embeddings in the setting of 2-regular digraphs. In the course of doing so, we note that Tutte's Theorem on peripheral cycles also has a natural analogue in this setting.
Labeled binary trees, subarrangements of the Catalan arrangements, and Schur positivity
Published
• View Publication
• BIB
In 1995, the first author introduced a multivariate generating function {$G$} that tracks the distribution of ascents and descents in labeled binary trees. In addition to proving that $G$ is symmetric, he conjectured that $G$ is Schur positive. We prove this conjecture by expanding $G$ positively in terms of ribbon Schur functions. We obtain this expansion using a weight-preserving bijection whose inverse is inspired by the Push-Glide algorithm of Préville-Ratelle and Viennot. In fact, this weight-preserving bijection allows us to establish a stronger version of the first author's conjecture showing that the generating function restricted to labeled binary trees with a fixed canopy is still Schur positive.
We also discuss applications in the setting of hyperplane arrangements. We show that a certain specialization of $G$ equals the Frobenius characteristic of the natural $\mathfrak{S}_n$-action on regions of the semiorder arrangement, which we then expand in terms of {the Frobenius characteristics} of Foulkes characters. We also construct an $\mathfrak{S}_n$-action on regions of the Linial arrangement using a set of trees studied by Bernardi, and subsequently compute the character of this action by employing Lagrange inversion. The resulting expression generalizes Postnikov's formula for the number of regions in the Linial arrangement. As a final application, we prove $γ$-nonnegativity for the distribution of the number of right edges over local binary search trees.
Schubert polynomials, theta and eta polynomials, and Weyl group invariants
Published
• View Publication
• BIB
We examine the relationship between the (double) Schubert polynomials of Billey-Haiman and Ikeda-Mihalcea-Naruse and the (double) theta and eta polynomials of Buch-Kresch-Tamvakis and Wilson from the perspective of Weyl group invariants. We obtain generators for the kernel of the natural map from the corresponding ring of Schubert polynomials to the (equivariant) cohomology ring of symplectic and orthogonal flag manifolds.
The Moduli Space of Harnack Curves in Toric Surfaces
Published in Forum of Mathematics, Sigma 9 (2021) e43
• View Publication
• BIB
In 2006, Kenyon and Okounkov computed the moduli space of Harnack curves of degree $d$ in $\mathbb{C}\mathbb{P}^2$. We generalize to any projective toric surface some of the techniques used there. More precisely, we show that the moduli space $\mathcal{H}_Δ$ of Harnack curves with Newton polygon $Δ$ is diffeomorphic to $\mathbb{R}^{m-3}\times\mathbb{R}_{\geq0}^{n+g-m}$ where $Δ$ has $m$ edges, $g$ interior lattice points and $n$ boundary lattice points, solving a conjecture of Crétois and Lang. Additionally, we use abstract tropical curves to construct a compactification of this moduli space by adding points that correspond to collections of curves that can be patchworked together to produce a curve in $\mathcal{H}_Δ$. This compactification comes with a natural stratification with the same poset as the secondary polytope of $Δ$.
Ehrhart tensor polynomials
Published
• View Publication
• BIB
The notion of Ehrhart tensor polynomials, a natural generalization of the Ehrhart polynomial of a lattice polytope, was recently introduced by Ludwig and Silverstein. We initiate a study of their coefficients. In the vector and matrix cases, we give Pick-type formulas in terms of triangulations of a lattice polygon. As our main tool, we introduce $h^r$-tensor polynomials, extending the notion of the Ehrhart $h^\ast$-polynomial, and, for matrices, investigate their coefficients for positive semidefiniteness. In contrast to the usual $h^\ast$-polynomial, the coefficients are in general not monotone with respect to inclusion. Nevertheless, we are able to prove positive semidefiniteness in dimension two. Based on computational results, we conjecture positive semidefiniteness of the coefficients in higher dimensions. Furthermore, we generalize Hibi's palindromic theorem for reflexive polytopes to $h^r$-tensor polynomials and discuss possible future research directions.
Upper bounds on the smallest size of a complete cap in $\mathrm{PG}(N,q)$, $N\ge3$, under a certain probabilistic conjecture
In the projective space $\mathrm{PG}(N,q)$ over the Galois field of order $q$, $N\ge3$, an iterative step-by-step construction of complete caps by adding a new point on every step is considered. It is proved that uncovered points are evenly placed on the space. A natural conjecture on an estimate of the number of new covered points on every step is done. For a part of the iterative process, this estimate is proved rigorously. Under the conjecture mentioned, new upper bounds on the smallest size $t_{2}(N,q)$ of a complete cap in $\mathrm{PG}(N,q)$ are obtained, in particular, \begin{align*} t_{2}(N,q)<\frac{\sqrt{q^{N+1}}}{q-1}\left(\sqrt{(N+1)\ln q}+1\right)+2\thicksim q^\frac{N-1}{2}\sqrt{(N+1)\ln q},\quad N\ge3. \end{align*} A connection with the Birthday problem is noted. The effectiveness of the new bounds is illustrated by comparison with sizes of complete caps obtained by computer in wide regions of $q$.
The minimum Manhattan distance and minimum jump of permutations
Published
• View Publication
• BIB
Let $π$ be a permutation of $\{1,2,\ldots,n\}$. If we identify a permutation with its graph, namely the set of $n$ dots at positions $(i,π(i))$, it is natural to consider the minimum $L^1$ (Manhattan) distance, $d(π)$, between any pair of dots. The paper computes the expected value (and higher moments) of $d(π)$ when $n\rightarrow\infty$ and $π$ is chosen uniformly, and settles a conjecture of Bevan, Homberger and Tenner (motivated by permutation patterns), showing that when $d$ is fixed and $n\rightarrow\infty$, the probability that $d(π)\geq d+2$ tends to $e^{-d^2 - d}$.
The minimum jump $mj(π)$ of $π$, defined by $mj(π)=\min_{1\leq i\leq n-1} |π(i+1)-π(i)|$, is another natural measure in this context. The paper computes the asymptotic moments of $mj(π)$, and the asymptotic probability that $mj(π)\geq d+1$ for any constant $d$.
Block patterns in generalized Euler Permutations
Goulden and Jackson introduced a very powerful method to study the distributions of certain consecutive patterns in permutations, words, and other combinatorial objects which is now called the cluster method. There are a number of natural classes of combinatorial objects which start with either permutations or words and add additional restrictions. These include up-down permutations, generalized Euler permutations, words with no consecutive repeated letters, Young tableaux, and non-backtracking random walks. We develop an extension of the cluster method which we call the {\em generalized cluster method} to study the distribution of certain consecutive patterns in such restricted combinatorial objects. In this paper, we focus on block patterns in generalized Euler permutations.
LLT polynomials, chromatic quasisymmetric functions and graphs with cycles
Published in Discrete mathematics, 2018
• View Publication
• BIB
We use a Dyck path model for unit-interval graphs to study the chromatic quasisymmetric functions introduced by Shareshian and Wachs, as well as vertical strip --- in particular, unicellular LLT polynomials.
We show that there are parallel phenomena regarding $e$-positivity of these two families of polynomials. In particular, we give several examples where the LLT polynomials behave like a "mirror image" of the chromatic quasisymmetric counterpart.
The Dyck path model is also extended to circular arc digraphs to obtain larger families of polynomials. This circular extensions of LLT polynomials has not been studied before. A lot of the combinatorics regarding unit interval graphs carries over to this more general setting, and we prove several statements regarding the $e$-coefficients of chromatic quasisymmetric functions and LLT polynomials.
In particular, we believe that certain $e$-positivity conjectures hold in all these families above. Furthermore, we study vertical-strip LLT polynomials, for which there is no natural chromatic quasisymmetric counterpart. These polynomials are essentially modified Hall--Littlewood polynomials, and are therefore of special interest.
In this more general framework, we are able to give a natural combinatorial interpretation for the $e$-coefficients for the line graph and the cycle graph, in both the chromatic and the LLT setting.