sequence
6845 papers tagged with this keyword
On xD-Generalizations of Stirling Numbers and Lah Numbers via Graphs and Rooks
Published
• View Publication
• BIB
This paper studies the generalizations of the Stirling numbers of both kinds and the Lah numbers in association with the normal order problem in the Weyl algebra $W=\langle x,D|Dx-xD=1\rangle$. Any word $ω\in W$ with $m$ $x$'s and $n$ $D$'s can be expressed in the normally ordered form $ω=x^{m-n}\sum_{k\ge 0} {ω\brace {k}} x^{k}D^{k}$, where ${ω\brace {k}}$ is known as the Stirling number of the second kind for the word $ω$. This study considers the expansions of restricted words $ω$ in $W$ over the sequences $\{(xD)^{k}\}_{k\ge 0}$ and $\{xD^{k}x^{k-1}\}_{k\ge 0}$. Interestingly, the coefficients in individual expansions turn out to be generalizations of the Stirling numbers of the first kind and the Lah numbers. The coefficients will be determined through enumerations of some combinatorial structures linked to the words $ω$, involving decreasing forest decompositions of quasi-threshold graphs and non-attacking rook placements on Ferrers boards. Extended to $q$-analogues, weighted refinements of the combinatorial interpretations are also investigated for words in the $q$-deformed Weyl algebra.
Turan numbers of complete 3-uniform Berge-hypergraphs
Published
• View Publication
• BIB
Given a family $\mathcal{F}$ of $r$-graphs, the Turán number of $\mathcal{F}$ for a given positive integer $N$, denoted by $ex(N,\mathcal{F})$, is the maximum number of edges of an $r$-graph on $N$ vertices that does not contain any member of $\mathcal{F}$ as a subgraph. For given $r\geq 3$, a complete $r$-uniform Berge-hypergraph, denoted by { ${K}_n^{(r)}$}, is an $r$-uniform hypergraph of order $n$ with the core sequence $v_{1}, v_{2}, \ldots ,v_{n}$ as the vertices and distinct edges $e_{ij},$ $1\leq i<j\leq n,$ where every $e_{ij}$ contains both $v_{i}$ and $v_{j}$. Let $\mathcal{F}^{(r)}_n$ be the family of complete $r$-uniform Berge-hypergraphs of order $n.$ We determine precisely $ex(N,\mathcal{F}^{(3)}_{n})$ for $n \geq 13$. We also find the extremal hypergraphs avoiding $\mathcal{F}^{(3)}_{n}$.
The signed enhanced principal rank characteristic sequence
Published
• View Publication
• BIB
The signed enhanced principal rank characteristic sequence (sepr-sequence) of an $n \times n$ Hermitian matrix is the sequence $t_1t_2 \cdots t_n$, where $t_k$ is either $\tt A^*$, $\tt A^+$, $\tt A^-$, $\tt N$, $\tt S^*$, $\tt S^+$, or $\tt S^-$ based on the following criteria: $t_k = \tt A^*$ if $B$ has both a positive and a negative order-$k$ principal minor, and each order-$k$ principal minor is nonzero. $t_k = \tt A^+$ (respectively, $t_k = \tt A^-$) if each order-$k$ principal minor is positive (respectively, negative). $t_k = \tt N$ if each order-$k$ principal minor is zero. $t_k = \tt S^*$ if $B$ has each a positive, a negative, and a zero order-$k$ principal minor. $t_k = \tt S^+$ (respectively, $t_k = \tt S^-$) if $B$ has both a zero and a nonzero order-$k$ principal minor, and each nonzero order-$k$ principal minor is positive (respectively, negative). Such sequences provide more information than the $({\tt A,N,S})$ epr-sequence in the literature, where the $k$th term is either $\tt A$, $\tt N$, or $\tt S$ based on whether all, none, or some (but not all) of the order-$k$ principal minors of the matrix are nonzero. Various sepr-sequences are shown to be unattainable by Hermitian matrices. In particular, by applying Muir's law of extensible minors, it is shown that subsequences such as $\tt A^*N$ and $\tt NA^*$ are prohibited in the sepr-sequence of a Hermitian matrix. For Hermitian matrices of orders $n=1,2,3$, all attainable sepr-sequences are classified. For real symmetric matrices, a complete characterization of the attainable sepr-sequences whose underlying epr-sequence contains $\tt ANA$ as a non-terminal subsequence is established.
Lattice paths inside a table, I
A lattice path in $\mathbb{Z}^d$ is a sequence $ν_1,ν_2,\ldots,ν_k\in\mathbb{Z}^d$ such that the steps $ν_i-ν_{i-1}$ lie in a subset $\mathbf{S}$ of $\mathbb{Z}^d$ for all $i=2,\ldots,k$. Let $T_{m,n}$ be the $m\times n$ table in the first area of the $xy$-axis and put $\mathbf{S}=\{(1,1),(1,0),(1,-1)\}$. Accordingly, let $\mathcal{I}_m(n)$ denote the number of lattice paths starting from the first column and ending at the last column of $T$. We will study the numbers $\mathcal{I}_m(n)$ and give explicit formulas for special values of $m$ and $n$. As a result, we prove a conjecture of \textit{Alexander R. Povolotsky} involving $\mathcal{I}_n(n)$. Finally, we present some relationships between the number of lattice paths and Fibonacci and Pell-Lucas numbers, and pose an open problem.
Zero-sum subsequences in bounded-sum $\{-1, 1\}$-sequences
Published
• View Publication
• BIB
The following result gives the flavor of this paper: Let $t$, $k$ and $q$ be integers such that $q\geq 0$, $0\leq t < k$ and $t \equiv k \,({\rm mod}\, 2)$, and let $s\in [0,t+1]$ be the unique integer satisfying $s \equiv q + \frac{k-t-2}{2} \,({\rm mod} \, (t+2))$. Then for any integer $n$ such that \[n \ge \max\left\{k,\frac{1}{2(t+2)}k^2 + \frac{q-s}{t+2}k - \frac{t}{2} + s\right\}\] and any function $f:[n]\to \{-1,1\}$ with $|\sum_{i=1}^nf(i)| \le q$, there is a set $B \subseteq [n]$ of $k$ consecutive integers with $|\sum_{y\in B}f(y)| \le t$. Moreover, this bound is sharp for all the parameters involved and a characterization of the extremal sequences is given.
This and other similar results involving different subsequences are presented, including decompositions of sequences into subsequences of bounded weight.
Lattice Spectral Sequences and Cohomology of Configuration Spaces
For a topological space $X$, we introduce a criterion for the $\rm FI$ module $H^i({\rm Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C \times \mathbb{R}^2$ satisfies the criterion. Our main tool is a spectral sequence that we derive from the homological algebra of the partition lattice.
Log-convex and Stieltjes moment sequences
Published in published in Advances in Applied Mathematics 2016 (81) 115-127
• View Publication
• BIB
We show that Stieltjes moment sequences are infinitely log-convex, which parallels a famous result that (finite) Pólya frequency sequences are infinitely log-concave. We introduce the concept of $q$-Stieltjes moment sequences of polynomials and show that many well-known polynomials in combinatorics are such sequences. We provide a criterion for linear transformations and convolutions preserving Stieltjes moment sequences. Many well-known combinatorial sequences are shown to be Stieltjes moment sequences in a unified approach and therefore infinitely log-convex, which in particular settles a conjecture of Chen and Xia about the infinite log-convexity of the Schröder numbers. We also list some interesting problems and conjectures about the log-convexity and the Stieltjes moment property of the (generalized) Apéry numbers.
Hamiltonian cycles for the square of the augmentation graphs and Gray codes for restricted permutations and ascent sequences
In this paper, we construct a listing for the vertices of the augmentation graph of given size, and as a consequence, we obtain a Hamiltonian cycle for the square of the augmentation graph of given size. As applications, we have a Gray code for the $132$-$312$ avoiding permutations of given length such that two successive permutations differ by at most $2$ adjacent transpositions. Also we obtain Gray codes of strong distance $2$ for the $001$ avoiding ascent sequences and the $010$ avoiding ascent sequences of given length.
A sextuple equidistribution arising in Pattern Avoidance
Published
• View Publication
• BIB
We construct an intriguing bijection between $021$-avoiding inversion sequences and $(2413,4213)$-avoiding permutations, which proves a sextuple equidistribution involving double Eulerian statistics. Two interesting applications of this result are also presented. Moreover, this result inspires us to characterize all permutation classes that avoid two patterns of length $4$ whose descent polynomial equals that of separable permutations.
On the power domination number of de Bruijn and Kautz digraphs
Published in Combinatorial Algorithms. IWOCA 2017. Lecture Notes in Computer Science, vol 10765 (2018), 264-272
• View Publication
• BIB
Let $G=(V,A)$ be a directed graph without parallel arcs, and let $S\subseteq V$ be a set of vertices. Let the sequence $S=S_0\subseteq S_1\subseteq S_2\subseteq\cdots$ be defined as follows: $S_1$ is obtained from $S_0$ by adding all out-neighbors of vertices in $S_0$. For $k\geqslant 2$, $S_k$ is obtained from $S_{k-1}$ by adding all vertices $w$ such that for some vertex $v\in S_{k-1}$, $w$ is the unique out-neighbor of $v$ in $V\setminus S_{k-1}$. We set $M(S)=S_0\cup S_1\cup\cdots$, and call $S$ a \emph{power dominating set} for $G$ if $M(S)=V(G)$. The minimum cardinality of such a set is called the \emph{power domination number} of $G$. In this paper, we determine the power domination numbers of de Bruijn and Kautz digraphs.
Pseudodeterministic Constructions in Subexponential Time
Published
• View Publication
• BIB
We study pseudodeterministic constructions, i.e., randomized algorithms which output the same solution on most computation paths. We establish unconditionally that there is an infinite sequence $\{p_n\}_{n \in \mathbb{N}}$ of increasing primes and a randomized algorithm $A$ running in expected sub-exponential time such that for each $n$, on input $1^{|p_n|}$, $A$ outputs $p_n$ with probability $1$. In other words, our result provides a pseudodeterministic construction of primes in sub-exponential time which works infinitely often.
This result follows from a much more general theorem about pseudodeterministic constructions. A property $Q \subseteq \{0,1\}^{*}$ is $γ$-dense if for large enough $n$, $|Q \cap \{0,1\}^n| \geq γ2^n$. We show that for each $c > 0$ at least one of the following holds: (1) There is a pseudodeterministic polynomial time construction of a family $\{H_n\}$ of sets, $H_n \subseteq \{0,1\}^n$, such that for each $(1/n^c)$-dense property $Q \in \mathsf{DTIME}(n^c)$ and every large enough $n$, $H_n \cap Q \neq \emptyset$; or (2) There is a deterministic sub-exponential time construction of a family $\{H'_n\}$ of sets, $H'_n \subseteq \{0,1\}^n$, such that for each $(1/n^c)$-dense property $Q \in \mathsf{DTIME}(n^c)$ and for infinitely many values of $n$, $H'_n \cap Q \neq \emptyset$.
We provide further algorithmic applications that might be of independent interest. Perhaps intriguingly, while our main results are unconditional, they have a non-constructive element, arising from a sequence of applications of the hardness versus randomness paradigm.
On the geometry of the countably branching diamond graphs
Published in J. Funct. Anal. 273 (2017), no. 10, 3150-3199
• View Publication
• BIB
In this article, the bi-Lipschitz embeddability of the sequence of countably branching diamond graphs $(D_k^ω)_{k\in\mathbb{N}}$ is investigated. In particular it is shown that for every $\varepsilon>0$ and $k\in\mathbb{N}$, $D_k^ω$ embeds bi-Lipschiztly with distortion at most $6(1+\varepsilon)$ into any reflexive Banach space with an unconditional asymptotic structure that does not admit an equivalent asymptotically uniformly convex norm. On the other hand it is shown that the sequence $(D_k^ω)_{k\in\mathbb{N}}$ does not admit an equi-bi-Lipschitz embedding into any Banach space that has an equivalent asymptotically midpoint uniformly convex norm. Combining these two results one obtains a metric characterization in terms of graph preclusion of the class of asymptotically uniformly convexifiable spaces, within the class of separable reflexive Banach spaces with an unconditional asymptotic structure. Applications to bi-Lipschitz embeddability into $L_p$-spaces and to some problems in renorming theory are also discussed.
Extremal regular graphs: the case of the infinite regular tree
In this paper we study the following problem. Let $A$ be a fixed graph, and let $\hom(G,A)$ denote the number of homomorphisms from a graph $G$ to $A$. Furthermore, let $v(G)$ denote the number of vertices of $G$, and let $\mathcal{G}_d$ denote the family of $d$--regular graphs. The general problem studied in this paper is to determine $$\inf_{G\in \mathcal{G}_d}\hom(G,A)^{1/v(G)}.$$ It turns out that in many instances the infimum is not achieved by a finite graph, but a sequence of graphs with girth (i. e., length of the shortest cycle) tending to infinity. In other words, the optimization problem is solved by the infinite $d$--regular tree.
We prove this type of results for the number of independent sets of bipartite graphs, evaluations of the Tutte-polynomial, Widom-Rowlinson configurations, and many more graph parameters. Our main tool will be a transformation called $2$-lift.
Convex hulls of random walks: Expected number of faces and face probabilities
Published
• View Publication
• BIB
Consider a sequence of partial sums $S_i= ξ_1+\dots+ξ_i$, $1\leq i\leq n$, starting at $S_0=0$, whose increments $ξ_1,\dots,ξ_n$ are random vectors in $\mathbb R^d$, $d\leq n$. We are interested in the properties of the convex hull $C_n:=\mathrm{Conv}(S_0,S_1,\dots,S_n)$. Assuming that the tuple $(ξ_1,\dots,ξ_n)$ is exchangeable and a certain general position condition holds, we prove that the expected number of $k$-dimensional faces of $C_n$ is given by the formula $$ \mathbb E [f_k(C_n)] = \frac{2\cdot k!}{n!} \sum_{l=0}^{\infty}\genfrac{[}{]}{0pt}{}{n+1}{d-2l} \genfrac{\{}{\}}{0pt}{}{d-2l}{k+1}, $$ for all $0\leq k \leq d-1$, where $\genfrac{[}{]}{0pt}{}{n}{m}$ and $\genfrac{\{}{\}}{0pt}{}{n}{m}$ are Stirling numbers of the first and second kind, respectively.
Further, we compute explicitly the probability that for given indices $0\leq i_1<\dots <i_{k+1}\leq n$, the points $S_{i_1},\dots,S_{i_{k+1}}$ form a $k$-dimensional face of $\mathrm{Conv}(S_0,S_1,\dots,S_n)$. This is done in two different settings: for random walks with symmetrically exchangeable increments and for random bridges with exchangeable increments. These results generalize the classical one-dimensional discrete arcsine law for the position of the maximum due to E. Sparre Andersen. All our formulae are distribution-free, that is do not depend on the distribution of the increments $ξ_k$'s.
The main ingredient in the proof is the computation of the probability that the origin is absorbed by a joint convex hull of several random walks and bridges whose increments are invariant with respect to the action of direct product of finitely many reflection groups of types $A_{n-1}$ and $B_n$. This probability, in turn, is related to the number of Weyl chambers of a product-type reflection group that are intersected by a linear subspace in general position.
Large subgraphs in rainbow-triangle free colorings
Published
• View Publication
• BIB
Fox--Grinshpun--Pach showed that every $3$-coloring of the complete graph on $n$ vertices without a rainbow triangle contains a clique of size $Ω\left(n^{1/3}\log^2 n\right)$ which uses at most two colors, and this bound is tight up to the constant factor. We show that if instead of looking for large cliques one only tries to find subgraphs of large chromatic number, one can do much better. We show that every such coloring contains a $2$-colored subgraph with chromatic number at least $n^{2/3}$, and this is best possible. We further show that for fixed positive integers $s,r$ with $s\leq r$, every $r$-coloring of the edges of the complete graph on $n$ vertices without a rainbow triangle contains a subgraph that uses at most $s$ colors and has chromatic number at least $n^{s/r}$, and this is best possible. Fox--Grinshpun--Pach previously showed a clique version of this result.
As a direct corollary of our result we obtain a generalisation of the celebrated theorem of Erdős-Szekeres, which states that any sequence of $n$ numbers contains a monotone subsequence of length at least $\sqrt{n}$. We prove that if an $r$-coloring of the edges of an $n$-vertex tournament does not contain a rainbow triangle then there is an $s$-colored directed path on $n^{s/r}$ vertices, which is best possible. This gives a partial answer to a question of Loh.
Gowers norms for the Thue-Morse and Rudin-Shapiro sequences
Published
• View Publication
• BIB
We estimate Gowers uniformity norms for some classical automatic sequences, such as the Thue-Morse and Rudin-Shapiro sequences. The methods can also be extended to other automatic sequences. As an application, we asymptotically count arithmetic progressions in the set of integers $\leq N$ where the Thue-Morse (resp. Rudin-Shapiro) sequence takes the value $+1$.
On Binary de Bruijn Sequences from LFSRs with Arbitrary Characteristic Polynomials
Published in Des. Codes and Cryptogr. 87 (2019) 1137-1160
• View Publication
• BIB
We propose a construction of de Bruijn sequences by the cycle joining method from linear feedback shift registers (LFSRs) with arbitrary characteristic polynomial $f(x)$. We study in detail the cycle structure of the set $Ω(f(x))$ that contains all sequences produced by a specific LFSR on distinct inputs and provide a fast way to find a state of each cycle. This leads to an efficient algorithm to find all conjugate pairs between any two cycles, yielding the adjacency graph. The approach is practical to generate a large class of de Bruijn sequences up to order $n \approx 20$. Many previously proposed constructions of de Bruijn sequences are shown to be special cases of our construction.
Sparse generalised polynomials
Published
• View Publication
• BIB
We investigate generalised polynomials (i.e. polynomial-like expressions involving the use of the floor function) which take the value $0$ on all integers except for a set of density $0$.
Our main result is that the set of integers where a sparse generalised polynomial takes non-zero value cannot contain a translate of an IP set. We also study some explicit constructions, and show that the characteristic functions of the Fibonacci and Tribonacci numbers are given by generalised polynomails. Finally, we show that any sufficiently sparse $\{0,1\}$-valued sequence is given by a generalised polynomial.
(This paper is essentially the first half of our earlier submission arXiv:1610.03900 [math.NT]. Because the material in arXiv:1610.03900 [math.NT] touches upon many different subjects, we believe it is preferable to split it into two independent papers.)
Plurigraph coloring and scheduling problems
Published in Electron. J. Combin. 24(2) (2017), #P2.29
• View Publication
• BIB
We define a new type of vertex coloring which generalizes vertex coloring in graphs, hypergraphs, and simplicial complexes. This coloring also generalizes oriented coloring, acyclic coloring, and star coloring. There is an associated symmetric function in noncommuting variables for which we give a deletion-contraction formula. In the case of graphs this symmetric function in noncommuting variables agrees with the chromatic symmetric function in noncommuting variables of Gebhard and Sagan. Our vertex coloring is a special case of the scheduling problems defined by Breuer and Klivans. We show how the deletion-contraction law can be applied to scheduling problems. Also, we show that the chromatic symmetric function determines the degree sequence of uniform hypertrees, but there exist pairs on $3$-uniform hypertrees which are not isomorphic yet have the same chromatic symmetric function.
The Optimal Pebbling Number of Staircase Graphs
Let G be a graph with a distribution of pebbles on its vertices. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The optimal pebbling number of G is the smallest number of pebbles which can placed on the vertices of G such that, for any vertex v of G, there is a sequence of pebbling moves resulting in at least one pebble on v. We determine the optimal pebbling number for several classes of induced subgraphs of the square grid, which we call staircase graphs.