sequence
7073 papers tagged with this keyword
Sequences, q-Multinomial Identities, Integer Partitions with Kinds, and Generalized Galois Numbers
Published
• View Publication
• BIB
Using sequences of finite length with positive integer elements and the inversion statistic on such sequences, a collection of binomial and multinomial identities are extended to their $q$-analog form via combinatorial proofs. Using the major index statistic on sequences, a connection between integer partitions with kinds and finite differences of the coefficients of generalized Galois numbers is established.
Some explorations on two conjectures about Rademacher sequences
Published
• View Publication
• BIB
In this paper, we explore two conjectures about Rademacher sequences. Let $(ε_i)$ be a Rademacher sequence, i.e., a sequence of independent $\{-1,1\}$-valued symmetric random variables. Set $S_n=a_1ε_1+\cdots+a_nε_n$ for $a=(a_1,\dots,a_n)\in \mathbb{R}^n$. The first conjecture says that $P\ (\ |S_n\ |\leq \|a\|\ )\geq\frac{1}{2}$ for all $a\in \mathbb{R}^n$ and $n\in \mathbb{N}$. The second conjecture says that $P\ (\ |S_n\ |\geq\|a\|\ )\geq \frac{7}{32}$ for all $a\in \mathbb{R}^n$ and $n\in \mathbb{N}$. Regarding the first conjecture, we present several new equivalent formulations. These include a topological view, a combinatorial version and a strengthened version of the conjecture. Regarding the second conjecture, we prove that it holds true when $n\leq 7$.
Topology and Geometry of Crystallized Polyominoes
We give a complete solution to the extremal topological combinatorial problem of finding the minimum number of tiles needed to construct a polyomino with $h$ holes. We denote this number by $g(h)$ and say that a polyomino is crystallized if it has $h$ holes and $g(h)$ tiles. We analyze structural properties of crystallized polyominoes and characterize their efficiency by a topological isoperimetric inequality that relates minimum perimeter, the area of the holes, and the structure of the dual graph of a polyomino. We also develop a new dynamical method of creating sequences of polyominoes which is invariant with respect to crystallization and efficient structure. Using this technique, we prove that crystallized polyominoes with $h_l=(2^{2l}-1)/3$ holes are unique.
The Asymptotic Distribution of the Rank for Unimodal Sequences
Published
• View Publication
• BIB
We study the asymptotic behavior of the rank statistic for unimodal sequences. We use analytic techniques involving asymptotic expansions in order to prove asymptotic formulas for the moments of the rank. Furthermore, when appropriately normalized, the values of the unimodal rank asymptotically follow a logistic distribution. We also prove similar results for Durfee unimodal sequences and semi-strict unimodal sequences, with the only major difference being that the (normalized) rank for semistrict unimodal sequences has a distributional limit of a point mass probability distribution.
Lattice paths inside a table: Rows and columns linear combinations
A lattice path inside the $m\times n$ table $T$ is a sequence $ν_1,\ldots,ν_k$ of cells such that $ν_{j+1}-ν_j\in\{(1,-1),(1,0),(1,1)\}$ for all $j=1,\ldots,k-1$. The number of lattice paths in $T$ from the first column to the $(x,y)$-cell is written into that cell. We present a precise description of the minimal linear recurrences among rows, columns, and columns sums. As a result, we obtain several formulas for the number of all lattice paths from the first column to the last column of $T$, that is, the $n^{th}$ column sum. Our methods are based on three classes of operators, which will also be studied independently.
Appearance of Balancing and related number sequences in steady state probabilities of some Markov chains
Balancing and Lucas-balancing numbers are solutions of a Diophantine equation and satisfy a second order homogeneous recurrence relation. Interestingly, these numbers can be seen as numerators and denominators in the steady state probabilities of a class of transition probability matrices of Markov chains. An identity relating the balancing numbers and the silver ratio can be obtained as a byproduct.
Representation stability for sequences of 0-Hecke modules
Published
• View Publication
• BIB
We define a new category analogous to ${\bf FI}$ for the $0$-Hecke algebra $H_n(0)$ called the $0$-Hecke category, $\mathcal{H}$, indexing sequences of representations of $H_n(0)$ as $n$ varies under suitable compatibility conditions. We establish a new type of representation stability in this setting and prove it is implied by being a finitely generated $\mathcal{H}$-module. We then provide examples of $\mathcal{H}$-modules and discuss further desirable properties these modules possess.
Graphs in which the Maxine heuristic produces a maximum independent set
The residue of a graph is the number of zeros left after iteratively applying the Havel-Hakimi algorithm to its degree sequence. Favaron, Mahéo, and Saclé showed that the residue is a lower bound on the independence number. The Maxine heuristic reduces a graph to an independent set of size $M$. It has been shown that given a graph $G$, $M$ is bounded between the independence number and the residue of a graph for any application of the Maxine heuristic. We improve upon a forbidden subgraph classification of graphs such that $M$ is equal to the independence number given by Barrus and Molnar in 2015.
Face flips in origami tessellations
Published in Journal of Computational Geometry, Vol. 11, No. 1, 2020, pages 397-417
• View Publication
• BIB
Given a flat-foldable origami crease pattern $G=(V,E)$ (a straight-line drawing of a planar graph on a region of the plane) with a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$ indicating which creases in $E$ bend convexly (mountain) or concavely (valley), we may \emph{flip} a face $F$ of $G$ to create a new MV assignment $μ_F$ which equals $μ$ except for all creases $e$ bordering $F$, where we have $μ_F(e)=-μ(e)$. In this paper we explore the configuration space of face flips for a variety of crease patterns $G$ that are tilings of the plane, proving examples where $μ_F$ results in a MV assignment that is either never, sometimes, or always flat-foldable for various choices of $F$. We also consider the problem of finding, given two foldable MV assignments $μ_1$ and $μ_2$ of a given crease pattern $G$, a minimal sequence of face flips to turn $μ_1$ into $μ_2$. We find polynomial-time algorithms for this in the cases where $G$ is either a square grid or the Miura-ori, and show that this problem is NP-hard in the case where $G$ is the triangle lattice.
Three-phase Golay sequence and array triads
Published
• View Publication
• BIB
3-phase Golay sequence and array triads are a natural generalisation of 2-phase Golay sequence pairs, yet their study has until now been largely neglected. We present exhaustive search results for 3-phase Golay sequence triads for all lengths up to 24, showing that the existence pattern is much richer than that for 2-phase Golay sequence pairs. We give an elementary proof that there is no 3-phase Golay sequence triad whose length is congruent to 4 modulo 6. We give two construction methods for 3-phase Golay array triads, and show how to project 3-phase Golay array triads to lower-dimensional Golay triads. In this way we explain much of the existence pattern found by exhaustive search.
Optimal couplings between sparse block models
Published
• View Publication
• BIB
We study the problem of coupling a stochastic block model with a planted bisection to a uniform random graph having the same average degree. Focusing on the regime where the average degree is a constant relative to the number of vertices $n$, we show that the distance to which the models can be coupled undergoes a phase transition from $O(\sqrt{n})$ to $Ω(n)$ as the planted bisection in the block model varies. This settles half of a conjecture of Bollobás and Riordan and has some implications for sparse graph limit theory. In particular, for certain ranges of parameters, a block model and the corresponding uniform model produce samples which must converge to the same limit point. This implies that any notion of convergence for sequences of graphs with $Θ(n)$ edges which allows for samples from a limit object to converge back to the limit itself must identify these models.
Almost square permutations are typically square
Published in Ann. Inst. H. Poincaré Probab. Statist. 57(4): 1834-1856 (November 2021)
• View Publication
• BIB
A record in a permutation is a maximum or a minimum, from the left or from the right. The entries of a permutation can be partitioned into two types: the ones that are records are called external points, the others are called internal points. Permutations without internal points have been studied under the name of square permutations. Here, we explore permutations with a fixed number of internals points, called almost square permutations. Unlike with square permutations, a precise enumeration for the total number of almost square permutations of size $n+k$ with exactly $k$ internal points is not known. However, using a probabilistic approach, we are able to determine the asymptotic enumeration. This allows us to describe the permuton limit of almost square permutations with $k$ internal points, both when $k$ is fixed and when $k$ tends to infinity along a negligible sequence with respect to the size of the permutation. Finally, we show that our techniques are quite general by studying the set of $321$-avoiding permutations of size $n$ with exactly $k$ additional internal points ($k$ fixed). In this case we obtain an interesting asymptotic enumeration in terms of the Brownian excursion area. As a consequence, we show that the points of a uniform permutation in this set concentrate on the diagonal and the fluctuations of these points converge in distribution to a biased Brownian excursion.
Edge crossings in random linear arrangements
Published in J. Stat. Mech. (2020) 023403
• View Publication
• BIB
In spatial networks vertices are arranged in some space and edges may cross. When arranging vertices in a 1-dimensional lattice edges may cross when drawn above the vertex sequence as it happens in linguistic and biological networks. Here we investigate the general of problem of the distribution of edge crossings in random arrangements of the vertices. We generalize the existing formula for the expectation of this number in random linear arrangements of trees to any network and derive an expression for the variance of the number of crossings in an arbitrary layout relying on a novel characterization of the algebraic structure of that variance in an arbitrary space. We provide compact formulae for the expectation and the variance in complete graphs, complete bipartite graphs, cycle graphs, one-regular graphs and various kinds of trees (star trees, quasi-star trees and linear trees). In these networks, the scaling of expectation and variance as a function of network size is asymptotically power-law-like in random linear arrangements. Our work paves the way for further research and applications in 1-dimension or investigating the distribution of the number of crossings in lattices of higher dimension or other embeddings.
Generalizing Galvin and Jónsson's Classification to N5
Published in Algebra Universalis 81(3), 30pp (2020)
• View Publication
• BIB
The problem of determining (up to lattice isomorphism) which lattices are sublattices of free lattices is in general an extremely difficult and an unsolved problem. A notable result towards solving this problem was established by Galvin and Jónsson when they classified (up to lattice isomorphism) all of the distributive sublattices of free lattices in 1959. In this paper, we weaken the requirement that of a free lattice be distributive to requiring that such a lattice belongs in the variety of lattices generated by the pentagon N5. Specifically, we use McKenzie's list of join-irreducible covers of the variety generated by N5 to extend Galvin and Jónsson's results by proving that all sublattices of a free lattice that belong to the variety generated by N5 satisfy three structural properties. Afterwards, we explain how the results in this paper can be partially extended to lattices from seven known infinite sequences of semidistributive lattice varieties.
A pair degree condition for Hamiltonian cycles in $3$-uniform hypergraphs
We prove a new sufficient pair degree condition for tight Hamiltonian cycles in $3$-uniform hypergraphs that (asymptotically) improves the best known pair degree condition due to Rödl, Ruciński, and Szemerédi. For graphs, Chvátal characterised all those sequences of integers for which every pointwise larger (or equal) degree sequence guarantees the existence of a Hamiltonian cycle. A step towards Chvátal's theorem was taken by Pósa, who improved on Dirac's tight minimum degree condition for Hamiltonian cycles by showing that a certain weaker condition on the degree sequence of a graph already yields a Hamiltonian cycle. In this work, we take a similar step towards a full characterisation of all pair degree matrices that ensure the existence of tight Hamiltonian cycles in $3$-uniform hypergraphs by proving a $3$-uniform analogue of Pósa's result. In particular, our result strengthens the asymptotic version of the result by Rödl, Ruciński, and Szemerédi.
Enumerating extensions of mutually orthogonal Latin squares
Published
• View Publication
• BIB
Two $n \times n$ Latin squares $L_1, L_2$ are said to be orthogonal if, for every ordered pair $(x,y)$ of symbols, there are coordinates $(i,j)$ such that $L_1(i,j) = x$ and $L_2(i,j) = y$. A $k$-MOLS is a sequence of $k$ pairwise-orthogonal Latin squares, and the existence and enumeration of these objects has attracted a great deal of attention.
Recent work of Keevash and Luria provides, for all fixed $k$, log-asymptotically tight bounds on the number of $k$-MOLS. To study the situation when $k$ grows with $n$, we bound the number of ways a $k$-MOLS can be extended to a $(k+1)$-MOLS. These bounds are again tight for constant $k$, and allow us to deduce upper bounds on the total number of $k$-MOLS for all $k$. These bounds are close to tight even for $k$ linear in $n$, and readily generalize to the broader class of gerechte designs, which include Sudoku squares.
Eulerian circuits and path decompositions in quartic planar graphs
A subcycle of an Eulerian circuit is a sequence of edges that are consecutive in the circuit and form a cycle. We characterise the quartic planar graphs that admit Eulerian circuits avoiding 3-cycles and 4-cycles. From this, it follows that a quartic planar graph of order $n$ can be decomposed into $k_1+k_2+k_3+k_4$ many paths with $k_i$ copies of $P_{i+1}$, the path with $i$ edges, if and only if $k_1+2k_2+3k_3+4k_4 = 2n$. In particular, every connected quartic planar graph of even order admits a $P_5$-decomposition.
On a Tauberian Theorem of Ingham and Euler-Maclaurin Summation
Published
• View Publication
• BIB
We discuss two theorems in analytic number theory and combinatory analysis that have seen increased use in recent years. A corollary to a Tauberian theorem of Ingham allows one to quickly prove asymptotic formulas for arithmetic sequences, so long as the corresponding generating function exhibits exponential growth of a certain form near its radius of convergence. Two common methods for proving the required analytic behavior are modular transformations and Euler-Maclaurin summation.
However, these results are sometimes stated without certain technical conditions that are necessary for the complex analytic techniques that appear in Ingham's proof. We carefully examine the precise statements and proofs of these results, and find that in practice, the technical conditions are satisfied for those cases appearing in recent applications. We also generalize the classical approach of Euler-Maclaurin summation in order to prove asymptotic expansions for series with complex values, simple poles, or multi-dimensional summation indices.
The feasible region for consecutive patterns of permutations is a cycle polytope
Published in Algebr. Comb. 3 (2020), no. 6, 1259-1281
• View Publication
• BIB
We study proportions of consecutive occurrences of permutations of a given size. Specifically, the limit of such proportions on large permutations forms a region, called \emph{feasible region}. We show that this feasible region is a polytope, more precisely the cycle polytope of a specific graph called \emph{overlap graph}. This allows us to compute the dimension, vertices and faces of the polytope, and to determine the equations that define it. Finally we prove that the limit of classical occurrences and consecutive occurrences are in some sense independent. As a consequence, the scaling limit of a sequence of permutations induces no constraints on the local limit and vice versa.
Applications of derivative and difference operators on some sequences
Published
• View Publication
• BIB
In this study, depending on the upper and the lower indices of the hyperharmonic number $h_{n}^{(r)}$, nonlinear recurrence relations are obtained. It is shown that generalized harmonic number and hyperharmonic number can be obtained from derivatives of the binomial coefficients. Taking into account of difference and derivative operators, several identities of the harmonic and hyperharmonic numbers are given. Negative-ordered hyperharmonic number is defined and its alternative representations are given.