Researcher profile

Daniel Freeman

Daniel Freeman contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

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.