sequence
6845 papers tagged with this keyword
A Note on Minimal zero-sum sequences over ${\mathbb Z}$
Published
• View Publication
• BIB
A zero-sum sequence over ${\mathbb Z}$ is a sequence with terms in ${\mathbb Z}$ that sum to $0$. It is called minimal if it does not contain a proper zero-sum subsequence. Consider a minimal zero-sum sequence over ${\mathbb Z}$ with positive terms $a_1,\ldots,a_h$ and negative terms $b_1,\ldots,b_k$. We prove that $h\leq \lfloor σ^+/k\rfloor$ and $k\leq \lfloor σ^+/h\rfloor$, where $σ^+=\sum_{i=1}^h a_i=-\sum_{j=1}^k b_j$. These bounds are tight and improve upon previous results. We also show a natural partial order structure on the collection of all minimal zero-sum sequences over the set $\{i\in {\mathbb Z}:\; -n\leq i\leq n\}$ for any positive integer $n$.
Improved bounds on maximum sets of letters in sequences with forbidden alternations
Let $A_{s,k}(m)$ be the maximum number of distinct letters in any sequence which can be partitioned into $m$ contiguous blocks of pairwise distinct letters, has at least $k$ occurrences of every letter, and has no subsequence forming an alternation of length $s$. Nivasch (2010) proved that $A_{5, 2d+1}(m) = θ( m α_{d}(m))$ for all fixed $d \geq 2$. We show that $A_{s+1, s}(m) = \binom{m- \lceil \frac{s}{2} \rceil}{\lfloor \frac{s}{2} \rfloor}$ for all $s \geq 2$, $A_{5, 6}(m) = θ(m \log \log m)$, and $A_{5, 2d+2}(m) = θ(m α_{d}(m))$ for all fixed $d \geq 3$.
Trees in Random Sparse Graphs with a Given Degree Sequence
Let $\mathbb{G}^{D}$ be the set of graphs $G(V,\, E)$ with $\left|V\right|=n$, and the degree sequence equal to $D=(d_{1},\, d_{2},\,\dots,\, d_{n})$. In addition, for $\frac{1}{2}<a<1$, we define the set of graphs with an almost given degree sequence $D$ as follows, \[ \mathbb{G}_{a}^{D}:=\cup\,\mathbb{G}^{\bar{D}}, \] where the union is over all degree sequences $\bar{D}$ such that, for $1\leq i\leq n$, we have $\left|d_{i}-\bar{d}_{i}\right|<d_{i}^{a}$.
Now, if we chose random graphs $\mathcal{G}_{\mathbf{g}}\left(D\right)$ and $\mathcal{G}_{\mathbf{a}}\left(D\right)$ uniformly out of the sets $\mathbb{G}^{D}$ and $\mathbb{G}_{a}^{D}$, respectively, what do they look like? This has been studied when $\mathcal{G}_{\mathbf{g}}\left(D\right)$ is a dense graph, i.e. $\left|E\right|=Θ(n^{2})$, in the sense of graphons, or when $\mathcal{G}_{\mathbf{g}}\left(D\right)$ is very sparse, i.e. $d_{n}^{2}=o(\left|E\right|)$. In the case of sparse graphs with an almost given degree sequence, we investigate this question, and give the finite tree subgraph structure of $\mathcal{G}_{\mathbf{a}}\left(D\right)$ under some mild conditions. For the random graph $\mathcal{G}_{\mathbf{g}}\left(D\right)$ with a given degree sequence, we re-derive the finite tree structure in dense and very sparse cases to give a continuous picture.
Moreover, for a pair of vectors $\left(D_{1},D_{2}\right)\in\mathbb{Z}^{n_{1}}\times\mathbb{Z}^{n_{2}}$, we let $\mathcal{G}_{\mathbf{b}}\left(D_{1},D_{2}\right)$ be the random bipartite graph that is chosen uniformly out of the set $\mathbb{G}^{D_{1},D_{2}}$, where $\mathbb{G}^{D_{1},D_{2}}$ is the set of all bipartite graphs with the degree sequence $\left(D_{1},D_{2}\right)$. We are able to show the result for $\mathcal{G}_{\mathbf{b}}\left(D_{1},D_{2}\right)$ without any further conditions.
Extremal results on average subtree density of series-reduced trees
Published in Journal of Combinatorial Theory, Series B, 107 (2014)
• View Publication
• BIB
Vince and Wang showed that the average subtree density of a series-reduced tree is between 1/2 and 3/4, answering a conjecture of Jamison. They ask under what conditions a sequence of such trees may have average subtree density tending to either bound; we answer these questions by giving simple necessary and sufficient conditions in each case.
Coefficients of Sylvester's Denumerant
Published in INTEGERS, vol 15 (2005), A11
• View Publication
• BIB
For a given sequence $\mathbfα = [α_1,α_2,\dots,α_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbfα)(t)$ that counts the nonnegative integer solutions of the equation $α_1x_1+α_2 x_2+\cdots+α_{N} x_{N}+α_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\mathbfα)(t)$ is a quasi-polynomial function in the variable $t$ of degree $N$. In combinatorial number theory this function is known as Sylvester's denumerant.
Our main result is a new algorithm that, for every fixed number $k$, computes in polynomial time the highest $k+1$ coefficients of the quasi-polynomial $E(\mathbfα)(t)$ as step polynomials of $t$ (a simpler and more explicit representation). Our algorithm is a consequence of a nice poset structure on the poles of the associated rational generating function for $E(\mathbfα)(t)$ and the geometric reinterpretation of some rational generating functions in terms of lattice points in polyhedral cones. Our algorithm also uses Barvinok's fundamental fast decomposition of a polyhedral cone into unimodular cones. This paper also presents a simple algorithm to predict the first non-constant coefficient and concludes with a report of several computational experiments using an implementation of our algorithm in LattE integrale. We compare it with various Maple programs for partial or full computation of the denumerant.
Some Tauberian theory for the q-Lagrange inversion
We consider formal power series defined through the functional q-equation of the q-Lagrange inversion. Under some assumptions, we obtain the asymptotic behavior of the coefficients of these power series. As a by-product, we show that, via the 1/q-Borel transform, the q-Lagrange inversion formula provides an interpolation between the usual Lagrange inversion (q=1) and the probabilistic theory of renewal sequences (q tends to 0). We also discuss some new solutions of the q-Lagrange inversion equation which do not vanish at 0.
A Distributive Lattice Connected with Arithmetic Progressions of Length Three
Published
• View Publication
• BIB
Let $\mathcal{T}$ be a collection of 3-element subsets $S$ of $\{1, \ldots,n\}$ with the property that if $i<j<k$ and $a<b<c$ are two 3-element subsets in $S$, then there exists an integer sequence $x_1 < x_2 < \cdots < x_n$ such that $x_i, x_j, x_k$ and $x_a, x_b, x_c$ are arithmetic progressions. We determine the number of such collections $\mathcal{T}$ and the number of them of maximum size. These results confirm two conjectures of Noam Elkies.
Strong forms of linearization for Hopf monoids in species
Published in J. Algebr. Comb. 42 (2015), 391-428
• View Publication
• BIB
A vector species is a functor from the category of finite sets with bijections to vector spaces; informally, one can view this as a sequence of $S_n$-modules. A Hopf monoid (in the category of vector species) consists of a vector species with unit, counit, product, and coproduct morphisms satisfying several compatibility conditions, analogous to a graded Hopf algebra. We say that a Hopf monoid is strongly linearized if it has a "basis" preserved by its product and coproduct in a certain sense. We prove several equivalent characterizations of this property, and show that any strongly linearized Hopf monoid which is commutative and cocommutative possesses four bases which one can view as analogues of the classical bases of the algebra of symmetric functions. There are natural functors which turn Hopf monoids into graded Hopf algebras, and applying these functors to strongly linearized Hopf monoids produces several notable families of Hopf algebras. For example, in this way we give a simple unified construction of the Hopf algebras of superclass functions attached to the maximal unipotent subgroups of three families of classical Chevalley groups.
Metric characterizations of superreflexivity in terms of word hyperbolic groups and finite graphs
Published in Analysis and Geometry in Metric Spaces, 2 (2014), 154-168
• View Publication
• BIB
We show that superreflexivity can be characterized in terms of bilipschitz embeddability of word hyperbolic groups. We compare characterizations of superreflexivity in terms of diamond graphs and binary trees. We show that there exist sequences of series-parallel graphs of increasing topological complexity which admit uniformly bilipschitz embeddings into a Hilbert space, and thus do not characterize superreflexivity.
Strong forms of self-duality for Hopf monoids in species
Published in Trans. Amer. Math. Soc. 368 (2016), 5433-5473
• View Publication
• BIB
A vector species is a functor from the category of finite sets with bijections to vector spaces (over a fixed field); informally, one can view this as a sequence of $S_n$-modules. A Hopf monoid (in the category of vector species) consists of a vector species with unit, counit, product, and coproduct morphisms satisfying several compatibility conditions, analogous to a graded Hopf algebra. A vector species has a basis if and only if it is given by a sequence of $S_n$-modules which are permutation representations. We say that a Hopf monoid is freely self-dual if it is connected and finite-dimensional, and if it has a basis in which the structure constants of its product and coproduct coincide. Such Hopf monoids are self-dual in the usual sense, and we show that they are furthermore both commutative and cocommutative. We prove more specific classification theorems for freely self-dual Hopf monoids whose products (respectively, coproducts) are linearized in the sense that they preserve the basis; we call such Hopf monoids strongly self-dual (respectively, linearly self-dual). In particular, we show that every strongly self-dual Hopf monoid has a basis isomorphic to some species of block-labeled set partitions, on which the product acts as the disjoint union. In turn, every linearly self-dual Hopf monoid has a basis isomorphic to the species of maps to a fixed set, on which the coproduct acts as restriction. It follows that every linearly self-dual Hopf monoid is strongly self-dual. Our final results concern connected Hopf monoids which are finite-dimensional, commutative, and cocommutative. We prove that such a Hopf monoid has a basis in which its product and coproduct are both linearized if and only if it is strongly self-dual with respect to a basis equipped with a certain partial order, generalizing the refinement partial order on set partitions.
The Flip Diameter of Rectangulations and Convex Subdivisions
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Combinatorics (March 17, 2016) dmtcs:646
• View Publication
• BIB
We study the configuration space of rectangulations and convex subdivisions of $n$ points in the plane. It is shown that a sequence of $O(n\log n)$ elementary flip and rotate operations can transform any rectangulation to any other rectangulation on the same set of $n$ points. This bound is the best possible for some point sets, while $Θ(n)$ operations are sufficient and necessary for others. Some of our bounds generalize to convex subdivisions of $n$ points in the plane.
Permutations sortable by two stacks in parallel and quarter plane walks
Published in Europ. J. Combin. 43 (2015) p. 131-164
• View Publication
• BIB
At the end of the 1960s, Knuth characterised the permutations that can be sorted using a stack in terms of forbidden patterns. He also showed that they are in bijection with Dyck paths and thus counted by the Catalan numbers. Subsequently, Even \& Itai, Pratt and Tarjan studied permutations that can be sorted using two stacks in parallel. This problem is significantly harder. In particular, a sortable permutation can now be sorted by several distinct sequences of stack operations. Moreover, in order to be sortable, a permutation must avoid infinitely many patterns. The associated counting question has remained open for 40 years. We solve it by giving a pair of functional equations that characterise the generating function of permutations that can be sorted with two parallel stacks. The first component of this system describes the generating function Q(a,u) of square lattice loops confined to the positive quadrant, counted by the length and the number of North-West and East-South factors. Our analysis of the asymptotic number of sortable permutations relies at the moment on two intriguing conjectures dealing with the series Q(a,u). We prove that they hold for loops confined to the upper half plane, or not confined at all. They remain open for quarter plane loops. Given the recent activity on walks confined to cones, we believe them to be attractive per se.
The densest subgraph problem in sparse random graphs
Published in Annals of Applied Probability 2016, Vol. 26, No. 1, 305-327
• View Publication
• BIB
We determine the asymptotic behavior of the maximum subgraph density of large random graphs with a prescribed degree sequence. The result applies in particular to the Erdős-Rényi model, where it settles a conjecture of Hajek [IEEE Trans. Inform. Theory 36 (1990) 1398-1414]. Our proof consists in extending the notion of balanced loads from finite graphs to their local weak limits, using unimodularity. This is a new illustration of the objective method described by Aldous and Steele [In Probability on Discrete Structures (2004) 1-72 Springer].
Cyclotomy of Weil Sums of Binomials
Published
• View Publication
• BIB
The Weil sum $W_{K,d}(a)=\sum_{x \in K} ψ(x^d + a x)$ where $K$ is a finite field, $ψ$ is an additive character of $K$, $d$ is coprime to $|K^\times|$, and $a \in K^\times$ arises often in number-theoretic calculations, and in applications to finite geometry, cryptography, digital sequence design, and coding theory. Researchers are especially interested in the case where $W_{K,d}(a)$ assumes three distinct values as $a$ runs through $K^\times$. A Galois-theoretic approach, combined with $p$-divisibility results on Gauss sums, is used here to prove a variety of new results that constrain which fields $K$ and exponents $d$ support three-valued Weil sums, and restrict the values that such Weil sums may assume.
On the existence of 1-separated sequences on the unit ball of a finite dimensional Banach space
Published
• View Publication
• BIB
Given a finite dimensional Banach space X with dimX = n and an Auerbach basis of X, it is proved that: there exists a set D of n + 1 linear combinations (with coordinates 0, -1, +1) of the members of the basis, so that each pair of different elements of D have distance greater than one.
Supercongruences for sporadic sequences
Published in Proceedings of the Edinburgh Mathematical Society (2) 59 (2016), no. 2, 503-518
• View Publication
• BIB
We prove two-term supercongruences for generalizations of recently discovered sporadic sequences of Cooper. We also discuss recent progress and future directions concerning other types of supercongruences.
A Stability Result for Sparse Convolutions
We will establish in this note a stability result for sparse convolutions on torsion-free additive (discrete) abelian groups. Sparse convolutions on torsion-free groups are free of cancellations and hence admit stability, i.e. injectivity with a universal lower bound $α=α(s,f)$, only depending on the cardinality $s$ and $f$ of the supports of both input sequences. More precisely, we show that $α$ depends only on $s$ and $f$ and not on the ambient dimension. This statement follows from a reduction argument which involves a compression into a small set preserving the additive structure of the supports.
Invariant games and non-homogeneous Beatty sequences
We characterize all the pairs of complementary non-homogenous Beatty sequences $(A_n)_{n\ge 0}$ and $(B_n)_{n\ge 0}$ for which there exists an invariant game having exactly $\{(A_n,B_n)\mid n\ge 0\}\cup \{(B_n,A_n)\mid n\ge 0\}$ as set of $\mathcal{P}$-positions. Using the notion of Sturmian word and tools arising in symbolic dynamics and combinatorics on words, this characterization can be translated to a decision procedure relying only on a few algebraic tests about algebraicity or rational independence. Given any four real numbers defining the two sequences, up to these tests, we can therefore decide whether or not such an invariant game exists.
Forcing $k$-repetitions in degree sequences
Published
• View Publication
• BIB
One of the most basic results in graph theory states that every graph with at least two vertices has two vertices with the same degree. Since there are graphs without $3$ vertices of the same degree, it is natural to ask if for any fixed $k$, every graph $G$ is ``close'' to a graph $G'$ with $k$ vertices of the same degree. Our main result in this paper is that this is indeed the case. Specifically, we show that for any positive integer $k$, there is a constant $C=C(k)$, so that given any graph $G$, one can remove from $G$ at most $C$ vertices and thus obtain a new graph $G'$ that contains at least $\min\{k,|G|-C\}$ vertices of the same degree.
Our main tool is a multidimensional zero-sum theorem for integer sequences, which we prove using an old geometric approach of Alon and Berman.
Random Subgraphs in Sparse Graphs
Published
• View Publication
• BIB
We investigate the threshold probability for connectivity of sparse graphs under weak assumptions. As a corollary this completely solve the problem for Cartesian powers of arbitrary graphs. In detail, let $G$ be a connected graph on $k$ vertices, $G^n$ the $n$-th Cartesian power of $G$, $α_i$ be the number of vertices of degree $i$ of $G$, $λ$ be a positive real number, and $G^n_p$ be the graph obtained from $G^n$ by deleting every edge independently with probability $1-p$. If $\sum_{i}α_i(1-p)^i=λ^{\frac{1}{n}}$, then $\lim_{n\rightarrow \infty}\mathbb{P}[G^n_p {\rm\ is\ connected}]=\exp(-λ)$. This result extends known results for regular graphs. The main result implies that the threshold probability does not depend on the graph structure of $G$ itself, but only on the degree sequence of the graph.