Source author record

Clayton Shonkwiler

Clayton Shonkwiler appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

11 published item(s)

preprint2026arXiv

A Land of Oblique Duality for Frames and Probabilistic Frames

Functions or distributions used to sample and to reconstruct signals often occur in different domains, like the Dirac delta and a band-limited bump function in classical sampling. Oblique dual frames generalize this phenomenon. In this paper, we provide new tools to study oblique dual frames and introduce a probabilistic variant of oblique dual frames. We first present the oblique dual frame potential and show that it is minimized precisely when the oblique dual coincides with the canonical oblique dual. We then define oblique dual probabilistic frames and oblique approximately dual probabilistic frames. In particular, we prove that for a given oblique dual probabilistic frame, the associated oblique dual probabilistic frame potential is minimized if and only if the frame is tight and the oblique dual is canonical. Moreover, the tightness assumption can be removed when the minimization is restricted to oblique dual probabilistic frames of pushforward type. Finally, we investigate perturbations of oblique dual probabilistic frames and show that if a probability measure is sufficiently close to an oblique dual probabilistic frame pair in the $2$-Wasserstein topology, then it forms an oblique approximately dual probabilistic frame.

preprint2022arXiv

Admissibility and Frame Homotopy for Quaternionic Frames

We consider the following questions: when do there exist quaternionic frames with given frame spectrum and given frame vector norms? When such frames exist, is it always possible to interpolate between any two while fixing their spectra and norms? In other words, the first question is the admissibility question for quaternionic frames and the second is a generalization of the frame homotopy conjecture. We give complete answers to both questions. For the first question, the existence criterion is exactly the same as in the real and complex cases. For the second, the non-empty spaces of quaternionic frames with specified frame spectrum and frame vector norms are always path-connected, just as in the complex case. Our strategy for proving these results is based on interpreting equivalence classes of frames with given frame spectrum as adjoint orbits, which is an approach that is also well-suited to the study of real and complex frames.

preprint2022arXiv

Random graph embeddings with general edge potentials

In this paper, we study random embeddings of polymer networks distributed according to any potential energy which can be expressed in terms of distances between pairs of monomers. This includes freely jointed chains, steric effects, Lennard-Jones potentials, bending energies, and other physically realistic models. A configuration of $n$ monomers in $\mathbb{R}^d$ can be written as a collection of $d$ coordinate vectors, each in $\mathbb{R}^n$. Our first main result is that entries from different coordinate vectors are uncorrelated, even when they are different coordinates of the same monomer. We predict that this property holds in realistic simulations and in actual polymer configurations (in the absence of an external field). Our second main contribution is a theorem explaining when and how a probability distribution on embeddings of a complicated graph may be pushed forward to a distribution on embeddings of a simpler graph to aid in computations. This construction is based on the idea of chain maps in homology theory. We use it to give a new formula for edge covariances in phantom network theory and to compute some expectations for a freely-jointed network.

preprint2022arXiv

Toric Symplectic Geometry and Full Spark Frames

The collection of $d \times N$ complex matrices with prescribed column norms and prescribed (nonzero) singular values forms a compact algebraic variety, which we refer to as a frame space. Elements of frame spaces -- i.e., frames -- are used to give robust representations of complex-valued signals, so that geometrical and measure-theoretic properties of frame spaces are of interest to the signal processing community. This paper is concerned with the following question: what is the probability that a frame drawn uniformly at random from a given frame space has the property that any subset of $d$ of its columns gives a basis for $\mathbb{C}^d$? We show that the probability is one, generalizing recent work of Cahill, Mixon and Strawn. To prove this, we first show that frame spaces are related to highly structured objects called toric symplectic manifolds. This relationship elucidates the geometric meaning of eigensteps -- certain spectral invariants of a frame -- and should be a more broadly applicable tool for studying probabilistic questions about the structure of frame spaces. As another application of our symplectic perspective, we completely characterize the norm and spectral data for which the corresponding frame space has singularities, answering some open questions in the frame theory literature.

preprint2021arXiv

All Prime Knots Through 10 Crossings Have Superbridge Index $\leq 5$

This paper gives new upper bounds on the stick numbers of the knots $9_{18}$, $10_{18}$, $10_{58}$, $10_{66}$, $10_{68}$, $10_{80}$, $10_{82}$, $10_{84}$, $10_{93}$, $10_{100}$, and $10_{152}$, as well as on the equilateral stick number of $10_{79}$. These bounds imply that the knots $10_{58}$, $10_{66}$, and $10_{80}$ have superbridge index $\leq 5$, completing the project of showing that no prime knots through 10 crossings can have superbridge index larger than 5. The current best bounds on stick number and superbridge index for prime knots through 10 crossings are given in Appendix A.

preprint2019arXiv

A fractal dimension for measures via persistent homology

