Showing 1–21 of 21 results for author: Szarek, S J

Optimal constants in concentration inequalities on the sphere and in the Gauss space

Authors: Guillaume Aubrun, Justin Jenkinson, Stanislaw J. Szarek

Abstract: We show several variants of concentration inequalities on the sphere stated as subgaussian estimates with optimal constants. For a Lipschitz function, we give one-sided and two-sided bounds for deviation from the median as well as from the mean. For example, we show that if $μ$ is the normalized surface measure on $S^{n-1}$ with $n\geq 3$, $f : S^{n-1} \to \mathbb{R}$ is $1$-Lipschitz, $M$ is the… ▽ More We show several variants of concentration inequalities on the sphere stated as subgaussian estimates with optimal constants. For a Lipschitz function, we give one-sided and two-sided bounds for deviation from the median as well as from the mean. For example, we show that if $μ$ is the normalized surface measure on $S^{n-1}$ with $n\geq 3$, $f : S^{n-1} \to \mathbb{R}$ is $1$-Lipschitz, $M$ is the median of $f$, and $t >0$, then $μ\big(f \geq M +t\big) \leq \frac 12 e^{-nt^2/2}$. If $M$ is the mean of $f$, we have a two-sided bound $μ\big(|f - M| \geq t\big) \leq e^{-nt^2/2}$. Consequently, if $γ$ is the standard Gaussian measure on $\mathbb{R}^n$ and $f : \mathbb{R}^{n} \to \mathbb{R}$ (again, $1$-Lipschitz, with the mean equal to $M$), then $γ\big(|f - M| \geq t\big) \leq e^{-t^2/2}$. These bounds are slightly better and arguably more elegant than those available elsewhere in the literature. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 29 pages, 6 figures

MSC Class: 46B; 60B; 60E

Universal gaps for XOR games from estimates on tensor norm ratios

Authors: Guillaume Aubrun, Ludovico Lami, Carlos Palazuelos, Stanisław J. Szarek, Andreas Winter

Abstract: We define and study XOR games in the framework of general probabilistic theories, which encompasses all physical models whose predictive power obeys minimal requirements. The bias of an XOR game under local or global strategies is shown to be given by a certain injective or projective tensor norm, respectively. The intrinsic (i.e.\ model-independent) advantage of global over local strategies is th… ▽ More We define and study XOR games in the framework of general probabilistic theories, which encompasses all physical models whose predictive power obeys minimal requirements. The bias of an XOR game under local or global strategies is shown to be given by a certain injective or projective tensor norm, respectively. The intrinsic (i.e.\ model-independent) advantage of global over local strategies is thus connected to a universal function $r(n,m)$ called 'projective-injective ratio'. This is defined as the minimal constant $ρ$ such that $\|\cdot\|_{X\otimes_πY}\leqρ\,\|\cdot\|_{X\otimes_\varepsilon Y}$ holds for all Banach spaces of dimensions $\dim X=n$ and $\dim Y=m$, where $X\otimes_πY$ and $X \otimes_\varepsilon Y$ are the projective and injective tensor products. By requiring that $X=Y$, one obtains a symmetrised version of the above ratio, denoted by $r_s(n)$. We prove that $r(n,m)\geq 19/18$ for all $n,m\geq 2$, implying that injective and projective tensor products are never isometric. We then study the asymptotic behaviour of $r(n,m)$ and $r_s(n)$, showing that, up to log factors: $r_s(n)$ is of the order $\sqrt{n}$ (which is sharp); $r(n,n)$ is at least of the order $n^{1/6}$; and $r(n,m)$ grows at least as $\min\{n,m\}^{1/8}$. These results constitute our main contribution to the theory of tensor norms. In our proof, a crucial role is played by an '$\ell_1$/$\ell_2$/$\ell_{\infty}$ trichotomy theorem' based on ideas by Pisier, Rudelson, Szarek, and Tomczak-Jaegermann. The main operational consequence we draw is that there is a universal gap between local and global strategies in general XOR games, and that this grows as a power of the minimal local dimension. In the quantum case, we are able to determine this gap up to universal constants. As a corollary, we obtain an improved bound on the scaling of the maximal quantum data hiding efficiency against local measurements. △ Less

