-
Quantum mechanical closure of partial differential equations with symmetries
Authors:
Chris Vales,
David C. Freeman,
Joanna Slawinska,
Dimitrios Giannakis
Abstract:
We develop a framework for the dynamical closure of spatiotemporal dynamics governed by partial differential equations. We employ the mathematical framework of quantum mechanics to embed the original classical dynamics into an infinite dimensional quantum mechanical system, using the space of quantum states to model the unresolved degrees of freedom of the original dynamics and the technology of q…
▽ More
We develop a framework for the dynamical closure of spatiotemporal dynamics governed by partial differential equations. We employ the mathematical framework of quantum mechanics to embed the original classical dynamics into an infinite dimensional quantum mechanical system, using the space of quantum states to model the unresolved degrees of freedom of the original dynamics and the technology of quantum measurement to predict their contributions to the resolved dynamics. We use a positivity preserving discretization to project the embedded dynamics to finite dimension. Combining methods from operator valued kernels and delay embedding, we derive a compressed representation of the dynamics that is invariant under the spatial symmetries of the original dynamics. We develop a data driven formulation of the scheme that can be realized numerically and apply it to a dynamical closure problem for the shallow water equations, demonstrating that our closure model can accurately predict the main features of the true dynamics, including for out of sample initial conditions.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Optimal lower Lipschitz bounds for ReLU layers, saturation, and phase retrieval
Authors:
Daniel Freeman,
Daniel Haider
Abstract:
The injectivity of ReLU layers in neural networks, the recovery of vectors from clipped or saturated measurements, and (real) phase retrieval in $\mathbb{R}^n$ allow for a similar problem formulation and characterization using frame theory. In this paper, we revisit all three problems with a unified perspective and derive lower Lipschitz bounds for ReLU layers and clipping which are analogous to t…
▽ More
The injectivity of ReLU layers in neural networks, the recovery of vectors from clipped or saturated measurements, and (real) phase retrieval in $\mathbb{R}^n$ allow for a similar problem formulation and characterization using frame theory. In this paper, we revisit all three problems with a unified perspective and derive lower Lipschitz bounds for ReLU layers and clipping which are analogous to the previously known result for phase retrieval and are optimal up to a constant factor.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
Declipping and the recovery of vectors from saturated measurements
Authors:
Wedad Alharbi,
Daniel Freeman,
Dorsa Ghoreishi,
Brody Johnson,
N. Lovasoa Randrianarivony
Abstract:
A frame $(x_j)_{j\in J}$ for a Hilbert space $H$ allows for a linear and stable reconstruction of any vector $x\in H$ from the linear measurements $(\langle x,x_j\rangle)_{j\in J}$. However, there are many situations where some information in the frame coefficients is lost. In applications where one is using sensors with a fixed dynamic range, any measurement above that range is registered as the…
▽ More
A frame $(x_j)_{j\in J}$ for a Hilbert space $H$ allows for a linear and stable reconstruction of any vector $x\in H$ from the linear measurements $(\langle x,x_j\rangle)_{j\in J}$. However, there are many situations where some information in the frame coefficients is lost. In applications where one is using sensors with a fixed dynamic range, any measurement above that range is registered as the maximum, and any measurement below that range is registered as the minimum. Depending on the context, recovering a vector from such measurements is called either declipping or saturation recovery. We initiate a frame theoretic approach to saturation recovery in a similar way to what [BCE06] did for phase retrieval. We characterize when saturation recovery is possible, show optimal frames for use with saturation recovery correspond to minimal multi-fold packings in projective space, and prove that the classical frame algorithm may be adapted to this non-linear problem to provide a reconstruction algorithm.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Stable phase retrieval and perturbations of frames
Authors:
Wedad Alharbi,
Daniel Freeman,
Dorsa Ghoreishi,
Claire Lois,
Shanea Sebastian
Abstract:
A frame $(x_j)_{j\in J}$ for a Hilbert space $H$ is said to do phase retrieval if for all distinct vectors $x,y\in H$ the magnitude of the frame coefficients $(|\langle x, x_j\rangle|)_{j\in J}$ and $(|\langle y, x_j\rangle|)_{j\in J}$ distinguish $x$ from $y$ (up to a unimodular scalar). A frame which does phase retrieval is said to do $C$-stable phase retrieval if the recovery of any vector…
▽ More
A frame $(x_j)_{j\in J}$ for a Hilbert space $H$ is said to do phase retrieval if for all distinct vectors $x,y\in H$ the magnitude of the frame coefficients $(|\langle x, x_j\rangle|)_{j\in J}$ and $(|\langle y, x_j\rangle|)_{j\in J}$ distinguish $x$ from $y$ (up to a unimodular scalar). A frame which does phase retrieval is said to do $C$-stable phase retrieval if the recovery of any vector $x\in H$ from the magnitude of the frame coefficients is $C$-Lipschitz. It is known that if a frame does stable phase retrieval then any sufficiently small perturbation of the frame vectors will do stable phase retrieval, though with a slightly worse stability constant. We provide new quantitative bounds on how the stability constant for phase retrieval is affected by a small perturbation of the frame vectors. These bounds are significant in that they are independent of the dimension of the Hilbert space and the number of vectors in the frame.
△ Less
Submitted 27 December, 2022;
originally announced December 2022.
-
Lipschitz Functions on Unions and Quotients of Metric Spaces
Authors:
David M. Freeman,
Chris Gartland
Abstract:
Given a finite collection $\{X_i\}_{i\in I}$ of metric spaces, each of which has finite Nagata dimension and Lipschitz free space isomorphic to $L^1$, we prove that their union has Lipschitz free space isomorphic to $L^1$. The short proof we provide is based on the Pelczyński decomposition method. A corollary is a solution to a question of Kaufmann about the union of two planar curves with tangent…
▽ More
Given a finite collection $\{X_i\}_{i\in I}$ of metric spaces, each of which has finite Nagata dimension and Lipschitz free space isomorphic to $L^1$, we prove that their union has Lipschitz free space isomorphic to $L^1$. The short proof we provide is based on the Pelczyński decomposition method. A corollary is a solution to a question of Kaufmann about the union of two planar curves with tangential intersection. A second focus of the paper is on a special case of this result that can be studied using geometric methods. That is, we prove that the Lipschitz free space of a union of finitely many quasiconformal trees is isomorphic to $L^1$. These geometric methods also reveal that any metric quotient of a quasiconformal tree has Lipschitz free space isomorphic to $L^1$. Finally, we analyze Lipschitz light maps on unions and metric quotients of quasiconformal trees in order to prove that the Lipschitz dimension of any such union or quotient is equal to 1.
△ Less
Submitted 5 April, 2023; v1 submitted 16 December, 2022;
originally announced December 2022.
-
Quantitative bounds for unconditional pairs of frames
Authors:
Peter Balazs,
Daniel Freeman,
Roxana Popescu,
Michael Speckbacher
Abstract:
We formulate a quantitative finite-dimensional conjecture about frame multipliers and prove that it is equivalent to Conjecture 1 in [SB2].
We then present solutions to the conjecture for certain classes of frame multipliers. In particular, we prove that there is a universal constant $κ>0$ so that for all $C,β>0$ and $N\in\mathbb{N}$ the following is true. Let $(x_j)_{j=1}^N$ and…
▽ More
We formulate a quantitative finite-dimensional conjecture about frame multipliers and prove that it is equivalent to Conjecture 1 in [SB2].
We then present solutions to the conjecture for certain classes of frame multipliers. In particular, we prove that there is a universal constant $κ>0$ so that for all $C,β>0$ and $N\in\mathbb{N}$ the following is true. Let $(x_j)_{j=1}^N$ and $(f_j)_{j=1}^N$ be sequences in a finite dimensional Hilbert space which satisfy $\|x_j\|=\|f_j\|$ for all $1\leq j\leq N$ and
$$\Big\|\sum_{j=1}^N \varepsilon_j\langle x,f_j\rangle x_j\Big\|\leq C\|x\|, \qquad\textrm{ for all $x\in \ell_2^M$ and $|\varepsilon_j|=1$}. $$ If the frame operator for $(f_j)_{j=1}^N$ has eigenvalues $λ_1\geq...\geqλ_M$ and $λ_1\leq βM^{-1}\sum_{j=1}^Mλ_j$ then $(f_j)_{j=1}^N$ has Bessel bound $κβ^2 C$. The same holds for $(x_j)_{j=1}^N$.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
VeLO: Training Versatile Learned Optimizers by Scaling Up
Authors:
Luke Metz,
James Harrison,
C. Daniel Freeman,
Amil Merchant,
Lucas Beyer,
James Bradbury,
Naman Agrawal,
Ben Poole,
Igor Mordatch,
Adam Roberts,
Jascha Sohl-Dickstein
Abstract:
While deep learning models have replaced hand-designed features across many domains, these models are still trained with hand-designed optimizers. In this work, we leverage the same scaling approach behind the success of deep learning to learn versatile optimizers. We train an optimizer for deep learning which is itself a small neural network that ingests gradients and outputs parameter updates. M…
▽ More
While deep learning models have replaced hand-designed features across many domains, these models are still trained with hand-designed optimizers. In this work, we leverage the same scaling approach behind the success of deep learning to learn versatile optimizers. We train an optimizer for deep learning which is itself a small neural network that ingests gradients and outputs parameter updates. Meta-trained with approximately four thousand TPU-months of compute on a wide variety of optimization tasks, our optimizer not only exhibits compelling performance, but optimizes in interesting and unexpected ways. It requires no hyperparameter tuning, instead automatically adapting to the specifics of the problem being optimized. We open source our learned optimizer, meta-training code, the associated train and test data, and an extensive optimizer benchmark suite with baselines at velo-code.github.io.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Stable phase retrieval in function spaces
Authors:
D. Freeman,
T. Oikhberg,
B. Pineau,
M. A. Taylor
Abstract:
Let $(Ω,Σ,μ)$ be a measure space, and $1\leq p\leq \infty$. A subspace $E\subseteq L_p(μ)$ is said to do stable phase retrieval (SPR) if there exists a constant $C\geq 1$ such that for any $f,g\in E$ we have $$
\inf_{|λ|=1} \|f-λg\|\leq C\||f|-|g|\|. $$
In this case, if $|f|$ is known, then $f$ is uniquely determined up to an unavoidable global phase factor $λ$; moreover, the phase recovery ma…
▽ More
Let $(Ω,Σ,μ)$ be a measure space, and $1\leq p\leq \infty$. A subspace $E\subseteq L_p(μ)$ is said to do stable phase retrieval (SPR) if there exists a constant $C\geq 1$ such that for any $f,g\in E$ we have $$
\inf_{|λ|=1} \|f-λg\|\leq C\||f|-|g|\|. $$
In this case, if $|f|$ is known, then $f$ is uniquely determined up to an unavoidable global phase factor $λ$; moreover, the phase recovery map is $C$-Lipschitz. Phase retrieval appears in several applied circumstances, ranging from crystallography to quantum mechanics.
In this article, we construct various subspaces doing stable phase retrieval, and make connections with $Λ(p)$-set theory. Moreover, we set the foundations for an analysis of stable phase retrieval in general function spaces. This, in particular, allows us to show that Hölder stable phase retrieval implies stable phase retrieval, improving the stability bounds in a recent article of M. Christ and the third and fourth authors. We also characterize those compact Hausdorff spaces $K$ such that $C(K)$ contains an infinite dimensional SPR subspace.
△ Less
Submitted 10 October, 2022;
originally announced October 2022.
-
Locality and stability for phase retrieval
Authors:
Wedad Alharbi,
Salah Alshabhi,
Daniel Freeman,
Dorsa Ghoreishi
Abstract:
A frame $(x_j)_{j\in J}$ for a Hilbert space $H$ is said to do phase retrieval if for all distinct vectors $x,y\in H$ the magnitude of the frame coefficients $(|\langle x, x_j\rangle|)_{j\in J}$ and $(|\langle y, x_j\rangle|)_{j\in J}$ distinguish $x$ from $y$ (up to a unimodular scalar). We consider the weaker condition where the magnitude of the frame coefficients distinguishes $x$ from every ve…
▽ More
A frame $(x_j)_{j\in J}$ for a Hilbert space $H$ is said to do phase retrieval if for all distinct vectors $x,y\in H$ the magnitude of the frame coefficients $(|\langle x, x_j\rangle|)_{j\in J}$ and $(|\langle y, x_j\rangle|)_{j\in J}$ distinguish $x$ from $y$ (up to a unimodular scalar). We consider the weaker condition where the magnitude of the frame coefficients distinguishes $x$ from every vector $y$ in a small neighborhood of $x$ (up to a unimodular scalar). We prove that some of the important theorems for phase retrieval hold for this local condition, where as some theorems are completely different. We prove as well that when considering stability of phase retrieval, the worst stability inequality is always witnessed at orthogonal vectors. This allows for much simpler calculations when considering optimization problems for phase retrieval.
△ Less
Submitted 20 December, 2022; v1 submitted 7 October, 2022;
originally announced October 2022.
-
Quantum Mechanics for Closure of Dynamical Systems
Authors:
David Freeman,
Dimitrios Giannakis,
Joanna Slawinska
Abstract:
We propose a scheme for data-driven parameterization of unresolved dimensions of dynamical systems based on the mathematical framework of quantum mechanics and Koopman operator theory. Given a system in which some components of the state are unknown, this method involves defining a surrogate system in a time-dependent quantum state which determines the fluxes from the unresolved degrees of freedom…
▽ More
We propose a scheme for data-driven parameterization of unresolved dimensions of dynamical systems based on the mathematical framework of quantum mechanics and Koopman operator theory. Given a system in which some components of the state are unknown, this method involves defining a surrogate system in a time-dependent quantum state which determines the fluxes from the unresolved degrees of freedom at each timestep. The quantum state is a density operator on a finite-dimensional Hilbert space of classical observables and evolves over time under an action induced by the Koopman operator. The quantum state also updates with new values of the resolved variables according to a quantum Bayes' law, implemented via an operator-valued feature map. Kernel methods are utilized to learn data-driven basis functions and represent quantum states, observables, and evolution operators as matrices. The resulting computational schemes are automatically positivity-preserving, aiding in the physical consistency of the parameterized system. We analyze the results of two different modalities of this methodology applied to the Lorenz 63 and Lorenz 96 multiscale systems, and show how this approach preserves important statistical and qualitative properties of the underlying chaotic systems.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Data Assimilation in Operator Algebras
Authors:
David Freeman,
Dimitrios Giannakis,
Brian Mintz,
Abbas Ourmazd,
Joanna Slawinska
Abstract:
We develop an algebraic framework for sequential data assimilation of partially observed dynamical systems. In this framework, Bayesian data assimilation is embedded in a non-abelian operator algebra, which provides a representation of observables by multiplication operators and probability densities by density operators (quantum states). In the algebraic approach, the forecast step of data assimi…
▽ More
We develop an algebraic framework for sequential data assimilation of partially observed dynamical systems. In this framework, Bayesian data assimilation is embedded in a non-abelian operator algebra, which provides a representation of observables by multiplication operators and probability densities by density operators (quantum states). In the algebraic approach, the forecast step of data assimilation is represented by a quantum operation induced by the Koopman operator of the dynamical system. Moreover, the analysis step is described by a quantum effect, which generalizes the Bayesian observational update rule. Projecting this formulation to finite-dimensional matrix algebras leads to new computational data assimilation schemes that are (i) automatically positivity-preserving; and (ii) amenable to consistent data-driven approximation using kernel methods for machine learning. Moreover, these methods are natural candidates for implementation on quantum computers. Applications to data assimilation of the Lorenz 96 multiscale system and the El Nino Southern Oscillation in a climate model show promising results in terms of forecast skill and uncertainty quantification.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
Shrinking Schauder Frames and their Associated Bases
Authors:
Kevin Beanland,
Daniel Freeman
Abstract:
For a Banach space $X$ with a shrinking Schauder frame $(x_i,f_i)$ we provide an explicit method for constructing a shrinking associated basis. In the case that the minimal associated basis is not shrinking, we prove that every shrinking associated basis of $(x_i,f_i)$ dominates an uncountable family of incomparable shrinking associated bases of $(x_i,f_i)$. By adapting a construction of Pełczy{ń}…
▽ More
For a Banach space $X$ with a shrinking Schauder frame $(x_i,f_i)$ we provide an explicit method for constructing a shrinking associated basis. In the case that the minimal associated basis is not shrinking, we prove that every shrinking associated basis of $(x_i,f_i)$ dominates an uncountable family of incomparable shrinking associated bases of $(x_i,f_i)$. By adapting a construction of Pełczy{ń}ski, we characterize spaces with shrinking Schauder frames as spaces having the $w^*$-bounded approximation property.
△ Less
Submitted 19 May, 2022;
originally announced May 2022.
-
A New Proof of the Equivalence of Weak and Viscosity Solutions to the Homogeneous $\texttt{p}(\cdot)$-Laplacian in $\mathbb{R}^n$
Authors:
Zachary Forrest,
Robert D. Freeman
Abstract:
We present a new proof for the equivalence of potential theoretic weak solutions and viscosity solutions to the $\texttt{p}(\cdot)$-Laplace equation in $\mathbb{R}^n$. The proof of the equivalence in the variable exponent case in Euclidean space was first given by Juutinen, Lukkari, and Parviainen (2010) and extended the equivalence of potential theoretic weak solutions and viscosity solutions to…
▽ More
We present a new proof for the equivalence of potential theoretic weak solutions and viscosity solutions to the $\texttt{p}(\cdot)$-Laplace equation in $\mathbb{R}^n$. The proof of the equivalence in the variable exponent case in Euclidean space was first given by Juutinen, Lukkari, and Parviainen (2010) and extended the equivalence of potential theoretic weak solutions and viscosity solutions to the $\texttt{p}$-Laplace equation in $\mathbb{R}^n$, given by Juutinen, Lindqvist, and Manfredi (2001). In both the fixed exponent case and the variable exponent case, the main argument is based on the maximum principle for semicontinuous functions, several approximations, and also applied the full uniqueness machinery of the theory of viscosity solutions. This paper extends the approach of Julin and Juutinen (2012) for the fixed exponent case, and so we employ infimal convolutions to present a direct, new proof for the equivalence of potential theoretic weak solutions and viscosity solutions to the $\texttt{p}(\cdot)$-Laplace equation in $\mathbb{R}^n$.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Lipschitz Functions on Quasiconformal Trees
Authors:
David M. Freeman,
Chris Gartland
Abstract:
We first identify (up to linear isomorphism) the Lipschitz free spaces of quasiarcs. By decomposing quasiconformal trees into quasiarcs as done in an article of David, Eriksson-Bique, and Vellis, we then identify the Lipschitz free spaces of quasiconformal trees and prove that quasiconformal trees have Lipschitz dimension 1. Generalizing the aforementioned decomposition, we define a geometric tree…
▽ More
We first identify (up to linear isomorphism) the Lipschitz free spaces of quasiarcs. By decomposing quasiconformal trees into quasiarcs as done in an article of David, Eriksson-Bique, and Vellis, we then identify the Lipschitz free spaces of quasiconformal trees and prove that quasiconformal trees have Lipschitz dimension 1. Generalizing the aforementioned decomposition, we define a geometric tree-like decomposition of a metric space. Our results pertaining to quasiconformal trees are in fact special cases of results about metric spaces admitting a geometric tree-like decomposition. Furthermore, the methods employed in our study of Lipschitz free spaces yield a decomposition of any (weak) quasiarc into rectifiable and purely unrectifiable subsets, which may be of independent interest.
△ Less
Submitted 14 March, 2023; v1 submitted 11 April, 2022;
originally announced April 2022.
-
Practical tradeoffs between memory, compute, and performance in learned optimizers
Authors:
Luke Metz,
C. Daniel Freeman,
James Harrison,
Niru Maheswaranathan,
Jascha Sohl-Dickstein
Abstract:
Optimization plays a costly and crucial role in developing machine learning systems. In learned optimizers, the few hyperparameters of commonly used hand-designed optimizers, e.g. Adam or SGD, are replaced with flexible parametric functions. The parameters of these functions are then optimized so that the resulting learned optimizer minimizes a target loss on a chosen class of models. Learned opti…
▽ More
Optimization plays a costly and crucial role in developing machine learning systems. In learned optimizers, the few hyperparameters of commonly used hand-designed optimizers, e.g. Adam or SGD, are replaced with flexible parametric functions. The parameters of these functions are then optimized so that the resulting learned optimizer minimizes a target loss on a chosen class of models. Learned optimizers can both reduce the number of required training steps and improve the final test loss. However, they can be expensive to train, and once trained can be expensive to use due to computational and memory overhead for the optimizer itself. In this work, we identify and quantify the design features governing the memory, compute, and performance trade-offs for many learned and hand-designed optimizers. We further leverage our analysis to construct a learned optimizer that is both faster and more memory efficient than previous work. Our model and training code are open source.
△ Less
Submitted 16 July, 2022; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Stable phase retrieval for infinite dimensional subspaces of $L_2(\mathbb{R})$
Authors:
Robert Calderbank,
Ingrid Daubechies,
Daniel Freeman,
Nikki Freeman
Abstract:
Phase retrieval is known to always be unstable when using a frame or continuous frame for an infinite dimensional Hilbert space. We consider a generalization of phase retrieval to the setting of subspaces of $L_2$ which coincides with using a continuous frame for phase retrieval when the subspace is the range of the analysis operator of a continuous frame. We then prove that there do exist infinit…
▽ More
Phase retrieval is known to always be unstable when using a frame or continuous frame for an infinite dimensional Hilbert space. We consider a generalization of phase retrieval to the setting of subspaces of $L_2$ which coincides with using a continuous frame for phase retrieval when the subspace is the range of the analysis operator of a continuous frame. We then prove that there do exist infinite dimensional subspaces of $L_2$ where phase retrieval is stable. That is, we give a method for constructing an infinite dimensional subspace $Y\subseteq L_2$ such that there exists $C\geq 1$ so that $$\min\big(\big\|f-g\big\|_{L_2},\big\|f+g\big\|_{L_2}\big)\leq C \big\| |f|-|g| \big\|_{L_2} \qquad\textrm{ for all }f,g\in Y. $$
This construction also leads to new results on uniform stability of phase retrieval in finite dimensions. Our construction has a deterministic component and a random component. When using sub-Gaussian random variables we achieve phase retrieval with high probability and stability constant independent of the dimension $n$ when using $m$ on the order of $n$ random vectors. Without sub-Gaussian or any other higher moment assumptions, we are able to achieve phase retrieval with high probability and stability constant independent of the dimension $n$ when using $m$ on the order of $n\log(n)$ random vectors.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Computing the Dimension of a Bipartition Matrix
Authors:
Dawson Freeman,
Ronald Umble
Abstract:
The dimension of a bipartition matrix (BPM) is the sum of the dimensions of its indecomposable factors. The dimension of an indecomposable BPM is the sum of its row, column, and entry dimensions. To compute these dimensions, we apply four routines of independent interest: (1) Factor a bipartition as a product of indecomposables; (2) recover a bipartition from its indecomposable factorization; (3)…
▽ More
The dimension of a bipartition matrix (BPM) is the sum of the dimensions of its indecomposable factors. The dimension of an indecomposable BPM is the sum of its row, column, and entry dimensions. To compute these dimensions, we apply four routines of independent interest: (1) Factor a bipartition as a product of indecomposables; (2) recover a bipartition from its indecomposable factorization; (3) factor a BPM as a product of indecomposables; and (4) compute the "transpose-rotation" (the column dimension of a BPM is the row dimension of its transpose-rotation).
△ Less
Submitted 15 January, 2025; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Discretizing $L_p$ norms and frame theory
Authors:
Daniel Freeman,
Dorsa Ghoreishi
Abstract:
Given an $N$-dimensional subspace $X$ of $L_p([0,1])$, we consider the problem of choosing $M$-sampling points which may be used to discretely approximate the $L_p$ norm on the subspace. We are particularly interested in knowing when the number of sampling points $M$ can be chosen on the order of the dimension $N$. For the case $p=2$ it is known that $M$ may always be chosen on the order of $N$ as…
▽ More
Given an $N$-dimensional subspace $X$ of $L_p([0,1])$, we consider the problem of choosing $M$-sampling points which may be used to discretely approximate the $L_p$ norm on the subspace. We are particularly interested in knowing when the number of sampling points $M$ can be chosen on the order of the dimension $N$. For the case $p=2$ it is known that $M$ may always be chosen on the order of $N$ as long as the subspace $X$ satisfies a natural $L_\infty$ bound, and for the case $p=\infty$ there are examples where $M$ may not be chosen on the order of $N$. We show for all $1\leq p<2$ that there exist classes of subspaces of $L_p([0,1])$ which satisfy the $L_\infty$ bound, but where the number of sampling points $M$ cannot be chosen on the order of $N$. We show as well that the problem of discretizing the $L_p$ norm of subspaces is directly connected with frame theory. In particular, we prove that discretizing a continuous frame to obtain a discrete frame which does stable phase retrieval requires discretizing both the $L_2$ norm and the $L_1$ norm on the range of the analysis operator of the continuous frame.
△ Less
Submitted 6 February, 2022; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Banach spaces for which the space of operators has $2^{\mathfrak c}$ closed ideals
Authors:
Daniel Freeman,
Thomas Schlumprecht,
Andras Zsak
Abstract:
We formulate general conditions which imply that $L(X,Y)$, the space of operators from a Banach space $X$ to a Banach space $Y$, has $2^{\mathfrak c}$ closed ideals where $\mathfrak c$ is the cardinality of the continuum. These results are applied to classical sequence spaces and Tsirelson type spaces. In particular, we prove that the cardinality of the set of closed ideals in…
▽ More
We formulate general conditions which imply that $L(X,Y)$, the space of operators from a Banach space $X$ to a Banach space $Y$, has $2^{\mathfrak c}$ closed ideals where $\mathfrak c$ is the cardinality of the continuum. These results are applied to classical sequence spaces and Tsirelson type spaces. In particular, we prove that the cardinality of the set of closed ideals in $L(\ell_p\oplus\ell_q)$ is exactly $2^{\mathfrak c}$ for all $1<p<q<\infty$, which in turn gives an alternate proof of the recent result of Johnson and Schechtman that $L(L_p)$ also has $2^{\mathfrak c}$ closed ideals for $1<p\neq 2<\infty$.
△ Less
Submitted 24 August, 2020; v1 submitted 27 June, 2020;
originally announced June 2020.
-
Weak Quasicircles Have Lipschitz Dimension 1
Authors:
David M. Freeman
Abstract:
We prove that the Lipschitz dimension of any bounded turning Jordan circle or arc is equal to 1. In particular, the Lipschitz dimension of any weak quasicircle or arc is equal to 1.
We prove that the Lipschitz dimension of any bounded turning Jordan circle or arc is equal to 1. In particular, the Lipschitz dimension of any weak quasicircle or arc is equal to 1.
△ Less
Submitted 25 June, 2020; v1 submitted 11 June, 2020;
originally announced June 2020.
-
The cardinality of the sublattice of closed ideals of operators between certain classical sequence spaces
Authors:
Daniel Freeman,
Thomas Schlumprecht,
Andras Zsak
Abstract:
Theorem A and Theorem B of [1] state that for $1<p<\infty$ the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$ are at least of cardinality $2^ω$. Here we show that the cardinality of the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$, is at leas…
▽ More
Theorem A and Theorem B of [1] state that for $1<p<\infty$ the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$ are at least of cardinality $2^ω$. Here we show that the cardinality of the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$, is at least $2^{2^ω}$, and thus equal to it.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.
-
A Schauder basis for $L_2$ consisting of non-negative functions
Authors:
Daniel Freeman,
Alexander M. Powell,
Mitchell A. Taylor
Abstract:
We prove that $L_2(\mathbb{R})$ contains a Schauder basis of non-negative functions. Similarly, $L_p(\mathbb{R})$ contains a Schauder basic sequence of non-negative functions such that $L_p(\mathbb{R})$ embeds into the closed span of the sequence. We prove as well that if $X$ is a separable Banach space with the bounded approximation property, then any set in $X$ with dense span contains a quasi-b…
▽ More
We prove that $L_2(\mathbb{R})$ contains a Schauder basis of non-negative functions. Similarly, $L_p(\mathbb{R})$ contains a Schauder basic sequence of non-negative functions such that $L_p(\mathbb{R})$ embeds into the closed span of the sequence. We prove as well that if $X$ is a separable Banach space with the bounded approximation property, then any set in $X$ with dense span contains a quasi-basis (Schauder frame) for $X$. Furthermore, if $X$ is a separable Banach lattice with a bibasis then any set in $X$ with dense span contains a u-frame.
△ Less
Submitted 21 March, 2020;
originally announced March 2020.
-
Continuous Schauder frames for Banach spaces
Authors:
Joseph Eisner,
Daniel Freeman
Abstract:
We introduce the notion of a continuous Schauder frame for a Banach space. This is both a generalization of continuous frames and coherent states for Hilbert spaces and a generalization of unconditional Schauder frames for Banach spaces. As a natural example, we prove that any wavelet for $L_p(\R)$ with $1<p<\infty$ generates a continuous wavelet Schauder frame. Furthermore, we generalize the prop…
▽ More
We introduce the notion of a continuous Schauder frame for a Banach space. This is both a generalization of continuous frames and coherent states for Hilbert spaces and a generalization of unconditional Schauder frames for Banach spaces. As a natural example, we prove that any wavelet for $L_p(\R)$ with $1<p<\infty$ generates a continuous wavelet Schauder frame. Furthermore, we generalize the properties shrinking and boundedly complete to the continuous Schauder frame setting, and prove that many of the fundamental James theorems still hold in this general context.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Toward a quasi-Möbius characterization of Invertible Homogeneous Metric Spaces
Authors:
David Freeman,
Enrico Le Donne
Abstract:
We study locally compact metric spaces that enjoy various forms of homogeneity with respect to Möbius self-homeomorphisms. We investigate connections between such homogeneity and the combination of isometric homogeneity with invertibility. In particular, we provide a new characterization of snowflakes of boundaries of rank-one symmetric spaces of non-compact type among locally compact and connecte…
▽ More
We study locally compact metric spaces that enjoy various forms of homogeneity with respect to Möbius self-homeomorphisms. We investigate connections between such homogeneity and the combination of isometric homogeneity with invertibility. In particular, we provide a new characterization of snowflakes of boundaries of rank-one symmetric spaces of non-compact type among locally compact and connected metric spaces. Furthermore, we investigate the metric implications of homogeneity with respect to uniformly strongly quasi-Möbius self-homeomorphisms, connecting such homogeneity with the combination of uniform bi-Lipschitz homogeneity and quasi-invertibility. In this context we characterize spaces containing a cut point and provide several metric properties of spaces containing no cut points. These results are motivated by a desire to characterize the snowflakes of boundaries of rank-one symmetric spaces up to bi-Lipschitz equivalence.
△ Less
Submitted 8 December, 2018;
originally announced December 2018.
-
The Fundamental Solution to the p-Laplacian in a class of Hörmander Vector Fields
Authors:
Thomas Bieske,
Robert D. Freeman
Abstract:
We find the fundamental solution to the p-Laplace equation in a class of Hörmander vector fields that generate neither a Carnot group nor a Grushin-type space. The singularity occurs at the sub-Riemannian points which naturally corresponds to finding the fundamental solution of a generalized operator in Euclidean space. We then use this solution to find an infinite harmonic function with specific…
▽ More
We find the fundamental solution to the p-Laplace equation in a class of Hörmander vector fields that generate neither a Carnot group nor a Grushin-type space. The singularity occurs at the sub-Riemannian points which naturally corresponds to finding the fundamental solution of a generalized operator in Euclidean space. We then use this solution to find an infinite harmonic function with specific boundary data and to compute the capacity of annuli centered at the singularity.
△ Less
Submitted 17 April, 2018;
originally announced April 2018.
-
Frame potential for finite-dimensional Banach spaces
Authors:
J. A. Chávez-Domínguez,
D. Freeman,
K. Kornelson
Abstract:
We define the frame potential for a Schauder frame on a finite dimensional Banach space as the square of the $2$-summing norm of the frame operator. As is the case for frames for Hilbert spaces, we prove that the frame potential can be used to characterize finite unit norm tight frames (FUNTFs) for finite dimensional Banach spaces. We prove the existence of FUNTFs for a variety of spaces, and in p…
▽ More
We define the frame potential for a Schauder frame on a finite dimensional Banach space as the square of the $2$-summing norm of the frame operator. As is the case for frames for Hilbert spaces, we prove that the frame potential can be used to characterize finite unit norm tight frames (FUNTFs) for finite dimensional Banach spaces. We prove the existence of FUNTFs for a variety of spaces, and in particular that every $n$-dimensional complex Banach space with a $1$-unconditional basis has a FUNTF of $N$ vectors for every $N\geq n$. However, many interesting results on FUNTFs and sums of rank one projections for Hilbert spaces remain unknown for Banach spaces and we conclude the paper with multiple open questions.
△ Less
Submitted 10 April, 2018;
originally announced April 2018.
-
Closed Ideals of Operators between the Classical Sequence Spaces
Authors:
Dan Freeman,
Thomas Schlumprecht,
Andras Zsak
Abstract:
We prove that the spaces $\mathcal L(\ell_p,\mathrm{c}_0)$, $\mathcal L(\ell_p,\ell_\infty)$ and $\mathcal L(\ell_1,\ell_q)$ of operators with $1<p,q<\infty$ have continuum many closed ideals. This extends and improves earlier works by Schlumprecht and Zsák, by Wallis, and by Sirotkin and Wallis. Several open problems remain. Key to our construction of closed ideals are matrices with the Restricte…
▽ More
We prove that the spaces $\mathcal L(\ell_p,\mathrm{c}_0)$, $\mathcal L(\ell_p,\ell_\infty)$ and $\mathcal L(\ell_1,\ell_q)$ of operators with $1<p,q<\infty$ have continuum many closed ideals. This extends and improves earlier works by Schlumprecht and Zsák, by Wallis, and by Sirotkin and Wallis. Several open problems remain. Key to our construction of closed ideals are matrices with the Restricted Isometry Property that come from Compressed Sensing.
△ Less
Submitted 4 December, 2016;
originally announced December 2016.
-
The discretization problem for continuous frames
Authors:
Daniel Freeman,
Darrin Speegle
Abstract:
We characterize when a coherent state or continuous frame for a Hilbert space may be sampled to obtain a frame, which solves the discretization problem for continuous frames. In particular, we prove that every bounded continuous frame for a Hilbert space may be sampled to obtain a frame.
We characterize when a coherent state or continuous frame for a Hilbert space may be sampled to obtain a frame, which solves the discretization problem for continuous frames. In particular, we prove that every bounded continuous frame for a Hilbert space may be sampled to obtain a frame.
△ Less
Submitted 16 July, 2017; v1 submitted 19 November, 2016;
originally announced November 2016.
-
On spreading sequences and asymptotic structures
Authors:
D. Freeman,
E. Odell,
B. Sari,
B. Zheng
Abstract:
In the first part of the paper we study the structure of Banach spaces with a conditional spreading basis. The geometry of such spaces exhibit a striking resemblance to the geometry of James' space. Further, we show that the averaging projections onto subspaces spanned by constant coefficient blocks with no gaps between supports are bounded. As a consequence, every Banach space with a spreading ba…
▽ More
In the first part of the paper we study the structure of Banach spaces with a conditional spreading basis. The geometry of such spaces exhibit a striking resemblance to the geometry of James' space. Further, we show that the averaging projections onto subspaces spanned by constant coefficient blocks with no gaps between supports are bounded. As a consequence, every Banach space with a spreading basis contains a complemented subspace with an unconditional basis. This gives an affirmative answer to a question of H. Rosenthal.
The second part contains two results on Banach spaces $X$ whose asymptotic structures are closely related to $c_0$ and do not contain a copy of $\ell_1$: i) Suppose $X$ has a normalized weakly null basis $(x_i)$ and every spreading model $(e_i)$ of a normalized weakly null block basis satisfies $\|e_1-e_2\|=1$. Then some subsequence of $(x_i)$ is equivalent to the unit vector basis of $c_0$. This generalizes a similar theorem of Odell and Schlumprecht, and yields a new proof of the Elton-Odell theorem on the existence of infinite $(1+\varepsilon)$-separated sequences in the unit sphere of an arbitrary infinite dimensional Banach space. ii) Suppose that all asymptotic models of $X$ generated by weakly null arrays are equivalent to the unit vector basis of $c_0$. Then $X^*$ is separable and $X$ is asymptotic-$c_0$ with respect to a shrinking basis $(y_i)$ of $Y\supseteq X$.
△ Less
Submitted 13 July, 2016;
originally announced July 2016.
-
Generalized Palindromic Continued Fractions
Authors:
David M. Freeman
Abstract:
In this paper we introduce a generalization of palindromic continued fractions as studied by Adamczewski and Bugeaud. We refer to these generalized palindromes as $m$-palindromes, where $m$ ranges over the positive integers. We provide a simple transcendence criterion for $m$-palindromes, extending and slightly refining an analogous result of Adamczewski and Bugeaud. We also provide methods for co…
▽ More
In this paper we introduce a generalization of palindromic continued fractions as studied by Adamczewski and Bugeaud. We refer to these generalized palindromes as $m$-palindromes, where $m$ ranges over the positive integers. We provide a simple transcendence criterion for $m$-palindromes, extending and slightly refining an analogous result of Adamczewski and Bugeaud. We also provide methods for constructing examples of $m$-palindromes. Such examples allow us to illustrate our transcendence criterion and to explore the relationship between $m$-palindromes and stammering continued fractions, another concept introduced by Adamczewski and Bugeaud.
△ Less
Submitted 25 January, 2017; v1 submitted 22 April, 2016;
originally announced April 2016.
-
Weaving Schauder frames
Authors:
Peter G. Casazza,
Daniel Freeman,
Richard G. Lynch
Abstract:
We extend the concept of weaving Hilbert space frames to the Banach space setting. Similar to frames in a Hilbert space, we show that for any two approximate Schauder frames for a Banach space, every weaving is an approximate Schauder frame if and only if there is a uniform constant $C\geq 1$ such that every weaving is a $C$-approximate Schauder frame. We also study weaving Schauder bases, where i…
▽ More
We extend the concept of weaving Hilbert space frames to the Banach space setting. Similar to frames in a Hilbert space, we show that for any two approximate Schauder frames for a Banach space, every weaving is an approximate Schauder frame if and only if there is a uniform constant $C\geq 1$ such that every weaving is a $C$-approximate Schauder frame. We also study weaving Schauder bases, where it is necessary to introduce two notions of weaving. On one hand, we can ask if two Schauder bases are woven when considered as Schauder frames with their biorthogonal functionals, and alternatively, we can ask if each weaving of two Schauder bases remains a Schauder basis. We will prove that these two notions coincide when all weavings are unconditional, but otherwise they can be different. Lastly, we prove two perturbation theorems for approximate Schauder frames.
△ Less
Submitted 19 November, 2015;
originally announced November 2015.
-
Classes of operators determined by ordinal indices
Authors:
Kevin Beanland,
Ryan Causey,
Daniel Freeman,
Ben Wallis
Abstract:
We introduce and study the Bourgain index of an operator between two Banach spaces. In particular, we study the Bourgain $\ell_p$ and $c_0$ indices of an operator. Several estimates for finite and infinite direct sums are established. We define classes determined by these indices and show that some of these classes form operator ideals. We characterize the ordinals which occur as the index of an o…
▽ More
We introduce and study the Bourgain index of an operator between two Banach spaces. In particular, we study the Bourgain $\ell_p$ and $c_0$ indices of an operator. Several estimates for finite and infinite direct sums are established. We define classes determined by these indices and show that some of these classes form operator ideals. We characterize the ordinals which occur as the index of an operator and establish exactly when the defined classes are closed. We study associated indices for non-preservation of $\ell_p^ξ$ and $c_0^ξ$ spreading models and indices characterizing weak compactness of operators between separable Banach spaces. We also show that some of these classes are operator ideals and discuss closedness and distinctness of these classes.
△ Less
Submitted 22 July, 2015; v1 submitted 22 July, 2015;
originally announced July 2015.
-
Invertible Carnot Groups
Authors:
David M. Freeman
Abstract:
We characterize Carnot groups admitting a 1-quasiconformal metric inversion as the Lie groups of Heisenberg type whose Lie algebras satisfy the $J^2$-condition, thus characterizing a special case of inversion invariant bi-Lipschitz homogeneity. A more general characterization of inversion invariant bi-Lipschitz homogeneity for certain non-fractal metric spaces is also provided.
We characterize Carnot groups admitting a 1-quasiconformal metric inversion as the Lie groups of Heisenberg type whose Lie algebras satisfy the $J^2$-condition, thus characterizing a special case of inversion invariant bi-Lipschitz homogeneity. A more general characterization of inversion invariant bi-Lipschitz homogeneity for certain non-fractal metric spaces is also provided.
△ Less
Submitted 18 August, 2016; v1 submitted 20 August, 2014;
originally announced August 2014.
-
The stabilized set of $p$'s in Krivine's theorem can be disconnected
Authors:
Kevin Beanland,
Daniel Freeman,
Pavlos Motakis
Abstract:
For any closed subset $F$ of $[1,\infty]$ which is either finite or consists of the elements of an increasing sequence and its limit, a reflexive Banach space $X$ with a 1-unconditional basis is constructed so that in each block subspace $Y$ of $X$, $\ell_p$ is finitely block represented in $Y$ if and only if $p \in F$. In particular, this solves the question as to whether the stabilized Krivine s…
▽ More
For any closed subset $F$ of $[1,\infty]$ which is either finite or consists of the elements of an increasing sequence and its limit, a reflexive Banach space $X$ with a 1-unconditional basis is constructed so that in each block subspace $Y$ of $X$, $\ell_p$ is finitely block represented in $Y$ if and only if $p \in F$. In particular, this solves the question as to whether the stabilized Krivine set for a Banach space had to be connected. We also prove that for every infinite dimensional subspace $Y$ of $X$ there is a dense subset $G$ of $F$ such that the spreading models admitted by $Y$ are exactly the $\ell_p$ for $p\in G$.
△ Less
Submitted 1 August, 2014;
originally announced August 2014.
-
The metric geometry of the Hamming cube and applications
Authors:
F. Baudier,
D. Freeman,
Th. Schlumprecht,
A. Zsák
Abstract:
The Lipschitz geometry of segments of the infinite Hamming cube is studied. Tight estimates on the distortion necessary to embed the segments into spaces of continuous functions on countable compact metric spaces are given. As an application, the first nontrivial lower bounds on the $C(K)$-distortion of important classes of separable Banach spaces, where $K$ is a countable compact space in the fam…
▽ More
The Lipschitz geometry of segments of the infinite Hamming cube is studied. Tight estimates on the distortion necessary to embed the segments into spaces of continuous functions on countable compact metric spaces are given. As an application, the first nontrivial lower bounds on the $C(K)$-distortion of important classes of separable Banach spaces, where $K$ is a countable compact space in the family $ \{ [0,ω],[0,ω\cdot 2],\dots, [0,ω^2], \dots, [0,ω^k\cdot n],\dots,[0,ω^ω]\}\ ,$ are obtained.
△ Less
Submitted 18 March, 2014;
originally announced March 2014.
-
Equilateral sets in uniformly smooth Banach spaces
Authors:
D. Freeman,
E. Odell,
B. Sari,
Th. Schlumprecht
Abstract:
Let $X$ be an infinite dimensional uniformly smooth Banach space. We prove that $X$ contains an infinite equilateral set. That is, there exists a constant $λ>0$ and an infinite sequence $(x_i)_{i=1}^\infty\subset X$ such that $\|x_i-x_j\|=λ$ for all $i\neq j$.
Let $X$ be an infinite dimensional uniformly smooth Banach space. We prove that $X$ contains an infinite equilateral set. That is, there exists a constant $λ>0$ and an infinite sequence $(x_i)_{i=1}^\infty\subset X$ such that $\|x_i-x_j\|=λ$ for all $i\neq j$.
△ Less
Submitted 29 May, 2013;
originally announced May 2013.
-
Uniformly factoring weakly compact operators
Authors:
Kevin Beanland,
Daniel Freeman
Abstract:
Let $X$ and $Y$ be separable Banach spaces. Suppose $Y$ either has a shrinking basis or $Y$ is isomorphic to $C(2^\mathbb{N})$ and $A$ is a subset of weakly compact operators from $X$ to $Y$ which is analytic in the strong operator topology. We prove that there is a reflexive space with a basis $Z$ such that every $T \in A$ factors through $Z$. Likewise, we prove that if…
▽ More
Let $X$ and $Y$ be separable Banach spaces. Suppose $Y$ either has a shrinking basis or $Y$ is isomorphic to $C(2^\mathbb{N})$ and $A$ is a subset of weakly compact operators from $X$ to $Y$ which is analytic in the strong operator topology. We prove that there is a reflexive space with a basis $Z$ such that every $T \in A$ factors through $Z$. Likewise, we prove that if $A \subset L(X, C(2^\mathbb{N}))$ is a set of operators whose adjoints have separable range and is analytic in the strong operator topology then there is a Banach space $Z$ with separable dual such that every $T \in A$ factors through $Z$. Finally we prove a uniformly version of this result in which we allow the domain and range spaces to vary.
△ Less
Submitted 11 April, 2013;
originally announced April 2013.
-
Moving finite unit tight frames for $S^n$
Authors:
Daniel Freeman,
Ryan Hotovy,
Eileen Martin
Abstract:
Frames for $\R^n$ can be thought of as redundant or linearly dependent coordinate systems, and have important applications in such areas as signal processing, data compression, and sampling theory. The word "frame" has a different meaning in the context of differential geometry and topology. A moving frame for the tangent bundle of a smooth manifold is a basis for the tangent space at each point w…
▽ More
Frames for $\R^n$ can be thought of as redundant or linearly dependent coordinate systems, and have important applications in such areas as signal processing, data compression, and sampling theory. The word "frame" has a different meaning in the context of differential geometry and topology. A moving frame for the tangent bundle of a smooth manifold is a basis for the tangent space at each point which varies smoothly over the manifold. It is well known that the only spheres with a moving basis for their tangent bundle are $S^1$, $S^3$, and $S^7$. On the other hand, after combining the two separate meanings of the word "frame", we show that the $n$-dimensional sphere, $S^n$, has a moving finite unit tight frame for its tangent bundle if and only if $n$ is odd. We give a procedure for creating vector fields on $S^{2n-1}$ for all $n\in\N$, and we characterize exactly when sets of such vector fields form a moving finite unit tight frame.
△ Less
Submitted 25 September, 2012;
originally announced September 2012.
-
Unconditional structures of translates for $L_p(R^d)$
Authors:
D. Freeman,
E. Odell,
Th. Schlumprecht,
A. Zsák
Abstract:
We prove that a sequence $(f_i)_{i=1}^\infty$ of translates of a fixed $f\in L_p(R)$ cannot be an unconditional basis of $L_p(R)$ for any $1\le p<\infty$. In contrast to this, for every $2<p<\infty$, $d\in N$ and unbounded sequence $(λ_n)_{n\in N}\subset R^d$ we establish the existence of a function $f\in L_p(R^d)$ and sequence $(g^*_n)_{n\in N}\subset L_p^*(R^d)$ such that…
▽ More
We prove that a sequence $(f_i)_{i=1}^\infty$ of translates of a fixed $f\in L_p(R)$ cannot be an unconditional basis of $L_p(R)$ for any $1\le p<\infty$. In contrast to this, for every $2<p<\infty$, $d\in N$ and unbounded sequence $(λ_n)_{n\in N}\subset R^d$ we establish the existence of a function $f\in L_p(R^d)$ and sequence $(g^*_n)_{n\in N}\subset L_p^*(R^d)$ such that $(T_{λ_n} f, g^*_n)_{n\in N}$ forms an unconditional Schauder frame for $L_p(R^d)$. In particular, there exists a Schauder frame of integer translates for $L_p(R)$ if (and only if) $2<p<\infty$.
△ Less
Submitted 20 September, 2012;
originally announced September 2012.
-
Transitive bi-Lipschitz group actions and bi-Lipschitz parameterizations
Authors:
David M. Freeman
Abstract:
We prove that Ahlfors 2-regular quasisymmetric images of the Euclidean plane are bi-Lipschitz images of the plane if and only if they are uniformly bi-Lipschitz homogeneous with respect to a group. We also prove that certain geodesic spaces are bi-Lipschitz images of Carnot groups if they are inversion invariant bi-Lipschitz homogeneous with respect to a group.
We prove that Ahlfors 2-regular quasisymmetric images of the Euclidean plane are bi-Lipschitz images of the plane if and only if they are uniformly bi-Lipschitz homogeneous with respect to a group. We also prove that certain geodesic spaces are bi-Lipschitz images of Carnot groups if they are inversion invariant bi-Lipschitz homogeneous with respect to a group.
△ Less
Submitted 8 July, 2022; v1 submitted 20 March, 2012;
originally announced March 2012.
-
Moving Parseval frames for vector bundles
Authors:
D. Freeman,
D. Poore,
A. R. Wei,
M. Wyse
Abstract:
Parseval frames can be thought of as redundant or linearly dependent coordinate systems for Hilbert spaces, and have important applications in such areas as signal processing, data compression, and sampling theory. We extend the notion of a Parseval frame for a fixed Hilbert space to that of a moving Parseval frame for a vector bundle over a manifold. Many vector bundles do not have a moving basis…
▽ More
Parseval frames can be thought of as redundant or linearly dependent coordinate systems for Hilbert spaces, and have important applications in such areas as signal processing, data compression, and sampling theory. We extend the notion of a Parseval frame for a fixed Hilbert space to that of a moving Parseval frame for a vector bundle over a manifold. Many vector bundles do not have a moving basis, but in contrast to this every vector bundle over a paracompact manifold has a moving Parseval frame. We prove that a sequence of sections of a vector bundle is a moving Parseval frame if and only if the sections are the orthogonal projection of a moving orthonormal basis for a larger vector bundle. In the case that our vector bundle is the tangent bundle of a Riemannian manifold, we prove that a sequence of vector fields is a Parseval frame for the tangent bundle of a Riemannian manifold if and only if the vector fields are the orthogonal projection of a moving orthonormal basis for the tangent bundle of a larger Riemannian manifold.
△ Less
Submitted 6 March, 2012;
originally announced March 2012.
-
Upper and lower estimates for schauder frames and atomic decompositions
Authors:
Kevin Beanland,
Daniel Freeman,
Rui Liu
Abstract:
We prove that a Schauder frame for any separable Banach space is shrinking if and only if it has an associated space with a shrinking basis, and that a Schauder frame for any separable Banach space is shrinking and boundedly complete if and only if it has a reflexive associated space. To obtain these results, we prove that the upper and lower estimate theorems for finite dimensional decompositions…
▽ More
We prove that a Schauder frame for any separable Banach space is shrinking if and only if it has an associated space with a shrinking basis, and that a Schauder frame for any separable Banach space is shrinking and boundedly complete if and only if it has a reflexive associated space. To obtain these results, we prove that the upper and lower estimate theorems for finite dimensional decompositions of Banach spaces can be extended and modified to Schauder frames. We show as well that if a separable infinite dimensional Banach space has a Schauder frame, then it also has a Schauder frame which is not shrinking.
△ Less
Submitted 12 February, 2012;
originally announced February 2012.
-
Greedy bases for Besov spaces
Authors:
S. J. Dilworth,
D. Freeman,
E. Odell,
Th. Schlumprecht
Abstract:
We prove thatthe Banach space $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_q}$, which is isomorphic to certain Besov spaces, has a greedy basis whenever $1\leq p \leq\infty$ and $1<q<\infty$. Furthermore, the Banach spaces $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_1}$, with $1<p\le \infty$, and $(\oplus_{n=1}^\infty \ell_p^n)_{c_0}$, with $1\le p<\infty$ do not have a greedy bases. We prove as well that th…
▽ More
We prove thatthe Banach space $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_q}$, which is isomorphic to certain Besov spaces, has a greedy basis whenever $1\leq p \leq\infty$ and $1<q<\infty$. Furthermore, the Banach spaces $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_1}$, with $1<p\le \infty$, and $(\oplus_{n=1}^\infty \ell_p^n)_{c_0}$, with $1\le p<\infty$ do not have a greedy bases. We prove as well that the space $(\oplus_{n=1}^\infty \ell_p^n)_{\ell_q}$ has a 1-greedy basis if and only if $1\leq p=q\le \infty$.
△ Less
Submitted 20 October, 2009;
originally announced October 2009.
-
The universality of $\ell_1$ as a dual space
Authors:
Daniel Freeman,
Edward Odell,
Thomas Schlumprecht
Abstract:
Let $X$ be a Banach space with a separable dual. We prove that $X$ embeds isomorphically into a $\cL_\infty$ space $Z$ whose dual is isomorphic to $\ell_1$. If, moreover, $U$ is a space so that $U$ and $X$ are totally incomparable, then we construct such a $Z$, so that $Z$ and $U$ are totally incomparable. If $X$ is separable and reflexive, we show that $Z$ can be made to be somewhat reflexiv…
▽ More
Let $X$ be a Banach space with a separable dual. We prove that $X$ embeds isomorphically into a $\cL_\infty$ space $Z$ whose dual is isomorphic to $\ell_1$. If, moreover, $U$ is a space so that $U$ and $X$ are totally incomparable, then we construct such a $Z$, so that $Z$ and $U$ are totally incomparable. If $X$ is separable and reflexive, we show that $Z$ can be made to be somewhat reflexive.
△ Less
Submitted 14 May, 2010; v1 submitted 2 April, 2009;
originally announced April 2009.
-
Banach Spaces of Bounded Szlenk Index II
Authors:
D. Freeman,
E. Odell,
Th. Schlumprecht,
A. Zsak
Abstract:
For every $α<ω_1$ we establish the existence of a separable Banach space whose Szlenk index is $ω^{αω+1}$ and which is universal for all separable Banach spaces whose Szlenk-index does not exceed $ω^{αω}$. In order to prove that result we provide an intrinsic characterization of which Banach spaces embed into a space admitting an FDD with upper estimates.
For every $α<ω_1$ we establish the existence of a separable Banach space whose Szlenk index is $ω^{αω+1}$ and which is universal for all separable Banach spaces whose Szlenk-index does not exceed $ω^{αω}$. In order to prove that result we provide an intrinsic characterization of which Banach spaces embed into a space admitting an FDD with upper estimates.
△ Less
Submitted 21 September, 2008;
originally announced September 2008.
-
Abelian Varieties with Prescribed Embedding Degree
Authors:
David Freeman,
Peter Stevenhagen,
Marco Streng
Abstract:
We present an algorithm that, on input of a CM-field $K$, an integer $k\ge1$, and a prime $r \equiv 1 \bmod k$, constructs a $q$-Weil number $π\in Ø_K$ corresponding to an ordinary, simple abelian variety $A$ over the field $\F$ of $q$ elements that has an $\F$-rational point of order $r$ and embedding degree $k$ with respect to $r$. We then discuss how CM-methods over $K$ can be used to explici…
▽ More
We present an algorithm that, on input of a CM-field $K$, an integer $k\ge1$, and a prime $r \equiv 1 \bmod k$, constructs a $q$-Weil number $π\in Ø_K$ corresponding to an ordinary, simple abelian variety $A$ over the field $\F$ of $q$ elements that has an $\F$-rational point of order $r$ and embedding degree $k$ with respect to $r$. We then discuss how CM-methods over $K$ can be used to explicitly construct $A$.
△ Less
Submitted 13 February, 2008;
originally announced February 2008.
-
Weakly null sequences with upper estimates
Authors:
Daniel Freeman
Abstract:
We prove that if $(v_i)$ is a normalized basic sequence and X is a Banach space such that every normalized weakly null sequence in X has a subsequence that is dominated by $(v_i)$, then there exists a uniform constant $C\geq1$ such that every normalized weakly null sequence in X has a subsequence that is C-dominated by $(v_i)$. This extends a result of Knaust and Odell, who proved this for the c…
▽ More
We prove that if $(v_i)$ is a normalized basic sequence and X is a Banach space such that every normalized weakly null sequence in X has a subsequence that is dominated by $(v_i)$, then there exists a uniform constant $C\geq1$ such that every normalized weakly null sequence in X has a subsequence that is C-dominated by $(v_i)$. This extends a result of Knaust and Odell, who proved this for the cases in which $(v_i)$ is the standard basis for $\ell_p$ or $c_0$.
△ Less
Submitted 2 May, 2007;
originally announced May 2007.
-
Computing endomorphism rings of Jacobians of genus 2 curves over finite fields
Authors:
David Freeman,
Kristin Lauter
Abstract:
We present algorithms which, given a genus 2 curve $C$ defined over a finite field and a quartic CM field $K$, determine whether the endomorphism ring of the Jacobian $J$ of $C$ is the full ring of integers in $K$. In particular, we present probabilistic algorithms for computing the field of definition of, and the action of Frobenius on, the subgroups $J[\ell^d]$ for prime powers $\ell^d$. We us…
▽ More
We present algorithms which, given a genus 2 curve $C$ defined over a finite field and a quartic CM field $K$, determine whether the endomorphism ring of the Jacobian $J$ of $C$ is the full ring of integers in $K$. In particular, we present probabilistic algorithms for computing the field of definition of, and the action of Frobenius on, the subgroups $J[\ell^d]$ for prime powers $\ell^d$. We use these algorithms to create the first implementation of Eisenträger and Lauter's algorithm for computing Igusa class polynomials via the Chinese Remainder Theorem \cite{el}, and we demonstrate the algorithm for a few small examples. We observe that in practice the running time of the CRT algorithm is dominated not by the endomorphism ring computation but rather by the need to compute $p^3$ curves for many small primes $p$.
△ Less
Submitted 30 May, 2007; v1 submitted 10 January, 2007;
originally announced January 2007.
-
Constructing pairing-friendly elliptic curves with embedding degree 10
Authors:
David Freeman
Abstract:
We present a general framework for constructing families of elliptic curves of prime order with prescribed embedding degree. We demonstrate this method by constructing curves with embedding degree k = 10, which solves an open problem posed by Boneh, Lynn, and Shacham. We show that our framework incorporates existing constructions for k = 3, 4, 6, and 12, and we give evidence that the method is u…
▽ More
We present a general framework for constructing families of elliptic curves of prime order with prescribed embedding degree. We demonstrate this method by constructing curves with embedding degree k = 10, which solves an open problem posed by Boneh, Lynn, and Shacham. We show that our framework incorporates existing constructions for k = 3, 4, 6, and 12, and we give evidence that the method is unlikely to produce infinite families of curves with embedding degree k > 12.
△ Less
Submitted 20 January, 2006;
originally announced January 2006.
-
Ellipsoidal tight frames and projection decompositions of operators
Authors:
Ken Dykema,
Dan Freeman,
Keri Kornelson,
David Larson,
Marc Ordower,
Eric Weber
Abstract:
We prove the existence of tight frames whose elements lie on an arbitrary ellipsoidal surface within a real or complex separable Hilbert space H, and we analyze the set of attainable frame bounds. In the case where H is real and has finite dimension, we give an algorithmic proof. Our main tool in the infinite-dimensional case is a result we have proven which concerns the decomposition of a posit…
▽ More
We prove the existence of tight frames whose elements lie on an arbitrary ellipsoidal surface within a real or complex separable Hilbert space H, and we analyze the set of attainable frame bounds. In the case where H is real and has finite dimension, we give an algorithmic proof. Our main tool in the infinite-dimensional case is a result we have proven which concerns the decomposition of a positive invertible operator into a strongly converging sum of (not necessarily mutually orthogonal) self-adjoint projections. This decomposition result implies the existence of tight frames in the ellipsoidal surface determined by the positive operator. In the real or complex finite dimensional case, this provides an alternate (but not algorithmic) proof that every such surface contains tight frames with every prescribed length at least as large as dim H. A corollary in both finite and infinite dimensions is that every positive invertible operator is the frame operator for a spherical frame.
△ Less
Submitted 24 April, 2003;
originally announced April 2003.
