arXiv subjects

Ryan Broderick

Publications and source records attributed to Ryan Broderick.

12 recordsLinked to original sources

arXiv2026

In vivo feasibility study of humanoid robots in surgery

Recent advances in actuation, control and learning have rapidly pushed humanoid robots from a distant vision towards near-term real-world deployment. Healthcare is a particularly pressing domain, in which staffing shortages and increasing care demand are widening the gap between clinical workload and available skilled labour. Although current automation has largely focused on digital and logistical tasks, much hospital work remains embodied, requiring mobility, manipulation and safe interaction in human-designed environments. Humanoid form factors offer unique potential, particularly for assisting with surgical tasks. Traditionally, robotic systems for surgery are purpose-built platforms such as Intuitive Surgical's da Vinci Surgical System, and it remains unclear how close current humanoid systems are to meeting the precision, control and safety requirements of minimally invasive surgery. Here we present a systematic evaluation of contemporary humanoid technology for laparoscopic surgical tasks. We develop a humanoid-based laparoscopic teleoperation framework using general-purpose instruments and assess its abilities through benchtop characterization, dry-laboratory user studies spanning diverse surgical experience levels and in vivo porcine studies. Across these evaluations, we quantify technical feasibility, task performance and clinical readiness relative to established surgical platforms. Together, our study provides an evidence-based assessment of current humanoid abilities and limitations for surgical applications, highlighting both their promise and key technical challenges that must be addressed before clinical deployment.

cs.RO↗

arXiv2018

Schmidt's game, fractals, and orbits of toral endomorphisms

Given an integer nonsingular $n\times n$ matrix $M$ and a point $y \in \mathbb{R}^n/\mathbb{Z}^n$, consider the set $\tilde E(M,y)$ of vectors $x\in \mathbb{R}^n$ such that $y$ is not a limit point of the sequence $\{M^k x \mod \mathbb{Z}^n: k\in\mathbb{N}\}$. S.G. Dani showed in 1988 that whenever $M$ is semisimple and $y \in \mathbb{Q}^n/\mathbb{Z}^n$, the set $\tilde E(M,y)$ has full Hausdorff dimension. In this paper we strengthen this result, extending it to arbitrary $y \in \mathbb{R}^n/\mathbb{Z}^n$ and integer nonsingular $M$, and in fact replacing the sequence of powers of $M$ by any lacunary sequence of (not necessarily integer) $m\times n$ matrices. Furthermore, we show that sets of the form $\tilde E(M,y)$ and their generalizations always intersect with `sufficiently regular' fractal subsets of $\mathbb{R}^n$. As an application we give an alternative proof of a recent result of Einsiedler and Tseng on badly approximable systems of affine forms.

math.DS↗

arXiv2018

Schmidt's game, fractals, and numbers normal to no base

Given $b > 1$ and $y \in \mathbb{R}/\mathbb{Z}$, we consider the set of $x\in \mathbb{R}$ such that $y$ is not a limit point of the sequence $\{b^n x \bmod 1: n\in\mathbb{N}\}$. Such sets are known to have full Hausdorff dimension, and in many cases have been shown to have a stronger property of being winning in the sense of Schmidt. In this paper, by utilizing Schmidt games, we prove that these sets and their bi-Lipschitz images must intersect with `sufficiently regular' fractals $K\subset \mathbb{R}$ (that is, supporting measures $μ$ satisfying certain decay conditions). Furthermore, the intersection has full dimension in $K$ if $μ$ satisfies a power law (this holds for example if $K$ is the middle third Cantor set). Thus it follows that the set of numbers in the middle third Cantor set which are normal to no base has dimension $\log2/\log3$.

math.DS↗

arXiv2018

Attractors of sequences of iterated function systems

If $F$ and $G$ are iterated function systems, then any infinite word $W$ in the symbols $F$ and $G$ induces a limit set. It is natural to ask whether this Cantor set can also be realized as the limit set of a single $C^{1 + α}$ iterated function system $H$. We prove that under certain assumptions on $F$, $G$ and $H$, the answer is no. This problem is motivated by the spectral theory of one-dimensional quasicrystals.

math.DS↗

arXiv2017

Quantitative results using variants of Schmidt's game: Dimension bounds, arithmetic progressions, and more