We use persistent homology in order to define a family of fractal dimensions, denoted $\mathrm{dim}_{\mathrm{PH}}^i(μ)$ for each homological dimension $i\ge 0$, assigned to a probability measure $μ$ on a metric space. The case of $0$-dimensional homology ($i=0$) relates to work by Michael J Steele (1988) studying the total length of a minimal spanning tree on a random sampling of points. Indeed, if $μ$ is supported on a compact subset of Euclidean space $\mathbb{R}^m$ for $m\ge2$, then Steele's work implies that $\mathrm{dim}_{\mathrm{PH}}^0(μ)=m$ if the absolutely continuous part of $μ$ has positive mass, and otherwise $\mathrm{dim}_{\mathrm{PH}}^0(μ)<m$. Experiments suggest that similar results may be true for higher-dimensional homology $0<i<m$, though this is an open question. Our fractal dimension is defined by considering a limit, as the number of points $n$ goes to infinity, of the total sum of the $i$-dimensional persistent homology interval lengths for $n$ random points selected from $μ$ in an i.i.d. fashion. To some measures $μ,$ we are able to assign a finer invariant, a curve measuring the limiting distribution of persistent homology interval lengths as the number of points goes to infinity. We prove this limiting curve exists in the case of $0$-dimensional homology when $μ$ is the uniform distribution over the unit interval, and conjecture that it exists when $μ$ is the rescaled probability measure for a compact set in Euclidean space with positive Lebesgue measure.

preprint2019arXiv

New Stick Number Bounds from Random Sampling of Confined Polygons

The stick number of a knot is the minimum number of segments needed to build a polygonal version of the knot. Despite its elementary definition and relevance to physical knots, the stick number is poorly understood: for most knots we only know bounds on the stick number. We adopt a Monte Carlo approach to finding better bounds, producing very large ensembles of random polygons in tight confinement to look for new examples of knots constructed from few segments. We generated a total of 220 billion random polygons, yielding either the exact stick number or an improved upper bound for more than 40% of the knots with 10 or fewer crossings for which the stick number was not previously known. We summarize the current state of the art in Appendix A, which gives the best known bounds on stick number for all knots up to 10 crossings.

preprint2016arXiv

The symplectic geometry of closed equilateral random walks in 3-space

A closed equilateral random walk in 3-space is a selection of unit length vectors giving the steps of the walk conditioned on the assumption that the sum of the vectors is zero. The sample space of such walks with $n$ edges is the $(2n-3)$-dimensional Riemannian manifold of equilateral closed polygons in $\mathbb{R}^3$. We study closed random walks using the symplectic geometry of the $(2n-6)$-dimensional quotient of the manifold of polygons by the action of the rotation group $\operatorname {SO}(3)$. The basic objects of study are the moment maps on equilateral random polygon space given by the lengths of any $(n-3)$-tuple of nonintersecting diagonals. The Atiyah-Guillemin-Sternberg theorem shows that the image of such a moment map is a convex polytope in $(n-3)$-dimensional space, while the Duistermaat-Heckman theorem shows that the pushforward measure on this polytope is Lebesgue measure on $\mathbb{R}^{n-3}$. Together, these theorems allow us to define a measure-preserving set of "action-angle" coordinates on the space of closed equilateral polygons. The new coordinate system allows us to make explicit computations of exact expectations for total curvature and for some chord lengths of closed (and confined) equilateral random walks, to give statistical criteria for sampling algorithms on the space of polygons and to prove that the probability that a randomly chosen equilateral hexagon is unknotted is at least $\frac{1}{2}$. We then use our methods to construct a new Markov chain sampling algorithm for equilateral closed polygons, with a simple modification to sample (rooted) confined equilateral closed polygons. We prove rigorously that our algorithm converges geometrically to the standard measure on the space of closed random walks, give a theory of error estimators for Markov chain Monte Carlo integration using our method and analyze the performance of our method. Our methods also apply to open random walks in certain types of confinement, and in general to walks with arbitrary (fixed) edgelengths as well as equilateral walks.

preprint2014arXiv

Homotopy Brunnian links and the $κ$-invariant

We provide an alternative proof that Koschorke's $κ$-invariant is injective on the set of link homotopy classes of $n$-component homotopy Brunnian links $BLM(n)$. The existing proof (by Koschorke \cite{Koschorke97}) is based on the Pontryagin--Thom theory of framed cobordisms, whereas ours is closer in spirit to techniques based on Habegger and Lin's string links. We frame the result in the language of Fox's torus homotopy groups and the rational homotopy Lie algebra of the configuration space $\text{Conf}(n)$ of $n$ points in $\mathbb{R}^3$. It allows us to express the relevant Milnor's $μ$--invariants as homotopy periods of $\text{Conf}(n)$.

preprint2011arXiv

Pontryagin invariants and integral formulas for Milnor's triple linking number

To each three-component link in the 3-sphere, we associate a geometrically natural characteristic map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its characteristic map up to homotopy. This can be viewed as a natural extension of the familiar fact that the linking number of a two-component link in 3-space is the degree of its associated Gauss map from the 2-torus to the 2-sphere. When the pairwise linking numbers are all zero, we give an integral formula for the triple linking number analogous to the Gauss integral for the pairwise linking numbers. The integrand in this formula is geometrically natural in the sense that it is invariant under orientation-preserving rigid motions of the 3-sphere, while the integral itself can be viewed as the helicity of a related vector field on the 3-torus.