sequence
7073 papers tagged with this keyword
On decomposing Betti tables and $O$-sequences
Published
• View Publication
• BIB
The Boij-Söderberg characterization decomposes a Betti table into a unique positive integral linear combination of pure diagrams. Given a module with a pure resolution, we describe explicit formulae for computing the decomposition of the Betti table of the module given the decomposition of the truncation of the Betti table, and vice versa.
Nagel and Sturgeon described the decomposition of Betti tables of ideals with $d$-linear resolutions; indeed, the coefficients are precisely finite $O$-sequences. Using the extension formulae, we provide an explicit description of the coefficients of the decomposition of the Betti table of the quotient ring of such an ideal. Following from this, we describe the closed convex simplicial cone of $O$-sequences.
Realizing degree sequences as $Z_3$-connected graphs
Published
• View Publication
• BIB
An integer-valued sequence $π=(d_1, \ldots, d_n)$ is {\em graphic} if there is a simple graph $G$ with degree sequence of $π$. We say the $π$ has a realization $G$. Let $Z_3$ be a cyclic group of order three. A graph $G$ is {\em $Z_3$-connected} if for every mapping $b:V(G)\to Z_3$ such that $\sum_{v\in V(G)}b(v)=0$, there is an orientation of $G$ and a mapping $f: E(G)\to Z_3-\{0\}$ such that for each vertex $v\in V(G)$, the sum of the values of $f$ on all the edges leaving from $v$ minus the sum of the values of $f$ on the all edges coming to $v$ is equal to $b(v)$. If an integer-valued sequence $π$ has a realization $G$ which is $Z_3$-connected, then $π$ has a {\em $Z_3$-connected realization} $G$. Let $π=(d_1, \ldots, d_n)$ be a graphic sequence with $d_1\ge \ldots \ge d_n\ge 3$. We prove in this paper that if $d_1\ge n-3$, then either $π$ has a $Z_3$-connected realization unless the sequence is $(n-3, 3^{n-1})$ or is $(k, 3^k)$ or $(k^2, 3^{k-1})$ where $k=n-1$ and $n$ is even; if $d_{n-5}\ge 4$, then either $π$ has a $Z_3$-connected realization unless the sequence is
$(5^2, 3^4)$ or $(5, 3^5)$.
Hankel determinants of the Cantor sequence
Published in Sci Sin Math, 2014, 44: 1059-1072
• View Publication
• BIB
In the paper, we give the recurrent equations of the Hankel determinants of the Cantor sequence, and show that the Hankel determinants as a double sequence is 3-automatic. With the help of the Hankel determinants, we prove that the irrationality exponent of the Cantor number, i.e. the transcendental number with Cantor sequence as its b-ary expansion, equals 2.
Perfect sampling algorithm for Schur processes
Published in Markov Processes Relat. Fields 24, 381-418 (2018)
• Search Publication
We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several fundamental combinatorial objects as special cases, such as plane partitions, tilings of Aztec diamonds, pyramid partitions and more generally steep domino tilings of the plane. Our algorithm, which is of polynomial complexity, is both exact (i.e. the output follows exactly the target probability law, which is either Boltzmann or uniform in our case), and entropy optimal (i.e. it reads a minimal number of random bits as an input).
The algorithm encompasses previous growth procedures for special Schur processes related to the primal and dual RSK algorithm, as well as the famous domino shuffling algorithm for domino tilings of the Aztec diamond. It can be easily adapted to deal with symmetric Schur processes and general Schur processes involving infinitely many parameters. It is more concrete and easier to implement than Borodin's algorithm, and it is entropy optimal.
At a technical level, it relies on unified bijective proofs of the different types of Cauchy and Littlewood identities for Schur functions, and on an adaptation of Fomin's growth diagram description of the RSK algorithm to that setting. Simulations performed with this algorithm suggest interesting limit shape phenomena for the corresponding tiling models, some of which are new.
Generalized $q$-Stirling numbers and normal ordering
The normal ordering coefficients of strings consisting of $V,U$ which satisfy $UV=qVU+hV^s$ ($s\in\mathbb N$) are considered. These coefficients are studied in two contexts: first, as a multiple of a sequence satisfying a generalized recurrence, and second, as $q$-analogues of rook numbers under the row creation rule introduced by Goldman and Haglund. A number of properties are derived, including recurrences, expressions involving other $q$-analogues and explicit formulas. We also give a Dobinsky-type formula for the associated Bell numbers and the corresponding extension of Spivey's Bell number formula. The coefficients, viewed as rook numbers, are extended to the case $s\in\mathbb R$ via a modified rook model.
On Aperiodic Subtraction Games with Bounded Nim Sequence
Subtraction games are a class of impartial combinatorial games whose positions correspond to nonnegative integers and whose moves correspond to subtracting one of a fixed set of numbers from the current position. Though they are easy to define, sub- traction games have proven difficult to analyze. In particular, few general results about their Sprague-Grundy values are known. In this paper, we construct an example of a subtraction game whose sequence of Sprague-Grundy values is ternary and aperiodic, and we develop a theory that might lead to a generalization of our construction.
Multi-wise and constrained fully weighted Davenport constants and interactions with coding theory
Published
• View Publication
• BIB
We consider two families of weighted zero-sum constants for finite abelian groups. For a finite abelian group $( G , + )$, a set of weights $W \subset \mathbb{Z}$, and an integral parameter $m$, the $m$-wise Davenport constant with weights $W$ is the smallest integer $n$ such that each sequence over $G$ of length $n$ has at least $m$ disjoint zero-subsums with weights $W$. And, for an integral parameter $d$, the $d$-constrained Davenport constant with weights $W$ is the smallest $n$ such that each sequence over $G$ of length $n$ has a zero-subsum with weights $W$ of size at most $d$. First, we establish a link between these two types of constants and several basic and general results on them. Then, for elementary $p$-groups, establishing a link between our constants and the parameters of linear codes as well as the cardinality of cap sets in certain projective spaces, we obtain various explicit results on the values of these constants.
Strong q-log-convexity of the Eulerian polynomials of Coxeter groups
Published
• View Publication
• BIB
In this paper we prove the strong $q$-log-convexity of the Eulerian polynomials of Coxeter groups using their exponential generating functions. Our proof is based on the theory of exponential Riordan arraya and a criterion for determining the strong $q$-log-convexity of polynomials sequences, whose generating functions can be given by the continued fraction. As consequences, we get the strong $q$-log-convexity the Eulerian polynomials of type $A_n,B_n$, their $q$-analogous and the generalized Eulerian polynomials associated to the arithmetic progression $\{a,a+d,a+2d,a+3d,\ldots\}$ in a unified manner.
Counting paths in corridors using circular Pascal arrays
Published in Shaun V. Ault and Charles Kicey. Counting paths in corridors using circular Pascal arrays. Discrete Mathematics 332(6):45-54, October 2014
• View Publication
• BIB
A circular Pascal array is a periodization of the familiar Pascal's triangle. Using simple operators defined on periodic sequences, we find a direct relationship between the ranges of the circular Pascal arrays and numbers of certain lattice paths within corridors, which are related to Dyck paths. This link provides new, short proofs of some nontrivial formulas found in the lattice-path literature.
Some inequalities on the norms of special matrices with generalized Tribonacci and generalized Pell Padovan sequences
In this paper some properties of generalized tribonacci and generalized Padovan sequence are presented. Also the Euclidean norms of circulant, $r$-circulant, semi-circulant and Hankle matrices with above mentioned sequences are calculated. The upper and lower bounds of spectral norms are also obtained.
Spectrum of mixed bi-uniform hypergraphs
Published
• View Publication
• BIB
A mixed hypergraph is a triple $H=(V,\mathcal{C},\mathcal{D})$, where $V$ is a set of vertices, $\mathcal{C}$ and $\mathcal{D}$ are sets of hyperedges. A vertex-coloring of $H$ is proper if $C$-edges are not totally multicolored and $D$-edges are not monochromatic. The feasible set $S(H)$ of $H$ is the set of all integers, $s$, such that $H$ has a proper coloring with $s$ colors.
Bujtás and Tuza [Graphs and Combinatorics 24 (2008), 1--12] gave a characterization of feasible sets for mixed hypergraphs with all $C$- and $D$-edges of the same size $r$, $r\geq 3$.
In this note, we give a short proof of a complete characterization of all possible feasible sets for mixed hypergraphs with all $C$-edges of size $\ell$ and all $D$-edges of size $m$, where $\ell, m \geq 2$. Moreover, we show that for every sequence $(r(s))_{s=\ell}^n$, $n \geq \ell$, of natural numbers there exists such a hypergraph with exactly $r(s)$ proper colorings using $s$ colors, $s = \ell,\ldots,n$, and no proper coloring with more than $n$ colors. Choosing $\ell = m=r$ this answers a question of Bujtás and Tuza, and generalizes their result with a shorter proof.
The permutation classes Av(1234,2341) and Av(1243,2314)
Published in Australasian J. Combin., 64(1):3-20, 2016
• Search Publication
We investigate the structure of the two permutation classes defined by the sets of forbidden patterns {1234,2341} and {1243,2314}. By considering how the Hasse graphs of permutations in these classes can be built from a sequence of rooted source graphs, we determine their algebraic generating functions. Our approach is similar to that of "adding a slice", used previously to enumerate various classes of polyominoes and other combinatorial structures. To solve the relevant functional equations, we make extensive use of the kernel method.
Erdos-Szekeres tableaux
Published in S. V. Ault and B. Shemmer. Erdos-Szekeres tableaux. Order, pages 1-12, 2013
• View Publication
• BIB
We explore a question related to the celebrated Erdős-Szekeres Theorem and develop a geometric approach to answer it. Our main object of study is the Erdős-Szekeres tableau, or EST, of a number sequence. An EST is the sequence of integral points whose coordinates record the length of the longest increasing and longest decreasing subsequence ending at each element of the sequence. We define the Order Poset of an EST in order to answer the question: What information about the sequence can be recovered by its EST?
Multiple correlation sequences and nilsequences
Published
• View Publication
• BIB
We study the structure of multiple correlation sequences defined by measure preserving actions of commuting transformations. When the iterates of the transformations are integer polynomials we prove that any such correlation sequence is the sum of a nilsequence and an error term that is small in uniform density; this was previously known only for measure preserving actions of a single transformation. We then use this decomposition result to give convergence criteria for multiple ergodic averages involving iterates that grow linearly, and prove the rather surprising fact that for such sequences, convergence results for actions of commuting transformations follow automatically from the special case of actions of a single transformation. Our proof of the decomposition result differs from previous works of V. Bergelson, B. Host, B. Kra, and A. Leibman, as it does not rely on the theory of characteristic factors. It consists of a simple orthogonality argument and the main tool is an inverse theorem of B. Host and B. Kra for general bounded sequences.
From Aztec diamonds to pyramids: steep tilings
Published in Trans. Amer. Math. Soc. 369 (2017), 5921-5959
• View Publication
• BIB
We introduce a family of domino tilings that includes tilings of the Aztec diamond and pyramid partitions as special cases. These tilings live in a strip of $\mathbb{Z}^2$ of the form $1 \leq x-y \leq 2\ell$ for some integer $\ell \geq 1$, and are parametrized by a binary word $w\in\{+,-\}^{2\ell}$ that encodes some periodicity conditions at infinity. Aztec diamond and pyramid partitions correspond respectively to $w=(+-)^\ell$ and to the limit case $w=+^\infty-^\infty$. For each word $w$ and for different types of boundary conditions, we obtain a nice product formula for the generating function of the associated tilings with respect to the number of flips, that admits a natural multivariate generalization. The main tools are a bijective correspondence with sequences of interlaced partitions and the vertex operator formalism (which we slightly extend in order to handle Littlewood-type identities). In probabilistic terms our tilings map to Schur processes of different types (standard, Pfaffian and periodic). We also introduce a more general model that interpolates between domino tilings and plane partitions.
Heaps and Two Exponential Structures
Published
• View Publication
• BIB
Take ${\sf Q}=({\sf Q}_1,{\sf Q}_2,\ldots)$ to be an exponential structure and $M(n)$ to be the number of minimal elements of ${\sf Q}_n$ where $M(0)=1$. Then a sequence of numbers $\{r_n({\sf Q}_n)\}_{n\ge 1}$ is defined by the equation \begin{eqnarray*} \sum_{n\ge 1}r_n({\sf Q}_n)\frac{z^n}{n!\,M(n)}=-\log(\sum_{n\ge 0}(-1)^n\frac{z^n}{n!\,M(n)}). \end{eqnarray*} Let $\bar{\sf Q}_n$ denote the poset ${\sf Q}_n$ with a $\hat{0}$ adjoined and let $\hat{1}$ denote the unique maximal element in the poset ${\sf Q}_n$. Furthermore, let $μ_{{\sf Q}_n}$ be the Möbius function on the poset $\bar{\sf Q}_n$. Stanley proved that $r_n({\sf Q}_n)=(-1)^nμ_{{\sf Q}_n}(\hat{0},\hat{1})$. This implies that the numbers $r_n({\sf Q}_n)$ are integers. In this paper, we study the cases ${\sf Q}_n=Π_n^{(r)}$ and ${\sf Q}_n={\sf Q}_n^{(r)}$ where $Π_n^{(r)}$ and ${\sf Q}_n^{(r)}$ are posets, respectively, of set partitions of $[rn]$ whose block sizes are divisible by $r$ and of $r$-partitions of $[n]$. In both cases we prove that $r_n(Π_n^{(r)})$ and $r_n({\sf Q}_n^{(r)})$ enumerate the pyramids by applying the Cartier-Foata monoid identity and further prove that $r_n(Π_n^{(r)})$ is the generalized Euler number $E_{rn-1}$ and that $r_n({\sf Q}_n^{(2)})$ is the number of complete non-ambiguous trees of size $2n-1$ by bijections. This gives a new proof of Welker's theorem that $r_n(Π_n^{(r)})=E_{rn-1}$ and implies the construction of $r$-dimensional complete non-ambiguous trees. As a bonus of applying the theory of heaps, we establish a bijection between the set of complete non-ambiguous forests and the set of pairs of permutations with no common rise. This answers an open question raised by Aval {\it et al.}.
On variants of Conway and Conolly's Meta-Fibonacci recursions
Published in Electronic Journal of Combinatorics 18 (2011), P96
• View Publication
• BIB
We study the recursions $A(n) = A(n-a-A^k(n-b)) + A(A^k(n-b))$ where $a \geq 0$, $b \geq 1$ are integers and the superscript $k$ denotes a $k$-fold composition, and also the recursion $C(n) = C(n-s-C(n-1)) + C(n-s-2-C(n-3))$ where $s \geq 0$ is an integer. We prove that under suitable initial conditions the sequences $A(n)$ and $C(n)$ will be defined for all positive integers, and be monotonic with their forward difference sequences consisting only of 0 and 1. We also show that the sequence generated by the recursion for $A(n)$ with parameters $(k,a,b) = (k,0,1)$, and initial conditions $A(1) = A(2) = 1$, satisfies $A(E_n) = E_{n-1}$ where $E_n$ is defined by $E_n = E_{n-1} + E_{n-k}$ with $E_n = 1$ for $1 \leq n \leq k$.
A sign-reversing involution to count labeled lone-child-avoiding trees
We use a sign-reversing involution to show that trees on the vertex set [n], considered to be rooted at 1, in which no vertex has exactly one child are counted by 1/n sum_{k=1}^{n} (-1)^(n-k) {n}-choose-{k} (n-1)!/(k-1)! k^(k-1). This result corrects a persistent misprint in the Encyclopedia of Integer Sequences.
Tilings of Rectangular Regions by Rectangular Tiles: Counts Derived from Transfer Matrices
Step by step completion of a left-to-right tiling of a rectangular floor with tiles of a single shape starts from one edge of the floor, considers the possible ways of inserting a tile at the leftmost uncovered square, passes through a sequence of rugged shapes of the front line between covered and uncovered regions of the floor, and finishes with a straight front line at the opposite edge. We count the tilings by mapping the front shapes to nodes in a digraph, then counting closed walks on that digraph with the transfer matrix method.
Generating functions are detailed for tiles of shape 1 x 3, 1 x 4 and 2 x 3 and modestly wide floors. Equivalent results are shown for the 3-dimensional analog of filling bricks of shape 1x 1 x 2, 1 x 1 x 3, 1 x 1 x 4, 1 x 2 x 2 or 1 x 2 x 3 into rectangular containers of small cross sections.
Multigraph limits, unbounded kernels, and Banach space decorated graphs
Published
• View Publication
• BIB
We present a construction that allows us to define a limit object of Banach space decorated graph sequences in a generalized homomorphism density sense. This general functional analytic framework provides a universal language for various combinatorial limit notions. In particular it makes it possible to assign limit objects to multigraph sequences that are convergent in the sense of node-and-edge homomorphism numbers, and it generalizes the limit theory for graph sequences with compact decorations.