Schmidt's game is generally used to deduce qualitative information about the Hausdorff dimensions of fractal sets and their intersections. However, one can also ask about quantitative versions of the properties of winning sets. In this paper we show that such quantitative information has applications to various questions including: * What is the maximal length of an arithmetic progression on the "middle $ε$" Cantor set? * What is the smallest $n$ such that there is some element of the ternary Cantor set whose continued fraction partial quotients are all $\leq n$? * What is the Hausdorff dimension of the set of $ε$-badly approximable numbers on the Cantor set? We show that a variant of Schmidt's game known as the $potential$ $game$ is capable of providing better bounds on the answers to these questions than the classical Schmidt's game. We also use the potential game to provide a new proof of an important lemma in the classical proof of the existence of Hall's Ray.

math.MG↗

arXiv2016

Finite orbits in random subshifts of finite type

For each $n, d \in \mathbb{N}$ and $0 < α< 1$, we define a random subset of $\mathcal{A}^{\{1, 2, \dots, n\}^d}$ by independently including each element with probability $α$ and excluding it with probability $1-α$, and consider the associated random subshift of finite type. Extending results of McGoff and of McGoff and Pavlov, we prove there exists $α_0 = α(d, |\mathcal{A}|) > 0$ such that for $α< α_0$ and with probability tending to $1$ as $n \to \infty$, this random subshift will contain only finitely many elements. In the case $d = 1$, we obtain the best possible such $α_0$, $1/|\mathcal{A}|$.

math.DS↗

arXiv2016

Decaying and non-decaying badly approximable numbers

We call a badly approximable number $decaying$ if, roughly, the Lagrange constants of integer multiples of that number decay as fast as possible. In this terminology, a question of Y. Bugeaud ('15) asks to find the Hausdorff dimension of the set of decaying badly approximable numbers, and also of the set of badly approximable numbers which are not decaying. We answer both questions, showing that the Hausdorff dimensions of both sets are equal to one. Part of our proof utilizes a game which combines the Banach--Mazur game and Schmidt's game, first introduced in Fishman, Reams, and Simmons (preprint '15).

math.NT↗

arXiv2015

Dimension estimates for sets of uniformly badly approximable systems of linear forms

The set of badly approximable $m \times n $ matrices is known to have Hausdorff dimension $mn $. Each such matrix comes with its own approximation constant $c$, and one can ask for the dimension of the set of badly approximable matrices with approximation constant greater than or equal to some fixed $c$. In the one-dimensional case, a very precise answer to this question is known. In this note, we obtain upper and lower bounds in higher dimensions.

math.NT↗

arXiv2014

Complexity and directional entropy in two dimensions

We study the directional entropy of the dynamical system associated to a $\Z^2$ configuration in a finite alphabet. We show that under local assumptions on the complexity, either every direction has zero topological entropy or some direction is periodic. In particular, we show that all nonexpansive directions in a $\Z^2$ system with the same local assumptions have zero directional entropy.

math.DS↗

arXiv2012

Badly Approximable Systems of Affine Forms and Incompressibility on Fractals

We explore and refine techniques for estimating the Hausdorff dimension of exceptional sets and their diffeomorphic images. Specifically, we use a variant of Schmidt's game to deduce the strong C^1 incompressibility of the set of badly approximable systems of linear forms as well as of the set of vectors which are badly approximable with respect to a fixed system of linear forms.

math.NT↗

arXiv2011

Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler

In 1984, Kurt Mahler posed the following fundamental question: How well can irrationals in the Cantor set be approximated by rationals in the Cantor set? Towards development of such a theory, we prove a Dirichlet-type theorem for this intrinsic diophantine approximation on Cantor-like sets, and discuss related possible theorems/conjectures. The resulting approximation function is analogous to that for R^d, but with d being the Hausdorff dimension of the set, and logarithmic dependence on the denominator instead.

math.NT↗

arXiv2011

The set of badly approximable vectors is strongly $C^1$ incompressible

We prove that the countable intersection of $C^1$-diffeomorphic images of certain Diophantine sets has full Hausdorff dimension. For example, we show this for the set of badly approximable vectors in $\mathbb{R}^d$, improving earlier results of Schmidt and Dani. To prove this, inspired by ideas of McMullen, we define a new variant of Schmidt's $(α, β)$-game and show that our sets are hyperplane absolute winning (HAW), which in particular implies winning in the original game. The HAW property passes automatically to games played on certain fractals, thus our sets intersect a large class of fractals in a set of positive dimension. This extends earlier results of Fishman to a more general set-up, with simpler proofs.

math.NT↗