-
The period-index conjecture for abelian threefolds and Donaldson-Thomas theory
Authors:
James Hotchkiss,
Alexander Perry
Abstract:
We prove the period-index conjecture for unramified Brauer classes on abelian threefolds. To do so, we develop a theory of reduced Donaldson-Thomas invariants for 3-dimensional Calabi-Yau categories, with the feature that the noncommutative variational integral Hodge conjecture holds for classes with nonvanishing invariant. The period-index result is then proved by interpreting it as the algebraic…
▽ More
We prove the period-index conjecture for unramified Brauer classes on abelian threefolds. To do so, we develop a theory of reduced Donaldson-Thomas invariants for 3-dimensional Calabi-Yau categories, with the feature that the noncommutative variational integral Hodge conjecture holds for classes with nonvanishing invariant. The period-index result is then proved by interpreting it as the algebraicity of a Hodge class on the twisted derived category, and specializing within the Hodge locus to an untwisted abelian threefold with nonvanishing invariant. As a consequence, we also deduce the integral Hodge conjecture for generically twisted abelian threefolds.
△ Less
Submitted 9 June, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Stability conditions on crepant resolutions of quotients of product varieties
Authors:
Alexander Perry,
Saket Shah
Abstract:
We construct stability conditions on crepant resolutions of certain quotients of product varieties, giving as a special case the first examples of stability conditions on strict Calabi-Yau varieties of arbitrary dimension. Along the way, we prove the crepant resolutions are derived equivalent to the corresponding quotient stacks, verifying an instance of a conjecture of Bondal and Orlov.
We construct stability conditions on crepant resolutions of certain quotients of product varieties, giving as a special case the first examples of stability conditions on strict Calabi-Yau varieties of arbitrary dimension. Along the way, we prove the crepant resolutions are derived equivalent to the corresponding quotient stacks, verifying an instance of a conjecture of Bondal and Orlov.
△ Less
Submitted 4 July, 2024; v1 submitted 13 April, 2024;
originally announced April 2024.
-
Derived categories of quartic double fivefolds
Authors:
Raymond Cheng,
Alexander Perry,
Xiaolei Zhao
Abstract:
We construct singular quartic double fivefolds whose Kuznetsov component admits a crepant categorical resolution of singularities by a twisted Calabi--Yau threefold. We also construct rational specializations of these fivefolds where such a resolution exists without a twist. This confirms an instance of a higher-dimensional version of Kuznetsov's rationality conjecture, and of a noncommutative ver…
▽ More
We construct singular quartic double fivefolds whose Kuznetsov component admits a crepant categorical resolution of singularities by a twisted Calabi--Yau threefold. We also construct rational specializations of these fivefolds where such a resolution exists without a twist. This confirms an instance of a higher-dimensional version of Kuznetsov's rationality conjecture, and of a noncommutative version of Reid's fantasy on the connectedness of the moduli of Calabi--Yau threefolds.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Scalable Multispecies Ion Transport in a Grid Based Surface-Electrode Trap
Authors:
Robert D. Delaney,
Lucas R. Sletten,
Matthew J. Cich,
Brian Estey,
Maya Fabrikant,
David Hayes,
Ian M. Hoffman,
James Hostetter,
Christopher Langer,
Steven A. Moses,
Abigail R. Perry,
Timothy A. Peterson,
Andrew Schaffer,
Curtis Volin,
Grahame Vittorini,
William Cody Burton
Abstract:
We present a scalable method for the control of ion crystals in a grid-based surface electrode Paul trap and characterize it in the context of transport operations that sort and reorder multispecies crystals. By combining co-wiring of control electrodes at translationally symmetric locations in each grid site with the site-wise ability to exchange the voltages applied to two special electrodes gat…
▽ More
We present a scalable method for the control of ion crystals in a grid-based surface electrode Paul trap and characterize it in the context of transport operations that sort and reorder multispecies crystals. By combining co-wiring of control electrodes at translationally symmetric locations in each grid site with the site-wise ability to exchange the voltages applied to two special electrodes gated by a binary input, site-dependent operations are achieved using only a fixed number of analog voltage signals and a single digital input per site. In two separate experimental systems containing nominally identical grid traps, one using $^{171}\mathrm{Yb}^{+}$-$^{138}\mathrm{Ba}^{+}$ crystals and the other $^{137}\mathrm{Ba}^{+}$-$^{88}\mathrm{Sr}^{+}$, we demonstrate this method by characterizing the conditional intra-site crystal reorder and the conditional exchange of ions between adjacent sites on the grid. Averaged across a multi-site region of interest, we measure sub-quanta motional excitation in the axial in-phase and out-of-phase modes of the crystals following these operations at exchange rates of 2.5 kHz. These conditional transport operations display all necessary components for sorting qubits, and could be extended to implement other conditional operations involving control fields such as gates, initialization, and measurement.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Moduli spaces of stable objects in Enriques categories
Authors:
Alexander Perry,
Laura Pertusi,
Xiaolei Zhao
Abstract:
We study moduli spaces of stable objects in Enriques categories by exploiting their relation to moduli spaces of stable objects in associated K3 categories. In particular, we settle the nonemptiness problem for moduli spaces of stable objects in the Kuznetsov components of several interesting classes of Fano varieties, and deduce the nonemptiness of fixed loci of certain antisymplectic involutions…
▽ More
We study moduli spaces of stable objects in Enriques categories by exploiting their relation to moduli spaces of stable objects in associated K3 categories. In particular, we settle the nonemptiness problem for moduli spaces of stable objects in the Kuznetsov components of several interesting classes of Fano varieties, and deduce the nonemptiness of fixed loci of certain antisymplectic involutions on modular hyperkähler varieties.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
Parameterized Learning and Distillation with Vortex-encoded Spectral Correlations
Authors:
Altai Perry,
Xiao**g Weng,
Erfan Nozari,
Luat Vuong
Abstract:
Spectral computational methods leverage modal or nonlocal representations of data, and a physically realized approach to spectral computation pertains to encoded diffraction. Encoded diffraction offers a hybrid approach that pairs analog wave propagation with digital back-end electronics, however the intermediate sensor patterns are correlations rather than linear signal weights, which limits the…
▽ More
Spectral computational methods leverage modal or nonlocal representations of data, and a physically realized approach to spectral computation pertains to encoded diffraction. Encoded diffraction offers a hybrid approach that pairs analog wave propagation with digital back-end electronics, however the intermediate sensor patterns are correlations rather than linear signal weights, which limits the development of robust and efficient downstream analyses. Here, with vortex encoders, we show that the solution for the signal field from sensor intensity adopts the form of polynomial regression, which is subsequently solved with a learned, linear transformation. This result establishes an analytic rationale for a spectral-methods paradigm in physically realized machine learning systems. To demonstrate this paradigm, we quantify the learning that is transferred with an image basis using speckle parameters, Singular-Value Decomposition Entropy ($H_{SVD}$) and Speckle-Analogue Density (SAD). We show that $H_{SVD}$, a proxy for image complexity, indicates the rate at which a model converges. Similarly, SAD, an averaged spatial frequency, marks a threshold for structurally similar reconstruction. With a vortex encoder, this approach with parameterized training may be extended to distill features. In fact, with images reconstructed with our models, we achieve classification accuracies that rival decade-old, state-of-the-art computer algorithms. This means that the process of learning compressed spectral correlations distills features to aid image classification, even when the goal images are feature-agnostic speckles. Our work highlights opportunities for analytic and axiom-driven machine-learning designs appropriate for real-time applications.
△ Less
Submitted 6 October, 2023; v1 submitted 24 April, 2023;
originally announced April 2023.
-
The period-index problem and Hodge theory
Authors:
Aise Johan de Jong,
Alexander Perry
Abstract:
Conditional on the Lefschetz standard conjecture in degree 2, we prove that the index of a Brauer class on a smooth projective variety divides a fixed power of its period, uniformly in smooth families. In the other direction, we reinterpret in more classical terms recent work of Hotchkiss which gives Hodge-theoretic lower bounds on the index of Brauer classes. We also prove versions of our results…
▽ More
Conditional on the Lefschetz standard conjecture in degree 2, we prove that the index of a Brauer class on a smooth projective variety divides a fixed power of its period, uniformly in smooth families. In the other direction, we reinterpret in more classical terms recent work of Hotchkiss which gives Hodge-theoretic lower bounds on the index of Brauer classes. We also prove versions of our results over arbitrary algebraically closed base fields, and as an application construct qualitatively new counterexamples to the integral Tate conjecture.
△ Less
Submitted 25 December, 2022;
originally announced December 2022.
-
Singular Value Decomposition and Entropy Dimension of Fractals
Authors:
Xiao**g Weng,
Altai Perry,
Michael Maroun,
Luat T. Vuong
Abstract:
We analyze the singular value decomposition (SVD) and SVD entropy of Cantor fractals produced by the Kronecker product. Our primary results show that SVD entropy is a measure of image ``complexity dimension" that is invariant under the number of Kronecker-product self-iterations (i.e., fractal order). SVD entropy is therefore similar to the fractal Hausdorff complexity dimension but suitable for c…
▽ More
We analyze the singular value decomposition (SVD) and SVD entropy of Cantor fractals produced by the Kronecker product. Our primary results show that SVD entropy is a measure of image ``complexity dimension" that is invariant under the number of Kronecker-product self-iterations (i.e., fractal order). SVD entropy is therefore similar to the fractal Hausdorff complexity dimension but suitable for characterizing fractal wave phenomena. Our field-based normalization (Renyi entropy index = 1) illustrates the uncommon step-shaped and cluster-patterned distributions of the fractal singular values and their SVD entropy. As a modal measure of complexity, SVD entropy has uses for a variety of wireless communication, free-space optical, and remote sensing applications.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
A family of mixture models for beta valued DNA methylation data
Authors:
Koyel Majumdar,
Romina Silva,
Antoinette Sabrina Perry,
Ronald William Watson,
Andrea Rau,
Florence Jaffrezic,
Thomas Brendan Murphy,
Isobel Claire Gormley
Abstract:
As hypermethylation of promoter cytosine-guanine dinucleotide (CpG) islands has been shown to silence tumour suppressor genes, identifying differentially methylated CpG sites between different samples can assist in understanding disease. Differentially methylated CpG sites (DMCs) can be identified using moderated t-tests or nonparametric tests, but this typically requires the use of data transform…
▽ More
As hypermethylation of promoter cytosine-guanine dinucleotide (CpG) islands has been shown to silence tumour suppressor genes, identifying differentially methylated CpG sites between different samples can assist in understanding disease. Differentially methylated CpG sites (DMCs) can be identified using moderated t-tests or nonparametric tests, but this typically requires the use of data transformations due to a lack of appropriate statistical methods able to adequately account for the bounded nature of DNA methylation data.
We propose a family of beta mixture models (BMMs) which use a model-based approach to cluster CpG sites given their original beta-valued methylation data, with no need for transformations. The BMMs allow (i) objective inference of methylation state thresholds and (ii) identification of DMCs between different sample types. The BMMs employ different parameter constraints facilitating application to different study settings. Parameter estimation proceeds via an expectation-maximisation algorithm, with a novel approximation in the maximization step providing tractability and computational feasibility.
Performance of BMMs is assessed through thorough simulation studies, and the BMMs are used to analyse a prostate cancer dataset. The BMMs objectively infer intuitive and biologically interpretable methylation state thresholds, and identify DMCs that are related to genes implicated in carcinogenesis and involved in cancer related pathways. An R package betaclust facilitates widespread use of BMMs.
△ Less
Submitted 18 March, 2024; v1 submitted 3 November, 2022;
originally announced November 2022.
-
Transport of multispecies ion crystals through a junction in an RF Paul trap
Authors:
William Cody Burton,
Brian Estey,
Ian M. Hoffman,
Abigail R. Perry,
Curtis Volin,
Gabriel Price
Abstract:
We report on the first demonstration of transport of a multispecies ion crystal through a junction in an RF Paul trap. The trap is a two-dimensional surface-electrode trap with an X junction and segmented control electrodes to which time-varying voltages are applied to control the shape and position of potential wells above the trap surface. We transport either a single $^{171}$Yb$^+$ ion or a cry…
▽ More
We report on the first demonstration of transport of a multispecies ion crystal through a junction in an RF Paul trap. The trap is a two-dimensional surface-electrode trap with an X junction and segmented control electrodes to which time-varying voltages are applied to control the shape and position of potential wells above the trap surface. We transport either a single $^{171}$Yb$^+$ ion or a crystal composed of a $^{138}$Ba$^+$ ion cotrapped with the $^{171}$Yb$^+$ ion to any port of the junction. We characterize the motional excitation by performing multiple round-trips through the junction and back to the initial well position without cooling. The final excitation is then measured using sideband asymmetry. For a single $^{171}$Yb$^+$ ion, transport with a $4\;\mathrm{m/s}$ average speed induces between $0.013\pm0.001$ and $0.014\pm0.001$ quanta of excitation per round trip, depending on the exit port. For a Ba-Yb crystal, transport at the same speed induces between $0.013\pm0.001$ and $0.030\pm0.002$ quanta per round trip of excitation to the axial center of mass mode. Excitation in the axial stretch mode ranges from $0.005\pm0.001$ to $0.021\pm0.001$ quanta per round trip.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Very-high- and ultrahigh- frequency electric field detection using high angular momentum Rydberg states
Authors:
Roger C. Brown,
Baran Kayim,
Michael A. Viray,
Abigail R. Perry,
Brian C. Sawyer,
Robert Wyllie
Abstract:
We demonstrate resonant detection of rf electric fields from 240 MHz to 900 MHz (very-high-frequency (VHF) to ultra-high-frequency (UHF)) using electromagnetically induced transparency to measure orbital angular momentum $L=3\rightarrow L'=4$ Rydberg transitions. These Rydberg states are accessible with three-photon infrared optical excitation. By resonantly detecting rf in the electrically small…
▽ More
We demonstrate resonant detection of rf electric fields from 240 MHz to 900 MHz (very-high-frequency (VHF) to ultra-high-frequency (UHF)) using electromagnetically induced transparency to measure orbital angular momentum $L=3\rightarrow L'=4$ Rydberg transitions. These Rydberg states are accessible with three-photon infrared optical excitation. By resonantly detecting rf in the electrically small regime, these states enable a new class of atomic receivers. We find good agreement between measured spectra and predictions of quantum defect theory for principal quantum numbers $n=45$ to $70$. Using a super-hetrodyne detection setup, we measure the noise floor at $n=50$ to be $13\,\mathrm{μV/m/\sqrt{Hz}}$. Additionally, we utilize data and a numerical model incorporating a five-level master equation solution to estimate the fundamental sensitivity limits of our system.
△ Less
Submitted 19 May, 2023; v1 submitted 25 May, 2022;
originally announced May 2022.
-
Kuznetsov's Fano threefold conjecture via K3 categories and enhanced group actions
Authors:
Arend Bayer,
Alexander Perry
Abstract:
We settle the last open case of Kuznetsov's conjecture on the derived categories of Fano threefolds. Contrary to the original conjecture, we prove the Kuznetsov components of quartic double solids and Gushel-Mukai threefolds are never equivalent, as recently shown independently by Zhang. On the other hand, we prove the modified conjecture asserting their deformation equivalence. Our proof of noneq…
▽ More
We settle the last open case of Kuznetsov's conjecture on the derived categories of Fano threefolds. Contrary to the original conjecture, we prove the Kuznetsov components of quartic double solids and Gushel-Mukai threefolds are never equivalent, as recently shown independently by Zhang. On the other hand, we prove the modified conjecture asserting their deformation equivalence. Our proof of nonequivalence combines a categorical Enriques-K3 correspondence with the Hodge theory of categories. Along the way, we obtain a categorical description of the periods of Gushel-Mukai varieties, which we use to resolve a conjecture of Kuznetsov and the second author on the birational categorical Torelli problem, as well as to give a simple proof of a theorem of Debarre and Kuznetsov on the fibers of the period map. Our proof of deformation equivalence relies on results of independent interest about obstructions to enhancing group actions on categories.
△ Less
Submitted 31 March, 2023; v1 submitted 8 February, 2022;
originally announced February 2022.
-
Uniform-in-Phase-Space Data Selection with Iterative Normalizing Flows
Authors:
Malik Hassanaly,
Bruce A. Perry,
Michael E. Mueller,
Shashank Yellapantula
Abstract:
Improvements in computational and experimental capabilities are rapidly increasing the amount of scientific data that is routinely generated. In applications that are constrained by memory and computational intensity, excessively large datasets may hinder scientific discovery, making data reduction a critical component of data-driven methods. Datasets are growing in two directions: the number of d…
▽ More
Improvements in computational and experimental capabilities are rapidly increasing the amount of scientific data that is routinely generated. In applications that are constrained by memory and computational intensity, excessively large datasets may hinder scientific discovery, making data reduction a critical component of data-driven methods. Datasets are growing in two directions: the number of data points and their dimensionality. Whereas dimension reduction typically aims at describing each data sample on lower-dimensional space, the focus here is on reducing the number of data points. A strategy is proposed to select data points such that they uniformly span the phase-space of the data. The algorithm proposed relies on estimating the probability map of the data and using it to construct an acceptance probability. An iterative method is used to accurately estimate the probability of the rare data points when only a small subset of the dataset is used to construct the probability map. Instead of binning the phase-space to estimate the probability map, its functional form is approximated with a normalizing flow. Therefore, the method naturally extends to high-dimensional datasets. The proposed framework is demonstrated as a viable pathway to enable data-efficient machine learning when abundant data is available. An implementation of the method is available in a companion repository (https://github.com/NREL/Phase-space-sampling).
△ Less
Submitted 27 February, 2023; v1 submitted 28 December, 2021;
originally announced December 2021.
-
Serre functors and dimensions of residual categories
Authors:
Alexander Kuznetsov,
Alexander Perry
Abstract:
We describe in terms of spherical twists the Serre functors of many interesting semiorthogonal components, called residual categories, of the derived categories of projective varieties. In particular, we show the residual categories of Fano complete intersections are fractional Calabi--Yau up to a power of an explicit spherical twist. As applications, we compute the Serre dimensions of residual ca…
▽ More
We describe in terms of spherical twists the Serre functors of many interesting semiorthogonal components, called residual categories, of the derived categories of projective varieties. In particular, we show the residual categories of Fano complete intersections are fractional Calabi--Yau up to a power of an explicit spherical twist. As applications, we compute the Serre dimensions of residual categories of Fano complete intersections, thereby proving a corrected version of a conjecture of Katzarkov and Kontsevich, and deduce the nonexistence of Serre invariant stability conditions when the degrees of the complete intersection do not all coincide.
△ Less
Submitted 29 December, 2021; v1 submitted 5 September, 2021;
originally announced September 2021.
-
Multiple-camera defocus imaging of ultracold atomic gases
Authors:
A. R. Perry,
S. Sugawa,
F. Salces-Carcoba,
Y. Yue,
I. B. Spielman
Abstract:
In cold atom experiments, each image of light refracted and absorbed by an atomic ensemble carries a remarkable amount of information. Numerous imaging techniques including absorption, fluorescence, and phase-contrast are commonly used. Other techniques such as off-resonance defocused imaging (ORDI), where an in-focus image is deconvolved from a defocused image, have been demonstrated but find onl…
▽ More
In cold atom experiments, each image of light refracted and absorbed by an atomic ensemble carries a remarkable amount of information. Numerous imaging techniques including absorption, fluorescence, and phase-contrast are commonly used. Other techniques such as off-resonance defocused imaging (ORDI), where an in-focus image is deconvolved from a defocused image, have been demonstrated but find only niche applications. The ORDI inversion process introduces systematic artifacts because it relies on regularization to account for missing information at some spatial frequencies. In the present work, we extend ORDI to use multiple cameras simultaneously at degrees of defocus, eliminating the need for regularization and its attendant artifacts. We demonstrate this technique by imaging Bose-Einstein condensates, and show that the statistical uncertainties in the measured column density using the multiple-camera off-resonance defocused (MORD) imaging method are competitive with absorption imaging near resonance and phase contrast imaging far from resonance. Experimentally, the MORD method may be incorporated into existing set-ups with minimal additional equipment.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
An all-optical intrinsic atomic gradiometer with sub-20 fT/cm/$\sqrt{\rm Hz}$ sensitivity in a 22 $μ$T earth-scale magnetic field
Authors:
A. R. Perry,
M. D. Bulatowicz,
M. Larsen,
T. G. Walker,
R. Wyllie
Abstract:
In this work we demonstrate a high sensitivity atomic gradiometer capable of operation in earth-field level environments. We apply a light-pulse sequence at four times the Larmor frequency to achieve gradiometer sensitivity <20 fT/cm/$\sqrt{\rm Hz}$ at the finite field strength of 22 $μ$T. The experimental timing sequence can be tuned to the field magnitude of interest. Our one dimensional all-opt…
▽ More
In this work we demonstrate a high sensitivity atomic gradiometer capable of operation in earth-field level environments. We apply a light-pulse sequence at four times the Larmor frequency to achieve gradiometer sensitivity <20 fT/cm/$\sqrt{\rm Hz}$ at the finite field strength of 22 $μ$T. The experimental timing sequence can be tuned to the field magnitude of interest. Our one dimensional all-optical gradiometer performs a differential measurement between two regions of a single vapor cell on a 4 cm baseline. Our results pave the way for extensions to operation in higher dimensions, vector sensitivity, and more advanced gradiometers.
△ Less
Submitted 15 November, 2020; v1 submitted 30 August, 2020;
originally announced August 2020.
-
Path Planning for Shepherding a Swarm in a Cluttered Environment using Differential Evolution
Authors:
Saber Elsayed,
Hemant Singh,
Essam Debie,
Anthony Perry,
Benjamin Campbell,
Robert Hunjet,
Hussein Abbass
Abstract:
Shepherding involves herding a swarm of agents (\emph{sheep}) by another a control agent (\emph{sheepdog}) towards a goal. Multiple approaches have been documented in the literature to model this behaviour. In this paper, we present a modification to a well-known shepherding approach, and show, via simulation, that this modification improves shepherding efficacy. We then argue that given complexit…
▽ More
Shepherding involves herding a swarm of agents (\emph{sheep}) by another a control agent (\emph{sheepdog}) towards a goal. Multiple approaches have been documented in the literature to model this behaviour. In this paper, we present a modification to a well-known shepherding approach, and show, via simulation, that this modification improves shepherding efficacy. We then argue that given complexity arising from obstacles laden environments, path planning approaches could further enhance this model. To validate this hypothesis, we present a 2-stage evolutionary-based path planning algorithm for shepherding a swarm of agents in 2D environments. In the first stage, the algorithm attempts to find the best path for the sheepdog to move from its initial location to a strategic driving location behind the sheep. In the second stage, it calculates and optimises a path for the sheep. It does so by using \emph{way points} on that path as the sequential sub-goals for the sheepdog to aim towards. The proposed algorithm is evaluated in obstacle laden environments via simulation with further improvements achieved.
△ Less
Submitted 28 August, 2020;
originally announced August 2020.
-
Calibrating the scan statistic: finite sample performance vs. asymptotics
Authors:
Guenther Walther,
Andrew Perry
Abstract:
We consider the problem of detecting an elevated mean on an interval with unknown location and length in the univariate Gaussian sequence model. Recent results have shown that using scale-dependent critical values for the scan statistic allows to attain asymptotically optimal detection simultaneously for all signal lengths, thereby improving on the traditional scan, but this procedure has been cri…
▽ More
We consider the problem of detecting an elevated mean on an interval with unknown location and length in the univariate Gaussian sequence model. Recent results have shown that using scale-dependent critical values for the scan statistic allows to attain asymptotically optimal detection simultaneously for all signal lengths, thereby improving on the traditional scan, but this procedure has been criticized for losing too much power for short signals. We explain this discrepancy by showing that these asymptotic optimality results will necessarily be too imprecise to discern the performance of scan statistics in a practically relevant way, even in a large sample context. Instead, we propose to assess the performance with a new finite sample criterion. We then present three calibrations for scan statistics that perform well across a range of relevant signal lengths: The first calibration uses a particular adjustment to the critical values and is therefore tailored to the Gaussian case. The second calibration uses a scale-dependent adjustment to the significance levels and is therefore applicable to arbitrary known null distributions. The third calibration restricts the scan to a particular sparse subset of the scan windows and then applies a weighted Bonferroni adjustment to the corresponding test statistics. This {\sl Bonferroni scan} is also applicable to arbitrary null distributions and in addition is very simple to implement. We show how to apply these calibrations for scanning in a number of distributional settings: for normal observations with an unknown baseline and a known or unknown constant variance,for observations from a natural exponential family, for potentially heteroscadastic observations from a symmetric density by employing self-normalization in a novel way, and for exchangeable observations using tests based on permutations, ranks or signs.
△ Less
Submitted 17 July, 2021; v1 submitted 13 August, 2020;
originally announced August 2020.
-
$^{23}$Ne Production at SARAF-I
Authors:
Yonatan Mishnayot,
Hitesh Rahangdale,
Ben Ohayon,
Sergey Vaintraub,
Tsviki Hirsh,
Leo Weismann,
Amichay Perry,
Asher Shor,
Arik Kreisel,
Shadi Ya'akobi,
Einat Buznach,
Guy Ron
Abstract:
In this article, we present a measurement of flow rate, yield and effusion time of a $^{23}$Ne production and transport system. We used an accelerator-driven Li(d,n) neutron source to produce neutrons up to 20 MeV. The radioactive atoms were produced by a $^{23}$Na(n,p) reaction at a NaCl target. Later, the atoms were diffused out from the NaCl crystals and effused from the production chamber via…
▽ More
In this article, we present a measurement of flow rate, yield and effusion time of a $^{23}$Ne production and transport system. We used an accelerator-driven Li(d,n) neutron source to produce neutrons up to 20 MeV. The radioactive atoms were produced by a $^{23}$Na(n,p) reaction at a NaCl target. Later, the atoms were diffused out from the NaCl crystals and effused from the production chamber via a 10 m hose to a measurement cell and their decay products were detected using high purity germanium (HPGe) and plastic scintillator detectors. The resulting flow rate was $6.9\pm0.5\cdot 10^4\sfrac{atoms}{sec}$ and the total yield was $3.2\pm0.4\cdot10^{-9}\sfrac{atoms}{deuteron}$. We summarize our methods and estimates of efficiencies, rates of production and effusion.
△ Less
Submitted 31 May, 2020;
originally announced June 2020.
-
Teaching Quantum Computing to High School Students
Authors:
Ciaran Hughes,
Joshua Isaacson,
Anastasia Perry,
Ranbel Sun,
Jessica Turner
Abstract:
Quantum computing is a growing field at the intersection of physics and computer science. The goal of this article is to highlight a successfully trialled quantum computing course for high school students between the ages of 15 and 18 years old. This course bridges the gap between popular science articles and advanced undergraduate textbooks. Conceptual ideas in the text are reinforced with active…
▽ More
Quantum computing is a growing field at the intersection of physics and computer science. The goal of this article is to highlight a successfully trialled quantum computing course for high school students between the ages of 15 and 18 years old. This course bridges the gap between popular science articles and advanced undergraduate textbooks. Conceptual ideas in the text are reinforced with active learning techniques, such as interactive problem sets and simulation-based labs at various levels. The course is freely available for use and download under the Creative Commons "Attribution- NonCommercial-ShareAlike 4.0 International" license.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
The integral Hodge conjecture for two-dimensional Calabi-Yau categories
Authors:
Alexander Perry
Abstract:
We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi-Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for famil…
▽ More
We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi-Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two-dimensional Calabi-Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of intermediate Jacobians, such as a criterion in terms of derived categories for when they split as a sum of Jacobians of curves.
△ Less
Submitted 15 December, 2020; v1 submitted 7 April, 2020;
originally announced April 2020.
-
The Medical Scribe: Corpus Development and Model Performance Analyses
Authors:
Izhak Shafran,
Nan Du,
Linh Tran,
Amanda Perry,
Lauren Keyes,
Mark Knichel,
Ashley Domin,
Lei Huang,
Yuhui Chen,
Gang Li,
Mingqiu Wang,
Laurent El Shafey,
Hagen Soltau,
Justin S. Paul
Abstract:
There is a growing interest in creating tools to assist in clinical note generation using the audio of provider-patient encounters. Motivated by this goal and with the help of providers and medical scribes, we developed an annotation scheme to extract relevant clinical concepts. We used this annotation scheme to label a corpus of about 6k clinical encounters. This was used to train a state-of-the-…
▽ More
There is a growing interest in creating tools to assist in clinical note generation using the audio of provider-patient encounters. Motivated by this goal and with the help of providers and medical scribes, we developed an annotation scheme to extract relevant clinical concepts. We used this annotation scheme to label a corpus of about 6k clinical encounters. This was used to train a state-of-the-art tagging model. We report ontologies, labeling results, model performances, and detailed analyses of the results. Our results show that the entities related to medications can be extracted with a relatively high accuracy of 0.90 F-score, followed by symptoms at 0.72 F-score, and conditions at 0.57 F-score. In our task, we not only identify where the symptoms are mentioned but also map them to canonical forms as they appear in the clinical notes. Of the different types of errors, in about 19-38% of the cases, we find that the model output was correct, and about 17-32% of the errors do not impact the clinical note. Taken together, the models developed in this work are more useful than the F-scores reflect, making it a promising approach for practical applications.
△ Less
Submitted 11 March, 2020;
originally announced March 2020.
-
Be X-ray binaries in the SMC as indicators of mass transfer efficiency
Authors:
Serena Vinciguerra,
Coenraad J. Neijssel,
Alejandro Vigna-Gómez,
Ilya Mandel,
Philipp Podsiadlowski,
Thomas J. Maccarone,
Matt Nicholl,
Samuel Kingdon,
Alice Perry,
Francesco Salemi
Abstract:
Be X-ray binaries (BeXRBs) consist of rapidly rotating Be stars with neutron star companions accreting from the circumstellar emission disk. We compare the observed population of BeXRBs in the Small Magellanic Cloud with simulated populations of BeXRB-like systems produced with the COMPAS population synthesis code. We focus on the apparently higher minimal mass of Be stars in BeXRBs than in the Be…
▽ More
Be X-ray binaries (BeXRBs) consist of rapidly rotating Be stars with neutron star companions accreting from the circumstellar emission disk. We compare the observed population of BeXRBs in the Small Magellanic Cloud with simulated populations of BeXRB-like systems produced with the COMPAS population synthesis code. We focus on the apparently higher minimal mass of Be stars in BeXRBs than in the Be population at large. Assuming that BeXRBs experienced only dynamically stable mass transfer, their mass distribution suggests that at least 30% of the mass donated by the progenitor of the neutron star is typically accreted by the B-star companion. We expect these results to affect predictions for the population of double compact object mergers. A convolution of the simulated BeXRB population with the star formation history of the Small Magellanic Cloud shows that the excess of BeXRBs is most likely explained by this galaxy's burst of star formation around 20--40 Myr ago.
△ Less
Submitted 23 July, 2020; v1 submitted 29 February, 2020;
originally announced March 2020.
-
Stability conditions and moduli spaces for Kuznetsov components of Gushel-Mukai varieties
Authors:
Alexander Perry,
Laura Pertusi,
Xiaolei Zhao
Abstract:
We prove the existence of Bridgeland stability conditions on the Kuznetsov components of Gushel-Mukai varieties, and describe the structure of moduli spaces of Bridgeland semistable objects in these categories in the even-dimensional case. As applications, we construct a new infinite series of unirational locally complete families of polarized hyperkähler varieties of K3 type, and characterize Hod…
▽ More
We prove the existence of Bridgeland stability conditions on the Kuznetsov components of Gushel-Mukai varieties, and describe the structure of moduli spaces of Bridgeland semistable objects in these categories in the even-dimensional case. As applications, we construct a new infinite series of unirational locally complete families of polarized hyperkähler varieties of K3 type, and characterize Hodge-theoretically when the Kuznetsov component of an even-dimensional Gushel-Mukai variety is equivalent to the derived category of a K3 surface.
△ Less
Submitted 18 May, 2023; v1 submitted 14 December, 2019;
originally announced December 2019.
-
Quantum Computing as a High School Module
Authors:
Anastasia Perry,
Ranbel Sun,
Ciaran Hughes,
Joshua Isaacson,
Jessica Turner
Abstract:
Quantum computing is a growing field at the intersection of physics and computer science. This module introduces three of the key principles that govern how quantum computers work: superposition, quantum measurement, and entanglement. The goal of this module is to bridge the gap between popular science articles and advanced undergraduate texts by making some of the more technical aspects accessibl…
▽ More
Quantum computing is a growing field at the intersection of physics and computer science. This module introduces three of the key principles that govern how quantum computers work: superposition, quantum measurement, and entanglement. The goal of this module is to bridge the gap between popular science articles and advanced undergraduate texts by making some of the more technical aspects accessible to motivated high school students. Problem sets and simulation based labs of various levels are included to reinforce the conceptual ideas described in the text. This is intended as a one week course for high school students between the ages of 15-18 years. The course begins by introducing basic concepts in quantum mechanics which are needed to understand quantum computing.
△ Less
Submitted 1 April, 2020; v1 submitted 29 April, 2019;
originally announced May 2019.
-
Homological projective duality for quadrics
Authors:
Alexander Kuznetsov,
Alexander Perry
Abstract:
We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a combination of two operations: one interchanges a quadric hypersurface with its classical projective dual and the other interchanges a quadric hypersurface with th…
▽ More
We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a combination of two operations: one interchanges a quadric hypersurface with its classical projective dual and the other interchanges a quadric hypersurface with the double cover branched along it.
△ Less
Submitted 31 March, 2020; v1 submitted 26 February, 2019;
originally announced February 2019.
-
Categorical cones and quadratic homological projective duality
Authors:
Alexander Kuznetsov,
Alexander Perry
Abstract:
We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In particular, our construction provides well-behaved categorical resolutions of singular quadrics, which we use to obtain an explicit quadratic version of the main theo…
▽ More
We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In particular, our construction provides well-behaved categorical resolutions of singular quadrics, which we use to obtain an explicit quadratic version of the main theorem of homological projective duality. As applications, we prove the duality conjecture for Gushel-Mukai varieties, and produce interesting examples of conifold transitions between noncommutative and honest Calabi-Yau threefolds.
△ Less
Submitted 1 March, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
Stability conditions in families
Authors:
Arend Bayer,
Martí Lahoz,
Emanuele Macrì,
Howard Nuer,
Alexander Perry,
Paolo Stellari
Abstract:
We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich-Polishchuk, Kuznetsov, Lieblich, and Piyaratne-Toda. Our notion includes openness of stability, semistable reduction, a support property uniformly across the family, and boundedness of semistable objects. We s…
▽ More
We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich-Polishchuk, Kuznetsov, Lieblich, and Piyaratne-Toda. Our notion includes openness of stability, semistable reduction, a support property uniformly across the family, and boundedness of semistable objects. We show that such a structure exists whenever stability conditions are known to exist on the fibers.
Our main application is the generalization of Mukai's theory for moduli spaces of semistable sheaves on K3 surfaces to moduli spaces of Bridgeland semistable objects in the Kuznetsov component associated to a cubic fourfold. This leads to the extension of theorems by Addington-Thomas and Huybrechts on the derived category of special cubic fourfolds, to a new proof of the integral Hodge conjecture, and to the construction of an infinite series of unirational locally complete families of polarized hyperkähler manifolds of K3 type.
Other applications include the deformation-invariance of Donaldson-Thomas invariants counting Bridgeland stable objects on Calabi-Yau threefolds, and a method for constructing stability conditions on threefolds via degeneration.
△ Less
Submitted 25 January, 2022; v1 submitted 21 February, 2019;
originally announced February 2019.
-
Inverse scattering and global well-posedness in one and two space dimensions
Authors:
Peter A. Perry
Abstract:
These notes are a considerably revised and expanded version of expository lectures given at the Fields Institute Workshop on "Nonlinear Dispersive Partial Differential Equations and Inverse Scattering" in August 2017. We give a complete and self-contained treatment of inverse scattering for the defocussing cubic NLS in one-dimension, following the 2003 paper of Deift and Zhou, and the defocussing…
▽ More
These notes are a considerably revised and expanded version of expository lectures given at the Fields Institute Workshop on "Nonlinear Dispersive Partial Differential Equations and Inverse Scattering" in August 2017. We give a complete and self-contained treatment of inverse scattering for the defocussing cubic NLS in one-dimension, following the 2003 paper of Deift and Zhou, and the defocussing Davey-Stewartson equation in two space dimensions, following the work of Perry and more recent work of Nachman, Regev, and Tataru.
△ Less
Submitted 6 May, 2019; v1 submitted 3 February, 2019;
originally announced February 2019.
-
Overcomplete Independent Component Analysis via SDP
Authors:
Anastasia Podosinnikova,
Amelia Perry,
Alexander Wein,
Francis Bach,
Alexandre d'Aspremont,
David Sontag
Abstract:
We present a novel algorithm for overcomplete independent components analysis (ICA), where the number of latent sources k exceeds the dimension p of observed variables. Previous algorithms either suffer from high computational complexity or make strong assumptions about the form of the mixing matrix. Our algorithm does not make any sparsity assumption yet enjoys favorable computational and theoret…
▽ More
We present a novel algorithm for overcomplete independent components analysis (ICA), where the number of latent sources k exceeds the dimension p of observed variables. Previous algorithms either suffer from high computational complexity or make strong assumptions about the form of the mixing matrix. Our algorithm does not make any sparsity assumption yet enjoys favorable computational and theoretical properties. Our algorithm consists of two main steps: (a) estimation of the Hessians of the cumulant generating function (as opposed to the fourth and higher order cumulants used by most algorithms) and (b) a novel semi-definite programming (SDP) relaxation for recovering a mixing component. We show that this relaxation can be efficiently solved with a projected accelerated gradient descent method, which makes the whole algorithm computationally practical. Moreover, we conjecture that the proposed program recovers a mixing component at the rate k < p^2/4 and prove that a mixing component can be recovered with high probability when k < (2 - epsilon) p log p when the original components are sampled uniformly at random on the hyper sphere. Experiments are provided on synthetic data and the CIFAR-10 dataset of real images.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
Hochschild cohomology and group actions
Authors:
Alexander Perry
Abstract:
Given a finite group action on a (suitably enhanced) triangulated category linear over a field, we establish a formula for the Hochschild cohomology of the category of invariants, assuming the order of the group is coprime to the characteristic of the base field. The formula shows that the cohomology splits canonically with one summand given by the invariant subspace of the Hochschild cohomology o…
▽ More
Given a finite group action on a (suitably enhanced) triangulated category linear over a field, we establish a formula for the Hochschild cohomology of the category of invariants, assuming the order of the group is coprime to the characteristic of the base field. The formula shows that the cohomology splits canonically with one summand given by the invariant subspace of the Hochschild cohomology of the original category. We also prove that Serre functors act trivially on Hochschild cohomology, and combine this with our formula to give a useful mechanism for computing the Hochschild cohomology of fractional Calabi-Yau categories.
△ Less
Submitted 31 July, 2018; v1 submitted 24 July, 2018;
originally announced July 2018.
-
Optimality and Sub-optimality of PCA I: Spiked Random Matrix Models
Authors:
Amelia Perry,
Alexander S. Wein,
Afonso S. Bandeira,
Ankur Moitra
Abstract:
A central problem of random matrix theory is to understand the eigenvalues of spiked random matrix models, introduced by Johnstone, in which a prominent eigenvector (or "spike") is planted into a random matrix. These distributions form natural statistical models for principal component analysis (PCA) problems throughout the sciences. Baik, Ben Arous and Peche showed that the spiked Wishart ensembl…
▽ More
A central problem of random matrix theory is to understand the eigenvalues of spiked random matrix models, introduced by Johnstone, in which a prominent eigenvector (or "spike") is planted into a random matrix. These distributions form natural statistical models for principal component analysis (PCA) problems throughout the sciences. Baik, Ben Arous and Peche showed that the spiked Wishart ensemble exhibits a sharp phase transition asymptotically: when the spike strength is above a critical threshold, it is possible to detect the presence of a spike based on the top eigenvalue, and below the threshold the top eigenvalue provides no information. Such results form the basis of our understanding of when PCA can detect a low-rank signal in the presence of noise. However, under structural assumptions on the spike, not all information is necessarily contained in the spectrum. We study the statistical limits of tests for the presence of a spike, including non-spectral tests. Our results leverage Le Cam's notion of contiguity, and include:
i) For the Gaussian Wigner ensemble, we show that PCA achieves the optimal detection threshold for certain natural priors for the spike.
ii) For any non-Gaussian Wigner ensemble, PCA is sub-optimal for detection. However, an efficient variant of PCA achieves the optimal threshold (for natural priors) by pre-transforming the matrix entries.
iii) For the Gaussian Wishart ensemble, the PCA threshold is optimal for positive spikes (for natural priors) but this is not always the case for negative spikes.
△ Less
Submitted 12 July, 2018; v1 submitted 2 July, 2018;
originally announced July 2018.
-
Categorical joins
Authors:
Alexander Kuznetsov,
Alexander Perry
Abstract:
We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical projective duality. Our main theorem says that the homological projective dual category of the categorical join is naturally equivalent to the categorical join of…
▽ More
We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical projective duality. Our main theorem says that the homological projective dual category of the categorical join is naturally equivalent to the categorical join of the homological projective dual categories. This categorifies the classical version of this assertion and has many applications, including a nonlinear version of the main theorem of homological projective duality.
△ Less
Submitted 8 September, 2020; v1 submitted 31 March, 2018;
originally announced April 2018.
-
Noncommutative homological projective duality
Authors:
Alexander Perry
Abstract:
We generalize Kuznetsov's theory of homological projective duality to the setting of noncommutative algebraic geometry. Simultaneously, we develop the theory over general base schemes, and remove the usual smoothness, properness, and transversality hypotheses.
We generalize Kuznetsov's theory of homological projective duality to the setting of noncommutative algebraic geometry. Simultaneously, we develop the theory over general base schemes, and remove the usual smoothness, properness, and transversality hypotheses.
△ Less
Submitted 13 May, 2018; v1 submitted 31 March, 2018;
originally announced April 2018.
-
Notes on computational-to-statistical gaps: predictions using statistical physics
Authors:
Afonso S. Bandeira,
Amelia Perry,
Alexander S. Wein
Abstract:
In these notes we describe heuristics to predict computational-to-statistical gaps in certain statistical problems. These are regimes in which the underlying statistical problem is information-theoretically possible although no efficient algorithm exists, rendering the problem essentially unsolvable for large instances. The methods we describe here are based on mature, albeit non-rigorous, tools f…
▽ More
In these notes we describe heuristics to predict computational-to-statistical gaps in certain statistical problems. These are regimes in which the underlying statistical problem is information-theoretically possible although no efficient algorithm exists, rendering the problem essentially unsolvable for large instances. The methods we describe here are based on mature, albeit non-rigorous, tools from statistical physics.
These notes are based on a lecture series given by the authors at the Courant Institute of Mathematical Sciences in New York City, on May 16th, 2017.
△ Less
Submitted 20 April, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.
-
The Soreq Applied Research Accelerator Facility (SARAF) - Overview, Research Programs and Future Plans
Authors:
Israel Mardor,
Ofer Aviv,
Marilena Avrigeanu,
Dan Berkovits,
Adi Dahan,
Timo Dickel,
Ilan Eliyahu,
Moshe Gai,
Inbal Gavish-Segev,
Shlomi Halfon,
Michael Hass,
Tsviki Hirsh,
Boaz Kaiser,
Daniel Kijel,
Arik Kreisel,
Yonatan Mishnayot,
Ish Mukul,
Ben Ohayon,
Michael Paul,
Amichay Perry,
Hitesh Rahangdale,
Jacob Rodnizki,
Guy Ron,
Revital Sasson-Zukran,
Asher Shor
, et al. (4 additional authors not shown)
Abstract:
The Soreq Applied Research Accelerator Facility (SARAF) is under construction in the Soreq Nuclear Research Center at Yavne, Israel. When completed at the beginning of the next decade, SARAF will be a user facility for basic and applied nuclear physics, based on a 40 MeV, 5 mA CW proton/deuteron superconducting linear accelerator. Phase I of SARAF (SARAF-I, 4 MeV, 2 mA CW protons, 5 MeV 1 mA CW de…
▽ More
The Soreq Applied Research Accelerator Facility (SARAF) is under construction in the Soreq Nuclear Research Center at Yavne, Israel. When completed at the beginning of the next decade, SARAF will be a user facility for basic and applied nuclear physics, based on a 40 MeV, 5 mA CW proton/deuteron superconducting linear accelerator. Phase I of SARAF (SARAF-I, 4 MeV, 2 mA CW protons, 5 MeV 1 mA CW deuterons) is already in operation, generating scientific results in several fields of interest. The main ongoing program at SARAF-I is the production of 30 keV neutrons and measurement of Maxwellian Averaged Cross Sections (MACS), important for the astrophysical s-process. The world leading Maxwellian epithermal neutron yield at SARAF-I ($5\times 10^{10}$ epithermal neutrons/sec), generated by a novel Liquid-Lithium Target (LiLiT), enables improved precision of known MACSs, and new measurements of low-abundance and radioactive isotopes. Research plans for SARAF-II span several disciplines: Precision studies of beyond-Standard-Model effects by trap** light exotic radioisotopes, such as $^6$He, $^8$Li and $^{18,19,23}$Ne, in unprecedented amounts (including meaningful studies already at SARAF-I); extended nuclear astrophysics research with higher energy neutrons, including generation and studies of exotic neutron-rich isotopes relevant to the rapid (r-) process; nuclear structure of exotic isotopes; high energy neutron cross sections for basic nuclear physics and material science research, including neutron induced radiation damage; neutron based imaging and therapy; and novel radiopharmaceuticals development and production. In this paper we present a technical overview of SARAF-I and II, including a description of the accelerator and its irradiation targets; a survey of existing research programs at SARAF-I; and the research potential at the completed facility (SARAF-II).
△ Less
Submitted 23 January, 2018; v1 submitted 19 January, 2018;
originally announced January 2018.
-
Estimation under group actions: recovering orbits from invariants
Authors:
Afonso S. Bandeira,
Ben Blum-Smith,
Joe Kileel,
Amelia Perry,
Jonathan Niles-Weed,
Alexander S. Wein
Abstract:
We study a class of orbit recovery problems in which we observe independent copies of an unknown element of $\mathbb{R}^p$, each linearly acted upon by a random element of some group (such as $\mathbb{Z}/p$ or $\mathrm{SO}(3)$) and then corrupted by additive Gaussian noise. We prove matching upper and lower bounds on the number of samples required to approximately recover the group orbit of this u…
▽ More
We study a class of orbit recovery problems in which we observe independent copies of an unknown element of $\mathbb{R}^p$, each linearly acted upon by a random element of some group (such as $\mathbb{Z}/p$ or $\mathrm{SO}(3)$) and then corrupted by additive Gaussian noise. We prove matching upper and lower bounds on the number of samples required to approximately recover the group orbit of this unknown element with high probability. These bounds, based on quantitative techniques in invariant theory, give a precise correspondence between the statistical difficulty of the estimation problem and algebraic properties of the group. Furthermore, we give computer-assisted procedures to certify these properties that are computationally efficient in many cases of interest.
The model is motivated by geometric problems in signal processing, computer vision, and structural biology, and applies to the reconstruction problem in cryo-electron microscopy (cryo-EM), a problem of significant practical interest. Our results allow us to verify (for a given problem size) that if cryo-EM images are corrupted by noise with variance $σ^2$, the number of images required to recover the molecule structure scales as $σ^6$. We match this bound with a novel (albeit computationally expensive) algorithm for ab initio reconstruction in cryo-EM, based on invariant features of degree at most 3. We further discuss how to recover multiple molecular structures from mixed (or heterogeneous) cryo-EM samples.
△ Less
Submitted 13 June, 2023; v1 submitted 29 December, 2017;
originally announced December 2017.
-
The sample complexity of multi-reference alignment
Authors:
Amelia Perry,
Jonathan Weed,
Afonso S. Bandeira,
Philippe Rigollet,
Amit Singer
Abstract:
The growing role of data-driven approaches to scientific discovery has unveiled a large class of models that involve latent transformations with a rigid algebraic constraint. Three-dimensional molecule reconstruction in Cryo-Electron Microscopy (cryo-EM) is a central problem in this class. Despite decades of algorithmic and software development, there is still little theoretical understanding of t…
▽ More
The growing role of data-driven approaches to scientific discovery has unveiled a large class of models that involve latent transformations with a rigid algebraic constraint. Three-dimensional molecule reconstruction in Cryo-Electron Microscopy (cryo-EM) is a central problem in this class. Despite decades of algorithmic and software development, there is still little theoretical understanding of the sample complexity of this problem, that is, number of images required for 3-D reconstruction. Here we consider multi-reference alignment (MRA), a simple model that captures fundamental aspects of the statistical and algorithmic challenges arising in cryo-EM and related problems. In MRA, an unknown signal is subject to two types of corruption: a latent cyclic shift and the more traditional additive white noise. The goal is to recover the signal at a certain precision from independent samples. While at high signal-to-noise ratio (SNR), the number of observations needed to recover a generic signal is proportional to $1/\mathrm{SNR}$, we prove that it rises to a surprising $1/\mathrm{SNR}^3$ in the low SNR regime. This precise phenomenon was observed empirically more than twenty years ago for cryo-EM but has remained unexplained to date. Furthermore, our techniques can easily be extended to the heterogeneous MRA model where the samples come from a mixture of signals, as is often the case in applications such as cryo-EM, where molecules may have different conformations. This provides a first step towards a statistical theory for heterogeneous cryo-EM.
△ Less
Submitted 3 June, 2019; v1 submitted 4 July, 2017;
originally announced July 2017.
-
Intersections of two Grassmannians in $\mathbf{P}^9$
Authors:
Lev A. Borisov,
Andrei Caldararu,
Alexander Perry
Abstract:
We study the intersection of two copies of $\mathrm{Gr}(2,5)$ embedded in $\mathbf{P}^9$, and the intersection of the two projectively dual Grassmannians in the dual projective space. These intersections are deformation equivalent, derived equivalent Calabi-Yau threefolds. We prove that generically they are not birational. As a consequence, we obtain a counterexample to the birational Torelli prob…
▽ More
We study the intersection of two copies of $\mathrm{Gr}(2,5)$ embedded in $\mathbf{P}^9$, and the intersection of the two projectively dual Grassmannians in the dual projective space. These intersections are deformation equivalent, derived equivalent Calabi-Yau threefolds. We prove that generically they are not birational. As a consequence, we obtain a counterexample to the birational Torelli problem for Calabi-Yau threefolds. We also show that these threefolds give a new pair of varieties whose classes in the Grothendieck ring of varieties are not equal, but whose difference is annihilated by a power of the class of the affine line. Our proof of non-birationality involves a detailed study of the moduli stack of Calabi-Yau threefolds of the above type, which may be of independent interest.
△ Less
Submitted 11 April, 2018; v1 submitted 3 July, 2017;
originally announced July 2017.
-
A microfabricated optically-pumped magnetic gradiometer
Authors:
Dong Sheng,
Abigail R. Perry,
Sean P. Krzyzewski,
Shawn Geller,
John Kitching,
Svenja Knappe
Abstract:
We report on the development of a microfabricated atomic magnetic gradiometer based on optical spectroscopy of alkali atoms in the vapor phase. The gradiometer, which operates in the spin-exchange relaxation free regime, has a length of 60 mm and cross sectional diameter of 12 mm, and consists of two chip-scale atomic magnetometers which are interrogated by a common laser light. The sensor can mea…
▽ More
We report on the development of a microfabricated atomic magnetic gradiometer based on optical spectroscopy of alkali atoms in the vapor phase. The gradiometer, which operates in the spin-exchange relaxation free regime, has a length of 60 mm and cross sectional diameter of 12 mm, and consists of two chip-scale atomic magnetometers which are interrogated by a common laser light. The sensor can measure differences in magnetic fields, over a 20 mm baseline, of 10 fT/Hz$^{1/2}$ at frequencies above 20 Hz. The maximum rejection of magnetic field noise is 1000 at 10 Hz. By use of a set of compensation coils wrapped around the sensor, we also measure the sensor sensitivity at several external bias field strengths up to 150 mG. This device is useful for applications that require both sensitive gradient field information and high common-mode noise cancellation.
△ Less
Submitted 12 January, 2017;
originally announced January 2017.
-
Statistical limits of spiked tensor models
Authors:
Amelia Perry,
Alexander S. Wein,
Afonso S. Bandeira
Abstract:
We study the statistical limits of both detecting and estimating a rank-one deformation of a symmetric random Gaussian tensor. We establish upper and lower bounds on the critical signal-to-noise ratio, under a variety of priors for the planted vector: (i) a uniformly sampled unit vector, (ii) i.i.d. $\pm 1$ entries, and (iii) a sparse vector where a constant fraction $ρ$ of entries are i.i.d.…
▽ More
We study the statistical limits of both detecting and estimating a rank-one deformation of a symmetric random Gaussian tensor. We establish upper and lower bounds on the critical signal-to-noise ratio, under a variety of priors for the planted vector: (i) a uniformly sampled unit vector, (ii) i.i.d. $\pm 1$ entries, and (iii) a sparse vector where a constant fraction $ρ$ of entries are i.i.d. $\pm 1$ and the rest are zero. For each of these cases, our upper and lower bounds match up to a $1+o(1)$ factor as the order $d$ of the tensor becomes large. For sparse signals (iii), our bounds are also asymptotically tight in the sparse limit $ρ\to 0$ for any fixed $d$ (including the $d=2$ case of sparse PCA). Our upper bounds for (i) demonstrate a phenomenon reminiscent of the work of Baik, Ben Arous and Péché: an `eigenvalue' of a perturbed tensor emerges from the bulk at a strictly lower signal-to-noise ratio than when the perturbation itself exceeds the bulk; we quantify the size of this effect. We also provide some general results for larger classes of priors. In particular, the large $d$ asymptotics of the threshold location differs between problems with discrete priors versus continuous priors. Finally, for priors (i) and (ii) we carry out the replica prediction from statistical physics, which is conjectured to give the exact information-theoretic threshold for any fixed $d$.
Of independent interest, we introduce a new improvement to the second moment method for contiguity, on which our lower bounds are based. Our technique conditions away from rare `bad' events that depend on interactions between the signal and noise. This enables us to close $\sqrt{2}$-factor gaps present in several previous works.
△ Less
Submitted 24 January, 2017; v1 submitted 22 December, 2016;
originally announced December 2016.
-
Soliton Solutions and their (In)stability for the Focusing Davey-Stewartson II Equation
Authors:
Peter A. Perry
Abstract:
We give a rigorous mathematical analysis of the one-soliton solution of the focusing Davey-Stewartson II equation and a proof of its instability under perturbation. Building on the fundamental perturbation analysis of Gadyl'shin and Kiselev, we verify their Assumption 1 and use Fredholm determinants to globalize their perturbation analysis.
We give a rigorous mathematical analysis of the one-soliton solution of the focusing Davey-Stewartson II equation and a proof of its instability under perturbation. Building on the fundamental perturbation analysis of Gadyl'shin and Kiselev, we verify their Assumption 1 and use Fredholm determinants to globalize their perturbation analysis.
△ Less
Submitted 1 November, 2016;
originally announced November 2016.
-
Observation of a non-Abelian Yang Monopole: From New Chern Numbers to a Topological Transition
Authors:
Seiji Sugawa,
Francisco Salces-Carcoba,
Abigail R. Perry,
Yuchen Yue,
Ian B. Spielman
Abstract:
Because global topological properties are robust against local perturbations, understanding and manipulating the topological properties of physical systems is essential in advancing quantum science and technology. For quantum computation, topologically protected qubit operations can increase computational robustness, and for metrology the quantized Hall effect directly defines the von Klitzing con…
▽ More
Because global topological properties are robust against local perturbations, understanding and manipulating the topological properties of physical systems is essential in advancing quantum science and technology. For quantum computation, topologically protected qubit operations can increase computational robustness, and for metrology the quantized Hall effect directly defines the von Klitzing constant. Fundamentally, topological order is generated by singularities called topological defects in extended spaces, and is quantified in terms of Chern numbers, each of which measures different sorts of fields traversing surfaces enclosing these topological singularities. Here, inspired by high energy theories, we describe our synthesis and characterization of a singularity present in non-Abelian gauge theories - a Yang monopole - using atomic Bose-Einstein condensates in a five-dimensional space, and quantify the monopole in terms of Chern numbers measured on enclosing manifolds. While the well-known 1st Chern number vanished, the 2nd Chern number, measured for the first time in any physical settings, did not. By displacing the manifold, we then observed a phase transition from "topological" to "trivial" as the monopole left the manifold.
△ Less
Submitted 19 October, 2016;
originally announced October 2016.
-
Message-passing algorithms for synchronization problems over compact groups
Authors:
Amelia Perry,
Alexander S. Wein,
Afonso S. Bandeira,
Ankur Moitra
Abstract:
Various alignment problems arising in cryo-electron microscopy, community detection, time synchronization, computer vision, and other fields fall into a common framework of synchronization problems over compact groups such as Z/L, U(1), or SO(3). The goal of such problems is to estimate an unknown vector of group elements given noisy relative observations. We present an efficient iterative algorit…
▽ More
Various alignment problems arising in cryo-electron microscopy, community detection, time synchronization, computer vision, and other fields fall into a common framework of synchronization problems over compact groups such as Z/L, U(1), or SO(3). The goal of such problems is to estimate an unknown vector of group elements given noisy relative observations. We present an efficient iterative algorithm to solve a large class of these problems, allowing for any compact group, with measurements on multiple 'frequency channels' (Fourier modes, or more generally, irreducible representations of the group). Our algorithm is a highly efficient iterative method following the blueprint of approximate message passing (AMP), which has recently arisen as a central technique for inference problems such as structured low-rank estimation and compressed sensing. We augment the standard ideas of AMP with ideas from representation theory so that the algorithm can work with distributions over compact groups. Using standard but non-rigorous methods from statistical physics we analyze the behavior of our algorithm on a Gaussian noise model, identifying phases where the problem is easy, (computationally) hard, and (statistically) impossible. In particular, such evidence predicts that our algorithm is information-theoretically optimal in many cases, and that the remaining cases show evidence of statistical-to-computational gaps.
△ Less
Submitted 14 October, 2016;
originally announced October 2016.
-
Crossing the Road Without Traffic Lights: An Android-based Safety Device
Authors:
Adi Perry,
Dor Verbin,
Nahum Kiryati
Abstract:
In the absence of pedestrian crossing lights, finding a safe moment to cross the road is often hazardous and challenging, especially for people with visual impairments. We present a reliable low-cost solution, an Android device attached to a traffic sign or lighting pole near the crossing, indicating whether it is safe to cross the road. The indication can be by sound, display, vibration, and vari…
▽ More
In the absence of pedestrian crossing lights, finding a safe moment to cross the road is often hazardous and challenging, especially for people with visual impairments. We present a reliable low-cost solution, an Android device attached to a traffic sign or lighting pole near the crossing, indicating whether it is safe to cross the road. The indication can be by sound, display, vibration, and various communication modalities provided by the Android device. The integral system camera is aimed at approaching traffic. Optical flow is computed from the incoming video stream, and projected onto an influx map, automatically acquired during a brief training period. The crossing safety is determined based on a 1-dimensional temporal signal derived from the projection. We implemented the complete system on a Samsung Galaxy K-Zoom Android smartphone, and obtained real-time operation. The system achieves promising experimental results, providing pedestrians with sufficiently early warning of approaching vehicles. The system can serve as a stand-alone safety device, that can be installed where pedestrian crossing lights are ruled out. Requiring no dedicated infrastructure, it can be powered by a solar panel and remotely maintained via the cellular network.
△ Less
Submitted 11 October, 2016;
originally announced October 2016.
-
Optimality and Sub-optimality of PCA for Spiked Random Matrices and Synchronization
Authors:
Amelia Perry,
Alexander S. Wein,
Afonso S. Bandeira,
Ankur Moitra
Abstract:
A central problem of random matrix theory is to understand the eigenvalues of spiked random matrix models, in which a prominent eigenvector is planted into a random matrix. These distributions form natural statistical models for principal component analysis (PCA) problems throughout the sciences. Baik, Ben Arous and Péché showed that the spiked Wishart ensemble exhibits a sharp phase transition as…
▽ More
A central problem of random matrix theory is to understand the eigenvalues of spiked random matrix models, in which a prominent eigenvector is planted into a random matrix. These distributions form natural statistical models for principal component analysis (PCA) problems throughout the sciences. Baik, Ben Arous and Péché showed that the spiked Wishart ensemble exhibits a sharp phase transition asymptotically: when the signal strength is above a critical threshold, it is possible to detect the presence of a spike based on the top eigenvalue, and below the threshold the top eigenvalue provides no information. Such results form the basis of our understanding of when PCA can detect a low-rank signal in the presence of noise.
However, not all the information about the spike is necessarily contained in the spectrum. We study the fundamental limitations of statistical methods, including non-spectral ones. Our results include:
I) For the Gaussian Wigner ensemble, we show that PCA achieves the optimal detection threshold for a variety of benign priors for the spike. We extend previous work on the spherically symmetric and i.i.d. Rademacher priors through an elementary, unified analysis.
II) For any non-Gaussian Wigner ensemble, we show that PCA is always suboptimal for detection. However, a variant of PCA achieves the optimal threshold (for benign priors) by pre-transforming the matrix entries according to a carefully designed function. This approach has been stated before, and we give a rigorous and general analysis.
III) For both the Gaussian Wishart ensemble and various synchronization problems over groups, we show that inefficient procedures can work below the threshold where PCA succeeds, whereas no known efficient algorithm achieves this. This conjectural gap between what is statistically possible and what can be done efficiently remains open.
△ Less
Submitted 23 December, 2016; v1 submitted 18 September, 2016;
originally announced September 2016.
-
Rationality does not specialize among terminal fourfolds
Authors:
Alexander Perry
Abstract:
We show that rationality does not specialize in flat projective families of complex fourfolds with terminal singularities. This answers a question of Totaro, who established the analogous result in all dimensions greater than 4.
We show that rationality does not specialize in flat projective families of complex fourfolds with terminal singularities. This answers a question of Totaro, who established the analogous result in all dimensions greater than 4.
△ Less
Submitted 2 August, 2016;
originally announced August 2016.
-
Derived categories of Gushel-Mukai varieties
Authors:
Alexander Kuznetsov,
Alexander Perry
Abstract:
We study the derived categories of coherent sheaves on Gushel-Mukai varieties. In the derived category of such a variety, we isolate a special semiorthogonal component, which is a K3 or Enriques category according to whether the dimension of the variety is even or odd. We analyze the basic properties of this category using Hochschild homology, Hochschild cohomology, and the Grothendieck group.
W…
▽ More
We study the derived categories of coherent sheaves on Gushel-Mukai varieties. In the derived category of such a variety, we isolate a special semiorthogonal component, which is a K3 or Enriques category according to whether the dimension of the variety is even or odd. We analyze the basic properties of this category using Hochschild homology, Hochschild cohomology, and the Grothendieck group.
We study the K3 category of a Gushel-Mukai fourfold in more detail. Namely, we show that this category is equivalent to the derived category of a K3 surface for a certain codimension 1 family of rational fourfolds, and to the K3 category of a birational cubic fourfold for a certain codimension 3 family. The first of these results verifies a special case of a duality conjecture which we formulate. We discuss our results in the context of the rationality problem for Gushel-Mukai varieties, which was one of the main motivations for this work.
△ Less
Submitted 25 October, 2017; v1 submitted 20 May, 2016;
originally announced May 2016.
-
A semidefinite program for unbalanced multisection in the stochastic block model
Authors:
Amelia Perry,
Alexander S. Wein
Abstract:
We propose a semidefinite programming (SDP) algorithm for community detection in the stochastic block model, a popular model for networks with latent community structure. We prove that our algorithm achieves exact recovery of the latent communities, up to the information-theoretic limits determined by Abbe and Sandon (2015). Our result extends prior SDP approaches by allowing for many communities…
▽ More
We propose a semidefinite programming (SDP) algorithm for community detection in the stochastic block model, a popular model for networks with latent community structure. We prove that our algorithm achieves exact recovery of the latent communities, up to the information-theoretic limits determined by Abbe and Sandon (2015). Our result extends prior SDP approaches by allowing for many communities of different sizes. By virtue of a semidefinite approach, our algorithms succeed against a semirandom variant of the stochastic block model, guaranteeing a form of robustness and generalization. We further explore how semirandom models can lend insight into both the strengths and limitations of SDPs in this setting.
△ Less
Submitted 2 December, 2016; v1 submitted 20 July, 2015;
originally announced July 2015.
-
Rational points on twisted K3 surfaces and derived equivalences
Authors:
Kenneth Ascher,
Krishna Dasaratha,
Alexander Perry,
Rong Zhou
Abstract:
Using a construction of Hassett--Várilly-Alvarado, we produce derived equivalent twisted K3 surfaces over $\mathbb{Q}$, $\mathbb{Q}_2$, and $\mathbb{R}$, where one has a rational point and the other does not. This answers negatively a question recently raised by Hassett and Tschinkel.
Using a construction of Hassett--Várilly-Alvarado, we produce derived equivalent twisted K3 surfaces over $\mathbb{Q}$, $\mathbb{Q}_2$, and $\mathbb{R}$, where one has a rational point and the other does not. This answers negatively a question recently raised by Hassett and Tschinkel.
△ Less
Submitted 19 July, 2016; v1 submitted 3 June, 2015;
originally announced June 2015.