Source author record

Daniel Freeman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA Machine Learning Robotics Artificial Intelligence math-ph math.GT math.MP math.NA Numerical Analysis

Catalog footprint

Research overview

16works

9topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Maximal inequalities, frames and greedy algorithms

The aim of this article is to use Banach lattice techniques to study coordinate systems in function spaces. We begin by proving that the greedy algorithm of a basis is order convergent if and only if a certain maximal inequality is satisfied. We then show that absolute frames need not admit a reconstruction algorithm with respect to the usual order convergence, but do allow for reconstruction with respect to the order convergence inherited from the double dual. After this, we investigate the extent to which such coordinate systems affect the geometry of the underlying function space. Most notably, we prove that a Banach lattice $X$ is lattice isomorphic to a closed sublattice of a $C(K)$ -space if and only if every unconditional sequence in $X$ is absolute.

preprint2022arXiv

Bi-Manual Manipulation and Attachment via Sim-to-Real Reinforcement Learning

Most successes in robotic manipulation have been restricted to single-arm robots, which limits the range of solvable tasks to pick-and-place, insertion, and objects rearrangement. In contrast, dual and multi arm robot platforms unlock a rich diversity of problems that can be tackled, such as laundry folding and executing cooking skills. However, developing controllers for multi-arm robots is complexified by a number of unique challenges, such as the need for coordinated bimanual behaviors, and collision avoidance amongst robots. Given these challenges, in this work we study how to solve bi-manual tasks using reinforcement learning (RL) trained in simulation, such that the resulting policies can be executed on real robotic platforms. Our RL approach results in significant simplifications due to using real-time (4Hz) joint-space control and directly passing unfiltered observations to neural networks policies. We also extensively discuss modifications to our simulated environment which lead to effective training of RL policies. In addition to designing control algorithms, a key challenge is how to design fair evaluation tasks for bi-manual robots that stress bimanual coordination, while removing orthogonal complicating factors such as high-level perception. In this work, we design a Connect Task, where the aim is for two robot arms to pick up and attach two blocks with magnetic connection points. We validate our approach with two xArm6 robots and 3D printed blocks with magnetic attachments, and find that our system has 100% success rate at picking up blocks, and 65% success rate at the Connect Task.

preprint2022arXiv

Blocks Assemble! Learning to Assemble with Large-Scale Structured Reinforcement Learning

Assembly of multi-part physical structures is both a valuable end product for autonomous robotics, as well as a valuable diagnostic task for open-ended training of embodied intelligent agents. We introduce a naturalistic physics-based environment with a set of connectable magnet blocks inspired by children's toy kits. The objective is to assemble blocks into a succession of target blueprints. Despite the simplicity of this objective, the compositional nature of building diverse blueprints from a set of blocks leads to an explosion of complexity in structures that agents encounter. Furthermore, assembly stresses agents' multi-step planning, physical reasoning, and bimanual coordination. We find that the combination of large-scale reinforcement learning and graph-based policies -- surprisingly without any additional complexity -- is an effective recipe for training agents that not only generalize to complex unseen blueprints in a zero-shot manner, but even operate in a reset-free setting without being trained to do so. Through extensive experiments, we highlight the importance of large-scale training, structured representations, contributions of multi-task vs. single-task learning, as well as the effects of curriculums, and discuss qualitative behaviors of trained agents.

preprint2022arXiv

Discretizing $L_p$ norms and frame theory

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.

preprint2022arXiv

Shrinking Schauder Frames and their Associated Bases

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.

preprint2022arXiv

Stable phase retrieval for infinite dimensional subspaces of $L_2(\mathbb{R})$

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.

preprint2020arXiv

A Schauder basis for $L_2$ consisting of non-negative functions

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.

preprint2020arXiv

Banach spaces for which the space of operators has $2^{\mathfrak c}$ closed ideals

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$ .

preprint2020arXiv

The cardinality of the sublattice of closed ideals of operators between certain classical sequence spaces

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.

preprint2015arXiv

Classes of operators determined by ordinal indices

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.

preprint2015arXiv

Weaving Schauder frames

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.

preprint2014arXiv

The stabilized set of $p$ 's in Krivine's theorem can be disconnected

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$ .

preprint2013arXiv

Uniformly factoring weakly compact operators

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.

preprint2012arXiv

Moving finite unit tight frames for $S^n$

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.

preprint2012arXiv

Upper and lower estimates for schauder frames and atomic decompositions

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.

preprint2010arXiv

The universality of $\ell_1$ as a dual space

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Daniel Freeman

Research overview

Is this your work?

16 publications

Maximal inequalities, frames and greedy algorithms

Bi-Manual Manipulation and Attachment via Sim-to-Real Reinforcement Learning

Blocks Assemble! Learning to Assemble with Large-Scale Structured Reinforcement Learning

Discretizing $L_p$ norms and frame theory

Shrinking Schauder Frames and their Associated Bases

Stable phase retrieval for infinite dimensional subspaces of $L_2(\mathbb{R})$

A Schauder basis for $L_2$ consisting of non-negative functions

Banach spaces for which the space of operators has $2^{\mathfrak c}$ closed ideals

The cardinality of the sublattice of closed ideals of operators between certain classical sequence spaces

Classes of operators determined by ordinal indices

Weaving Schauder frames

The stabilized set of $p$ 's in Krivine's theorem can be disconnected

Uniformly factoring weakly compact operators

Moving finite unit tight frames for $S^n$

Upper and lower estimates for schauder frames and atomic decompositions

The universality of $\ell_1$ as a dual space

See the researcher in context

Building this map preview

Daniel Freeman

Research overview

Is this your work?

16 publications

Maximal inequalities, frames and greedy algorithms

Bi-Manual Manipulation and Attachment via Sim-to-Real Reinforcement Learning

Blocks Assemble! Learning to Assemble with Large-Scale Structured Reinforcement Learning

Discretizing LpL_pLp​ norms and frame theory

Shrinking Schauder Frames and their Associated Bases

Stable phase retrieval for infinite dimensional subspaces of L2(R)L_2(\mathbb{R})L2​(R)

A Schauder basis for L2L_2L2​ consisting of non-negative functions

Banach spaces for which the space of operators has 2c2^{\mathfrak c}2c closed ideals

The cardinality of the sublattice of closed ideals of operators between certain classical sequence spaces

Classes of operators determined by ordinal indices

Weaving Schauder frames

The stabilized set of ppp's in Krivine's theorem can be disconnected

Uniformly factoring weakly compact operators

Moving finite unit tight frames for SnS^nSn

Upper and lower estimates for schauder frames and atomic decompositions

The universality of ℓ1\ell_1ℓ1​ as a dual space

See the researcher in context

Building this map preview

Discretizing $L_p$ norms and frame theory

Stable phase retrieval for infinite dimensional subspaces of $L_2(\mathbb{R})$

A Schauder basis for $L_2$ consisting of non-negative functions

Banach spaces for which the space of operators has $2^{\mathfrak c}$ closed ideals

The stabilized set of $p$ 's in Krivine's theorem can be disconnected

Moving finite unit tight frames for $S^n$

The universality of $\ell_1$ as a dual space