Submitted 7 December, 2018; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: 45 pages, 2 figures; In v2 many auxiliary results have been improved substantially: Propositions 12-13 outline a connection with 1-summing norms; Lemma 18 now gives explicit constants; Eq. (75)-(76) contain new information about the 2-dimensional case

Journal ref: Commun. Math. Phys. 375, 679-724 (2020)

Two proofs of Størmer's theorem

Authors: Guillaume Aubrun, Stanisław J. Szarek

Abstract: The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by Størmer and Woronowicz from 1960s and 1970s settling the low dimensional cases. By duality, these results are equivalent to the Peres-Horodecki positive partial transpose criterion being able to unambiguously establish whether a state in a 2… ▽ More The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by Størmer and Woronowicz from 1960s and 1970s settling the low dimensional cases. By duality, these results are equivalent to the Peres-Horodecki positive partial transpose criterion being able to unambiguously establish whether a state in a 2 x 2 or 2 x 3 quantum system is entangled or separable. However, even in these low dimensional cases, the existing arguments (known to the authors) were based on long and seemingly ad hoc computations. We present a simple proof, based on Brouwer's fixed point theorem, for the 2 x 2 case (Størmer's theorem). For completeness, we also include another argument (following the classical outline, but highly streamlined) based on a characterization of extreme self-maps of the Lorentz cone and on a link - noticed by R. Hildebrand - to the S-lemma, a well-known fact from control theory and quadratic/semi-definite programming. △ Less

Submitted 10 December, 2015; originally announced December 2015.

Comments: 6 pages

MSC Class: 47L07; 46N50; 15B48

On measures of symmetry and floating bodies

Authors: Stanislaw J. Szarek

Abstract: We consider the following measure of symmetry of a convex n-dimensional body K: $ρ(K)$ is the smallest constant for which there is a point x in K such that for partitions of K by an n-1-dimensional hyperplane passing through x the ratio of the volumes of the two parts is at most $ρ(K)$. It is well known that $ρ(K)=1$ iff K is symmetric. We establish a precise upper bound on $ρ(K)$; this recovers a… ▽ More We consider the following measure of symmetry of a convex n-dimensional body K: $ρ(K)$ is the smallest constant for which there is a point x in K such that for partitions of K by an n-1-dimensional hyperplane passing through x the ratio of the volumes of the two parts is at most $ρ(K)$. It is well known that $ρ(K)=1$ iff K is symmetric. We establish a precise upper bound on $ρ(K)$; this recovers a 1960 result of Grunbaum. We also provide a characterization of equality cases (relevant to recent results of Nill and Paffenholz about toric varieties) and relate these questions to the concept of convex floating bodies. △ Less

Submitted 8 February, 2013; originally announced February 2013.

Comments: 5 pages; this is a slightly edited manuscript from early '00s containing a proof of a 1960 result of Grunbaum; it is being posted since this particular presentation turned out to facilitate certain arguments in toric geometry

MSC Class: 52A20; 52A40; 46B20

Phase transitions for random states and a semi-circle law for the partial transpose

Authors: Guillaume Aubrun, Stanislaw J. Szarek, Deping Ye

Abstract: For a system of N identical particles in a random pure state, there is a threshold k_0 = k_0(N) ~ N/5 such that two subsystems of k particles each typically share entanglement if k > k_0, and typically do not share entanglement if k < k_0. By "random" we mean here "uniformly distributed on the sphere of the corresponding Hilbert space." The analogous phase transition for the positive partial trans… ▽ More For a system of N identical particles in a random pure state, there is a threshold k_0 = k_0(N) ~ N/5 such that two subsystems of k particles each typically share entanglement if k > k_0, and typically do not share entanglement if k < k_0. By "random" we mean here "uniformly distributed on the sphere of the corresponding Hilbert space." The analogous phase transition for the positive partial transpose (PPT) property can be described even more precisely. For example, for N qubits the two subsystems of size k are typically in a PPT state if k < k_1 := N/4 - 1/2, and typically in a non-PPT state if k > k_1. Since, for a given state of the entire system, the induced state of a subsystem is given by the partial trace, the above facts can be rephrased as properties of random induced states. An important step in the analysis depends on identifying the asymptotic spectral density of the partial transposes of such random induced states, a result which is interesting in its own right. △ Less

