Showing 20 papers (Total: 83842 papers, 48355 authors in database)
How does the core sit inside the mantle?
Published
• View Publication
• BIB
The $k$-core, defined as the largest subgraph of minimum degree $k$, of the random graph $G(n,p)$ has been studied extensively. In a landmark paper Pittel, Wormald and Spencer [JCTB 67 (1996) 111--151] determined the threshold $d_k$ for the appearance of an extensive $k$-core. Here we derive a multi-type Galton-Watson branching process that describes precisely how the $k$-core is embedded into the random graph for any $k\geq3$ and any fixed average degree $d=np>d_k$. This generalises prior results on, e.g., the internal structure of the $k$-core.
Fixed speed competition on the configuration model with infinite variance degrees: equal speeds
We study competition of two spreading colors starting from single sources on the configuration model with i.i.d. degrees following a power-law distribution with exponent $τ\in (2,3)$. In this model two colors spread with a fixed and equal speed on the unweighted random graph.
We analyse how many vertices the two colors paint eventually. We show that coexistence sensitively depends on the initial local neighborhoods of the source vertices: if these neighborhoods are `dissimilar enough', then there is no coexistence, and the `loser' color paints a polynomial fraction of the vertices with a random exponent.
If the local neighborhoods of the starting vertices are `similar enough', then there is coexistence, i.e., both colors paint a strictly positive proportion of vertices. We give a quantitative characterization of `similar' local neighborhoods: two random variables describing the double exponential growth of local neighborhoods of the source vertices must be within a factor $τ-2$ of each other. Both of the two outcomes happen with positive probability with asymptotic value that is explicitly computable.
This picture reinforces the common belief that location is an important feature in advertising.
This paper is a follow-up of the similarly named paper that handles the case when the speeds of the two colors are not equal. There, we have shown that the faster color paints almost all vertices, while the slower color paints only a random sub-polynomial fraction of the vertices.
Two-colour balanced affine urn models with multiple drawings I: central limit theorems
Published
• View Publication
• BIB
This is a research endeavor in two parts. We study a class of balanced urn schemes on balls of two colours (say white and black). At each drawing, a sample of size $m\ge 1$ is drawn from the urn, and ball addition rules are applied. We consider these multiple drawings under sampling with or without replacement. We further classify ball addition matrices according to the structure of the expected value into affine and nonaffine classes. We give a necessary and sufficient condition for a scheme to be in the affine subclass. For the affine subclass, we get explicit results for the expected value and second moment of the number of white balls after $n$ steps and an asymptotic expansion of the variance. Moreover, we uncover a martingale structure, amenable to a central limit theorem formulation. This unifies several earlier works focused on special cases of urn models with multiple drawings. The class is parametrized by $Λ$, specified by the ratio of the two eigenvalues of a "reduced" ball replacement matrix and the sample size. We categorize the class into small-index urns ($Λ<\frac 1 2$), critical-index urns ($Λ= \frac 1 2$), and large-index urns ($Λ> \frac 1 2$), and triangular urns. In the present paper (Part I), we obtain central limit theorems for small- and critical-index urns and prove almost-sure convergence for triangular and large-index urns. In a companion paper (Part II), we discuss the moment structure of large-index urns and triangular urns.
Simply generated non-crossing partitions
Published in Combinatorics, Probability and Computing, 26(4), 560-592 (2017)
• View Publication
• BIB
We introduce and study the model of simply generated non-crossing partitions, which are, roughly speaking, chosen at random according to a sequence of weights. This framework encompasses the particular case of uniform non-crossing partitions with constraints on their block sizes. Our main tool is a bijection between non-crossing partitions and plane trees, which maps such simply generated non-crossing partitions into simply generated trees so that blocks of size $k$ are in correspondence with vertices of outdegree $k$. This allows us to obtain limit theorems concerning the block structure of simply generated non-crossing partitions. We apply our results in free probability by giving a simple formula relating the maximum of the support of a compactly supported probability measure on the real line in term of its free cumulants.
Bipartite Kneser graphs are Hamiltonian
Published in Combinatorica 37(6):1207-1219, 2017
• View Publication
• BIB
For integers $k\geq 1$ and $n\geq 2k+1$ the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of $[n]:=\{1,2,\ldots,n\}$ and an edge between any two vertices (=sets) that are disjoint. The bipartite Kneser graph $H(n,k)$ has as vertices all $k$-element and $(n-k)$-element subsets of $[n]$ and an edge between any two vertices where one is a subset of the other. It has long been conjectured that all Kneser graphs and bipartite Kneser graphs except the Petersen graph $K(5,2)$ have a Hamilton cycle. The main contribution of this paper is proving this conjecture for bipartite Kneser graphs $H(n,k)$. We also establish the existence of cycles that visit almost all vertices in Kneser graphs $K(n,k)$ when $n=2k+o(k)$, generalizing and improving upon previous results on this problem.
On the structure of dense triangle-free binary matroids
We prove, by means of an exact structural description, that every simple triangle-free binary matroid $M$ with $|M| > \tfrac{33}{128}2^{r(M)}$ has critical number at most $2$.
FI_W-modules and constraints on classical Weyl group characters
Published
• View Publication
• BIB
In this paper we study the characters of sequences of representations of any of the three families of classical Weyl groups W_n: the symmetric groups, the signed permutation groups (hyperoctahedral groups), or the even-signed permutation groups. Our results extend work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups. We use the concept of an FI_W-module, an algebraic object that encodes the data of a sequence of W_n-representations with maps between them, defined in the author's recent work ArXiv:1309.3817.
We show that if a sequence {V_n} of W_n-representations has the structure of a finitely generated FI_W-module, then there are substantial constraints on the growth of the sequence and the structure of the characters: for n large, the dimension of V_n is equal to a polynomial in n, and the characters of V_n are given by a character polynomial in signed-cycle-counting class functions, independent of n. We determine bounds the degrees of these polynomials.
We continue to develop the theory of FI_W-modules, and we apply this theory to obtain new results about a number of sequences associated to the classical Weyl groups: the cohomology of complements of classical Coxeter hyperplane arrangements, and the cohomology of the pure string motion groups (the groups of symmetric automorphisms of the free group).
Logarithm of Irrationals and Beatty Sequences
In this paper we find an identity that gives a representation for the logarithm of any two irrational numbers $a, b >1$ in terms of a series whose terms are ratios of elements from the Beatty Sequences generated by these two numbers. We also show that Sturmian sequences can be defined in terms of these ratios. Furthermore, we find an identity for such series that bears a superficial resemblance to (a discrete version of) Frullani's Integral.
Heat diffusion with frozen boundary
Published
• View Publication
• BIB
Consider "Frozen Random Walk" on $\mathbb{Z}$: $n$ particles start at the origin. At any discrete time, the leftmost and rightmost $\lfloor{\frac{n}{4}}\rfloor$ particles are "frozen" and do not move. The rest of the particles in the "bulk" independently jump to the left and right uniformly. The goal of this note is to understand the limit of this process under scaling of mass and time. To this end we study the following deterministic mass splitting process: start with mass $1$ at the origin. At each step the extreme quarter mass on each side is "frozen". The remaining "free" mass in the center evolves according to the discrete heat equation. We establish diffusive behavior of this mass evolution and identify the scaling limit under the assumption of its existence. It is natural to expect the limit to be a truncated Gaussian. A naive guess for the truncation point might be the $1/4$ quantile points on either side of the origin. We show that this is not the case and it is in fact determined by the evolution of the second moment of the mass distribution.
The existence of a path-factor without small odd paths
Published
• View Publication
• BIB
In this paper, we show that if a graph $G$ satisfies $c_{1}(G-X)+\frac{2}{3}c_{3}(G-X)\leq \frac{4}{3}|X|+\frac{1}{3}$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{5}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$.
An elementary solution of Gessel's walks in the quadrant
Published in Adv. Math. 303 (2016) 1171-1189
• View Publication
• BIB
Around 2000, Ira Gessel conjectured that the number of lattice walks in the quadrant N^2, starting and ending at the origin (0,0) and taking their steps in {E,NE,W,SW} had a simple hypergeometric form. In the following decade, this problem was recast in the systematic study of walks with small steps (that is,steps in {-1,0,1}^2) confined to the quadrant. The generating functions of such walks are archetypal solutions of partial discrete differential equations.A complete classification of quadrant walks according to the nature of their generating function(algebraic, D-finite or not) is now available, but Gessel'swalks remained mysterious because they were the only model among the 23D-finite ones that had not been given an elementarysolution. Instead, Gessel's conjecture was first proved usingan inventive computer algebra approach in 2008. A year later, the associated three-variate generating function was proved to be algebraic by a computer algebra tour de force. This was re-proved recently using elaborate complex analysis machinery. We give here an elementary and constructive proof. Our approach also solves other quadrant models (with multiple steps) recently proved to be algebraic via computer algebra.
Multi-Base Representations of Integers: Asymptotic Enumeration and Central Limit Theorems
Published in Applicable Analysis and Discrete Mathematics 2015 Volume 9, Issue 2, Pages: 285-312
• View Publication
• BIB
In a multi-base representation of an integer (in contrast to, for example, the binary or decimal representation) the base (or radix) is replaced by products of powers of single bases. The resulting numeral system has desirable properties for fast arithmetic. It is usually redundant, which means that each integer can have multiple different digit expansions, so the natural question for the number of representations arises. In this paper, we provide a general asymptotic formula for the number of such multi-base representations of a positive integer $n$. Moreover, we prove central limit theorems for the sum of digits, the Hamming weight (number of non-zero digits, which is a measure of efficiency) and the occurrences of a fixed digits in a random representation.
Finite quotients of Bruhat-Tits buildings as geometric expanders
Published in Journal of Topology and Analysis (2016): 1-16
• View Publication
• BIB
In \cite{FGLNP}, Fox, Gromov, Lafforgue, Naor and Pach, in a respond to a question of Gromov \cite{G}, constructed bounded degree geometric expanders, namely, simplical complexes having the affine overlapping property. Their explicit constructions are finite quotients of $\tilde{A_d}$-buildings, for $d\geq 2$, over local fields. In this paper, this result is extended to general high rank Bruhat-Tits buildings.
Local semicircle law for random regular graphs
Published in Comm. Pure Appl. Math., 70(10):1898-1960, 2017
• View Publication
• BIB
We consider random $d$-regular graphs on $N$ vertices, with degree $d$ at least $(\log N)^4$. We prove that the Green's function of the adjacency matrix and the Stieltjes transform of its empirical spectral measure are well approximated by Wigner's semicircle law, down to the optimal scale given by the typical eigenvalue spacing (up to a logarithmic correction). Aside from well-known consequences for the local eigenvalue distribution, this result implies the complete (isotropic) delocalization of all eigenvectors and a probabilistic version of quantum unique ergodicity.
Isometric point-circle configurations on surfaces from uniform maps
Published
• View Publication
• BIB
We embed neighborhood geometries of graphs on surfaces as point-circle configurations. We give examples coming from regular maps on surfaces with maximum number of automorphisms for their genus and survey geometric realization of pentagonal geometries coming from Moore graphs. An infinite family of point-circle $v_4$ configurations on $p$-gonal surfaces with two $p$-gonal morphisms is given. The image of these configuration on the sphere under the two $p$-gonal morphisms is also described.
Minimum vertex degree thresholds for tiling complete 3-partite 3-graphs
Published in Journal of Combinatorial Theory, Series A, 149(2017) 115-147
• View Publication
• BIB
Given positive integers $a\leq b \leq c$, let $K_{a,b,c}$ be the complete 3-partite 3-uniform hypergraph with three parts of sizes $a,b,c$. Let $H$ be a 3-uniform hypergraph on $n$ vertices where $n$ is divisible by $a+b+c$. We asymptotically determine the minimum vertex degree of $H$ that guarantees a perfect $K_{a, b, c}$-tiling, that is, a spanning subgraph of $H$ consisting of vertex-disjoint copies of $K_{a, b, c}$. This partially answers a question of Mycroft, who proved an analogous result with respect to codegree for $r$-uniform hypergraphs for all $r\ge 3$. Our proof uses a lattice-based absorbing method, the concept of fractional tiling, and a recent result on shadows for 3-graphs.
Ajtai-Szemerédi Theorems over quasirandom groups
Published
• View Publication
• BIB
Two versions of the Ajtai-Szemerédi Theorem are considered in the Cartesian square of a finite non-Abelian group $G$. In case $G$ is sufficiently quasirandom, we obtain strong forms of both versions: if $E \subseteq G\times G$ is fairly dense, then $E$ contains a large number of the desired patterns for most individual choices of `common difference'. For one of the versions, we also show that this set of good common differences is syndetic.
Analysis of Bidirectional Ballot Sequences and Random Walks Ending in their Maximum
Published in Ann. Comb. (2016) 20: 775 - 797
• View Publication
• BIB
Consider non-negative lattice paths ending at their maximum height, which will be called admissible paths. We show that the probability for a lattice path to be admissible is related to the Chebyshev polynomials of the first or second kind, depending on whether the lattice path is defined with a reflective barrier or not. Parameters like the number of admissible paths with given length or the expected height are analyzed asymptotically. Additionally, we use a bijection between admissible random walks and special binary sequences to prove a recent conjecture by Zhao on ballot sequences.
Canonical Trees, Compact Prefix-free Codes and Sums of Unit Fractions: A Probabilistic Analysis
Published in SIAM J. Discrete Math. 29 (2015), no. 3, 1600-1653
• View Publication
• BIB
For fixed $t\ge 2$, we consider the class of representations of $1$ as sum of unit fractions whose denominators are powers of $t$ or equivalently the class of canonical compact $t$-ary Huffman codes or equivalently rooted $t$-ary plane "canonical" trees. We study the probabilistic behaviour of the height (limit distribution is shown to be normal), the number of distinct summands (normal distribution), the path length (normal distribution), the width (main term of the expectation and concentration property) and the number of leaves at maximum distance from the root (discrete distribution).
Graphs Identified by Logics with Counting
Published
• View Publication
• BIB
We classify graphs and, more generally, finite relational structures that are identified by C2, that is, two-variable first-order logic with counting. Using this classification, we show that it can be decided in almost linear time whether a structure is identified by C2. Our classification implies that for every graph identified by this logic, all vertex-colored versions of it are also identified. A similar statement is true for finite relational structures.
We provide constructions that solve the inversion problem for finite structures in linear time. This problem has previously been shown to be polynomial time solvable by Martin Otto. For graphs, we conclude that every C2-equivalence class contains a graph whose orbits are exactly the classes of the C2-partition of its vertex set and which has a single automorphism witnessing this fact.
For general k, we show that such statements are not true by providing examples of graphs of size linear in k which are identified by C3 but for which the orbit partition is strictly finer than the Ck-partition. We also provide identified graphs which have vertex-colored versions that are not identified by Ck.