sequence
6845 papers tagged with this keyword
Modeling Limits in Hereditary Classes: Reduction and Application to Trees
Limits of graphs were initiated recently in the two extreme contexts of dense and bounded degree graphs. This led to elegant limiting structures called graphons and graphings. These approach have been unified and generalized by authors in a more general setting using a combination of analytic tools and model theory to FO-limits (and X-limits) and to the notion of modeling. The existence of modeling limits was established for sequences in a bounded degree class and, in addition, to the case of classes of trees with bounded height and of graphs with bounded tree depth. These seemingly very special classes is in fact a key step in the development of limits for more general situations. The natural obstacle for the existence of modeling limit for a monotone class of graphs is the nowhere dense property and it has been conjectured that this is a sufficient condition. Extending earlier results we derive several general results which present a realistic approach to this conjecture. As an example we then prove that the class of all finite trees admits modeling limits.
A Heyting Algebra on Dyck Paths of Type $A$ and $B$
Published in Order 34 (2017), pages 327-348
• View Publication
• BIB
In this article we investigate the lattices of Dyck paths of type $A$ and $B$ under dominance order, and explicitly describe their Heyting algebra structure. This means that each Dyck path of either type has a relative pseudocomplement with respect to some other Dyck path of the same type. While the proof that this lattice forms a Heyting algebra is quite straightforward, the explicit computation of the relative pseudocomplements using the lattice-theoretic definition is quite tedious. We give a combinatorial description of the Heyting algebra operations join, meet, and relative pseudocomplement in terms of height sequences, and we use these results to derive formulas for pseudocomplements and to characterize the regular elements in these lattices.
On the polyhedral cones of convex and concave vectors
Published
• View Publication
• BIB
Convex or concave sequences of $n$ positive terms, viewed as vectors in $n$-space, constitute convex cones with $2n-2$ and $n$ extreme rays, respectively. Explicit description is given of vectors spanning these extreme rays, as well as of non-singular linear transformations between the positive orthant and the simplicial cones formed by the positive concave vectors. The simplicial cones of monotone convex and concave vectors can be described similarly.
A curious polynomial interpolation of Carlitz-Riordan's $q$-ballot numbers
Published
• View Publication
• BIB
We study a polynomial sequence $C_n(x|q)$ defined as a solution of a $q$-difference equation. This sequence, evaluated at $q$-integers, interpolates Carlitz-Riordan's $q$-ballot numbers. In the basis given by some kind of $q$-binomial coefficients, the coefficients are again some $q$-ballot numbers. We obtain in a combinatorial way another curious recurrence relation for these polynomials.
New bounds of degree-based topological indices for some classes of $c$-cyclic graphs
Published in Discrete Applied Mathematics 184 (2015) 62-75
• View Publication
• BIB
Making use of a majorization technique for a suitable class of graphs, we derive upper and lower bounds for some topological indices depending on the degree sequence over all vertices, namely the first general Zagreb index and the first multiplicative Zagreb index. Specifically, after characterizing $c-$cyclic graphs $(0\leq c\leq 6)$ as those whose degree sequence belongs to particular subsets of $\mathbb{R}^{n}$, we identify the maximal and minimal vectors of these subsets with respect to the majorization order. This technique allows us to determine lower and upper bounds of the above indices recovering those existing in the literature as well obtaining new ones.
Random regular graphs and the systole of a random surface
Published
• View Publication
• BIB
We study the systole of a random surface, where by a random surface we mean a surface constructed by randomly gluing together an even number of triangles. We study two types of metrics on these surfaces, the first one coming from using ideal hyperbolic triangles and the second one using triangles that carry a given Riemannian metric.
In the hyperbolic case we compute the limit of the expected value of the systole when the number of triangles goes to infinity (approximately 2.484). We also determine the asymptotic probability distribution of the number of curves of any finite length. This turns out to be a Poisson distribution.
In the Riemannian case we give an upper bound to the limit supremum and a lower bound to the limit infimum of the expected value of the systole depending only on the metric on the triangle. We also show that this upper bound is sharp in the sense that there is a sequence of metrics for which the limit infimum comes arbitrarily close to the upper bound.
The main tool we use is random regular graphs. One of the difficulties in the proof of the limits is controlling the probability that short closed curves are separating. To do this we first prove that the probability that a random cubic graph has a short separating circuit tends to 0 for the number of vertices going to infinity and show that this holds for circuits of a length up to $\log_2$ of the number of vertices.
A Case Study in Meta-AUTOMATION: AUTOMATIC Generation of Congruence AUTOMATA For Combinatorial Sequences
Published in Journal of Difference Equations and Applications 20 (2014) 973-988
• View Publication
• BIB
This article is a sequel to a recent article by Eric Rowland and Reem Yassawi, presenting yet another approach to the fast determination of congruence properties of `famous' combinatorial sequences. The present approach can be taught to a computer, and our beloved servant, Shalosh B. Ekhad, was able to generate many new theorems, for famous sequences, of course, but also for many obscure ones!
Combinatorial Applications of the Subspace Theorem
Published
• View Publication
• BIB
The Subspace Theorem is a powerful tool in number theory. It has appeared in various forms and been adapted and improved over time. It's applications include diophantine approximation, results about integral points on algebraic curves and the construction of transcendental numbers. But its usefulness extends beyond the realms of number theory. Other applications of the Subspace Theorem include linear recurrence sequences and finite automata. In fact, these structures are closely related to each other and the construction of transcendental numbers.
The Subspace Theorem also has a number of remarkable combinatorial applications. The purpose of this paper is to give a survey of some of these applications including sum-product estimates and bounds on unit distances. The presentation will be from the point of view of a discrete mathematician. We will state a number of variants of the Subspace Theorem below but we will not prove any of them as the proofs are beyond the scope of this work. However we will give a proof of a simplified special case of the Subspace Theorem which is still very useful for many problems in discrete mathematics.
Subword complexes and nil-Hecke moves
Published
• View Publication
• BIB
For a finite Coxeter group W, a subword complex is a simplicial complex associated with a pair (Q, ρ), where Q is a word in the alphabet of simple reflections, ρis a group element. We describe the transformations of such a complex induced by nil-moves and inverse operations on Q in the nil-Hecke monoid corresponding to W. If the complex is polytopal, we also describe such transformations for the dual polytope. For W simply-laced, these descriptions and results of \cite{Go} provide an algorithm for the construction of the subword complex corresponding to (Q, ρ) from the one corresponding to (δ(Q), ρ), for any sequence of elementary moves reducing the word Q to its Demazure product δ(Q). The former complex is spherical if and only if the latter one is the (-1)-sphere.
New upper and lower bounds for the additive degree-Kirchhoff index
Published in Croat. Chem. Acta 86 (4) (2013) 363-370
• View Publication
• BIB
Given a simple connected graph on $N$ vertices with size $|E|$ and degree sequence $d_{1}\leq d_{2}\leq ...\leq d_{N}$, the aim of this paper is to exhibit new upper and lower bounds for the additive degree-Kirchhoff index in closed forms, not containing effective resistances but a few invariants $(N,|E|$ and the degrees $d_{i}$) and applicable in general contexts. In our arguments we follow a dual approach: along with a traditional toolbox of inequalities we also use a relatively newer method in Mathematical Chemistry, based on the majorization and Schur-convex functions. Some theoretical and numerical examples are provided, comparing the bounds obtained here and those previously known in the literature.
The effect of points fattening on Hirzebruch surfaces
Published in Math. Nachr. 288 (2015), 577-583
• View Publication
• BIB
The purpose of this note is to study initial sequences of zero-dimensional subschemes of Hirzebruch surfaces and classify subschemes whose initial sequence has the minimal possible growth.
Bounds for generalized Sidon sets
Published
• View Publication
• BIB
Let $Γ$ be an abelian group and $g \geq h \geq 2$ be integers. A set $A \subset Γ$ is a $C_h[g]$-set if given any set $X \subset Γ$ with $|X| = k$, and any set $\{ k_1 , \dots , k_g \} \subset Γ$, at least one of the translates $X+ k_i$ is not contained in $A$. For any $g \geq h \geq 2$, we prove that if $A \subset \{1,2, \dots ,n \}$ is a $C_h[g]$-set in $\mathbb{Z}$, then $|A| \leq (g-1)^{1/h} n^{1 - 1/h} + O(n^{1/2 - 1/2h})$. We show that for any integer $n \geq 1$, there is a $C_3 [3]$-set $A \subset \{1,2, \dots , n \}$ with $|A| \geq (4^{-2/3} + o(1)) n^{2/3}$. We also show that for any odd prime $p$, there is a $C_3[3]$-set $A \subset \mathbb{F}_p^3$ with $|A| \geq p^2 - p$, which is asymptotically best possible. Using the projective norm graphs from extremal graph theory, we show that for each integer $h \geq 3$, there is a $C_h[h! +1]$-set $A \subset \{1,2, \dots , n \}$ with $|A| \geq ( c_h +o(1))n^{1-1/h}$. A set $A$ is a \emph{weak $C_h[g]$-set} if we add the condition that the translates $X +k_1, \dots , X + k_g$ are all pairwise disjoint. We use the probabilistic method to construct weak $C_h[g]$-sets in $\{1,2, \dots , n \}$ for any $g \geq h \geq 2$. Lastly we obtain upper bounds on infinite $C_h[g]$-sequences. We prove that for any infinite $C_h[g$]-sequence $A \subset \mathbb{N}$, we have $A(n) = O ( n^{1 - 1/h} ( \log n )^{ - 1/h} )$ for infinitely many $n$, where $A(n) = | A \cap \{1,2, \dots , n \}|$.
A generalization of the extremal function of the Davenport-Schinzel sequences
Let $[n]=\{1, \ldots, n\}$. A sequence $u=a_1a_2\dots a_l$ over $[n]$ is called $k$-sparse if $a_i = a_j$, $i > j$ implies $i-j\geq k$. In other words, every consecutive subsequence of $u$ of length at most $k$ does not have letters in common. Let $u,v$ be two sequences. We say that $u$ is $v$-free, if $u$ does not contain a subsequence isomorphic to $v$. Suppose there are only $k$ letters appearing in $v$. The extremal function Ex$(v,n)$ is defined as the maximum length of all the $v$-free and $k$-sparse sequences. In this paper, we study a generalization of the extremal function Ex$(v,n)$.
Noncommutative recursions and the Laurent phenomenon
Published
• View Publication
• BIB
We exhibit a family of sequences of noncommutative variables, recursively defined using monic palindromic polynomials in $\mathbb Q[x]$, and show that each possesses the Laurent phenomenon. This generalizes a conjecture by Kontsevich.
Mondshein Sequences (a.k.a. (2,1)-Orders)
Published
• View Publication
• BIB
Canonical orderings [STOC'88, FOCS'92] have been used as a key tool in graph drawing, graph encoding and visibility representations for the last decades. We study a far-reaching generalization of canonical orderings to non-planar graphs that was published by Lee Mondshein in a PhD-thesis at M.I.T. as early as 1971.
Mondshein proposed to order the vertices of a graph in a sequence such that, for any i, the vertices from 1 to i induce essentially a 2-connected graph while the remaining vertices from i+1 to n induce a connected graph. Mondshein's sequence generalizes canonical orderings and became later and independently known under the name non-separating ear decomposition. Surprisingly, this fundamental link between canonical orderings and non-separating ear decomposition has not been established before. Currently, the fastest known algorithm for computing a Mondshein sequence achieves a running time of O(nm); the main open problem in Mondshein's and follow-up work is to improve this running time to subquadratic time.
After putting Mondshein's work into context, we present an algorithm that computes a Mondshein sequence in optimal time and space O(m). This improves the previous best running time by a factor of n. We illustrate the impact of this result by deducing linear-time algorithms for five other problems, for four out of which the previous best running times have been quadratic. In particular, we show how to - compute three independent spanning trees of a 3-connected graph in time O(m), - improve the preprocessing time from O(n^2) to O(m) for a data structure reporting 3 internally disjoint paths between any given vertex pair, - derive a very simple O(n)-time planarity test once a Mondshein sequence has been computed, - compute a nested family of contractible subgraphs of 3-connected graphs in time O(m), - compute a 3-partition in time O(m).
Automatic congruences for diagonals of rational functions
Published in Journal de Théorie des Nombres de Bordeaux 27 (2015) 245-288
• View Publication
• BIB
In this paper we use the framework of automatic sequences to study combinatorial sequences modulo prime powers. Given a sequence whose generating function is the diagonal of a rational power series, we provide a method, based on work of Denef and Lipshitz, for computing a finite automaton for the sequence modulo $p^α$, for all but finitely many primes $p$. This method gives completely automatic proofs of known results, establishes a number of new theorems for well-known sequences, and allows us to resolve some conjectures regarding the Apéry numbers. We also give a second method, which applies to an algebraic sequence modulo $p^α$ for all primes $p$, but is significantly slower. Finally, we show that a broad range of multidimensional sequences possess Lucas products modulo $p$.
Derivatives of the tree function
Published in Ramanujan Journal 38(1) (2015), 1--15
• View Publication
• BIB
We study some sequences of polynomials that appear when we consider the successive derivatives of the tree function (or Lambert's W function). We show in particular that they are related with a generalization of Cayley trees, called Greg trees. Besides the combinatorial result in itself, it is interesting to see how this is related with previous work: similar problems were considered first by Ramanujan, and more recently in the theory of completely monotonic functions and its link with probability. Also of great interest is the fact that these Greg trees were introduced in a problem of textual criticism, as a kind a genealogical trees, where they had a priori no mathematical meaning.
Addition Chains Meet Postage Stamps: Reducing the Number of Multiplications
Published in Journal of Integer Sequences, Vol. 17 (2014), Article 14.3.4
• Search Publication
We introduce stamp chains. A stamp chain is a finite integer sequence that is both an addition chain and an additive 2-basis, i.e., a solution to the postage stamp problem. We provide a simple method for converting known postage stamp solutions of length k into stamp chains of length k+1. Using stamp chains, we construct an algorithm that computes u(x^i) for i=1,...,n in less than n-1 multiplications, if u is a function that can be computed at zero cost, and if there exists another zero-cost function v such that v(a,b) = u(ab). This can substantially reduce the computational cost of repeated multiplication, as illustrated by application examples related to matrix multiplication and data clustering using subset convolution. In addition, we report the extremal postage stamp solutions of length k=24.
Common Due-Date Problem: Exact Polynomial Algorithms for a Given Job Sequence
Published
• View Publication
• BIB
This paper considers the problem of scheduling jobs on single and parallel machines where all the jobs possess different processing times but a common due date. There is a penalty involved with each job if it is processed earlier or later than the due date. The objective of the problem is to find the assignment of jobs to machines, the processing sequence of jobs and the time at which they are processed, which minimizes the total penalty incurred due to tardiness or earliness of the jobs. This work presents exact polynomial algorithms for optimizing a given job sequence or single and parallel machines with the run-time complexities of $O(n \log n)$ and $O(mn^2 \log n)$ respectively, where $n$ is the number of jobs and $m$ the number of machines. The algorithms take a sequence consisting of all the jobs $(J_i, i=1,2,\dots,n)$ as input and distribute the jobs to machines (for $m>1$) along with their best completion times so as to get the least possible total penalty for this sequence. We prove the optimality for the single machine case and the runtime complexities of both. Henceforth, we present the results for the benchmark instances and compare with previous work for single and parallel machine cases, up to $200$ jobs.
Aircraft Landing Problem: Efficient Algorithm for a Given Landing Sequence
Published
• View Publication
• BIB
In this paper, we investigate a special case of the static aircraft landing problem (ALP) with the objective to optimize landing sequences and landing times for a set of air planes. The problem is to land the planes on one or multiple runways within a time window as close as possible to the preferable target landing time, maintaining a safety distance constraint. The objective of this well-known NP-hard optimization problem is to minimize the sum of the total penalty incurred by all the aircraft for arriving earlier or later than their preferred landing times. For a problem variant that optimizes a given feasible landing sequence for the single runway case, we present an exact polynomial algorithm and prove the run-time complexity to lie in $O(N^3)$, where $N$ is the number of aircraft. The proposed algorithm returns the optimal solution for the ALP for a given feasible landing sequence on a single runway for a common practical case of the ALP described in the paper. Furthermore, we propose a strategy for the ALP with multiple runways and present our results for all the benchmark instances with single and multiple runways, while comparing them to previous results in the literature.