sequence
6845 papers tagged with this keyword
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
• Search Publication
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.
Topological Ramsey spaces and metrically Baire sets
Published
• View Publication
• BIB
We characterize a class of topological Ramsey spaces such that each element $\mathcal R$ of the class induces a collection $\{\mathcal R_k\}_{k<ω}$ of projected spaces which have the property that every Baire set is Ramsey. Every projected space $\mathcal R_k$ is a subspace of the corresponding space of length-$k$ approximation sequences with the Tychonoff, equivalently metric, topology.
This answers a question of S. Todorcevic and generalizes the results of Carlson \cite{Carlson}, Carlson-Simpson \cite{CarSim2}, Prömel-Voigt \cite{PromVoi}, and Voigt \cite{Voigt}. We also present a new family of topological Ramsey spaces contained in the aforementioned class which generalize the spaces of ascending parameter words of Carlson-Simpson \cite{CarSim2} and Prömel-Voigt \cite{PromVoi} and the spaces $\FIN_m^{[\infty]}$, $0<m<ω$, of block sequences defined by Todorcevic \cite{Todo}.
Congruences and relations for r-Fishburn numbers
Published
• View Publication
• BIB
Recently Andrews and Sellers proved some amazing congruences for the Fishburn numbers. We extend their results to a more general sequence of numbers. As a result we prove a new congruence mod 23 for the Fishburn numbers and prove their conjectured mod 5 congruence for a related sequence. We also extend and prove some unpublished conjectures of Garthwaite and Rhoades.
Topological transition in disordered planar matching: combinatorial arcs expansion
Published in J. Stat. Mech. (2014) P12004
• View Publication
• BIB
In this paper, we investigate analytically the properties of the disordered Bernoulli model of planar matching. This model is characterized by a topological phase transition, yielding complete planar matching solutions only above a critical density threshold. We develop a combinatorial procedure of arcs expansion that explicitly takes into account the contribution of short arcs, and allows to obtain an accurate analytical estimation of the critical value by reducing the global constrained problem to a set of local ones. As an application to a toy representation of the RNA secondary structures, we suggest generalized models that incorporate a one-to-one correspondence between the contact matrix and the RNA-type sequence, thus giving sense to the notion of effective non-integer alphabets.
Small cancellation labellings of some infinite graphs and applications
Published
• View Publication
• BIB
We construct small cancellation labellings for some infinite sequences of finite graphs of bounded degree. We use them to define infinite graphical small cancellation presentations of groups. This technique allows us to provide examples of groups with exotic properties:
- We construct the first examples of finitely generated coarsely non-amenable groups (that is, groups without Guoliang Yu's Property A) that are coarsely embeddable into a Hilbert space. Moreover, our groups act properly on CAT(0) cubical complexes.
- We construct the first examples of finitely generated groups, with expanders embedded isometrically into their Cayley graphs - in contrast,in the case of the Gromov monster expanders are not even coarsely embedded.
We present further applications.
Enumerative Geometrical Genealogy (Or: The Sex Life of Points and Lines)
Joshua Cooper and Mark Walters initiated the subject that we call here Enumerative Geometric Genealogy, (and that lead to the hard-to-count OEIS sequence A140468) but they did not realize the broader impact of their research to the population explosion of a certain far-away planet, whose inhabitants are much smarter, and more civilized, than we are.
Labeled Fibonacci Trees
Published in Legendre S. 2015. Labeled Fibonacci trees. The Fibonacci Quarterly 53: 152-167
• View Publication
• BIB
The study describes a class of integer labelings of the Fibonacci tree, the tree of descent introduced by Fibonacci. In these labelings, Fibonacci sequences appear along ascending branches of the tree, and it is shown that the labels at any level are consecutive integers. The set of labeled trees is a commutative group isomorphic to $\mathbb{Z}^2$, and is endowed with an order relation. Properties of the Wythoff array are recovered as a special instance, and further properties of the labeled Fibonacci trees are described. These trees can be viewed as generalizations of the Wythoff array.
Ascent sequences avoiding pairs of patterns
Published
• View Publication
• BIB
Ascent sequences were introduced by Bousquet-Melou et al. in connection with (2+2)-avoiding posets and their pattern avoidance properties were first considered by Duncan and Steingrimsson. In this paper, we consider ascent sequences of length $n$ avoiding two patterns of length 3, and we determine an exact enumeration for 16 different pairs of patterns. Methods include simple recurrences, bijections to other combinatorial objects (including Dyck paths and pattern-avoiding permutations), and generating trees. We also provide an analogue of the Erdos-Szekeres Theorem to prove that any sufficiently long ascent sequence contains either many copies of the same number or a long increasing subsequence, with a precise bound.
A combinatorial interpretation of the $κ^{\star}_{g}(n)$ coefficients
Studying the virtual Euler characteristic of the moduli space of curves, Harer and Zagier compute the generating function $C_g(z)$ of unicellular maps of genus $g$. They furthermore identify coefficients, $κ^{\star}_{g}(n)$, which fully determine the series $C_g(z)$. The main result of this paper is a combinatorial interpretation of $κ^{\star}_{g}(n)$. We show that these enumerate a class of unicellular maps, which correspond $1$-to-$2^{2g}$ to a specific type of trees, referred to as O-trees. O-trees are a variant of the C-decorated trees introduced by Chapuy, Féray and Fusy. We exhaustively enumerate the number $s_{g}(n)$ of shapes of genus $g$ with $n$ edges, which is a specific class of unicellular maps with vertex degree at least three. Furthermore we give combinatorial proofs for expressing the generating functions $C_g(z)$ and $S_g(z)$ for unicellular maps and shapes in terms of $κ^{\star}_{g}(n)$, respectively. We then prove a two term recursion for $κ^{\star}_{g}(n)$ and that for any fixed $g$, the sequence $\{κ_{g,t}\}_{t=0}^g$ is log-concave, where $κ^{\star}_{g}(n)= κ_{g,t}$, for $n=2g+t-1$.