sequence
6966 papers tagged with this keyword
Strong External Difference Families and Classification of $α$-valuations
Published
• View Publication
• BIB
One method of constructing $(a^2+1, 2,a, 1)$-SEDFs (i.e., strong external difference families) in $\mathbb{Z}_{a^2+1}$ makes use of $α$-valuations of complete bipartite graphs $K_{a,a}$. We explore this approach and we provide a classification theorem which shows that all such $α$-valuations can be constructed recursively via a sequence of ``blow-up'' operations. We also enumerate all $(a^2+1, 2,a, 1)$-SEDFs in $\mathbb{Z}_{a^2+1}$ for $a \leq 14$ and we show that all these SEDFs are equivalent to $α$-valuations via affine transformations. Whether this holds for all $a > 14$ as well is an interesting open problem. We also study SEDFs in dihedral groups, where we show that two known constructions are equivalent.
Sparse reconstruction in spin systems II: Ising and other factor of IID measures
Published
• View Publication
• BIB
For a sequence of Boolean functions $f_n : \{-1, 1\}^{V_n} \longrightarrow \{-1, 1\}$, with random input given by some probability measure $\mathbb{P}_n$, we say that there is sparse reconstruction for $f_n$ if there is a sequence of subsets $U_n \subseteq V_n$ of coordinates satisfying $|U_n| = o(|V_n|)$ such that knowing the spins in $U_n$ gives us a non-vanishing amount of information about the value of $f_n$.
In the first part of this work, we showed that if the $\mathbb{P}_n$s are product measures, then no sparse reconstruction is possible for any sequence of transitive functions. In this sequel, we consider spin systems that are relatives of IID measures in one way or another, with our main focus being on the Ising model on finite transitive graphs or exhaustions of lattices. We prove that no sparse reconstruction is possible for the entire high temperature regime on Euclidean boxes and the Curie-Weiss model, while sparse reconstruction for the majority function of the spins is possible in the critical and low temperature regimes. We give quantitative bounds for two-dimensional boxes and the Curie-Weiss model, sharp in the latter case.
The proofs employ several different methods, including factor of IID and FK random cluster representations, strong spatial mixing, a generalization of discrete Fourier analysis to Divide-and-Color models, and entropy inequalities.
The reflection complexity of sequences over finite alphabets
Published
• View Publication
• BIB
In combinatorics on words, the well-studied factor complexity function $ρ_{\infw{x}}$ of a sequence $\infw{x}$ over a finite
alphabet counts, for every nonnegative integer $n$, the number of distinct length-$n$ factors of $\infw{x}$. In this paper, we
introduce the \emph{reflection complexity} function $r_{\infw{x}}$ to enumerate the factors occurring in a sequence $\infw{x}$, up
to reversing the order of symbols in a word. We prove a number of results about the growth properties of $r_{\infw{x}}$
and its relationship with other complexity functions. We also prove a Morse--Hedlund-type result characterizing eventually periodic
sequences in terms of their reflection complexity, and we deduce a characterization of Sturmian sequences. We investigate
the reflection complexity of quasi-Sturmian, episturmian, $(s+1)$-dimensional billiard, complementation-symmetric Rote, and rich
sequences. Furthermore, we prove that if $\infw{x}$ is $k$-automatic, then $r_{\infw{x}}$ is computably $k$-regular, and we use the
software \texttt{Walnut} to evaluate the reflection complexity of some automatic sequences, such as the Thue--Morse sequence. We
note that there are still many unanswered questions about this reflection measure.
Fixed hooks in arbitrary columns
In a paper by the author, Hemmer, Hopkins, and Keith the concept of a fixed point in a sequence was applied to the sequence of first column hook lengths of a partition. In this paper we generalize this notion to fixed hook lengths in an arbitrary column of a partition. We establish combinatorial connections between these fixed hooks and colored partitions that have interesting gap and mex-like conditions. Additionally, we obtain several generating functions for hook lengths of a given fixedness by hook length or part size in unrestricted partitions as well as some classical restrictions such as odd and distinct partitions.
Total Positivity of Quasi-Riordan Arrays
In this paper the total positivity of quasi-Riordan arrays is investigated with use of the sequence characterization of quasi-Riordan arrays. Due to the correlation between quasi-Riordan arrays and Riordan arrays, this study is an in-depth discussion of the total positivity of Riordan arrays.
A bijection for the evolution of $B$-trees
A $B$-tree is a type of search tree where every node (except possibly for the root) contains between $m$ and $2m$ keys for some positive integer $m$, and all leaves have the same distance to the root. We study sequences of $B$-trees that can arise from successively inserting keys, and in particular present a bijection between such sequences (which we call histories) and a special type of increasing trees. We describe the set of permutations for the keys that belong to a given history, and also show how to use this bijection to analyse statistics associated with $B$-trees.
Repetition Threshold for Binary Automatic Sequences
The critical exponent of an infinite word $\bf x$ is the supremum, over all finite nonempty factors $f$, of the exponent of $f$. In this note we show that for all integers $k\geq 2,$ there is a binary infinite $k$-automatic sequence with critical exponent $\leq 7/3$. The same conclusion holds for Fibonacci-automatic and Tribonacci-automatic sequences.
Combinatorial identities with multiple harmonic-like numbers
Published
• View Publication
• BIB
Multiple harmonic-like numbers are studied using the generating function approach. A closed form is stated for binomial sums involving these numbers and two additional parameters. Several corollaries and examples are presented which are immediate consequences of the main result. Finally, combinatorial identities involving harmonic-like numbers and other prominent sequences like hyperharmonic numbers and odd harmonic numbers are offered.
Spectral convergence of random regular graphs: Chebyshev polynomials, non-backtracking walks, and unitary-color extensions
Published
• View Publication
• BIB
In this paper, we give a short proof of the weak convergence to the Kesten-McKay distribution for the normalized spectral measures of random $N$-lifts. This result is derived by generalizing a formula of Friedman involving Chebyshev polynomials and non-backtracking walks. We also extend a criterion of Sodin on the convergence of graph spectral measures to regular graphs of growing degree. As a result, we show that for a sequence of random $(q_n+1)$-regular graphs $G_n$ with $n$ vertices, if $q_n = n^{o(1)}$ and $q_n$ tends to infinity, the normalized spectral measure converges almost surely in $p$-Wasserstein distance to the semicircle distribution for any $p \in [1, \infty)$. This strengthens a result of Dumitriu and Pal. Many of the results are extended to unitary-colored regular graphs.
CWR sequence of invariants of alternating links and its properties
Published
• View Publication
• BIB
We present the $CWR$ invariant, a new invariant for alternating links, which builds upon and generalizes the $WRP$ invariant. The $CWR$ invariant is an array of two-variable polynomials that provides a stronger invariant compared to the $WRP$ invariant. We compare the strength of our invariant with the classical HOMFLYPT, Kauffman $3$-variable, and Kauffman $2$-variable polynomials on specific knot examples. Additionally, we derive general recursive "skein" relations, and also specific formulas for the initial components of the $CWR$ invariant using weighted adjacency matrices of modified Tait graphs.
Graphical sequences and plane trees
Published
• View Publication
• BIB
Balister, the second author, Groenland, Johnston and Scott recently showed that there are asymptotically $C4^n/n^{3/4}$ many unordered sequences that occur as degree sequences of graphs. Combining limit theory for infinitely divisible distributions with a new bijective connection between a class of random walk trajectories and a subset counting formula from additive number theory, we describe $C$ in terms of Walkup's number of rooted plane trees. The bijection is related to an instance of the Lévy-Khintchine formula. Our main result complements a result of Stanley, that ordered graphical sequences are related to quasi-forests.
Graphs Identifiable by Degree Sequence and Chromatic Number
Unigraphs are graphs identifiable up to isomorphism from their degree sequences. Given a class $\mathcal{A}$ of graphs, we define the class of $\mathcal{A}$-unigraphs to be graphs identifiable from degree sequence and membership in $\mathcal{A}$. While these classes are often not hereditary, we provide characterizations of the largest hereditary subclass contained in the bipartite-unigraphs, the $k$-partite unigraphs, the perfect-unigraphs, and the chordal-unigraphs. We also characterize the largest hereditary subclass contained in the bipartite-unigraphs in terms of structure, degree sequence, and a partial order on degree sequences due to Rao. Lastly, we show that all unigraphs $G$ satisfy the bound $χ(G) \le ω(G) + 1$ and are hence apex-perfect graphs.
Total Positivity of Almost-Riordan Arrays
Published
• View Publication
• BIB
In this paper we study the total positivity of almost-Riordan arrays $(d(t)|\, g(t), f(t))$ and establish its necessary conditions and sufficient conditions, particularly, for some well used formal power series $d(t)$. We present a semidirect product of an almost-array and use it to transfer a total positivity problem for an almost-Riordan array to the total positivity problem for a quasi-Riordan array. We find the sequence characterization of total positivity of the almost-Riordan arrays. The production matrix $J$ of an almost-Riordan array $(d|\, g,f)$ is presented so that $J$ is totally positive implies the total positivity of both the almost-Riordan array $(d|\, g,f)$ and the Riordan array $(g,f)$. We also present a counterexample to illustrate that this sufficient condition is not necessary. If the production matrix $J$ is tridiagonal, then the expressions of its principal minors are given. By using expressions, we find a sufficient and necessary condition of the total positivity of almost-Riordan arrays with tridiagonal production matrices. A numerous examples are given to demonstrate our results.
Refined Horton-Strahler numbers I: a discrete bijection
The Horton-Strahler number of a rooted tree $T$ is the height of the tallest complete binary tree that can be homeomorphically embedded in $T$. The number of full binary trees with $n$ internal vertices and Horton-Strahler number $s$ is known to be the same as the number of Dyck paths of length $2n$ whose height $h$ satisfies $\lfloor \log_2(1+h)\rfloor=s$.
In this paper, we present a new bijective proof of the above result, that in fact strengthens and refines it as follows. We introduce a sequence of trees $(τ_i,i \ge 0)$ which "interpolates" the complete binary trees, in the sense that $τ_{2^h-1}$ is the complete binary tree of height $h$ for all $h \ge 0$, and $τ_{i+1}$ strictly contains $τ_i$ for all $i \ge 0$. Defining $\mathcal{S}(T)$ to be the largest $i$ for which $τ_i$ can be homeomorphically embedded in $T$, we then show that the number of full binary trees $T$ with $n$ internal vertices and with $\mathcal{S}(T)=h$ is the same as the number of Dyck paths of length $2n$ with height $h$. (We call $\mathcal{S}(T)$ the refined Horton-Strahler number of $T$.)
Our proof is bijective and relies on a recursive decomposition of binary trees (resp. Dyck paths) into subtrees with strictly smaller refined Horton-Strahler number (resp. subpaths with strictly smaller height). In a subsequent paper, we will show that the bijection has a continuum analogue, which transforms a Brownian continuum random tree into a Brownian excursion and under which (a continuous analogue of) the refined Horton-Strahler number of the tree becomes the height of the excursion.
A note on sequences variant of irregularity strength for hypercubes
Let $f: E \mapsto \{1,2,\dots,k\}$ be an edge coloring of the $n$ - dimensional hypercube $H_n$. By the palette at a vertex $v$ we mean the sequence $\left(f(e_1(v)), f(e_1(v)),\dots, f(e_n(v))\right)$, where $e_i(v)$ is the $i$ - dimensional edge incident to $v$. In the paper, we show that two colors are enough to distinguish all vertices of the $n$ - dimensional hypercube $H_n$ ($n \geq 2$) by their palettes. We also show that if $f$ is a proper edge coloring of the hypercube $H_n$ ($n\geq 5$), then $n$ colors suffice to distinguish all vertices by their palettes.
Restricted SDC Edge Cover Pebbling Number
The restricted edge pebbling distribution is a distribution of pebbles on the edges of $G$ is the placement of pebbles on the edges with the restriction that only an even number of pebbles should be placed on the edges with labels $0$. Given an SDC labeling of $G$, the restricted SDC edge cover pebbling number of a graph $G$, $ψ_{EC}(G)$, is the least positive integer $m$ for which any restricted edge pebbling distribution of $m$ pebbles such that at the end there are no pebbles on the edges having label $0$ will allow the shifting of a pebble simultaneously to all edges with label $1$ using a sequence of restricted edge pebbling moves. We compute the restricted SDC edge cover pebbling number for some graphs
Series of combinatorial games
We present a definition for the sum of a sequence of combinatorial games. This sum coincides with the classical sum in the case of a converging sequence of real numbers and with the infinitary natural sum in the case of a sequence of ordinal numbers. We briefly discuss other possibilities, such as the string limit, some "magical" variants of Hackenbush, as well as "Dadaist" infinite sums, which allow transfinite runs, while still being loopfree.
The Behavior of a Three-Term Hofstadter-Like Recurrence with Linear Initial Conditions
In this paper, we study the three-term nested recurrence relation $B(n)=B(n-B(n-1))+B(n-B(n-2))+B(n-B(n-3))$ subject to initial conditions where the first $N$ terms are the integers $1$ through $N$. This recurrence is the three-term analog of Hofstadter's famous $Q$-recurrence $Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))$. Nested recurrences are highly sensitive to their initial conditions. Some initial conditions lead to finite sequences, others lead to predictable sequences, and yet others lead to sequences that appear to be chaotic and infinite. A corresponding study to this one was previously carried out on the $Q$-recurrence. As with that work, we consider two families of sequences, one where terms with nonpositive indices are undefined and a second where terms with nonpositive indices are defined to be zero. We find similar results here as with the $Q$-recurrence, as we can completely characterize the sequences for sufficiently large $N$. The results here are, in a sense, simpler, as our sequences are all finite for sufficiently large $N$.
The bunkbed conjecture is not robust to generalisation
Published
• View Publication
• BIB
The bunkbed conjecture, which has featured in the folklore of probability theory since at least 1985, concerns bond percolation on the product graph $G\Box K_2$. We have two copies $G_0$ and $G_1$ of $G$, and if $x^{(0)}$ and $x^{(1)}$ are the copies of a vertex $x\in V(G)$ in $G_0$ and $G_1$ respectively, then edge $x^{(0)}x^{(1)}$ is present. The conjecture states that, for vertices $u,v\in V(G)$, percolation from $u^{(0)}$ to $v^{(0)}$ is at least as likely as percolation from $u^{(0)}$ to $v^{(1)}$. While the conjecture is widely expected to be true, having attracted significant attention, a general proof has not been forthcoming.
In this paper we consider three natural generalisations of the bunkbed conjecture; to site percolation, to hypergraphs, and to directed graphs. Our main aim is to show that all these generalisations are false, and to this end we construct a sequence of counterexamples to these statements. However, we also consider under what extra conditions these generalisations might hold, and give some classes of graph for which the bunkbed conjecture for site percolation does hold.
Bounding the softwired parsimony score of a phylogenetic network
In comparison to phylogenetic trees, phylogenetic networks are more suitable to represent complex evolutionary histories of species whose past includes reticulation such as hybridisation or lateral gene transfer. However, the reconstruction of phylogenetic networks remains challenging and computationally expensive due to their intricate structural properties. For example, the small parsimony problem that is solvable in polynomial time for phylogenetic trees, becomes NP-hard on phylogenetic networks under softwired and parental parsimony, even for a single binary character and structurally constrained networks. To calculate the parsimony score of a phylogenetic network $N$, these two parsimony notions consider different exponential-size sets of phylogenetic trees that can be extracted from $N$ and infer the minimum parsimony score over all trees in the set. In this paper, we ask: What is the maximum difference between the parsimony score of any phylogenetic tree that is contained in the set of considered trees and a phylogenetic tree whose parsimony score equates to the parsimony score of $N$? Given a gap-free sequence alignment of multi-state characters and a rooted binary level-$k$ phylogenetic network, we use the novel concept of an informative blob to show that this difference is bounded by $k+1$ times the softwired parsimony score of $N$. In particular, the difference is independent of the alignment length and the number of character states. We show that an analogous bound can be obtained for the softwired parsimony score of semi-directed networks, while under parental parsimony on the other hand, such a bound does not hold.