Submitted 5 April, 2012; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: 5 pages, 2 figures. This short note contains a high-level overview of two long and technical papers, arXiv:1011.0275 and arXiv:1106.2264. Version 2: unchanged results, editorial changes, added reference, close to the published article

Report number: Mittag-Leffler-2010fall

Journal ref: Physical Review A (Rapid Communications) 85, 030302 (2012)

Entanglement thresholds for random induced states

Authors: Guillaume Aubrun, Stanislaw J. Szarek, Deping Ye

Abstract: For a random quantum state on $H=C^d \otimes C^d$ obtained by partial tracing a random pure state on $H \otimes C^s$, we consider the whether it is typically separable or typically entangled. For this problem, we show the existence of a sharp threshold $s_0=s_0(d)$ of order roughly $d^3$. More precisely, for any $a > 0$ and for d large enough, such a random state is entangled with very large proba… ▽ More For a random quantum state on $H=C^d \otimes C^d$ obtained by partial tracing a random pure state on $H \otimes C^s$, we consider the whether it is typically separable or typically entangled. For this problem, we show the existence of a sharp threshold $s_0=s_0(d)$ of order roughly $d^3$. More precisely, for any $a > 0$ and for d large enough, such a random state is entangled with very large probability when $s < (1-a)s_0$, and separable with very large probability when $s > (1+a)s_0$. One consequence of this result is as follows: for a system of N identical particles in a random pure state, there is a threshold $k_0 = k_0(N) \sim N/5$ such that two subsystems of k particles each typically share entanglement if $k > k_0$, and typically do not share entanglement if $k < k_0$. Our methods work also for multipartite systems and for "unbalanced" systems such as $C^{d} \otimes C^{d'}$, $d \neq d'$. The arguments rely on random matrices, classical convexity, high-dimensional probability and geometry of Banach spaces; some of the auxiliary results may be of reference value. A high-level non-technical overview of the results of this paper and of a related article arXiv:1011.0275 can be found in arXiv:1112.4582. △ Less

Submitted 15 October, 2012; v1 submitted 11 June, 2011; originally announced June 2011.

Comments: 34 pages; v.3: reorganized proof, new results only in section 7.1, references added; v.2: main result strengthened (much stronger threshold property) allowing the sharp "N-particle" interpretation of the results stated in the abstract, new appendix on majorization and \infty-Wasserstein distance, references added

Report number: Mittag-Leffler-2010fall

Journal ref: Comm. Pure Appl. Math., 67 (1) (2014) 129-171

Concentration for noncommutative polynomials in random matrices

Authors: Mark W. Meckes, Stanislaw J. Szarek

Abstract: We present a concentration inequality for linear functionals of noncommutative polynomials in random matrices. Our hypotheses cover most standard ensembles, including Gaussian matrices, matrices with independent uniformly bounded entries and unitary or orthogonal matrices. We present a concentration inequality for linear functionals of noncommutative polynomials in random matrices. Our hypotheses cover most standard ensembles, including Gaussian matrices, matrices with independent uniformly bounded entries and unitary or orthogonal matrices. △ Less

Submitted 21 April, 2011; v1 submitted 10 January, 2011; originally announced January 2011.

Comments: v3: added a reference

Journal ref: Proc. Amer. Math. Soc. 140 (2012), 1803-1813

On the nontrivial projection problem

Authors: Stanislaw J. Szarek, Nicole Tomczak-Jaegermann

Abstract: The Nontrivial Projection Problem asks whether every finite-dimensional normed space of dimension greater than one admits a well-bounded projection of non-trivial rank and corank or, equivalently, whether every centrally symmetric convex body (of arbitrary dimension greater than one) is approximately affinely equivalent to a direct product of two bodies of non-trivial dimension. We show that thi… ▽ More The Nontrivial Projection Problem asks whether every finite-dimensional normed space of dimension greater than one admits a well-bounded projection of non-trivial rank and corank or, equivalently, whether every centrally symmetric convex body (of arbitrary dimension greater than one) is approximately affinely equivalent to a direct product of two bodies of non-trivial dimension. We show that this is true "up to a logarithmic factor." △ Less

Submitted 24 May, 2008; originally announced May 2008.

Comments: 17 pages

MSC Class: 46B20 (Primary); 46B07; 52A21 (Secondary)

Journal ref: Advances In Math. 221 (2009), 331-342

Geometry of sets of quantum maps: a generic positive map acting on a high-dimensional system is not completely positive

Authors: Stanislaw J. Szarek, Elisabeth Werner, Karol Zyczkowski

Abstract: We investigate the set a) of positive, trace preserving maps acting on density matrices of size N, and a sequence of its nested subsets: the sets of maps which are b) decomposable, c) completely positive, d) extended by identity impose positive partial transpose and e) are superpositive. Working with the Hilbert-Schmidt (Euclidean) measure we derive tight explicit two-sided bounds for the volume… ▽ More We investigate the set a) of positive, trace preserving maps acting on density matrices of size N, and a sequence of its nested subsets: the sets of maps which are b) decomposable, c) completely positive, d) extended by identity impose positive partial transpose and e) are superpositive. Working with the Hilbert-Schmidt (Euclidean) measure we derive tight explicit two-sided bounds for the volumes of all five sets. A sample consequence is the fact that, as N increases, a generic positive map becomes not decomposable and, a fortiori, not completely positive. Due to the Jamiolkowski isomorphism, the results obtained for quantum maps are closely connected to similar relations between the volume of the set of quantum states and the volumes of its subsets (such as states with positive partial transpose or separable states) or supersets. Our approach depends on systematic use of duality to derive quantitative estimates, and on various tools of classical convexity, high-dimensional probability and geometry of Banach spaces, some of which are not standard. △ Less

