sequence
7073 papers tagged with this keyword
Structures in Additive Sequences
Published
• View Publication
• BIB
Consider the sequence $\mathcal{V}(2,n)$ constructed in a greedy fashion by setting $a_1 = 2$, $a_2 = n$ and defining $a_{m+1}$ as the smallest integer larger than $a_m$ that can be written as the sum of two (not necessarily distinct) earlier terms in exactly one way; the sequence $\mathcal{V}(2,3)$, for example, is given by $$ \mathcal{V}(2,3) = 2,3,4,5,9,10,11,16,22,\dots$$ We prove that if $n \geqslant 5$ is odd, then the sequence $\mathcal{V}(2,n)$ has exactly two even terms $\left\{2,2n\right\}$ if and only if $n-1$ is not a power of 2. We also show that in this case, $\mathcal{V}(2,n)$ eventually becomes a union of arithmetic progressions. If $n-1$ is a power of 2, then there is at least one more even term $2n^2 + 2$ and we conjecture there are no more even terms. In the proof, we display an interesting connection between $\mathcal{V}(2,n)$ and Sierpinski Triangle. We prove several other results, discuss a series of striking phenomena and pose many problems. This relates to existing results of Finch, Schmerl & Spiegel and a classical family of sequences defined by Ulam.
Nyldon words
Published
• View Publication
• BIB
The Chen-Fox-Lyndon theorem states that every finite word over a fixed alphabet can be uniquely factorized as a lexicographically nonincreasing sequence of Lyndon words. This theorem can be used to define the family of Lyndon words in a recursive way. If the lexicographic order is reversed in this definition, we obtain a new family of words, which are called the Nyldon words. In this paper, we show that every finite word can be uniquely factorized into a lexicographically nondecreasing sequence of Nyldon words. Otherwise stated, Nyldon words form a complete factorization of the free monoid with respect to the decreasing lexicographic order. Then we investigate this new family of words. In particular, we show that Nyldon words form a right Lazard set.
On the Structure of Unique Shortest Paths in Graphs
Published
• View Publication
• BIB
This paper develops a structural theory of unique shortest paths in real-weighted graphs. Our main goal is to characterize exactly which sets of node sequences, which we call path systems, can be realized as unique shortest paths in a graph with arbitrary real edge weights. We say that such a path system is strongly metrizable.
An easy fact implicit in the literature is that a strongly metrizable path system must be consistent, meaning that no two of its paths may intersect, split apart, and then intersect again. Our main result characterizes strong metrizability via some new forbidden intersection patterns along these lines. In other words, we describe a family of forbidden patterns beyond consistency, and we prove that a path system is strongly metrizable if and only if it is consistent and it avoids all of the patterns in this family. We offer separate (but closely related) characterizations in this way for the settings of directed, undirected, and directed acyclic graphs.
Our characterizations are based on a new connection between shortest paths and topology; in particular, our new forbidden patterns are in natural correspondence with two-colored topological $2$-manifolds, which we visualize as polyhedra. We believe that this connection may be of independent interest, and we further show that it implies some additional structural corollaries that seem to suggest new and possibly deep-rooted connections between these areas.
Central limit theorems from the roots of probability generating functions
Published
• View Publication
• BIB
For each $n$, let $X_n \in \{0,\ldots,n\}$ be a random variable with mean $μ_n$, standard deviation $σ_n$, and let \[ P_n(z) = \sum_{k=0}^n \mathbb{P}( X_n = k) z^k ,\] be its probability generating function. We show that if none of the complex zeros of the polynomials $\{ P_n(z)\}$ are contained in a neighbourhood of $1 \in \mathbb{C}$ and $σ_n > n^{\varepsilon}$ for some $\varepsilon >0$, then $ X_n^* =(X_n - μ_n)σ^{-1}_n$ tends to a normal random variable $Z \sim \mathcal{N}(0,1)$ in distribution as $n \rightarrow \infty$. Moreover, we show this result is sharp in the sense that there exist sequences of random variables $\{X_n\}$ with $σ_n > C\log n $ for which $P_n(z)$ has no roots near $1$ and $X_n^*$ is not asymptotically normal. These results disprove a conjecture of Pemantle and improve upon various results in the literature. We go on to prove several other results connecting the location of the zeros of $P_n(z)$ and the distribution of the random variables $X_n$.
A note on number triangles that are almost their own production matrix
We characterize a family of number triangles whose production matrices are closely related to the original number triangle. We study a number of such triangles that are of combinatorial significance. For a specific subfamily, these triangles relate to sequences that have interesting convolution recurrences and continued fraction generating functions.
Balanced shellings and moves on balanced manifolds
Published
• View Publication
• BIB
A classical result by Pachner states that two $d$-dimensional combinatorial manifolds with boundary are PL homeomorphic if and only they can be connected by a sequence of shellings and inverse shellings. We prove that for balanced, i.e., properly $(d + 1)$-colored, manifolds such a sequence can be chosen such that balancedness is preserved in each step. As a key ingredient we establish that any two balanced PL homeomorphic combinatorial manifolds with the same boundary are connected by a sequence of basic cross-flips, as was shown recently by Izmestiev, Klee and Novik for balanced manifolds without boundary. Moreover, we enumerate combinatorially different basic cross-flips and show that roughly half of these suffice to relate any two PL homeomorphic manifolds.
On indefinite sums weighted by periodic sequences
Published in Results in Mathematics 74 (3) (2019) article 95
• View Publication
• BIB
For any integer $q\geq 2$ we provide a formula to express indefinite sums of a sequence $(f(n))_{n\geq 0}$ weighted by $q$-periodic sequences in terms of indefinite sums of sequences $(f(qn+p))_{n\geq 0}$, where $p\in\{0,\ldots,q-1\}$. When explicit expressions for the latter sums are available, this formula immediately provides explicit expressions for the former sums. We also illustrate this formula through some examples.
Solvability of Mazes by Blind Robots
In this paper we introduce and investigate a new type of automata which turns out to be rich in deep and complex phenomena. For our model, a maze is a countable strongly connected digraph called the board together with a proper colouring of its edges (the edges leaving a vertex have distinct colours) and two special vertices: the origin and the destination. A pointer or robot starts at the origin of a maze and moves naturally between its vertices, according to a finite or infinite sequence of specific instructions from the set of all colours called an algorithm; if the robot is at a vertex for which there is no out-edge of the colour indicated by the instruction, it remains at that vertex and proceeds to execute the next instruction in the sequence. The central object of study is the existence of algorithms that simultaneously solve, that is guide the robot to visit the destination in, certain large sets of mazes.
One of the most natural and interesting sets of mazes arises from the square lattice $\Z^2$ viewed as a graph with arbitrarily many edges removed (each edge corresponds to a pair of opposite directed edges), together with the suggestive colouring that assigns to each directed edge the corresponding cardinal direction. In this set-up, a research question of Leader and Spink from 2011, which proved to be very profound, asks whether there exists an algorithm which solves this set of mazes.
In this paper we make progress towards this question. We consider the subset of all such mazes which have arbitrarily many horizontal edges removed but only finitely many vertical edges removed in consecutive columns, and construct an algorithm which solves this subset of mazes.
Brick-wall lattice paths and applications
We introduce a new type of lattice path, called brick-wall lattice path, and we derive a formula which counts the number of paths on these lattices imposing certain restrictions on the Cartesian plane. Connections to the Fibonacci sequence, as well as to other sequences of numbers, are given. Finally, we use these brick-wall lattice paths to determine the first two non-zero coefficients of the reliability polynomials associated with particular two-terminal networks known as hammocks.
Partitions of hypergraphs under variable degeneracy constraints
Published
• View Publication
• BIB
The paper deals with partitions of hypergraphs into induced subhypergraphs satisfying constraints on their degeneracy. Our hypergraphs may have multiple edges, but no loops. Given a hypergraph $H$ and a sequence $f=(f_1,f_2, \ldots, f_p)$ of $p\geq 1$ vertex functions $f_i:V(H) \to \mathbb{N}_0$ such that $f_1(v)+f_2(v)+ \cdots + f_p(v)\geq d_H(v)$ for all $v\in V(H)$, we want to find a sequence $(H_1,H_2, \ldots, H_p)$ of vertex disjoint induced subhypergraphs containing all vertices of $H$ such that each hypergraph $H_i$ is strictly $f_i$-degenerate, that is, for every non-empty subhypergraph $H'\subseteq H_i$ there is a vertex $v\in V(H')$ such that $d_{H'}(v)<f_i(v)$. Our main result in this paper says that such a sequence of hypergraphs exists if and only if $(H,f)$ is not a so-called hard pair. Hard pairs form a recursively defined family of configurations, obtained from three basic types of configurations by the operation of merging a vertex. Our main result has several interesting applications related to generalized hypergraph coloring problems.
The Euler and Springer numbers as moment sequences
Published in Expositiones Mathematicae 38, 1-26 (2020)
• View Publication
• BIB
I study the sequences of Euler and Springer numbers from the point of view of the classical moment problem.
An Approximation to Proof of the Circulant Hadamard Conjecture
Turyn prove that if a circulant Hadamard matrix of order $n$ exists then $n$ must be of the form $n=4m^{2}$ for some odd integer $m$. In this paper we use the structure constant of Schur ring of $\Z_{2}^{4m^{2}}$ to prove that there is no circulant Hadamard matrix in $\Z_{2}^{4m^{2}}$ except possibly for sequences with Hamming weight $a+b$, with $\frac{m^{2}-m}{2}\leq a\leq\frac{3m^{2}-m}{2}$ and $b=2m^{2}-m-a$ and with $\frac{m^{2}+m}{2}\leq 2m^{2}-a\leq\frac{3m^{2}+m}{2}$ and $b=m+a$.
Non-existence of perfect binary sequences
Binary sequences with lower autocorrelation values have important applications in cryptography and communications. In this paper, we present all possible parameters for binary periodical sequences with a 2-level autocorrelation values. For $n \equiv 1\pmod 4$, we prove some cases of Schmidt's Conjecture for perfect binary sequences. (Des. Codes Cryptogr. 78 (2016), 237-267.) For $n \equiv 2\pmod 4$, Jungnickel and Pott (Discrete Appl. Math. 95 (1999) 331-359.) left four perfect binary sequences as open problem and we solve three of its. For $n \equiv 3\pmod 4$, we present some nonexistence of binary sequences which all nontrivial autocorrelation values are equal 3. For $n \equiv 0\pmod 4$, we show that there do not exist the binary sequences which all nontrivial autocorrelation values are equal 4.
Combinatorics of explicit substitutions
Published
• View Publication
• BIB
$λ\upsilon$ is an extension of the $λ$-calculus which internalises the calculus of substitutions. In the current paper, we investigate the combinatorial properties of $λ\upsilon$ focusing on the quantitative aspects of substitution resolution. We exhibit an unexpected correspondence between the counting sequence for $λ\upsilon$-terms and famous Catalan numbers. As a by-product, we establish effective sampling schemes for random $λ\upsilon$-terms. We show that typical $λ\upsilon$-terms represent, in a strong sense, non-strict computations in the classic $λ$-calculus. Moreover, typically almost all substitutions are in fact suspended, i.e. unevaluated, under closures. Consequently, we argue that $λ\upsilon$ is an intrinsically non-strict calculus of explicit substitutions. Finally, we investigate the distribution of various redexes governing the substitution resolution in $λ\upsilon$ and investigate the quantitative contribution of various substitution primitives.
Some Applications of $S$-restricted Set Partitions
In the paper, the authors present several new relations and applications for the combinatorial sequence that counts the possible partitions of a finite set with the restriction that the size of each block is contained in a given set. One of the main applications is in the study of lonesum matrices.
FI-sets with relations
Published
• View Publication
• BIB
Let FI denote the category whose objects are the sets $[n] = \{1,\ldots, n\}$, and whose morphisms are injections. We study functors from the category FI into the category of sets. We write $\mathfrak{S}_n$ for the symmetric group on $[n]$. Our first main result is that, if the functor $[n] \mapsto X_n$ is "finitely generated" there there is a finite sequence of integers $m_i$ and a finite sequence of subgroups $H_i$ of $\mathfrak{S}_{m_i}$ such that, for $n$ sufficiently large, $X_n \cong \bigsqcup_i \mathfrak{S}_n/(H_i \times \mathfrak{S}_{n-m_i})$ as a set with $\mathfrak{S}_n$ action. Our second main result is that, if $[n] \mapsto X_n$ and $[n] \mapsto Y_n$ are two such finitely generated functors and $R_n \subset X_n \times Y_n$ is an FI-invariant family of relations, then the $(0,1)$ matrices encoding the relation $R_n$, when written in an appropriate basis, vary polynomially with $n$. In particular, if $R_n$ is an FI-invariant family of relations from $X_n$ to itself, then the eigenvalues of this matrix are algebraic functions of $n$. As an application of this theorem we provide a proof of a result about eigenvalues of adjacency matrices claimed by the first and last author. This result recovers, for instance, that the adjacency matrices of the Kneser graphs have eigenvalues which are algebraic functions of $n$, while also expanding this result to a larger family of graphs.
Abelian networks IV. Dynamics of nonhalting networks
Published in Mem. Amer. Math. Soc. 276 (2022), no. 1358, vii+89 pp
• View Publication
• BIB
An abelian network is a collection of communicating automata whose state transitions and message passing each satisfy a local commutativity condition. This paper is a continuation of the abelian networks series of Bond and Levine (2016), for which we extend the theory of abelian networks that halt on all inputs to networks that can run forever. A nonhalting abelian network can be realized as a discrete dynamical system in many different ways, depending on the update order. We show that certain features of the dynamics, such as minimal period length, have intrinsic definitions that do not require specifying an update order.
We give an intrinsic definition of the \emph{torsion group} of a finite irreducible (halting or nonhalting) abelian network, and show that it coincides with the critical group of Bond and Levine (2016) if the network is halting. We show that the torsion group acts freely on the set of invertible recurrent components of the trajectory digraph, and identify when this action is transitive.
This perspective leads to new results even in the classical case of sinkless rotor networks (deterministic analogues of random walks). In Holroyd et. al (2008) it was shown that the recurrent configurations of a sinkless rotor network with just one chip are precisely the unicycles (spanning subgraphs with a unique oriented cycle, with the chip on the cycle). We generalize this result to abelian mobile agent networks with any number of chips. We give formulas for generating series such as \[ \sum_{n \geq 1} r_n z^n = \det (\frac{1}{1-z}D - A ) \] where $r_n$ is the number of recurrent chip-and-rotor configurations with $n$ chips; $D$ is the diagonal matrix of outdegrees, and $A$ is the adjacency matrix. A consequence is that the sequence $(r_n)_{n \geq 1}$ completely determines the spectrum of the simple random walk on the network.
Dimer model, bead model and standard Young tableaux: finite cases and limit shapes
The bead model is a random point field on $\mathbb{Z}\times\mathbb{R}$ which can be viewed as a scaling limit of dimer model. We prove that, in the scaling limit, the normalized height function of a uniformly chosen random bead configuration lies in an arbitrarily small neighborhood of a surface $h_0$ that maximizes some functional which we call as entropy. We also prove that the limit shape $h_0$ is a scaling limit of the limit shapes of a properly chosen sequence of dimer models. There is a map from bead configurations to standard tableaux of a (skew) Young diagram, and the map preserves uniform measures, and our results of the bead model yield the existence of the limit shape of a random standard Young tableau.
Optimal pebbling number of graphs with given minimum degree
Published
• View Publication
• BIB
Consider a distribution of pebbles on a connected graph $G$. A pebbling move removes two pebbles from a vertex and places one to an adjacent vertex. A vertex is reachable under a pebbling distribution if it has a pebble after the application of a sequence of pebbling moves. The optimal pebbling number $π^*(G)$ is the smallest number of pebbles which we can distribute in such a way that each vertex is reachable. It was known that the optimal pebbling number of any connected graph is at most $\frac{4n}{δ+1}$, where $δ$ is the minimum degree of the graph. We strengthen this bound by showing that equality cannot be attained and that the bound is sharp. If $\operatorname{diam}(G)\geq 3$ then we further improve the bound to $π^*(G)\leq\frac{3.75n}{δ+1}$. On the other hand, we show that for arbitrary large diameter and any $ε>0$ there are infinitely many graphs whose optimal pebbling number is bigger than $\left(\frac{8}{3}-ε\right)\frac{n}{(δ+1)}$.
Normal numbers with digit dependencies
Published
• View Publication
• BIB
We give metric theorems for the property of Borel normality for real numbers under the assumption of digit dependencies in their expansion in a given integer base. We quantify precisely how much digit dependence can be allowed such that, still, almost all real numbers are normal. Our theorem states that almost all real numbers are normal when at least slightly more than $\log \log n$ consecutive digits with indices starting at position $n$ are independent. As the main application, we consider the Toeplitz set $T_P$, which is the set of all sequences $a_1a_2 \ldots $ of symbols from $\{0, \ldots, b-1\}$ such that $a_n$ is equal to $a_{pn}$, for every $p$ in $P$ and $n=1,2,\ldots$. Here $b$ is an integer base and $P$ is a finite set of prime numbers. We show that almost every real number whose base $b$ expansion is in $T_P$ is normal to base $b$. In the case when $P$ is the singleton set $\{2\}$ we prove that more is true: almost every real number whose base $b$ expansion is in $T_P$ is normal to all integer bases. We also consider the Toeplitz transform which maps the set of all sequences to the set $T_P$ and we characterize the normal sequences whose Toeplitz transform is normal as well.