sequence
6845 papers tagged with this keyword
On potentially $K_{r+1}-U$-graphical Sequences
Published in Utilitas Mathematica, 80 (2009),233-244
• Search Publication
Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). We use the symbol $Z_4$ to denote $K_4-P_2.$ A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $σ(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine the values of $σ(K_{r+1}-U, n)$ for
$n\geq 5r+18, r+1 \geq k \geq 7,$ $j \geq 6$ where $U$ is a graph on $k$ vertices and $j$ edges which contains a graph $K_3 \bigcup P_3$ but not contains a cycle on 4 vertices and not contains $Z_4$. There are a number of graphs on $k$ vertices and $j$ edges which contains a graph $(K_{3} \bigcup P_{3})$ but not contains a cycle on 4 vertices and not contains $Z_4$. (for example, $C_3\bigcup C_{i_1} \bigcup C_{i_2} \bigcup >... \bigcup C_{i_p}$ $(i_j\neq 4, j=2,3,..., p, i_1 \geq 5)$, $C_3\bigcup P_{i_1} \bigcup P_{i_2} \bigcup ... \bigcup P_{i_p}$ $(i_1 \geq 3)$, $C_3\bigcup P_{i_1} \bigcup C_{i_2} \bigcup >... \bigcup C_{i_p}$ $(i_j\neq 4, j=2,3,..., p, i_1 \geq 3)$, etc)
On Cobweb posets tiling problem
Published in Adv. Stud. Contemp. Math. volume 16 (2), 2008 (April) pp. 219-233
• Search Publication
Kwasniewski's cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation was derived in the source papers and it entailes natural enquieres already formulated therein. In our note we response to one of those problems. This is a tiling problem. Our observations on tiling problem include proofs of tiling's existence for some cobweb-admissible sequences. We show also that not all cobwebs admit tiling as defined below.
Compatible Geometric Matchings
Published in Computational Geometry: Theory & Applications 42(6-7):617-626, 2009.
• View Publication
• BIB
This paper studies non-crossing geometric perfect matchings. Two such perfect matchings are \emph{compatible} if they have the same vertex set and their union is also non-crossing. Our first result states that for any two perfect matchings $M$ and $M'$ of the same set of $n$ points, for some $k\in\Oh{\log n}$, there is a sequence of perfect matchings $M=M_0,M_1,...,M_k=M'$, such that each $M_i$ is compatible with $M_{i+1}$. This improves the previous best bound of $k\leq n-2$. We then study the conjecture: \emph{every perfect matching with an even number of edges has an edge-disjoint compatible perfect matching}. We introduce a sequence of stronger conjectures that imply this conjecture, and prove the strongest of these conjectures in the case of perfect matchings that consist of vertical and horizontal segments. Finally, we prove that every perfect matching with $n$ edges has an edge-disjoint compatible matching with approximately $4n/5$ edges.
Analysis of two step nilsequences
Published
• View Publication
• BIB
Nilsequences arose in the study of the multiple ergodic averages associated to Furstenberg's proof of Szemerédi's Theorem and have since played a role in problems in additive combinatorics. Nilsequences are a generalization of almost periodic sequences and we study which portions of the classical theory for almost periodic sequences can be generalized for two step nilsequences. We state and prove basic properties for 2-step nilsequences and give a classification scheme for them.
A New Family of Somos-like Recurrences
Published in Electronic Journal of Combinatorics, volume 15(1), #R54, April 2008
• View Publication
• BIB
We exhibit a three parameter infinite family of quadratic recurrence relations inspired by the well known Somos sequences. For one infinite subfamily we prove that the recurrence generates an infinite sequence of integers by showing that the same sequence is generated by a linear recurrence (with suitable initial conditions). We also give conjectured relations among the three parameters so that the quadratic recurrences generate sequences of integers.
On the 3/4-Conjecture for Fix-Free Codes -- A Survey
In this survey we concern ourself with the question, wether there exists a fix-free code for a given sequence of codeword lengths. For a given alphabet, we obtain the {\em Kraftsum} of a code, if we divide for every length the number of codewords of this length in the code by the total number of all possible words of this length and then take summation over all codeword lengths which appears in the code. The same way the Kraftsum of a lengths sequence $(l_1,..., l_n) $ is given by $\sum_{i=1}^n q^{-l_i} $, where $q$ is the numbers of letters in the alphabet. Kraft and McMillan have shown in \cite{kraft} (1956), that there exists a prefix-free code with codeword lengths of a certain lengths sequence, if the Kraftsum of the lengths sequence is smaller than or equal to one. Furthermore they have shown, that the converse also holds for all (uniquely decipherable) codes.\footnote{In this survey a code means a set of words, such that any message which is encoded with these words can be uniquely decoded. Therefore we omit in future the "uniquely decipherable" and write only "code".} The question rises, if Kraft's and McMillan's result can be generalized to other types of codes? Throughout, we try to give an answer on this question for the class of fix-free codes. Since any code has Kraftsum smaller than or equal to one, this answers the question for the second implication of Kraft-McMillan's theorem. Therefore we pay attention mainly to the first implication.
Factorial ratios, hypergeometric series, and a family of step functions
Published
• View Publication
• BIB
We give a complete classification of a certain family of step functions related to the Nyman--Beurling approach to the Riemann hypothesis and previously studied by V. I. Vasyunin. Equivalently, we completely describe when certain sequences of ratios of factorial products are always integral. Essentially, once certain observations are made, this comes down to an application of Beukers and Heckman's classification of the monodromy of the hypergeometric function nF_{n-1}. We also note applications to the classification of cyclic quotient singularities.
The extremal values of the Wiener index of a tree with given degree sequence
Published
• View Publication
• BIB
The Wiener index of a graph is the sum of the distances between all pairs of vertices, it has been one of the main descriptors that correlate achemical compound's molecular graph with experimentally gathered data regarding the compound's characteristics. The tree that minimizes the Wiener index among trees of given maximal degree was studied. We characterize trees that achieve the maximum and minimum Wiener index, given the number of vertices and the degree sequence.
Mean-field conditions for percolation on finite graphs
Published
• View Publication
• BIB
Let G_n be a sequence of finite transitive graphs with vertex degree d=d(n) and |G_n|=n. Denote by p^t(v,v) the return probability after t steps of the non-backtracking random walk on G_n. We show that if p^t(v,v) has quasi-random properties, then critical bond-percolation on G_n has a scaling window of width n^{-1/3}, as it would on a random graph.
A consequence of our theorems is that if G_n is a transitive expander family with girth at least (2/3 + eps) \log_{d-1} n, then the size of the largest component in p-bond-percolation with p={1 +O(n^{-1/3}) \over d-1} is roughly n^{2/3}. In particular, bond-percolation on the celebrated Ramanujan graph constructed by Lubotzky, Phillips and Sarnak has the above scaling window. This provides the first examples of quasi-random graphs behaving like random graphs with respect to critical bond-percolation.
A Brownian quasi-helix in IR4, built from an automatic sequence
We describe a brownian quasi-helix in R^4 by means of an automatic sequence
L^2-spectral invariants and convergent sequences of finite graphs
Published
• View Publication
• BIB
Using the spectral theory of weakly convergent sequences of finite graphs, we prove the uniform existence of the integrated density of states for a large class of infinite graphs.
On equitable zero sums
It is well-known that any sequence of at least N integers contains a subsequence whose sum is 0 (mod N). However, there can be very few subsequences with this property (e.g. if the initial sequence is just N 1's, then there is only one subsequence). When the length L of the sequence is much longer, we might expect that there are 2^L/N subsequences with this property (imagine the subsequences have sum-of-terms uniformly distributed modulo N -- the 0 class gets about 2^L/N subsequences); however, it is easy to see that this is actually false. Nonetheless, we are able to prove that if the initial sequence has length at least 4N, and N is odd, then there is a subsequence of length L > N, having at least 2^L/N subsequences that sum to 0 mod N.
Pattern Avoiding Ballot Paths and Finite Operator Calculus
Published
• View Publication
• BIB
Counting pattern avoiding ballot paths begins with a careful analysis of the pattern. Not the length, but the characteristics of the pattern are responsible for the difficulties in finding explicit solutions. Certain features, like overlap and difference in number of right and up steps determine the solution of the recursion formula. If the recursion can be solved by a polynomial sequence, we apply the Finite Operator Calculus to find an explicit form of the solution in terms of binomial coefficients. Keywords: Pattern avoidance, ballot path, Dyck path, Finite Operator Calculus, Umbral Calculus
G-functions and multisum versus holonomic sequences
Published
• View Publication
• BIB
The purpose of the paper is three-fold: (a) we prove that every sequence which is a multidimensional sum of a balanced hypergeometric term has an asymptotic expansion of Gevrey type-1 with rational exponents, (b) we construct a class of $G$-functions that come from enumerative combinatorics, and (c) we give a counterexample to a question of Zeilberger that asks whether holonomic sequences can be written as multisums of balanced hypergeometric terms. The proofs utilize the notion of a $G$-function, introduced by Siegel, and its analytic/arithmetic properties shown recently by André.
Combinatorial fiber bundles and fragmentation of a fiberwise PL-homeomorphism
Published in Zapiski Nauchnyh Seminarov POMI, v344, p 56-173, 2007 (Russian)
• Search Publication
With a compact PL manifold X we associate a category T(X). The objects of T(X) are all combinatorial manifolds of type X, and morphisms are combinatorial assemblies. We prove that the homotopy equivalence BT (X) \approx BPL(X) holds, where PL(X) is the simplicial group of PL-homeomorphisms. Thus the space BT(X) is a canonical countable (as a CW-complex) model of BPL(X). As a result, we obtain functorial pure combinatorial models for PL fiber bundles with fiber X and a PL polyhedron B as the base. Such a model looks like a T(X)-coloring of some triangulation K of B. The vertices of K are colored by objects of T(X) and the arcs are colored by morphisms in such a way that the diagram arising from the 2-skeleton of K is commutative. Comparing with the classical results of geometric topology, we obtain combinatorial models of the real Grassmannian in small dimensions: BT(S^{n-1}) \approx BO(n) for n=1,2,3,4. The result is proved in a sequence of results on similar models of B\PL(X). Special attention is paid to the main noncompact case X=R^n and to the tangent bundle and Gauss functor of a combinatorial manifold. The trick that makes the proof possible is a collection of lemmas on "fragmentation of a fiberwise homeomorphism", a generalization of the folklore lemma on fragmentation of an isotopy.
Algebraic G-functions associated to matrices over a group-ring
Given a square matrix with elements in the group-ring of a group, one can consider the sequence formed by the trace (in the sense of the group-ring) of its powers. We prove that the corresponding generating series is an algebraic $G$-function (in the sense of Siegel) when the group is free of finite rank. Consequently, it follows that the norm of such elements is an exactly computable algebraic number, and their Green function is algebraic. Our proof uses the notion of rational and algebraic power series in non-commuting variables and is an easy application of a theorem of Haiman. Haiman's theorem uses results of linguistics regarding regular and context-free language. On the other hand, when the group is free abelian of finite rank, then the corresponding generating series is a $G$-function. We ask whether the latter holds for general hyperbolic groups. This version has an expanded introduction following suggestions from Lehner, Voiculescu and others.
Dense sets of integers with prescribed representation functions
Published in European Journal of Combinatorics 34 (2013), 1297--1306
• View Publication
• BIB
Let A be a set of integers and let h \geq 2. For every integer n, let r_{A, h}(n) denote the number of representations of n in the form n=a_1+...+a_h, where a_1,...,a_h belong to the set A, and a_1\leq ... \leq a_h. The function r_{A,h} from the integers Z to the nonnegative integers N_0 U {\infty} is called the representation function of order h for the set A. We prove that every function f from Z to N_0 U {\infty} satisfying liminf_{|n|->\infty} f (n)\geq g is the representation function of order h for some sequence A of integers, and that A can be constructed so that it increases "almost" as slowly as any given B_h[g] sequence. In particular, for every epsilon >0 and g \geq g(h,epsilon), we can construct a sequence A satisfying r_{A,h}=f and A(x)\gg x^{(1/h)-epsilon}.
Inverse problems for linear forms over finite sets of integers
Published in Journal of the Ramanujan Mathematical Society 23 (2008), 151--165
• Search Publication
Let f(x_1,x_2,...,x_m) = u_1x_1+u_2 x_2+... + u_mx_m be a linear form with positive integer coefficients, and let N_f(k) = min{|f(A)| : A \subseteq Z and |A|=k}. A minimizing k-set for f is a set A such that |A|=k and |f(A)| = N_f(k). A finite sequence (u_1, u_2,...,u_m) of positive integers is called complete if {\sum_{j\in J} u_j : J \subseteq {1,2,..,m}} = {0,1,2,..., U}, where $U = \sum_{j=1}^m u_j.$ It is proved that if f is an m-ary linear form whose coefficient sequence (u_1,...,u_m) is complete, then N_f(k) = Uk-U+1 and the minimizing k-sets are precisely the arithmetic progressions of length k. Other extremal results on linear forms over finite sets of integers are obtained.
Unimodality of ordinary multinomials and maximal probabilities of convolution powers of discrete uniform distribution
We establish the unimodality and the asymptotic strong unimodality of the ordinary multinomials and give their smallest mode leading to the expression of the maximal probability of convolution powers of the discrete uniform distribution. We conclude giving the generating functions of the sequence of generalized ordinary multinomials and for an extension of the sequence of maximal probabilities for convolution power of discrete uniform distribution.
Connection between ordinary multinomials, generalized Fibonacci numbers, partial Bell partition polynomials and convolution powers of discrete uniform distribution
Using an explicit computable expression of ordinary multinomials, we establish three remarkable connections, with the q-generalized Fibonacci sequence, the exponential partial Bell partition polynomials and the density of convolution powers of the discrete uniform distribution. Identities and various combinatorial relations are derived.