Submitted 21 December, 2007; v1 submitted 8 October, 2007; originally announced October 2007.

Comments: 34 pages in Latex including 3 figures in eps, ver 2: minor revisions

Journal ref: J. Math. Phys. 49, 032113-21 (2008).

Still more on norms of completely positive maps

Authors: Stanislaw J. Szarek

Abstract: King and Ruskai asked whether the norm of a completely positive map acting between Schatten classes of operators is equal to that of its restriction to the real subspace of self-adjoint operators. Proofs have been promptly supplied by Watrous and Audenaert. Here we provide one more proof, in fact of a slightly more general fact, under the (slightly weaker) assumption of 2-positivity. The argumen… ▽ More King and Ruskai asked whether the norm of a completely positive map acting between Schatten classes of operators is equal to that of its restriction to the real subspace of self-adjoint operators. Proofs have been promptly supplied by Watrous and Audenaert. Here we provide one more proof, in fact of a slightly more general fact, under the (slightly weaker) assumption of 2-positivity. The argument is elementary and self-contained. △ Less

Submitted 31 March, 2006; v1 submitted 13 March, 2006; originally announced March 2006.

Comments: 2 pages; changes (all minor) in v.2: references, notation, added comments

Journal ref: Proceedings of IWOTA 2008, Operator Theory: Advances and Applications, Vol. 202, Birkhauser 2009, 535-538

Tensor products of convex sets and the volume of separable states on N qudits

Authors: Guillaume Aubrun, Stanislaw J. Szarek

