-
Fully Relativistic Derivation of the Thermal Sunyaev-Zel'dovich Effect
Authors:
Balša Terzić,
Geoffrey A. Krafft,
William Clark,
Alexandre Deur,
Emerson Rogers,
Brandon Velasco
Abstract:
We present the first fully and inherently relativistic derivation of the thermal Sunyaev-Zel'dovich effect. This work uses the formalism historically used to compute radiation spectra emerging from inverse Thomson/Compton sources of x-ray radiation. Comparing our results to the traditional approach based on relativistically-corrected classical Kompaneets equation, we find small, but systematic dif…
▽ More
We present the first fully and inherently relativistic derivation of the thermal Sunyaev-Zel'dovich effect. This work uses the formalism historically used to compute radiation spectra emerging from inverse Thomson/Compton sources of x-ray radiation. Comparing our results to the traditional approach based on relativistically-corrected classical Kompaneets equation, we find small, but systematic differences. Most notable are the modest (< 10 %) differences in the crossover frequency where the spectral distortion due to the Sunyaev-Zel'dovich effect vanishes, and the energy increase of the distribution at high electron cloud temperatures.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Deep Learning for Low-Latency, Quantum-Ready RF Sensing
Authors:
Pranav Gokhale,
Caitlin Carnahan,
William Clark,
Frederic T. Chong
Abstract:
Recent work has shown the promise of applying deep learning to enhance software processing of radio frequency (RF) signals. In parallel, hardware developments with quantum RF sensors based on Rydberg atoms are breaking longstanding barriers in frequency range, resolution, and sensitivity. In this paper, we describe our implementations of quantum-ready machine learning approaches for RF signal clas…
▽ More
Recent work has shown the promise of applying deep learning to enhance software processing of radio frequency (RF) signals. In parallel, hardware developments with quantum RF sensors based on Rydberg atoms are breaking longstanding barriers in frequency range, resolution, and sensitivity. In this paper, we describe our implementations of quantum-ready machine learning approaches for RF signal classification. Our primary objective is latency: while deep learning offers a more powerful computational paradigm, it also traditionally incurs latency overheads that hinder wider scale deployment. Our work spans three axes. (1) A novel continuous wavelet transform (CWT) based recurrent neural network (RNN) architecture that enables flexible online classification of RF signals on-the-fly with reduced sampling time. (2) Low-latency inference techniques for both GPU and CPU that span over 100x reductions in inference time, enabling real-time operation with sub-millisecond inference. (3) Quantum-readiness validated through application of our models to physics-based simulation of Rydberg atom QRF sensors. Altogether, our work bridges towards next-generation RF sensors that use quantum technology to surpass previous physical limits, paired with latency-optimized AI/ML software that is suitable for real-time deployment.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Analyzing whale calling through Hawkes process modeling
Authors:
Bokgyeong Kang,
Erin M. Schliep,
Alan E. Gelfand,
Tina M. Yack,
Christopher W. Clark,
Robert S. Schick
Abstract:
Sound is assumed to be the primary modality of communication among marine mammal species. Analyzing acoustic recordings helps to understand the function of the acoustic signals as well as the possible impact of anthropogenic noise on acoustic behavior. Motivated by a dataset from a network of hydrophones in Cape Cod Bay, Massachusetts, utilizing automatically detected calls in recordings, we study…
▽ More
Sound is assumed to be the primary modality of communication among marine mammal species. Analyzing acoustic recordings helps to understand the function of the acoustic signals as well as the possible impact of anthropogenic noise on acoustic behavior. Motivated by a dataset from a network of hydrophones in Cape Cod Bay, Massachusetts, utilizing automatically detected calls in recordings, we study the communication process of the endangered North Atlantic right whale. For right whales an "up-call" is known as a contact call, and ensuing counter-calling between individuals is presumed to facilitate group cohesion. We present novel spatiotemporal excitement modeling consisting of a background process and a counter-call process. The background process intensity incorporates the influences of diel patterns and ambient noise on occurrence. The counter-call intensity captures potential excitement, that calling elicits calling behavior. Call incidence is found to be clustered in space and time; a call seems to excite more calls nearer to it in time and space. We find evidence that whales make more calls during twilight hours, respond to other whales nearby, and are likely to remain quiet in the presence of increased ambient noise.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Automatic Modulation Classification using a Waveform Signature
Authors:
William H. Clark IV,
Joseph M. Ernst,
Robert W. McGwier
Abstract:
Cognitive Radios (CRs) build upon Software Defined Radios (SDRs) to allow for autonomous reconfiguration of communication architectures. In recent years, CRs have been identified as an enabler for Dynamic Spectrum Access (DSA) applications in which secondary users opportunistically share licensed spectrum. A major challenge for DSA is accurately characterizing the spectral environment, which requi…
▽ More
Cognitive Radios (CRs) build upon Software Defined Radios (SDRs) to allow for autonomous reconfiguration of communication architectures. In recent years, CRs have been identified as an enabler for Dynamic Spectrum Access (DSA) applications in which secondary users opportunistically share licensed spectrum. A major challenge for DSA is accurately characterizing the spectral environment, which requires blind signal classification. Existing work in this area has focused on simplistic channel models; however, more challenging fading channels (e.g., frequency selective fading channels) cause existing methods to be computationally complex or insufficient. This paper develops a novel blind modulation classification algorithm, which uses a set of higher order statistics to overcome these challenges. The set of statistics forms a signature, which can either be used directly for classification or can be processed using big data analytical techniques, such as principle component analysis (PCA), to learn the environment. The algorithm is tested in simulation on both flat fading and selective fading channel models. Results of this blind classification algorithm are shown to improve upon those which use single value higher order statistical methods.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Small-angle scattering interferometry with neutron orbital angular momentum states
Authors:
Dusan Sarenac,
Melissa E. Henderson,
Huseyin Ekinci,
Charles W. Clark,
David G. Cory,
Lisa DeBeer-Schmitt,
Michael G. Huber,
Owen Lailey,
Jonathan S. White,
Kirill Zhernenkov,
Dmitry A. Pushin
Abstract:
Access to the neutron orbital degree of freedom has been enabled by the recent actualization of methods to prepare and characterize neutron helical waves carrying orbital angular momentum (OAM) at small-angle neutron scattering (SANS) facilities. This provides new avenues of exploration in fundamental science experiments as well as in material characterization applications. However, it remains a c…
▽ More
Access to the neutron orbital degree of freedom has been enabled by the recent actualization of methods to prepare and characterize neutron helical waves carrying orbital angular momentum (OAM) at small-angle neutron scattering (SANS) facilities. This provides new avenues of exploration in fundamental science experiments as well as in material characterization applications. However, it remains a challenge to recover phase profiles from SANS measurements. We introduce and demonstrate a novel neutron interferometry technique for extracting phase information that is typically lost in SANS measurements. An array of reference beams, with complementary structured phase profiles, are put into a coherent superposition with the array of object beams, thereby manifesting the phase information in the far-field intensity profile. We demonstrate this by resolving petal-structure signatures of helical wave interference for the first time: an implementation of the long-sought recovery of phase information from small-angle scattering measurements.
△ Less
Submitted 31 March, 2024;
originally announced April 2024.
-
Optimal Control of Reduced Left-Invariant Hybrid Control Systems
Authors:
William Clark,
Maria Oprea
Abstract:
Optimal control is ubiquitous in many fields of engineering. A common technique to find candidate solutions is via Pontryagin's maximum principle. An unfortunate aspect of this method is that the dimension of system doubles. When the system evolves on a Lie group and the system is invariant under left (or right) translations, Lie-Poisson reduction can be applied to eliminate half of the dimensions…
▽ More
Optimal control is ubiquitous in many fields of engineering. A common technique to find candidate solutions is via Pontryagin's maximum principle. An unfortunate aspect of this method is that the dimension of system doubles. When the system evolves on a Lie group and the system is invariant under left (or right) translations, Lie-Poisson reduction can be applied to eliminate half of the dimensions (and returning the dimension of the problem to the back to the original number).
Hybrid control systems are an extension of (continuous) control systems by allowing for sudden changes to the state. Examples of such systems include the bouncing ball - the velocity instantaneously jumps during a bounce, the thermostat - controls switch to on or off, and a sailboat undergoing tacking. The goal of this work is to extend the idea of Lie-Poisson reduction to the optimal control of these systems. If $n$ is the dimension of the original system, $2n$ is the dimension of the system produced by the maximum principle. In the case of classical Lie-Poisson reduction, the dimension drops back down to $n$. This, unfortunately, is impossible in hybrid systems as there must be an auxiliary variable encoding whether or not an event occurs. As such, the analogous hybrid Lie-Poisson reduction results in a $n+1$ dimensional system. The purpose of this work is to develop and present this technique.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
The Interplay Between Symmetries and Impact Effects on Hybrid Mechanical Systems
Authors:
William Clark,
Leonardo Colombo,
Anthony Bloch
Abstract:
Hybrid systems are dynamical systems with continuous-time and discrete-time components in their dynamics. When hybrid systems are defined on a principal bundle we are able to define two classes of impacts for the discrete-time transition of the dynamics: interior impacts and exterior impacts. In this paper we define hybrid systems on principal bundles, study the underlying geometry on the switchin…
▽ More
Hybrid systems are dynamical systems with continuous-time and discrete-time components in their dynamics. When hybrid systems are defined on a principal bundle we are able to define two classes of impacts for the discrete-time transition of the dynamics: interior impacts and exterior impacts. In this paper we define hybrid systems on principal bundles, study the underlying geometry on the switching surface where impacts occur and we find conditions for which both exterior and interior impacts are preserved by the mechanical connection induced in the principal bundle.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Optimal Control of Hybrid Systems with Submersive Resets
Authors:
William Clark,
Maria Oprea,
Aden Shaw
Abstract:
Hybrid dynamical systems are systems which posses both continuous and discrete transitions. Assuming that the discrete transitions (resets) occur a finite number of times, the optimal control problem can be solved by gluing together the optimal arcs from the underlying continuous problem via the "Hamilton jump conditions." In most cases, it is assumed that the reset is a diffeomorphism (onto its i…
▽ More
Hybrid dynamical systems are systems which posses both continuous and discrete transitions. Assuming that the discrete transitions (resets) occur a finite number of times, the optimal control problem can be solved by gluing together the optimal arcs from the underlying continuous problem via the "Hamilton jump conditions." In most cases, it is assumed that the reset is a diffeomorphism (onto its image) and the corresponding Hamilton jump condition admits a unique solution. However, in many applications, the reset results in a drop in dimension and the corresponding Hamilton jump condition admits zero/infinitely many solutions. A geometric interpretation of this issue is explored in the case where the reset is a submersion (onto its image). Necessary conditions are presented for this case along with an accompanying numerical example.
△ Less
Submitted 19 March, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
Phase and contrast moiré signatures in two-dimensional cone beam interferometry
Authors:
D. Sarenac,
G. Gorbet,
Charles W. Clark,
D. G. Cory,
H. Ekinci,
M. E. Henderson,
M. G. Huber,
D. Hussey,
C. Kapahi,
P. A. Kienzle,
Y. Kim,
M. A. Long,
J. D. Parker,
T. Shinohara,
F. Song,
D. A. Pushin
Abstract:
Neutron interferometry has played a distinctive role in fundamental science and characterization of materials. Moiré neutron interferometers are candidate next-generation instruments: they offer microscopy-like magnification of the signal, enabling direct camera recording of interference patterns across the full neutron wavelength spectrum. Here we demonstrate the extension of phase-grating moiré…
▽ More
Neutron interferometry has played a distinctive role in fundamental science and characterization of materials. Moiré neutron interferometers are candidate next-generation instruments: they offer microscopy-like magnification of the signal, enabling direct camera recording of interference patterns across the full neutron wavelength spectrum. Here we demonstrate the extension of phase-grating moiré interferometry to two-dimensional geometries. Our fork-dislocation phase gratings reveal phase singularities in the moiré pattern, and we explore orthogonal moiré patterns with two-dimensional phase-gratings. Our measurements of phase topologies and gravitationally induced phase shifts are in good agreement with theory. These techniques can be implemented in existing neutron instruments to advance interferometric analyses of emerging materials and precision measurements of fundamental constants.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
Assessing Marine Mammal Abundance: A Novel Data Fusion
Authors:
Erin M. Schliep,
Alan E. Gelfand,
Christopher W. Clark,
Charles M. Mayo,
Brigid McKenna,
Susan E. Parks,
Tina M. Yack,
Robert S. Schick
Abstract:
Marine mammals are increasingly vulnerable to human disturbance and climate change. Their diving behavior leads to limited visual access during data collection, making studying the abundance and distribution of marine mammals challenging. In theory, using data from more than one observation modality should lead to better informed predictions of abundance and distribution. With focus on North Atlan…
▽ More
Marine mammals are increasingly vulnerable to human disturbance and climate change. Their diving behavior leads to limited visual access during data collection, making studying the abundance and distribution of marine mammals challenging. In theory, using data from more than one observation modality should lead to better informed predictions of abundance and distribution. With focus on North Atlantic right whales, we consider the fusion of two data sources to inform about their abundance and distribution. The first source is aerial distance sampling which provides the spatial locations of whales detected in the region. The second source is passive acoustic monitoring (PAM), returning calls received at hydrophones placed on the ocean floor. Due to limited time on the surface and detection limitations arising from sampling effort, aerial distance sampling only provides a partial realization of locations. With PAM, we never observe numbers or locations of individuals. To address these challenges, we develop a novel thinned point pattern data fusion. Our approach leads to improved inference regarding abundance and distribution of North Atlantic right whales throughout Cape Cod Bay, Massachusetts in the US. We demonstrate performance gains of our approach compared to that from a single source through both simulation and real data.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Loading atoms from a large magnetic trap to a small intra-cavity dipole trap
Authors:
D. Varga,
B. Gábor,
B. Sárközi,
K. V. Adwaith,
D. Nagy,
A. Dombi,
T. W. Clark,
F. I. B. Williams,
P. Domokos,
A. Vukics
Abstract:
We show that an optimized loading of a cold ensemble of rubidium-87 atoms from a magnetic trap into an optical dipole trap sustained by a single, far-red-detuned mode of a high-Q optical cavity can be efficient despite the large volume mismatch of the traps. The magnetically trapped atoms are magnetically transported to the vicinity of the cavity mode and released from the magnetic trap in a contr…
▽ More
We show that an optimized loading of a cold ensemble of rubidium-87 atoms from a magnetic trap into an optical dipole trap sustained by a single, far-red-detuned mode of a high-Q optical cavity can be efficient despite the large volume mismatch of the traps. The magnetically trapped atoms are magnetically transported to the vicinity of the cavity mode and released from the magnetic trap in a controlled way meanwhile undergoing an evaporation period. Large number of atoms get trapped in the dipole potential for several hundreds of milliseconds. We monitor the number of atoms in the mode volume by a second tone of the cavity close to the atomic resonance. While this probe tone can pump atoms to another ground state uncoupled to the probe, we demonstrate state-independent trap** by applying a repumper laser.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
A Study of the Long-Term Behavior of Hybrid Systems with Symmetries via Reduction and the Frobenius-Perron Operator
Authors:
Maria Oprea,
Aden Shaw,
Robi Huq,
Kaito Iwasaki,
Dora Kassabova,
W. Clark
Abstract:
Hybrid dynamical systems are systems which undergo both continuous and discrete transitions. As typical in dynamical analysis, an essential goal is to study the long-term behavior of these systems. In this work, we present two different novel approaches for studying these systems. The first approach is based on constructing an analog of the Frobenius-Perron (transport) operator for hybrid systems.…
▽ More
Hybrid dynamical systems are systems which undergo both continuous and discrete transitions. As typical in dynamical analysis, an essential goal is to study the long-term behavior of these systems. In this work, we present two different novel approaches for studying these systems. The first approach is based on constructing an analog of the Frobenius-Perron (transport) operator for hybrid systems. Rather than tracking the evolution of a single trajectory, this operator encodes the asymptotic nature of an ensemble of trajectories. The second approach presented applies to an important subclass of hybrid systems, mechanical impact systems. We develop an analog of Lie-Poisson(-Suslov) reduction for left-invariant impact systems on Lie groups. In addition to the Hamiltonian (and constraints) being left-invariant, the impact surface must also be a right coset of a normal subgroup. This procedure allows a reduction from a $2n$-dimensional system to an $(n+1)$-dimensional one. We conclude the paper by presenting numerical results on a diverse array of applications.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Cone beam neutron interferometry: from modeling to applications
Authors:
D. Sarenac,
G. Gorbet,
C. Kapahi,
Charles W. Clark,
D. G. Cory,
H. Ekinci,
S. Fangzhou,
M. E. Henderson,
M. G. Huber,
D. Hussey,
P. A. Kienzle,
R. Serrat,
J. D. Parker,
T. Shinohara,
D. A. Pushin
Abstract:
Phase-grating moire interferometers (PGMIs) have emerged as promising candidates for the next generation of neutron interferometry, enabling the use of a polychromatic beam and manifesting interference patterns that can be directly imaged by existing neutron cameras. However, the modeling of the various PGMI configurations is limited to cumbersome numerical calculations and backward propagation mo…
▽ More
Phase-grating moire interferometers (PGMIs) have emerged as promising candidates for the next generation of neutron interferometry, enabling the use of a polychromatic beam and manifesting interference patterns that can be directly imaged by existing neutron cameras. However, the modeling of the various PGMI configurations is limited to cumbersome numerical calculations and backward propagation models which often do not enable one to explore the setup parameters. Here we generalize the Fresnel scaling theorem to introduce a k-space model for PGMI setups illuminated by a cone beam, thus enabling an intuitive forward propagation model for a wide range of parameters. The interference manifested by a PGMI is shown to be a special case of the Talbot effect, and the optimal fringe visibility is shown to occur at the moire location of the Talbot distances. We derive analytical expressions for the contrast and the propagating intensity profiles in various conditions, and analyze the behaviour of the dark-field imaging signal when considering sample characterization. The model's predictions are compared to experimental measurements and good agreement is found between them. Lastly, we propose and experimentally verify a method to recover contrast at typically inaccessible PGMI autocorrelation lengths. The presented work provides a toolbox for analyzing and understanding existing PGMI setups and their future applications, for example extensions to two-dimensional PGMIs and characterization of samples with non-trivial structures.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
On kernels of descent statistics
Authors:
William L. Clark,
Yan Zhuang
Abstract:
The kernel $\mathcal{K}^{\operatorname{st}}$ of a descent statistic $\operatorname{st}$, introduced by Grinberg, is a subspace of the algebra $\operatorname{QSym}$ of quasisymmetric functions defined in terms of $\operatorname{st}$-equivalent compositions, and is an ideal of $\operatorname{QSym}$ if and only if $\operatorname{st}$ is shuffle-compatible. This paper continues the study of kernels of…
▽ More
The kernel $\mathcal{K}^{\operatorname{st}}$ of a descent statistic $\operatorname{st}$, introduced by Grinberg, is a subspace of the algebra $\operatorname{QSym}$ of quasisymmetric functions defined in terms of $\operatorname{st}$-equivalent compositions, and is an ideal of $\operatorname{QSym}$ if and only if $\operatorname{st}$ is shuffle-compatible. This paper continues the study of kernels of descent statistics, with emphasis on the peak set $\operatorname{Pk}$ and the peak number $\operatorname{pk}$. The kernel $\mathcal{K}^{\operatorname{Pk}}$ in particular is precisely the kernel of the canonical projection from $\operatorname{QSym}$ to Stembridge's algebra of peak quasisymmetric functions, and is the orthogonal complement of Nyman's peak algebra. We prove necessary and sufficient conditions for obtaining spanning sets and linear bases for the kernel $\mathcal{K}^{\operatorname{st}}$ of any descent statistic $\operatorname{st}$ in terms of fundamental quasisymmetric functions, and give characterizations of $\mathcal{K}^{\operatorname{Pk}}$ and $\mathcal{K}^{\operatorname{pk}}$ in terms of the fundamental basis and the monomial basis of $\operatorname{QSym}$. Our results imply that the peak set and peak number statistics are $M$-binomial, confirming a conjecture of Grinberg.
△ Less
Submitted 2 June, 2024; v1 submitted 27 June, 2023;
originally announced June 2023.
-
A unified quasiparticle approach to the theory of strongly correlated electron liquids
Authors:
V. A. Khodel,
J. W. Clark,
M. V. Zverev
Abstract:
Landau's quasiparticle formalism is generalized to describe a wide class of strongly correlated Fermi systems, in addition to conventional Fermi liquids. This class includes (i) so-called marginal exemplars and (ii) systems that harbor interaction-driven flat bands, in both of which manifestations of non-Fermi-liquid behavior are well documented. Specifically, the advent of such flat bands is attr…
▽ More
Landau's quasiparticle formalism is generalized to describe a wide class of strongly correlated Fermi systems, in addition to conventional Fermi liquids. This class includes (i) so-called marginal exemplars and (ii) systems that harbor interaction-driven flat bands, in both of which manifestations of non-Fermi-liquid behavior are well documented. Specifically, the advent of such flat bands is attributed to a spontaneous topological rearrangement of the Landau state that supplements the conventional Landau quasiparticle picture with a different set of quasiparticles, the so-called fermion condensate, whose single-particle spectrum is dispersionless. The celebrated Landau-Luttinger theorem is extended to marginal Fermi liquids, in which the density of the augmented quasiparticle system is shown to coincide with the particle density. On the other hand, the total density of a system hosting an interaction-driven flat band turns out to be the sum of the densities of the two quasiparticle subsystems: the Landau-like component and the fermion condensate. We demonstrate that within the framework of the scenario proposed, a long-standing problem faced by theories of $D$-wave superconductivity in cuprates, namely a consistent explanation of the so-called Uemera plot, can be naturally resolved.
△ Less
Submitted 10 March, 2024; v1 submitted 30 May, 2023;
originally announced May 2023.
-
Predicting nuclear masses with product-unit networks
Authors:
Babette Dellen,
Uwe Jaekel,
Paulo S. A. Freitas,
John W. Clark
Abstract:
Accurate estimation of nuclear masses and their prediction beyond the experimentally explored domains of the nuclear landscape are crucial to an understanding of the fundamental origin of nuclear properties and to many applications of nuclear science, most notably in quantifying the $r$-process of stellar nucleosynthesis. Neural networks have been applied with some success to the prediction of nuc…
▽ More
Accurate estimation of nuclear masses and their prediction beyond the experimentally explored domains of the nuclear landscape are crucial to an understanding of the fundamental origin of nuclear properties and to many applications of nuclear science, most notably in quantifying the $r$-process of stellar nucleosynthesis. Neural networks have been applied with some success to the prediction of nuclear masses, but they are known to have shortcomings in application to extrapolation tasks. In this work, we propose and explore a novel type of neural network for mass prediction in which the usual neuron-like processing units are replaced by complex-valued product units that permit multiplicative couplings of inputs to be learned from the input data. This generalized network model is tested on both interpolation and extrapolation data sets drawn from the Atomic Mass Evaluation. Its performance is compared with that of several neural-network architectures, substantiating its suitability for nuclear mass prediction. Additionally, a prediction-uncertainty measure for such complex-valued networks is proposed that serves to identify regions of expected low prediction error.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Alpha matter revisited
Authors:
J. W. Clark,
E. Krotscheck
Abstract:
We examine in detail two alternative descriptions of a system of $α$ particles interacting via local interactions of different character, highlighting the fact that a faithful microscopic description of such systems demands a consistent treatment of both short- and long-range correlations. In preparation, we examine four different versions of modern microscopic many-body theory and conclude by emp…
▽ More
We examine in detail two alternative descriptions of a system of $α$ particles interacting via local interactions of different character, highlighting the fact that a faithful microscopic description of such systems demands a consistent treatment of both short- and long-range correlations. In preparation, we examine four different versions of modern microscopic many-body theory and conclude by emphasizing that these approaches, although {\it a priori} very different, actually lead to the same equations for their efficient application. The only quantity that depends on the formulation of many-body theory chosen is an {\it irreducible} interaction correction. In the language of Green's functions and Feynman diagrams, it is the set of both particle-particle and particle-hole irreducible diagrams, and in variational Jastrow-Feenberg theory it is determined by {\it multipartite correlations} and {\it elementary diagrams}. We apply these theoretical methods to the calculation of the energetics, structure, thermodynamics, and dynamics of $α$ matter, as well as its condensate fraction. In dimensionless units, $α$ matter appears to be remarkably similar to the much-studied $^4$He quantum fluid, its low-temperature properties now basically solved in the Jastrow-Feenberg framework. Accordingly, one can have confidence in the results of application of the same procedure to $α$ matter. Even so, closer examination reveals significant differences between the physics of the two systems. Within an infinite nuclear medium, alpha matter is subject to a spinoidal instability. Extended mixtures of nucleons and alpha particles are yet to be given rigorous consideration in a corresponding theoretical framework.
△ Less
Submitted 12 November, 2023; v1 submitted 17 April, 2023;
originally announced April 2023.
-
The James Webb Space Telescope Mission
Authors:
Jonathan P. Gardner,
John C. Mather,
Randy Abbott,
James S. Abell,
Mark Abernathy,
Faith E. Abney,
John G. Abraham,
Roberto Abraham,
Yasin M. Abul-Huda,
Scott Acton,
Cynthia K. Adams,
Evan Adams,
David S. Adler,
Maarten Adriaensen,
Jonathan Albert Aguilar,
Mansoor Ahmed,
Nasif S. Ahmed,
Tanjira Ahmed,
Rüdeger Albat,
Loïc Albert,
Stacey Alberts,
David Aldridge,
Mary Marsha Allen,
Shaune S. Allen,
Martin Altenburg
, et al. (983 additional authors not shown)
Abstract:
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono…
▽ More
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Learning the Delay Using Neural Delay Differential Equations
Authors:
Maria Oprea,
Mark Walth,
Robert Stephany,
Gabriella Torres Nothaft,
Arnaldo Rodriguez-Gonzalez,
William Clark
Abstract:
The intersection of machine learning and dynamical systems has generated considerable interest recently. Neural Ordinary Differential Equations (NODEs) represent a rich overlap between these fields. In this paper, we develop a continuous time neural network approach based on Delay Differential Equations (DDEs). Our model uses the adjoint sensitivity method to learn the model parameters and delay d…
▽ More
The intersection of machine learning and dynamical systems has generated considerable interest recently. Neural Ordinary Differential Equations (NODEs) represent a rich overlap between these fields. In this paper, we develop a continuous time neural network approach based on Delay Differential Equations (DDEs). Our model uses the adjoint sensitivity method to learn the model parameters and delay directly from data. Our approach is inspired by that of NODEs and extends earlier neural DDE models, which have assumed that the value of the delay is known a priori. We perform a sensitivity analysis on our proposed approach and demonstrate its ability to learn DDE parameters from benchmark systems. We conclude our discussion with potential future directions and applications.
△ Less
Submitted 14 June, 2023; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Efficiency of neural-network state representations of one-dimensional quantum spin systems
Authors:
Ruizhi Pan,
Charles W. Clark
Abstract:
Neural-network state representations of quantum many-body systems are attracting great attention and more rigorous quantitative analysis about their expressibility and complexity is warranted. Our analysis of the restricted Boltzmann machine (RBM) state representation of one-dimensional (1D) quantum spin systems provides new insight into their computational complexity. We define a class of long-ra…
▽ More
Neural-network state representations of quantum many-body systems are attracting great attention and more rigorous quantitative analysis about their expressibility and complexity is warranted. Our analysis of the restricted Boltzmann machine (RBM) state representation of one-dimensional (1D) quantum spin systems provides new insight into their computational complexity. We define a class of long-range-fast-decay (LRFD) RBM states with quantifiable upper bounds on truncation errors and provide numerical evidence for a large class of 1D quantum systems that may be approximated by LRFD RBMs of at most polynomial complexities. These results lead us to conjecture that the ground states of a wide range of quantum systems may be exactly represented by LRFD RBMs or a variant of them, even in cases where other state representations become less efficient. At last, we provide the relations between multiple typical state manifolds. Our work proposes a paradigm for doing complexity analysis for generic long-range RBMs which naturally yields a further classification of this manifold. This paradigm and our characterization of their nonlocal structures may pave the way for understanding the natural measure of complexity for quantum many-body states described by RBMs and are generalizable for higher-dimensional systems and deep neural-network quantum states.
△ Less
Submitted 3 February, 2023; v1 submitted 31 January, 2023;
originally announced February 2023.
-
Rastreo muscular móvil usando magnetomicrometría -- traducción al español del articulo "Untethered Muscle Tracking Using Magnetomicrometry" por el autor Cameron R. Taylor
Authors:
Cameron R. Taylor,
Seong Ho Yeon,
William H. Clark,
Ellen G. Clarrissimeaux,
Mary Kate O'Donnell,
Thomas J. Roberts,
Hugh M. Herr
Abstract:
Muscle tissue drives nearly all movement in the animal kingdom, providing power, mobility, and dexterity. Technologies for measuring muscle tissue motion, such as sonomicrometry, fluoromicrometry, and ultrasound, have significantly advanced our understanding of biomechanics. Yet, the field lacks the ability to monitor muscle tissue motion for animal behavior outside the lab. Towards addressing thi…
▽ More
Muscle tissue drives nearly all movement in the animal kingdom, providing power, mobility, and dexterity. Technologies for measuring muscle tissue motion, such as sonomicrometry, fluoromicrometry, and ultrasound, have significantly advanced our understanding of biomechanics. Yet, the field lacks the ability to monitor muscle tissue motion for animal behavior outside the lab. Towards addressing this issue, we previously introduced magnetomicrometry, a method that uses magnetic beads to wirelessly monitor muscle tissue length changes, and we validated magnetomicrometry via tightly-controlled in situ testing. In this study we validate the accuracy of magnetomicrometry against fluoromicrometry during untethered running in an in vivo turkey model. We demonstrate real-time muscle tissue length tracking of the freely-moving turkeys executing various motor activities, including ramp ascent and descent, vertical ascent and descent, and free roaming movement. Given the demonstrated capacity of magnetomicrometry to track muscle movement in untethered animals, we feel that this technique will enable new scientific explorations and an improved understanding of muscle function. -- --
El tejido muscular es el motor de casi todos los movimientos del reino animal, ya que proporciona fuerza, movilidad y destreza. Las tecnologías para medir el movimiento del tejido muscular, como la sonomicrometría, la fluoromicrometría y el ultrasonido, han avanzado considerablemente la comprensión de la biomecánica. Sin embargo, este campo carece de la capacidad de rastrear el movimiento del tejido muscular en el comportamiento animal fuera del laboratorio. Para abordar este problema, presentamos previamente la magnetomicrometría, un método que utiliza pequeños imanes para rastrear de forma inalámbrica los cambios de longitud del tejido muscular, y validamos la magnetomicrometría mediante pruebas estrechamente controladas in situ. En este estudio validamos la precisión de la magnetomicrometría en comparación con la fluoromicrometría usando un modelo de pavo in vivo mientras corre libremente. Demostramos el rastreo en tiempo real de la longitud del tejido muscular de los pavos que se mueven libremente ejecutando varias actividades motoras, incluyendo el ascenso y el descenso en rampa, el ascenso y el descenso vertical, y el movimiento libre. Dada la capacidad demostrada de la magnetomicrometría para rastrear el movimiento muscular en animales en un contexto móvil, creemos que esta técnica permitirá nuevas exploraciones científicas y una mejor comprensión de la función muscular.
△ Less
Submitted 19 November, 2022;
originally announced November 2022.
-
Optimality of Zeno Executions in Hybrid Systems
Authors:
William Clark,
Maria Oprea
Abstract:
A unique feature of hybrid dynamical systems (systems whose evolution is subject to both continuous- and discrete-time laws) is Zeno trajectories. Usually these trajectories are avoided as they can cause incorrect numerical results as the problem becomes ill-conditioned. However, these are difficult to justifiably avoid as determining when and where they occur is a non-trivial task. It turns out t…
▽ More
A unique feature of hybrid dynamical systems (systems whose evolution is subject to both continuous- and discrete-time laws) is Zeno trajectories. Usually these trajectories are avoided as they can cause incorrect numerical results as the problem becomes ill-conditioned. However, these are difficult to justifiably avoid as determining when and where they occur is a non-trivial task. It turns out that in optimal control problems, not only can they not be avoided, but are sometimes required in synthesizing the solutions. This work explores the pedagogical example of the bouncing ball to demonstrate the importance of "Zeno control executions."
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Optimal Control of Nonholonomic Systems via Magnetic Fields
Authors:
Maria Oprea,
Max Ruth,
Dora Kassabova,
William Clark
Abstract:
Geometric optimal control utilizes tools from differential geometry to analyze the structure of a problem to determine the control and state trajectories to reach a desired outcome while minimizing some cost function. For a controlled mechanical system, the control usually manifests as an external force which, if conservative, can be added to the Hamiltonian. In this work, we focus on mechanical s…
▽ More
Geometric optimal control utilizes tools from differential geometry to analyze the structure of a problem to determine the control and state trajectories to reach a desired outcome while minimizing some cost function. For a controlled mechanical system, the control usually manifests as an external force which, if conservative, can be added to the Hamiltonian. In this work, we focus on mechanical systems with controls added to the symplectic form rather than the Hamiltonian. In practice, this translates to controlling the magnetic field for an electrically charged system. We develop a basic theory deriving necessary conditions for optimality of such a system subjected to nonholonomic constraints. We consider the representative example of a magnetically charged Chaplygin Sleigh, whose resulting optimal control problem is completely integrable.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Ground state bistability of cold atoms in a cavity
Authors:
B. Gábor,
D. Nagy,
A. Dombi,
T. W. Clark,
F. I. B. Williams,
K. V. Adwaith,
A. Vukics,
P. Domokos
Abstract:
We experimentally demonstrate an optical bistability between two hyperfine atomic ground states, using a single mode of an optical resonator in the collective strong coupling regime. Whereas in the familiar case, the bistable region is created through atomic saturation, we report an effect between states of high quantum purity, which is essential for future information storage. The nonlinearity of…
▽ More
We experimentally demonstrate an optical bistability between two hyperfine atomic ground states, using a single mode of an optical resonator in the collective strong coupling regime. Whereas in the familiar case, the bistable region is created through atomic saturation, we report an effect between states of high quantum purity, which is essential for future information storage. The nonlinearity of the transitions arise from cavity-assisted pum** between ground states of cold, trapped atoms and the stability depends on the intensity of two driving lasers. We interpret the phenomenon in terms of the recent paradigm of first-order, driven-dissipative phase transitions, where the transmitted and driving fields are understood as the order and control parameters, respectively. The saturation-induced bistability is recovered for infinite drive in one of the controls. The order of the transition is confirmed experimentally by hysteresis in the order parameter when either of the two control parameters is swept repeatedly across the bistability region and the underlying phase diagram is predicted in line with semiclassical mean-field theory.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
E2PN: Efficient SE(3)-Equivariant Point Network
Authors:
Minghan Zhu,
Maani Ghaffari,
William A. Clark,
Huei Peng
Abstract:
This paper proposes a convolution structure for learning SE(3)-equivariant features from 3D point clouds. It can be viewed as an equivariant version of kernel point convolutions (KPConv), a widely used convolution form to process point cloud data. Compared with existing equivariant networks, our design is simple, lightweight, fast, and easy to be integrated with existing task-specific point cloud…
▽ More
This paper proposes a convolution structure for learning SE(3)-equivariant features from 3D point clouds. It can be viewed as an equivariant version of kernel point convolutions (KPConv), a widely used convolution form to process point cloud data. Compared with existing equivariant networks, our design is simple, lightweight, fast, and easy to be integrated with existing task-specific point cloud learning pipelines. We achieve these desirable properties by combining group convolutions and quotient representations. Specifically, we discretize SO(3) to finite groups for their simplicity while using SO(2) as the stabilizer subgroup to form spherical quotient feature fields to save computations. We also propose a permutation layer to recover SO(3) features from spherical features to preserve the capacity to distinguish rotations. Experiments show that our method achieves comparable or superior performance in various tasks, including object classification, pose estimation, and keypoint-matching, while consuming much less memory and running faster than existing work. The proposed method can foster the development of equivariant models for real-world applications based on point clouds.
△ Less
Submitted 13 June, 2023; v1 submitted 10 June, 2022;
originally announced June 2022.
-
Experimental Realization of Neutron Helical Waves
Authors:
D. Sarenac,
M. E. Henderson,
H. Ekinci,
Charles W. Clark,
D. G. Cory,
L. Debeer-Schmitt,
M. G. Huber,
C. Kapahi,
D. A. Pushin
Abstract:
Methods of preparation and analysis of structured waves of light, electrons, and atoms have been advancing rapidly. Despite the proven power of neutrons for material characterization and studies of fundamental physics, neutron science has not been able to fully integrate such techniques due to small transverse coherence lengths, the relatively poor resolution of spatial detectors, and low fluence…
▽ More
Methods of preparation and analysis of structured waves of light, electrons, and atoms have been advancing rapidly. Despite the proven power of neutrons for material characterization and studies of fundamental physics, neutron science has not been able to fully integrate such techniques due to small transverse coherence lengths, the relatively poor resolution of spatial detectors, and low fluence rates. Here, we demonstrate methods that are practical with the existing technologies, and show the experimental achievement of neutron helical wavefronts that carry well-defined orbital angular momentum (OAM) values. We discuss possible applications and extensions to spin-orbit correlations and material characterization techniques.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Training from Zero: Radio Frequency Machine Learning Data Quantity Forecasting
Authors:
William H. Clark IV,
Alan J. Michaels
Abstract:
The data used during training in any given application space is directly tied to the performance of the system once deployed. While there are many other factors that go into producing high performance models within machine learning, there is no doubt that the data used to train a system provides the foundation from which to build. One of the underlying rule of thumb heuristics used within the mach…
▽ More
The data used during training in any given application space is directly tied to the performance of the system once deployed. While there are many other factors that go into producing high performance models within machine learning, there is no doubt that the data used to train a system provides the foundation from which to build. One of the underlying rule of thumb heuristics used within the machine learning space is that more data leads to better models, but there is no easy answer for the question, "How much data is needed?" This work examines a modulation classification problem in the Radio Frequency domain space, attempting to answer the question of how much training data is required to achieve a desired level of performance, but the procedure readily applies to classification problems across modalities. The ultimate goal is determining an approach that requires the least amount of data collection to better inform a more thorough collection effort to achieve the desired performance metric. While this approach will require an initial dataset that is germane to the problem space to act as a \textit{target} dataset on which metrics are extracted, the goal is to allow for the initial data to be orders of magnitude smaller than what is required for delivering a system that achieves the desired performance. An additional benefit of the techniques presented here is that the quality of different datasets can be numerically evaluated and tied together with the quantity of data, and ultimately, the performance of the architecture in the problem domain.
△ Less
Submitted 14 June, 2024; v1 submitted 7 May, 2022;
originally announced May 2022.
-
Lie Algebraic Cost Function Design for Control on Lie Groups
Authors:
Sangli Teng,
William Clark,
Anthony Bloch,
Ram Vasudevan,
Maani Ghaffari
Abstract:
This paper presents a control framework on Lie groups by designing the control objective in its Lie algebra. Control on Lie groups is challenging due to its nonlinear nature and difficulties in system parameterization. Existing methods to design the control objective on a Lie group and then derive the gradient for controller design are non-trivial and can result in slow convergence in tracking con…
▽ More
This paper presents a control framework on Lie groups by designing the control objective in its Lie algebra. Control on Lie groups is challenging due to its nonlinear nature and difficulties in system parameterization. Existing methods to design the control objective on a Lie group and then derive the gradient for controller design are non-trivial and can result in slow convergence in tracking control. We show that with a proper left-invariant metric, setting the gradient of the cost function as the tracking error in the Lie algebra leads to a quadratic Lyapunov function that enables globally exponential convergence. In the PD control case, we show that our controller can maintain an exponential convergence rate even when the initial error is approaching $π$ in SO(3). We also show the merit of this proposed framework in trajectory optimization. The proposed cost function enables the iterative Linear Quadratic Regulator (iLQR) to converge much faster than the Differential Dynamic Programming (DDP) with a well-adopted cost function when the initial trajectory is poorly initialized on SO(3).
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
How do we walk? Using hybrid holonomy to approximate non-holonomic systems
Authors:
Maria Oprea,
William Clark
Abstract:
Why do we move forward when we walk? Our legs undergo periodic motion and thus possess no net change in position; however, our bodies do possess a net change in position and we are propelled forward. From a geometric perspective, this phenomenon of periodic input producing non-periodic output is holonomy. To obtain non-zero holonomy and propel forward, we must alternate which leg is in contact wit…
▽ More
Why do we move forward when we walk? Our legs undergo periodic motion and thus possess no net change in position; however, our bodies do possess a net change in position and we are propelled forward. From a geometric perspective, this phenomenon of periodic input producing non-periodic output is holonomy. To obtain non-zero holonomy and propel forward, we must alternate which leg is in contact with the ground; a non-zero net motion can be obtained by concatenating arcs that would individually produce no net motion. We develop a framework for computing the holonomy group of hybrid systems and analyze their behavior in the limit as the number of impacts goes to infinity.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
Orientation Control of the Bouncing Ball
Authors:
William Clark,
Dora Kassabova
Abstract:
Control of a hybrid dynamical system can manifest in one of two main ways: either through the continuous or the discrete dynamics. An example of controls influencing the continuous dynamics is legged locomotion, where the joints are actuated but the location and nature of the impacts are uncontrolled. In contrast, an example of discrete control would be in tennis; the player can only influence the…
▽ More
Control of a hybrid dynamical system can manifest in one of two main ways: either through the continuous or the discrete dynamics. An example of controls influencing the continuous dynamics is legged locomotion, where the joints are actuated but the location and nature of the impacts are uncontrolled. In contrast, an example of discrete control would be in tennis; the player can only influence the trajectory of the ball through striking it.
This work examines the latter case with two key emphases. The first is that controls manifest through changing the location of the guard (as opposed to changing only the reset). The second is that the location of the guard is described by "external variables" while the goal is to control "internal variables." As a simple test of this theory, orientation control of a bouncing ball is explored; the ball is only controlled during impacts which are exclusively position-dependent.
△ Less
Submitted 28 March, 2022; v1 submitted 23 March, 2022;
originally announced March 2022.
-
An Error-State Model Predictive Control on Connected Matrix Lie Groups for Legged Robot Control
Authors:
Sangli Teng,
Dianhao Chen,
William Clark,
Maani Ghaffari
Abstract:
This paper reports on a new error-state Model Predictive Control (MPC) approach to connected matrix Lie groups for robot control. The linearized tracking error dynamics and the linearized equations of motion are derived in the Lie algebra. Moreover, given an initial condition, the linearized tracking error dynamics and equations of motion are globally valid and evolve independently of the system t…
▽ More
This paper reports on a new error-state Model Predictive Control (MPC) approach to connected matrix Lie groups for robot control. The linearized tracking error dynamics and the linearized equations of motion are derived in the Lie algebra. Moreover, given an initial condition, the linearized tracking error dynamics and equations of motion are globally valid and evolve independently of the system trajectory. By exploiting the symmetry of the problem, the proposed approach shows faster convergence of rotation and position simultaneously than the state-of-the-art geometric variational MPC based on variational-based linearization. Numerical simulation on tracking control of a fully-actuated 3D rigid body dynamics confirms the benefits of the proposed approach compared to the baselines. Furthermore, the proposed MPC is also verified in pose control and locomotion experiments on a quadrupedal robot MIT Mini Cheetah.
△ Less
Submitted 22 January, 2023; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Modeling atom interferometry experiments with Bose-Einstein condensates in power-law potentials
Authors:
S. Thomas,
C. Sapp,
C. Henry,
A. Smith,
C. A. Sackett,
C. W. Clark,
M. Edwards
Abstract:
Recent atom interferometry (AI) experiments involving Bose--Einstein condensates (BECs) have been conducted under extreme conditions of volume and interrogation time. Numerical solution of the standard mean-field theory applied to these experiments presents a nearly intractable challenge. We present an approximate variational model that provides rapid approximate solutions of the rotating-frame Gr…
▽ More
Recent atom interferometry (AI) experiments involving Bose--Einstein condensates (BECs) have been conducted under extreme conditions of volume and interrogation time. Numerical solution of the standard mean-field theory applied to these experiments presents a nearly intractable challenge. We present an approximate variational model that provides rapid approximate solutions of the rotating-frame Gross--Pitaevskii equation for a power-law potential. This model is well-suited to the design and analysis of AI experiments involving BECs that are split and later recombined to form an interference pattern. We derive the equations of motion of the variational parameters for this model and illustrate how the model can be applied to the sequence of steps in a recent AI experiment where BECs were used to implement a dual-Sagnac atom interferometer rotation sensor. We use this model to investigate the impact of finite-size and interaction effects on the single-Sagnac-interferometer phase shift.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
A Geometric Approach to Optimal Control of Hybrid and Impulsive Systems
Authors:
William Clark,
Maria Oprea,
Andrew J. Graven
Abstract:
Hybrid dynamical systems are systems which undergo both continuous and discrete transitions. The Bolza problem from optimal control theory is applied to these systems and a hybrid version of Pontryagin's maximum principle is presented. This hybrid maximum principle is presented to emphasize its geometric nature which makes its study amenable to the tools of geometric mechanics and symplectic geome…
▽ More
Hybrid dynamical systems are systems which undergo both continuous and discrete transitions. The Bolza problem from optimal control theory is applied to these systems and a hybrid version of Pontryagin's maximum principle is presented. This hybrid maximum principle is presented to emphasize its geometric nature which makes its study amenable to the tools of geometric mechanics and symplectic geometry. One explicit benefit of this geometric approach is that Zeno behavior can be strongly controlled for "generic" control problems. Moreover, when the underlying control system is a mechanical impact system, additional structure is present which can be exploited and is thus explored. Multiple examples are presented for both mechanical and non-mechanical systems.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
Visualization of magnetic fields with cylindrical vector beams in a warm atomic vapor
Authors:
Shuwei Qiu,
**wen Wang,
Francesco Castellucci,
Mingtao Cao,
Shougang Zhang,
Thomas W. Clark,
Sonja Franke-Arnold,
Hong Gao,
Fuli Li
Abstract:
We propose and demonstrate an experimental implementation for the observation of magnetic fields from spatial features of absorption profiles in a warm atomic vapor. A radially polarized vector beam that traverses an atomic vapor will generate an absorption pattern with petal-like structure by the mediation of a transverse magnetic field (TMF). The spatial absorption pattern rotates when the azimu…
▽ More
We propose and demonstrate an experimental implementation for the observation of magnetic fields from spatial features of absorption profiles in a warm atomic vapor. A radially polarized vector beam that traverses an atomic vapor will generate an absorption pattern with petal-like structure by the mediation of a transverse magnetic field (TMF). The spatial absorption pattern rotates when the azimuthal angle of the TMF is changed, while its contrast decreases when the longitudinal component of the magnetic field increases. By analyzing the intensity distribution of the transmitted pattern we can determine the magnetic field strength. Our work provides a framework for investigating three-dimensional magnetic field distributions based on atoms.
△ Less
Submitted 2 October, 2021; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Optimal Target Shape for LiDAR Pose Estimation
Authors:
Jiunn-Kai Huang,
William Clark,
Jessy W. Grizzle
Abstract:
Targets are essential in problems such as object tracking in cluttered or textureless environments, camera (and multi-sensor) calibration tasks, and simultaneous localization and map** (SLAM). Target shapes for these tasks typically are symmetric (square, rectangular, or circular) and work well for structured, dense sensor data such as pixel arrays (i.e., image). However, symmetric shapes lead t…
▽ More
Targets are essential in problems such as object tracking in cluttered or textureless environments, camera (and multi-sensor) calibration tasks, and simultaneous localization and map** (SLAM). Target shapes for these tasks typically are symmetric (square, rectangular, or circular) and work well for structured, dense sensor data such as pixel arrays (i.e., image). However, symmetric shapes lead to pose ambiguity when using sparse sensor data such as LiDAR point clouds and suffer from the quantization uncertainty of the LiDAR. This paper introduces the concept of optimizing target shape to remove pose ambiguity for LiDAR point clouds. A target is designed to induce large gradients at edge points under rotation and translation relative to the LiDAR to ameliorate the quantization uncertainty associated with point cloud sparseness. Moreover, given a target shape, we present a means that leverages the target's geometry to estimate the target's vertices while globally estimating the pose. Both the simulation and the experimental results (verified by a motion capture system) confirm that by using the optimal shape and the global solver, we achieve centimeter error in translation and a few degrees in rotation even when a partially illuminated target is placed 30 meters away. All the implementations and datasets are available at https://github.com/UMich-BipedLab/optimal_shape_global_pose_estimation.
△ Less
Submitted 21 December, 2021; v1 submitted 2 September, 2021;
originally announced September 2021.
-
Surprises in a classic boundary-layer problem
Authors:
William A. Clark,
Mario W. Gomes,
Arnaldo Rodriguez-Gonzalez,
Leo C. Stein,
Steven H. Strogatz
Abstract:
We revisit a textbook example of a singularly perturbed nonlinear boundary-value problem. Unexpectedly, it shows a wealth of phenomena that seem to have been overlooked previously, including a pitchfork bifurcation in the number of solutions as one varies the small parameter, and transcendentally small terms in the initial conditions that can be calculated by elementary means. Based on our own cla…
▽ More
We revisit a textbook example of a singularly perturbed nonlinear boundary-value problem. Unexpectedly, it shows a wealth of phenomena that seem to have been overlooked previously, including a pitchfork bifurcation in the number of solutions as one varies the small parameter, and transcendentally small terms in the initial conditions that can be calculated by elementary means. Based on our own classroom experience, we believe this problem could provide an enjoyable workout for students in courses on perturbation methods, applied dynamical systems, or numerical analysis.
△ Less
Submitted 25 February, 2022; v1 submitted 24 July, 2021;
originally announced July 2021.
-
The Integer Sequence Transform $a \mapsto b$ where $b_n$ is the Number of Real Roots of the Polynomial $a_0 + a_1x + a_2x^2 + \cdots + a_nx^n$
Authors:
W. Edwin Clark,
Mark Shattuck
Abstract:
We discuss the integer sequence transform $a \mapsto b$ where $b_n$ is the number of real roots of the polynomial $a_0 + a_1x + a_2x^2 + \cdots + a_nx^n$. It is shown that several sequences $a$ give the trivial sequence $b = (0,1,0,1, 0,1,\ldots)$, i.e., ${b_n = n \bmod 2}$, among them the Catalan numbers, central binomial coefficients, $n!$ and $\binom{n+k}{n}$ for a fixed $k$. We also look at so…
▽ More
We discuss the integer sequence transform $a \mapsto b$ where $b_n$ is the number of real roots of the polynomial $a_0 + a_1x + a_2x^2 + \cdots + a_nx^n$. It is shown that several sequences $a$ give the trivial sequence $b = (0,1,0,1, 0,1,\ldots)$, i.e., ${b_n = n \bmod 2}$, among them the Catalan numbers, central binomial coefficients, $n!$ and $\binom{n+k}{n}$ for a fixed $k$. We also look at some sequences $a$ for which $b$ is more interesting such as $a_n = (n+1)^k$ for $k \geq 3$. Further, general procedures are given for constructing real sequences $a_n$ for which $b_n$ is either always maximal or minimal.
△ Less
Submitted 13 August, 2021; v1 submitted 7 July, 2021;
originally announced July 2021.
-
An atomic compass -- detecting 3D magnetic field alignment with vector vortex light
Authors:
Francesco Castellucci,
Thomas W. Clark,
Adam Selyem,
**wen Wang,
Sonja Franke-Arnold
Abstract:
We describe and demonstrate how 3D magnetic field alignment can be inferred from single absorption images of an atomic cloud. While optically pumped magnetometers conventionally rely on temporal measurement of the Larmor precession of atomic dipoles, here a cold atomic vapour provides a spatial interface between vector light and external magnetic fields. Using a vector vortex beam, we inscribe str…
▽ More
We describe and demonstrate how 3D magnetic field alignment can be inferred from single absorption images of an atomic cloud. While optically pumped magnetometers conventionally rely on temporal measurement of the Larmor precession of atomic dipoles, here a cold atomic vapour provides a spatial interface between vector light and external magnetic fields. Using a vector vortex beam, we inscribe structured atomic spin polarisation in a cloud of cold rubidium atoms, and record images of the resulting absorption patterns. The polar angle of an external magnetic field can be deduced with spatial Fourier analysis. This effect presents an alternative concept for detecting magnetic vector fields, and demonstrates, more generally, how introducing spatial phases between atomic energy levels can translate transient effects to the spatial domain.
△ Less
Submitted 22 July, 2021; v1 submitted 24 June, 2021;
originally announced June 2021.
-
Time-resolved observation of a dynamical phase transition of atoms in a cavity
Authors:
T. W. Clark,
A. Dombi,
F. I. B. Williams,
Á. Kurkó,
J. Fortágh,
D. Nagy,
A. Vukics,
P. Domokos
Abstract:
The transparence of a laser-driven optical resonator containing an ensemble of cold atoms can have two distinct, robust states. Atoms in their initially prepared pure state blockade the transmission by detuning the cavity mode from the laser drive. The interacting system can, however, transition into an uncoupled state via a non-linear channel opening up in a critical run-away process toward a tra…
▽ More
The transparence of a laser-driven optical resonator containing an ensemble of cold atoms can have two distinct, robust states. Atoms in their initially prepared pure state blockade the transmission by detuning the cavity mode from the laser drive. The interacting system can, however, transition into an uncoupled state via a non-linear channel opening up in a critical run-away process toward a transparent bright phase. The experiment enables a time-resolved observation of the dynamical transmission blockade breakdown phase transition as well as quantification of enhanced fluctuations in the critical region.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Quasiparticle Pattern of Phenomena in Exotic Superconductors
Authors:
V. A. Khodel,
J. W. Clark,
M. V. Zverev
Abstract:
The quasiparticle formalism invented by Lev Landau for description of conventional Fermi liquids is generalized to exotic superconductivity attributed to Cooper pairing, whose measured properties defy explanation within the standard BCS-Fermi Liquid description. We demonstrate that in such systems the quasiparticle number remains equal to particle number, just as in common Fermi liquids. We are th…
▽ More
The quasiparticle formalism invented by Lev Landau for description of conventional Fermi liquids is generalized to exotic superconductivity attributed to Cooper pairing, whose measured properties defy explanation within the standard BCS-Fermi Liquid description. We demonstrate that in such systems the quasiparticle number remains equal to particle number, just as in common Fermi liquids. We are then able to explain the puzzling relationship between the variation with do** $x$ of two key properties of the family La$_{2-x}$Sr$_x$Cu0$_4$ of exotic superconductors, namely the $T=0$ superfluid density $ρ_{s0}(x)$ and the coefficient $A_1(x)$ in the linear-in-$T$ component of the normal-state low-$T$ resistivity $ρ(T)=ρ_0+A_1T+A_2T^2$, in terms of the presence of interaction-induced flat bands in the ground states of these metals.
△ Less
Submitted 11 February, 2021;
originally announced February 2021.
-
Invariant Forms in Hybrid and Impact Systems and a Taming of Zeno
Authors:
William Clark,
Anthony Bloch
Abstract:
Hybrid (and impact) systems are dynamical systems experiencing both continuous and discrete transitions. In this work, we derive necessary and sufficient conditions for when a given differential form is invariant, with special attention paid to the case of the existence of invariant volumes. Particular attention is given to impact systems where the continuous dynamics are Lagrangian and subject to…
▽ More
Hybrid (and impact) systems are dynamical systems experiencing both continuous and discrete transitions. In this work, we derive necessary and sufficient conditions for when a given differential form is invariant, with special attention paid to the case of the existence of invariant volumes. Particular attention is given to impact systems where the continuous dynamics are Lagrangian and subject to nonholonomic constraints. A celebrated result for volume-preserving dynamical systems is Poincaré recurrence. In order to be recurrent, trajectories need to exist for long periods of time, which can be controlled in continuous-time systems through e.g. compactness. For hybrid systems, an additional mechanism can occur which breaks long-time existence: Zeno (infinitely many discrete transitions in a finite amount of time). We demonstrate that the existence of a smooth invariant volume severely inhibits Zeno behavior; hybrid systems with the "boundary identity property" along with an invariant volume-form have almost no Zeno trajectories (although Zeno trajectories can still exist). This leads to the result that many billiards (e.g. the classical point, the rolling disk, and the rolling ball) are recurrent independent on the shape of the compact table-top.
△ Less
Submitted 25 January, 2022; v1 submitted 26 January, 2021;
originally announced January 2021.
-
A New Framework for Registration of Semantic Point Clouds from Stereo and RGB-D Cameras
Authors:
Ray Zhang,
Tzu-Yuan Lin,
Chien Erh Lin,
Steven A. Parkison,
William Clark,
Jessy W. Grizzle,
Ryan M. Eustice,
Maani Ghaffari
Abstract:
This paper reports on a novel nonparametric rigid point cloud registration framework that jointly integrates geometric and semantic measurements such as color or semantic labels into the alignment process and does not require explicit data association. The point clouds are represented as nonparametric functions in a reproducible kernel Hilbert space. The alignment problem is formulated as maximizi…
▽ More
This paper reports on a novel nonparametric rigid point cloud registration framework that jointly integrates geometric and semantic measurements such as color or semantic labels into the alignment process and does not require explicit data association. The point clouds are represented as nonparametric functions in a reproducible kernel Hilbert space. The alignment problem is formulated as maximizing the inner product between two functions, essentially a sum of weighted kernels, each of which exploits the local geometric and semantic features. As a result of the continuous models, analytical gradients can be computed, and a local solution can be obtained by optimization over the rigid body transformation group. Besides, we present a new point cloud alignment metric that is intrinsic to the proposed framework and takes into account geometric and semantic information. The evaluations using publicly available stereo and RGB-D datasets show that the proposed method outperforms state-of-the-art outdoor and indoor frame-to-frame registration methods. An open-source GPU implementation is also provided.
△ Less
Submitted 10 November, 2020;
originally announced December 2020.
-
Collective self-trap** of atoms in a cavity
Authors:
A. Dombi,
T. W. Clark,
F. I. B. Williams,
F. Jessen,
J. Fortágh,
D. Nagy,
A. Vukics,
P. Domokos
Abstract:
We experimentally demonstrate optical dipole trap** of a cloud of cold atoms by means of a dynamically coupled mode of a high-finesse cavity. We show that the trap requires a collective action of the atoms, i.e. a single atom would not be trapped under the same laser drive conditions. The atoms pull the frequency of the mode closer to resonance, thereby allowing the necessary light intensity for…
▽ More
We experimentally demonstrate optical dipole trap** of a cloud of cold atoms by means of a dynamically coupled mode of a high-finesse cavity. We show that the trap requires a collective action of the atoms, i.e. a single atom would not be trapped under the same laser drive conditions. The atoms pull the frequency of the mode closer to resonance, thereby allowing the necessary light intensity for trap** into the cavity. The back-action of the atoms on the trap** light mode is also manifested by the non-exponential collapse of the trap.
△ Less
Submitted 27 November, 2020; v1 submitted 20 November, 2020;
originally announced November 2020.
-
Asymmetric Private Set Intersection with Applications to Contact Tracing and Private Vertical Federated Machine Learning
Authors:
Nick Angelou,
Ayoub Benaissa,
Bogdan Cebere,
William Clark,
Adam James Hall,
Michael A. Hoeh,
Daniel Liu,
Pavlos Papadopoulos,
Robin Roehm,
Robert Sandmann,
Phillipp Schoppmann,
Tom Titcombe
Abstract:
We present a multi-language, cross-platform, open-source library for asymmetric private set intersection (PSI) and PSI-Cardinality (PSI-C). Our protocol combines traditional DDH-based PSI and PSI-C protocols with compression based on Bloom filters that helps reduce communication in the asymmetric setting. Currently, our library supports C++, C, Go, WebAssembly, JavaScript, Python, and Rust, and ru…
▽ More
We present a multi-language, cross-platform, open-source library for asymmetric private set intersection (PSI) and PSI-Cardinality (PSI-C). Our protocol combines traditional DDH-based PSI and PSI-C protocols with compression based on Bloom filters that helps reduce communication in the asymmetric setting. Currently, our library supports C++, C, Go, WebAssembly, JavaScript, Python, and Rust, and runs on both traditional hardware (x86) and browser targets. We further apply our library to two use cases: (i) a privacy-preserving contact tracing protocol that is compatible with existing approaches, but improves their privacy guarantees, and (ii) privacy-preserving machine learning on vertically partitioned data.
△ Less
Submitted 18 November, 2020;
originally announced November 2020.
-
A Path-Dependent Variational Framework for Incremental Information Gathering
Authors:
William Clark,
Maani Ghaffari
Abstract:
Information gathered along a path is inherently submodular; the incremental amount of information gained along a path decreases due to redundant observations. In addition to submodularity, the incremental amount of information gained is a function of not only the current state but also the entire history as well. This paper presents the construction of the first-order necessary optimality conditio…
▽ More
Information gathered along a path is inherently submodular; the incremental amount of information gained along a path decreases due to redundant observations. In addition to submodularity, the incremental amount of information gained is a function of not only the current state but also the entire history as well. This paper presents the construction of the first-order necessary optimality conditions for memory (history-dependent) Lagrangians. Path-dependent problems frequently appear in robotics and artificial intelligence, where the state such as a map is partially observable, and information can only be obtained along a trajectory by local sensing. Robotic exploration and environmental monitoring has numerous real-world applications and can be formulated using the proposed approach.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
When is Enough Enough? "Just Enough" Decision Making with Recurrent Neural Networks for Radio Frequency Machine Learning
Authors:
Megan Moore,
William H. Clark IV,
R. Michael Buehrer,
William C. Headley
Abstract:
Prior work has demonstrated that recurrent neural network architectures show promising improvements over other machine learning architectures when processing temporally correlated inputs, such as wireless communication signals. Additionally, recurrent neural networks typically process data on a sequential basis, enabling the potential for near real-time results. In this work, we investigate the no…
▽ More
Prior work has demonstrated that recurrent neural network architectures show promising improvements over other machine learning architectures when processing temporally correlated inputs, such as wireless communication signals. Additionally, recurrent neural networks typically process data on a sequential basis, enabling the potential for near real-time results. In this work, we investigate the novel usage of "just enough" decision making metrics for making decisions during inference based on a variable number of input symbols. Since some signals are more complex than others, due to channel conditions, transmitter/receiver effects, etc., being able to dynamically utilize just enough of the received symbols to make a reliable decision allows for more efficient decision making in applications such as electronic warfare and dynamic spectrum sharing. To demonstrate the validity of this concept, four approaches to making "just enough" decisions are considered in this work and each are analyzed for their applicability to wireless communication machine learning applications.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
The RFML Ecosystem: A Look at the Unique Challenges of Applying Deep Learning to Radio Frequency Applications
Authors:
Lauren J. Wong,
William H. Clark IV,
Bryse Flowers,
R. Michael Buehrer,
Alan J. Michaels,
William C. Headley
Abstract:
While deep machine learning technologies are now pervasive in state-of-the-art image recognition and natural language processing applications, only in recent years have these technologies started to sufficiently mature in applications related to wireless communications. In particular, recent research has shown deep machine learning to be an enabling technology for cognitive radio applications as w…
▽ More
While deep machine learning technologies are now pervasive in state-of-the-art image recognition and natural language processing applications, only in recent years have these technologies started to sufficiently mature in applications related to wireless communications. In particular, recent research has shown deep machine learning to be an enabling technology for cognitive radio applications as well as a useful tool for supplementing expertly defined algorithms for spectrum sensing applications such as signal detection, estimation, and classification (termed here as Radio Frequency Machine Learning, or RFML). A major driver for the usage of deep machine learning in the context of wireless communications is that little, to no, a priori knowledge of the intended spectral environment is required, given that there is an abundance of representative data to facilitate training and evaluation. However, in addition to this fundamental need for sufficient data, there are other key considerations, such as trust, security, and hardware/software issues, that must be taken into account before deploying deep machine learning systems in real-world wireless communication applications. This paper provides an overview and survey of prior work related to these major research considerations. In particular, we present their unique considerations in the RFML application space, which are not generally present in the image, audio, and/or text application spaces.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Training Data Augmentation for Deep Learning Radio Frequency Systems
Authors:
William H. Clark IV,
Steven Hauser,
William C. Headley,
Alan J. Michaels
Abstract:
Applications of machine learning are subject to three major components that contribute to the final performance metrics. Within the category of neural networks, and deep learning specifically, the first two are the architecture for the model being trained and the training approach used. This work focuses on the third component, the data used during training. The primary questions that arise are ``…
▽ More
Applications of machine learning are subject to three major components that contribute to the final performance metrics. Within the category of neural networks, and deep learning specifically, the first two are the architecture for the model being trained and the training approach used. This work focuses on the third component, the data used during training. The primary questions that arise are ``what is in the data'' and ``what within the data matters?'' Looking into the Radio Frequency Machine Learning (RFML) field of Automatic Modulation Classification (AMC) as an example of a tool used for situational awareness, the use of synthetic, captured, and augmented data are examined and compared to provide insights about the quantity and quality of the available data necessary to achieve desired performance levels. There are three questions discussed within this work: (1) how useful a synthetically trained system is expected to be when deployed without considering the environment within the synthesis, (2) how can augmentation be leveraged within the RFML domain, and lastly, (3) what impact knowledge of degradations to the signal caused by the transmission channel contributes to the performance of a system. In general, the examined data types each have useful contributions to a final application, but captured data germane to the intended use case will always provide more significant information and enable the greatest performance. Despite the benefit of captured data, the difficulties and costs that arise from live collection often make the quantity of data needed to achieve peak performance impractical. This paper helps quantify the balance between real and synthetic data, offering concrete examples where training data is parametrically varied in size and source.
△ Less
Submitted 4 January, 2021; v1 submitted 30 September, 2020;
originally announced October 2020.
-
Existence of invariant volumes in nonholonomic systems subject to nonlinear constraints
Authors:
William Clark,
Anthony Bloch
Abstract:
We derive conditions for a nonholonomic system subject to nonlinear constraints (obeying Chetaev's rule) to preserve a smooth volume form. When applied to affine constraints, these conditions dictate that a basic invariant density exists if and only if a certain 1-form is exact and a certain function vanishes (this function automatically vanishes for linear constraints). Moreover, this result can…
▽ More
We derive conditions for a nonholonomic system subject to nonlinear constraints (obeying Chetaev's rule) to preserve a smooth volume form. When applied to affine constraints, these conditions dictate that a basic invariant density exists if and only if a certain 1-form is exact and a certain function vanishes (this function automatically vanishes for linear constraints). Moreover, this result can be extended to geodesic flows for arbitrary metric connections and the sufficient condition manifests as integrability of the torsion. As a consequence, volume-preservation of a nonholonomic system is closely related to the torsion of the nonholonomic connection. Examples of nonlinear/affine/linear constraints are considered.
△ Less
Submitted 7 October, 2022; v1 submitted 23 September, 2020;
originally announced September 2020.
-
Universal $T/B$ scaling behavior of heavy fermion compounds
Authors:
V. R. Shaginyan,
A. Z. Msezane,
J. W. Clark,
G. S. Japaridze,
Y. S. Leevik
Abstract:
In our mini-review, we address manifestations of $T/B$ scaling behavior of heavy-fermion (HF) compounds, where $T$ and $B$ are respectively temperature and magnetic field. Using experimental data and the fermion condensation theory, we show that this scaling behavior is typical of HF compounds including HF metals, quasicrystals, and quantum spin liquids. We demonstrate that such scaling behavior h…
▽ More
In our mini-review, we address manifestations of $T/B$ scaling behavior of heavy-fermion (HF) compounds, where $T$ and $B$ are respectively temperature and magnetic field. Using experimental data and the fermion condensation theory, we show that this scaling behavior is typical of HF compounds including HF metals, quasicrystals, and quantum spin liquids. We demonstrate that such scaling behavior holds down to the lowest temperature and field values, so that $T/B$ varies in a wide range, provided the HF compound is located near the topological fermion condensation quantum phase transition (FCQPT). Due to the topological properties of FCQPT, the effective mass $M^*$ exhibits a universal behavior, and diverges as $T$ goes to zero. Such a behavior of $M^*$ has important technological applications. We also explain how to extract the universal scaling behavior from experimental data collected on different heavy-fermion compounds. As an example, we consider the HF metal $\rm YbCo_2Ge_4$, and show that its scaling behavior is violated at low temperatures. Our results obtained show good agreement with experimental facts.
△ Less
Submitted 2 November, 2020; v1 submitted 3 September, 2020;
originally announced September 2020.