sequence
7073 papers tagged with this keyword
On the Density of Happy Numbers
Published in INTEGERS, 13:2, 2013
• View Publication
• BIB
The happy function $H: \mathbb{N} \rightarrow \mathbb{N}$ sends a positive integer to the sum of the squares of its digits. A number $x$ is said to be happy if the sequence $\{H^n(x)\}^\infty_{n=1}$ eventually reaches one. A basic open question regarding happy numbers is what bounds on the density can be proved. This paper uses probabilistic methods to reduce this problem to experimentally finding suitably large intervals containing a high (or low) density of happy numbers as a subset. Specifically we show that $\bar{d} > .18577$ and $\underline{d} < .1138$. We also prove that the asymptotic density does not exist for several generalizations of happy numbers.
On perfect packings in dense graphs
Published
• View Publication
• BIB
We say that a graph G has a perfect H-packing if there exists a set of vertex-disjoint copies of H which cover all the vertices in G. We consider various problems concerning perfect H-packings: Given positive integers n, r, D, we characterise the edge density threshold that ensures a perfect K_r-packing in any graph G on n vertices and with minimum degree at least D. We also give two conjectures concerning degree sequence conditions which force a graph to contain a perfect H-packing. Other related embedding problems are also considered. Indeed, we give a structural result concerning K_r-free graphs that satisfy a certain degree sequence condition.
A Ramsey Theorem for Indecomposable Matchings
Published
• View Publication
• BIB
A matching is indecomposable if it does not contain a nontrivial contiguous segment of vertices whose neighbors are entirely contained in the segment. We prove a Ramsey-like result for indecomposable matchings, showing that every sufficiently long indecomposable matching contains a long indecomposable matching of one of three types: interleavings, broken nestings, and proper pin sequences.
Higher moments of convolutions
Published
• View Publication
• BIB
We study higher moments of convolutions of the characteristic function of a set, which generalize a classical notion of the additive energy. Such quantities appear in many problems of additive combinatorics as well as in number theory. In our investigation we use different approaches including basic combinatorics, Fourier analysis and eigenvalues method to establish basic properties of higher energies. We provide also a sequence of applications of higher energies additive combinatorics.
On sequences of projections of the cubic lattice
Published in Computational and Applied Mathematics, 32(1):57-69, 2013
• View Publication
• BIB
In this paper we study sequences of lattices which are, up to similarity, projections of $\mathbb{Z}^{n+1}$ onto a hyperplane $\bm{v}^{\perp}$, with $\bm{v} \in \mathbb{Z}^{n+1}$ and converge to a target lattice $Λ$ which is equivalent to an integer lattice. We show a sufficient condition to construct sequences converging at rate $O(1/ |\bm{v}|^{2/n})$ and exhibit explicit constructions for some important families of lattices.
Non-degenerated groundstates in the antiferromagnetic Ising model on triangulations
A triangulation is an embedding of a graph into a closed Riemann surface so that each face boundary is a 3-cycle of the graph. In this work, groundstate degeneracy in the antiferromagnetic Ising model on triangulations is studied. We show that for every fixed closed Riemann surface S, there are vertex-increasing sequences of triangulations of S with a non-degenerated groundstate. In particular, we exhibit geometrically frustrated systems with a non-degenerated groundstate.
Greedy Galois Games
Published
• View Publication
• BIB
We show that two duelers with similar, lousy shooting skills (a.k.a. Galois duelers) will choose to take turns firing in accordance with the famous Thue-Morse sequence if they greedily demand their chances to fire as soon as the other's a priori probability of winning exceeds their own. This contrasts with a result from the approximation theory of complex functions that says what more patient duelers would do, if they really cared about being as fair as possible. We note a consequent interpretation of the Thue-Morse sequence in terms of certain expansions in fractional bases close to, but greater than, 1.
A pattern theorem for random sorting networks
Published in Electron. J. Probab. 17 (2012), no. 99, 1-16
• View Publication
• BIB
A sorting network is a shortest path from 12..n to n..21 in the Cayley graph of the symmetric group S(n) generated by nearest-neighbor swaps. A pattern is a sequence of swaps that forms an initial segment of some sorting network. We prove that in a uniformly random n-element sorting network, any fixed pattern occurs in at least cn^2 disjoint space-time locations, with probability tending to 1 exponentially fast as n tends to infinity. Here c is a positive constant which depends on the choice of pattern. As a consequence, the probability that the uniformly random sorting network is geometrically realizable tends to 0.
Extending the Tamari lattice to some compositions of species
Published
• View Publication
• BIB
An extension of the Tamari lattice to the multiplihedra is discussed, along with projections to the composihedra and the Boolean lattice. The multiplihedra and composihedra are sequences of polytopes that arose in algebraic topology and category theory. Here we describe them in terms of the composition of combinatorial species. We define lattice structures on their vertices, indexed by painted trees, which are extensions of the Tamari lattice and projections of the weak order on the permutations. The projections from the weak order to the Tamari lattice and the Boolean lattice are shown to be different from the classical ones. We generalize the Tamari lattice to graph tubings--as is also described by Ronco. We review how lattice structures often interact with the Hopf algebra structures, following Aguiar and Sottile who discovered the applications of Mobius inversion on the Tamari lattice to the Loday-Ronco Hopf algebra.
Multidimensional extension of the Morse--Hedlund theorem
Published
• View Publication
• BIB
A celebrated result of Morse and Hedlund, stated in 1938, asserts that a sequence $x$ over a finite alphabet is ultimately periodic if and only if, for some $n$, the number of different factors of length $n$ appearing in $x$ is less than $n+1$. Attempts to extend this fundamental result, for example, to higher dimensions, have been considered during the last fifteen years. Let $d\ge 2$. A legitimate extension to a multidimensional setting of the notion of periodicity is to consider sets of $\ZZ^d$ definable by a first order formula in the Presburger arithmetic $<\ZZ;<,+>$. With this latter notion and using a powerful criterion due to Muchnik, we exhibit a complete extension of the Morse--Hedlund theorem to an arbitrary dimension $d$ and characterize sets of $\ZZ^d$ definable in $<\ZZ;<,+>$ in terms of some functions counting recurrent blocks, that is, blocks occurring infinitely often.
Split hypergraphs
Published in SIAM J. Discrete Math. (2008) 22, pp. 1155-1163
• Search Publication
Generalizing the notion of split graphs to uniform hypergraphs, we prove that the class of these hypergraphs can be characterized by a finite list of excluded induced subhypergraphs. We show that a characterization by generalized degree sequences is impossible, unlike in the well-known case of split graphs. We also give an algorithm to decide whether a given uniform hypergraph is a split hypergraph. If it is, the algorithm gives a splitting of it; the running time is $O(N\log N)$. These answer questions of Sloan, Gy. Turán and Peled.
A Counterexample to rapid mixing of the Ge-Stefankovic Process
Published in Electronic Communications in Probability, 17 (2012) no. 5, 1-6
• View Publication
• BIB
Ge and Stefankovic have recently introduced a novel two-variable graph polynomial. When specialised to a bipartite graphs G and evaluated at the point (1/2,1) this polynomial gives the number of independent sets in the graph. Inspired by this polynomial, they also introduced a Markov chain which, if rapidly mixing, would provide an efficient sampling procedure for independent sets in G. This sampling procedure in turn would imply the existence of efficient approximation algorithms for a number of significant counting problems whose complexity is so far unresolved. The proposed Markov chain is promising, in the sense that it overcomes the most obvious barrier to mixing. However, we show here, by exhibiting a sequence of counterexamples, that the mixing time of their Markov chain is exponential in the size of the input when the input is chosen from a particular infinite family of bipartite graphs.
Formal residue and computer proofs of combinatorial identities
The coefficient of x^{-1} of a formal Laurent series f(x) is called the formal residue of f(x). Many combinatorial numbers can be represented by the formal residues of hypergeometric terms. With these representations and the extended Zeilberger's algorithm, we generate recurrence relations for summations involving combinatorial sequences such as Stirling numbers. As examples, we give computer proofs of several known identities and derive some new identities. The applicability of this method is also studied.
Weak Separation and Plabic Graphs
Published
• View Publication
• BIB
Leclerc and Zelevinsky described quasicommuting families of quantum minors in terms of a certain combinatorial condition, called weak separation. They conjectured that all maximal by inclusion weakly separated collections of minors have the same cardinality, and that they can be related to each other by a sequence of mutations.
On the other hand, Postnikov studied total positivity on the Grassmannian. He described a stratification of the totally nonnegative Grassmannian into positroid strata, and constructed their parametrization using plabic graphs.
In this paper we link the study of weak separation to plabeic graphs. We extend the notion of weak separation to positroids. We generalize the conjectures of Leclerc and Zelevinsky, and related ones of Scott, and prove them. We show that the maximal weakly separated collections in a positroid are in bijective correspondence with the plabic graphs. This correspondence allows us to use the combinatorial techniques of positroids and plabic graphs to prove the (generalized) purity and mutation connectedness conjectures.
Functional limit theorems for random regular graphs
Published in Probab. Theory Related Fields, 156(3-4):921-975, 2013
• View Publication
• BIB
Consider d uniformly random permutation matrices on n labels. Consider the sum of these matrices along with their transposes. The total can be interpreted as the adjacency matrix of a random regular graph of degree 2d on n vertices. We consider limit theorems for various combinatorial and analytical properties of this graph (or the matrix) as n grows to infinity, either when d is kept fixed or grows slowly with n. In a suitable weak convergence framework, we prove that the (finite but growing in length) sequences of the number of short cycles and of cyclically non-backtracking walks converge to distributional limits. We estimate the total variation distance from the limit using Stein's method. As an application of these results we derive limits of linear functionals of the eigenvalues of the adjacency matrix. A key step in this latter derivation is an extension of the Kahn-Szemerédi argument for estimating the second largest eigenvalue for all values of d and n.
Micronuclear Sequences Associated with Assembly Graphs
This paper investigates given an assembly graph, find the possible micronuclear sequences in terms of MDSs and IESs; which represent Hamiltonian polygonal paths. We will consider the orientations of the assembly graph and Hamiltonian polygonal path. To obtain a micronuclear sequence of this path, we will compare orientation of the Hamiltonian polygonal path with respect to the orientation of the assembly graph. We concentrate on two assembly graphs with two 4-valent vertices. These Hamiltonian polygonal paths influence the type of smoothings performed. There are two types of smoothings parallel and non-parallel smoothing. We consider a micronuclear sequence after one smoothing of a vertex.
Pattern avoidance in ascent sequences
Published
• View Publication
• BIB
Ascent sequences are sequences of nonnegative integers with restrictions on the size of each letter, depending on the number of ascents preceding it in the sequence. Ascent sequences have recently been related to (2+2)-free posets and various other combinatorial structures. We study pattern avoidance in ascent sequences, giving several results for patterns of lengths up to 4, for Wilf equivalence and for growth rates. We establish bijective connections between pattern avoiding ascent sequences and various other combinatorial objects, in particular with set partitions. We also make a number of conjectures related to all of these aspects.
Generating functions for plateaus in Motzkin paths
Published
• View Publication
• BIB
A plateau in a Motzkin path is a sequence of three steps: an up step, a horizontal step, then a down step. We find three different forms for the bivariate generating function for plateaus in Motzkin paths, then generalize to longer plateaus. We conclude by describing a further generalization: a continued fraction form from which one can easily derive new multivariate generating functions for various kinds of path statistics. Several examples of generating functions are given using this technique.
A class of quadratic difference equations on a finite graph
We study a class of complex polynomial equations on a finite graph with a view to understanding how holistic phenomena emerge from combinatorial structure. Particular solutions arise from orthogonal projections of regular polytopes, invariant frameworks and cyclic sequences. A set of discrete parameters for which there exist non-trivial solutions leads to the construction of a polynomial invariant and the notion of a geometric spectrum. Geometry then emerges, notably dimension, distance and curvature, from purely combinatorial properties of the graph.
On the asymptotic maximal density of a set avoiding solutions to linear equations modulo a prime
Published in Acta Math. Hungar. 132 (3) (2011), 223--243
• View Publication
• BIB
Given a finite family F of linear forms with integer coefficients, and a compact abelian group G, an F-free set in G is a measurable set which does not contain solutions to any equation L(x)=0 for L in F. We denote by d_F(G) the supremum of m(A) over F-free sets A in G, where m is the normalized Haar measure on G. Our main result is that, for any such collection F of forms in at least three variables, the sequence d_F(Z_p) converges to d_F(R/Z) as p tends to infinity over primes. This answers an analogue for Z_p of a question that Ruzsa raised about sets of integers.