arXiv++ Combinatorics

Browse math.CO papers from arXiv

sequence

7073 papers tagged with this keyword
2017-07-29 v5
The diameter of KPKVB random graphs
Published in Adv. Appl. Probab. 51 (2019) 358-377 • View Publication • BIB
We consider a model for complex networks that was recently proposed as a model for complex networks by Krioukov et al. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution and a strictly positive clustering coefficient. The model is specified using three parameters : the number of nodes $N$, which we think of as going to infinity, and $α, ν> 0$ which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree. Earlier work of Kiwi and Mitsche has shown that when $α< 1$ (which corresponds to the exponent of the power law degree sequence being $< 3$) then the diameter of the largest component is a.a.s.~polylogarithmic in $N$. Friedrich and Krohmer have shown it is a.a.s.~$Ω(\log N)$ and they improved the exponent of the polynomial in $\log N$ in the upper bound. Here we show the maximum diameter over all components is a.a.s.~$O(\log N)$ thus giving a bound that is tight up to a multiplicative constant.
2017-07-25 v2
Renewal sequences and record chains related to multiple zeta sums
Published in Trans. Amer. Math. Soc. 2019, Vol.371, No.8, 5731-5755 • View Publication • BIB
For the random interval partition of $[0,1]$ generated by the uniform stick-breaking scheme known as GEM$(1)$, let $u_k$ be the probability that the first $k$ intervals created by the stick-breaking scheme are also the first $k$ intervals to be discovered in a process of uniform random sampling of points from $[0,1]$. Then $u_k$ is a renewal sequence. We prove that $u_k$ is a rational linear combination of the real numbers $1, ζ(2), \ldots, ζ(k)$ where $ζ$ is the Riemann zeta function, and show that $u_k$ has limit $1/3$ as $k \to \infty$. Related results provide probabilistic interpretations of some multiple zeta values in terms of a Markov chain derived from the interval partition. This Markov chain has the structure of a weak record chain. Similar results are given for the GEM$(θ)$ model, with beta$(1,θ)$ instead of uniform stick-breaking factors, and for another more algebraic derivation of renewal sequences from the Riemann zeta function.
Combinatorial and Arithmetical Properties of the Restricted and Associated Bell and Factorial Numbers
Published • View Publication • BIB
Set partitions and permutations with restrictions on the size of the blocks and cycles are important combinatorial sequences. Counting these objects lead to the sequences generalizing the classical Stirling and Bell numbers. The main focus of the present article is the analysis of combinatorial and arithmetical properties of them. The results include several combinatorial identities and recurrences as well as some properties of their $p$-adic valuations.
2017-07-21
Bijective enumerations of $Γ$-free 0-1 matrices
Published • View Publication • BIB
We construct a new bijection between the set of $n\times k$ $0$-$1$ matrices with no three $1$'s forming a $Γ$ configuration and the set of $(n,k)$-Callan sequences, a simple structure counted by poly-Bernoulli numbers. We give two applications of this result: We derive the generating function of $Γ$-free matrices, and we give a new bijective proof for an elegant result of Aval et al. that states that the number of complete non-ambiguous forests with $n$ leaves is equal to the number of pairs of permutations of $\{1,\dots,n\}$ with no common rise.
2017-07-20
Inverse Relations in Shapiro's Open Questions
Published • View Publication • BIB
As an inverse relation, involution with an invariant sequence plays a key role in combinatorics and features prominently in some of Shapiro's open questions [L.W. Shapiro, Some open questions about random walks, involutions, limiting distributions and generating functions, Adv. Appl. Math. 27 (2001) 585-596]. In this paper, invariant sequences are used to provide answers to some of these questions about the Fibonacci matrix and Riordan involutions.
On shortening u-cycles and u-words for permutations
Published • View Publication • BIB
This paper initiates the study of shortening universal cycles (u-cycles) and universal words (u-words) for permutations either by using incomparable elements, or by using non-deterministic symbols. The latter approach is similar in nature to the recent relevant studies for the de Bruijn sequences. A particular result we obtain in this paper is that u-words for $n$-permutations exist of lengths $n!+(1-k)(n-1)$ for $k=0,1,\ldots,(n-2)!$.
2017-07-19
Small and Large Weights in Steinhaus Triangles
Let $\{0=w_0<w_1<w_2<\ldots<w_m\}$ be the set of weights of binary Steinhaus triangles of size $n$, and let $W_i$ be the set of sequences in $\mathbb{F}_2^n$ that generate triangles of weight $w_i$. We obtain the values of $w_i$ and the corresponding sets $W_i$ for $i\in\{1,2,3,m\}$, and partial results about $w_{m-1}$ and $W_{m-1}$.
2017-07-18 v3
Monochromatic Subgraphs in Randomly Colored Graphons
Published in European Journal of Combinatorics, 81, 328-353, 2019 • View Publication • BIB
Let $T(H, G_n)$ be the number of monochromatic copies of a fixed connected graph $H$ in a uniformly random coloring of the vertices of the graph $G_n$. In this paper we give a complete characterization of the limiting distribution of $T(H, G_n)$, when $\{G_n\}_{n \geq 1}$ is a converging sequence of dense graphs. When the number of colors grows to infinity, depending on whether the expected value remains bounded, $T(H, G_n)$ either converges to a finite linear combination of independent Poisson variables or a normal distribution. On the other hand, when the number of colors is fixed, $T(H, G_n)$ converges to a (possibly infinite) linear combination of independent centered chi-squared random variables. This generalizes the classical birthday problem, which involves understanding the asymptotics of $T(K_s, K_n)$, the number of monochromatic $s$-cliques in a complete graph $K_n$ ($s$-matching birthdays among a group of $n$ friends), to general monochromatic subgraphs in a network.
2017-07-17 v2
Linear dependence between hereditary quasirandomness conditions
Published in Electronic Journal of Combinatorics 25 (2018), P4.12 • View Publication • BIB
Answering a question of Simonovits and S\' os, Conlon, Fox, and Sudakov proved that for any nonempty graph $H$, and any $\varepsilon>0$, there exists $δ>0$ polynomial in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every $U\subseteq V(G)$ contains $p^{e(H)}|U|^{v(H)}\pmδn^{v(H)}$ labeled copies of $H$, then $G$ is $(p,\varepsilon)$-quasirandom in the sense that every subset $U\subseteq G$ contains $\frac{1}{2}p|U|^{2}\pm\varepsilon n^{2}$ edges. They conjectured that $δ$ may be taken to be linear in $\varepsilon$ and proved this in the case that $H$ is a complete graph. We study a labelled version of this quasirandomness property proposed by Reiher and Schacht. Let $H$ be any nonempty graph on $r$ vertices $v_{1},\ldots,v_{r}$, and $\varepsilon>0$. We show that there exists $δ=δ(\varepsilon)>0$ linear in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every sequence of $r$ subsets $U_{1},\ldots,U_{r}\subseteq V(G)$, the number of copies of $H$ with each $v_{i}$ in $U_{i}$ is $p^{e(H)}\prod|U_{i}|\pmδn^{v(H)}$, then $G$ is $(p,\varepsilon)$-quasirandom.
2017-07-14 v2
Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar
The On-Line Encyclopedia Of Integer Sequences , that wonderful resource that most combinatorialists, and many other mathematicians and scientists, use at least once a day, is a treasure trove of mathematical information, and, one of its charms is that it contains many intriguing conjectures. But one should be on one's guard, because some of the conjectures are either already theorems, or can be routinely proved. In this case study we demonstrate, and actually fully implement (in an accompanying Maple package), how to turn many conjectures made in the OEIS by R.J. Mathar, regarding linear recurrences satisfies by a certain class of sequences, into fully rigorously-proved theorems, but we argue, that one should not emulate us, and while it is nice to have one example, of an algorithm to actually construct proofs (that are known to exist by a priori theoretical reasons), life is too short to do it in all cases, and hence we propose a new category for the OEIS, that of "provable conjecture", as opposed to "proved conjecture" (alias theorem).
Deciding the Confusability of Words under Tandem Repeats
Published • View Publication • BIB
Tandem duplication in DNA is the process of inserting a copy of a segment of DNA adjacent to the original position. Motivated by applications that store data in living organisms, Jain {\em et al.} (2016) proposed the study of codes that correct tandem duplications to improve the reliability of data storage. We investigate algorithms associated with the study of these codes. Two words are said to be ${\le}k$-confusable if there exists two sequences of tandem duplications of lengths at most $k$ such that the resulting words are equal. We demonstrate that the problem of deciding whether two words is ${\le}k$-confusable is linear-time solvable through a characterisation that can be checked efficiently for $k=3$. Combining with previous results, the decision problem is linear-time solvable for $k\le 3$. We conjecture that this problem is undecidable for $k>3$. Using insights gained from the algorithm, we study the size of tandem-duplication codes. We improve the previous known upper bound and then construct codes with larger sizes as compared to the previous constructions. We determine the sizes of optimal tandem-duplication codes for lengths up to twenty, develop recursive methods to construct tandem-duplication codes for all word lengths, and compute explicit lower bounds for the size of optimal tandem-duplication codes for lengths from 21 to 30.
2017-07-13
A Note on the Inheritance of the Isometry-Dual Property under Puncturing AG Codes
Consider a sequence of AG codes evaluating at a set of evaluation points $P_1,\dots,P_n$ the functions having only poles at a defining point $Q$, with the sequence of codes satisfying the isometry-dual condition (i.e. containing at the same time primal and their dual codes). We prove a necessary condition under which, after taking out a number of evaluation points (i.e. puncturing), the resulting AG codes can still satisfy the isometry-dual property. The condition has to do with the so-called maximum sparse ideals of the Weierstrass semigroup of $Q$.
2017-07-13
A Generating Function for the Distribution of Runs in Binary Words
Let $N(n,r,k)$ denote the number of binary words of length $n$ that begin with $0$ and contain exactly $k$ runs (i.e., maximal subwords of identical consecutive symbols) of length $r$. We show that the generating function for the sequence $N(n,r,0)$, $n=0,1,\ldots$, is $(1-x)(1-2x + x^r-x^{r+1})^{-1}$ and that the generating function for $\{N(n,r,k)\}$ is $x^{kr}$ time the $k+1$ power of this. We extend to counts of words containing exactly $k$ runs of $1$s by using symmetries on the set of binary words.
2017-07-12
On a Generalization for Tribonacci Quaternions
Published in Mediterr. J. Math. (2017) 14: 239 • View Publication • BIB
Let $V_{n}$ denote the third order linear recursive sequence defined by the initial values $V_{0}$, $V_{1}$ and $V_{2}$ and the recursion $V_{n}=rV_{n-1}+sV_{n-2}+tV_{n-3}$ if $n\geq 3$, where $r$, $s$, and $t$ are real constants. The $\{V_{n}\}_{n\geq0}$ are generalized Tribonacci numbers and reduce to the usual Tribonacci numbers when $r=s=t=1$ and to the $3$-bonacci numbers when $r=s=1$ and $t=0$. In this study, we introduced a quaternion sequence which has not been introduced before. We show that the new quaternion sequence that we introduced includes the previously introduced Tribonacci, Padovan, Narayana and Third order Jacobsthal quaternion sequences. We obtained the Binet formula, summation formula and the norm value for this new quaternion sequence.
2017-07-12 v2
Erdős-Ginzburg-Ziv theorem and Noether number for $C_m\ltimes_{\varphi} C_{mn}$
Published • View Publication • BIB
Let $G$ be a multiplicative finite group and $S=a_1\cdot\ldots\cdot a_k$ a sequence over $G$. We call $S$ a product-one sequence if $1=\prod_{i=1}^ka_{τ(i)}$ holds for some permutation $τ$ of $\{1,\ldots,k\}$. The small Davenport constant $\mathsf d(G)$ is the maximal length of a product-one free sequence over $G$. For a subset $L\subset \mathbb N$, let $\mathsf s_L(G)$ denote the smallest $l\in\mathbb N_0\cup\{\infty\}$ such that every sequence $S$ over $G$ of length $|S|\ge l$ has a product-one subsequence $T$ of length $|T|\in L$. Denote $\mathsf e(G)=\max\{\text{ord}(g): g\in G\}$. Some classical product-one (zero-sum) invariants including $\mathsf D(G):=\mathsf s_{\mathbb N}(G)$ (when $G$ is abelian), $\mathsf E(G):=\mathsf s_{\{|G|\}}(G)$, $\mathsf s(G):=\mathsf s_{\{\mathsf e(G)\}}(G)$, $η(G):=\mathsf s_{[1,\mathsf e(G)]}(G)$ and $\mathsf s_{d\mathbb N}(G)$ ($d\in\mathbb N$) have received a lot of studies. The Noether number $β(G)$ which is closely related to zero-sum theory is defined to be the maximal degree bound for the generators of the algebra of polynomial invariants. Let $G\cong C_m\ltimes_{\varphi} C_{mn}$, in this paper, we prove that $$\mathsf E(G)=\mathsf d(G)+|G|=m^2n+m+mn-2$$ and $β(G)=\mathsf d(G)+1=m+mn-1$. We also prove that $\mathsf s_{mn\mathbb N}(G)=m+2mn-2$ and provide the upper bounds of $η(G)$, $\mathsf s(G)$. Moreover, if $G$ is a non-cyclic nilpotent group and $p$ is the smallest prime divisor of $|G|$, we prove that $β(G)\le \frac{|G|}{p}+p-1$ except if $p=2$ and $G$ is a dicyclic group, in which case $β(G)=\frac{1}{2}|G|+2$.
A sharp Dirac-Erdős type bound for large graphs
Published • View Publication • BIB
Let $k \geq 3$ be an integer, $h_{k}(G)$ be the number of vertices of degree at least $2k$ in a graph $G$, and $\ell_{k}(G)$ be the number of vertices of degree at most $2k-2$ in $G$. Dirac and Erdős proved in 1963 that if $h_{k}(G) - \ell_{k}(G) \geq k^{2} + 2k - 4$, then $G$ contains $k$ vertex-disjoint cycles. For each $k\geq 2$, they also showed an infinite sequence of graphs $G_k(n)$ with $h_{k}(G_k(n)) - \ell_{k}(G_k(n)) = 2k-1$ such that $G_k(n)$ does not have $k$ disjoint cycles. Recently, the authors proved that, for $k \geq 2$, a bound of $3k$ is sufficient to guarantee the existence of $k$ disjoint cycles and presented for every $k$ a graph $G_0(k)$ with $h_{k}(G_0(k)) - \ell_{k}(G_0(k))=3k-1$ and no $k$ disjoint cycles. The goal of this paper is to refine and sharpen this result: We show that the Dirac-Erdős construction is optimal in the sense that for every $k \geq 2$, there are only finitely many graphs $G$ with $h_{k}(G) - \ell_{k}(G) \geq 2k$ but no $k$ disjoint cycles. In particular, every graph $G$ with $|V(G)| \geq 19k$ and $h_{k}(G) - \ell_{k}(G) \geq 2k$ contains $k$ disjoint cycles.
2017-07-12
A note on X-rays of permutations and a problem of Brualdi and Fritscher
The subject of this note is a challenging conjecture about X-rays of permutations which is a special case of a conjecture regarding Skolem sequences. In relation to this, Brualdi and Fritscher [Linear Algebra and its Applications, 2014] posed the following problem: Determine a bijection between extremal Skolem sets and binary Hankel X-rays of permutation matrices. We give such a bijection, along with some related observations.
2017-07-11 v2
Coloring Chains for Compression with Uncertain Priors
Published • View Publication • BIB
Haramaty and Sudan considered the problem of transmitting a message between two people, Alice and Bob, when Alice's and Bob's priors on the message are allowed to differ by at most a given factor. To find a deterministic compression scheme for this problem, they showed that it is sufficient to obtain an upper bound on the chromatic number of a graph, denoted $U(N,s,k)$ for parameters $N,s,k$, whose vertices are nested sequences of subsets and whose edges are between vertices that have similar sequences of sets. In turn, there is a close relationship between the problem of determining the chromatic number of $U(N,s,k)$ and a local graph coloring problem considered by Erdős et al. We generalize the results of Erdős et al. by finding bounds on the chromatic numbers of graphs $H$ and $G$ when there is a homomorphism $φ:H\rightarrow G$ that satisfies a nice property. We then use these results to improve upper and lower bounds on $χ(U(N,s,k))$.
2017-07-11
Growth of Face-Homogeneous Tessellations
Published • View Publication • BIB
A tessellation of the plane is face-homogeneous if for some integer $k\geq3$ there exists a cyclic sequence $σ=[p_0,p_1,\ldots,p_{k-1}]$ of integers $\geq3$ such that, for every face $f$ of the tessellation, the valences of the vertices incident with $f$ are given by the terms of $σ$ in either clockwise or counter-clockwise order. When a given cyclic sequence $σ$ is realizable in this way, it may determine a unique tessellation (up to isomorphism), in which case $σ$ is called monomorphic, or it may be the valence sequence of two or more non-isomorphic tessellations (polymorphic). A tessellation which whose faces are uniformly bounded in the Euclidean plane is called a Euclidean tessellation; a non-Euclidean tessellation whose faces are uniformly bounded in the hyperbolic plane is called hyperbolic. Hyperbolic tessellations are well-known to have exponential growth. We seek the face-homogeneous hyperbolic tessellation(s) of slowest growth and show that the least growth rate of monomorphic face-homogeneous tessellations is the "golden mean," $γ=(1+\sqrt{5})/2$, attained by the sequences $[4,6,14]$ and $[3,4,7,4]$. A polymorphic sequence may yield non-isomorphic tessellations with different growth rates. However, all such tessellations found thus far grow at rates greater than $γ$.
A Set of Sequences of Complexity $2n+1$
Published in In: Brlek S., Dolce F., Reutenauer C., Vandomme É. (eds) Combinatorics on Words. WORDS 2017. Lecture Notes in Computer Science, vol 10432. Springer, Cham • View Publication • BIB
We prove the existence of a ternary sequence of factor complexity $2n+1$ for any given vector of rationally independent letter frequencies. Such sequences are constructed from an infinite product of two substitutions according to a particular Multidimensional Continued Fraction algorithm. We show that this algorithm is conjugate to a well-known one, the Selmer algorithm. Experimentations (Baldwin, 1992) suggest that their second Lyapunov exponent is negative which presages finite balance properties.