sequence
6966 papers tagged with this keyword
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
The $(k,l)$-Euler theorem and the combinatorics of $(k,l)$-sequences
Published
• View Publication
• BIB
In 1997, Bousquet-Mélou and Eriksson stated a broad generalization of Euler's distinct-odd partition theorem, namely the $(k,l)$-Euler theorem. Their identity involved the $(k,l)$-lecture-hall partitions, which, unlike usual difference conditions of partitions in Rogers-Ramanujan type identities, satisfy some ratio constraints. In a 2008 paper, in response to a question suggested by Richard Stanley, Savage and Yee provided a simple bijection for the $l$-lecture-hall partitions (the case $k=l$), whose specialization in $l=2$ corresponds to Sylvester's bijection. Subsequently, as an open question, a generalization of their bijection was suggested for the case $k,l\geq 2$. In the spirit of Savage and Yee's work, we provide and prove in this paper slight variations of the suggested bijection, not only for the case $k,l\geq 2$ but also for the cases $(k,1)$ and $(1,k)$ with $k\geq 4$. Furthermore, we show that our bijections equal the recursive bijections given by Bousquet-Mélou and Eriksson in their recursive proof of the $(k,l)$-lecture hall and finally provide the analogous recursive bijection for the $(k,l)$-Euler theorem.
Degree sequences of sufficiently dense random uniform hypergraphs
Published
• View Publication
• BIB
We find an asymptotic enumeration formula for the number of simple $r$-uniform hypergraphs with a given degree sequence, when the number of edges is sufficiently large. The formula is given in terms of the solution of a system of equations. We give sufficient conditions on the degree sequence which guarantee existence of a solution to this system. Furthermore, we solve the system and give an explicit asymptotic formula when the degree sequence is close to regular. This allows us to establish several properties of the degree sequence of a random $r$-uniform hypergraph with a given number of edges. More specifically, we compare the degree sequence of a random $r$-uniform hypergraph with a given number edges to certain models involving sequences of binomial or hypergeometric random variables conditioned on their sum.
Ehrhart polynomials of rank two matroids
Published in Adv. in Appl. Math. 141 (2022) 102410
• View Publication
• BIB
Over a decade ago De Loera, Haws and Köppe conjectured that Ehrhart polynomials of matroid polytopes have only positive coefficients and that the coefficients of the corresponding $h^*$-polynomials form a unimodal sequence. The first of these intensively studied conjectures has recently been disproved by the first author who gave counterexamples in all ranks greater or equal to three. In this article we complete the picture by showing that Ehrhart polynomials of matroids of lower rank have indeed only positive coefficients. Moreover, we show that they are coefficient-wise bounded by the Ehrhart polynomials of minimal and uniform matroids. We furthermore address the second conjecture by proving that $h^*$-polynomials of matroid polytopes of sparse paving matroids of rank two are real-rooted and therefore have log-concave and unimodal coefficients. In particular, this shows that the $h^*$-polynomial of the second hypersimplex is real-rooted thereby strengthening a result of De Loera, Haws and Köppe.
On maximal green sequence for quivers arising from weighted projective lines
Published in Algebr. Represent. Theory (2023) 26, 1713-1729
• View Publication
• BIB
We investigate the existence and non-existence of maximal green sequences for quivers arising from weighted projective lines. Let $Q$ be the Gabreil quiver of the endomorphism algebra of a basic cluster-tilting object in the cluster category $\mathcal{C}_\mathbb{X}$ of a weighted projective line $\mathbb{X}$. It is proved that there exists a quiver $Q'$ in the mutation equivalence class $\operatorname{Mut}(Q)$ such that $Q'$ admits a maximal green sequence. On the other hand, there is a quiver in $\operatorname{Mut}(Q)$ which does not admit a maximal green sequence if and only if $\mathbb{X}$ is of wild type.
Combinatorial properties of the enhanced principal rank characteristic sequence over finite fields
Published
• View Publication
• BIB
The enhanced principal rank characteristic sequence (epr-sequence) of a symmetric matrix $B \in \mathbb{F}^{n \times n}$ is defined as $\ell_1 \ell_2 \cdots \ell_n$, where $\ell_j \in \{\tt{A}, \tt{S}, \tt{N}\}$ according to whether all, some but not all, or none of the principal minors of order $j$ of $B$ are nonzero. Building upon the second author's recent classification of the epr-sequences of symmetric matrices over the field $\mathbb{F}=\mathbb{F}_2$, we initiate a study of the case $\mathbb{F}=\mathbb{F}_3$. Moreover, epr-sequences over finite fields are shown to have connections to Ramsey theory and coding theory.
Zeckendorf expansion, Dirichlet series and infinite series involving the infinite Fibonacci word
Let $β=\frac{1+\sqrt{5}}{2}$, $(a_n)_{n \in \mathbb{N}^+}$ be a non-uniform morphic sequence involving the infinite Fibonacci word and $(δ(n))_{n \in \mathbb{N}^+}$ be a positive sequence such that for all positive integers $n$, $δ(n)=\frac{1}{\sqrt{5}}\sum_{j \geq 0}ε_jβ^{j+2}$ if the unique Zeckendorf expansion of $n$ is $n=\sum_{j \geq 0}ε_jF_{j+2}$ with Fibonacci numbers $F_0,F_1,F_2...$. We define and study some Dirichlet series in the form of $\sum_{n\geq 1}\frac{a_n}{(δ(n))^s}$ and relations between them. Moreover, we compute the values of some infinite series involving the infinite Fibonacci word.
Simplifying Continuous-Time Quantum Walks on Dynamic Graphs
Published in Quantum Inf. Process. 21, 54 (2022)
• View Publication
• BIB
A continuous-time quantum walk on a dynamic graph evolves by Schrödinger's equation with a sequence of Hamiltonians encoding the edges of the graph. This process is universal for quantum computing, but in general, the dynamic graph that implements a quantum circuit can be quite complicated. In this paper, we give six scenarios under which a dynamic graph can be simplified, and they exploit commuting graphs, identical graphs, perfect state transfer, complementary graphs, isolated vertices, and uniform mixing on the hypercube. As examples, we simplify dynamic graphs, in some instances allowing single-qubit gates to be implemented in parallel.
Relative Rank and Regularization
Published
• View Publication
• BIB
We introduce a new concept of rank - relative rank associated to a filtered collection of polynomials. When the filtration is trivial our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of relative bias. The main result of the paper is a relation between these two quantities over finite fields (as a special case we obtain a new proof of the results in arXiv:1902.09830). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is polynomial in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry and algebra. For example, we prove that any collection of polynomials $\mathcal{P}=(P_i)_{i=1}^c$ of degrees $\le d$ in a polynomial ring over an algebraically closed field of characteristic $>d$ is contained in an ideal $\mathcal{I}(\mathcal{Q})$, generated by a collection $\mathcal{Q}$ of polynomials of degrees $\le d$ which form a regular sequence, and $\mathcal{Q}$ is of size $\le A c^{A}$, where $A=A(d)$ is independent of the number of variables.
Minkowski bases, Korkin-Zolotarev bases and successive minima
Let $λ_k$ denote the $k$-th successive minimum of a lattice $L$. We study properties of the lengths of certain bases of $L$. If $v_1, \dots v_n$ is a basis which is reduced in the sense of Minkowski we show that $\lvert v_k \rvert^2 \leq \frac{k}{4} λ_{k}^2$ for $k = 6, 7$, confirming a conjecture of Schürmann, and obtaining the first improvement of a classical bound by Van der Waerden. We construct a sequences of lattices where $\lvert v_n \rvert$ is significantly longer than the longest vector in a Korkin-Zolotarev reduced basis, answering a question of Schürmann. In an appendix joint with Lior Hadassi we construct a lattice $L$ with the surprising property that any basis containing the shortest vector of $L$ is not the shortest basis.
Maximal antichains of subsets II: Constructions
This is the second in a sequence of three papers investigating the question for which positive integers $m$ there exists a maximal antichain of size $m$ in the Boolean lattice $B_n$ (the power set of $[n]:=\{1,2,\dots,n\}$, ordered by inclusion). In the previous paper we characterized those $m$ between $\binom{n}{\lceil n/2\rceil}-\lceil n/2\rceil^2$ and the maximum size $\binom{n}{\lceil n/2 \rceil}$ that are not sizes of maximal antichains. In this paper we show that all smaller $m$ are sizes of maximal antichains.
Extending the known families of scalable Huffman sequences
A canonical Huffman sequence is characterized by a zero inner-product between itself and each of its shifted copies, except at their largest relative shifts: their aperiodic auto-correlation then becomes delta-like, a single central peak surrounded by zeros, with one non-zero entry at each end. Prior work showed that the few known families of Huffman sequences (of length $N = 4n-1$, for integers $n > 1$, with continuously scalable elements) are based upon Fibonacci polynomials. Related multi-dimensional ($nD$) Huffman arrays were designed, as well as non-canonical quasi-Huffman arrays that also possess delta-like auto-correlations. We examined links between these discrete sequences and delta-correlated functions defined on the continuum, and provided simple non-iterative approaches to successfully deconvolve $nD$ data blurred by diffuse Huffman arrays. Here we describe new constructions for canonical Huffman sequences. Examples of length $N = 4n+1$, $N = 2n$ and families of arbitrary length are given, including scaled forms, as well as for Fibonacci-based arrays with perfect periodic auto-correlations, that are zero for all non-zero cyclic shifts. A generalization to include canonical sequences with complex scale factors invokes an equally useful dual form of delta-correlation. We also present $1D$ arrays with a much smaller dynamic range than those where the elements are built using Fibonacci recursion. When Huffman arrays (that are comprised of inherently signed values) are employed as diffuse probe beams for image acquisition, a new two-mask de-correlating step is described here that significantly reduces the total incident radiation dose compared to a prior method that added a positive pedestal-offset.
Statistics for Unimodal Sequences
Published
• View Publication
• BIB
We prove a number of limiting distributions for statistics for unimodal sequences of positive integers by adapting a probabilistic framework for integer partitions introduced by Fristedt. The difficulty in applying the direct analogue of Fristedt's techniques to unimodal sequences lies in the fact that the generating function for partitions is an infinite product, while that of unimodal sequences is not. Essentially, we get around this by conditioning on the size of the largest part and working uniformly on contributing summands. Our framework may be used to derive many distributions, and our results include joint distributions for largest parts and multiplicities of small parts. We discuss ranks as well. We further obtain analogous results for strongly unimodal sequences.
Partial Sums of the Fibonacci Sequence
Published in Fib. Quart., 59:2 (May 2021), 132-135
• View Publication
• BIB
Let $(F_n)_{n\ge 1}$ be the Fibonacci sequence. Define $P(F_n): = (\sum_{i=1}^n F_i)_{n\ge 1}$; that is, the function $P$ gives the sequence of partial sums of $(F_n)$. In this paper, we first give an identity involving $P^k(F_n)$, which is the resulting sequence from applying $P$ to $(F_n)$ $k$ times. Second, we provide a combinatorial interpretation of the numbers in $P^k(F_n)$.
The Chromatic Quasisymmetric Class Function of a Digraph
Published
• View Publication
• BIB
We introduce a quasisymmetric class function associated with a group acting on a double poset or on a directed graph. The latter is a generalization of the chromatic quasisymmetric function of a digraph introduced by Ellzey, while the latter is a generalization of a quasisymmetric function introduced by Grinberg. We prove representation-theoretic analogues of classical and recent results, including $F$-positivity, and combinatorial reciprocity theorems. We also deduce results for orbital quasisymmetric functions. We also study a generalization of the notion of strongly flawless sequences.