149 research outputs found
Bi-Lipschitz Bijection between the Boolean Cube and the Hamming Ball
We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming
ball of equal volume. More precisely, we show that for all even n there exists
an explicit bijection f from the n-dimensional Boolean cube to the Hamming ball
of equal volume embedded in (n+1)-dimensional Boolean cube, such that for all x
and y it holds that distance(x,y) / 5 <= distance(f(x),f(y)) <= 4 distance(x,y)
where distance(,) denotes the Hamming distance. In particular, this implies
that the Hamming ball is bi-Lipschitz transitive.
This result gives a strong negative answer to an open problem of Lovett and
Viola [CC 2012], who raised the question in the context of sampling
distributions in low-level complexity classes. The conceptual implication is
that the problem of proving lower bounds in the context of sampling
distributions will require some new ideas beyond the sensitivity-based
structural results of Boppana [IPL 97].
We study the mapping f further and show that it (and its inverse) are
computable in DLOGTIME-uniform TC0, but not in AC0. Moreover, we prove that f
is "approximately local" in the sense that all but the last output bit of f are
essentially determined by a single input bit
Lipschitz bijections between boolean functions
We answer four questions from a recent paper of Rao and Shinkar on Lipschitz
bijections between functions from to . (1) We show that
there is no -bi-Lipschitz bijection from to
such that each output bit depends on input bits. (2) We
give a construction for a mapping from to
which has average stretch , matching a previously known lower
bound. (3) We give a 3-Lipschitz embedding such that for
all . (4) We show that with high probability there is a
-bi-Lipschitz mapping from to a uniformly random
balanced function
Biseparating maps on generalized Lipschitz spaces
Let be complete metric spaces and be Banach spaces. A bijective
linear operator from a space of -valued functions on to a space of
-valued functions on is said to be biseparating if and are
disjoint if and only if and are disjoint. We introduce the class of
generalized Lipschitz spaces, which includes as special cases the classes of
Lipschitz, little Lipschitz and uniformly continuous functions. Linear
biseparating maps between generalized Lipschitz spaces are characterized as
weighted composition operators, i.e., of the form
for a family of vector space isomorphisms and a homeomorphism . We also investigate the continuity of and related questions.
Here the functions involved (as well as the metric spaces and ) may be
unbounded. Also, the arguments do not require the use of compactification of
the spaces and
Recommended from our members
Evolution equations in non-commutative probability
The thesis presents two applications of evolution equations for non-commutative variables to the theory of non-commutative probability and von Neumann algebras.In the first part, non-commutative processes with boolean, free, monotone, or anti-monotone independent increments, under certain continuity and boundedness assumptions, are classified in terms of certain evolution equations for their -transforms . This classification is done in the setting of operator-valued non-commutative probability, in which the expectation takes values in a -algebra rather than . Thus, the -transform is a function of an operator variable from (matrices over) , and it is understood through the theory of fully matricial or non-commutative functions, an operator-valued analogue of complex analysis. The classification of these processes generalizes previous work on the L\'{e}vy-Hin\v{c}in formula for processes with independent and stationary increments, and it leads to Bercovici-Pata-type bijections between the processes with independent increments for the four different types of independence. We also describe a canonical model for each process with independent increments using operators on a Fock space. In fact, the interaction between operator models and analytic function theory is a major theme of the first part, and leads to a new ``coupling'' technique to prove estimates for the non-commutative central limit theorem and for Loewner chains.In the second part, we strengthen the probabilistic, information-theoretic, and transport-theoretic connections between asymptotic random matrix theory and tracial -algebras through the study of functions and differential equations for several non-commuting self-adjoint variables. We consider a random variable in given by a probability distributionwhere V^{(n)}: M_n(\C)_{sa}^d \to \R is uniformly convex and semi-concave. We assume that is asymptotically approximable by trace polynomials, which means that behaves asymptotically like some element from a certain space of ``functions of self-adjoint variables from a tracial -algebra.''Then we show first that almost surely converges in non-commutative law to some -tuple from a tracial -algebra , meaning that (1/n) \Tr(p(X^{(n)})) \to \tau(p(X)) almost surely for every non-commutative polynomial (which is comparable to earlier known results). The strategy to prove convergence of the expectation E[(1/n) \Tr(p(X^{(n)}))] is to show that the heat semigroup associated to the measure preserves asymptotic approximability by trace polynomials. The same method leads to a new conditional version of this result, which shows that if k < d and if is asymptotically approximable by polynomials, then so is the function given by . Understanding the large- behavior of such conditional expectations is a key step in showing our second main result that the classical entropy of , after renormalization, converges to Voiculescu's non-microstates free entropy (and an analogous result for conditional entropy given , \dots, ). In particular, we obtain a new proof of the result from a 2017 preprint of Dabrowski that agrees with the microstates free entropy for any that arises from such random matrix models.The final main result studies the large- behavior of certain functions that transport the measure to the distribution of a standard Gaussian self-adjoint -tuple . The transport map is obtained by the same construction as in Otto and Villani's famous proof of the Talagrand inequality based on heat semigroups and transport equations. Using successive conditioning, we can obtain a transport function that is lower-triangular in the sense thatwhere x = (x_1,\dots,x_d) \in M_n(\C)^d. We show that is asymptotically approximable by trace polynomials as , and consequently, in the large- limit, we obtain an isomorphism that maps to for every . As an application, we show that this statement holds when itself is given by where is a free semicircular -tuple, is a self-adjoint non-commutative polynomial, and is sufficiently small, depending on , \dots,
Trees of definable sets over the p-adics
To a definable subset of Z_p^n (or to a scheme of finite type over Z_p) one
can associate a tree in a natural way. It is known that the corresponding
Poincare series P(X) = \sum_i N_i X^i is rational, where N_i is the number of
nodes of the tree at depth i. This suggests that the trees themselves are far
from arbitrary. We state a conjectural, purely combinatorial description of the
class of possible trees and provide some evidence for it. We verify that any
tree in our class indeed arises from a definable set, and we prove that the
tree of a definable set (or of a scheme) lies in our class in three special
cases: under weak smoothness assumptions, for definable subsets of Z_p^2, and
for one-dimensional sets.Comment: 33 pages, 1 figur
- …