Abstract: This note deals with estimating the volume of the set of separable mixed quantum states when the dimension of the state space grows to infinity. This has been studied recently for qubits; here we consider larger particles and conclude that, in all cases, the proportion of the states that are separable is super-exponentially small in the dimension of the set. We also show that the partial transpo… ▽ More This note deals with estimating the volume of the set of separable mixed quantum states when the dimension of the state space grows to infinity. This has been studied recently for qubits; here we consider larger particles and conclude that, in all cases, the proportion of the states that are separable is super-exponentially small in the dimension of the set. We also show that the partial transpose criterion becomes imprecise when the dimension increases, and that the lower bound $6^{-N/2}$ on the (Hilbert-Schmidt) inradius of the set of separable states on N qubits obtained recently by Gurvits and Barnum is essentially optimal. We employ standard tools of classical convexity, high-dimensional probability and geometry of Banach spaces. One relatively non-standard point is a formal introduction of the concept of projective tensor products of convex bodies, and an initial study of this concept. PACS numbers: 03.65.Ud, 03.67.Mn, 03.65.Db, 02.40.Ft, 02.50.Cw MSC-class: 46B28, 47B10, 47L05, 52A38, 81P68 △ Less

Submitted 23 October, 2005; v1 submitted 30 March, 2005; originally announced March 2005.

Comments: 15 pages; this version includes minor changes in exposition; no new results but some numerical constants improved

Journal ref: Phys. Rev. A. 73, 022109 (2006)

On convexified packing and entropy duality

Authors: S. Artstein, V. Milman, S. J. Szarek, N. Tomczak-Jaegermann

Abstract: A 1972 duality conjecture due to Pietsch asserts that the entropy numbers of a compact operator acting between two Banach spaces and those of its adjoint are (in an appropriate sense) equivalent. This is equivalent to a dimension free inequality relating covering (or packing) numbers for convex bodies to those of their polars. The duality conjecture has been recently proved (see math.FA/0407236)… ▽ More A 1972 duality conjecture due to Pietsch asserts that the entropy numbers of a compact operator acting between two Banach spaces and those of its adjoint are (in an appropriate sense) equivalent. This is equivalent to a dimension free inequality relating covering (or packing) numbers for convex bodies to those of their polars. The duality conjecture has been recently proved (see math.FA/0407236) in the central case when one of the Banach spaces is Hilbertian, which - in the geometric setting - corresponds to a duality result for symmetric convex bodies in Euclidean spaces. In the present paper we define a new notion of "convexified packing," show a duality theorem for that notion, and use it to prove the duality conjecture under much milder conditions on the spaces involved (namely, that one of them is K-convex). △ Less

Submitted 14 July, 2004; originally announced July 2004.

Comments: 6 p., LATEX

MSC Class: 46B10; 46B07; 46B50; 47A05; 52C17; 51F99

Journal ref: Geom. Funct. Anal. 14 (2004), no. 5, 1134-1141.

Duality of metric entropy

Authors: S. Artstein, V. Milman, S. J. Szarek

Abstract: For two convex bodies K and T in $R^n$, the covering number of K by T, denoted N(K,T), is defined as the minimal number of translates of T needed to cover K. Let us denote by $K^o$ the polar body of K and by D the euclidean unit ball in $R^n$. We prove that the two functions of t, N(K, tD) and N(D, tK^o), are equivalent in the appropriate sense, uniformly over symmetric convex bodies K in $R^n$… ▽ More For two convex bodies K and T in $R^n$, the covering number of K by T, denoted N(K,T), is defined as the minimal number of translates of T needed to cover K. Let us denote by $K^o$ the polar body of K and by D the euclidean unit ball in $R^n$. We prove that the two functions of t, N(K, tD) and N(D, tK^o), are equivalent in the appropriate sense, uniformly over symmetric convex bodies K in $R^n$ and over positive integers n. In particular, this verifies the duality conjecture for entropy numbers of linear operators, posed by Pietsch in 1972, in the central case when either the domain or the range of the operator is a Hilbert space. △ Less

