sequence
6845 papers tagged with this keyword
Conjectures and results on some generalized Rueppel sequences
In this note we use the analogy between the Catalan sequence and the Rueppel sequence to derive a variety of conjectures surrounding the Hankel transforms of a number of sequences closely related to the Rueppel sequence. Use is made of the representation of suitable generating functions by Stieltjes continued fractions. We define polynomial sequences by introducing parameters that define generalized Rueppel sequences, and we show that such polynomials have coefficient arrays that are Riordan arrays. Finally we conjecture the form of a product of Hankel transforms arising from the Rueppel sequence.
Rectilinear approximation and volume estimates for hereditary bodies via [0,1]-decorated containers
Published
• View Publication
• BIB
We use the hypergraph container theory of Balogh--Morris--Samotij and Saxton--Thomason to obtain general rectilinear approximations and volume estimates for sequences of bodies closed under certain families of projections. We give a number of applications of our results, including a multicolour generalisation of a theorem of Hatami, Janson and Szegedy on the entropy of graph limits. Finally, we raise a number of questions on geometric and analytic approaches to containers.
The $q$-analog of the Markoff injectivity conjecture over the language of a balanced sequence
Published in Combinatorial Theory 2 (2022) #9
• View Publication
• BIB
The Markoff injectivity conjecture states that $w\mapstoμ(w)_{12}$ is injective on the set of Christoffel words where $μ:\{\mathtt{0},\mathtt{1}\}^*\to\mathrm{SL}_2(\mathbb{Z})$ is a certain homomorphism and $M_{12}$ is the entry above the diagonal of a $2\times2$ matrix $M$. Recently, Leclere and Morier-Genoud (2021) proposed a $q$-analog $μ_q$ of $μ$ such that $μ_{q}(w)_{12}|_{q=1}=μ(w)_{12}$ is the Markoff number associated to the Christoffel word $w$ when evaluated at $q=1$. We show that there exists an order $<_{radix}$ on $\{\mathtt{0},\mathtt{1}\}^*$ such that for every balanced sequence $s \in \{\mathtt{0},\mathtt{1}\}^\mathbb{Z}$ and for all factors $u, v$ in the language of $s$ with $u <_{radix} v$, the difference $μ_q(v)_{12} - μ_q(u)_{12}$ is a nonzero polynomial of indeterminate $q$ with nonnegative integer coefficients. Therefore, the map $u\mapstoμ_q(u)_{12}$ is injective over the language of a balanced sequence. The proof uses an equivalence between balanced sequences satisfying some Markoff property and indistinguishable asymptotic pairs.
Multiplicative and semi-multiplicative functions on non-crossing partitions, and relations to cumulants
Published in Advances in Applied Mathematics 145, (2023) 102481
• View Publication
• BIB
We consider the group $(\mathcal{G},*)$ of unitized multiplicative functions in the incidence algebra of non-crossing partitions, where ``$*$'' denotes the convolution operation. We introduce a larger group $(\widetilde{\mathcal{G}},*)$ of unitized functions from the same incidence algebra, which satisfy a weaker condition of being ``semi-multiplicative''. The natural action of $\widetilde{\mathcal{G}}$ on sequences of multilinear functionals of a non-commutative probability space captures the combinatorics of transitions between moments and some brands of cumulants that are studied in the non-commutative probability literature. We use the framework of $\widetilde{\mathcal{G}}$ in order to explain why the multiplication of free random variables can be very nicely described in terms of Boolean cumulants and more generally in terms of $t$-Boolean cumulants, a one-parameter interpolation between free and Boolean cumulants arising from work of Bozejko and Wysoczanski.
It is known that the group $\mathcal{G}$ can be naturally identified as the group of characters of the Hopf algebra Sym of symmetric functions. We show that $\widetilde{\mathcal{G}}$ can also be identified as group of characters of a Hopf algebra $\mathcal{T}$, which is an incidence Hopf algebra in the sense of Schmitt. Moreover, the inclusion of $\mathcal{G}$ into $\widetilde{\mathcal{G}}$ turns out to be the dual of a natural bialgebra homomorphism from $\mathcal{T}$ onto Sym.
Burling graphs revisited, part II: Structure
Published in European Journal of Combinatorics, Volume 116, 2024, 103849
• View Publication
• BIB
The Burling sequence is a sequence of triangle-free graphs of increasing chromatic number. Any graph which is an induced subgraph of a graph in this sequence is called a Burling graph. These graphs have attracted some attention because they have geometric representations and because they provide counter-examples to several conjectures about bounding the chromatic number in classes of graphs. We recall an equivalent definition of Burling graphs from the first part of this work: the graphs derived from a tree. We then give several structural properties of derived graphs.
The feasible region of induced graphs
Published in J. Combin. Theory Ser. B 158 (2023), 105-135
• View Publication
• BIB
The feasible region $Ω_{\rm ind}(F)$ of a graph $F$ is the collection of points $(x,y)$ in the unit square such that there exists a sequence of graphs whose edge densities approach $x$ and whose induced $F$-densities approach $y$. A complete description of $Ω_{\rm ind}(F)$ is not known for any $F$ with at least four vertices that is not a clique or an independent set. The feasible region provides a lot of combinatorial information about $F$. For example, the supremum of $y$ over all $(x,y)\in Ω_{\rm ind}(F)$ is the inducibility of $F$ and $Ω_{\rm ind}(K_r)$ yields the Kruskal-Katona and clique density theorems.
We begin a systematic study of $Ω_{\rm ind}(F)$ by proving some general statements about the shape of $Ω_{\rm ind}(F)$ and giving results for some specific graphs $F$. Many of our theorems apply to the more general setting of quantum graphs. For example, we prove a bound for quantum graphs that generalizes an old result of Bollobás for the number of cliques in a graph with given edge density. We also consider the problems of determining $Ω_{\rm ind}(F)$ when $F=K_r^-$, $F$ is a star, or $F$ is a complete bipartite graph. In the case of $K_r^-$ our results sharpen those predicted by the edge-statistics conjecture of Alon et. al. while also extending a theorem of Hirst for $K_4^-$ that was proved using computer aided techniques and flag algebras. The case of the 4-cycle seems particularly interesting and we conjecture that $Ω_{\rm ind}(C_4)$ is determined by the solution to the triangle density problem, which has been solved by Razborov.
Ward-Fontené Differential Universal Algebras
In this paper a Ward-Fontené differential universal algebra is constructed. In this algebra it is possible to obtain a product $ψ$-rule and a general $ψ$-rule of Leibniz for any calculus on sequences. In particular, the simplicial polytopic calculus and the calculus on Bell numbers are introduced.
Twin-Width is Linear in the Poset Width
Twin-width is a new parameter informally measuring how diverse are the neighbourhoods of the graph vertices, and it extends also to other binary relational structures, e.g. to digraphs and posets. It was introduced just very recently, in 2020 by Bonnet, Kim, Thomasse and Watrigant. One of the core results of these authors is that FO model checking on graph classes of bounded twin-width is in FPT. With that result, they also claimed that posets of bounded width have bounded twin-width, thus capturing prior result on FO model checking of posets of bounded width in FPT. However, their translation from poset width to twin-width was indirect and giving only a very loose double-exponential bound. We prove that posets of width d have twin-width at most 9d with a direct and elegant argument, and show that this bound is asymptotically tight. Specially, for posets of width 2 we prove that in the worst case their twin-width is also equal 2. These two theoretical results are complemented with straightforward algorithms to construct the respective contraction sequence for a given poset.
Two extremal problems in the light of Lex graphs
Extremal problems involving independent sets are much studied. Two of the most important extremal problems in this context are concerned with the sharp upper bounds for the number of independent sets of fixed size and the independence number. In literature, these sharp upper bounds are derived in completely different contexts. In this paper, we show that both of these sharp upper bounds can be derived by considering Lex graphs. More exactly, they depend on two parameters of a sequence defined on them.
Weighted unary-binary trees, Hex-trees, marked ordered trees, and related structures
Hex-trees are identified as a particular instance of weighted unary-binary trees. The Horton-Strahler numbers of these objects are revisited, and, thanks to a substitution that is not immediately intuitive, explicit results are possible. They are augmented by asymptotic evaluations as well. Furthermore, marked ordered trees (in bijection to skew Dyck paths) are investigated, followed 3-Motzkin paths and multi-edge trees. The underlying theme is sequence A002212 in the Encyclopedia of integer sequences.
Gap sets for the spectra of regular graphs with minimum spectral gap
Published
• View Publication
• BIB
Following recent work by Kollár and Sarnak, we study gaps in the spectra of large connected cubic and quartic graphs with minimum spectral gap. We focus on two sequences of graphs, denoted $Δ_n$ and $Γ_n$ which are more `symmetric' compared to the other graphs in these two families, respectively. We prove that $(1,\sqrt{5}]$ is a gap interval for $Δ_n$, and $[(-1+\sqrt{17})/2,3]$ is a gap interval for $Γ_n$. We conjecture that these two are indeed maximal gap intervals. As a by-product, we show that the eigenvalues of $Δ_n$ lying in the interval $[-3,-\sqrt{5}]$ (in particular, its minimum eigenvalue) converge to $(1-\sqrt{33})/2$ and the eigenvalues of $Γ_n$ lying in the interval $[-4,-(1+\sqrt{17})/2]$ (and in particular, its minimum eigenvalue) converge to $1-\sqrt{13}$ as $n$ tends to infinity. The proofs of the above results heavily depend on the following property which can be of independent interest: with few exceptions, all the eigenvalues of connected cubic and quartic graphs with minimum spectral gap are simple.
A dynamical proof of the van der Corput inequality
Published
• View Publication
• BIB
We provide a dynamical proof of the van der Corput inequality for sequences in Hilbert spaces that is based on the Furstenberg correspondence principle. This is done by reducing the inequality to the mean ergodic theorem for contractions on Hilbert spaces. The key difficulty therein is that the Furstenberg correspondence principle is, a priori, limited to scalar-valued sequences. We therefore discuss how interpreting the Furstenberg correspondence principle via the Gelfand--Naimark--Segal construction for C*-algebras allows to study not just scalar but general Hilbert space-valued sequences in terms of unitary operators. This yields a proof of the van der Corput inequality in the spirit of the Furstenberg correspondence principle and the flexibility of this method is discussed via new proofs for different variants of the inequality.
Secretary problem and two almost the same consecutive applicants
Published
• View Publication
• BIB
We present a new variant of the secretary problem. Let $A$ be a totally ordered set of $n$ \emph{applicants}.
Given $P\subseteq A$ and $x\in A$, let $rr(P,x)=\vert\{z\in P \mid z\leq x\}\vert\mbox{ }$ be the \emph{relative rank of} $x$ \emph{with regard to} $P$, and let $rr_n(x)=rr(A,x)$. Let $x_1,x_2,\dots,x_n\in A$ be a random sequence of distinct applicants. The aim is to select $1<j\leq n$ such that $rr_n(x_{j-1})-rr_n(x_j)\in\{-1,1\}$.
Let $α$ be a real constant with $0<α<1$. Suppose the following stopping rule $τ_n(α)$: reject first $αn$ applicants and then select the first $x_j$ such that $rr(P_j,x_{j-1})-rr(P_j,x_j)\in\{-1,1\}$, where $P_j=\{x_i\mid 1\leq i\leq j\}$. Let $p_{n,τ}(α)$ be the probability that $τ_n(α)$ selects $x_j$ such that $rr_n(x_{j-1})-rr_n(x_j)\in\{-1,1\}$. We show that \[\lim_{n\rightarrow\infty}p_{n,τ}(α)\leq \lim_{n\rightarrow\infty}p_{n,τ}\left(\frac{1}{2}\right)=\frac{1}{2}\mbox{.}\]
A simple, combinatorial proof of Gowers Dichotomy for Banach Spaces
In this paper we present a simple proof of Gowers Dichotomy which states that every infinite dimensional Banach Space has a subspace which either contains an unconditional basic sequence or is hereditarily indecomposable. Our approach is purely combinatorial and mainly based on work of Ellentuck, Galvin and Prikry in infinite Ramsey theory.
A Matrix Related to Stern Polynomials and the Prouhet-Thue-Morse Sequence
The Stern polynomials defined by $s(0;x)=0$, $s(1;x)=1$, and for $n\geq 1$ by $s(2n;x)=s(n;x^2)$ and $s(2n+1;x)=x\,s(n;x^2)+s(n+1;x^2)$ have only 0 and 1 as coefficients. We construct an infinite lower-triangular matrix related to the coefficients of the $s(n;x)$ and show that its inverse has only 0, 1, and $-1$ as entries, which we find explicitly. In particular, the sign distribution of the entries is determined by the Prouhet-Thue-Morse sequence. We also obtain other properties of this matrix and a related Pascal-type matrix that involve the Catalan, Stirling, Fibonacci, Fine, and Padovan numbers. Further results involve compositions of integers, the Sierpiński matrix, and identities connecting the Stern and Prouhet-Thue-Morse sequences.
Maximum order complexity of the sum of digits function in Zeckendorf base and polynomial subsequences
Published
• View Publication
• BIB
Automatic sequences are not suitable sequences for cryptographic applications since both their subword complexity and their expansion complexity are small, and their correlation measure of order 2 is large. These sequences are highly predictable despite having a large maximum order complexity. However, recent results show that polynomial subsequences of automatic sequences, such as the Thue--Morse sequence, are better candidates for pseudorandom sequences. A natural generalization of automatic sequences are morphic sequences, given by a fixed point of a prolongeable morphism that is not necessarily uniform. In this paper we prove a lower bound for the maximum order complexity of the sum of digits function in Zeckendorf base which is an example of a morphic sequence. We also prove that the polynomial subsequences of this sequence keep large maximum order complexity, such as the Thue--Morse sequence.
Asymptotic normality for $m$-dependent and constrained $U$-statistics, with applications to pattern matching in random strings and permutations
Published
• View Publication
• BIB
We study (asymmetric) $U$-statistics based on a stationary sequence of $m$-dependent variables; moreover, we consider constrained $U$-statistics, where the defining multiple sum only includes terms satisfying some restrictions on the gaps between indices. Results include a law of large numbers and a central limit theorem. Special attention is paid to degenerate cases where, after the standard normalization, the asymptotic variance vanishes; in these cases non-normal limits occur after a different normalization.
The results are motivated by applications to pattern matching in random strings and permutations. We obtain both new results and new proofs of old results.
A skeleton model to enumerate standard puzzle sequences
Published
• View Publication
• BIB
Guo-Niu Han [arXiv:2006.14070 [math.CO]] has introduced a new combinatorial object named standard puzzle. We use digraphs to show the relations between numbers in standard puzzles and propose a skeleton model. By this model, we solve the enumeration problem of over fifty thousand standard puzzle sequences. Most of them can be represented by classical numbers, such as Catalan numbers, double factorials, Secant numbers and so on. Also, we prove several identities in standard puzzle sequences.
$1$-independent percolation on $\mathbb{Z}^2 \times K_n$
Published
• View Publication
• BIB
A random graph model on a host graph H is said to be 1-independent if for every pair of vertex-disjoint subsets A,B of E(H), the state of edges (absent or present) in A is independent of the state of edges in B. For an infinite connected graph H, the 1-independent critical percolation probability $p_{1,c}(H)$ is the infimum of the p in [0,1] such that every 1-independent random graph model on H in which each edge is present with probability at least p almost surely contains an infinite connected component.
Balister and Bollobás observed in 2012 that $p_{1,c}(\mathbb{Z}^d)$ is nonincreasing and tends to a limit in [1/2, 1] as d tends to infinity. They asked for the value of this limit. We make progress towards this question by showing that \[\lim_{n\rightarrow \infty}p_{1,c}(\mathbb{Z}^2\times K_n)=4-2\sqrt{3}=0.5358\ldots \ .\] In fact, we show that the equality above remains true if the sequence of complete graphs $K_n$ is replaced by a sequence of weakly pseudorandom graphs on n vertices with average degree $ω(\log n)$. We conjecture that the equality also remains true if $K_n$ is replaced instead by the n-dimensional hypercube $Q_n$. This latter conjecture would imply the answer to Balister and Bollobás's question is $4-2\sqrt{3}$.
Using our results, we are also able to resolve a problem of Day, Hancock and the first author on the emergence of long paths in 1-independent random graph models on $\mathbb{Z}\times K_n$. Finally, we prove some results on component evolution in 1-independent random graphs, and discuss a number of open problems arising from our work that may pave the way for further progress on the question of Balister and Bollobás.
A generalization of a theorem of Nash-Williams
Published
• View Publication
• BIB
In 1972, Chvatal gave a well-known sufficient condition for a graphical sequence to be forcibly hamiltonian, and showed that in some sense his condition is best possible. Nash-Williams gave examples of forcibly hamiltonian n-sequences that do not satisfy Chvatla's condition for every n at least 5. In this note we generalize the Nash-Williams examples, and use this generalization to generate Ω(2^n/n^.5) forcibly hamiltonian n-sequences that do not satisfy Chvatal's condition