random
6952 papers tagged with this keyword
Towards the average-case analysis of substitution resolution in $λ$-calculus
Substitution resolution supports the computational character of $β$-reduction, complementing its execution with a capture-avoiding exchange of terms for bound variables. Alas, the meta-level definition of substitution, masking a non-trivial computation, turns $β$-reduction into an atomic rewriting rule, despite its varying operational complexity. In the current paper we propose a somewhat indirect average-case analysis of substitution resolution in the classic $λ$-calculus, based on the quantitative analysis of substitution in $λ\upsilon$, an extension of $λ$-calculus internalising the $\upsilon$-calculus of explicit substitutions. Within this framework, we show that for any fixed $n \geq 0$, the probability that a uniformly random, conditioned on size, $λ\upsilon$-term $\upsilon$-normalises in $n$ normal-order (i.e. leftmost-outermost) reduction steps tends to a computable limit as the term size tends to infinity. For that purpose, we establish an effective hierarchy $\left(\mathscr{G}_n\right)_n$ of regular tree grammars partitioning $\upsilon$-normalisable terms into classes of terms normalising in $n$ normal-order rewriting steps. The main technical ingredient in our construction is an inductive approach to the construction of $\mathscr{G}_{n+1}$ out of $\mathscr{G}_n$ based, in turn, on the algorithmic construction of finite intersection partitions, inspired by Robinson's unification algorithm. Finally, we briefly discuss applications of our approach to other term rewriting systems, focusing on two closely related formalisms, i.e. the full $λ\upsilon$-calculus and combinatory logic.
Arctic Boundaries of the Ice Model on Three-Bundle Domains
In this paper we consider the six-vertex model at ice point on an arbitrary three-bundle domain, which is a generalization of the domain-wall ice model on the square (or, equivalently, of a uniformly random alternating sign matrix). We show that this model exhibits the arctic boundary phenomenon, whose boundary is given by a union of explicit algebraic curves. This was originally predicted by Colomo-Sportiello in 2016 as one of the initial applications of a general heuristic that they introduced for locating arctic boundaries, called the (geometric) tangent method. Our proof uses a probabilistic analysis of non-crossing directed path ensembles to provide a mathematical justification of their tangent method heuristic in this case, which might be of independent interest.
Asymptotic bounds on total domination in regular graphs
We find new upper bounds on the size of a minimum totally dominating set for random regular graphs and for regular graphs with large girth. These bounds are obtained through the analysis of a local algorithm using a method due to Hoppen and Wormald [Local algorithms, regular graphs of large girth, and random regular graphs. Combinatorica 38(3) (2018), 619-664].
Local convergence of large random triangulations coupled with an Ising model
We prove the existence of the local weak limit of the measure obtained by sampling random triangulations of size $n$ decorated by an Ising configuration with a weight proportional to the energy of this configuration. To do so, we establish the algebraicity and the asymptotic behaviour of the partition functions of triangulations with spins for any boundary condition. In particular, we show that these partition functions all have the same phase transition at the same critical temperature. Some properties of the limiting object -- called the Infinite Ising Planar Triangulation -- are derived, including the recurrence of the simple random walk at the critical temperature.
Counting independent sets in graphs with bounded bipartite pathwidth
We show that a simple Markov chain, the Glauber dynamics, can efficiently sample independent sets almost uniformly at random in polynomial time for graphs in a certain class. The class is determined by boundedness of a new graph parameter called bipartite pathwidth. This result, which we prove for the more general hardcore distribution with fugacity $λ$, can be viewed as a strong generalisation of Jerrum and Sinclair's work on approximately counting matchings, that is, independent sets in line graphs. The class of graphs with bounded bipartite pathwidth includes claw-free graphs, which generalise line graphs. We consider two further generalisations of claw-free graphs and prove that these classes have bounded bipartite pathwidth. We also show how to extend all our results to polynomially-bounded vertex weights.
Cut polytope has vertices on a line
Published in Electronic Notes in Discrete Mathematics Volume 70, December 2018, Pages 59-64
• Search Publication
The cut polytope ${\rm CUT}(n)$ is the convex hull of the cut vectors in a complete graph with vertex set $\{1,\ldots,n\}$. It is well known in the area of combinatorial optimization and recently has also been studied in a direct relation with admissible correlations of symmetric Bernoulli random variables. That probabilistic interpretation is a starting point of this work in conjunction with a natural binary encoding of the CUT($n$). We show that for any $n$, with appropriate scaling, all vertices of the polytope ${\mathbf 1}$-CUT($n$) encoded as integers are approximately on the line $y= x-1/2$.
Complete minors in graphs without sparse cuts
We show that if $G$ is a graph on $n$ vertices, with all degrees comparable to some $d = d(n)$, and without a sparse cut, for a suitably chosen notion of sparseness, then it contains a complete minor of order \[
Ω\left( \sqrt{\frac{n d}{\log d}} \right). \] As a corollary we determine the order of a largest complete minor one can guarantee in $d$-regular graphs for which the second largest eigenvalue is bounded away from $d/2$, in $(d/n, o(d))$-jumbled graphs, and in random $d$-regular graphs, for almost all $d = d(n)$.
Asymptotic free independence and entry permutations for Gaussian random matrices
The paper presents conditions on entry permutations that induce asymptotic freeness when acting on Gaussian random matrices. The class of permutations described includes the matrix transpose, as well as entry permutations relevant in Quantum Information Theory and Quantum Physics.
Graph calculus and the disconnected-boundary Schwinger-Dyson equations of quartic tensor field theories
Published in Math Phys Anal Geom 23, 42 (2020)
• View Publication
• BIB
Tensor field theory (TFT) focuses on quantum field theory aspects of random tensor models, a quantum-gravity-motivated generalisation of random matrix models. The TFT correlation functions have been shown to be classified by graphs that describe the geometry of the boundary states, the so-called boundary graphs. These graphs can be disconnected, although the correlation functions are themselves connected. In a recent work, the Schwinger-Dyson equations for an arbitrary albeit connected boundary were obtained. Here, we introduce the multivariable graph calculus in order to derive the missing equations for all correlation functions with disconnected boundary, thus completing the Schwinger-Dyson pyramid for quartic melonic (`pillow'-vertices) models in arbitrary rank. We first study finite group actions that are parametrised by graphs and build the graph calculus on a suitable quotient of the monoid algebra $A[G]$ corresponding to a certain function space $A$ and to the free monoid $G$ in finitely many graph variables; a derivative of an element of $A[G]$ with respect to a graph yields its corresponding group action on $A$. The present result and the graph calculus have three potential applications: the non-perturbative large-$N$ limit of tensor field theories, the solvability of the theory by using methods that generalise the topological recursion to the TFT setting and the study of `higher dimensional maps' via Tutte-like equations. In fact, we also offer a term-by-term comparison between Tutte equations and the present Schwinger-Dyson equations.
Frozen $(Δ+1)$-colourings of bounded degree graphs
Let $G$ be a graph of maximum degree $Δ$ and $k$ be an integer. The $k$-recolouring graph of $G$ is the graph whose vertices are $k$-colourings of $G$ and where two $k$-colourings are adjacent if they differ at exactly one vertex. It is well-known that the $k$-recolouring graph is connected for $k\geq Δ+2$. Feghali, Johnson and Paulusma [Journal of Graph Theory, 83(4):340--358] showed that the $(Δ+1)$-recolouring graph is composed by a unique connected component of size at least $2$ and (possibly many) isolated vertices.
In this paper, we study the proportion of isolated vertices (also called frozen colourings) in the $(Δ+1)$-recolouring graph. Our main contribution is to show that, if $G$ is connected, the proportion of frozen colourings of $G$ is exponentially smaller than the total number of colourings. This motivates the study of the Glauber dynamics on $(Δ+1)$-colourings. In contrast to the conjectured mixing time for $k\geq Δ+2$ colours, we show that the mixing time of the Glauber dynamics for $(Δ+1)$-colourings can be of quadratic order. Finally, we prove some results about the existence of graphs with large girth and frozen colourings, and study frozen colourings in random regular graphs.
A construction which relates c-freeness to infinitesimal freeness
Published in Advances in Applied Mathematics 110 (2019), 299-341
• Search Publication
We consider two extensions of free probability that have been studied in the research literature, and are based on the notions of c-freeness and respectively of infinitesimal freeness for noncommutative random variables. In a 2012 paper, Belinschi and Shlyakhtenko pointed out a connection between these two frameworks, at the level of their operations of 1-dimensional free additive convolution. Motivated by that, we propose a construction which produces a multi-variate version of the Belinschi-Shlyakhtenko result, together with a result concerning free products of multi-variate noncommutative distributions. Our arguments are based on the combinatorics of the specific types of cumulants used in c-free and in infinitesimal free probability. They work in a rather general setting, where the initial data consists of a vector space $V$ given together with a linear map $Δ: V \to V \otimes V$. In this setting, all the needed brands of cumulants live in the guise of families of multilinear functionals on $V$, and our main result concerns a certain transformation $Δ^{*}$ on such families of multilinear functionals.
Randomized Schützenberger's jeu de taquin and approximate calculation of co-transition probabilities of a central Markov process on the 3D Young graph
There exists a well-known hook-length formula for calculating the dimensions of 2D Young diagrams. Unfortunately, the analogous formula for 3D case is unknown. We introduce an approach for calculating the estimations of dimensions of three-dimensional Young diagrams also known as plane partitions. The most difficult part of this task is the calculation of co-transition probabilities for a central Markov process. We propose an algorithm for approximate calculation of these probabilities. It generates numerous random paths to a given diagram. In case the generated paths are uniformly distributed, the proportion of paths passing through a certain branch gives us an approximate value of the co-transition probability. As our numerical experiments show, the random generator based on the randomized variant of the Schützenberger transformation allows to obtain accurate values of co-transition probabilities. Also a method to construct 3D Young diagrams with large dimensions is proposed.
On Bollobás-Riordan random pairing model of preferential attachment graph
Bollobás-Riordan random pairing model of a preferential attachment graph $G_m^n$ is studied. Let $\{W_j\}_{j\le mn+1}$ be the process of sums of independent exponentials with mean $1$. We prove that the degrees of the first $ν_m^n:=n^{\frac{m}{m+2}-ε}$ vertices are jointly, and uniformly, asymptotic to $\{2(mn)^{1/2}\bigl(W^{1/2}_{mj}-W^{1/2}_{m(j-1)}\bigr)\}_{j\in [t]}$, and that with high probability (whp) the smallest of these degrees is $n^{\frac{ε(m+2)}{2m}}$, at least. In contrast, the degrees of vertices below the top by any fraction of $n$ are whp of $O(\log n)$ order. Next we bound the probability that there exists a pair of large vertex sets with no edges joining them, and apply the bound to several special cases. We propose to measure an influence of a vertex $v$ by the size of a maximal recursive tree (max-tree) rooted at $v$. The set of the first $ν_m^n$ vertices is shown whp not to contain a max-tree of any size. Whp the largest recursive tree has size of order $n$. We prove that, for $m>1$, $\Bbb P(G_m^n\text{ is connected})\ge 1- O\bigl((\log n)^{-(m-1)/3+o(1)}\bigr)$. We show that the distribution of the scaled size of a generic max-tree in $G_1^n$ converges to a mixture of two beta distributions.
Finding perfect matchings in random regular graphs in linear time
Published
• View Publication
• BIB
In a seminal paper on finding large matchings in sparse random graphs, Karp and Sipser proposed two algorithms for this task. The second algorithm has been intensely studied, but due to technical difficulties, the first algorithm has received less attention. Empirical results suggest that the first algorithm is superior. In this paper we analyze an adapted version of the first algorithm, the Reduce-Construct algorithm. We show that the Reduce-Construct algorithm finds a maximum matching in random $k=O(1)$-regular graphs in linear time in expectation, as opposed to $O(n^{3/2})$ time for the worst-case.
Entropy and expansion
Published in Ann. Inst. H. Poincare Probab. Statist. 56(4): 2428-2444 (2020)
• View Publication
• BIB
Shearer's inequality bounds the sum of joint entropies of random variables in terms of the total joint entropy. We give another lower bound for the same sum in terms of the individual entropies when the variables are functions of independent random seeds. The inequality involves a constant characterizing the expansion properties of the system.
Our results generalize to entropy inequalities used in recent work in invariant settings, including the edge-vertex inequality for factor-of-IID processes, Bowen's entropy inequalities, and Bollobás's entropy bounds in random regular graphs.
The proof method yields inequalities for other measures of randomness, including covariance.
As an application, we give upper bounds for independent sets in both finite and infinite graphs.
Sprinkling a few random edges doubles the power
Published
• View Publication
• BIB
A seminal result by Komlós, Sarközy, and Szemerédi states that if a graph $G$ with $n$ vertices has minimum degree at least $kn/(k + 1)$, for some $k \in \mathbb{N}$ and $n$ sufficiently large, then it contains the $k$-th power of a Hamilton cycle. This is easily seen to be the largest power of a Hamilton cycle one can guarantee, given such a minimum degree assumption. Following a recent trend of studying effects of adding random edges to a dense graph, the model known as the randomly perturbed graph, Dudek, Reiher, Ruciński, and Schacht showed that if the minimum degree is at least $kn/(k + 1) + αn$, for any constant $α> 0$, then adding $O(n)$ random edges on top almost surely results in a graph which contains the $(k + 1)$-st power of a Hamilton cycle. We show that the effect of these random edges is significantly stronger, namely that one can almost surely find the $(2k + 1)$-st power. This is the largest power one can guarantee in such a setting.
Minimum Guesswork with an Unreliable Oracle
Published
• View Publication
• BIB
We study a guessing game where Alice holds a discrete random variable $X$, and Bob tries to sequentially guess its value. Before the game begins, Bob can obtain side-information about $X$ by asking an oracle, Carole, any binary question of his choosing. Carole's answer is however unreliable, and is incorrect with probability $ε$. We show that Bob should always ask Carole whether the index of $X$ is odd or even with respect to a descending order of probabilities -- this question simultaneously minimizes all the guessing moments for any value of $ε$. In particular, this result settles a conjecture of Burin and Shayevitz. We further consider a more general setup where Bob can ask a multiple-choice $M$-ary question, and then observe Carole's answer through a noisy channel. When the channel is completely symmetric, i.e., when Carole decides whether to lie regardless of Bob's question and has no preference when she lies, a similar question about the ordered index of $X$ (modulo $M$) is optimal. Interestingly however, the problem of testing whether a given question is optimal appears to be generally difficult in other symmetric channels. We provide supporting evidence for this difficulty, by showing that a core property required in our proofs becomes NP-hard to test in the general $M$-ary case. We establish this hardness result via a reduction from the problem of testing whether a system of modular difference disequations has a solution, which we prove to be NP-hard for $M\geq 3$.
Upper Tails for Edge Eigenvalues of Random Graphs
Published in SIAM Journal on Discrete Mathematics, Vol. 34 (2), 1069-1083, 2020
• View Publication
• BIB
The upper tail problem for the largest eigenvalue of the Erdős--Rényi random graph $\mathcal{G}_{n,p}$ is to estimate the probability that the largest eigenvalue of the adjacency matrix of $\mathcal{G}_{n,p}$ exceeds its typical value by a factor of $1+δ$. In this note we show that for $δ>0$ fixed, and $p \rightarrow 0$ such that $n^{\frac{1}{2}} p \rightarrow \infty$, the upper tail probability for the largest eigenvalue of $\mathcal{G}_{n,p}$ is $$\exp\left[-(1+o(1)) \min\left\{\tfrac{(1+δ)^2}{2}, δ(1+δ) \right\} n^{2}p^{2}\log (1/p)\right].$$ In the same regime of $p$, we show that the second largest eigenvalue $λ_2( \mathcal G_{n,p})$ of the adjacency matrix of $\mathcal{G}_{n,p}$ satisfies $$\mathbb P(λ_2(\mathcal G_{n,p})\ge δnp) = \exp\left[-(1+o(1)) \tfrac{1}{2} δ^2n^2p^2 \log (1/p) \right],$$ where $δ=δ_n < 1$ can depend on $n$ such that $δn^{\frac{1}{2}} p \rightarrow \infty$, which covers deviations of $λ_2(\mathcal G_{n,p})$ between $n^{\frac{1}{2}}$ and $np$. Our arguments build on recent results on the large deviations of the largest eigenvalue and related non-linear functions of the adjacency matrix in terms of natural mean-field entropic variational problems.
Patterns in Random Permutations
Published in Combinatorica 40, pages 775-804 (2020)
• View Publication
• BIB
Every k entries in a permutation can have one of k! different relative orders, called patterns. How many times does each pattern occur in a large random permutation of size n? The distribution of this k!-dimensional vector of pattern densities was studied by Janson, Nakamura, and Zeilberger (2015). Their analysis showed that some component of this vector is asymptotically multinormal of order 1/sqrt(n), while the orthogonal component is smaller. Using representations of the symmetric group, and the theory of U-statistics, we refine the analysis of this distribution. We show that it decomposes into k asymptotically uncorrelated components of different orders in n, that correspond to representations of Sk. Some combinations of pattern densities that arise in this decomposition have interpretations as practical nonparametric statistical tests.
On the maximal multiplicity of block sizes in a random set partition
Published
• View Publication
• BIB
We study the asymptotic behavior of the maximal multiplicity $M_n=M_n(σ)$ of the blocks in a set partition of $[n]=\{1,2,...,n\}$, assuming that $σ$ is chosen uniformly at random from the set of all such partitions. Let $W=W(n)$ be the unique positive root of the equation $We^W=n$ and let $f_n$ be the fractional part of $W(n)$. Furthermore, let $R_n=W^{\lfloor W\rfloor}/\lfloor W\rfloor !$ and let $\vartheta_n=\min{\{f_n,1-f_n\}}$. We show that, over a subsequence $\{n_k\}_{k\ge 1}$, $(M_{n_k}-R_{n_k})/\sqrt{R_{n_k}}$ converges weakly, as $k\to\infty$, to $\max{\{Z_1,Z_2-u\}}$, where $Z_1$ and $Z_2$ are two independent copies of a standard normal random variable and either $u=\left(\frac{1}{2π}\right)^{1/4}\lim_{k\to\infty}\vartheta_{n_k}\frac{\sqrt{n_k}}{\log^{7/4}{n_k}}\in [0,\infty)$ or $u=\infty$. The proof uses the saddle point method. A comparison with the similar statistic for random integer partitions of $n$ is also given.