Submitted 13 July, 2004; originally announced July 2004.

Comments: 17 p., LATEX

MSC Class: 46B10; 47A05; 52C17; 51F99

Journal ref: Annals of Math. 159 (2004), no. 3, 1313-1328.

Saturating Constructions for Normed Spaces II

Authors: Stanislaw J. Szarek, Nicole Tomczak-Jaegermann

Abstract: We prove several results of the following type: given finite dimensional normed space V possessing certain geometric property there exists another space X having the same property and such that (1) log (dim X) = O(log (dim V)) and (2) every subspace of X, whose dimension is not "too small," contains a further well-complemented subspace nearly isometric to V. This sheds new light on the structure… ▽ More We prove several results of the following type: given finite dimensional normed space V possessing certain geometric property there exists another space X having the same property and such that (1) log (dim X) = O(log (dim V)) and (2) every subspace of X, whose dimension is not "too small," contains a further well-complemented subspace nearly isometric to V. This sheds new light on the structure of large subspaces or quotients of normed spaces (resp., large sections or linear images of convex bodies) and provides definitive solutions to several problems stated in the 1980s by V. Milman. The proofs are probabilistic and depend on careful analysis of images of convex sets under Gaussian linear maps. △ Less

Submitted 13 July, 2004; originally announced July 2004.

Comments: 35 p., LATEX; the paper is a follow up on math.FA/0407233

MSC Class: 46B20; 46B07; 52A21; 52A22; 60D05

Journal ref: J. Funct. Anal. 221 (2005), no. 2, 407-438.

Saturating Constructions for Normed Spaces

Authors: Stanislaw J. Szarek, Nicole Tomczak-Jaegermann

