sequence
7073 papers tagged with this keyword
On rational Dyck paths and the enumeration of factor-free Dyck words
Published in Discrete Applied Mathematics 244 (2018), 36-43
• View Publication
• BIB
Motivated by independent results of Bizley and Duchon, we study rational Dyck paths and their subset of factor-free elements. On the one hand, we give a bijection between rational Dyck paths and regular Dyck paths with ascents colored by factor-free words. This bijection leads to a new statistic based on the reducibility level of the paths for which we provide a corresponding formula. On the other hand, we prove an inverse relation for certain sequences defined via partial Bell polynomials, and we use it to derive a formula for the enumeration of factor-free words. In addition, we give alternative formulas for various enumerative sequences that appear in the context of rational Dyck paths.
Note on the index conjecture in zero-sum theory and its connection to a Dedekind-type sum
Published
• View Publication
• BIB
Let $S=(a_1)\cdots(a_k)$ be a minimal zero-sum sequence over a finite cyclic group $G$. The index conjecture states that if $k=4$ and $\gcd(|G|,6)=1$, then $S$ has index 1. In this note we study the index conjecture and connect it to a Dedekind-type sum. In particular we reprove a special case of the conjecture when $|G|$ is prime.
The average number of spanning trees in sparse graphs with given degrees
Published
• View Publication
• BIB
We give an asymptotic expression for the expected number of spanning trees in a random graph with a given degree sequence $\boldsymbol{d}=(d_1,\ldots, d_n)$, provided that the number of edges is at least $n + \textstyle{\frac{1}{2}} d_{\max}^4$, where $d_{\max}$ is the maximum degree. A key part of our argument involves establishing a concentration result for a certain family of functions over random trees with given degrees, using Prüfer codes.
Bounds for approximating lower envelopes with polynomials of degree at most $d$
Given a lower envelope in the form of an arbitrary sequence $u$, let $LSP(u, d)$ denote the maximum length of any subsequence of $u$ that can be realized as the lower envelope of a set of polynomials of degree at most $d$. Let $sp(m, d)$ denote the minimum value of $LSP(u, d)$ over all sequences $u$ of length $m$. We derive bounds on $sp(m, d)$ using another extremal function for sequences.
A sequence $u$ is called $v$-free if no subsequence of $u$ is isomorphic to $v$. Given sequences $u$ and v, let $LSS(u, v)$ denote the maximum length of a $v$-free subsequence of $u$. Let $ss(m, v)$ denote the minimum of $LSS(u, v)$ over all sequences $u$ of length $m$. By bounding $ss(m, v)$ for alternating sequences $v$, we prove quasilinear bounds in $m^{1/2}$ on $sp(m,d)$ for all $d > 0$.
On Chari-Loktev bases for local Weyl modules in type $A$
Published
• View Publication
• BIB
This paper is a study of the bases introduced by Chari-Loktev for local Weyl modules of the current algebra associated to a special linear Lie algebra. Partition overlaid patterns, POPs for short---whose introduction is one of the aims of this paper---form convenient parametrizing sets of these bases. They play a role analogous to that played by (Gelfand-Tsetlin) patterns in the representation theory of the special linear Lie algebra.
The notion of a POP leads naturally to the notion of area of a pattern. We observe that there is a unique pattern of maximal area among all those with a given bounding sequence and given weight. We give a combinatorial proof of this and discuss its representation theoretic relevance.
We then state a conjecture about the "stability", i.e., compatibility in the long range, of Chari-Loktev bases with respect to inclusions of local Weyl modules. In order to state the conjecture, we establish a certain bijection between colored partitions and POPs, which may be of interest in itself.
Not all simple looking degree sequence problems are easy
Published
• View Publication
• BIB
Degree sequence (DS) problems are around for at least hundred twenty years, and with the advent of network science, more and more complicated, structured DS problems were invented. Interestingly enough all those problems so far are computationally easy. It is clear, however, that we will find soon computationally hard DS problems. In this paper we want to find such hard DS problems with relatively simple definition.
For a vertex $v$ in the simple graph $G$ denote $d_i(v)$ the number of vertices at distance exactly $i$ from $v$. Then $d_1(v)$ is the usual degree of vertex $v.$ The vector $\mathbf{d}^2(G)=( (d_1(v_1), d_2(v_1)), \ldots,$ $(d_1(v_n), d_2(v_n))$ is the {\bf second order degree sequence} of the graph $G$. In this note we show that the problem to decide whether a sequence of natural numbers $((i_1,j_1),\ldots (i_n,j_n))$ is a second order degree sequence of a simple undirected graph $G$ is strongly NP-complete. Then we will discuss some further NP-complete DS problems.
Monochromatic paths for the integers
Published in European Journal of Combinatorics (2016), pp. 283-288
• View Publication
• BIB
Recall that van der Waerden's theorem states that any finite coloring of the naturals has arbitrarily long monochromatic arithmetic sequences. We explore questions about the set of differences of those sequences.
Subword Complexity and (non)-automaticity of certain completely multiplicative functions
Published
• View Publication
• BIB
In this article, we prove that for a completely multiplicative function $f$ from $\mathbb{N}^*$ to a field $K$ such that the set $$\{p \;|\; f(p)\neq 1_K \;\mbox{and }p \mbox{ is prime}\}$$ is finite, the asymptotic subword complexity of $f$ is $Θ(n^t)$, where $t$ is the number of primes $p$ that $f(p)\neq 0_K, 1_K$. This proves in particular that sequences like $((-1)^{v_2(n)+v_3(n)})_n$ are not $k$-automatic for $k\geq 2$.
The exact power law and Pascal pyramid
Published in International Journal of Mathematics and Mathematical Sciences, vol. 2017, Article ID 9143747, 2017
• View Publication
• BIB
Let $ω_0, ω_1,\ldots, ω_n$ be a full set of outcomes (letters, symbols) and let positive $p_i$, $i=0,\ldots,n$, be their probabilities ($\sum_{i=0}^n p_i=1$). Let us treat $ω_0$ as a stop symbol; it can occur in sequences of symbols (we call them words) only once, at the very end. The probability of a word is defined as the product of probabilities of its letters. We consider the list of all possible words sorted in the non-increasing order of their probabilities. Let $p(r)$ be the probability of the $r$th word in this list. We prove that if at least one of ratios $\log p_i/\log p_j$, $i,j\in\{ 1,\ldots,n\}$, is irrational, then the limit $\lim_{r\to\infty} p(r)/r^{1/γ}$ exists and differs from zero; here $γ$ is the root of the equation $\sum_{i=1}^n p_i^γ=1$. Some weaker results were established earlier. We are first to write an explicit formula for this limit constant at the power function; it can be expressed (rather easily) in terms of the entropy of the distribution~$(p_1^γ,\ldots,p_n^γ)$.
Uniformly de Bruijn sequences and symbolic Diophantine approximation on fractals
Published
• View Publication
• BIB
Intrinsic Diophantine approximation on fractals, such as the Cantor ternary set, was undoubtedly motivated by questions asked by K. Mahler (1984). One of the main goals of this paper is to develop and utilize the theory of infinite de Bruijn sequences in order to answer closely related questions. In particular, we prove that the set of infinite de Bruijn sequences in $k\geq 2$ letters, thought of as a set of real numbers via a decimal expansion, has positive Hausdorff dimension. For a given $k$, these sequences bear a strong connection to Diophantine approximation on certain fractals. In particular, the optimality of an intrinsic Dirichlet function on these fractals with respect to the height function defined by symbolic representations of rationals follows from these results.
Beyond the Borsuk-Ulam theorem: The topological Tverberg story
Bárány's "topological Tverberg conjecture" from 1976 states that any continuous map of an $N$-simplex $Δ_N$ to $\mathbb{R}^d$, for $N\ge(d+1)(r-1)$, maps points from $r$ disjoint faces in $Δ_N$ to the same point in $\mathbb{R}^d$. The proof of this result for the case when $r$ is a prime, as well as some colored version of the same result, using the results of Borsuk-Ulam and Dold on the non-existence of equivariant maps between spaces with a free group action, were main topics of Matoušek's 2003 book "Using the Borsuk-Ulam theorem."
In this paper we show how advanced equivariant topology methods allow one to go beyond the prime case of the topological Tverberg conjecture.
First we explain in detail how equivariant cohomology tools (employing the Borel construction, comparison of Serre spectral sequences, Fadell-Husseini index, etc.) can be used to prove the topological Tverberg conjecture whenever $r$ is a prime power. Our presentation includes a number of improved proofs as well as new results, such as a complete determination of the Fadell-Husseini index of chessboard complexes in the prime case.
Then we introduce the "constraint method," which applied to suitable "unavoidable complexes" yields a great variety of variations and corollaries to the topological Tverberg theorem, such as the "colored" and the "dimension-restricted" (Van Kampen-Flores type) versions.
Both parts have provided crucial components to the recent spectacular counter-examples in high dimensions for the case when $r$ is not a prime power.
On the p-adic valuation of Stirling numbers of the first kind
Published in Acta Mathematica Hungarica 151 (2017) 217-231
• View Publication
• BIB
For all integers $n \geq k \geq 1$, define $H(n,k) := \sum 1 / (i_1 \cdots i_k)$, where the sum is extended over all positive integers $i_1 < \cdots < i_k \leq n$. These quantities are closely related to the Stirling numbers of the first kind by the identity $H(n,k) = s(n + 1, k + 1) / n!$. Motivated by the works of Erdős-Niven and Chen-Tang, we study the $p$-adic valuation of $H(n,k)$. In particular, for any prime number $p$, integer $k \geq 2$, and $x \geq (k-1)p$, we prove that $ν_p(H(n,k)) < -(k - 1)(\log_p(n/(k - 1)) - 1)$ for all positive integers $n \in [(k-1)p, x]$ whose base $p$ representations start with the base $p$ representation of $k - 1$, but at most $3x^{0.835}$ exceptions. We also generalize a result of Lengyel by giving a description of $ν_2(H(n,2))$ in terms of an infinite binary sequence.
Some Results and Connections of an Eigendecomposition Problem
We consider the problem of finding nonzero eigenvalues and the corresponding eigenvectors of a matrix $AA^{\top}$, where $A$ is a special incidence matrix; This matrix can equivalently be defined based on a match relation between some sequences. By using a concrete description of the obtained eigenvectors, we show that these are pairwise orthogonal and satisfy nice properties. The combinatorial arguments, in the sequel, lead us to obtain formulas for entries of matrices $W$ and $WA$, where $W$ is the Moore-Penrose pseudo-inverse of $A$. A special case of this problem has previously found applications in computational biology. .
Cross-intersecting pairs of hypergraphs
Published
• View Publication
• BIB
Two hypergraphs $H_1,\ H_2$ are called {\em cross-intersecting} if $e_1 \cap e_2 \neq \emptyset$ for every pair of edges $e_1 \in H_1,~e_2 \in H_2$. Each of the hypergraphs is then said to {\em block} the other. Given parameters $n,r,m$ we determine the maximal size of a sub-hypergraph of $[n]^r$ (meaning that it is $r$-partite, with all sides of size $n$) for which there exists a blocking sub-hypergraph of $[n]^r$ of size $m$. The answer involves a fractal-like (that is, self-similar) sequence, first studied by Knuth. We also study the same question with $\binom{n}{r}$ replacing $[n]^r$.
Another proof of Moon's theorem on generalised tournament score sequences
Landau \cite{Landau1953} showed that a sequence $(d_i)_{i=1}^n$ of integers is the score sequence of some tournament if and only if $\sum_{i\in J}d_i \geq \binom{|J|}{2}$ for all $J\subseteq \{1,2,\dots, n\}$, with equality if $|J|=n$. Moon \cite{Moon63} extended this result to generalised tournaments. We show how Moon's result can be derived from Landau's result.
The Erdős-Rothschild problem on edge-colourings with forbidden monochromatic cliques
Published
• View Publication
• BIB
Let $\mathbf{k} := (k_1,\dots,k_s)$ be a sequence of natural numbers. For a graph $G$, let $F(G;\mathbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges of colour $c$ contain no clique of order $k_c$. Write $F(n;\mathbf{k})$ to denote the maximum of $F(G;\mathbf{k})$ over all graphs $G$ on $n$ vertices. This problem was first considered by Erdős and Rothschild in 1974, but it has been solved only for a very small number of non-trivial cases.
We prove that, for every $\mathbf{k}$ and $n$, there is a complete multipartite graph $G$ on $n$ vertices with $F(G;\mathbf{k}) = F(n;\mathbf{k})$. Also, for every $\mathbf{k}$ we construct a finite optimisation problem whose maximum is equal to the limit of $\log_2 F(n;\mathbf{k})/{n\choose 2}$ as $n$ tends to infinity. Our final result is a stability theorem for complete multipartite graphs $G$, describing the asymptotic structure of such $G$ with $F(G;\mathbf{k}) = F(n;\mathbf{k}) \cdot 2^{o(n^2)}$ in terms of solutions to the optimisation problem.
Canonical Horizontal Visibility Graphs are uniquely determined by their degree sequence
Published
• View Publication
• BIB
Horizontal visibility graphs (HVGs) are graphs constructed in correspondence with number sequences that have been introduced and explored recently in the context of graph-theoretical time series analysis. In most of the cases simple measures based on the degree sequence (or functionals of these such as entropies over degree and joint degree distributions) appear to be highly informative features for automatic classification and provide nontrivial information on the associated dynam- ical process, working even better than more sophisticated topological metrics. It is thus an open question why these seemingly simple measures capture so much information. Here we prove that, under suitable conditions, there exist a bijection between the adjacency matrix of an HVG and its degree sequence, and we give an explicit construction of such bijection. As a consequence, under these conditions HVGs are unigraphs and the degree sequence fully encapsulates all the information of these graphs, thereby giving a plausible reason for its apparently unreasonable effectiveness.
The Local $h$-Polynomials of Cluster Subdivisions Have Only Real Zeros
Published
• View Publication
• BIB
Athanasiadis raised the question whether the local $h$-polynomials of type $A$ cluster subdivisions have only real zeros. In this paper, we confirm this conjecture and prove the real-rootedness of local $h$-polynomials for all the other Cartan--Killing types. Our proofs mainly involve multiplier sequences and Chebyshev polynomials of the second kind.
Restricted growth function patterns and statistics
Published
• View Publication
• BIB
A restricted growth function (RGF) of length n is a sequence w = w_1 w_2 ... w_n of positive integers such that w_1 = 1 and w_i is at most 1 + max{w_1,..., w_{i-1}} for i at least 2. RGFs are of interest because they are in natural bijection with set partitions of {1, 2, ..., n}. RGF w avoids RGF v if there is no subword of w which standardizes to v. We study the generating functions sum_{w in R_n(v)} q^{st(w)} where R_n(v) is the set of RGFs of length n which avoid v and st(w) is any of the four fundamental statistics on RGFs defined by Wachs and White. These generating functions exhibit interesting connections with integer partitions and two-colored Motzkin paths, as well as noncrossing and nonnesting set partitions.
Wilf classification of triples of 4-letter patterns
Published
• View Publication
• BIB
We determine all 242 Wilf classes of triples of 4-letter patterns by showing that there are 32 non-singleton Wilf classes. There are 317 symmetry classes of triples of 4-letter patterns and after computer calculation of initial terms, the problem reduces to showing that counting sequences that appear to be the same (agree in the first 16 terms) are in fact identical. The insertion encoding algorithm (INSENC) accounts for many of these and some others have been previously counted; in this paper, we find the generating function for each of the remaining 36 triples and it turns out to be algebraic in every case. Our methods are both combinatorial and analytic, including decompositions by left-right maxima and by initial letters. Sometimes this leads to an algebraic equation for the generating function, sometimes to a functional equation or a multi-index recurrence that succumbs to the kernel method. A particularly nice so-called cell decomposition is used in one case and a bijection is used for another.