sequence
6845 papers tagged with this keyword
The Meta-C-finite Ansatz
Published
• View Publication
• BIB
The Fibonacci numbers satisfy the famous recurrence $F_n = F_{n - 1} + F_{n - 2}$. The theory of C-finite sequences ensures that the Fibonacci numbers whose indices are divisible by $m$, namely $F_{mn}$, satisfy a similar recurrence for every positive integer $m$, and these recurrences have an explicit, uniform representation. We will show that $a(mn)$ has a uniform recurrence over $m$ for any C-finite sequence $a(n)$ and use this to automatically derive some famous summation identities.
Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes
Monadically stable and monadically NIP classes of structures were initially studied in the context of model theory and defined in logical terms. They have recently attracted attention in the area of structural graph theory, as they generalize notions such as nowhere denseness, bounded cliquewidth, and bounded twinwidth.
Our main result is the - to the best of our knowledge first - purely combinatorial characterization of monadically stable classes of graphs, in terms of a property dubbed flip-flatness. A class $\mathcal{C}$ of graphs is flip-flat if for every fixed radius $r$, every sufficiently large set of vertices of a graph $G \in \mathcal{C}$ contains a large subset of vertices with mutual distance larger than $r$, where the distance is measured in some graph $G'$ that can be obtained from $G$ by performing a bounded number of flips that swap edges and non-edges within a subset of vertices. Flip-flatness generalizes the notion of uniform quasi-wideness, which characterizes nowhere dense classes and had a key impact on the combinatorial and algorithmic treatment of nowhere dense classes. To obtain this result, we develop tools that also apply to the more general monadically NIP classes, based on the notion of indiscernible sequences from model theory. We show that in monadically stable and monadically NIP classes indiscernible sequences impose a strong combinatorial structure on their definable neighborhoods. All our proofs are constructive and yield efficient algorithms.
Pattern avoiding alternating involutions
Published in Enumerative Combinatorics and Applications, 3:1 (2023) Article #S2R4
• View Publication
• BIB
We enumerate and characterize some classes of alternating and reverse alternating involutions avoiding a single pattern of length three or four. If on one hand the case of patterns of length three is trivial, on the other hand, the length four case is more challenging and involves sequences of combinatorial interest, such as Motzkin and Fibonacci numbers.
$\ell$-Log-momotonic and Laguerre Inequality of P-recursive Sequences
We consider $\ell$-log-momotonic sequences and Laguerre inequality of order two for sequences $\{a_n\}_{n \ge 0}$ such that \[ \frac{a_{n-1}a_{n+1}}{a_n^2} = 1 + \sum_{i=1}^m \frac{r_i(\log n)}{n^{α_i}} + o\left( \frac{1}{n^β} \right), \] where $m$ is a nonnegative integer, $α_i$ are real numbers, $r_i(x)$ are rational functions of $x$ and \[ 0 < α_1 < α_2 < \cdots < α_m < β. \] We will give a sufficient condition on $\ell$-log-momotonic sequences and Laguerre inequality of order two for $n$ sufficiently large.
Many P-recursive sequences fall in this frame. At last, we will give a method to find the $N$ such that for any $n\geq N$, log-momotonic inequality of order three and Laguerre inequality of order two holds.
On Signed Multiplicities of Schur Expansions Surrounding Petrie Symmetric Functions
Published
• View Publication
• BIB
For $k\ge 1$, the homogeneous symmetric functions $G(k,m)$ of degree $m$ defined by $\sum_{m\ge 0} G(k,m) z^m=\prod_{i\ge 1} \big(1+x_iz+x^2_iz^2+\cdots+x^{k-1}_iz^{k-1}\big)$ are called \emph{Petrie symmetric functions}. As derived by Grinberg and Fu--Mei independently, the expansion of $G(k,m)$ in the basis of Schur functions $s_λ$ turns out to be signed multiplicity free, i.e., the coefficients are $-1$, $0$ and $1$. In this paper we give a combinatorial interpretation of the coefficient of $s_λ$ in terms of the $k$-core of $λ$ and a sequence of rim hooks of size $k$ removed from $λ$. We further study the product of $G(k,m)$ with a power sum symmetric function $p_n$. For all $n\ge 1$, we give necessary and sufficient conditions on the parameters $k$ and $m$ in order for the expansion of $G(k,m)\cdot p_n$ in the basis of Schur functions to be signed multiplicity free. This settles affirmatively a conjecture of Alexandersson as the special case $n=2$.
Run and Frequency quotas for q-binary trials
We study the distributions of waiting times in variations of the $q$-sooner and later waiting time problem. One variation imposes length and frequency quotas on the runs of successes and failures. Another case considers binary trials for which the probability of ones is geometrically varying. We also study the distributions of Longest run under the same variations. The main theorems are sooner and later waiting time problem and the joint distribution of the length of the longest success and longest failure runs when a run and frequency quotas imposed on runs of successes and failure. In the present work, we consider a sequence of independent binary $(0-1)$ trials with not necessarily identical distributed with probability of ones varying according to a geometric rule. Exact formulae for the distributions obtained by means of enumerative combinatorics.
The Frobenius number for sequences of triangular numbers associated with number of solutions
Published
• View Publication
• BIB
The famous linear diophantine problem of Frobenius is the problem to determine the largest integer (Frobenius number) whose number of representations in terms of $a_1,\dots,a_k$ is at most zero, that is not representable. In other words, all the integers greater than this number can be represented for at least one way. One of the natural generalizations of this problem is to find the largest integer (generalized Frobenius number) whose number of representations is at most a given nonnegative integer $p$. It is easy to find the explicit form of this number in the case of two variables. However, no explicit form has been known even in any special case of three variables. In this paper we are successful to show explicit forms of the generalized Frobenius numbers of the triples of triangular numbers. When $p=0$, their Frobenius number is given by Robles-Pérez and Rosales in 2018.
Coloring hypergraphs with excluded minors
Published
• View Publication
• BIB
Hadwiger's conjecture, among the most famous open problems in graph theory, states that every graph that does not contain $K_t$ as a minor is properly $(t-1)$-colorable. The purpose of this work is to demonstrate that a natural extension of Hadwiger's problem to hypergraph coloring exists, and to derive some first partial results and applications. Generalizing ordinary graph minors to hypergraphs, we say that a hypergraph $H_1$ is a minor of a hypergraph $H_2$, if a hypergraph isomorphic to $H_1$ can be obtained from $H_2$ via a finite sequence of vertex- and hyperedge-deletions, and hyperedge contractions. We first show that a weak extension of Hadwiger's conjecture to hypergraphs holds true: For every $t \ge 1$, there exists a finite (smallest) integer $h(t)$ such that every hypergraph with no $K_t$-minor is $h(t)$-colorable, and we prove $$\left\lceil\frac{3}{2}(t-1)\right\rceil \le h(t) \le 2g(t)$$ where $g(t)$ denotes the maximum chromatic number of graphs with no $K_t$-minor. Using the recent result by Delcourt and Postle that $g(t)=O(t \log \log t)$, this yields $h(t)=O(t \log \log t)$. We further conjecture that $h(t)=\left\lceil\frac{3}{2}(t-1)\right\rceil$, i.e., that every hypergraph with no $K_t$-minor is $\left\lceil\frac{3}{2}(t-1)\right\rceil$-colorable for all $t \ge 1$, and prove this conjecture for all hypergraphs with independence number at most $2$. By considering special classes of hypergraphs, the above additionally has some interesting applications for ordinary graph coloring, such as:
-graphs of chromatic number $C k t \log \log t$ contain $K_t$-minors with $k$-edge-connected branch-sets,
-graphs of chromatic number $C q t \log \log t$ contain $K_t$-minors with modulo-$q$-connected branch sets,
-by considering cycle hypergraphs of digraphs we recover known results on strong minors in digraphs of large dichromatic number as special cases.
The Vertical Recursive Relation of Riordan Arrays and Their Matrix Representation
A vertical recursive relation approach to Riordan arrays is induced, while the horizontal recursive relation is represented by $A$- and $Z$-sequences. This vertical recursive approach gives a way to represent the entries of a Riordan array $(g,f)$ in terms of a recursive linear combinations of the coefficients of $g$. A matrix representation of the vertical recursive relation is also given. The set of all those matrices forms a group, called the quasi-Riordan group. The extensions of the horizontal recursive relation and the vertical recursive relation in terms of $c$- and $C$- Riordan arrays are defined with illustrations by using the rook triangle and the Laguerre triangle. Those extensions represent a way to study nonlinear recursive relations of the entries of some triangular matrices from linear recursive relations of the entries of Riordan arrays. In addition, the matrix representation of the vertical recursive relation of Riordan arrays provides transforms between lower order and high order finite Riordan arrays, where the $m$th order Riordan array is defined by $(g,f)_m=(d_{n,k})_{m\geq n,k\geq 0}$. Furthermore, the vertical relation approach to Riordan arrays provides a unified approach to construct identities.
Stuttering look and say sequences and a challenger to Conway's most complicated algebraic number from the silliest source
We introduce stuttering look and say sequences and describe their chemical structure in the spirit of Conway's work on audioactive decay. We show the growth rate of a stuttering look and say sequence is an algebraic integer of degree 415.
Prescribed graphon symmetries and flavors of rigidity
We prove that an arbitrary compact metrizable group can be realized as the automorphism group of a graphing; this is a continuous analogue to Frucht's theorem recovering arbitrary finite groups are automorphism groups of finite graphs.
The paper also contains a number of results the persistence of transitivity of a compact-group action upon passing to a limit of graphons. Call a compact group $\mathbb{G}$ graphon-rigid if, whenever it acts transitively on each member $Γ_n$ of a convergent sequence of graphons, it also acts transitively on the limit $\lim_n Γ$. We show that for a compact Lie group $\mathbb{G}$ graphon rigidity is equivalent to the identity component $\mathbb{G}_0$ being semisimple; as a partial converse to a result of Lovász and Szegedy, this is also equivalent to weak randomness: the property that the group have only finitely many irreducible representations in each dimension. Similarly, call a compact group $\mathbb{G}$ image-rigid if for every compact Lie group $\mathbb{H}$ the images of morphisms $\mathbb{G}\to \mathbb{H}$ form a closed set (of closed subgroups, in the natural topology). We prove that graphon rigidity implies image rigidity for compact groups that are either connected or profinite, and the two conditions are equivalent (and also equivalent to being torsion) for profinite abelian groups.
Zigzags in combinatorial tetrahedral chains and the associated Markov chain
Published
• View Publication
• BIB
Zigzags in graphs embedded in surfaces are cyclic sequences of edges whose any two consecutive edges are different, have a common vertex and belong to the same face. We investigate zigzags in randomly constructed combinatorial tetrahedral chains. Every such chain contains at most $3$ zigzags up to reversing. The main result is the limit of the probability that a randomly constructed tetrahedral chain contains precisely $k\in\{1,2,3\}$ zigzags up to reversing as its length approaches infinity. Our key tool is the Markov chain whose states are types of $z$-monodromies.
A Catalog of Enumeration Formulas for Bouquet and Dipole Embeddings Under Symmetries
Published
• View Publication
• BIB
Motivated by a problem arising out of DNA origami, we give a general counting framework and enumeration formulas for various cellular embeddings of bouquets and dipoles under different kinds of symmetries. Our algebraic framework can be used constructively to generate desired symmetry classes, and we use Burnside's Lemma with various symmetry groups to derive the enumeration formulas. Our results assimilate several existing formulas into this unified framework. Furthermore, we provide new formulas for bouquets with colored edges (and thus for bouquets in nonorientable surfaces) as well as for directed embeddings of directed bouquets. We also enumerate vertex-labeled dipole embeddings. Since dipole embeddings may be represented by permutations, the formulas also apply to certain equivalence classes of permutations and permutation matrices. The resulting bouquet and dipole symmetry formulas enumerate structures relevant to a wide variety of areas in addition to DNA origami, including RNA secondary structures, Feynman diagrams, and topological graph theory. For uncolored objects we catalog 58 distinct sequences, of which 43 have not, as far as we know, been described previously.
Extending a conjecture of Graham and Lovász on the distance characteristic polynomial
Published
• View Publication
• BIB
Graham and Lovász conjectured in 1978 that the sequence of normalized coefficients of the distance characteristic polynomial of a tree of order $n$ is unimodal with the maximum value occurring at $\lfloor\frac{n}{2}\rfloor$. In this paper we investigate this problem for block graphs. In particular, we prove the unimodality part and we establish the peak for several extremal cases of uniform block graphs with small diameter.
Characters of local and regular permutation statistics
The goal of this monograph is to study the indicator function for a set of permutations mapping one finite sequence of positive integers to another from a representation theoretic, combinatorial and probabilistic perspective. The degree of a function of permutations is the size of the largest pair of sequences required when expressing it as a linear combination of these indicators. This notion of degree, implicit in work of Diaconis, is critical for many applications of representation theory to extremal combinatorics, machine learning, probability and statistics. We use the term local to indicate bounded degree and initiate the study of low degree class functions, which encode probabilistic data for permutation statistics on each cycle type simultaneously.
We begin with a self contained treatment of for functions of permutations, developing its theory using language familiar to enumerative and algebraic combinatorialists. This leads naturally to a novel basis for symmetric functions we call the path power sum symmetric functions. The most technically challenging part of our work is the path Murnaghan-Nakayama formula, which expands path power sums into Schur functions. By combining the the path Murnaghan-Nakayam formula with the classical theory of character polynomials, one obtains a structural characterization for moments for permutation statistics conditioning on cycle type. We then analyze asymptotic properties of these moments. In doing so, we introduce the novel family of regular permutation statistics, which include almost all reasonable weighted pattern counting statistics. We show a large family of regular statistics satisfy a law of large numbers on a given cycle type depending only on the proportion of fixed points and a have variances depending only on fixed points and two cycles.
The $p$-Frobenius and $p$-Sylvester numbers for Fibonacci and Lucas triplets
Published
• View Publication
• BIB
In this paper we study a certain kind of generalized linear Diophantine problem of Frobenius. Let $a_1,a_2,\dots,a_l$ be positive integers such that their greatest common divisor is one. For a nonnegative integer $p$, denote the $p$-Frobenius number by $g_p(a_1,a_2,\dots,a_l)$, which is the largest integer that can be represented at most $p$ ways by a linear combination with nonnegative integer coefficients of $a_1,a_2,\dots,a_l$. When $p=0$, $0$-Frobenius number is the classical Frobenius number. When $l=2$, $p$-Frobenius number is explicitly given. However, when $l=3$ and even larger, even in special cases, it is not easy to give the Frobenius number explicitly, and it is even more difficult when $p>0$, and no specific example has been known. However, very recently, we have succeeded in giving explicit formulas for the case where the sequence is of triangular numbers or of repunits for the case where $l=3$. In this paper, we show the explicit formula for the Fibonacci triple when $p>0$. In addition, we give an explicit formula for the $p$-Sylvester number, that is, the total number of nonnegative integers that can be represented in at most $p$ ways. Furthermore, explicit formulas are shown concerning the Lucas triple.
On the Domination Order among Elimination Sequences
In 1991, it was shown by Favaron, Mahéo, and Saclé that the residue, which is defined as the number of zeros remaining when the Havel-Hakimi algorithm is applied to a degree sequence, yields a lower bound on the independence number of any graph realising the sequence. In 1996, Triesch simplified and generalised the result by introducing elimination sequences. It was proved in 1973 by Kleitman and Wang that for any graphic sequence all elimination algorithms, i.e. laying-off vertices in any order, preserve that the sequence is graphic and terminate in a sequence of zeros.
We now prove that for any degree sequence, the elimination sequence derived from the Havel-Havel algorithm dominates all other elimination sequences. Our result implies a conjecture posed by Michael Barrus in 2010: When iteratively laying off degrees from a graphic sequence until only a list of zeros remains, the number of zeros is at most the residue of this sequence.
Random Walks, Equidistribution and Graphical Designs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a $d$-regular graph on $n$ vertices and let $μ_0$ be a probability measure on $V$. The act of moving to a randomly chosen neighbor leads to a sequence of probability measures supported on $V$ given by $μ_{k+1} = A D^{-1} μ_k$, where $A$ is the adjacency matrix and $D$ is the diagonal matrix of vertex degrees of $G$. Ordering the eigenvalues of $ A D^{-1}$ as $1 = λ_1 \geq |λ_2| \geq \dots \geq |λ_n| \geq 0$, it is well-known that the graphs for which $|λ_2|$ is small are those in which the random walk process converges quickly to the uniform distribution: for all initial probability measures $μ_0$ and all $k \geq 0$, $$ \sum_{v \in V} \left| μ_k(v) - \frac{1}{n} \right|^2 \leq λ_2^{2k}.$$ One could wonder whether this rate can be improved for specific initial probability measures $μ_0$. We show that if $G$ is regular, then for any $1 \leq \ell \leq n$, there exists a probability measure $μ_0$ supported on at most $\ell$ vertices so that $$ \sum_{v \in V} \left| μ_k(v) - \frac{1}{n} \right|^2 \leq λ_{\ell+1}^{2k}.$$ The result has applications in the graph sampling problem: we show that these measures have good sampling properties for reconstructing global averages.
Nonbinary Counterparts of the Prefer-Same and Prefer-Opposite de Bruijn Sequences
The well known prefer-one, prefer-opposite, and prefer-same binary de Bruijn sequences are all constructed using simple preference rules. We apply the technique of preference functions of span one to define q-ary sequences that generalize the prefer-opposite and prefer-same sequences and we present some of their basic properties that are shared with their binary versions. In particular, we show that the prefer-higher sequence (the nonbinary counter-part of the prefer-one sequence) is obtained from a homomorphic image of the proposed prefer-opposite, when repetitions are cleaned up. This mirrors a known relationship between the binary versions. We also perform calculations that demonstrate that the discrepancy profile of the proposed sequences is similar to that of the binary case.
Subgraph densities in Markov spaces
Published
• View Publication
• BIB
We generalize subgraph densities, arising in dense graph limit theory, to Markov spaces (symmetric measures on the square of a standard Borel space). More generally, we define an analogue of the set of homomorphisms in the form of a measure on maps of a finite graph into a Markov space. The existence of such homomorphism measures is not always guaranteed, but can be established under rather natural smoothness conditions on the Markov space and sparseness conditions on the graph. This continues a direction in graph limit theory in which such measures are viewed as limits of graph sequences.