sequence
7073 papers tagged with this keyword
Chromatic Nim finds a game for your solution
Published
• View Publication
• BIB
We play a variation of Nim on stacks of tokens. Take your favorite increasing sequence of positive integers and color the tokens according to the following rule. Each token on a level that corresponds to a number in the sequence is colored red; if the level does not correspond to a number in the sequence, color it green. Now play Nim on a arbitrary number of stacks with the extra rule: if all top tokens are green, then you can make any move you like. On two stacks, we give explicit characterizations for winning the normal play version for some popular sequences, such as Beatty sequences and the evil numbers corresponding to the 0s in the famous Thue-Morse sequence. We also propose a more general solution which depends only on which of the colors `dominates' the sequence. Our construction resolves a problem posed by Fraenkel at the BIRS 2011 workshop in combinatorial games.
Wavelet analysis on symbolic sequences and two-fold de Bruijn sequences
Published
• View Publication
• BIB
The concept of symbolic sequences play important role in study of complex systems. In the work we are interested in ultrametric structure of the set of cyclic sequences naturally arising in theory of dynamical systems. Aimed at construction of analytic and numerical methods for investigation of clusters we introduce operator language on the space of symbolic sequences and propose an approach based on wavelet analysis for study of the cluster hierarchy. The analytic power of the approach is demonstrated by derivation of a formula for counting of {\it two-fold de Bruijn sequences}, the extension of the notion of de Bruijn sequences. Possible advantages of the developed description is also discussed in context of applied p
Pathwidth and nonrepetitive list coloring
Published in Electronic Journal of Combinatorics, 23/4:P4.40, 2016
• View Publication
• BIB
A vertex coloring of a graph is nonrepetitive if there is no path in the graph whose first half receives the same sequence of colors as the second half. While every tree can be nonrepetitively colored with a bounded number of colors (4 colors is enough), Fiorenzi, Ochem, Ossona de Mendez, and Zhu recently showed that this does not extend to the list version of the problem, that is, for every $\ell \geq 1$ there is a tree that is not nonrepetitively $\ell$-choosable. In this paper we prove the following positive result, which complements the result of Fiorenzi et al.: There exists a function $f$ such that every tree of pathwidth $k$ is nonrepetitively $f(k)$-choosable. We also show that such a property is specific to trees by constructing a family of pathwidth-2 graphs that are not nonrepetitively $\ell$-choosable for any fixed $\ell$.
On paths, stars and wyes in trees
We further the study of local profiles of trees. Bubeck and Linial showed that the set of 5-profiles contains a certain polytope, namely the convex hull of d-millipedes, and they proved that the segment [0-millipede, 1-millipede] corresponds to a face of the set of 5-profiles. Our main result shows that the segment [1-millipede, 2-millipede] also corresponds to a face. Surprisingly we also show that for d > 3 the segment [d-millipede, (d+1)-millipede] is not a face of the set of 5-profiles. We do so by exhibiting new trees which are generalized millipedes with intriguing patterns for their degree sequence. The plot thickens, and the set of 5-profiles remains a mysterious convex set.
Cyclability of $id$-cycles in graphs
Let $G$ be a graph on $n$ vertices and $C'=v_0v_1\cdots v_{p-1}v_0$ a vertex sequence of $G$ with $p\geq 3$ ($v_i\neq v_j$ for all $i,j=0,1,\ldots,p-1$, $i\neq j$). If for any successive vertices $v_i$, $v_{i+1}$ on $C'$, either $v_iv_{i+1}\in E(G)$ or both of the first implicit-degrees of $v_i$ and $v_{i+1}$ are at least $n/2$ (indices are taken modulo $p$), then $C'$ is called an $id$-cycle of $G$. In this paper, we prove that for every $id$-cycle $C'$, there exists a cycle $C$ in $G$ with $V(C')\subseteq V(C)$. This generalizes several early results on the Hamiltonicity and cyclability of graphs.
The part-frequency matrices of a partition
Published
• View Publication
• BIB
A new combinatorial object is introduced, the part-frequency matrix sequence of a partition, which is elementary to describe and is naturally motivated by Glaisher's bijection. We prove results that suggest surprising usefulness for such a simple tool, including the existence of a related statistic that realizes every possible Ramanujan-type congruence for the partition function. To further exhibit its research utility, we give an easy generalization of a theorem of Andrews, Dixit and Yee on the mock theta functions. Throughout, we state a number of observations and questions that can motivate an array of investigations.
A greedy algorithm for $B_h[g]$ sequences
Published
• View Publication
• BIB
For any positive integers $h\ge 2$ and $g\ge 1$, we present a greedy algorithm that provides an infinite $B_h[g]$ sequence with $a_n\le 2gn^{h+(h-1)/g}.$
On New Thue Colouring Concepts of Certain Graphs
The Thue colouring of a graph is a colouring such that the sequence of vertex colours of any path of even and finite length in $G$ is non-repetitive. The change in the Thue number, $π(G)$, as edges are iteratively removed from a graph $G$ is studied. The notion of the $τ$-index denoted, $τ(G)$, of a graph $G$ is introduced as well. $τ(G)$ serves as a measure for the efficiency of edge deletion to reduce the Thue chromatic number of a graph.
Traffic Distributions and Independence II: Universal Constructions for Traffic Spaces
We investigate questions related to the notion of traffics introduced by the author C. Male as a noncommutative probability space with numerous additional operations and equipped with the notion of traffic independence. We prove that any sequence of unitarily invariant random matrices that converges in noncommutative distribution converges in distribution of traffics whenever it fulfills some factorization property. We provide an explicit description of the limit which allows to recover and extend some applications (on the freeness from the transposed ensembles by Mingo and Popa and the freeness of infinite transitive graphs by Accardi, Lenczewski and Salapata). We also improve the theory of traffic spaces by considering a positivity axiom related to the notion of state in noncommutative probability. We construct the free product of spaces of traffics and prove that it preserves the positivity condition. This analysis leads to our main result stating that every noncommutative probability space endowed with a tracial state can be enlarged and equipped with a structure of space of traffics.
Combinatorial Formulas for Certain Sequences of Multiple Numbers
Published
• View Publication
• BIB
Multiple analogues of certain families of combinatorial numbers are recently constructed by the author in terms of well poised Macdonald functions, and some of their fundamental properties are developed. In this paper, we present combinatorial formulas for the well poised Macdonald functions, the multiple binomial coefficients, the multiple bracket function, and the multiple Catalan and Lah numbers.
The cohomology rings of regular nilpotent Hessenberg varieties in Lie type A
Published
• View Publication
• BIB
Let $n$ be a fixed positive integer and $h: \{1,2,\ldots,n\} \rightarrow \{1,2,\ldots,n\}$ a Hessenberg function. The main results of this paper are twofold. First, we give a systematic method, depending in a simple manner on the Hessenberg function $h$, for producing an explicit presentation by generators and relations of the cohomology ring $H^\ast(Hess(\mathsf{N},h))$ with $\mathbb{Q}$ coefficients of the corresponding regular nilpotent Hessenberg variety $Hess(\mathsf{N},h)$. Our result generalizes known results in special cases such as the Peterson variety and also allows us to answer a question posed by Mbirika and Tymoczko. Moreover, our list of generators in fact forms a regular sequence, allowing us to use techniques from commutative algebra in our arguments. Our second main result gives an isomorphism between the cohomology ring $H^*(Hess(\mathsf{N},h))$ of the regular nilpotent Hessenberg variety and the $S_n$-invariant subring $H^*(Hess(\mathsf{S},h))^{S_n}$ of the cohomology ring of the regular semisimple Hessenberg variety (with respect to the $S_n$-action on $H^*(Hess(\mathsf{S},h))$ defined by Tymoczko). Our second main result implies that $\mathrm{dim}_{\mathbb{Q}} H^k(Hess(\mathsf{N},h)) = \mathrm{dim}_{\mathbb{Q}} H^k(Hess(\mathsf{S},h))^{S_n}$ for all $k$ and hence partially proves the Shareshian-Wachs conjecture in combinatorics, which is in turn related to the well-known Stanley-Stembridge conjecture. A proof of the full Shareshian-Wachs conjecture was recently given by Brosnan and Chow, but in our special case, our methods yield a stronger result (i.e. an isomorphism of rings) by more elementary considerations. This paper provides detailed proofs of results we recorded previously in a research announcement.
The maximum product of weights of cross-intersecting families
Published
• View Publication
• BIB
Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-$t$-intersecting if each set in $\mathcal{A}$ intersects each set in $\mathcal{B}$ in at least $t$ elements. An active problem in extremal set theory is to determine the maximum product of sizes of cross-$t$-intersecting subfamilies of a given family. We prove a cross-$t$-intersection theorem for weighted subsets of a set by means of a new subfamily alteration method, and use the result to provide solutions for three natural families. For $r\in[n]=\{1,2,\dots,n\}$, let ${[n]\choose r}$ be the family of $r$-element subsets of $[n]$, and let ${[n]\choose\leq r}$ be the family of subsets of $[n]$ that have at most $r$ elements. Let $\mathcal{F}_{n,r,t}$ be the family of sets in ${[n]\choose\leq r}$ that contain $[t]$. We show that if $g:{[m]\choose\leq r}\rightarrow\mathbb{R}^+$ and $h:{[n]\choose\leq s}\rightarrow\mathbb{R}^+$ are functions that obey certain conditions, $\mathcal{A}\subseteq{[m]\choose\leq r}$, $\mathcal{B}\subseteq{[n]\choose\leq s}$, and $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting, then \[\sum_{A\in\mathcal{A}}g(A)\sum_{B\in\mathcal{B}}h(B)\leq\sum_{C\in\mathcal{F}_{m,r,t}}g(C)\sum_{D\in\mathcal{F}_{n,s,t}}h(D),\] and equality holds if $\mathcal{A}=\mathcal{F}_{m,r,t}$ and $\mathcal{B}=\mathcal{F}_{n,s,t}$. We prove this in a more general setting and characterise the cases of equality. We use the result to show that the maximum product of sizes of two cross-$t$-intersecting families $\mathcal{A}\subseteq{[m]\choose r}$ and $\mathcal{B}\subseteq{[n]\choose s}$ is ${m-t\choose r-t}{n-t\choose s-t}$ for $\min\{m,n\}\geq n_0(r,s,t)$, where $n_0(r,s,t)$ is close to best possible. We obtain analogous results for families of integer sequences and for families of multisets. The results yield generalisations for $k\geq2$ cross-$t$-intersecting families, and Erdos-Ko-Rado-type results.
Packing spanning graphs from separable families
Published
• View Publication
• BIB
Let $\mathcal G$ be a separable family of graphs. Then for all positive constants $ε$ and $Δ$ and for every sufficiently large integer $n$, every sequence $G_1,\dotsc,G_t\in\mathcal G$ of graphs of order $n$ and maximum degree at most $Δ$ such that $e(G_1)+\dotsb+e(G_t) \leq (1-ε)\binom{n}{2}$ packs into $K_n$. This improves results of Böttcher, Hladký, Piguet, and Taraz when $\mathcal G$ is the class of trees and of Messuti, Rödl, and Schacht in the case of a general separable family. The result also implies approximate versions of the Oberwolfach problem and of the Tree Packing Conjecture of Gyárfás (1976) for the case that all trees have maximum degree at most $Δ$. The proof uses the local resilience of random graphs and a special multi-stage packing procedure.
On degree sequences of undirected, directed, and bidirected graphs
Published
• View Publication
• BIB
Bidirected graphs generalize directed and undirected graphs in that edges are oriented locally at every node. The natural notion of the degree of a node that takes into account (local) orientations is that of net-degree. In this paper, we extend the following four topics from (un)directed graphs to bidirected graphs:
- Erdős-Gallai-type results: characterization of net-degree sequences,
- Havel-Hakimi-type results: complete sets of degree-preserving operations,
- Extremal degree sequences: characterization of uniquely realizable sequences, and
- Enumerative aspects: counting formulas for net-degree sequences.
To underline the similarities and differences to their (un)directed counterparts, we briefly survey the undirected setting and we give a thorough account for digraphs with an emphasis on the discrete geometry of degree sequences. In particular, we determine the tight and uniquely realizable degree sequences for directed graphs.
On a class of transformations of sequences of complex numbers
In this paper we consider a transformation $L_a$ of sequences of complex numbers. We find the inverse transformation of $L_a$ as well as the inverse of a related transformation $\tilde{L}_a$. We explore a connection to the binomial transform and significantly generalize a previously known result. We also obtain new relations among many classical hypergeometric orthogonal polynomials as well as new formulas for sums involving terminating hypergeometric series.
Counterexamples to conjectures on graph distance measures based on topological indexes
In this paper we disprove three conjectures from [M. Dehmer, F. Emmert-Streib, Y. Shi, Interrelations of graph distance measures based on topological indices, PLoS ONE 9 (2014) e94985] on graph distance measures based on topological indices by providing explicit classes of trees that do not satisfy proposed inequalities. The constructions are based on the families of trees that have the same Wiener index, graph energy or Randic index - but different degree sequences.
On tensor products of CSS Codes
Published
• View Publication
• BIB
CSS codes are in one-to-one correspondance with length 3 chain complexes. The latter are naturally endowed with a tensor product $\otimes$ which induces a similar operation on the former. We investigate this operation, and in particular its behavior with regard to minimum distances. Given a CSS code $\mathcal{C}$, we give a criterion which provides a lower bound on the minimum distance of $\mathcal{C} \otimes \mathcal{D}$ for every CSS code $\mathcal D$. We apply this result to study the behaviour of iterated tensor powers of codes. Such sequences of codes are logarithmically LDPC and we prove in particular that their minimum distances tend generically to infinity. Different known results are reinterpretated in terms of tensor products. Three new families of CSS codes are defined, and their iterated tensor powers produce LDPC sequences of codes with length $n$, row weight in $O(\log n)$ and minimum distances larger than $n^{\fracα{2}}$ for any $α<1$. One family produces sequences with dimensions larger than $n^β$ for any $β<1$.
Paths vs. stars in the local profile of trees
Published
• View Publication
• BIB
The aim of this paper is to provide an affirmative answer to a recent question by Bubeck and Linial on the local profile of trees. For a tree $T$, let $p^{(k)}_1(T)$ be the proportion of paths among all $k$-vertex subtrees (induced connected subgraphs) of $T$, and let $p^{(k)}_2(T)$ be the proportion of stars. Our main theorem states: if $p^{(k)}_1(T_n) \to 0$ for a sequence of trees $T_1,T_2,\ldots$ whose size tends to infinity, then $p^{(k)}_2(T_n) \to 1$. Both are also shown to be equivalent to the statement that the number of $k$-vertex subtrees grows superlinearly and the statement that the $(k-1)$th degree moment grows superlinearly.
Graphs of Large Girth and Surfaces of Large Systole
Published
• View Publication
• BIB
The systole of a hyperbolic surface is bounded by a logarithmic function of its genus. This bound is sharp, in that there exist sequences of surfaces with genera tending to infinity that attain logarithmically large systoles. These are constructed by taking congruence covers of arithmetic surfaces.
In this article we provide a new construction for a sequence of surfaces with systoles that grow logarithmically in their genera. We do this by combining a construction for graphs of large girth and a count of the number of $\mathrm{SL}_2(\mathbb{Z})$ matrices with positive entries and bounded trace.
The C-finite Ansatz Meets the Holonomic Ansatz
We show how the continuous Almkvist-Zeilberger algorithm can be used to efficiently discover and prove differential equations satisfied by generating functions of sequences defined as integrals of powers of C-finite polynomial sequences (like the Chebyshev polynomials) from which one can automatically derive linear recurrences with polynomial coefficients for the sequences themselves. We fully implement this with a Maple package, CfiniteIntergal.txt .