sequence
7073 papers tagged with this keyword
Random gap processes and asymptotically complete sequences
Published
• View Publication
• BIB
We study a process of generating random positive integer weight sequences $\{ W_n \}$ where the gaps between the weights $\{ X_n = W_n - W_{n-1} \}$ are i.i.d. positive integer-valued random variables. We show that as long as the gap distribution has finite $\frac{1}{2}$-moment, almost surely, the resulting weight sequence is asymptotically complete, i.e., all large enough multiples of the gcd of the possible gap values can be written as a sum of distinct weights. We then show a much stronger result that if the gap distribution has a moment generating function with large enough radius of convergence, then every large enough multiple of the gcd of gap values can be written as a sum of $m$ distinct weights for any fixed $m \geq 2$.
A characterization of 2-neighborhood degree list of diameter 2 graphs
Let $N_2DL(v)$ denote the set of degrees of vertices at distance 2 from $v$. The $2$-neighborhood degree list of a graph is a listing of $N_2DL(v)$ for every vertex $v$. A degree restricted $2$-switch on edges $v_1v_2$ and $w_1w_2$, where $deg(v_1)=deg(w_1)$ and $deg(v_2)=deg(w_2)$, is the replacement of a pair of edges $v_1v_2$ and $w_1w_2$ by the edges $v_1w_2$ and $v_2w_1$ given that $v_1w_2$ and $v_2w_1$ did not appear in the graph originally. Let $G$ and $H$ be two graphs of diameter 2 on the same vertex set. We prove that $G$ and $H$ have the same $2$-neighborhood degree list if and only if $G$ can be transformed into $H$ by a sequence of degree restricted $2$-switches.
Dynamics of balanced parentheses, lexicographic series and Dyck polynomials
The article deals with a lexicographic order in various sequences. Consider the axiomatic of lexicographic series, based on the properties of the natural numbers. Elements of the set are ordered first the code length; further in each sign range, sorting is performed according to the given order on the alphabet. The sequence of the Dyck words, Dyck series, is analyzed as an example of such lexicographical series. The basis of this series is the dynamics of the Dyck words. We solve the direct and inverse problem of identification of elements of the Dyck series. The polynomial equation on the Dyck triangle is investigated. We give a recursive equation for Dyck polynomials. A matrix of polynomial coefficients is constructed to solve some problems. In conclusion, the reader is offered a software service for identification of the Dyck words with index up to $10^{10}$.
A new decomposition of ascent sequences and Euler--Stirling statistics
Published
• View Publication
• BIB
As shown by Bousquet-Mélou--Claesson--Dukes--Kitaev (2010), ascent sequences can be used to encode $({\bf2+2})$-free posets. It is known that ascent sequences are enumerated by the Fishburn numbers, which appear as the coefficients of the formal power series $$\sum_{m=1}^{\infty}\prod_{i=1}^m (1-(1-t)^i).$$ In this paper, we present a novel way to recursively decompose ascent sequences, which leads to: (i) a calculation of the Euler--Stirling distribution on ascent sequences, including the numbers of ascents ($\asc$), repeated entries $(\rep)$, zeros ($\zero$) and maximal entries ($\max$). In particular, this confirms and extends Dukes and Parviainen's conjecture on the equidistribution of $\zero$ and $\max$. (ii) a far-reaching generalization of the generating function formula for $(\asc,\zero)$ due to Jelínek. This is accomplished via a bijective proof of the quadruple equidistribution of $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\rmin,\zero)$, where $\rmin$ denotes the right-to-left minima statistic of ascent sequences. (iii) an extension of a conjecture posed by Levande, which asserts that the pair $(\asc,\zero)$ on ascent sequences has the same distribution as the pair $(\rep,\max)$ on $({\bf2-1})$-avoiding inversion sequences. This is achieved via a decomposition of $({\bf2-1})$-avoiding inversion sequences parallel to that of ascent sequences.
This work is motivated by a double Eulerian equidistribution of Foata (1977) and a tempting bi-symmetry conjecture, which asserts that the quadruples $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\max,\zero)$ are equidistributed on ascent sequences.
On $d$-Fibonacci digraphs
The $d$-Fibonacci digraphs $F(d,k)$, introduced here, have the number of vertices following generalized Fibonacci-like sequences. They can be defined both as digraphs on alphabets and as iterated line digraphs. Here we study some of their nice properties. For instance, $F(2,k)$ has diameter $d+k-2$ and is semi-pancyclic, that is, it has a cycle of every length between 1 and $\ell$, with $\ell\in\{2k-2,2k-1\}$. Moreover, it turns out that several other numbers of $F(d,k)$ (of closed $l$-walks, classes of vertices, etc.) also follow the same linear recurrences as the numbers of vertices of the $d$-Fibonacci digraphs.
Slow Recurrences
Published
• View Publication
• BIB
For positive integers $α$ and $β$, we define an $(α,β)$-walk to be any sequence of positive integers satisfying $w_{k+2}=αw_{k+1}+βw_k$. We say that an $(α,β)$-walk is $n$-slow if $w_s=n$ with $s$ as large as possible. Slow $(1,1)$-walks have been investigated by several authors. In this paper we consider $(α,β)$-walks for arbitrary positive $α,β$. We derive a characterization theorem for these walks, and with this we prove several results concerning the total number of $n$-slow walks for a given $n$. In addition to this, we study the slowest $n$-slow walk for a given $n$ amongst all possible $α,β$.
Subspace Packings -- Constructions and Bounds
Published
• View Publication
• BIB
The Grassmannian $\mathcal{G}_q(n,k)$ is the set of all $k$-dimensional subspaces of the vector space $\mathbb{F}_q^n$. Kötter and Kschischang showed that codes in Grassmannian space can be used for error-correction in random network coding. On the other hand, these codes are $q$-analogs of codes in the Johnson scheme, i.e., constant dimension codes. These codes of the Grassmannian $\mathcal{G}_q(n,k)$ also form a family of $q$-analogs of block designs and they are called subspace designs. In this paper, we examine one of the last families of $q$-analogs of block designs which was not considered before. This family, called subspace packings, is the $q$-analog of packings, and was considered recently for network coding solution for a family of multicast networks called the generalized combination networks. A subspace packing $t$-$(n,k,λ)_q$ is a set $\mathcal{S}$ of $k$-subspaces from $\mathcal{G}_q(n,k)$ such that each $t$-subspace of $\mathcal{G}_q(n,t)$ is contained in at most $λ$ elements of $\mathcal{S}$. The goal of this work is to consider the largest size of such subspace packings. We derive a sequence of lower and upper bounds on the maximum size of such packings, analyse these bounds, and identify the important problems for further research in this area.
Which Cubic Graphs have Quadrangulated Spherical Immersions?
Published
• View Publication
• BIB
We consider spherical quadrangulations -- spherical embeddings of multigraphs, possibly with loops, so that every face has boundary walk of length 4 -- in which all vertices have degree 3 or 4. Interpreting each degree 4 vertex as a crossing, these embeddings can also be thought of as transversal immersions of cubic graphs which we refer to as the {\it extracted graphs}. We also consider quadrangulations of the disk in which interior vertices have degree 3 or 4 and boundary vertices have degree 2 or 3. First, we classify all such quadrangulations of the disk. Then, we provide four methods for constructing spherical quadrangulations, two of which use quadrangulations of the disk as input. Two of these methods provide one-parameter families of quadrangulations, for which we prove that the sequence of isomorphism types of extracted graphs is periodic. We close with a description of computer computations which yielded spherical quadrangulations for all but three cubic multigraphs on eight vertices.
Stationary distribution and cover time of sparse directed configuration models
Published in Probability Theory and Related Fields 178 (2020), 1011-1066
• View Publication
• BIB
We consider sparse digraphs generated by the configuration model with given in-degree and out-degree sequences. We establish that with high probability the cover time is linear up to a poly-logarithmic correction. For a large class of degree sequences we determine the exponent $γ\ge 1$ of the logarithm and show that the cover time grows as $n\log^γ(n)$, where $n$ is the number of vertices. The results are obtained by analysing the extremal values of the stationary distribution of the digraph. In particular, we show that the stationary distribution $π$ is uniform up to a poly-logarithmic factor, and that for a large class of degree sequences the minimal values of $π$ have the form $\frac1n\log ^{1-γ}(n)$, while the maximal values of $π$ behave as $\frac1n\log ^{1-κ}(n)$ for some other exponent $κ\in[0,1]$. In passing, we prove tight bounds on the diameter of the digraphs and show that the latter coincides with the typical distance between two vertices.
Exceptional Sequences and Idempotent Functions
Published
• View Publication
• BIB
We prove that there is a one to one correspondence between the following three sets: idempotent functions on a set of size $n$, complete exceptional sequences of linear radical square zero Nakayama algebras of rank $n$ and rooted labeled forests with $n$ nodes and height of at most one. Therefore, the number of exceptional sequences is given by the sum $\sum\limits^n_{j=1}\binom{n}{j}j^{n-j}$.
Novel diffusion-derived distance measures for graphs
We define a new family of similarity and distance measures on graphs, and explore their theoretical properties in comparison to conventional distance metrics. These measures are defined by the solution(s) to an optimization problem which attempts find a map minimizing the discrepancy between two graph Laplacian exponential matrices, under norm-preserving and sparsity constraints. Variants of the distance metric are introduced to consider such optimized maps under sparsity constraints as well as fixed time-scaling between the two Laplacians. The objective function of this optimization is multimodal and has discontinuous slope, and is hence difficult for univariate optimizers to solve. We demonstrate a novel procedure for efficiently calculating these optima for two of our distance measure variants. We present numerical experiments demonstrating that (a) upper bounds of our distance metrics can be used to distinguish between lineages of related graphs; (b) our procedure is faster at finding the required optima, by as much as a factor of 10^3; and (c) the upper bounds satisfy the triangle inequality exactly under some assumptions and approximately under others. We also derive an upper bound for the distance between two graph products, in terms of the distance between the two pairs of factors. Additionally, we present several possible applications, including the construction of infinite "graph limits" by means of Cauchy sequences of graphs related to one another by our distance measure.
Garland Recurrences
Partially ordered sets have received much attention in recent years, not just due to their usefulness in combinatorics and abstract algebra, but also due to their practical applications in fields ranging from chemistry to macroeconomics. The garland or double fence $G_N$ is a partially ordered set with $2N$ elements which generalizes the well-known fence or zigzag poset. The main result of this paper is recurrence relations for enumerating the linear extensions of $G_N$. These recurrences were then applied to prove divergence of the standard type $G_N$-generating series. When coded in Python, it provides a fast method for computing $e(G_n)$ for arbitrary $n$. The first 200 terms of this sequence are published online under OEIS A227656.
Generalized List Decoding
Published
• View Publication
• BIB
This paper concerns itself with the question of list decoding for general adversarial channels, e.g., bit-flip ($\textsf{XOR}$) channels, erasure channels, $\textsf{AND}$ ($Z$-) channels, $\textsf{OR}$ channels, real adder channels, noisy typewriter channels, etc. We precisely characterize when exponential-sized (or positive rate) $(L-1)$-list decodable codes (where the list size $L$ is a universal constant) exist for such channels. Our criterion asserts that:
"For any given general adversarial channel, it is possible to construct positive rate $(L-1)$-list decodable codes if and only if the set of completely positive tensors of order-$L$ with admissible marginals is not entirely contained in the order-$L$ confusability set associated to the channel."
The sufficiency is shown via random code construction (combined with expurgation or time-sharing). The necessity is shown by
1. extracting equicoupled subcodes (generalization of equidistant code) from any large code sequence using hypergraph Ramsey's theorem, and
2. significantly extending the classic Plotkin bound in coding theory to list decoding for general channels using duality between the completely positive tensor cone and the copositive tensor cone. In the proof, we also obtain a new fact regarding asymmetry of joint distributions, which be may of independent interest.
Other results include
1. List decoding capacity with asymptotically large $L$ for general adversarial channels;
2. A tight list size bound for most constant composition codes (generalization of constant weight codes);
3. Rederivation and demystification of Blinovsky's [Bli86] characterization of the list decoding Plotkin points (threshold at which large codes are impossible);
4. Evaluation of general bounds ([WBBJ]) for unique decoding in the error correction code setting.
Divisibility of the central binomial coefficient $\binom{2n}{n}$
Published in Trans. Amer. Math. Soc. 374 (2021), 923-953
• View Publication
• BIB
We show that for every fixed $\ell\in\mathbb{N}$, the set of $n$ with $n^\ell|\binom{2n}{n}$ has a positive asymptotic density $c_\ell$, and we give an asymptotic formula for $c_\ell$ as $\ell\to \infty$. We also show that $\# \{n\le x, (n,\binom{2n}{n})=1 \} \sim cx/\log x$ for some constant $c$. One novelty is a method to capture the effect of large prime factors of integers in general sequences.
On the vanishing of discrete singular cubical homology for graphs
Published
• View Publication
• BIB
We prove that if G is a graph without 3-cycles and 4-cycles, then the discrete cubical homology of G is trivial in dimension d, for all d\ge 2. We also construct a sequence { G_d } of graphs such that this homology is non-trivial in dimension d for d\ge 1. Finally, we show that the discrete cubical homology induced by certain coverings of G equals the ordinary singular homology of a 2-dimensional cell complex built from G, although in general it differs from the discrete cubical homology of the graph as a whole.
Half-graphs, other non-stable degree sequences, and the switch Markov chain
Published in The Electronic Journal of Combinatorics, Volume 28, Issue 3 (2021) P3.7
• View Publication
• BIB
One of the simplest methods of generating a random graph with a given degree sequence is provided by the Monte Carlo Markov Chain method using switches. The switch Markov chain converges to the uniform distribution, but generally the rate of convergence is not known. After a number of results concerning various degree sequences, rapid mixing was established for so-called $P$-stable degree sequences (including that of directed graphs), which covers every previously known rapidly mixing region of degree sequences.
In this paper we give a non-trivial family of degree sequences that are not $P$-stable and the switch Markov chain is still rapidly mixing on them. This family has an intimate connection to Tyshkevich-decompositions and strong stability as well.
Frieze patterns with coefficients
Published in Forum of Mathematics, Sigma 8 (2020) e17
• View Publication
• BIB
Frieze patterns, as introduced by Coxeter in the 1970's, are closely related to cluster algebras without coefficients. A suitable generalization of frieze patterns, linked to cluster algebras with coefficients, has only briefly appeared in an unpublished manuscript by Propp. In this paper we study these frieze patterns with coefficients systematically and prove various fundamental results, generalizing classic results for frieze patterns. As a consequence we see how frieze patterns with coefficients can be obtained from classic frieze patterns by cutting out subpolygons from the triangulated polygons associated to classic Conway-Coxeter frieze patterns. We address the question of which frieze patterns with coefficients can be obtained in this way and solve this problem completely for triangles. Finally, we prove a finiteness result for frieze patterns with coefficients by showing that for a given boundary sequence there are only finitely many (non-zero) frieze patterns with coefficients with entries in a discrete subset of the complex numbers.
Lucas atoms
Published
• View Publication
• BIB
Given two variables $s$ and $t$, the associated sequence of Lucas polynomials is defined inductively by $\{0\}=0$, $\{1\}=1$, and $\{n\}=s\{n-1\}+t\{n-2\}$ for $n\ge2$. An integer (e.g., a Catalan number) defined by an expression of the form $\prod_i n_i/\prod_j k_j$ has a Lucas analogue obtained by replacing each factor with the corresponding Lucas polynomial. There has been interest in deciding when such expressions, which are a priori only rational functions, are actually polynomials in $s,t$. The approaches so far have been combinatorial. We introduce a powerful algebraic method for answering this question by factoring $\{n\}=\prod_{d|n} P_d(s,t)$, where we call the polynomials $P_d(s,t)$ Lucas atoms. This permits us to show that the Lucas analogues of the Fuss-Catalan and Fuss-Narayana numbers for all irreducible Coxeter groups are polynomials in $s,t$. Using gamma expansions, a technique which has recently become popular in combinatorics and geometry, one can show that the Lucas atoms have a close relationship with cyclotomic polynomials $Φ_d(q)$. Certain results about the $Φ_d(q)$ can then be lifted to Lucas atoms. In particular, one can prove analogues of theorems of Gauss and Lucas, deduce reduction formulas, and evaluate the $P_d(s,t)$ at various specific values of the variables.
$A$-sequences, $Z$-sequence, and $B$-sequences of Riordan Matrices
Published
• View Publication
• BIB
We defined two type $B$-sequences of Riordan arrays and present the $A$-sequence characterization and $Z$-sequence characterization of the Riordan matrices with two type $B$-sequences. The subgroups characterized by $A$-sequences and $Z$-sequences are studied. The application of the sequence characterization to the RNA type matrices is discussed. Finally, we investigate the $A$-, $Z$-, and $B$-sequences of the Pascal like Riordan matrices.
A note on the optimal rubbling in ladders and prisms
A pebbling move on a graph G consists of the removal of two pebbles from one vertex and the placement of one pebble on an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed, which is also called the strict rubbling move. In this new move, one pebble each is removed from u and v adjacent to a vertex w, and one pebble is added on w. The optimal rubbling number of a graph G is the smallest number m, such that one pebble can be moved to every given vertex from some pebble distribution of m pebbles by a sequence of rubbling moves. In this paper, we give short proofs to determine the rubbling number of cycles and the optimal rubbling number of paths, cycles, ladders, prisms and Mobius-ladders.