Search

Descriptors play an important role in data-driven approaches for materials design. While most descriptors of inorganic crystalline materials emphasize structure and composition, they often neglect the electron density - a complex yet fundamental quantity that governs material properties. In this work, we introduce Betti curves as topological descriptors that compress the electron density into compact representations. Derived from persistent homology, Betti curves capture bonding characteristics by encoding components, cycles, and voids across varied electron density thresholds. Machine learning models trained on Betti curves outperform those trained on raw electron densities by an average of 33 percentage points in classifying structure prototypes, predicting thermodynamic stability, and distinguishing metals from non-metals. Shannon entropy calculations reveal that Betti curves retain comparable information content to electron density while requiring two orders of magnitude less data. By combining expressive power with compact representation, Betti curves highlight the potential of topological data analysis to advance the modeling and design of inorganic materials.

Satellite galaxies can be used to indicate the dynamical mass of galaxy groups and clusters. In this study, we apply the axis-symmetric Jeans Anisotropic Multi-Gaussian Expansion JAM modeling to satellite galaxies in 28 galaxy clusters selected from the TNG300-1 simulation with halo mass of $\log_{10}M_{200}/M_\odot>14.3$. If using true bound satellites as tracers, the best constrained total mass within the half-mass radius of satellites, $M(

Recently, Alp\"oge-Bhargava-Shnidman determined the average size of the $2$-Selmer group in the cubic twist family of any elliptic curve over $\mathbb{Q}$ with $j$-invariant $0$. We obtain the distribution of the $3$-Selmer groups in the same family. As a consequence, we improve their upper bound on the density of integers expressible as a sum of two rational cubes. Assuming a $3$-converse theorem, we also improve their lower bound on this density. The $\sqrt{-3}$-Selmer group in this cubic twist family is well-known to be large, which poses significant challenges to the methods previously developed by the second author. We overcome this problem by strengthening the analytic core of these methods. Specifically, we prove a "trilinear large sieve" for an appropriate generalization of the classical R\'edei symbol, then use this to control the restriction of the Cassels-Tate pairing to the $\sqrt{-3}$-Selmer groups in these twist families., Comment: 52 pages, comments welcome!

Given a finite group G, we prove that the vector space spanned by the faithful irreducible characters of G is generated by the monomial characters in the vector space. As a consequence, we show that in any family of G-extensions of a fixed number field F, almost all are subject to a strong effective version of the Chebotarev density theorem. We use this version of the Chebotarev density theorem to deduce several consequences for class groups in families of number fields., Comment: 50 pages

Soft gels, formed via the self-assembly of particulate organic materials, exhibit intricate multi-scale structures that provides them with flexibility and resilience when subjected to external stresses. This work combines molecular simulations and topological data analysis (TDA) to characterize the complex multi-scale structure of soft gels. Our TDA analysis focuses on the use of the Euler characteristic, which is an interpretable and computationally-scalable topological descriptor that is combined with filtration operations to obtain information on the geometric (local) and topological (global) structure of soft gels. We reduce the topological information obtained with TDA using principal component analysis (PCA) and show that this provides an informative low-dimensional representation of gel structure. We use the proposed computational framework to investigate the influence of gel preparation (e.g., quench rate, volume fraction) on soft gel structure and to explore dynamic deformations that emerge under oscillatory shear in various response regimes (linear, nonlinear, and flow). Our analysis identifies specific scales and extents at which hierarchical structures in soft gels are affected; moreover, correlations between structural deformations and mechanical phenomena (such as shear stiffening) are explored. In summary, we show that TDA facilitates the mathematical representation, quantification, and analysis of soft gel structures, extending traditional network analysis methods to capture both local and global organization.

We derive and implement a new way to find lower bounds on the smallest limiting trace-to-degree ratio of totally positive algebraic integers and improve the previously best known bound to 1.80203. Our method adds new constraints to Smyth's linear programming method to decrease the number of variables required in the new problem of interest. This allows for faster convergence recovering Schur's bound in the simplest case and Siegel's bound in the second simplest case of our new family of bounds. We also prove the existence of a unique optimal solution to our newly phrased problem and express the optimal solution in terms of polynomials. Lastly, we solve this new problem numerically with a gradient descent algorithm to attain the new bound 1.80203., Comment: First published in Mathematics of Computation in 2024, published by the American Mathematical Society

Simulating complex astrophysical reacting flows is computationally expensive -- reactions are stiff and typically require implicit integration methods. The reaction update is often the most expensive part of a simulation, which motivates the exploration of more economical methods. In this research note, we investigate how the explicit Runge--Kutta--Chebyshev (RKC) method performs compared to an implicit method when applied to astrophysical reactive flows. These integrators are applied to simulations of X-ray bursts arising from unstable thermonuclear burning of accreted fuel on the surface of neutron stars. We show that the RKC method performs with similar accuracy to our traditional implicit integrator, but is more computationally efficient when run on CPUs., Comment: accepted to RNAAS

We explore the canonical description of a scalar field as a parameterized field theory on an extended phase space that includes additional embedding fields that characterize spacetime hypersurfaces $\mathsf{X}$ relative to which the scalar field is described. This theory is quantized via the Dirac prescription and physical states of the theory are used to define conditional wave functionals $|\psi_\phi[\mathsf{X}]\rangle$ interpreted as the state of the field relative to the hypersurface $\mathsf{X}$, thereby extending the Page-Wootters formalism to quantum field theory. It is shown that this conditional wave functional satisfies the Tomonaga-Schwinger equation, thus demonstrating the formal equivalence between this extended Page-Wootters formalism and standard quantum field theory. We also construct relational Dirac observables and define a quantum deparameterization of the physical Hilbert space leading to a relational Heisenberg picture, which are both shown to be unitarily equivalent to the Page-Wootters formalism. Moreover, by treating hypersurfaces as quantum reference frames, we extend recently developed quantum frame transformations to changes between classical and nonclassical hypersurfaces. This allows us to exhibit the transformation properties of a quantum field under a larger class of transformations, which leads to a frame-dependent particle creation effect., Comment: 21 pages, 3 figures. Comments welcome

Shape affects both the physical and chemical properties of a material. Characterizing the roughness, convexity, and general geometry of a material can yield information on its catalytic efficiency, solubility, elasticity, porosity, and overall effectiveness in the application of interest. However, material shape can be defined in a multitude of conflicting ways where different aspects of a material's geometry are emphasized over others, leading to bespoke measures of shape that are not easily generalizable. In this paper, we explore the use of Riemannian geometry in the analysis of shape and show that a Riemannian geometric framework for shape analysis is generalizable, computationally scalable, and can be directly integrated into common data analysis methods. In this framework, material shapes are abstracted as points on a Riemannian manifold. This information can be used to construct statistical moments (e.g., means, variances) and perform tasks such as dimensionality reduction and statistical process control. We provide a practical introduction to the mathematics of shape analysis through Riemannian geometry and illustrate its application on a manufactured/mined granular material dataset provided by Covia Corp. We show that the Riemannian framework can be used to automatically extract and quantify the shape of granular materials in a statistically rigorous manner.

In this paper and its sequel, we develop a technique for finding the distribution of $\ell^{\infty}$-Selmer groups in degree $\ell$ twist families of Galois modules over number fields. Given an elliptic curve E over a number field satisfying certain technical conditions, this technique can be used to show that 100% of the quadratic twists of E have rank at most 1. Given a prime $\ell$ and a number field F not containing $\mu_{2\ell}$, this method also shows that the $\ell^{\infty}$-class groups in the family of degree $\ell$ cyclic extensions of F have a distribution consistent with the Cohen-Lenstra-Gerth heuristics. For this work, we develop the theory of the fixed point Selmer group, which serves as the base layer of the $\ell^{\infty}$-Selmer group. This first paper gives a technique for finding the distribution of $\ell^{\infty}$-Selmer groups in certain families of twists where the fixed point Selmer group is stable. In the sequel paper, we will give a technique for controlling fixed point Selmer groups., Comment: 73 pages, comments welcome!

In previous work, the authors defined a category $SMod_F$ of finite Galois modules decorated with local conditions for each global field $F$. In this paper, given an extension $K/F$ of global fields, we define a restriction of scalars functor from $SMod_K$ to $SMod_F$ and show that it behaves well with respect to the Cassels-Tate pairing. We apply this work to study the class groups of global fields in the context of the Cohen-Lenstra heuristics., Comment: This paper has been split out of the original version of arXiv:2103.08530. 44 pages, comments welcome!

According to relativity, the reading of an ideal clock is interpreted as the elapsed proper time along its classical trajectory through spacetime. In contrast, quantum theory allows the association of many simultaneous trajectories with a single quantum clock, each weighted appropriately. Here, we investigate how the superposition principle affects the gravitational time dilation observed by a simple clock - a decaying two-level atom. Placing such an atom in a superposition of positions enables us to analyze a quantum contribution to a classical time dilation manifest in spontaneous emission. In particular, we show that the emission rate of an atom prepared in a coherent superposition of separated wave packets in a gravitational field is different from the emission rate of an atom in a classical mixture of these packets, which gives rise to a quantum gravitational time dilation effect. We demonstrate that this nonclassical effect also manifests in a fractional frequency shift of the internal energy of the atom that is within the resolution of current atomic clocks. In addition, we show the effect of spatial coherence on the atom's emission spectrum., Comment: 10 + 7 pages

We explore the use of tools from Riemannian geometry for the analysis of symmetric positive definite matrices (SPD). An SPD matrix is a versatile data representation that is commonly used in chemical engineering (e.g., covariance/correlation/Hessian matrices and images) and powerful techniques are available for its analysis (e.g., principal component analysis). A key observation that motivates this work is that SPD matrices live on a Riemannian manifold and that implementing techniques that exploit this basic property can yield significant benefits in data-centric tasks such classification and dimensionality reduction. We demonstrate this via a couple of case studies that conduct anomaly detection in the context of process monitoring and image analysis., Comment: 18 pages, 10 figures

This paper presents the first implementation of autonomous robotic auscultation of heart and lung sounds. To select auscultation locations that generate high-quality sounds, a Bayesian Optimization (BO) formulation leverages visual anatomical cues to predict where high-quality sounds might be located, while using auditory feedback to adapt to patient-specific anatomical qualities. Sound quality is estimated online using machine learning models trained on a database of heart and lung stethoscope recordings. Experiments on 4 human subjects show that our system autonomously captures heart and lung sounds of similar quality compared to tele-operation by a human trained in clinical auscultation. Surprisingly, one of the subjects exhibited a previously unknown cardiac pathology that was first identified using our robot, which demonstrates the potential utility of autonomous robotic auscultation for health screening.

Work is an observable quantity associated with a process, however there is no Hermitian operator associated with its measurement. We consider an ancilla-assisted protocol measuring the work done on a quantum system driven by a time-dependent Hamiltonian via two von-Neumann measurements of the system's energy carried out by a measuring apparatus modeled as a free particle of finite localization and interaction time with the system. We consider system Hamiltonians which both commute and do not commute at different times, finding corrections to fluctuation relations like the Jarzynski equality and the Crooks relation. This measurement model allows us to quantify the effect that measuring has on the estimated work distribution, and associated average work done on the system and average heat exchanged with the measuring apparatus., Comment: 8+2 pages, 5 figures

Given a compact subset $\Sigma$ of the real numbers obeying some technical conditions, we consider the set of algebraic integers whose conjugates all lie in $\Sigma$. The distribution of conjugates of such an integer defines a probability measure on $\Sigma$; our main result gives a necessary and sufficient condition for a given probability measure on $\Sigma$ to be the limit of some sequence of distributions of conjugates. As one consequence, we show there are infinitely many totally positive algebraic integers $\alpha$ with $tr(\alpha) < 1.89831\cdot deg(\alpha)$. We also show how this work can be applied to find simple abelian varieties over finite fields with extreme point counts., Comment: 47 pages

We present the analysis of the full shape of anisotropic clustering measurement from the extended Baryon Oscillation Spectroscopic Survey (eBOSS) quasar sample together with the combined galaxy sample from the Baryon Oscillation Spectroscopic Survey (BOSS), re-analysed using an updated recipe for the non-linear matter power spectrum and the non-local bias parameters. We obtain constraints for flat $\Lambda$CDM cosmologies, focusing on the cosmological parameters that are independent of the Hubble parameter $h$. Our recovered value for the RMS linear perturbation theory variance as measured on the scale of $12\,{\rm Mpc}$ is $\sigma_{12}=0.805\pm 0.049$, while using the traditional reference scale of $8\,h^{-1}{\rm Mpc}$ gives $\sigma_{8}=0.815\pm 0.044$. We quantify the agreement between our measurements and the latest CMB data from Planck using the suspiciousness metric, and find them to be consistent within $0.64 \pm 0.03\sigma$. Combining our clustering constraints with the $3\times2$pt data sample from the Dark Energy Survey (DES) Year 1 release slightly degrades this agreement to the level of $1.54 \pm 0.08\sigma$, while still showing an overall consistency with Planck. We furthermore study the effect of imposing a Planck - like prior on the parameters that define the shape of the linear matter power spectrum, and find significantly tighter constraints on the parameters that control the evolution of density fluctuations. In particular, the combination of low-redshift data sets prefers a value of the physical dark energy density $\omega_{\rm DE}=0.335 \pm 0.011$, which is 1.7$\sigma$ higher than the one preferred by Planck., Comment: 14 pages, 10 figures, matches the version accepted by MNRAS

Given a prime power $q$ and $n \gg 1$, we prove that every integer in a large subinterval of the Hasse--Weil interval $[(\sqrt{q}-1)^{2n},(\sqrt{q}+1)^{2n}]$ is $#A(\mathbb{F}_q)$ for some geometrically simple ordinary principally polarized abelian variety $A$ of dimension $n$ over $\mathbb{F}_q$. As a consequence, we generalize a result of Howe and Kedlaya for $\mathbb{F}_2$ to show that for each prime power $q$, every sufficiently large positive integer is realizable, i.e., $#A(\mathbb{F}_q)$ for some abelian variety $A$ over $\mathbb{F}_q$. Our result also improves upon the best known constructions of sequences of simple abelian varieties with point counts towards the extremes of the Hasse--Weil interval. A separate argument determines, for fixed $n$, the largest subinterval of the Hasse--Weil interval consisting of realizable integers, asymptotically as $q \to \infty$; this gives an asymptotically optimal improvement of a 1998 theorem of DiPippo and Howe. Our methods are effective: We prove that if $q \le 5$, then every positive integer is realizable, and for arbitrary $q$, every positive integer $\ge q^{3 \sqrt{q} \log q}$ is realizable.

Given a global field $F$ with absolute Galois group $G_F$, we define a category $SMod_F$ whose objects are finite $G_F$-modules decorated with local conditions. We define this category so that `taking the Selmer group' defines a functor $Sel$ from $SMod_F$ to $Ab$. After defining a duality functor $\vee$ on $SMod_F$, we show that every short exact sequence $0 \to M_1 \to M \to M_2 \to 0$ in $SMod_F$ gives rise to a natural bilinear pairing $$Sel (M_2) \times Sel (M_1^{\vee}) \to \mathbb{Q}/\mathbb{Z}$$ whose left and right kernels are the images of $Sel (M)$ and $Sel (M^{\vee})$, respectively. This generalizes the Cassels--Tate pairing defined on the Shafarevich--Tate group of an abelian variety over $F$ and results in a flexible theory in which pairings associated to different exact sequences can be readily compared to one another. As an application, we give a new proof of Poonen and Stoll's results concerning the failure of the Cassels--Tate pairing to be alternating for principally polarized abelian varieties and extend this work to the setting of Bloch--Kato Selmer groups., Comment: 45 pages, comments welcome!

Datasets are mathematical objects (e.g., point clouds, matrices, graphs, images, fields/functions) that have shape. This shape encodes important knowledge about the system under study. Topology is an area of mathematics that provides diverse tools to characterize the shape of data objects. In this work, we study a specific tool known as the Euler characteristic (EC). The EC is a general, low-dimensional, and interpretable descriptor of topological spaces defined by data objects. We revise the mathematical foundations of the EC and highlight its connections with statistics, linear algebra, field theory, and graph theory. We discuss advantages offered by the use of the EC in the characterization of complex datasets; to do so, we illustrate its use in different applications of interest in chemical engineering such as process monitoring, flow cytometry, and microscopy. We show that the EC provides a descriptor that effectively reduces complex datasets and that this reduction facilitates tasks such as visualization, regression, classification, and clustering., Comment: 26 pages, 21 figures

One of the most basic notions in physics is the partitioning of a system into subsystems, and the study of correlations among its parts. In this work, we explore these notions in the context of quantum reference frame (QRF) covariance, in which this partitioning is subject to a symmetry constraint. We demonstrate that different reference frame perspectives induce different sets of subsystem observable algebras, which leads to a gauge-invariant, frame-dependent notion of subsystems and entanglement. We further demonstrate that subalgebras which commute before imposing the symmetry constraint can translate into non-commuting algebras in a given QRF perspective after symmetry imposition. Such a QRF perspective does not inherit the distinction between subsystems in terms of the corresponding tensor factorizability of the kinematical Hilbert space and observable algebra. Since the condition for this to occur is contingent on the choice of QRF, the notion of subsystem locality is frame-dependent., Comment: 8+10 pages, 1 figure

Almost all statistical and machine learning methods in analyzing brain networks rely on distances and loss functions, which are mostly Euclidean or matrix norms. The Euclidean or matrix distances may fail to capture underlying subtle topological differences in brain networks. Further, Euclidean distances are sensitive to outliers. A few extreme edge weights may severely affect the distance. Thus it is necessary to use distances and loss functions that recognize topology of data. In this review paper, we survey various topological distance and loss functions from topological data analysis (TDA) and persistent homology that can be used in brain network analysis more effectively. Although there are many recent brain imaging studies that are based on TDA methods, possibly due to the lack of method awareness, TDA has not taken as the mainstream tool in brain imaging field yet. The main purpose of this paper is provide the relevant technical survey of these powerful tools that are immediately applicable to brain network data.

We present the final Sloan Digital Sky Survey IV (SDSS-IV) quasar catalog from Data Release 16 of the extended Baryon Oscillation Spectroscopic Survey (eBOSS). This catalog comprises the largest selection of spectroscopically confirmed quasars to date. The full catalog includes two sub-catalogs: a "superset" of all SDSS-IV/eBOSS objects targeted as quasars containing 1,440,615 observations and a quasar-only catalog containing 750,414 quasars, including 225,082 new quasars appearing in an SDSS data release for the first time, as well as known quasars from SDSS-I/II/III. We present automated identification and redshift information for these quasars alongside data from visual inspections for 320,161 spectra. The quasar-only catalog is estimated to be 99.8% complete with 0.3% to 1.3% contamination. Automated and visual inspection redshifts are supplemented by redshifts derived via principal component analysis and emission lines. We include emission line redshifts for H$\alpha$, H$\beta$, Mg II, C III], C IV, and Ly$\alpha$. Identification and key characteristics generated by automated algorithms are presented for 99,856 Broad Absorption Line quasars and 35,686 Damped Lyman Alpha quasars. In addition to SDSS photometric data, we also present multi-wavelength data for quasars from GALEX, UKIDSS, WISE, FIRST, ROSAT/2RXS, XMM-Newton, and Gaia. Calibrated digital optical spectra for these quasars can be obtained from the SDSS Science Archive Server., Comment: 32 pages, 13 figures, 6 tables. Accepted to ApJS. Catalog files are available at https://data.sdss.org/sas/dr16/eboss/qso/DR16Q/ . A summary of all SDSS BAO and RSD measurements with legacy figures can be found at https://www.sdss.org/science/final-bao-and-rsd-measurements/ while full cosmological interpretation of these can be found at https://www.sdss.org/science/cosmology-results-from-eboss/

We have previously shown (arXiv:1912.00033) that three approaches to relational quantum dynamics -- relational Dirac observables, the Page-Wootters formalism and quantum deparametrizations -- are equivalent. Here we show that this `trinity' of relational quantum dynamics holds in relativistic settings per frequency superselection sector. We ascribe the time according to the clock subsystem to a POVM which is covariant with respect to its (quadratic) Hamiltonian. This differs from the usual choice of a self-adjoint clock observable conjugate to the clock momentum. It also resolves Kucha\v{r}'s criticism that the Page-Wootters formalism yields incorrect localization probabilities for the relativistic particle when conditioning on a Minkowski time operator. We show that conditioning instead on the covariant clock POVM results in a Newton-Wigner type localization probability commonly used in relativistic quantum mechanics. By establishing the equivalence mentioned above, we also assign a consistent conditional-probability interpretation to relational observables and deparametrizations. Finally, we expand a recent method of changing temporal reference frames, and show how to transform states and observables frequency-sector-wise. We use this method to discuss an indirect clock self-reference effect and explore the state and temporal frame-dependence of the task of comparing and synchronizing different quantum clocks., Comment: 28+7 pages

The entanglement harvesting protocol is an operational way to probe vacuum entanglement. This protocol relies on two atoms, modelled by Unruh-DeWitt detectors, that are initially unentangled. These atoms then interact locally with the field and become entangled. If the atoms remain spacelike separated, any entanglement between them is a result of entanglement that is `harvested' from the field. Thus, quantifying this entanglement serves as a proxy for how entangled the field is across the regions in which the atoms interacted. Using this protocol, it is demonstrated that while the transition probability of an individual inertial atom is unaffected by the presence of a gravitational wave, the entanglement harvested by two atoms depends sensitively on the frequency of the gravitational wave, exhibiting novel resonance effects when the energy gap of the detectors is tuned to the frequency of the gravitational wave. This suggests that the entanglement signature left by a gravitational wave may be useful in characterizing its properties, and potentially useful in exploring the gravitational-wave memory effect and gravitational-wave induced decoherence., Comment: 6 + 8 pages, 6 figures

Quantum time dilation occurs when a clock moves in a superposition of relativistic momentum wave packets. We utilize the lifetime of an excited hydrogen-like atom as a clock to demonstrate how quantum time dilation manifests in a spontaneous emission process. The resulting emission rate differs when compared to the emission rate of an atom prepared in a mixture of momentum wave packets at order $v^2/c^2$. This effect is accompanied by a quantum correction to the Doppler shift due to the coherence between momentum wave packets. This quantum Doppler shift affects the spectral line shape at order $v/c$. However, its effect on the decay rate is suppressed when compared to the effect of quantum time dilation. We argue that spectroscopic experiments offer a technologically feasible platform to explore the effects of quantum time dilation., Comment: 15 pages

A primary hypothesis that drives scientific and engineering studies is that data has structure. The dominant paradigms for describing such structure are statistics (e.g., moments, correlation functions) and signal processing (e.g., convolutional neural nets, Fourier series). Topological Data Analysis (TDA) is a field of mathematics that analyzes data from a fundamentally different perspective. TDA represents datasets as geometric objects and provides dimensionality reduction techniques that project such objects onto low-dimensional spaces that are composed of elementary geometric objects. Key property of these elementary objects (also known as topological features) are that they persist at different scales and that they are stable under perturbations (e.g., noise, stretching, twisting, and bending). In this work, we review key mathematical concepts and methods of TDA and present different applications in chemical engineering., Comment: 42 pages, 44 figures

A novel quantum time dilation effect is shown to arise when a clock moves in a quantum superposition of two relativistic velocities. This effect is argued to be measurable using existing atomic interferometry techniques, potentially offering a new test of relativistic quantum theory., Comment: Essay written for the Gravity Research Foundation 2020 Awards for Essays on Gravitation

Hydrocarbon films confined between smooth mica surfaces have long provided an experimental playground for model studies of structure and dynamics of confined liquids. However fundamental questions regarding the phase behavior and shear properties in this simple system remain unsolved. With ultra-sensitive resolution in film thickness and shear stress, and control over the crystallographic alignment of the confining surfaces, we here investigate the shear forces transmitted across nanoscale films of dodecane down to a single molecular layer. We resolve the conditions under which liquid-solid phase transitions occur and explain friction coefficients spanning several orders of magnitude. We find that commensurate surface alignment and presence of water at the interfaces each lead to moderate or high friction, whereas friction coefficients down to 0.001 are observed for a single molecular layer of dodecane trapped between crystallographically misaligned dry surfaces. This ultralow friction is attributed to sliding at the incommensurate interface between one of the mica surfaces and the laterally ordered solid molecular film, reconciling previous interpretations.

The problem of time in quantum gravity calls for a relational solution. Using quantum reduction maps, we establish a previously unknown equivalence between three approaches to relational quantum dynamics: 1) relational observables in the clock-neutral picture of Dirac quantization, 2) Page and Wootters' (PW) Schr\"odinger picture formalism, and 3) the relational Heisenberg picture obtained via symmetry reduction. Constituting three faces of the same dynamics, we call this equivalence the trinity. We develop a quantization procedure for relational Dirac observables using covariant POVMs which encompass non-ideal clocks. The quantum reduction maps reveal this procedure as the quantum analog of gauge-invariantly extending gauge-fixed quantities. We establish algebraic properties of these relational observables. We extend a recent clock-neutral approach to changing temporal reference frames, transforming relational observables and states, and demonstrate a clock dependent temporal nonlocality effect. We show that Kucha\v{r}'s criticism, alleging that the conditional probabilities of the PW formalism violate the constraint, is incorrect. They are a quantum analog of a gauge-fixed description of a gauge-invariant quantity and equivalent to the manifestly gauge-invariant evaluation of relational observables in the physical inner product. The trinity furthermore resolves a previously reported normalization ambiguity and clarifies the role of entanglement in the PW formalism. The trinity finally permits us to resolve Kucha\v{r}'s criticism that the PW formalism yields wrong propagators by showing how conditional probabilities of relational observables give the correct transition probabilities. Unlike previous proposals, our resolution does not invoke approximations, ideal clocks or ancilla systems, is manifestly gauge-invariant, and easily extends to an arbitrary number of conditionings., Comment: 38+15 pages, 6 figures, simplified notation, some simplified results, addressed Unruh's and Wald's non-monotonicity issue of realistic quantum clocks, expanded comparison with previous proposals for resolving Kuchar's criticisms, references updated

The quantum measurement problem can be regarded as the tension between the two alternative dynamics prescribed by quantum mechanics: the unitary evolution of the wave function and the state-update rule (or "collapse") at the instant a measurement takes place. The notorious Wigner's friend gedankenexperiment constitutes the paradoxical scenario in which different observers (one of whom is observed by the other) describe one and the same interaction differently, one --the Friend-- via state-update and the other --Wigner-- unitarily. This can lead to Wigner and his friend assigning different probabilities to the outcome of the same subsequent measurement. In this paper, we apply the Page-Wootters mechanism (PWM) as a timeless description of Wigner's friend-like scenarios. We show that the standard rules to assign two-time conditional probabilities within the PWM need to be modified to deal with the Wigner's friend gedankenexperiment. We identify three main definitions of such modified rules to assign two-time conditional probabilities, all of which reduce to standard quantum theory for non-Wigner's friend scenarios. However, when applied to the Wigner's friend setup each rule assigns different conditional probabilities, potentially resolving the probability-assignment paradox in a different manner. Moreover, one rule imposes strict limits on when a joint probability distribution for the measurement outcomes of Wigner and his Friend is well-defined, which single out those cases where Wigner's measurement does not disturb the Friend's memory and such a probability has an operational meaning in terms of collectible statistics. Interestingly, the same limits guarantee that said measurement outcomes fulfill the consistency condition of the consistent histories framework., Comment: 12 pages (plus appendices), 2 figures. Accepted for publication in Quantum

The Unruh effect is a surprising prediction of quantum field theory that asserts accelerating observers perceive a thermal spectrum of particles with a temperature proportional to their acceleration. However, it has recently been shown that particle detectors can click less often or even cool down as their acceleration increases, in contrast to the heating one would expect. This leads to the so called anti-Unruh phenomena. Here we consider detectors outside a BTZ black hole and demonstrate the existence of black hole analogues of these effects, which we dub anti-Hawking phenomena., Comment: 10 pages, 3 figures

Deployment of quantum technology in space provides opportunities for new types of precision tests of gravity. On the other hand, the operational demands of such technology can make previously unimportant effects practically relevant. We describe a novel optical interferometric red-shift measurement and a measurement scheme designed to witness possible spin-gravity coupling effects., Comment: 4 pages, 1 figure. Submitted to the Proceedings of the Fifteenth Marcel Grossmann Meeting, Rome, July 2018

At the intersection of quantum theory and relativity lies the possibility of a clock experiencing a superposition of proper times. We consider quantum clocks constructed from the internal degrees of relativistic particles that move through curved spacetime. The probability that one clock reads a given proper time conditioned on another clock reading a different proper time is derived. From this conditional probability distribution, it is shown that when the center-of-mass of these clocks move in localized momentum wave packets they observe classical time dilation. We then illustrate a quantum correction to the time dilation observed by a clock moving in a superposition of localized momentum wave packets that has the potential to be observed in experiment. The Helstrom-Holevo lower bound is used to derive a proper time-energy/mass uncertainty relation., Comment: Updated to match published version

We generalize a quantum communication protocol introduced by Bartlett et al. [New. J. Phys. 11, 063013 (2009)] in which two parties communicating do not share a classical reference frame, to the case where changes of their reference frames form a one-dimensional noncompact Lie group. Alice sends to Bob the state $\rho_R \otimes \rho_S$, where $\rho_S$ is the state of the system Alice wishes to communicate and $\rho_R$ is the state of an ancillary system serving as a token of her reference frame. Because Bob is ignorant of the relationship between his reference frame and Alice's, he will describe the state $\rho_R \otimes \rho_S$ as an average over all possible reference frames. Bob measures the reference token and applies a correction to the system Alice wished to communicate conditioned on the outcome of the measurement. The recovered state $\rho_S'$ is decohered with respect to $\rho_S$, the amount of decoherence depending on the properties of the reference token $\rho_R$. We present an example of this protocol when Alice and Bob do not share a reference frame associated with the one-dimensional translation group and use the fidelity between $\rho_S$ and $\rho_S'$ to quantify the success of the recovery operation., Comment: Comments welcome

The Einstein Equivalence Principle (EEP) underpins all metric theories of gravity. One of its key aspects is the local position invariance (LPI) of non-gravitational experiments, which is captured by the gravitational red-shift. The iconic gravitational red-shift experiment places two fermionic systems, used as clocks, in different gravitational potentials and compares them using the electromagnetic field. However, the electromagnetic field itself can be used as a clock, by comparing the phases acquired by two optical pulses propagating through different gravitational potentials. A fundamental point in the implementation of a satellite large-distance optical interferometric experiment is the suppression of the first-order Doppler effect, which dominates the weak gravitational signal necessary to test the EEP. Here, we propose a novel scheme to suppress it, by subtracting the phase-shifts measured in the one-way and in the two-way configuration between a ground station and a satellite. We present a detailed analysis of this technique within the post-Newtonian framework and perform some simulations of its performance using realistic satellite orbits and the state-of-the-art fiber technology at the telecom wavelength of 1550 nm., Comment: manuscript improved

We examine in $(2+1)$-dimensional anti-de Sitter (AdS) space the phenomena of entanglement harvesting - the process in which a pair of detectors (two-level atoms) extract entanglement from a quantum field through local interactions with the field. We begin by reviewing the Unruh-DeWitt detector and its interaction with a real scalar field in the vacuum state, as well as the entanglement harvesting protocol in general. We then examine how the entanglement harvested by a pair of such detectors depends on their spacetime trajectory, separation, spacetime curvature, and boundary conditions satisfied by the field. The harvested entanglement is interpreted as an indicator of field entanglement between the localized regions where the detectors interact with the field, and thus this investigation allows us to probe indirectly the entanglement structure of the AdS vacuum. We find an island of separability for specific values of the detectors' energy gap and separation at intermediate values of the AdS length for which entanglement harvesting is not possible; an analogous phenomena is observed in AdS$_4$, to which we compare and contrast our results. In the process we examine how the transition probability of a single detector, as a proxy for local fluctuations of the field, depends on spacetime curvature, its location in AdS space, and boundary conditions satisfied by the field., Comment: 22 pages, 16 figures

We implement the entanglement harvesting protocol, in which two Unruh-DeWitt detectors become entangled through local interactions with a quantum field, for the first time in the vicinity of a black hole. Our study, focusing on the BTZ black hole, reveals that black holes inhibit entanglement harvesting. The entanglement harvested rapidly falls to zero when two detectors with fixed proper separation approach the horizon. This effect is a combination of black hole radiation and gravitational red shift, both generic properties of horizons, suggesting it is a general result for black holes., Comment: 6 pages, 3 figures

The leaves of many plants are superhydrophobic, a property that may have evolved to clean the leaves by encouraging water droplets to bead up and roll off. Superhydrophobic surfaces can also exhibit reduced friction and liquids flowing over such surfaces have been found to slip in apparent violations of the classical no-slip boundary condition. Here we introduce slip into a model for rolling droplets on superhydrophobic surfaces and investigate under what conditions slip might be important for the steady state motion. In particular, we examine three limiting cases where dissipation in the rolling droplet is dominated by viscous dissipation, surface friction, or contact line friction. We find that in molecular dynamics simulations of droplets on ideal superhydrophobic surfaces with large effective slip lengths, contact line dissipation dominates droplet motion. However, on real leaves, droplet motion is likely to be dominated by viscous shear, and slip, for the most part, can be neglected.

This article generalizes the conditional probability interpretation of time in which time evolution is realized through entanglement between a clock and a system of interest. This formalism is based upon conditioning a solution to the Wheeler-DeWitt equation on a subsystem of the Universe, serving as a clock, being in a state corresponding to a time $t$. Doing so assigns a conditional state to the rest of the Universe $|\psi_S(t)\rangle$, referred to as the system. We demonstrate that when the total Hamiltonian appearing in the Wheeler-DeWitt equation contains an interaction term coupling the clock and system, the conditional state $|\psi_S(t)\rangle$ satisfies a time-nonlocal Schr\"{o}dinger equation in which the system Hamiltonian is replaced with a self-adjoint integral operator. This time-nonlocal Schr\"{o}dinger equation is solved perturbatively and three examples of clock-system interactions are examined. One example considered supposes that the clock and system interact via Newtonian gravity, which leads to the system's Hamiltonian developing corrections on the order of $G/c^4$ and inversely proportional to the distance between the clock and system., Comment: Two new examples of clock-system interactions have been added and a few points clarified. Comments welcome

We show that massive particles created in a relativistically accelerated reference frame, as predicted by the Unruh effect, can only be found in a tiny layer above the event horizon, whose thickness corresponds to a single Compton wavelength. This is beyond the reach of any detector and suggests that the Unruh effect may not ever be directly observed for massive fields. The case of massless particles is also examined, for which qualitatively different behaviour is observed in a low-acceleration regime, suggesting that an observation of the Unruh effect for massless particles is more promising.

The interaction between charged objects in an electrolyte solution is a fundamental question in soft matter physics. It is well-known that the electrostatic contribution to the interaction energy decays exponentially with object separation. Recent measurements reveal that, contrary to the conventional wisdom given by classic Poisson-Boltzmann theory, the decay length increases with ion concentration for concentrated electrolytes and can be an order of magnitude larger than the ion diameter in ionic liquids. We derive a simple scaling theory that explains this anomalous dependence of the decay length on ion concentration. Our theory successfully collapses the decay lengths of a wide class of salts onto a single curve. A novel prediction of our theory is that the decay length increases linearly with the Bjerrum length, which we experimentally verify by surface force measurements. Moreover, we quantitatively relate the measured decay length to classic measurements of the activity coefficient in concentrated electrolytes, thus showing that the measured decay length is indeed a bulk property of the concentrated electrolyte as well as contributing a mechanistic insight into empirical activity coefficients., Comment: To appear in Physical Review Letters

The structure and interactions in electrolytes at high concentration have implications from energy storage to biomolecular interactions. However many experimental observations are yet to be explained in these mixtures, which are far beyond the regime of validity of mean field models. Here, we study the structural forces in a mixture of ionic liquid and solvent that is miscible in all proportions at room temperature. Using the surface force balance to measure the force between macroscopic smooth surfaces across the liquid mixtures, we uncover an abrupt increase in the wavelength above a threshold ion concentration. Below the threshold concentration the wavelength is determined by the size of the solvent molecule, whereas above the threshold it is the diameter of a cation-anion pair that determines the wavelength., Comment: PRL in press

We prove that the $2^\infty$-class groups of the imaginary quadratic fields have the distribution predicted by the Cohen-Lenstra heuristic. Given an elliptic curve E/Q with full rational 2-torsion and no rational cyclic subgroup of order four, we analogously prove that the $2^\infty$-Selmer groups of the quadratic twists of E have distribution as predicted by Delaunay's heuristic. In particular, among the twists E^d with |d| < N, the number of curves with rank at least two is $o(N)$., Comment: 84 pages, comments welcome

Screening of a surface charge by electrolyte and the resulting interaction energy between charged objects is of fundamental importance in scenarios from bio-molecular interactions to energy storage. The conventional wisdom is that the interaction energy decays exponentially with object separation and the decay length is a decreasing function of ion concentration; the interaction is thus negligible in a concentrated electrolyte. Contrary to this conventional wisdom, we have shown by surface force measurements that the decay length is an increasing function of ion concentration and Bjerrum length for concentrated electrolytes. In this paper we report surface force measurements to test directly the scaling of the screening length with Bjerrum length. Furthermore, we identify a relationship between the concentration dependence of this screening length and empirical measurements of activity coefficient and differential capacitance. The dependence of the screening length on the ion concentration and the Bjerrum length can be explained by a simple scaling conjecture based on the physical intuition that solvent molecules, rather than ions, are charge carriers in a concentrated electrolyte., Comment: Accepted as a conference paper for "Chemical Physics of Electroactive Materials: Faraday Discussion" (10-12 April 2017, Cambridge, UK)

In this paper, a control approach called Artificial Neural Tissue (ANT) is applied to multirobot excavation for lunar base preparation tasks including clearing landing pads and burying of habitat modules. We show for the first time, a team of autonomous robots excavating a terrain to match a given 3D blueprint. Constructing mounds around landing pads will provide physical shielding from debris during launch/landing. Burying a human habitat modules under 0.5 m of lunar regolith is expected to provide both radiation shielding and maintain temperatures of -25 $^{o}$C. This minimizes base life-support complexity and reduces launch mass. ANT is compelling for a lunar mission because it doesn't require a team of astronauts for excavation and it requires minimal supervision. The robot teams are shown to autonomously interpret blueprints, excavate and prepare sites for a lunar base. Because little pre-programmed knowledge is provided, the controllers discover creative techniques. ANT evolves techniques such as slot-dozing that would otherwise require excavation experts. This is critical in making an excavation mission feasible when it is prohibitively expensive to send astronauts. The controllers evolve elaborate negotiation behaviors to work in close quarters. These and other techniques such as concurrent evolution of the controller and team size are shown to tackle problem of antagonism, when too many robots interfere reducing the overall efficiency or worse, resulting in gridlock. While many challenges remain with this technology our work shows a compelling pathway for field testing this approach., Comment: 38 pages, 32 figures, archive of journal article, in Robotica, 2017

Taking A to be an abelian variety with full 2-torsion over a number field k, we investigate how the 4-Selmer rank of the quadratic twist A^d changes with d. We show that this rank depends on the splitting behavior of the primes dividing d in a certain number field L/k. Assuming the grand Riemann hypothesis, we then prove that, given an elliptic curve E/Q with full rational 2-torsion, the quadratic twist family of E usually has the distribution of $4$-Selmer groups predicted by Delaunay's heuristic. Analogously, and still subject to the grand Riemann hypothesis, we prove that the set of quadratic imaginary fields has the distribution of 8-class groups predicted by the Cohen-Lenstra heuristic., Comment: 30 pages

According to classical electrolyte theories interactions in dilute (low ion density) electrolytes decay exponentially with distance, with the Debye screening length the characteristic length-scale. This decay length decreases monotonically with increasing ion concentration, due to effective screening of charges over short distances. Thus within the Debye model no long-range forces are expected in concentrated electrolytes. Here we reveal, using experimental detection of the interaction between two planar charged surfaces across a wide range of electrolytes, that beyond the dilute (Debye-Huuckel) regime the screening length increases with increasing concentration. The screening lengths for all electrolytes studied - including aqueous NaCl solutions, ionic liquids diluted with propylene carbonate, and pure ionic liquids - collapse onto a single curve when scaled by the dielectric constant. This non-monotonic variation of the screening length with concentration, and its generality across ionic liquids and aqueous salt solutions, demonstrates an important characteristic of concentrated electrolytes of substantial relevance from biology to energy storage., Comment: This document is the unedited authors' version of a Submitted Work that was subsequently accepted for publication in the Journal of Physical Chemistry Letters, copyright American Chemical Society, after peer review. To access the final edited and published work see http://pubsdc3.acs.org/articlesonrequest/AOR-EW6FuIC6wIh6D9qqEeHD

We prove that the rational elliptic curve y^2 = x^3 - n^2x satisfies the full Birch and Swinnerton-Dyer conjecture for at least 41.9% of positive squarefree integers n equal to 1, 2, or 3 mod 8, and that it satisfies the regular BSD conjecture for at least 55.9% of positive squarefree integers n equal to 5, 6, or 7 mod 8. In particular, at least 55.9% of positive squarefree integers equal to 5, 6, or 7 mod 8 are congruent numbers. These proofs complete an argument started by Tian, Yuan, and Zhang., Comment: 32 Pages

Quantum communication without a shared reference frame or the construction of a relational quantum theory requires the notion of a quantum reference frame. We analyze aspects of quantum reference frames associated with non-compact groups, specifically the group of spatial translations and Galilean boosts. We begin by demonstrating how the usually employed group average, used to dispense of the notion of an external reference frame, leads to unphysical states when applied to reference frames associated with non-compact groups. However, we show that this average does lead naturally to a reduced state on the relative degrees of freedom of a system, which was previously considered by Angelo et al. [1]. We then study in detail the informational properties of this reduced state for systems of two and three particles in Gaussian states.