sequence
6845 papers tagged with this keyword
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.
Sidon Basis
Erdös conjectured the existence of an infinite Sidon sequence of positive integers which is also an asymptotic basis of order 3. We make progress towards this conjecture in several directions. First we prove the conjecture for all cyclic groups Z_N with N large enough. In second place we prove by probabilistic methods that there is an infinite B_2[2] sequence which is an asymptotic basis of order 3. Finally we prove that for all c>0 there is a Sidon sequence which is an asymptotic basis of order 3+c,that is to say, any positive sufficiently large integer n can be written as a sum of 4 elements of the sequence, one of them smaller than n^c.
Infinitely Log-monotonic Combinatorial Sequences
Published
• View Publication
• BIB
We introduce the notion of infinitely log-monotonic sequences. By establishing a connection between completely monotonic functions and infinitely log-monotonic sequences, we show that the sequences of the Bernoulli numbers, the Catalan numbers and the central binomial coefficients are infinitely log-monotonic. In particular, if a sequence $\{a_n\}_{n\geq 0}$ is log-monotonic of order two, then it is ratio log-concave in the sense that the sequence $\{a_{n+1}/a_{n}\}_{n\geq 0}$ is log-concave. Furthermore, we prove that if a sequence $\{a_n\}_{n\geq k}$ is ratio log-concave, then the sequence $\{\sqrt[n]{a_n}\}_{n\geq k}$ is strictly log-concave subject to a certain initial condition. As consequences, we show that the sequences of the derangement numbers, the Motzkin numbers, the Fine numbers, the central Delannoy numbers, the numbers of tree-like polyhexes and the Domb numbers are ratio log-concave. For the case of the Domb numbers $D_n$, we confirm a conjecture of Sun on the log-concavity of the sequence $\{\sqrt[n]{D_n}\}_{n\geq 1}$.
Spectral moments of trees with given degree sequence
Published
• View Publication
• BIB
Let $λ_1,\dots,λ_n$ be the eigenvalues of a graph $G$. For any $k\geq 0$, the $k$-th spectral moment of $G$ is defined by $\M_k(G)=λ_1^k+\dots+λ_n^k$. We use the fact that $\M_k(G)$ is also the number of closed walks of length $k$ in $G$ to show that among trees $T$ whose degree sequence is $D$ or majorized by $D$, $\M_k(T)$ is maximized by the greedy tree with degree sequence $D$ (constructed by assigning the highest degree in $D$ to the root, the second-, third-, \dots highest degrees to the neighbors of the root, and so on) for any $k\geq 0$. Several corollaries follow, in particular a conjecture of Ilić and Stevanović on trees with given maximum degree, which in turn implies a conjecture of Gutman, Furtula, Marković and Glišić on the Estrada index of such trees, which is defined as $\EE(G)=e^{λ_1}+\dots+e^{λ_n}$.
Patterns In The Coefficients Of Powers Of Polynomials Over A Finite Field
We examine the behavior of the coefficients of powers of polynomials over a finite field of prime order. Extending the work of Allouche-Berthe, 1997, we study a(n), the number of occurring strings of length n among coefficients of any power of a polynomial f reduced modulo a prime p. The sequence of line complexity a(n) is p-regular in the sense of Allouche-Shalit. For f=1+x and general p, we derive a recursion relation for a(n) then find a new formula for the generating function for a(n). We use the generating function to compute the asymptotics of a(n)/n^2 as n approaches infinity, which is an explicitly computable piecewise quadratic in x with n= [p^m/x] and x is a real number between 1/p and 1. Analyzing other cases, we form a conjecture about the generating function for general a(n). We examine the matrix B associated with f and p used to compute the count of a coefficient, which applies to the theory of linear cellular automata and fractals. For p=2 and polynomials of small degree we compute the largest positive eigenvalue, λ, of B, related to the fractal dimension d of the corresponding fractal by d= \log_2(λ). We find proofs and make a number of conjectures for some bounds on λ, and upper bounds on its degree.
(a,b)-rectangle patterns in permutations and words
In this paper, we introduce the notion of a $(a,b)$-rectangle pattern on permutations that not only generalizes the notion of successive elements (bonds) in permutations, but is also related to mesh patterns introduced recently by Brändén and Claesson. We call the $(k,k)$-rectangle pattern the $k$-box pattern. To provide an enumeration result on the maximum number of occurrences of the 1-box pattern, we establish an enumerative result on pattern-avoiding signed permutations.
Further, we extend the notion of $(k,\ell)$-rectangle patterns to words and binary matrices, and provide distribution of $(1,\ell)$-rectangle patterns on words; explicit formulas are given for up to 7 letter alphabets where $\ell \in \{1,2\}$, while obtaining distributions for larger alphabets depends on inverting a matrix we provide. We also provide similar results for the distribution of bonds over words. As a corollary to our studies we confirm a conjecture of Mathar on the number of "stable LEGO walls" of width 7 as well as prove three conjectures due to Hardin and a conjecture due to Barker. We also enumerate two sequences published by Hardin in the On-Line Encyclopedia of Integer Sequences.
On the key exchange with nonlinear polynomial maps of stable degree
Published
• View Publication
• BIB
We say that the sequence $g_n$, $n\ge 3$, $n \rightarrow \infty$ of polynomial transformation bijective maps of free module $K^n$ over commutative ring $K$ is a sequence of stable degree if the order of $g_n$ is growing with $n$ and the degree of each nonidentical polynomial map of kind ${g_n}^k$ is an independent constant $c$. A transformation $b=τ
{g_n}^k τ^{-1}$, where $τ$ is affine bijection, $n$ is large and $k$ is relatively small, can be used as a base of group theoretical Diffie-Hellman key exchange algorithm for the Cremona group $C(K^n)$ of all regular automorphisms of $K^n$. The specific feature of this method is that the order of the base may be unknown for the adversary because of the complexity of its computation. The exchange can be implemented by tools of Computer Algebra (symbolic computations). The adversary can not use the degree of righthandside in $b^x=d$ to evaluate unknown $x$ in this form for the discrete logarithm problem.
In the paper we introduce the explicit constructions of sequences of elements of stable degree for cases $c=3$ for each commutative ring $K$ containing at least 3 regular elements and discuss the implementation of related key exchange and public key algorithms.
Mod-phi convergence I: Normality zones and precise deviations
Published
• View Publication
• BIB
In this paper, we use the framework of mod-$φ$ convergence to prove precise large or moderate deviations for quite general sequences of real valued random variables $(X_{n})_{n \in \mathbb{N}}$, which can be lattice or non-lattice distributed. We establish precise estimates of the fluctuations $P[X_{n} \in t_{n}B]$, instead of the usual estimates for the rate of exponential decay $\log( P[X_{n}\in t_{n}B])$. Our approach provides us with a systematic way to characterise the normality zone, that is the zone in which the Gaussian approximation for the tails is still valid. Besides, the residue function measures the extent to which this approximation fails to hold at the edge of the normality zone.
The first sections of the article are devoted to a proof of these abstract results and comparisons with existing results. We then propose new examples covered by this theory and coming from various areas of mathematics: classical probability theory, number theory (statistics of additive arithmetic functions), combinatorics (statistics of random permutations), random matrix theory (characteristic polynomials of random matrices in compact Lie groups), graph theory (number of subgraphs in a random Erdős-Rényi graph), and non-commutative probability theory (asymptotics of random character values of symmetric groups). In particular, we complete our theory of precise deviations by a concrete method of cumulants and dependency graphs, which applies to many examples of sums of "weakly dependent" random variables. The large number as well as the variety of examples hint at a universality class for second order fluctuations.
New artificial-free phase 1 simplex method
Published in International Journal of Basic & Applied Sciences IJBAS (2009) Vol: 9 No: 10
• Search Publication
This paper presents new and easy to use versions of primal and dual phase 1 processes which obviate the role of artificial variables and constraints by allowing negative variables into the basis. During the process new method visits the same sequence of corner points as the traditional phase 1 does. The new method is artificial free so, it also avoids stalling and saves degenerate pivots in many cases of linear programming problems.