Results 1  10
of
22
The BrunnMinkowski inequality
 Bull. Amer. Math. Soc. (N.S
, 2002
"... Abstract. In 1978, Osserman [124] wrote an extensive survey on the isoperimetric inequality. The BrunnMinkowski inequality can be proved in a page, yet quickly yields the classical isoperimetric inequality for important classes of subsets of R n, and deserves to be better known. This guide explains ..."
Abstract

Cited by 74 (5 self)
 Add to MetaCart
Abstract. In 1978, Osserman [124] wrote an extensive survey on the isoperimetric inequality. The BrunnMinkowski inequality can be proved in a page, yet quickly yields the classical isoperimetric inequality for important classes of subsets of R n, and deserves to be better known. This guide explains the relationship between the BrunnMinkowski inequality and other inequalities in geometry and analysis, and some applications. 1.
Metatheory and Reflection in Theorem Proving: A Survey and Critique
, 1995
"... One way to ensure correctness of the inference performed by computer theorem provers is to force all proofs to be done step by step in a simple, more or less traditional, deductive system. Using techniques pioneered in Edinburgh LCF, this can be made palatable. However, some believe such an appro ..."
Abstract

Cited by 53 (2 self)
 Add to MetaCart
One way to ensure correctness of the inference performed by computer theorem provers is to force all proofs to be done step by step in a simple, more or less traditional, deductive system. Using techniques pioneered in Edinburgh LCF, this can be made palatable. However, some believe such an approach will never be efficient enough for large, complex proofs. One alternative, commonly called reflection, is to analyze proofs using a second layer of logic, a metalogic, and so justify abbreviating or simplifying proofs, making the kinds of shortcuts humans often do or appealing to specialized decision algorithms. In this paper we contrast the fullyexpansive LCF approach with the use of reflection. We put forward arguments to suggest that the inadequacy of the LCF approach has not been adequately demonstrated, and neither has the practical utility of reflection (notwithstanding its undoubted intellectual interest). The LCF system with which we are most concerned is the HOL proof ...
Asymptotic enumeration of spanning trees
 Combin. Probab. Comput
, 2005
"... Note: Theorem numbers differ from the published version. Abstract. We give new general formulas for the asymptotics of the number of spanning trees of a large graph. A special case answers a question of McKay (1983) for regular graphs. The general answer involves a quantity for infinite graphs that ..."
Abstract

Cited by 29 (6 self)
 Add to MetaCart
Note: Theorem numbers differ from the published version. Abstract. We give new general formulas for the asymptotics of the number of spanning trees of a large graph. A special case answers a question of McKay (1983) for regular graphs. The general answer involves a quantity for infinite graphs that we call “tree entropy”, which we show is a logarithm of a normalized determinant of the graph Laplacian for infinite graphs. Tree entropy is also expressed using random walks. We relate tree entropy to the metric entropy of the uniform spanning forest process on quasitransitive amenable graphs, extending a result of Burton and Pemantle (1993). §1. Introduction. Methods of enumeration of spanning trees in a finite graph G and relations to various areas of mathematics and physics have been investigated for more than 150 years. The number of spanning trees is often called the complexity of the graph, denoted here by τ(G). The best known formula for the complexity, proved in every basic text on graph
A CLT for a band matrix model
 Probab. Theory Relat. Fields
, 2005
"... Abstract. A law of large numbers and a central limit theorem are derived for linear statistics of random symmetric matrices whose onorabove diagonal entries are independent, but neither necessarily identically distributed, nor necessarily all of the same variance. The derivation is based on system ..."
Abstract

Cited by 15 (0 self)
 Add to MetaCart
Abstract. A law of large numbers and a central limit theorem are derived for linear statistics of random symmetric matrices whose onorabove diagonal entries are independent, but neither necessarily identically distributed, nor necessarily all of the same variance. The derivation is based on systematic combinatorial enumeration, study of generating functions, and concentration inequalities of the Poincaré type. Special cases treated, with an explicit evaluation of limiting variances, are generalized Wigner and Wishart matrices. 1.
Uniform Large and Moderate Deviations for Functional Empirical Processes.
, 1995
"... For fX i g i1 a sequence of i.i.d. random variables taking values in a Polish space \Sigma with distribution ¯, we obtain large and moderate deviation principles for the processes fn \Gamma1 P [nt] i=1 ffi X i ; t 0g n1 and fn \Gamma1=2 P [nt] i=1 (ffi X i \Gamma ¯); t 0g n1 , respectively. G ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
For fX i g i1 a sequence of i.i.d. random variables taking values in a Polish space \Sigma with distribution ¯, we obtain large and moderate deviation principles for the processes fn \Gamma1 P [nt] i=1 ffi X i ; t 0g n1 and fn \Gamma1=2 P [nt] i=1 (ffi X i \Gamma ¯); t 0g n1 , respectively. Given a class of bounded functions F on \Sigma, we then consider the above processes as taking values in the Banach space of bounded functionals over F and obtain the corresponding (uniform over F ), large and moderate deviation principles. Among the corollaries considered are functional laws of the iterated logarithm. 1 Introduction. We recall that, given a sequence fX i g i1 of random variables taking values in a measure space and a class of bounded measurable functions F , one may view the empirical measure L n = n \Gamma1 P n i=1 ffi X i as a bounded functional over F ; that is, as an element of l 1 (F ). Viewed Partially supported by NSF DMS9209712 and DMS9403553 grants, and by a...
ON THERMODYNAMICS OF RATIONAL MAPS ON THE RIEMANN SPHERE
, 2006
"... Abstract. We show that there is a spectral gap for the transfer operator associated to a rational map f on the Riemann sphere. Using this and the method of pertubed operators we establish the (Local) Central Limit Theorem for the measure of maximal entropy of f, with an estimate on the speed of conv ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. We show that there is a spectral gap for the transfer operator associated to a rational map f on the Riemann sphere. Using this and the method of pertubed operators we establish the (Local) Central Limit Theorem for the measure of maximal entropy of f, with an estimate on the speed of convergence. 1.
Stein’s method and Poisson process approximation for a class of
, 2008
"... Based on Stein’s method, we derive upper bounds for Poisson process approximation in the L1Wasserstein metric d (p) 2, which is based on a slightly adapted LpWasserstein metric between point measures. For the case p = 1, this construction yields the metric d2 introduced in [Barbour, A. D. and Brow ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Based on Stein’s method, we derive upper bounds for Poisson process approximation in the L1Wasserstein metric d (p) 2, which is based on a slightly adapted LpWasserstein metric between point measures. For the case p = 1, this construction yields the metric d2 introduced in [Barbour, A. D. and Brown, T. C. (1992), Stochastic Process. Appl. 43(1), pp. 9–31], for which Poisson process approximation is well studied in the literature. We demonstrate the usefulness of the extension to general p by showing that d (p) 2bounds control differences between expectations of certain pth order average statistics of point processes. 1
ON STEIN’S METHOD FOR MULTIVARIATE NORMAL APPROXIMATION
, 2009
"... The purpose of this paper is to synthesize the approaches taken by ChatterjeeMeckes and ReinertRöllin in adapting Stein’s method of exchangeable pairs for multivariate normal approximation. The more general linear regression condition of ReinertRöllin allows for wider applicability of the metho ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The purpose of this paper is to synthesize the approaches taken by ChatterjeeMeckes and ReinertRöllin in adapting Stein’s method of exchangeable pairs for multivariate normal approximation. The more general linear regression condition of ReinertRöllin allows for wider applicability of the method, while the method of bounding the solution of the Stein normal approximation theorems are proved, one for use when the underlying symmetries of the random variables are discrete, and one for use in contexts in which continuous symmetry groups are present. The application to runs on the line from ReinertRöllin is reworked to demonstrate the improvement in convergence rates, and a new application to joint value distributions of eigenfunctions of the LaplaceBeltrami operator on a compact Riemannian manifold is presented.
Entropy and the fourth moment phenomenon
, 2013
"... We develop a new method for bounding the relative entropy of a random vector in terms of its Stein factors. Our approach is based on a novel representation for the score function of smoothly perturbed random variables, as well as on the de Bruijn’s identity of information theory. When applied to seq ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We develop a new method for bounding the relative entropy of a random vector in terms of its Stein factors. Our approach is based on a novel representation for the score function of smoothly perturbed random variables, as well as on the de Bruijn’s identity of information theory. When applied to sequences of functionals of a general Gaussian field, our results can be combined with the CarberyWright inequality in order to yield multidimensional entropic rates of convergence that coincide, up to a logarithmic factor, with those achievable in smooth distances (such as the 1Wasserstein distance). In particular, our findings settle the open problem of proving a quantitative version of the multidimensional fourth moment theorem for random vectors having chaotic components, with explicit rates of convergence in total variation that are independent of the order of the associated Wiener chaoses. The results proved in the present paper are outside the scope of other existing techniques, such as for instance the multidimensional Stein’s