sequence
7073 papers tagged with this keyword
Mirror bipartite graphs
Intuitively speaking, a bipartite graph is mirror if it can be drawn in the Cartesian plane in such a way that, the vertices of one stable are points in x=0, the vertices of the other stable set are points in x=1, the edges are straight line segments joining adjacent vertices and the resulting configuration is symmetric with respect to the line x=1/2. The concept of mirror bipartite graph appears naturally when studying certain types of products of graphs as for instance the Kronecker product. Motivated by this fact, we study mirror bipartite graphs from the point of view of their degree sequences and of their degree sets. We characterize the sequences of degrees of mirror bipartite graphs. We also show that from a given set P of positive integers, we can construct a bipartite graph of order 2max P, which is mirror. Furthermore, very little is known for the degree sequences of graphs with loops attached, when the number of loops attached is limited. We show in this paper that mirror bipartite graphs constitute a powerful tool to study the degree sequences of these graphs when the number of loops attached at each vertex is at most $1$.
Repetition-free longest common subsequence of random sequences
Published
• View Publication
• BIB
A repetition free Longest Common Subsequence (LCS) of two sequences x and y is an LCS of x and y where each symbol may appear at most once. Let R denote the length of a repetition free LCS of two sequences of n symbols each one chosen randomly, uniformly, and independently over a k-ary alphabet. We study the asymptotic, in n and k, behavior of R and establish that there are three distinct regimes, depending on the relative speed of growth of n and k. For each regime we establish the limiting behavior of R. In fact, we do more, since we actually establish tail bounds for large deviations of R from its limiting behavior.
Our study is motivated by the so called exemplar model proposed by Sankoff (1999) and the related similarity measure introduced by Adi et al. (2007). A natural question that arises in this context, which as we show is related to long standing open problems in the area of probabilistic combinatorics, is to understand the asymptotic, in n and k, behavior of parameter R.
The combinatorics of scattering in layered media
Published
• View Publication
• BIB
Reflection and transmission of waves in piecewise constant layered media are important in various imaging modalities and have been studied extensively. Despite this, no exact time domain formulas for the Green's functions have been established. Indeed, there is an underlying combinatorial obstacle: the analysis of scattering sequences. In the present paper we exploit a representation of scattering sequences in terms of trees to solve completely the inherent combinatorial problem, and thereby derive new, explicit formulas for the reflection and transmission Green's functions.
The Kraft sum as a monotone function on the refinement-ordered set of uniquely decipherable codes
Published in Mathematics for Applications 2 (2013) No. 1, pp. 1-4
• View Publication
• BIB
The set of all uniquely decipherable (UD) codes is partially ordered by refinement, meaning that all strings in the cruder code can be represented as concatenations of strings taken from the finer code. The Kraft sum is a monotone (increasing) function on this poset. In the refinement order, chains of UD codes having the same Kraft sum are necessarily of the simple sequence type. A characterization of UD codes in terms of equalities involving Kraft sums is also given.
Limits and decomposition of de Bruijn's additive systems
Published in in: Combinatorial and Additive Number Theory II, Springer, New York, 2017, pp. 255--267
• View Publication
• BIB
An additive system for the nonnegative integers is a family (A_i)_{i\in I} of sets of nonnegative integers with 0 \in A_i for all i \in I such that every nonnegative integer can be written uniquely in the form \sum_{i\in I} a_i with a_i \in A_i for all i and a_i \neq 0 for only finitely many i. In 1956, de Bruijn proved that every additive system is constructed from an infinite sequence (g_i)_{i \in \N} of integers with g_i \geq 2 for all i, or is a contraction of such a system. This paper gives a complete classification of the "uncontractable" or "indecomposable" additive systems, and also considers limits and stability of additive systems.
Minors of a Class of Riordan Arrays Related to Weighted Partial Motzkin Paths
Published
• View Publication
• BIB
A partial Motzkin path is a path from $(0, 0)$ to $(n, k)$ in the $XOY$-plane that does not go below the $X$-axis and consists of up steps $U=(1, 1)$, down steps $D=(1, -1)$ and horizontal steps $H=(1, 0)$. A weighted partial Motzkin path is a partial Motzkin path with the weight assignment that all up steps and down steps are weighted by 1, the horizontal steps are endowed with a weight $x$ if they are lying on $X$-axis, and endowed with a weight $y$ if they are not lying on $X$-axis. Denote by $M_{n,k}(x, y)$ to be the weight function of all weighted partial Motzkin paths from $(0, 0)$ to $(n, k)$, and $\mathcal{M}=(M_{n,k}(x,y))_{n\geq k\geq 0}$ to be the infinite lower triangular matrices. In this paper, we consider the sums of minors of second order of the matrix $\mathcal{M}$, and obtain a lot of interesting determinant identities related to $\mathcal{M}$, which are proved by bijections using weighted partial Motzkin paths. When the weight parameters $(x, y)$ are specialized, several new identities are obtained related to some classical sequences involving Catalan numbers. Besides, in the alternating cases we also give some new explicit formulas for Catalan numbers.
Efficient computation of trees with minimal atom-bond connectivity index
Published
• View Publication
• BIB
The {\em atom-bond connectivity (ABC) index} is one of the recently most investigated degree-based molecular structure descriptors, that have applications in chemistry. For a graph $G$, the ABC index is defined as $\sum_{uv\in E(G)}\sqrt{\frac{(d(u) +d(v)-2)}{d(u)d(v)}}$, where $d(u)$ is the degree of vertex $u$ in $G$ and $E(G)$ is the set of edges of $G$. Despite many attempts in the last few years, it is still an open problem to characterize trees with minimal $ABC$ index. In this paper, we present an efficient approach of computing trees with minimal ABC index, by considering the degree sequences of trees and some known properties of the graphs with minimal $ABC$ index. The obtained results disprove some existing conjectures end suggest new ones to be set.
Canonical Forms and Automorphisms in the Projective Space
Let $\C$ be a sequence of multisets of subspaces of a vector space $\F_q^k$. We describe a practical algorithm which computes a canonical form and the stabilizer of $\C$ under the group action of the general semilinear group. It allows us to solve canonical form problems in coding theory, i.e. we are able to compute canonical forms of linear codes, $\F_{q}$-linear block codes over the alphabet $\F_{q^s}$ and random network codes under their natural notion of equivalence. The algorithm that we are going to develop is based on the partition refinement method and generalizes a previous work by the author on the computation of canonical forms of linear codes.
Enumeration of generalized $BCI$ lambda-terms
Published
• View Publication
• BIB
We investigate the asymptotic number of elements of size $n$ in a particular class of closed lambda-terms (so-called $BCI(p)$-terms) which are related to axiom systems of combinatory logic. By deriving a differential equation for the generating function of the counting sequence we obtain a recurrence relation which can be solved asymptotically. We derive differential equations for the generating functions of the counting sequences of other more general classes of terms as well: the class of $BCK(p)$-terms and that of closed lambda-terms. Using elementary arguments we obtain upper and lowerestimates for the number of closed lambda-terms of size $n$. Moreover, a recurrence relation is derived which allows an efficient computation of the counting sequence. $BCK(p)$-terms are discussed briefly.
Fooling-sets and rank in nonzero characteristic (extended abstract)
Published
• View Publication
• BIB
An n\times n matrix M is called a fooling-set matrix of size n, if its diagonal entries are nonzero, whereas for every k\ne \ell we have M_{k,\ell} M_{\ell,k} = 0. Dietzfelbinger, Hromkovič, and Schnitger (1996) showed that n \le (\rk M)^2, regardless of over which field the rank is computed, and asked whether the exponent on \rk M can be improved.
We settle this question for nonzero characteristic by constructing a family of matrices for which the bound is asymptotically tight. The construction uses linear recurring sequences.
The Ramsey number of generalized loose paths in uniform Hypergrpahs
Published
• View Publication
• BIB
Let $H=(V,E)$ be an $r$-uniform hypergraph. For each $1 \leq s \leq r-1$, an $s$-path ${\mathcal P}^{r,s}_n$ of length $n$ in $H$ is a sequence of distinct vertices $v_1,v_2,\ldots,v_{s+n(r-s)}$ such that $\{v_{1+i(r-s)},\ldots, v_{s+(i+1)(r-s)}\}\in E(H)$ for each $0 \leq i \leq n-1$.Recently, the Ramsey number of $1$-paths in uniform hypergraphs has received a lot of attention. In this paper, we consider the Ramsey number of $r/2-$paths for even $r$. Namely, we prove the following exact result: $R({\mathcal P}^{r,r/2}_n,{\mathcal P}^{r,r/2}_3)=R({\mathcal P}^{r,r/2}_n,{\mathcal P}^{r,r/2}_4)=\tfrac{(n+1)r}{2}+1.$
On the Erdős-Ginzburg-Ziv invariant and zero-sum Ramsey number for intersecting families
Published
• View Publication
• BIB
Let $G$ be a finite abelian group, and let $m>0$ with $\exp(G)\mid m$. Let $s_{m}(G)$ be the generalized Erdős-Ginzburg-Ziv invariant which denotes the smallest positive integer $d$ such that any sequence of elements in $G$ of length $d$ contains a subsequence of length $m$ with sum zero in $G$. For any integer $r>0$, let $\mathcal{I}_m^{(r)}$ be the collection of all $r$-uniform intersecting families of size $m$. Let $R(\mathcal{I}_m^{(r)},G)$ be the smallest positive integer $d$ such that any $G$-coloring of the edges of the complete $r$-uniform hypergraph $K_{d}^{(r)}$ yields a zero-sum copy of some intersecting family in $\mathcal{I}_m^{(r)}$. Among other results, we mainly prove that $Ω(s_{m}(G))-1\leq R (\mathcal{I}_{m}^{(r)}, \ G)\leq Ω(s_{m}(G)),$ where $Ω(s_{m}(G))$ denotes the least positive integer $n$ such that ${n-1 \choose r-1}\geq s_{m}(G)$, and we show that if $r\mid Ω(s_{m}(G))-1$ then $R (\mathcal{I}_{m}^{(r)}, \ G)= Ω(s_{m}(G))$.
Limit shapes of bumping routes in the Robinson-Schensted correspondence
Published in Random Struct. Alg., 48 (2016), no. 1, 171-182
• View Publication
• BIB
We prove a limit shape theorem describing the asymptotic shape of bumping routes when the Robinson-Schensted algorithm is applied to a finite sequence of independent, identically distributed random variables with the uniform distribution $U[0,1]$ on the unit interval, followed by an insertion of a deterministic number $α$. The bumping route converges after scaling, in the limit as the length of the sequence tends to infinity, to an explicit, deterministic curve depending only on $α$. This extends our previous result on the asymptotic determinism of Robinson-Schensted insertion, and answers a question posed by Moore in 2006.
Lower bounds on the Münchhausen problem
"The Baron's omni-sequence", B(n), first defined by Khovanova and Lewis (2011), is a sequence that gives for each n the minimum number of weighings on balance scales that can verify the correct labeling of n identically-looking coins with distinct integer weights between 1 gram and n grams. A trivial lower bound on B(n) is log_3(n), and it has been shown that B(n) is log_3(n) + O(log log n). In this paper we give a first nontrivial lower bound to the Münchhausen problem, showing that there is an infinite number of n values for which B(n) does not equal ceil(log_3 n). Furthermore, we show that if N(k) is the number of n values for which k = ceil(log_3 n) and B(n) does not equal k, then N(k) is an unbounded function of k.
On some noncommutative symmetric functions analogous to Hall-Littlewood and Macdonald polynomials
Published
• View Publication
• BIB
We investigate the connections between various noncommutative analogues of Hall-Littlewood and Macdonald polynomials, and define some new families of noncommutative symmetric functions depending on two sequences of parameters.
The probability measure corresponding to 2-plane trees
Published in Probability and Mathematical Statistics, vol. 33, Fasc. 2 (2013), pp. 255-264, (10 pages)
• Search Publication
We study the probability measure $μ_{0}$ for which the moment sequence is $\binom{3n}{n}\frac{1}{n+1}$. We prove that $μ_{0}$ is absolutely continuous, find the density function and prove that $μ_{0}$ is infinitely divisible with respect to the additive free convolution.
A Combinatorial Approach to Quantum Error Correcting Codes
Published in Discrete Mathematics, Algorithms and Applications, vol. 6, 1450054 (2014)
• View Publication
• BIB
Motivated from the theory of quantum error correcting codes, we investigate a combinatorial problem that involves a symmetric $n$-vertices colourable graph and a group of operations (colouring rules) on the graph: find the minimum sequence of operations that maps between two given graph colourings. We provide an explicit algorithm for computing the solution of our problem, which in turn is directly related to computing the distance (performance) of an underlying quantum error correcting code. Computing the distance of a quantum code is a highly non-trivial problem and our method may be of use in the construction of better codes.
The Prouhet-Tarry-Escott Problem and Generalized Thue-Morse Sequences
Published in Journal of Combinatorics, Volume 7 (2016), Number 1, pp. 117-133
• View Publication
• BIB
We present new methods of generating Prouhet-Tarry-Escott partitions of arbitrarily large regularity. One of these methods generalizes the construction of the Thue-Morse sequence to finite alphabets with more than two letters. We show how one can use such partitions to (theoretically) pour the same volume coffee from an urn into a finite number of cups so that each cup gets almost the same amount of caffeine.
Skyscraper Numbers
Published in The Journal of Integer Sequences, v.13 (2010), Article 10.8.7
• Search Publication
We introduce numbers depending on three parameters which we call skyscraper numbers. We discuss properties of these numbers and their relationship with Stirling numbers of the first kind, and we also introduce a skyscraper sequence.
The distribution of second degrees in the Buckley-Osthus random graph model
Published
• View Publication
• BIB
In this paper we consider a well-known generalization of the Barabási and Albert preferential attachment model - the Buckley-Osthus model. Buckley and Osthus proved that in this model the degree sequence has a power law distribution. As a natural (and arguably more interesting) next step, we study the second degrees of vertices. Roughly speaking, the second degree of a vertex is the number of vertices at distance two from this vertex. The distribution of second degrees is of interest because it is a good approximation of PageRank, where the importance of a vertex is measured by taking into account the popularity of its neighbors.
We prove that the second degrees also obey a power law. More precisely, we estimate the expectation of the number of vertices with the second degree greater than or equal to k and prove the concentration of this random variable around its expectation using the now-famous Talagrand's concentration inequality over product spaces. As far as we know this is the only application of Talagrand's inequality to random web graphs, where the (preferential attachment) edges are not defined over a product distribution, making the application nontrivial, and requiring certain novelty.