sequence
6845 papers tagged with this keyword
Regularity partitions and the topology of graphons
We highlight a topological aspect of the graph limit theory. Graphons are limit objects for convergent sequences of dense graphs. We introduce the representation of a graphon on a unique metric space and we relate the dimension of this metric space to the size of regularity partitions. We prove that if a graphon has an excluded induced sub-bigraph then the underlying metric space is compact and has finite packing dimension. It implies in particular that such graphons have regularity partitions of polynomial size.
Hadamard matrices from base sequences: An example
Published in International Mathematical Forum Vol. 6, 2011, no. 17-20, 795-814
• Search Publication
There are several well-known methods that one can use to construct Hadamard matrices from base sequences BS(m,n). In view of the recent classification of base sequences BS(n+1,n) for n <= 30, it may be of interest to show on an example how prolific these methods are. For that purpose we have selected the Hadamard matrices of order 60. By using these methods and the transposition map we have constructed 1759 nonequivalent Hadamard matrices of order 60.
A semi-exact degree condition for Hamilton cycles in digraphs
Published
• View Publication
• BIB
The paper is concerned with directed versions of Posa's theorem and Chvatal's theorem on Hamilton cycles in graphs.
We show that for each a>0, every digraph G of sufficiently large order n whose outdegree and indegree sequences d_1^+ \leq ... \leq d_n^+ and d_1^- \leq >... \leq d_n^- satisfy d_i^+, d_i^- \geq min{i + a n, n/2} is Hamiltonian. In fact, we can weaken these assumptions to
(i) d_i^+ \geq min{i + a n, n/2} or d^-_{n - i - a n} \geq n-i; (ii) d_i^- \geq min{i + a n, n/2} or d^+_{n - i - a n} \geq n-i; and still deduce that G is Hamiltonian. This provides an approximate version of a conjecture of Nash-Williams from 1975 and improves a previous result of Kühn, Osthus and Treglown.
Subgraphs of dense random graphs with specified degrees
Published
• View Publication
• BIB
Let d = (d1, d2, ..., dn) be a vector of non-negative integers with even sum. We prove some basic facts about the structure of a random graph with degree sequence d, including the probability of a given subgraph or induced subgraph. Although there are many results of this kind, they are restricted to the sparse case with only a few exceptions. Our focus is instead on the case where the average degree is approximately a constant fraction of n. Our approach is the multidimensional saddle-point method. This extends the enumerative work of McKay and Wormald (1990) and is analogous to the theory developed for bipartite graphs by Greenhill and McKay (arXiv:math/0701600, 2009).
From Parking Functions to Gelfand Pairs
Published
• View Publication
• BIB
A pair $(G,K)$ of a group and its subgroup is called a Gelfand pair if the induced trivial representation of $K$ on $G$ is multiplicity free. Let $(a_j)$ be a sequence of positive integers of length $n$, and let $(b_i)$ be its non-decreasing rearrangement. The sequence $(a_i)$ is called a parking function of length $n$ if $b_i \leq i$ for all $i=1,\...,n$.
In this paper we study certain Gelfand pairs in relation with parking functions. In particular, we find explicit descriptions of the decomposition of the associated induced trivial representations into irreducibles. We obtain and study a new $q$ analogue of the Catalan numbers $\frac{1}{n+1}{2n \choose n}$, $n\geq 1$.
Classification of base sequences BS(n+1,n)
Published in International Journal of Combinatorics, Volume 2010, Article ID 851857, 21 pages
• Search Publication
Base sequences BS(n+1,n) are quadruples of {1,-1}-sequences (A;B;C;D), with A and B of length n+1 and C and D of length n, such that the sum of their nonperiodic autocorrelation functions is a delta-function. The base sequence conjecture, asserting that BS(n+1,n) exist for all n, is stronger than the famous Hadamard matrix conjecture. We introduce a new definition of equivalence for base sequences BS(n+1,n) and construct a canonical form. By using this canonical form, we have enumerated the equivalence classes of BS(n+1,n) for n <= 30. Due to excessive size of the equivalence classes, the tables in the paper cover only the cases n <= 13.
Density Hales-Jewett and Moser numbers
Published
• View Publication
• BIB
For any $n \geq 0$ and $k \geq 1$, the \emph{density Hales-Jewett number} $c_{n,k}$ is defined as the size of the largest subset of the cube $[k]^n$ := $\{1,...,k\}^n$ which contains no combinatorial line; similarly, the Moser number $c'_{n,k}$ is the largest subset of the cube $[k]^n$ which contains no geometric line. A deep theorem of Furstenberg and Katznelson shows that $c_{n,k}$ = $o(k^n)$ as $n \to \infty$ (which implies a similar claim for $c'_{n,k}$); this is already non-trivial for $k = 3$. Several new proofs of this result have also been recently established.
Using both human and computer-assisted arguments, we compute several values of $c_{n,k}$ and $c'_{n,k}$ for small $n,k$. For instance the sequence $c_{n,3}$ for $n=0,...,6$ is $1,2,6,18,52,150,450$, while the sequence $c'_{n,3}$ for $n=0,...,6$ is $1,2,6,16,43,124,353$. We also prove some results for higher $k$, showing for instance that an analogue of the LYM inequality (which relates to the $k = 2$ case) does not hold for higher $k$, and also establishing the asymptotic lower bound $c_{n,k} \geq k^n \exp(- O(\sqrt[\ell]{\log n}))$ where $\ell$ is the largest integer such that $2k > 2^\ell$.
A Combinatorial Proof of the Dense Hindman Theorem
Published in 2011. Discrete Math., 311(14):1380--1384
• View Publication
• BIB
The Dense Hindman's Theorem states that, in any finite coloring of the integers, one may find a single color and a "dense" set $B_1$, for each $b_1\in B_1$ a "dense" set $B_2^{b_1}$ (depending on $b_1$), for each $b_2\in B_2^{b_1}$ a "dense" set $B_3^{b_1,b_2}$ (depending on $b_1,b_2$), and so on, such that for any such sequence of $b_i$, all finite sums belong to the chosen color. (Here density is often taken to be "piecewise syndetic", but the proof is unchanged for any notion of density satisfying certain properties.) This theorem is an example of a combinatorial statement for which the only known proof requires the use of ultrafilters or a similar infinitary formalism. Here we give a direct combinatorial proof of the theorem.
Left and right convergence of graphs with bounded degree
Published
• View Publication
• BIB
The theory of convergent graph sequences has been worked out in two extreme cases, dense graphs and bounded degree graphs. One can define convergence in terms of counting homomorphisms from fixed graphs into members of the sequence (left-convergence), or counting homomorphisms into fixed graphs (right-convergence). Under appropriate conditions, these two ways of defining convergence was proved to be equivalent in the dense case by Borgs, Chayes, Lovász, Sós and Vesztergombi. In this paper a similar equivalence is established in the bounded degree case.
In terms of statistical physics, the implication that left convergence implies right convergence means that for a left-convergent sequence, partition functions of a large class of statistical physics models converge. The proof relies on techniques from statistical physics, like cluster expansion and Dobrushin Uniqueness.
Counting Finite Languages by Total Word Length
Published
• View Publication
• BIB
We investigate the number of sets of words that can be formed from a finite alphabet, counted by the total length of the words in the set. An explicit expression for the counting sequence is derived from the generating function, and asymptotics for large alphabet respectively large total word length are discussed. Moreover, we derive a Gaussian limit law for the number of words in a random finite language.
Scaling limits of random skew plane partitions with arbitrarily sloped back walls
Published in Comm. Math. Phys. 305:711-739, 2011
• View Publication
• BIB
The paper studies scaling limits of random skew plane partitions confined to a box when the inner shapes converge uniformly to a piecewise linear function V of arbitrary slopes in [-1,1]. It is shown that the correlation kernels in the bulk are given by the incomplete Beta kernel, as expected. As a consequence it is established that the local correlation functions in the scaling limit do not depend on the particular sequence of discrete inner shapes that converge to V. A detailed analysis of the correlation kernels at the top of the limit shape and of the frozen boundary is given. It is shown that depending on the slope of the linear section of the back wall, the system exhibits behavior observed in either [OR2] or [BMRT].
Higher order Fourier analysis as an algebraic theory III
For every natural number k we introduce the notion of k-th order convolution of functions on abelian groups. We study the group of convolution preserving automorphisms of function algebras in the limit. It turns out that such groups have k-nilpotent factor groups explaining why k-th order Fourier analysis has non-commutative features. To demonstrate our method in the quadratic case we develop a new quadratic representation theory on finite abelian groups. We introduce the notion of a quadrtic nil-morphism of an abelian group into a two step nil-manifold. We prove a structure theorem saying that any bounded function on a finite abelian group is decomposable into a structured part (which is the composition of a nil-morphism with a bounded complexity continuous function) and a random looking part with small U3 norm. It implies a new inverse theorem for the U3 norm. (The general case for Un, n>3 will be discussed in the next part of this sequence.) We point out that our framework creates interesting limit objects for functions on finite (or compact) abelian groups that are measurable functions on nil-manifolds.
Geometry of tropical moduli spaces and linkage of graphs
Published
• View Publication
• BIB
We prove the following "linkage" theorem: two p-regular graphs of the same genus can be obtained from one another by a finite alternating sequence of one-edge-contractions; moreover this preserves 3-edge-connectivity. We use the linkage theorem to prove that various moduli spaces of tropical curves are connected through codimension one.
Improved bounds on metastability thresholds and probabilities for generalized bootstrap percolation
Published
• View Publication
• BIB
We generalize and improve results of Andrews, Gravner, Holroyd, Liggett, and Romik on metastability thresholds for generalized two-dimensional bootstrap percolation models, and answer several of their open problems and conjectures. Specifically, we prove slow convergence and localization bounds for Holroyd, Liggett, and Romik's k-percolation models, and in the process provide a unified and improved treatment of existing results for bootstrap, modified bootstrap, and Frobose percolation. Furthermore, we prove improved asymptotic bounds for the generating functions of partitions without k-gaps, which are also related to certain infinite probability processes relevant to these percolation models.
One of our key technical probability results is also of independent interest. We prove new upper and lower bounds for the probability that a sequence of independent events with monotonically increasing probabilities contains no "k-gap" patterns, which interpolates the general Markov chain solution that arises in the case that all of the probabilities are equal.
Fluctuations of the Longest Common Subsequence for Sequences of Independent Blocks
The problem of the fluctuation of the Longest Common Subsequence (LCS) of two i.i.d. sequences of length $n>0$ has been open for decades. There exist contradicting conjectures on the topic. Chvatal and Sankoff conjectured in 1975 that asymptotically the order should be $n^{2/3}$, while Waterman conjectured in 1994 that asymptotically the order should be $n$. A contiguous substring consisting only of one type of symbol is called a block. In the present work, we determine the order of the fluctuation of the LCS for a special model of sequences consisting of i.i.d. blocks whose lengths are uniformly distributed on the set $\{l-1,l,l+1\}$, with $l$ a given positive integer. We showed that the fluctuation in this model is asymptotically of order $n$, which confirm Waterman's conjecture. For achieving this goal, we developed a new method which allows us to reformulate the problem of the order of the variance as a (relatively) low dimensional optimization problem.
On harmonic numbers and Lucas sequences
Published
• View Publication
• BIB
Harmonic numbers $H_k=\sum_{0<j\le k}1/j (k=0,1,2,...)$ arise naturally in many fields of mathematics. In this paper we initiate the study of congruences involving both harmonic numbers and Lucas sequences. One of our three theorems is as follows: Let u_0=0, u_1=1, and u_{n+1}=u_n-4u_{n-1} for n=1,2,3,.... Then, for any prime p>5 we have $$\sum_{k=0}^{p-1}u_{k+δ}H_k/2^k=0 (mod p),$$ where $δ=0$ if p=1,2,4,8 (mod 15), and $δ=1$ otherwise.
The Cardinality of Infinite Games
The focus of this essay is a rigorous treatment of infinite games. An infinite game is defined as a play consisting of a fixed number of players whose sequence of moves is repeated, or iterated ad infinitum. Each sequence corresponds to a single iteration of the play, where there are an infinite amount of iterations. There are two distinct concepts within this broad definition which encompass all infinite games: the strong infinite game and the weak infinite game. Both differ in terms of imputations. The strong infinite game has a uniqueness qualification in that all moves must differ to the extent that no imputation (these occur at the end of any given iteration) may ever be the same. Conversely, there is no such qualification in a weak infinite game, any payout may equal another.
Another property shared by strong and weak infinite games (apart from their fulfilling the criterion of an infinite game) is the fact that both consist of a countably infinite amount of moves. Therefore all infinite games have a countably infinite number of turns; the set of all infinite games is composed of each strong and weak infinite game. This result has a very important consequence: the ordinality of turns. That is, the moves of an infinite game have an order or structure which they adhere to. It is this structure which provides any future development or game theoretical analysis of these sorts of games with the necessary foundation.
Hadamard matrices of small order and Yang conjecture
Published in Journal of Combinatorial Designs vol. 18, No. 4 (2010), 254-259
• Search Publication
We show that 138 odd values of n less than 10000 for which one knows how to construct a Hadamard matrix of order 4n have been overlooked in the recent handbook of combinatorial designs. There are four additional odd n, namely 191, 5767, 7081 and 8249, in that range for which we can construct a Hadamard matrix of order 4n. Our exhaustive computer searches show that the near-normal sequences NN(n) exist for n=36,38,40. Thus the Yang conjecture on the existence of NN(n) for all even n has been verified for n <= 40 but it still remains open.
Reduced Kronecker products which are multiplicity free or contain only few components
Published in European J. Combin. 31 (2010), pp. 1996-2005
• View Publication
• BIB
It is known that the Kronecker coefficient of three partitions is a bounded and weakly increasing sequence if one increases the first part of all three partitions. Furthermore if the first parts of partitions λ,μare big enough then the coefficients of the Kronecker product [λ][μ]=\sum_\n g(ł,\m,\n)[ν] do not depend on the first part but only on the other parts. The reduced Kronecker product [λ]_\bullet \star[μ]_\bullet can be viewed (roughly) as the Kronecker product [(n-|λ|,λ)][(n-|μ|,\m)] for n big enough. In this paper we classify the reduced Kronecker products which are multiplicity free and those which contain less than 10 components.We furthermore give general lower bounds for the number of constituents and components of a given reduced Kronecker product. We also give a lower bound for the number of pairs of components whose corresponding partitions differ by one box. Finally we argue that equality of two reduced Kronecker products is only possible in the trivial case that the factors of the product are the same.
Time evolution of dense multigraph limits under edge-conservative preferential attachment dynamics
We define the edge reconnecting model, a random multigraph evolving in time. At each time step we change one endpoint of a uniformly chosen edge: the new endpoint is chosen by linear preferential attachment. We consider a sequence of edge reconnecting models where the sequence of initial multigraphs is convergent in a sense which is a natural generalization of the notion of convergence of dense graph sequences, defined by Lovasz and Szegedy in arXiv:math/0408173. We investigate how the limit object evolves under the edge reconnecting dynamics if we rescale time properly: we give the complete characterization of the time evolution of the limit object from its initial state up to the stationary state, which is described in the companion paper arXiv:1106.2058. In our proofs we use the theory of exchangeable arrays, queuing and diffusion processes. The number of parallel edges and the degrees evolve on different timescales and because of this the model exhibits subaging.