Abstract: We prove several results of the following type: given finite dimensional normed space V there exists another space X with log (dim X) = O(log (dim V)) and such that every subspace (or quotient) of X, whose dimension is not "too small," contains a further subspace isometric to V. This sheds new light on the structure of such large subspaces or quotients (resp., large sections or projections of co… ▽ More We prove several results of the following type: given finite dimensional normed space V there exists another space X with log (dim X) = O(log (dim V)) and such that every subspace (or quotient) of X, whose dimension is not "too small," contains a further subspace isometric to V. This sheds new light on the structure of such large subspaces or quotients (resp., large sections or projections of convex bodies) and allows to solve several problems stated in the 1980s by V. Milman. The proofs are probabilistic and depend on careful analysis of images of convex sets under Gaussian linear maps. △ Less

Submitted 13 July, 2004; originally announced July 2004.

Comments: 27 p., LATEX; see also a follow up paper: math.FA/0407234

MSC Class: 46B20; 52A21; 52A22; 60D05

Journal ref: Geom. Funct. Anal. 14 (2004), no. 6, 1352-1375.

Metric Entropy of Homogeneous Spaces

Authors: Stanislaw J. Szarek

Abstract: For a (compact) subset $K$ of a metric space and $\varepsilon > 0$, the {\em covering number} $N(K , \varepsilon )$ is defined as the smallest number of balls of radius $\varepsilon$ whose union covers $K$. Knowledge of the {\em metric entropy}, i.e., the asymptotic behaviour of covering numbers for (families of) metric spaces is important in many areas of mathematics (geometry, functional analy… ▽ More For a (compact) subset $K$ of a metric space and $\varepsilon > 0$, the {\em covering number} $N(K , \varepsilon )$ is defined as the smallest number of balls of radius $\varepsilon$ whose union covers $K$. Knowledge of the {\em metric entropy}, i.e., the asymptotic behaviour of covering numbers for (families of) metric spaces is important in many areas of mathematics (geometry, functional analysis, probability, coding theory, to name a few). In this paper we give asymptotically correct estimates for covering numbers for a large class of homogeneous spaces of unitary (or orthogonal) groups with respect to some natural metrics, most notably the one induced by the operator norm. This generalizes earlier author's results concerning covering numbers of Grassmann manifolds; the generalization is motivated by applications to noncommutative probability and operator algebras. In the process we give a characterization of geodesics in $U(n)$ (or $SO(m)$) for a class of non-Riemannian metric structures. △ Less

Submitted 27 January, 1997; originally announced January 1997.

Report number: MSRI 1997-010

Confidence regions for means of multivariate normal distributions and a non-symmetric correlation inequality for gaussian measure

Authors: Stanislaw J. Szarek, Elisabeth Werner

Abstract: Let $μ$ be a Gaussian measure (say, on ${\bf R}^n$) and let $K, L \subset {\bf R}^n$ be such that K is convex, $L$ is a "layer" (i.e. $L = \{x : a \leq < x,u > \leq b \}$ for some $a$, $b \in {\bf R}$ and $u \in {\bf R}^n$) and the centers of mass (with respect to $μ$) of $K$ and $L$ coincide. Then $μ(K \cap L) \geq μ(K) \cdot μ(L)$. This is motivated by the well-known "positive correlation conj… ▽ More Let $μ$ be a Gaussian measure (say, on ${\bf R}^n$) and let $K, L \subset {\bf R}^n$ be such that K is convex, $L$ is a "layer" (i.e. $L = \{x : a \leq < x,u > \leq b \}$ for some $a$, $b \in {\bf R}$ and $u \in {\bf R}^n$) and the centers of mass (with respect to $μ$) of $K$ and $L$ coincide. Then $μ(K \cap L) \geq μ(K) \cdot μ(L)$. This is motivated by the well-known "positive correlation conjecture" for symmetric sets and a related inequality of Sidak concerning confidence regions for means of multivariate normal distributions. The proof uses an apparently hitherto unknown estimate for the (standard) Gaussian cumulative distribution function: $Φ(x) > 1 - \frac{(8/π)^{1/2}}{3x + (x^2 +8)^{1/2}} e^{-x^2/2}$ (valid for $x > -1$). △ Less

Submitted 21 January, 1997; originally announced January 1997.

Report number: MSRI 1997-009, Banach Archive 1/22/97 MSC Class: 62H20; 52A20; 46B09; 60E15; 60D05

Metric entropy of homogeneous spaces and Finsler geometry of classical Lie groups

Authors: Stanislaw J. Szarek

Abstract: For a (compact) subset $K$ of a metric space and $\varepsilon > 0$, the {\em covering number} $N(K , \varepsilon )$ is defined as the smallest number of balls of radius $\varepsilon$ whose union covers $K$. Knowledge of the {\em metric entropy}, i.e., the asymptotic behaviour of covering numbers for (families of) metric spaces is important in many areas of mathematics (geometry, functional analy… ▽ More For a (compact) subset $K$ of a metric space and $\varepsilon > 0$, the {\em covering number} $N(K , \varepsilon )$ is defined as the smallest number of balls of radius $\varepsilon$ whose union covers $K$. Knowledge of the {\em metric entropy}, i.e., the asymptotic behaviour of covering numbers for (families of) metric spaces is important in many areas of mathematics (geometry, functional analysis, probability, coding theory, to name a few). In this paper we give asymptotically correct estimates for covering numbers for a large class of homogeneous spaces of unitary (or orthogonal) groups with respect to some natural metrics, most notably the one induced by the operator norm. This generalizes earlier author's results concerning covering numbers of Grassmann manifolds; the generalization is motivated by applications to noncommutative probability and operator algebras. In the process we give a characterization of geodesics in $U(n)$ (or $SO(m)$) for a class of non-Riemannian metric structures. △ Less

Submitted 21 January, 1997; originally announced January 1997.

Report number: Banach Archive 1/22/97 MSC Class: 53B40; 53C60; 53C30; 53C22; 15A45; 47D25; 46B20

Volumes of Restricted Minkowski Sums and the Free Analogue of the Entropy Power Inequality

Authors: Stanislaw J. Szarek, D. Voiculescu

Abstract: In noncommutative probability theory independence can be based on free products instead of tensor products. This yields a highly noncommutative theory: free probability . Here we show that the classical Shannon's entropy power inequality has a counterpart for the free analogue of entropy . The free entropy (introduced recently by the second named author), consistently with Boltzmann's formula… ▽ More In noncommutative probability theory independence can be based on free products instead of tensor products. This yields a highly noncommutative theory: free probability . Here we show that the classical Shannon's entropy power inequality has a counterpart for the free analogue of entropy . The free entropy (introduced recently by the second named author), consistently with Boltzmann's formula $S=k\log W$, was defined via volumes of matricial microstates. Proving the free entropy power inequality naturally becomes a geometric question. Restricting the Minkowski sum of two sets means to specify the set of pairs of points which will be added. The relevant inequality, which holds when the set of "addable" points is sufficiently large, differs from the Brunn-Minkowski inequality by having the exponent $1/n$ replaced by $2/n$. Its proof uses the rearrangement inequality of Brascamp-Lieb-Lüttinger . △ Less

Submitted 26 October, 1995; originally announced October 1995.

Report number: Banach Archive 10/27/95 MSC Class: 52A

Lattice coverings and gaussian measures of n-dimensional convex bodies

Authors: W. Banaszczyk, Stanislaw J. Szarek

Abstract: Let $\| \cdot \|$ be the euclidean norm on ${\bf R}^n$ and $γ_n$ the (standard) Gaussian measure on ${\bf R}^n$ with density $(2 π)^{-n/2} e^{- \| x\|^2 /2}$. Let $\vartheta$ ($ \simeq 1.3489795$) be defined by $γ_1 ([ - \vartheta /2, \vartheta /2]) = 1/2$ and let $L$ be a lattice in ${\bf R}^n$ generated by vectors of norm $\leq \vartheta$. Then, for any closed convex set $V$ in ${\bf R}^n$ wit… ▽ More Let $\| \cdot \|$ be the euclidean norm on ${\bf R}^n$ and $γ_n$ the (standard) Gaussian measure on ${\bf R}^n$ with density $(2 π)^{-n/2} e^{- \| x\|^2 /2}$. Let $\vartheta$ ($ \simeq 1.3489795$) be defined by $γ_1 ([ - \vartheta /2, \vartheta /2]) = 1/2$ and let $L$ be a lattice in ${\bf R}^n$ generated by vectors of norm $\leq \vartheta$. Then, for any closed convex set $V$ in ${\bf R}^n$ with $γ_n (V) \geq \frac{1}{2}$ and for any $a \in {\bf R}^n$, $(a +L) \cap V \neq φ$. The above statement can be viewed as a ``nonsymmetric'' version of Minkowski Theorem. △ Less

Submitted 19 March, 1995; originally announced March 1995.

Report number: Banach Archive 3/20/95 MSC Class: 52C17 11H31

Random Banach spaces. The limitations of the method

Authors: P. Mankiewicz, Stanislaw J. Szarek

Abstract: We study the properties of "generic", in the sense of the Haar measure on the corresponding Grassmann manifold, subspaces of l^N_infinity of given dimension. We prove that every "well bounded" operator on such a subspace, say E, is a "small" perturbation of a multiple of identity, where "smallness" is defined intrinsically in terms of the geometry of E. In the opposite direction, we prove that s… ▽ More We study the properties of "generic", in the sense of the Haar measure on the corresponding Grassmann manifold, subspaces of l^N_infinity of given dimension. We prove that every "well bounded" operator on such a subspace, say E, is a "small" perturbation of a multiple of identity, where "smallness" is defined intrinsically in terms of the geometry of E. In the opposite direction, we prove that such "generic subspaces of l^N_infinity" do admit "nontrivial well bounded" projections, which shows the "near optimality" of the first mentioned result, and proves the so called "Pisier's dichotomy conjecture" in the "generic" case. △ Less

Submitted 11 May, 1993; originally announced May 1993.

Report number: Banach Archive 5/11/93 MSC Class: 46B