sequence
6845 papers tagged with this keyword
Sparse graph limits, entropy maximization and transitive graphs
In this paper we describe a triple correspondence between graph limits, information theory and group theory. We put forward a new graph limit concept called log-convergence that is closely connected to dense graph limits but its main applications are in the study of sparse graph sequences. We present an information theoretic limit concept for $k$-tuples of random variables that is based on the entropy maximization problem for joint distributions of random variables where a system of marginal distributions is prescribed. We give a fruitful correspondence between the two limit concepts that has a group theoretic nature. Our applications are in graph theory and information theory. We shows that if $H$ is a bipartite graph, $P_1$ is the edge and $t$ is the homomorphism density function then the supremum of $\log t(H,G)/\log t(P_1,G)$ in the set of all graphs $G$ is the same as in the set of graphs that are both edge and vertex transitive. This result gives a group theoretic approach to Sidorenko's famous conjecture. We obtain information theoretic inequalities regarding the entropy maximization problem. We investigate the limits of sparse random graphs and discuss quasi-randomness in our framework.
On sets free of sumsets with summands of prescribed size
Published
• View Publication
• BIB
We study extremal problems about sets of integers that do not contain sumsets with summands of prescribed size. We analyse both finite sets and infinite sequences. We also study the connections of these problems with extremal problems of graphs and hypergraphs.
Simply generated non-crossing partitions
Published in Combinatorics, Probability and Computing, 26(4), 560-592 (2017)
• View Publication
• BIB
We introduce and study the model of simply generated non-crossing partitions, which are, roughly speaking, chosen at random according to a sequence of weights. This framework encompasses the particular case of uniform non-crossing partitions with constraints on their block sizes. Our main tool is a bijection between non-crossing partitions and plane trees, which maps such simply generated non-crossing partitions into simply generated trees so that blocks of size $k$ are in correspondence with vertices of outdegree $k$. This allows us to obtain limit theorems concerning the block structure of simply generated non-crossing partitions. We apply our results in free probability by giving a simple formula relating the maximum of the support of a compactly supported probability measure on the real line in term of its free cumulants.
FI_W-modules and constraints on classical Weyl group characters
Published
• View Publication
• BIB
In this paper we study the characters of sequences of representations of any of the three families of classical Weyl groups W_n: the symmetric groups, the signed permutation groups (hyperoctahedral groups), or the even-signed permutation groups. Our results extend work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups. We use the concept of an FI_W-module, an algebraic object that encodes the data of a sequence of W_n-representations with maps between them, defined in the author's recent work ArXiv:1309.3817.
We show that if a sequence {V_n} of W_n-representations has the structure of a finitely generated FI_W-module, then there are substantial constraints on the growth of the sequence and the structure of the characters: for n large, the dimension of V_n is equal to a polynomial in n, and the characters of V_n are given by a character polynomial in signed-cycle-counting class functions, independent of n. We determine bounds the degrees of these polynomials.
We continue to develop the theory of FI_W-modules, and we apply this theory to obtain new results about a number of sequences associated to the classical Weyl groups: the cohomology of complements of classical Coxeter hyperplane arrangements, and the cohomology of the pure string motion groups (the groups of symmetric automorphisms of the free group).
Logarithm of Irrationals and Beatty Sequences
In this paper we find an identity that gives a representation for the logarithm of any two irrational numbers $a, b >1$ in terms of a series whose terms are ratios of elements from the Beatty Sequences generated by these two numbers. We also show that Sturmian sequences can be defined in terms of these ratios. Furthermore, we find an identity for such series that bears a superficial resemblance to (a discrete version of) Frullani's Integral.
Analysis of Bidirectional Ballot Sequences and Random Walks Ending in their Maximum
Published in Ann. Comb. (2016) 20: 775 - 797
• View Publication
• BIB
Consider non-negative lattice paths ending at their maximum height, which will be called admissible paths. We show that the probability for a lattice path to be admissible is related to the Chebyshev polynomials of the first or second kind, depending on whether the lattice path is defined with a reflective barrier or not. Parameters like the number of admissible paths with given length or the expected height are analyzed asymptotically. Additionally, we use a bijection between admissible random walks and special binary sequences to prove a recent conjecture by Zhao on ballot sequences.
Analysis of Carries in Signed Digit Expansions
Published in Monatsh. Math. 182 (2017), no. 2, 299-334
• View Publication
• BIB
The number of positive and negative carries in the addition of two independent random signed digit expansions of given length is analyzed asymptotically for the $(q, d)$-system and the symmetric signed digit expansion. The results include expectation, variance, covariance between the positive and negative carries and a central limit theorem.
Dependencies between the digits require determining suitable transition probabilities to obtain equidistribution on all expansions of given length. A general procedure is described to obtain such transition probabilities for arbitrary regular languages.
The number of iterations in von Neumann's parallel addition method for the symmetric signed digit expansion is also analyzed, again including expectation, variance and convergence to a double exponential limiting distribution. This analysis is carried out in a general framework for sequences of generating functions.
Excluding long paths
Ding (1992) proved that for each integer ${m} \geqslant 0$, and every infinite sequence of finite simple graphs $G_1, G_2, \ldots$, if none of these graphs contains a path of length ${m}$ as a subgraph, then there are indices $i < j$ such that $G_i$ is isomorphic to an induced subgraph of $G_j$. We generalise this result to infinite graphs, possibly with parallel edges and loops.
The Second Zagreb Indices of Graphs with Given Degree Sequences
Published
• View Publication
• BIB
The second Zagreb index of a graph G is denoted by $M_2(G)=\sum_{uv\in E(G)}d(u)d(v)$. In this paper, we investigate properties of the extremal graphs with the maximum second Zagreb indices with given graphic sequences, in particular graphic bicyclic sequences. Moreover, we obtain the relations of the second Zagreb indices among the extremal graphs with different degree sequences.
Application of Smirnov Words to Waiting Time Distributions of Runs
Published in Electron. J. Combin., 24 (3), #P3.55, 2017
• View Publication
• BIB
Consider infinite random words over a finite alphabet where the letters occur as an i.i.d. sequence according to some arbitrary distribution on the alphabet. The expectation and the variance of the waiting time for the first completed $h$-run of any letter (i.e., first occurrence of $h$ subsequential equal letters) is computed. The expected waiting time for the completion of $h$-runs of $j$ arbitrary distinct letters is also given.
Original graphs of link graphs
Let $\ell \geqslant 0$ be an integer, and $G$ be a graph without loops. An $\ell$-link of $G$ is a walk of length $\ell$ in which consecutive edges are different. We identify an $\ell$-link with its reverse sequence. The $\ell$-link graph $\mathbb{L}_\ell(G)$ of $G$ is defined to have vertices the $\ell$-links of $G$, such that two vertices of $\mathbb{L}_\ell(G)$ are adjacent if their corresponding $\ell$-links are the initial and final subsequences of an $(\ell + 1)$-link of $G$. A graph $G$ is called an $\ell$-root of a graph $H$ if $\mathbb{L}_\ell(G) \cong H$. For example, $\mathbb{L}_0(G) \cong G$. And the $1$-link graph of a simple graph is the line graph of that graph. Moreover, let $H$ be a finite connected simple graph. Whitney's isomorphism theorem (1932) states if $H$ has two connected nonnull simple $1$-roots, then $H \cong K_3$, and the two $1$-roots are isomorphic to $K_3$ and $K_{1, 3}$ respectively.
This paper investigates the $\ell$-roots of finite graphs. We show that every $\ell$-root is a certain combination of a finite minimal $\ell$-root and trees of bounded diameter. This transfers the study of $\ell$-roots into that of finite minimal $\ell$-roots. As a qualitative generalisation of Whitney's isomorphism theorem, we bound from above the number, size, order and maximum degree of minimal $\ell$-roots of a finite graph. This work forms the basis for solving the recognition and determination problems for $\ell$-link graphs in our future papers. As a byproduct, we characterise the $\ell$-roots of some special graphs including cycles.
Similar results are obtained for path graphs introduced by Broersma and Hoede (1989). $G$ is an $\ell$-path root of a graph $H$ if $H$ is isomorphic to the $\ell$-path graph of $G$. We bound from above the number, size and order of minimal $\ell$-path roots of a finite graph.
Zero-sum Subsequences of Length kq over Finite Abelian p-Groups
Published in Discrete Mathematics 339 (2016): 399-407
• View Publication
• BIB
For a finite abelian group $G$ and a positive integer $k$, let $s_{k}(G)$ denote the smallest integer $\ell\in\mathbb{N}$ such that any sequence $S$ of elements of $G$ of length $|S|\geq\ell$ has a zero-sum subsequence with length $k$. The celebrated Erdős-Ginzburg-Ziv theorem determines $s_{n}(C_{n})=2n-1$ for cyclic groups $C_{n}$, while Reiher showed in 2007 that $s_{n}(C_{n}^{2})=4n-3$. In this paper we prove for a $p$-group $G$ with exponent $\exp(G)=q$ the upper bound $s_{kq}(G)\le(k+2d-2)q+3D(G)-3$ whenever $k\geq d$, where $d=\Big\lceil\frac{D(G)}{q}\Big\rceil$ and $p$ is a prime satisfying $p\ge2d+3\Big\lceil\frac{D(G)}{2q}\Big\rceil-3$, where $D(G)$ is the Davenport constant of the finite abelian group $G$. This is the correct order of growth in both $k$ and $d$. As a corollary, we show $s_{kq}(C_{q}^{d})=(k+d)q-d$ whenever $k\geq p+d$ and $2p\geq7d-3$, resolving a case of the conjecture of Gao, Han, Peng, and Sun that $s_{k\exp(G)}(G)=k\exp(G)+D(G)-1$ whenever $k\exp(G)\geq D(G)$. We also obtain a general bound $s_{kn}(C_{n}^{d})\leq9kn$ for $n$ with large prime factors and $k$ sufficiently large. Our methods are inspired by the algebraic method of Kubertin, who proved that $s_{kq}(C_{q}^{d})\leq(k+Cd^{2})q-d$ whenever $k\geq d$ and $q$ is a prime power.
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.