random
7100 papers tagged with this keyword
Optimal Random Matchings, Tours, and Spanning Trees in Hierarchically Separated Trees
Published
• View Publication
• BIB
We derive tight bounds on the expected weights of several combinatorial optimization problems for random point sets of size $n$ distributed among the leaves of a balanced hierarchically separated tree. We consider {\it monochromatic} and {\it bichromatic} versions of the minimum matching, minimum spanning tree, and traveling salesman problems. We also present tight concentration results for the monochromatic problems.
The probability that a random multigraph is simple, II
Published
• View Publication
• BIB
Consider a random multigraph with given vertex degrees constructed by the configuration model. We give a new proof of the fact that, asymptotically for a sequence of such multigraphs with the number of edges tending to infinity, the probability that the multigraph is simple stays away from 0 if and only if $\sum d_i^2 = O(\sum d_i)$, where $d_i$ are the vertex degrees. The new proof uses the method of moments, which makes it possible to use it in some applications concerning convergence in distribution. Corresponding results for bipartite graphs are included.
Analytic combinatorics of chord and hyperchord diagrams with $k$ crossings
Published in Adv. in Appl. Math., 57:60-100, 2014
• View Publication
• BIB
Using methods from Analytic Combinatorics, we study the families of perfect matchings, partitions, chord diagrams, and hyperchord diagrams on a disk with a prescribed number of crossings. For each family, we express the generating function of the configurations with exactly $k$ crossings as a rational function of the generating function of crossing-free configurations. Using these expressions, we study the singular behavior of these generating functions and derive asymptotic results on the counting sequences of the configurations with precisely $k$ crossings. Limiting distributions and random generators are also studied.
Counting Tensor Model Observables and Branched Covers of the 2-Sphere
Published in Ann.Inst.H.Poincare Comb.Phys.Interact. 1 (2014) 1, 77-138
• View Publication
• BIB
Lattice gauge theories of permutation groups with a simple topological action (henceforth permutation-TFTs) have recently found several applications in the combinatorics of quantum field theories (QFTs). They have been used to solve counting problems of Feynman graphs in QFTs and ribbon graphs of large $N$, often revealing inter-relations between different counting problems. In another recent development, tensor theories generalizing matrix theories have been actively developed as models of random geometry in three or more dimensions. Here, we apply permutation-TFT methods to count gauge invariants for tensor models (colored as well as non-colored), exhibiting a relationship with counting problems of branched covers of the 2-sphere, where the rank $d$ of the tensor gets related to a number of branch points. We give explicit generating functions for the relevant counting and describe algorithms for the enumeration of the invariants. As well as the classic count of Hurwitz equivalence classes of branched covers with fixed branch points, collecting these under an equivalence of permuting the branch points is relevant to the color-symmetrized tensor invariant counting. We also apply the permutation-TFT methods to obtain some formulae for correlators of the tensor model invariants.
The typical structure of sparse $K_{r+1}$-free graphs
Published in Transactions of the AMS 368 (2016), 6439-6485
• View Publication
• BIB
Two central topics of study in combinatorics are the so-called evolution of random graphs, introduced by the seminal work of Erdős and Rényi, and the family of $H$-free graphs, that is, graphs which do not contain a subgraph isomorphic to a given (usually small) graph $H$. A widely studied problem that lies at the interface of these two areas is that of determining how the structure of a typical $H$-free graph with $n$ vertices and $m$ edges changes as $m$ grows from $0$ to $\text{ex}(n,H)$. In this paper, we resolve this problem in the case when $H$ is a clique, extending a classical result of Kolaitis, Prömel, and Rothschild. In particular, we prove that for every $r \ge 2$, there is an explicit constant $θ_r$ such that, letting $m_r = θ_r n^{2-\frac{2}{r+2}} (\log n)^{1/\left[\binom{r+1}{2}-1\right]}$, the following holds for every positive constant $\varepsilon$. If $m \ge (1+\varepsilon) m_r$, then almost all $K_{r+1}$-free $n$-vertex graphs with $m$ edges are $r$-partite, whereas if $n \ll m \le (1-\varepsilon)m_r$, then almost all of them are not $r$-partite.
Robinson-Schensted-Knuth algorithm, jeu de taquin and Kerov-Vershik measures on infinite tableaux
Published in SIAM J. Discrete Math. 28 (2014), no. 2, 598-630
• View Publication
• BIB
We investigate Robinson-Schensted-Knuth algorithm (RSK) and Schützenberger's jeu de taquin in the infinite setup. We show that the recording tableau in RSK defines an isomorphism of the following two dynamical systems: (i) a sequence of i.i.d. random letters equipped with Bernoulli shift, and (ii) a random infinite Young tableau (with the distribution given by Vershik-Kerov measure, corresponding to some Thoma character of the infinite symmetric group) equipped with jeu de taquin transformation. As a special case we recover the results on non-colliding random walks and multidimensional Pitman transform.
Uniform Random Planar Graphs with Degree Constraints
Random planar graphs have been the subject of much recent work. Many basic properties of the standard uniform random planar graph P_{n}, by which we mean a graph chosen uniformly at random from the set of all planar graphs with vertex set {1,2,...,n}, are now known, and variations on this standard random graph are also attracting interest.
Prominent among the work on P_{n} have been asymptotic results for the probability that P_{n} will be connected or contain given components/subgraphs. Such progress has been achieved through a combination of counting arguments and a generating function approach.
More recently, attention has turned to P_{n,m}, the graph taken uniformly at random from the set of all planar graphs on {1,2,...,n} with exactly m(n) edges (this can be thought of as a uniform random planar graph with a constraint on the average degree). The case when m(n) = qn for fixed q in (1,3) has been investigated, and results obtained for the events that P_{n,qn} will be connected and that P_{n,qn} will contain given subgraphs.
In Part I of this thesis, we use elementary counting arguments to extend the current knowledge of P_{n,m}. We investigate the probability that P_{n,m} will contain given components, the probability that P_{n,m} will contain given subgraphs, and the probability that P_{n,m} will be connected, all for general m(n), and show that there is different behaviour depending on which `region' the ratio m(n)/n falls into. In Part II, we investigate the same three topics for a uniform random planar graph with constraints on the maximum and minimum degrees.
Fourier-Dedekind Sums and an Extension of Rademacher Reciprocity
Published
• View Publication
• BIB
Fourier-Dedekind sums are a generalization of Dedekind sums - important number-theoretical objects that arise in many areas of mathematics, including lattice point enumeration, signature defects of manifolds and pseudo random number generators. A remarkable feature of Fourier-Dedekind sums is that they satisfy a reciprocity law called Rademacher reciprocity. In this paper, we study several aspects of Fourier-Dedekind sums: properties of general Fourier-Dedekind sums, extensions of the reciprocity law, average behavior of Fourier-Dedekind sums, and finally, extrema of 2-dimensional Fourier-Dedekind sums.
On properties of general Fourier-Dedekind sums we show that a general Fourier-Dedekind sum is simultaneously a convolution of simpler Fourier-Dedekind sums, and a linear combination of these with integer coefficients. We show that Fourier-Dedekind sums can be extended naturally to a group under convolution. We introduce "Reduced Fourier-Dedekind sums", which encapsulate the complexity of a Fourier-Dedekind sum, describe these in terms of generating functions, and give a geometric interpretation.
Next, by finding interrelations among Fourier-Dedekind sums, we extend the range on which Rademacher reciprocity Theorem holds.
We go on to study the average behavior of Fourier-Dedekind sums, showing that the average behavior of a Fourier-Dedekind sum is described concisely by a lower-dimensional, simpler Fourier-Dedekind sum.
Finally, we focus our study on 2-dimensional Fourier-Dedekind sums. We find tight upper and lower bounds on these for a fixed $t$, estimates on the argmax and argmin, and bounds on the sum of their "reciprocals".
Quantitative Small Subgraph Conditioning
We revisit the method of small subgraph conditioning, used to establish that random regular graphs are Hamiltonian a.a.s. We refine this method using new technical machinery for random $d$-regular graphs on $n$ vertices that hold not just asymptotically, but for any values of $d$ and $n$. This lets us estimate how quickly the probability of containing a Hamiltonian cycle converges to 1, and it produces quantitative contiguity results between different models of random regular graphs. These results hold with $d$ held fixed or growing to infinity with $n$. As additional applications, we establish the distributional convergence of the number of Hamiltonian cycles when $d$ grows slowly to infinity, and we prove that the number of Hamiltonian cycles can be approximately computed from the graph's eigenvalues for almost all regular graphs.
Smoothed analysis on connected graphs
Published
• View Publication
• BIB
The main paradigm of smoothed analysis on graphs suggests that for any large graph $G$ in a certain class of graphs, perturbing slightly the edges of $G$ at random (usually adding few random edges to $G$) typically results in a graph having much "nicer" properties. In this work we study smoothed analysis on trees or, equivalently, on connected graphs. Given an $n$-vertex connected graph $G$, form a random supergraph $G^*$ of $G$ by turning every pair of vertices of $G$ into an edge with probability $\fracε{n}$, where $ε$ is a small positive constant. This perturbation model has been studied previously in several contexts, including smoothed analysis, small world networks, and combinatorics.
Connected graphs can be bad expanders, can have very large diameter, and possibly contain no long paths. In contrast, we show that if $G$ is an $n$-vertex connected graph then typically $G^*$ has edge expansion $Ω(\frac{1}{\log n})$, diameter $O(\log n)$, vertex expansion $Ω(\frac{1}{\log n})$, and contains a path of length $Ω(n)$, where for the last two properties we additionally assume that $G$ has bounded maximum degree. Moreover, we show that if $G$ has bounded degeneracy, then typically the mixing time of the lazy random walk on $G^*$ is $O(\log^2 n)$. All these results are asymptotically tight.
The quantile transform of a simple walk
Published in Electron.J.Probab. 20 (2015) no. 90, 1-39
• View Publication
• BIB
We examine a new path transform on 1-dimensional simple random walks and Brownian motion, the quantile transform. This transformation relates to identities in fluctuation theory due to Wendel, Port, Dassios and others, and to discrete and Brownian versions of Tanaka's formula. For an n-step random walk, the quantile transform reorders increments according to the value of the walk at the start of each increment. We describe the distribution of the quantile transform of a simple random walk of n steps, using a bijection to characterize the number of pre-images of each possible transformed path. We deduce, both for simple random walks and for Brownian motion, that the quantile transform has the same distribution as Vervaat's transform. For Brownian motion, the quantile transforms of the embedded simple random walks converge to a time change of the local time profile. We characterize the distribution of the local time profile, giving rise to an identity that generalizes a variant of Jeulin's description of the local time profile of a Brownian bridge or excursion.
The random graph intuition for the tournament game
Published in Combinator. Probab. Comp. 25 (2016) 76-88
• View Publication
• BIB
In the tournament game two players, called Maker and Breaker, alternately take turns in claiming an unclaimed edge of the complete graph on n vertices and selecting one of the two possible orientations. Before the game starts, Breaker fixes an arbitrary tournament T_k on k vertices. Maker wins if, at the end of the game, her digraph contains a copy of T_k; otherwise Breaker wins. In our main result, we show that Maker has a winning strategy for k = (2-o(1))log_2 n, improving the constant factor in previous results of Beck and the second author. This is asymptotically tight since it is known that for k = (2-o(1))log_2 n Breaker can prevent that the underlying graph of Maker's graph contains a k-clique. Moreover the precise value of our lower bound differs from the upper bound only by an additive constant of 12.
We also discuss the question whether the random graph intuition, which suggests that the threshold for k is asymptotically the same for the game played by two "clever" players and the game played by two "random" players, is supported by the tournament game: It will turn out that, while a straightforward application of this intuition fails, a more subtle version of it is still valid.
Finally, we consider the orientation-game version of the tournament game, where Maker wins the game if the final digraph -- containing also the edges directed by Breaker -- possesses a copy of T_k. We prove that in that game Breaker has a winning strategy for k = (4+o(1))log_2 n.
"Secret Santa" and the Combined Length of Spanned Cycles in a Random Permutation
In many schools throughout the United States, it is customary to hold a yearly "Secret Santa" event. With the approach of Christmas, all the students place their names in a hat; each student, in turn, draws a name out of the hat, thus becoming Secret Santa to the student whose name is drawn. On the day before Christmas break, each student places a gift in front of the locker of the student to whom she or he is Secret Santa.
Unfortunately, children being children, some students might forget to bring gifts on this day. Students who do not find gifts next to their lockers, feeling cheated, angrily take their gifts back from their recipients, who in turn reclaim their gifts from their recipients, and so forth.
We analyze the distribution of the number $L$ of students whose Christmas is ruined, as a function of the number of students who do not bring gifts. We give a simple, explicit formula for the probability of every possible value for $L$ (backed by three proofs of distinct flavors), as well as closed-form formulae for its expectation and variance. Notably, we show that if $m$ kids forget to bring gifts, then the expected fraction of kids whose Christmas is not ruined is less than $\frac{1}{m+1}$ (regardless of the total number of students), with low probability for a large deviation from this fraction.
The underlying theoretical results are applicable to the study of manipulation in matching markets within game theory.
Random Latin squares and 2-dimensional expanders
Published
• View Publication
• BIB
Let X be a 2-dimensional simplicial complex. The degree of an edge e is the number of 2-faces of X containing e. The complex X is an ε-expander if the coboundary d_1(φ) of every Z_2-valued 1-cochain φ\in C^1(X;Z_2) satisfies |support(d_1(φ))| \geq ε|\supp(φ+d_0(ψ))| for some 0-cochain ψ. Using a new model of random 2-complexes we show the existence of an infinite family of 2-dimensional ε-expanders with maximum edge degree d, for some fixed ε>0 and d.
Combinatorial theory of the semiclassical evaluation of transport moments II: Algorithmic approach for moment generating functions
Published in J. Math. Phys. 54, 123505 (2013)
• View Publication
• BIB
Electronic transport through chaotic quantum dots exhibits universal behaviour which can be understood through the semiclassical approximation. Within the approximation, transport moments reduce to codifying classical correlations between scattering trajectories. These can be represented as ribbon graphs and we develop an algorithmic combinatorial method to generate all such graphs with a given genus. This provides an expansion of the linear transport moments for systems both with and without time reversal symmetry. The computational implementation is then able to progress several orders higher than previous semiclassical formulae as well as those derived from an asymptotic expansion of random matrix results. The patterns observed also suggest a general form for the higher orders.
The threshold for collapsibility in random complexes
Published
• View Publication
• BIB
In this paper we determine the threshold for collapsibility in the probabilistic model $X_d(n,p)$ of $d$-dimensional simplicial complexes. A lower bound for this threshold $p=\frac{c_d}{n}$ was established in \cite{ALLM}. Here we show that this is indeed the correct threshold. Namely, for every $c>c_d$, a complex drawn from $X_d(n,\frac{c}{n})$ is asymptotically almost surely not collapsible.
Functional Graphs of Polynomials over Finite Fields
Given a function $f$ in a finite field ${\mathbb F}_q$ of $q$ elements, we define the functional graph of $f$ as a directed graph on $q$ nodes labelled by the elements of ${\mathbb F}_q$ where there is an edge from $u$ to $v$ if and only if $f(u) = v$. We obtain some theoretic estimates on the number of non-isomorphic graphs generated by all polynomials of a given degree. We then develop a simple and practical algorithm to test the isomorphism of quadratic polynomials that has linear memory and time complexities. Furthermore, we extend this isomorphism testing algorithm to the general case of functional graphs, and prove that, while its time complexity increases only slightly, its memory complexity remains linear. We exploit this algorithm to provide an upper bound on the number of functional graphs corresponding to polynomials of degree $d$ over ${\mathbb F}_q$. Finally, we present some numerical results and compare function graphs of quadratic polynomials with those generated by random maps and pose interesting new problems.
Longest common subsequences in binary sequences
Given two {0,1}-sequences X and Y of lengths m and n, respectively, we write L(X,Y) to denote the length of the longest common subsequence (LCS) of X and Y, and write L(m,n) to denote the expected value of L(X,Y) when X and Y are random sequences. We study the value of the function z -> lim L(nz,n)/n (as n -> infinity) and the relation of this function to the outstanding problem of computing the Chvatal-Sankoff constant lim L(n,n)/n.
Combinatorial decomposition approaches for efficient counting and random generation FPTASes
Given a combinatorial decomposition for a counting problem, we resort to the simple scheme of approximating large numbers by floating-point representations in order to obtain efficient Fully Polynomial Time Approximation Schemes (FPTASes) for it. The number of bits employed for the exponent and the mantissa will depend on the error parameter $0 < \varepsilon \leq 1$ and on the characteristics of the problem. Accordingly, we propose the first FPTASes with $1 \pm \varepsilon$ relative error for counting and generating uniformly at random a labeled DAG with a given number of vertices. This is accomplished starting from a classical recurrence for counting DAGs, whose values we approximate by floating-point numbers.
After extending these results to other families of DAGs, we show how the same approach works also with problems where we are given a compact representation of a combinatorial ensemble and we are asked to count and sample elements from it. We employ here the floating-point approximation method to transform the classic pseudo-polynomial algorithm for counting 0/1 Knapsack solutions into a very simple FPTAS with $1 - \varepsilon$ relative error. Its complexity improves upon the recent result (Štefankovič et al., SIAM J. Comput., 2012), and, when $\varepsilon^{-1} = Ω(n)$, also upon the best-known randomized algorithm (Dyer, STOC, 2003). To show the versatility of this technique, we also apply it to a recent generalization of the problem of counting 0/1 Knapsack solutions in an arc-weighted DAG, obtaining a faster and simpler FPTAS than the existing one.
Pipage Rounding, Pessimistic Estimators and Matrix Concentration
Published
• View Publication
• BIB
Pipage rounding is a dependent random sampling technique that has several interesting properties and diverse applications. One property that has been particularly useful is negative correlation of the resulting vector. Unfortunately negative correlation has its limitations, and there are some further desirable properties that do not seem to follow from existing techniques. In particular, recent concentration results for sums of independent random matrices are not known to extend to a negatively dependent setting.
We introduce a simple but useful technique called concavity of pessimistic estimators. This technique allows us to show concentration of submodular functions and concentration of matrix sums under pipage rounding. The former result answers a question of Chekuri et al. (2009). To prove the latter result, we derive a new variant of Lieb's celebrated concavity theorem in matrix analysis.
We provide numerous applications of these results. One is to spectrally-thin trees, a spectral analog of the thin trees that played a crucial role in the recent breakthrough on the asymmetric traveling salesman problem. We show a polynomial time algorithm that, given a graph where every edge has effective conductance at least $κ$, returns an $O(κ^{-1} \cdot \log n / \log \log n)$-spectrally-thin tree. There are further applications to rounding of semidefinite programs, to the column subset selection problem, and to a geometric question of extracting a nearly-orthonormal basis from an isotropic distribution.