sequence
7073 papers tagged with this keyword
Geometric Progression-Free Sequences with Small Gaps II
When $k$ is a constant at least $3$, a sequence $S$ of positive integers is called $k$-GP-free if it contains no nontrivial $k$-term geometric progressions. Beiglbök, Bergelson, Hindman and Strauss first studied the existence of a $ $$k$-GP-free sequence with bounded gaps. In a previous paper the author gave a partial answer to this question by constructing a $6$-GP-free sequence $S$ with gaps of size $O(\exp(6\log n/\log\log n))$. We generalize this problem to allow the gap function $k$ to grow to infinity, and ask: for which pairs of functions $(h,k)$ do there exist $k$-GP-free sequences with gaps of size $O(h)$? We show that whenever $(k(n)-3)\log h(n)\log\log h(n)\ge4\log2\cdot\log n$ and $h,k$ satisfy mild growth conditions, such a sequence exists.
On the number of principal ideals in d-tonal partition monoids
Published
• View Publication
• BIB
For a positive integer $d$, a non-negative integer $n$ and a non-negative integer $h\leq n$, we study the number $C_{n}^{(d)}$ of principal ideals; and the number $C_{n,h}^{(d)}$ of principal ideals generated by an element of rank $h$, in the $d$-tonal partition monoid on $n$ elements. We compute closed forms for the first family, as partial cumulative sums of known sequences. The second gives an infinite family of new integral sequences. We discuss their connections to certain integral lattices as well as to combinatorics of partitions.
Exact sampling of graphs with prescribed degree correlations
Published
• View Publication
• BIB
Many real-world networks exhibit correlations between the node degrees. For instance, in social networks nodes tend to connect to nodes of similar degree. Conversely, in biological and technological networks, high-degree nodes tend to be linked with low-degree nodes. Degree correlations also affect the dynamics of processes supported by a network structure, such as the spread of opinions or epidemics. The proper modelling of these systems, i.e., without uncontrolled biases, requires the sampling of networks with a specified set of constraints. We present a solution to the sampling problem when the constraints imposed are the degree correlations. In particular, we develop an efficient and exact method to construct and sample graphs with a specified joint-degree matrix, which is a matrix providing the number of edges between all the sets of nodes of a given degree, for all degrees, thus completely specifying all pairwise degree correlations, and additionally, the degree sequence itself. Our algorithm always produces independent samples without backtracking. The complexity of the graph construction algorithm is O(NM) where N is the number of nodes and M is the number of edges.
On the Erd{ő}s-Ginzburg-Ziv constant of groups of the form $C_2^r\oplus C_n$
Published
• View Publication
• BIB
Let $G$ be a finite abelian group. The Erd{ő}s-Ginzburg-Ziv constant $\mathsf s(G)$ of $G$ is defined as the smallest integer $l\in \mathbb{N}$ such that every sequence $S$ over $G$ of length $|S|\geq l$ has a zero-sum subsequence $T$ of length $|T|= {\exp}(G)$. The value of this classical invariant for groups with rank at most two is known. But the precise value of $\mathsf s(G)$ for the groups of rank larger than two is difficult to determine. In this paper we pay our attentions to the groups of the form $C_2^{r-1}\oplus C_{2n}$, where $r\geq 3$ and $n\ge 2$. We give a new upper bound of $\mathsf s(C_2^{r-1}\oplus C_{2n})$ for odd integer $n$. For $r\in [3,4]$, we obtain that $\mathsf s(C_2^2\oplus C_{2n})=4n+3$ for $n\ge 2$ and $\mathsf s(C_2^{3}\oplus C_{2n})=4n+5$ for $n\geq 36$.
On realization graphs of degree sequences
Published in Discrete Mathematics, vol. 339 (2016), no. 8, pp. 2146-2152
• View Publication
• BIB
Given the degree sequence $d$ of a graph, the realization graph of $d$ is the graph having as its vertices the labeled realizations of $d$, with two vertices adjacent if one realization may be obtained from the other via an edge-switching operation. We describe a connection between Cartesian products in realization graphs and the canonical decomposition of degree sequences described by R.I. Tyshkevich and others. As applications, we characterize the degree sequences whose realization graphs are triangle-free graphs or hypercubes.
A study of a family of generating functions of Nelsen-Schmidt type and some identities on restricted barred preferential arrangements
Published
• View Publication
• BIB
A preferential arrangement of a set $X_n=\{1,2,...,n\}$ is an ordered partition of the set $X_n$ induced with a linear order. Separation of blocks of a preferential arrangement with bars result in the notation of barred preferential arrangements. Roger Nelsen and Harvey Schmidt have proposed the family of generating functions $P^k(m)=\frac{e^{km}}{2-e^m}$; which for $k=0$ and for $k=2$ they have shown that the generating functions are exponential generating functions for the number of preferential arrangements of a set $X_n$ and the number of chains in the power set of $X_n$ respectively. In this study we propose combinatorial structures whose integer sequences are generated by members of the family for all values of $k$ in $\mathbb{Z}^+$. To do this we use a notion of restricted barred preferential arrangements. We then propose a more general family of generating functions
$P^{r}_{j}(m)=\frac{e^{rm}}{(2-e^m)^j}$ for $r,j\in\mathbb{Z^+}$. We derive some new identities on restricted barred preferential arrangements and give their combinatorial proofs. We also propose conjectures on number of restricted barred preferential arrangements.
Minimal complexity of equidistributed infinite permutations
Published
• View Publication
• BIB
An infinite permutation is a linear ordering of the set of natural numbers. An infinite permutation can be defined by a sequence of real numbers where only the order of elements is taken into account. In the paper we investigate a new class of {\it equidistributed} infinite permutations, that is, infinite permutations which can be defined by equidistributed sequences. Similarly to infinite words, a complexity $p(n)$ of an infinite permutation is defined as a function counting the number of its subpermutations of length $n$. For infinite words, a classical result of Morse and Hedlund, 1938, states that if the complexity of an infinite word satisfies $p(n) \leq n$ for some $n$, then the word is ultimately periodic. Hence minimal complexity of aperiodic words is equal to $n+1$, and words with such complexity are called Sturmian. For infinite permutations this does not hold: There exist aperiodic permutations with complexity functions growing arbitrarily slowly, and hence there are no permutations of minimal complexity. We show that, unlike for permutations in general, the minimal complexity of an equidistributed permutation $α$ is $p_α(n)=n$. The class of equidistributed permutations of minimal complexity coincides with the class of so-called Sturmian permutations, directly related to Sturmian words.
Maximal Green Sequences for Cluster Algebras Associated to the Orientable Surfaces of Genus n with Arbitrary Punctures
Published
• View Publication
• BIB
It is well known that any triangulation of a marked surface produces a quiver. In this paper we will provide a triangulation for orientable surfaces of genus $n$ with an arbitrary number interior marked points (called punctures) whose corresponding quiver has a maximal green sequence.
Sign variation, the Grassmannian, and total positivity
Published in J. Combin. Theory Ser. A 145 (2017), 308-339
• View Publication
• BIB
The totally nonnegative Grassmannian is the set of k-dimensional subspaces V of R^n whose nonzero Pluecker coordinates all have the same sign. Gantmakher and Krein (1950) and Schoenberg and Whitney (1951) independently showed that V is totally nonnegative iff every vector in V, when viewed as a sequence of n numbers and ignoring any zeros, changes sign at most k-1 times. We generalize this result from the totally nonnegative Grassmannian to the entire Grassmannian, showing that if V is generic (i.e. has no zero Pluecker coordinates), then the vectors in V change sign at most m times iff certain sequences of Pluecker coordinates of V change sign at most m-k+1 times. We also give an algorithm which, given a non-generic V whose vectors change sign at most m times, perturbs V into a generic subspace whose vectors also change sign at most m times. We deduce that among all V whose vectors change sign at most m times, the generic subspaces are dense. These results generalize to oriented matroids. As an application of our results, we characterize when a generalized amplituhedron construction, in the sense of Arkani-Hamed and Trnka (2013), is well defined. We also give two ways of obtaining the positroid cell of each V in the totally nonnegative Grassmannian from the sign patterns of vectors in V.
Counting hypergraph matchings up to uniqueness threshold
Published
• View Publication
• BIB
We study the problem of approximately counting matchings in hypergraphs of bounded maximum degree and maximum size of hyperedges. With an activity parameter $λ$, each matching $M$ is assigned a weight $λ^{|M|}$. The counting problem is formulated as computing a partition function that gives the sum of the weights of all matchings in a hypergraph. This problem unifies two extensively studied statistical physics models in approximate counting: the hardcore model (graph independent sets) and the monomer-dimer model (graph matchings).
For this model, the critical activity $λ_c= \frac{d^d}{k (d-1)^{d+1}}$ is the threshold for the uniqueness of Gibbs measures on the infinite $(d+1)$-uniform $(k+1)$-regular hypertree. Consider hypergraphs of maximum degree at most $k+1$ and maximum size of hyperedges at most $d+1$. We show that when $λ< λ_c$, there is an FPTAS for computing the partition function; and when $λ= λ_c$, there is a PTAS for computing the log-partition function. These algorithms are based on the decay of correlation (strong spatial mixing) property of Gibbs distributions. When $λ> 2λ_c$, there is no PRAS for the partition function or the log-partition function unless NP$=$RP.
Towards obtaining a sharp transition of computational complexity of approximate counting, we study the local convergence from a sequence of finite hypergraphs to the infinite lattice with specified symmetry. We show a surprising connection between the local convergence and the reversibility of a natural random walk. This leads us to a barrier for the hardness result: The non-uniqueness of infinite Gibbs measure is not realizable by any finite gadgets.
The existence of a maximal green sequence is not invariant under quiver mutation
Published
• View Publication
• BIB
This note provides a quiver which does not admit a maximal green sequence, but which is mutation-equivalent to a quiver which does admit a maximal green sequence. The proof uses the `scattering diagrams' of Gross-Hacking-Keel-Kontsevich to show that a maximal green sequence for a quiver determines a maximal green sequence for any induced subquiver.
Generalized q-Calkin-Wilf trees and c-hyper m-expansions of integers
A hyperbinary expansion of a positive integer n is a partition of n into powers of 2 in which each part appears at most twice. In this paper, we consider a generalization of this concept and a certain statistic on the corresponding set of expansions of n. We then define q-generalized m-ary trees whose vertices are labeled by ratios of two consecutive terms within the sequence of distribution polynomials for the aforementioned statistic. When m = 2, we obtain a variant of a previously considered q-Calkin-Wilf tree.
Quasi-Carousel Tournaments
A tournament is called locally transitive if the outneighbourhood and the inneighbourhood of every vertex are transitive. Equivalently, a tournament is locally transitive if it avoids the tournaments $W_4$ and $L_4$, which are the only tournaments up to isomorphism on four vertices containing a unique $3$-cycle. On the other hand, a sequence of tournaments $(T_n)_{n\in\mathbb{N}}$ with $|V(T_n)| = n$ is called almost balanced if all but $o(n)$ vertices of $T_n$ have outdegree $(1/2 + o(1))n$. In the same spirit of quasi-random properties, we present several characterizations of tournament sequences that are both almost balanced and asymptotically locally transitive in the sense that the density of $W_4$ and $L_4$ in $T_n$ goes to zero as $n$ goes to infinity.
Odd-Rule Cellular Automata on the Square Grid
An "odd-rule" cellular automaton (CA) is defined by specifying a neighborhood for each cell, with the rule that a cell turns ON if it is in the neighborhood of an odd number of ON cells at the previous generation, and otherwise turns OFF. We classify all the odd-rule CAs defined by neighborhoods which are subsets of a 3 X 3 grid of square cells. There are 86 different CAs modulo trivial symmetries. When we consider only the different sequences giving the number of ON cells after n generations, the number drops to 48, two of which are the Moore and von Neumann CAs. This classification is carried out by using the "meta-algorithm" described in an earlier paper to derive the generating functions for the 86 sequences, and then removing duplicates. The fastest-growing of these CAs is neither the Fredkin nor von Neumann neighborhood, but instead is one defined by "Odd-rule" 365, which turns ON almost 75% of all possible cells.
Degree Sequence of Random Permutation Graphs
Published in Annals of Applied Probability, Vol. 27 (1), 439-484, 2017
• View Publication
• BIB
In this paper we study the degree sequence of the permutation graph $G_{π_n}$ associated with a sequence $π_n\in S_n$ of random permutations. Joint limiting distributions of the degrees are established using results from graph and permutation limit theories. In particular, for the uniform random permutation, the joint distribution of the degrees of the vertices labelled $\lceil nr_1 \rceil, \lceil nr_2 \rceil, \ldots, \lceil nr_s \rceil$ converges (after scaling by $n$) to independent random variables $D_1, D_2, \ldots, D_s$, where $D_i\sim \text{Unif}(r_i, 1-r_i)$, for $r_i\in [0,1]$ and $i\in \{1, 2, \ldots, s\}$. Moreover, the degree of the mid-vertex (the vertex labelled $n/2$) has a central limit theorem, and the minimum degree converges to a Rayleigh distribution after appropriate scalings. Finally, the limiting degree distribution of the permutation graph associated with a Mallows random permutation is determined, and interesting phase transitions are observed. Our results extend to other exponential measures on permutations.
Convex hulls of superincreasing knapsacks and lexicographic orderings
Published in Discrete Applied Mathematics, vol. 201, pages 150--163, 2016
• View Publication
• BIB
We consider bounded integer knapsacks where the weights and variable upper bounds together form a superincreasing sequence. The elements of this superincreasing knapsack are exactly those vectors that are lexicographically smaller than the greedy solution to optimizing over this knapsack. We describe the convex hull of this $n$-dimensional set with $\mathcal{O}(n)$ facets. We also establish a distributive property by proving that the convex hull of $\le$- and $\ge$-type superincreasing knapsacks can be obtained by intersecting the convex hulls of $\le$- and $\ge$-sets taken individually. Our proofs generalize existing results for the binary case.
Three analogues of Stern's diatomic sequence
Published
• View Publication
• BIB
We generalize Stern's diatomic sequence in three ways.
Root geometry of polynomial sequences II: Type (1,0)
Published
• View Publication
• BIB
We consider the sequence of polynomials $W_n(x)$ defined by the recursion $W_n(x)=(ax+b)W_{n-1}(x)+dW_{n-2}(x)$, with initial values $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a,b,d,t,r$ are real numbers, $a,t>0$, and $d<0$. We show that every polynomial $W_n(x)$ is distinct-real-rooted, and that the roots of the polynomial $W_n(x)$ interlace the roots of the polynomial $W_{n-1}(x)$. We find that, as $n\to\infty$, the sequence of smallest roots of the polynomials $W_n(x)$ converges decreasingly to a real number, and that the sequence of largest roots converges increasingly to a real number. Moreover, by using the Dirichlet approximation theorem, we prove that there is a number to which, for every positive integer $i\ge2$, the sequence of $i$th smallest roots of the polynomials $W_n(x)$ converges. Similarly, there is a number to which, for every positive integer $i\ge2$, the sequence of $i$th largest roots of the polynomials $W_n(x)$ converges. It turns out that these two convergence points are independent of the numbers $t$ and $r$, as well as $i$. We derive explicit expressions for these four limit points, and we determine completely when some of these limit points coincide.
Combinatorial theory of permutation-invariant random matrices I: partitions, geometry and renormalization
In this article, we define and study a geometry and an order on the set of partitions of an even number of objects. One of the definitions involves the partition algebra, a structure of algebra on the set of such partitions depending on an integer parameter N. Then we emulate the theory of random matrices in a combinatorial framework: for any parameter N, we introduce a family of linear forms on the partition algebras which allows us to define a notion of weak convergence similar to the convergence in moments in random matrices theory. A renormalization of the partition algebras allows us to consider the weak convergence as a simple convergence in a fixed space. This leads us to the definition of a deformed partition algebra for any integer parameter N and to the definition of two transforms: the cumulants transform and the exclusive moments transform. Using an improved triangular inequality for the distance defined on partitions, we prove that the deformed partition algebras, endowed with a deformation of the linear forms converge as N go to infinity. This result allows us to prove combinatorial properties about geodesics and a convergence theorem for semi-groups of functions on partitions. At the end we study a sub-algebra of functions on infinite partitions with finite support : a new addition operation and a notion of R-transform are defined. We introduce the set of multiplicative functions which becomes a Lie group for the new addition and multiplication operations. For each of them, the Lie algebra is studied. The appropriate tools are developed in order to understand the algebraic fluctuations of the moments and cumulants for converging sequences. This allows us to extend all the results we got for the zero order of fluctuations to any order.
Log-concavity of the Fennessey-Larcombe-French Sequence
Published
• View Publication
• BIB
We prove the log-concavity of the Fennessey-Larcombe-French sequence based on its three-term recurrence relation, which was recently conjectured by Zhao. The key ingredient of our approach is a sufficient condition for log-concavity of a sequence subject to certain three-term recurrence.