arXiv++ Combinatorics

Browse math.CO papers from arXiv

sequence

7073 papers tagged with this keyword
Threshold Digraphs
Published in Journal of Research of NIST, Vol. 119, pg. 227-234, 2014 • View Publication • BIB
A digraph whose degree sequence has a unique vertex labeled realization is called threshold. In this paper we present several characterizations of threshold digraphs and their degree sequences, and show these characterizations to be equivalent. One of the characterizations is new, and allows for a shorter proof of the equivalence of the two known characterizations as well as proving the final characterization which appears without proof in the literature. Using this result, we obtain a new, short proof of the Fulkerson-Chen theorem on degree sequences of general digraphs.
Recursive bijections for Catalan objects
In this note we introduce several instructive examples of bijections found between several different combinatorially defined sequences of sets. Each sequence has cardinalities given by the Catalan numbers. Our results answer some questions posed by R. Stanley in the addendum to his textbook. We actually discuss two types of bijection, one defined recursively and the other defined in a more local, relative, fashion. It is interesting to compare the results of the two.
2012-12-02 v2
Biologically Unavoidable Sequences
Published in Electronic Journal of Combinatorics vol 20 issue 1 (2013), 13pp • View Publication • BIB
A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes Koenig's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.
2012-11-29 v3
Motors and Impossible Firing Patterns in the Parallel Chip-Firing Game
Published • View Publication • BIB
The parallel chip-firing game is an automaton on graphs in which vertices "fire" chips to their neighbors when they have enough chips to do so. The game is always periodic, and we concern ourselves with the firing sequences of vertices. We introduce the concepts of motorized parallel chip-firing games and motor vertices, study the effects of motors connected to a tree and show that motorized games can be transformed into ordinary games if the motors' firing sequences occur in some ordinary game. We then characterize exactly which periodic firing patterns can occur in an ordinary game and state some implications of the finding.
2012-11-29 v2
Polyhedral computational geometry for averaging metric phylogenetic trees
Published • View Publication • BIB
This paper investigates the computational geometry relevant to calculations of the Frechet mean and variance for probability distributions on the phylogenetic tree space of Billera, Holmes and Vogtmann, using the theory of probability measures on spaces of nonpositive curvature developed by Sturm. We show that the combinatorics of geodesics with a specified fixed endpoint in tree space are determined by the location of the varying endpoint in a certain polyhedral subdivision of tree space. The variance function associated to a finite subset of tree space has a fixed $C^\infty$ algebraic formula within each cell of the corresponding subdivision, and is continuously differentiable in the interior of each orthant of tree space. We use this subdivision to establish two iterative methods for producing sequences that converge to the Frechet mean: one based on Sturm's Law of Large Numbers, and another based on descent algorithms for finding optima of smooth functions on convex polyhedra. We present properties and biological applications of Frechet means and extend our main results to more general globally nonpositively curved spaces composed of Euclidean orthants.
2012-11-28 v2
Degree-based network models
We derive the sampling properties of random networks based on weights whose pairwise products parameterize independent Bernoulli trials. This enables an understanding of many degree-based network models, in which the structure of realized networks is governed by properties of their degree sequences. We provide exact results and large-sample approximations for power-law networks and other more general forms. This enables us to quantify sampling variability both within and across network populations, and to characterize the limiting extremes of variation achievable through such models. Our results highlight that variation explained through expected degree structure need not be attributed to more complicated generative mechanisms.
2012-11-25 v2
Arc diagram varieties
Published in in: "Expository lectures on representation theory", Contemporary Mathematics 607, Amer. Math. Soc., Providence, RI, (2014), 205--224 • View Publication • BIB
Let $k$ be an algebraically closed field and $α$, $β$, $γ$ be partitions. An algebraic group acts on the constructible set of short exact sequences of nilpotent $k$-linear operators of Jordan types $α$, $β$, and $γ$, respectively; we are interested in the stratification given by the orbits in the case where all parts of $α$ are at most 2. Geometric properties of the degeneration relation are controlled by the combinatorics of arc diagrams. The extended bubble sort algorithm is used to construct chains of orbits such that subsequent strata have dimension difference equal to one.
2012-11-24 v2
On Groupoids and Hypergraphs
We present a novel construction of finite groupoids whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour class (sub-groupoid), and only counts transitions between colour classes (cosets). These groupoids are employed towards a generic construction method for finite hypergraphs that realise specified overlap patterns and avoid small cyclic configurations. The constructions are based on reduced products with groupoids generated by the elementary local extension steps, and can be made to preserve the symmetries of the given overlap pattern. In particular, we obtain highly symmetric, finite hypergraph coverings without short cycles. The groupoids and their application in reduced products are sufficiently generic to be applicable to other constructions that are specified in terms of local glueing operations and require global finite closure.
2012-11-23
Infinite Log-Concavity and r-Factor
D. Uminsky and K. Yeats [6] studied the properties of the log- operator L on the subset of the finite symmetric sequences and prove the existence of an infinite region R, bounded by parametrically de- fined hypersurfaces such that any sequence corresponding a point of R is infinitely log concave. We study the properties of a new operator L_r and redefine the hypersurfaces which generalizes the one defined by Uminsky and Yeats [6]. We show that any sequence corresponding a point of the region R, bounded by the new generalized parametrically defined r-factor hypersurfaces, is Generalized r-factor infinitely log concave. We also give an improved value of r_0 found by McNamara and Sagan [4] as the log-concavity criterion using the new log-operator.
2012-11-22
On the maximal multiplicity of long zero-sum free sequences over $C_p\oplus C_p$
In this paper, we point out that the method used in [Acta Arith. 128(2007) 245-279] can be modified slightly to obtain the following result. Let $\varepsilon \in (0,\frac 14)$ and $c>0$, and let $p$ be a sufficiently large prime depending on $\varepsilon$ and $c$. Then every zero-sumfree sequence $S$ over $C_p\oplus C_p$ of length $|S|\geq 2p-c\sqrt{p}$ contains some element at least $\lfloor p^{\frac14-\varepsilon}\rfloor$ times.
2012-11-21
On the spectral moments of trees with a given bipartition
For two given positive integers $p$ and $q$ with $p\leqslant q$, we denote $\mathscr{T}_n^{p, q}={T: T$ is a tree of order $n$ with a $(p, q)$-bipartition}. For a graph $G$ with $n$ vertices, let $A(G)$ be its adjacency matrix with eigenvalues $λ_1(G), λ_2(G), ..., λ_n(G)$ in non-increasing order. The number $S_k(G):=\sum_{i=1}^{n}λ_i^k(G)\,(k=0, 1, ..., n-1)$ is called the $k$th spectral moment of $G$. Let $S(G)=(S_0(G), S_1(G),..., S_{n-1}(G))$ be the sequence of spectral moments of $G$. For two graphs $G_1$ and $G_2$, one has $G_1\prec_s G_2$ if for some $k\in {1,2,...,n-1}$, $S_i(G_1)=S_i(G_2) (i=0,1,...,k-1)$ and $S_k(G_1)<S_k(G_2)$ holds. In this paper, the last four trees, in the $S$-order, among $\mathscr{T}_n^{p, q} (4\leqslant p\leqslant q)$ are characterized.
2012-11-16
Subsets of Products of Finite Sets of Positive Upper Density
Published • View Publication • BIB
In this note we prove that for every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\leqslant1$ there is a sequence $(n_q)_{q}$ of positive integers such that for every sequence $(H_q)_{q}$ of finite sets such that $|H_q|=n_q$ for every $q\in\mathbb{N}$ and for every $D\subseteq \bigcup_k\prod_{q=0}^{k-1}H_q$ with the property that $$\limsup_k \frac{|D\cap \prod_{q=0}^{k-1} H_q|}{|\prod_{q=0}^{k-1}H_q|}\geqslantδ$$ there is a sequence $(J_q)_{q}$, where $J_q\subseteq H_q$ and $|J_q|=m_q$ for all $q$, such that $\prod_{q=0}^{k-1}J_q\subseteq D$ for infinitely many $k.$ This gives us a density version of a well-known Ramsey-theoretic result. We also give some estimates on the sequence $(n_q)_{q}$ in terms of the sequence of $(m_q)_{q}$.
2012-11-13 v2
Log-convexity and log-concavity for series in gamma ratios and applications
Published • View Publication • BIB
Polynomial sequence ${P_m}_{m\geq0}$ is $q$-logarithmically concave if $P_{m}^2-P_{m+1}P_{m-1}$ is a polynomial with nonnegative coefficients for any $m\geq{1}$. We introduce an analogue of this notion for formal power series whose coefficients are nonnegative continuous functions of parameter. Four types of such power series are considered where parameter dependence is expressed by a ratio of gamma functions. We prove six theorems stating various forms of $q$-logarithmic concavity and convexity of these series. The main motivating examples for these investigations are hypergeometric functions. In the last section of the paper we present new inequalities for the Kummer function, the ratio of the Gauss functions and the generalized hypergeometric function obtained as direct applications of the general theorems.
2012-11-13 v3
A Riccati differential equation and free subgroup numbers for lifts of $\PSL_2(\Z)$ modulo powers of primes
Published in J. Combin. Theory Ser. A 120 (2013), 2039-2063 • View Publication • BIB
It is shown that the number $f_λ$ of free subgroups of index $6λ$ in the modular group $\PSL_2(\Z)$, when considered modulo a prime power $p^\al$ with $p\ge5$, is always (ultimately) periodic. In fact, an analogous result is established for a one-parameter family of lifts of the modular group (containing $\PSL_2(\Z)$ as a special case), and for a one-parameter family of lifts of the Hecke group $\mathfrak{H}(4)=C_2*C_4$. All this is achieved by explicitly determining Padé approximants to solutions of a certain multi-parameter family of Riccati differential equations. Our main results complement previous work by Kauers and the authors (arXiv:1107.2015 and ["A method for determining the mod-$3^k$ behaviour of recursive sequences"}, preprint]), where it is shown, among other things, that the free subgroup numbers of $\PSL_2(\Z)$ and its lifts display rather complex behaviour modulo powers of 2 and 3.
Modelling Breakage-Fusion-Bridge Cycles as a Stochastic Paper Folding Process
Published • View Publication • BIB
Breakage-Fusion-Bridge cycles in cancer arise when a broken segment of DNA is duplicated and an end from each copy joined together. This structure then `unfolds' into a new piece of palindromic DNA. This is one mechanism responsible for the localised amplicons observed in cancer genome data. The process has parallels with paper folding sequences that arise when a piece of paper is folded several times and then unfolded. Here we adapt such methods to study the breakage-fusion-bridge structures in detail. We firstly consider discrete representations of this space with 2-d trees to demonstrate that there are 2^(n(n-1)/2) qualitatively distinct evolutions involving n breakage-fusion-bridge cycles. Secondly we consider the stochastic nature of the fold positions, to determine evolution likelihoods, and also describe how amplicons become localised. Finally we highlight these methods by inferring the evolution of breakage-fusion-bridge cycles with data from primary tissue cancer samples.
2012-11-09
Independent subsets of powers of paths, and Fibonacci cubes
Published in Electronic Notes in Discrete Mathematics 40 (2013) 65-69 • View Publication • BIB
We provide a formula for the number of edges of the Hasse diagram of the independent subsets of the h-th power of a path ordered by inclusion. For h=1 such a value is the number of edges of a Fibonacci cube. We show that, in general, the number of edges of the diagram is obtained by convolution of a Fibonacci-like sequence with itself.
2012-11-08
Combinatorial proofs of Infinite versions of the Hales-Jewett theorem
We provide new and purely combinatorial proofs of two infinite extensions of the Hales--Jewett theorem. The first one is due to T. Carlson and S. Simpson and the second one is due T. Carlson. Both concern infinite increasing sequences of finite alphabets.
2012-11-07 v2
Explicit formulas using partitions of integers for numbers defined by recursion
Published in Fera, G. & Talamini, V. Mediterr. J. Math. (2018) 15: 29 • View Publication • BIB
In this article we obtain an explicit formula in terms of the partitions of the positive integer $n$ to express the $n$-th term of a wide class of sequences of numbers defined by recursion. Our proof is based only on arithmetics. We compare our result with similar formulas obtained with different approaches already in the XIX century. Examples are given for Bernoulli, Euler and Fibonacci numbers.
2012-11-06
On the Number of Unbordered Factors
We illustrate a general technique for enumerating factors of k-automatic sequences by proving a conjecture on the number f(n) of unbordered factors of the Thue-Morse sequence. We show that f(n) <= n for n >= 4 and that f(n) = n infinitely often. We also give examples of automatic sequences having exactly 2 unbordered factors of every length.
2012-11-05 v2
Hankel determinants of some polynomial sequences
We give simple new proofs of some Hankel determinant evaluations by Omer Egecioglu and Aleksandar Cvetkovic, Predrag Rajkovic and Milos Ivkovic and prove analogous results for sums of moments of symmetric orthogonal polynomials.