sequence
7073 papers tagged with this keyword
The Saturation Number for the length of Degree Monotone Paths
Published
• View Publication
• BIB
A degree monotone path in a graph $G$ is a path $P$ such that the sequence of degrees of the vertices in the order in which they appear on $P$ is monotonic. The length of the longest degree monotone path in $G$ is denoted by $mp(G)$. This parameter, inspired by the well-known Erdos-Szekeres theorem, has been studied by the authors in two earlier papers. Here we consider a saturation problem for the parameter $mp(G)$. We call $G$ saturated if, for every edge $e$ added to $G$, $mp(G+e) >mp(G)$, and we define $h(n,k)$ to be the least possible number of edges in a saturated graph $G$ on $n$ vertices with $mp(G) < k$, while $mp(G+e) \geq k$ for every new edge $e$.
We obtain linear lower and upper bounds for $h(n,k)$, we determine exactly the values of $h(n,k)$ for $k=3$ and $4$, and we present constructions of saturated graphs.
Spectral Moments of Random Matrices with a Rank-One Pattern of Variances
Let $\mathbf{a}_{ij}$, $1\leq i\leq j\leq n$, be independent random variables and $\mathbf{a}_{ji}=\mathbf{a}_{ij}$, for all $i,j$. Suppose that every $\mathbf{a}_{ij}$ is bounded, has zero mean, and its variance is given by $σ_{i}σ_{j}$, for a given sequence of positive real numbers $Ψ=\{σ_{i} , i\in\mathbb{N}\}$. Hence, the matrix of variances $V_n=\left( \mbox{Var}( \mathbf{a}_{ij}) \right)_{i,j=1}^n$ has rank one for all $n$. We show that the empirical spectral distribution of the symmetric random matrix $\mathbf{A}_n(Ψ)$ $ =$ $ \left( \mathbf{a}_{ij}/\sqrt{n}\right)_{i,j=1}^n$ converges weakly (and with probability one) to a deterministic limiting spectral distribution which we fully characterize by providing closed-form expressions for its limiting spectral moments in terms of the sequence $Ψ$. Furthermore, we propose a hierarchy of semidefinite programs to compute upper and lower bound on the expected spectral norm of $\mathbf{A}_n$, for both finite $n$ and the limit $n\to\infty$.
The Complement of Binary Klein Quadric as a Combinatorial Grassmannian
Published in Mathematics 3 (2015) 481-486
• View Publication
• BIB
Given a hyperbolic quadric of PG(5,2), there are 28 points off this quadric and 56 lines skew to it. It is shown that the $(28_6, 56_3)$-configuration formed by these points and lines is isomorphic to the combinatorial Grassmannian of type $G_2(8)$. It is also pointed out that a set of seven points of $G_2(8)$ whose labels share a mark corresponds to a Conwell heptad of PG(5,2). Gradual removal of Conwell heptads from the $(28_6, 56_3)$-configuration yields a nested sequence of binomial configurations identical with part of that found to be associated with Cayley-Dickson algebras (arXiv:1405.6888).
A note on the Thue chromatic number of lexicographic products of graphs
Published
• View Publication
• BIB
A sequence is called non-repetitive if no of its subsequences forms a repetition (a sequence $r_1,r_2,\dots,r_{2n}$ such that $r_i=r_{n+i}$ for all $1\leq i \leq n$). Let $G$ be a graph whose vertices are coloured. A colouring $\varphi$ of the graph $G$ is non-repetitive if the sequence of colours on every path in $G$ is non-repetitive. The Thue chromatic number, denoted by $π(G)$, is the minimum number of colours of a non-repetitive colouring of $G$. In this short note we present a general upper bound for the Thue chromatic number for the lexicographic product $G\circ H$ of graphs $G$ and $H$ with respect to some properties of the factors. This upper bound is then used to derive the exact values for $π(G\circ H)$ when $G$ is a complete multipartite graph and $H$ is an arbitrary graph.
The Derivative Degree Sequences of Finite Simple Connected Graphs are Parking Functions
Parking functions are well researched and interesting results are found in the listed references and more. Some introductory results stemming from application to degree sequences of simple connected graphs are provided in this paper. Amongst others, the result namely, that a derivative degree sequence, $d_d(G) \in \Bbb D_d(G)= \{(\lceil\frac{d(v_1}{\ell}\rceil, \lceil\frac{d(v_2)}{\ell}\rceil, \lceil\frac{d(v_3)}{\ell}\rceil, ..., \lceil\frac{d(v_n)}{\ell}\rceil| \ell = d(v_i), \forall i,$ with $d(v_i)\geq 2\},$ of a simple connected graph $G$ is a parking function, is presented. We also introduce the concept of \emph{looping degree sequences} and the \emph{looping number}, $ξ(G)$. Four open problems are proposed as well.
A new encoding of coalescent processes. Applications to the additive and multiplicative cases
Published
• View Publication
• BIB
We revisit the discrete additive and multiplicative coalescents, starting with $n$ particles with unit mass. These cases are known to be related to some "combinatorial coalescent processes": a time reversal of a fragmentation of Cayley trees or a parking scheme in the additive case, and the random graph process $(G(n,p))_p$ in the multiplicative case. Time being fixed, encoding these combinatorial objects in real-valued processes indexed by the line is the key to describing the asymptotic behaviour of the masses as $n\to +\infty$.
We propose to use the Prim order on the vertices instead of the classical breadth-first (or depth-first) traversal to encode the combinatorial coalescent processes. In the additive case, this yields interesting connections between the different representations of the process. In the multiplicative case, it allows one to answer to a stronger version of an open question of Aldous [Ann. Probab., vol. 25, pp. 812--854, 1997]: we prove that not only the sequence of (rescaled) masses, seen as a process indexed by the time $λ$, converges in distribution to the reordered sequence of lengths of the excursions above the current minimum of a Brownian motion with parabolic drift $(B_t+λt - t^2/2, t\geq 0)$, but we also construct a version of the standard augmented multiplicative coalescent of Bhamidi, Budhiraja and Wang [Probab. Theory Rel., to appear] using an additional Poisson point process.
On the binomial sums of Horadam sequence
Published in Konuralp Journal of Mathematics 3(1), 2015
• Search Publication
The main purpose of this paper is to establish some new properties of Horadam numbers in terms of binomial sums. By that, we can obtain these special numbers in a new and direct way. Moreover, some connections between Horadam and generalized Lucas numbers are revealed to get a more strong result.
Note on islands in path-length sequences of binary trees
An earlier characterization of topologically ordered (lexicographic) path-length sequences of binary trees is reformulated in terms of an integrality condition on a scaled Kraft sum of certain subsequences (full segments, or islands). The scaled Kraft sum is seen to count the set of ancestors at a certain level of a set of topologically consecutive leaves is a binary tree.
On the set of elasticities in numerical monoids
Published in Semigroup Forum 94 (2017), no. 1, 37-50
• View Publication
• BIB
In an atomic, cancellative, commutative monoid $S$, the elasticity of an element provides a coarse measure of its non-unique factorizations by comparing the largest and smallest values in its set of factorization lengths (called its length set). In this paper, we show that the set of length sets $\mathcal L(S)$ for any arithmetical numerical monoid $S$ can be completely recovered from its set of elasticities $R(S)$; therefore, $R(S)$ is as strong a factorization invariant as $\mathcal L(S)$ in this setting. For general numerical monoids, we describe the set of elasticities as a specific collection of monotone increasing sequences with a common limit point of $\max R(S)$.
A family of partitions of the set of walks on a directed graph
We present a family of partitions of $W_\mathcal{G}$, the set of walks on a directed graph $\mathcal{G}$. Each partition in this family is identified by an integer sequence $K$, which specifies a collection of cycles on $\mathcal{G}$ with a certain well-defined structure. We term such cycles resummable, and a walk that does not traverse any such cycles $K$-irreducible. For a given value of $K$, the corresponding partition of $W_\mathcal{G}$ consists of a collection of cells that each contain a single $K$-irreducible walk $i$ plus all walks that can be formed from $i$ by attaching one or more resummable cycles to its vertices.
We characterise the entire family of partitions of $W_\mathcal{G}$ by giving explicit expressions for the structure of the $K$-irreducible walks and the resummable cycles for arbitrary values of $K$. We demonstrate how these results can be exploited to recast the sum over all walks on a directed graph as a sum over dressed $K$-irreducible walks, and discuss the applications of this reformulation to matrix computations.
Subsemigroup, ideal and congruence growth of free semigroups
Published
• View Publication
• BIB
Using Rees index, the subsemigroup growth of free semigroups is investigated. Lower and upper bounds for the sequence are given and it is shown to have superexponential growth of strict type $n^n$ for finite free rank greater than 1. It is also shown that free semigroups have the fastest subsemigroup growth of all finitely generated semigroups. Ideal growth is shown to be exponential with strict type $2^n$ and congruence growth is shown to be at least exponential. In addition we consider the case when the index is fixed and rank increasing, proving that for subsemigroups and ideals this sequence fits a polynomial of degree the index, whereas for congruences this fits an exponential equation of base the index. We use these results to describe an algorithm for computing values of these sequences and give a table of results for low rank and index.
Davenport constant for semigroups II
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a finite commutative semigroup. The Davenport constant of $\mathcal{S}$, denoted ${\rm D}(\mathcal{S})$, is defined to be the least positive integer $\ell$ such that every sequence $T$ of elements in $\mathcal{S}$ of length at least $\ell$ contains a proper subsequence $T'$ ($T'\neq T$) with the sum of all terms from $T'$ equaling the sum of all terms from $T$. Let $q>2$ be a prime power, and let $\F_q[x]$ be the ring of polynomials over the finite field $\F_q$. Let $R$ be a quotient ring of $\F_q[x]$ with $0\neq R\neq \F_q[x]$. We prove that $${\rm D}(\mathcal{S}_R)={\rm D}(U(\mathcal{S}_R)),$$ where $\mathcal{S}_R$ denotes the multiplicative semigroup of the ring $R$, and $U(\mathcal{S}_R)$ denotes the group of units in $\mathcal{S}_R$.
On the unsplittable minimal zero-sum sequences over finite cyclic groups of prime order
Let $p > 155$ be a prime and let $G$ be a cyclic group of order $p$. Let $S$ be a minimal zero-sum sequence with elements over $G$, i.e., the sum of elements in $S$ is zero, but no proper nontrivial subsequence of $S$ has sum zero. We call $S$ is unsplittable, if there do not exist $g$ in $S$ and $x,y \in G$ such that $g=x+y$ and $Sg^{-1}xy$ is also a minimal zero-sum sequence. In this paper we show that if $S$ is an unsplittable minimal zero-sum sequence of length $|S|= \frac{p-1}{2}$, then $S=g^{\frac{p-11}{2}}(\frac{p+3}{2}g)^4(\frac{p-1}{2}g)$ or $g^{\frac{p-7}{2}}(\frac{p+5}{2}g)^2(\frac{p-3}{2}g)$. Furthermore, if $S$ is a minimal zero-sum sequence with $|S| \ge \frac{p-1}{2}$, then $\ind(S) \leq 2$.
Finite Chains inside Thin Subsets of ${\Bbb R}^d$
Published in Anal. PDE 9 (2016) 597-614
• View Publication
• BIB
In a recent paper, Chan, Łaba, and Pramanik investigated geometric configurations inside thin subsets of the Euclidean set possessing measures with Fourier decay properties. In this paper we ask which configurations can be found inside thin sets of a given Hausdorff dimension without any additional assumptions on the structure. We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$, $d \ge 2$, is greater than $\frac{d+1}{2}$, then there exists a non-empty interval $I$ such that given any sequence $\{t_1, t_2, \dots, t_k; t_j \in I\}$, there exists a sequence ${\{x^j\}}_{j=1}^{k+1}$, such that $x^j \in E$ and $|x^{i+1}-x^i|=t_j$, $1 \leq i \leq k$. In other words, $E$ contains vertices of a chain of arbitrary length with prescribed gaps.
On the density of certain languages with $p^2$ letters
Published in The Electronic Journal of Combinatorics, Volume 22, Issue 3 (2015)
• View Publication
• BIB
The sequence $(x_n)_{n\in\mathbb N} = (2,5,15,51,187,\dots)$ given by the rule $x_n=(2^n+1)(2^{n-1}+1)/3$ appears in several seemingly unrelated areas of mathematics. For example, $x_n$ is the density of a language of words of length $n$ with four different letters. It is also the cardinality of the quotient of $(\mathbb Z_2\times \mathbb Z_2)^n$ under the left action of the special linear group $\mathrm{SL}(2,\mathbb Z)$. In this paper we show how these two interpretations of $x_n$ are related to each other. More generally, for prime numbers $p$ we show a correspondence between a quotient of $(\mathbb Z_p\times\mathbb Z_p)^n$ and a language with $p^2$ letters and words of length $n$.
Davenport constant of the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x)\rangle}$
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a finite commutative semigroup. The Davenport constant of $\mathcal{S}$, denoted $D(\mathcal{S})$, is defined to be the least positive integer $d$ such that every sequence $T$ of elements in $\mathcal{S}$ of length at least $d$ contains a subsequence $T'$ with the sum of all terms from $T'$ equaling the sum of all terms from $T$. Let $\F_p[x]$ be a polynomial ring in one variable over the prime field $\F_p$, and let $f(x)\in \F_p[x]$. In this paper, we made a study of the Davenport constant of the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x)\rangle}$. Among other results, we mainly prove that, for any prime $p>2$ and any polynomial $f(x)\in \F_p[x]$ which can be factorized into several pairwise non-associted irreducible polynomials in $\F_p[x]$, then $$D(\mathcal{S}_{f(x)}^p)=D(U(\mathcal{S}_{f(x)}^p)),$$ where $\mathcal{S}_{f(x)}^p$ denotes the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x)\rangle}$ and $U(\mathcal{S}_{f(x)}^p)$ denotes the group of units of the semigroup $\mathcal{S}_{f(x)}^p$.
Asymptotic enumeration of sparse uniform linear hypergraphs with given degrees
Published
• View Publication
• BIB
A hypergraph is simple if it has no loops and no repeated edges, and a hypergraph is linear if it is simple and each pair of edges intersects in at most one vertex. For $n\geq 3$, let $r= r(n)\geq 3$ be an integer and let $\boldsymbol{k} = (k_1,\ldots, k_n)$ be a vector of nonnegative integers, where each $k_j = k_j(n)$ may depend on $n$. Let $M = M(n) = \sum_{j=1}^n k_j$ for all $n\geq 3$, and define the set $\mathcal{I} = \{ n\geq 3 \mid r(n) \text{ divides } M(n)\}$. We assume that $\mathcal{I}$ is infinite, and perform asymptotics as $n$ tends to infinity along $\mathcal{I}$. Our main result is an asymptotic enumeration formula for linear $r$-uniform hypergraphs with degree sequence $\boldsymbol{k}$. This formula holds whenever the maximum degree $k_{\max}$ satisfies $r^4 k_{\max}^4(k_{\max} + r) = o(M)$. Our approach is to work with the incidence matrix of a hypergraph, interpreted as the biadjacency matrix of a bipartite graph, enabling us to apply known enumeration results for bipartite graphs. This approach also leads to a new asymptotic enumeration formula for simple uniform hypergraphs with specified degrees, and a result regarding the girth of random bipartite graphs with specified degrees.
Run Vector Analysis and Barker Sequences of Odd Length
The run vector of a binary sequence reflects the run structure of the sequence, which is given by the set of all substrings of the run length encoding. The run vector and the aperiodic autocorrelations of a binary sequence are strongly related. In this paper, we analyze the run vector of skew-symmetric binary sequences. Using the derived results we present a new and different proof that there exists no Barker sequence of odd length n > 13. Barker sequences are binary sequences whose off-peak aperiodic autocorrelations are all in magnitude at most 1.
Chess God's number grows exponentially
We give an example of two $n\times n$ chess positions, $A$ and $B$, such that (1) there is a sequence $σ$ of legal chess moves leading from $A$ to $B$; (2) the length of $σ$ cannot be less than $\exp Θ(n)$.
High-order Phase Transition in Random Hypergrpahs
In this paper, we study the high-order phase transition in random $r$-uniform hypergraphs. For a positive integer $n$ and a real $p\in [0,1]$, let $H:=H^r(n,p)$ be the random $r$-uniform hypergraph with vertex set $[n]$, where each $r$-set is selected as an edge with probability $p$ independently randomly. For $1\leq s \leq r-1$ and two $s$-sets $S$ and $S'$, we say $S$ is connected to $S'$ if there is a sequence of alternating $s$-sets and edges $S_0,F_1,S_1,F_2, \ldots, F_k, S_k$ such that $S_0,S_1,\ldots, S_k$ are $s$-sets, $S_0=S$, $S_k=S'$, $F_1,F_2,\ldots, F_k$ are edges of $H$, and $S_{i-1}\cup S_i\subseteq F_i$ for each $1\leq i\leq k$. This is an equivalence relation over the family of all $s$-sets ${[n]\choose s}$ and results in a partition: ${V\choose s}=\cup_i C_i$. Each $C_i$ is called an { $s$-th-order} connected component and a component $C_i$ is {\em giant} if $|C_i|=Θ(n^s)$. We prove that the sharp threshold of the existence of the $s$-th-order giant connected components in $H^r(n,p)$ is $\frac{1}{\big({r\choose s}-1\big){n\choose r-s}}$. Let $c={n\choose r-s}p$. If $c$ is a constant and $c<\tfrac{1}{\binom{r}{s}-1}$, then with high probability, all $s$-th-order connected components have size $O(\ln n)$. If $c$ is a constant and $c > \tfrac{1}{\binom{r}{s}-1}$, then with high probability, $H^r(n,p)$ has a unique giant connected $s$-th-order component and its size is $(z+o(1)){n\choose s}$, where $$z=1-\sum_{j=0}^\infty \frac{\left({r\choose s}j -j+1 \right)^{j-1}}{j!}c^je^{-c\left({r\choose s}j -j+1\right)}.$$