-
Gradient Technique Theory: Tracing magnetic field and obtaining magnetic field strength
Authors:
Alex Lazarian,
Ka Ho Yuen,
Dmitri Pogosyan
Abstract:
The gradient technique is a promising tool with theoretical foundations based on the fundamental properties of MHD turbulence and turbulent reconnection. Its various incarnations use spectroscopic, synchrotron, and intensity data to trace the magnetic field and measure the media magnetization in terms of Alfven Mach number. We provide an analytical theory of gradient measurements and quantify the…
▽ More
The gradient technique is a promising tool with theoretical foundations based on the fundamental properties of MHD turbulence and turbulent reconnection. Its various incarnations use spectroscopic, synchrotron, and intensity data to trace the magnetic field and measure the media magnetization in terms of Alfven Mach number. We provide an analytical theory of gradient measurements and quantify the effects of averaging gradients along the line of sight and over the plane of the sky. We derive analytical expressions that relate the properties of gradient distribution with the Alfven Mach number $M_A$. We show that these measurements can be combined with measures of sonic Mach number or line broadening to obtain the magnetic field strength. The corresponding technique has advantages to Davis-Chandrasekhar-Fermi way of obtaining the magnetic field strength.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Diagnostics of magnetohydrodynamic modes in the ISM through synchrotron polarization statistics
Authors:
Parth Pavaskar,
Ka Ho Yuen,
Huirong Yan,
Sunil Malik
Abstract:
One of the biggest challenges in understanding Magnetohydrodynamic (MHD) turbulence is identifying the plasma mode components from observational data. Previous studies on synchrotron polarization from the interstellar medium (ISM) suggest that the dominant MHD modes can be identified via statistics of Stokes parameters, which would be crucial for studying various ISM processes such as the scatteri…
▽ More
One of the biggest challenges in understanding Magnetohydrodynamic (MHD) turbulence is identifying the plasma mode components from observational data. Previous studies on synchrotron polarization from the interstellar medium (ISM) suggest that the dominant MHD modes can be identified via statistics of Stokes parameters, which would be crucial for studying various ISM processes such as the scattering and acceleration of cosmic rays, star formation, dynamo. In this paper, we present a numerical study of the Synchrotron Polarization Analysis (SPA) method through systematic investigation of the statistical properties of the Stokes parameters. We derive the theoretical basis for our method from the fundamental statistics of MHD turbulence, recognizing that the projection of the MHD modes allows us to identify the modes dominating the energy fraction from synchrotron observations. Based on the discovery, we revise the SPA method using synthetic synchrotron polarization observations obtained from 3D ideal MHD simulations with a wide range of plasma parameters and driving mechanisms, and present a modified recipe for mode identification. We propose a classification criterion based on a new SPA+ fitting procedure, which allows us to distinguish between Alfvén mode and compressible/slow mode dominated turbulence. We further propose a new method to identify fast modes by analyzing the asymmetry of the SPA+ signature and establish a new asymmetry parameter to detect the presence of fast mode turbulence. Additionally, we confirm through numerical tests that the identification of the compressible and fast modes is not affected by Faraday rotation in both the emitting plasma and the foreground.
△ Less
Submitted 26 June, 2024; v1 submitted 28 May, 2024;
originally announced May 2024.
-
Solar image quality assessment: a proof of concept using Variance of Laplacian method and its application to optical atmospheric condition monitoring
Authors:
Chu Wing So,
Edwin Lok Hei Yuen,
Edgar Heung Fat Leung,
Jason Chun Shing Pun
Abstract:
Here we present a proof of concept for the application of the Variance of Laplacian (VL) method in quantifying the sharpness of optical solar images. We conducted a comprehensive study using over 65,000 individual solar images acquired on more than 160 days. Each image underwent processing using a VL image processing algorithm, which assigns a 'score' based on the sharpness of the solar disk's edg…
▽ More
Here we present a proof of concept for the application of the Variance of Laplacian (VL) method in quantifying the sharpness of optical solar images. We conducted a comprehensive study using over 65,000 individual solar images acquired on more than 160 days. Each image underwent processing using a VL image processing algorithm, which assigns a 'score' based on the sharpness of the solar disk's edges. We studied the scores obtained from images acquired at different conditions. Our findings demonstrate that the sharpness of the images exhibits daily trends that are closely linked to the altitude of the Sun at the observation site. We observed a significant degradation in image quality only below a certain altitude threshold. Furthermore, we compared airmass formulae from the literature with our sharpness observations and concluded that the degradation could be modeled as an Image Sharpness Function (ISF), which exhibits similarities to airmass variations. In addition to assessing image quality, our method has the potential to evaluate the optical atmospheric conditions during daytime observations. Moreover, this technique can be easily and cost-effectively applied to archival or real-time images of other celestial bodies, such as the Moon, bright planets and defocused stars. Given that ISF is unique to each location and sensitive to sky conditions, the development of an ISF is not only beneficial for routine observation preparation but also essential for long-term site monitoring.
△ Less
Submitted 19 May, 2024;
originally announced May 2024.
-
Simultaneous Haar Indistinguishability with Applications to Unclonable Cryptography
Authors:
Prabhanjan Ananth,
Fatih Kaleoglu,
Henry Yuen
Abstract:
Unclonable cryptography is concerned with leveraging the no-cloning principle to build cryptographic primitives that are otherwise impossible to achieve classically. Understanding the feasibility of unclonable encryption, one of the key unclonable primitives, satisfying indistinguishability security in the plain model has been a major open question in the area. So far, the existing constructions o…
▽ More
Unclonable cryptography is concerned with leveraging the no-cloning principle to build cryptographic primitives that are otherwise impossible to achieve classically. Understanding the feasibility of unclonable encryption, one of the key unclonable primitives, satisfying indistinguishability security in the plain model has been a major open question in the area. So far, the existing constructions of unclonable encryption are either in the quantum random oracle model or are based on new conjectures.
We present a new approach to unclonable encryption via a reduction to a novel question about nonlocal quantum state discrimination: how well can non-communicating -- but entangled -- players distinguish between different distributions over quantum states? We call this task simultaneous state indistinguishability. Our main technical result is showing that the players cannot distinguish between each player receiving independently-chosen Haar random states versus all players receiving the same Haar random state.
We leverage this result to present the first construction of unclonable encryption satisfying indistinguishability security, with quantum decryption keys, in the plain model. We also show other implications to single-decryptor encryption and leakage-resilient secret sharing.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Neutral hydrogen filaments in interstellar media: Are they physical?
Authors:
Ka Ho Yuen,
Ka Wai Ho,
Chi Yan Law,
Avi Chen
Abstract:
The trending term "filament" is extensively used in the interstellar medium (ISM) and the star formation community, and is believed to be one of the most important objects that gauge molecular cloud and star formation. However, the physical definition of these ubiquitous, elongated, high contrast features is poorly defined and still actively debated. Despite the absence of a unified consensus, fil…
▽ More
The trending term "filament" is extensively used in the interstellar medium (ISM) and the star formation community, and is believed to be one of the most important objects that gauge molecular cloud and star formation. However, the physical definition of these ubiquitous, elongated, high contrast features is poorly defined and still actively debated. Despite the absence of a unified consensus, filaments are believed to be involved in many important physical processes from galaxy structure formation to the emergence of protostellar objects. Therefore, understanding how filaments form, what constrains their growth, and their general physical properties, are extremely important for theorists and observers who study the dynamics of the ISM and consequent star formations. This review serves as a collection of the community's views and develops the concept of "filaments" in the context of the ISM and star-forming clouds. Observationally, filaments are seen across the entire sky and often carry an aspect ratio of the order of hundreds. In the context of the ISM, filaments are believed to form by stretching and tearing from magnetized ISM turbulence. ISM filaments are subjected to heating and cooling phases, and are likely to be magnetically aligned. Cold clouds are formed inside ISM due to turbulence instability. This review updates the understanding of ISM filaments in the community.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Simple constructions of linear-depth t-designs and pseudorandom unitaries
Authors:
Tony Metger,
Alexander Poremba,
Makrand Sinha,
Henry Yuen
Abstract:
Uniformly random unitaries, i.e. unitaries drawn from the Haar measure, have many useful properties, but cannot be implemented efficiently. This has motivated a long line of research into random unitaries that "look" sufficiently Haar random while also being efficient to implement. Two different notions of derandomisation have emerged: $t$-designs are random unitaries that information-theoreticall…
▽ More
Uniformly random unitaries, i.e. unitaries drawn from the Haar measure, have many useful properties, but cannot be implemented efficiently. This has motivated a long line of research into random unitaries that "look" sufficiently Haar random while also being efficient to implement. Two different notions of derandomisation have emerged: $t$-designs are random unitaries that information-theoretically reproduce the first $t$ moments of the Haar measure, and pseudorandom unitaries (PRUs) are random unitaries that are computationally indistinguishable from Haar random.
In this work, we take a unified approach to constructing $t$-designs and PRUs. For this, we introduce and analyse the "$PFC$ ensemble", the product of a random computational basis permutation $P$, a random binary phase operator $F$, and a random Clifford unitary $C$. We show that this ensemble reproduces exponentially high moments of the Haar measure. We can then derandomise the $PFC$ ensemble to show the following:
(1) Linear-depth $t$-designs. We give the first construction of a (diamond-error) approximate $t$-design with circuit depth linear in $t$. This follows from the $PFC$ ensemble by replacing the random phase and permutation operators with their $2t$-wise independent counterparts.
(2) Non-adaptive PRUs. We give the first construction of PRUs with non-adaptive security, i.e. we construct unitaries that are indistinguishable from Haar random to polynomial-time distinguishers that query the unitary in parallel on an arbitary state. This follows from the $PFC$ ensemble by replacing the random phase and permutation operators with their pseudorandom counterparts.
(3) Adaptive pseudorandom isometries. We show that if one considers isometries (rather than unitaries) from $n$ to $n + ω(\log n)$ qubits, a small modification of our PRU construction achieves general adaptive security.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Cosmic Ray Feedback on Bi-stable ISM Turbulence
Authors:
Roark Habegger,
Ka Wai Ho,
Ka Ho Yuen,
Ellen G. Zweibel
Abstract:
Despite being energetically important, the effect of cosmic rays on the dynamics of the interstellar medium (ISM) is assumed to be negligible because the cosmic ray energy diffusion coefficient parallel to the magnetic field is relatively large. Using numerical simulations, we explore how variation of the cosmic ray diffusion coefficient as a function of gas temperature could impact the dynamics o…
▽ More
Despite being energetically important, the effect of cosmic rays on the dynamics of the interstellar medium (ISM) is assumed to be negligible because the cosmic ray energy diffusion coefficient parallel to the magnetic field is relatively large. Using numerical simulations, we explore how variation of the cosmic ray diffusion coefficient as a function of gas temperature could impact the dynamics of the ISM. We create a two-zone model of cosmic ray transport, reflecting the strong dam** of the small scale magnetic field fluctuations, which scatter the cosmic rays, in a gas with low ionization. The variable diffusion coefficient allows more cold gas to form. However, setting the diffusion coefficient at a critical value in the warm phase allows the cosmic rays to adjust the kinetic energy cascade. Specifically, we show the slope of the cascade changes for motion perpendicular to the mean magnetic field, whereas kinetic energy parallel to the magnetic field is reduced equally across inertial scales. We show that cosmic ray energization (or reacceleration) comes at the expense of total radiated energy generated during the formation of a cold cloud. We also show that our two-zone model of cosmic ray transport is capable of matching estimates of the grammage for some paths through the simulation, but full comparison of the grammage requires simulating turbulence in a larger volume.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Pseudorandom unitaries with non-adaptive security
Authors:
Tony Metger,
Alexander Poremba,
Makrand Sinha,
Henry Yuen
Abstract:
Pseudorandom unitaries (PRUs) are ensembles of efficiently implementable unitary operators that cannot be distinguished from Haar random unitaries by any quantum polynomial-time algorithm with query access to the unitary. We present a simple PRU construction that is a concatenation of a random Clifford unitary, a pseudorandom binary phase operator, and a pseudorandom permutation operator. We prove…
▽ More
Pseudorandom unitaries (PRUs) are ensembles of efficiently implementable unitary operators that cannot be distinguished from Haar random unitaries by any quantum polynomial-time algorithm with query access to the unitary. We present a simple PRU construction that is a concatenation of a random Clifford unitary, a pseudorandom binary phase operator, and a pseudorandom permutation operator. We prove that this PRU construction is secure against non-adaptive distinguishers assuming the existence of quantum-secure one-way functions. This means that no efficient quantum query algorithm that is allowed a single application of $U^{\otimes \mathrm{poly}(n)}$ can distinguish whether an $n$-qubit unitary $U$ was drawn from the Haar measure or our PRU ensemble. We conjecture that our PRU construction remains secure against adaptive distinguishers, i.e. secure against distinguishers that can query the unitary polynomially many times in sequence, not just in parallel.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Sub-Alfvenic Turbulence: Magnetic to Kinetic Energy Ratio, Modification of Weak Cascade and Implications for Magnetic Field Strength Measurement
Authors:
Alex Lazarian,
Ka Wai HO,
Ka Ho Yuen,
Ethan Vishniac
Abstract:
We study the properties of sub-Alfvenic magnetohydrodynamic (MHD) turbulence, i.e., turbulence with Alfven Mach number $M_A=V_L/V_A<1$, where $V_L$ is the velocity at the injection scale and $V_A$ is the Alfven velocity. We demonstrate that weak turbulence can have different regimes depending on whether it is driven by velocity or magnetic fluctuations. If the turbulence is driven by isotropic bul…
▽ More
We study the properties of sub-Alfvenic magnetohydrodynamic (MHD) turbulence, i.e., turbulence with Alfven Mach number $M_A=V_L/V_A<1$, where $V_L$ is the velocity at the injection scale and $V_A$ is the Alfven velocity. We demonstrate that weak turbulence can have different regimes depending on whether it is driven by velocity or magnetic fluctuations. If the turbulence is driven by isotropic bulk forces, i.e. velocity-driven, in an incompressible conducting fluid, we predict that the kinetic energy is $M_A^{-2}$ times larger than the energy of magnetic fluctuations. This effect arises from the long parallel wavelength tail of the forcing, which excites modes with $k_\|/k_\perp < M_A$. We also predict that as the turbulent cascade reaches the strong regime the energy of slow modes exceeds the energy of Alfven modes by a factor $M_A^{-1}$. These effects are absent if the turbulence is magnetically driven at the injection scale. We confirm these predictions with numerical simulations. As the assumption of magnetic and kinetic energy equipartition is at the core of the Davis-Chandrasekhar-Fermi (DCF) approach to measuring magnetic field strength in sub-Alfvenic turbulence, we conclude that the DCF technique is not universally applicable. In particular, we suggest that the dynamical excitation of long azimuthal wavelength modes in the galactic disk may compromise the use of the DCF technique. We discuss alternative expressions that can be used to obtain magnetic field strength from observations.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
An efficient quantum parallel repetition theorem and applications
Authors:
John Bostanci,
Luowen Qian,
Nicholas Spooner,
Henry Yuen
Abstract:
We prove a tight parallel repetition theorem for $3$-message computationally-secure quantum interactive protocols between an efficient challenger and an efficient adversary. We also prove under plausible assumptions that the security of $4$-message computationally secure protocols does not generally decrease under parallel repetition. These mirror the classical results of Bellare, Impagliazzo, and…
▽ More
We prove a tight parallel repetition theorem for $3$-message computationally-secure quantum interactive protocols between an efficient challenger and an efficient adversary. We also prove under plausible assumptions that the security of $4$-message computationally secure protocols does not generally decrease under parallel repetition. These mirror the classical results of Bellare, Impagliazzo, and Naor [BIN97]. Finally, we prove that all quantum argument systems can be generically compiled to an equivalent $3$-message argument system, mirroring the transformation for quantum proof systems [KW00, KKMV07].
As immediate applications, we show how to derive hardness amplification theorems for quantum bit commitment schemes (answering a question of Yan [Yan22]), EFI pairs (answering a question of Brakerski, Canetti, and Qian [BCQ23]), public-key quantum money schemes (answering a question of Aaronson and Christiano [AC13]), and quantum zero-knowledge argument systems. We also derive an XOR lemma [Yao82] for quantum predicates as a corollary.
△ Less
Submitted 16 April, 2024; v1 submitted 17 November, 2023;
originally announced November 2023.
-
On the Pauli Spectrum of QAC0
Authors:
Shivam Nadimpalli,
Natalie Parham,
Francisca Vasconcelos,
Henry Yuen
Abstract:
The circuit class $\mathsf{QAC}^0$ was introduced by Moore (1999) as a model for constant depth quantum circuits where the gate set includes many-qubit Toffoli gates. Proving lower bounds against such circuits is a longstanding challenge in quantum circuit complexity; in particular, showing that polynomial-size $\mathsf{QAC}^0$ cannot compute the parity function has remained an open question for o…
▽ More
The circuit class $\mathsf{QAC}^0$ was introduced by Moore (1999) as a model for constant depth quantum circuits where the gate set includes many-qubit Toffoli gates. Proving lower bounds against such circuits is a longstanding challenge in quantum circuit complexity; in particular, showing that polynomial-size $\mathsf{QAC}^0$ cannot compute the parity function has remained an open question for over 20 years.
In this work, we identify a notion of the Pauli spectrum of $\mathsf{QAC}^0$ circuits, which can be viewed as the quantum analogue of the Fourier spectrum of classical $\mathsf{AC}^0$ circuits. We conjecture that the Pauli spectrum of $\mathsf{QAC}^0$ circuits satisfies low-degree concentration, in analogy to the famous Linial, Nisan, Mansour theorem on the low-degree Fourier concentration of $\mathsf{AC}^0$ circuits. If true, this conjecture immediately implies that polynomial-size $\mathsf{QAC}^0$ circuits cannot compute parity.
We prove this conjecture for the class of depth-$d$, polynomial-size $\mathsf{QAC}^0$ circuits with at most $n^{O(1/d)}$ auxiliary qubits. We obtain new circuit lower bounds and learning results as applications: this class of circuits cannot correctly compute
- the $n$-bit parity function on more than $(\frac{1}{2} + 2^{-Ω(n^{1/d})})$-fraction of inputs, and
- the $n$-bit majority function on more than $(\frac{1}{2} + O(n^{-1/4}))$-fraction of inputs.
Additionally we show that this class of $\mathsf{QAC}^0$ circuits with limited auxiliary qubits can be learned with quasipolynomial sample complexity, giving the first learning result for $\mathsf{QAC}^0$ circuits.
More broadly, our results add evidence that "Pauli-analytic" techniques can be a powerful tool in studying quantum circuits.
△ Less
Submitted 3 February, 2024; v1 submitted 16 November, 2023;
originally announced November 2023.
-
Efficiently stable presentations from error-correcting codes
Authors:
Michael Chapman,
Thomas Vidick,
Henry Yuen
Abstract:
We introduce a notion of \emph{efficient stability} for finite presentations of groups. Informally, a finite presentation using generators $S$ and relations $R$ is \emph{stable} if any map from $S$ to unitaries that approximately satisfies the relations (in the tracial norm) is close to the restriction of a representation of $G$ to the subset $S$. This notion and variants thereof have been extensi…
▽ More
We introduce a notion of \emph{efficient stability} for finite presentations of groups. Informally, a finite presentation using generators $S$ and relations $R$ is \emph{stable} if any map from $S$ to unitaries that approximately satisfies the relations (in the tracial norm) is close to the restriction of a representation of $G$ to the subset $S$. This notion and variants thereof have been extensively studied in recent years, in part motivated by connections to property testing in computer science. The novelty in our work is the focus on \emph{efficiency}, which, informally, places an onus on small presentations -- in the sense of encoding length. The goal in this setup is to achieve non-trivial tradeoffs between the presentation length and its modulus of stability.
With this goal in mind we analyze various natural examples of presentations. We provide a general method for constructing presentations of $\mathbb{Z}_2^k$ from linear error-correcting codes. We observe that the resulting presentation has a weak form of stability exactly when the code is \emph{testable}. This raises the question of whether testable codes give rise to genuinely stable presentations using this method. While we cannot show that this is the case in general, we leverage recent results in the study of non-local games in quantum information theory (Ji et al., Discrete Analysis 2021) to show that a specific instantiation of our construction, based on the Reed-Muller family of codes, leads to a stable presentation of $\mathbb{Z}_2^k$ of size polylog$(k)$ only. As an application, we combine this result with recent work of de la Salle (arXiv:2204.07084) to re-derive the quantum low-degree test of Natarajan and Vidick (IEEE FOCS'18), which is a key building block in the recent refutation of Connes' Embedding Problem via complexity theory (Ji et al., arXiv:2001.04383).
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Temporal Properties of the Compressible Magnetohydrodynamic Turbulence
Authors:
Ka Ho Yuen,
Hui Li,
Huirong Yan
Abstract:
The temporal property of the compressible magneto-hydrodynamic (MHD) turbulence remains a fundamental unsolved question. Recent studies based on the spatial-temporal analysis in the global frame of reference suggest that the majority of fluctuation power in turbulence does not follow any of the MHD wave dispersion relations but has very low temporal frequency with finite wavenumbers. Here, we demo…
▽ More
The temporal property of the compressible magneto-hydrodynamic (MHD) turbulence remains a fundamental unsolved question. Recent studies based on the spatial-temporal analysis in the global frame of reference suggest that the majority of fluctuation power in turbulence does not follow any of the MHD wave dispersion relations but has very low temporal frequency with finite wavenumbers. Here, we demonstrate that the Lorentzian broadening of the dispersion relations of the three MHD modes where the nonlinear effects act like the dam** of a harmonic oscillator can explain many salient features of frequency spectra for all MHD modes. The low frequency fluctuations are dominated by modes with the low parallel wavenumbers that have been broadened by the nonlinear processes. The Lorentzian broadening widths of the three MHD modes exhibit scaling relations to the global frame wavenumbers and are intrinsically related to energy cascade of each mode. Our results provide a new window to investigate the temporal properties of turbulence which offers insights for building a comprehensive understanding of the compressible MHD turbulence.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Quantifying Robustness of Attosecond Transient Absorption Spectroscopy for Vibronic Coherence in Charge Migration
Authors:
C. H. Yuen,
C. D. Lin
Abstract:
Probing vibronic coherence in molecules has been a central topic in ultrafast science, as it is an essential prerequisite to monitoring electronic motion. While experiments have demonstrated that attosecond transient absorption spectroscopy (ATAS) can probe the vibronic coherence in a few molecules, its robustness remains largely unexplored. In this Letter, we develop a comprehensive theory for AT…
▽ More
Probing vibronic coherence in molecules has been a central topic in ultrafast science, as it is an essential prerequisite to monitoring electronic motion. While experiments have demonstrated that attosecond transient absorption spectroscopy (ATAS) can probe the vibronic coherence in a few molecules, its robustness remains largely unexplored. In this Letter, we develop a comprehensive theory for ATAS which accounts for the orientation dependence of the density matrix of a pumped molecule. We apply our theory to N$_2^+$ formed by multiorbital tunnel ionization under a few-cycle intense near-infrared laser pulse. The simulated x-ray absorption spectrum shows clear signatures of the vibronic coherence between the $A^2Π_u$ and $B^2Σ_u^+$ states of N$_2^+$, which was predicted to be absent by a previous theory. We further define a coherence contrast factor to quantify the robustness of ATAS. This work advances the theoretical foundation of ATAS and paves the way for monitoring electronic motion in generic molecules.
△ Less
Submitted 31 July, 2023; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Study of Magnetic Field and Turbulence in the TeV halo around Monogem Pulsar
Authors:
Sunil Malik,
Ka Ho Yuen,
Huirong Yan
Abstract:
Magnetic fields are ubiquitous in the interstellar medium, including extended objects such as supernova remnants and diffuse halos around Pulsars. Its turbulent characteristics govern the diffusion of cosmic rays and the multi-wavelength emission from PWNe. However, the geometry and turbulence nature of the magnetic fields in the ambient region of PWN is still unknown. Recent gamma-ray observation…
▽ More
Magnetic fields are ubiquitous in the interstellar medium, including extended objects such as supernova remnants and diffuse halos around Pulsars. Its turbulent characteristics govern the diffusion of cosmic rays and the multi-wavelength emission from PWNe. However, the geometry and turbulence nature of the magnetic fields in the ambient region of PWN is still unknown. Recent gamma-ray observations from HAWC and synchrotron observations suggest a highly suppressed diffusion coefficient compared to the mean interstellar value. In this study, we present the first direct observational evidence of the orientation of the mean magnetic field and turbulent characteristics by employing a recently developed statistical parameter `Y$_{turb}$' in the extended halo around the Monogem pulsar. Our study points two possible scenarios: nearly aligned toward the line of sight (LoS) with compressible modes dominance or high inclination angle toward LoS and characterized by Alfvénic turbulence. The first scenario appears consistent with other observational signatures. Furthermore, we report that the magnetic field has an observed correlation length of approximately $3 \pm 0.6 {\rm pc}$ in the Monogem halo. Our study highlights the pivotal role of magnetic field and turbulence in unraveling the physical processes in TeV halos and cosmic ray transport.
△ Less
Submitted 20 March, 2024; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Unitary Complexity and the Uhlmann Transformation Problem
Authors:
John Bostanci,
Yuval Efron,
Tony Metger,
Alexander Poremba,
Luowen Qian,
Henry Yuen
Abstract:
State transformation problems such as compressing quantum information or breaking quantum commitments are fundamental quantum tasks. However, their computational difficulty cannot easily be characterized using traditional complexity theory, which focuses on tasks with classical inputs and outputs.
To study the complexity of such state transformation tasks, we introduce a framework for unitary sy…
▽ More
State transformation problems such as compressing quantum information or breaking quantum commitments are fundamental quantum tasks. However, their computational difficulty cannot easily be characterized using traditional complexity theory, which focuses on tasks with classical inputs and outputs.
To study the complexity of such state transformation tasks, we introduce a framework for unitary synthesis problems, including notions of reductions and unitary complexity classes. We use this framework to study the complexity of transforming one entangled state into another via local operations. We formalize this as the Uhlmann Transformation Problem, an algorithmic version of Uhlmann's theorem. Then, we prove structural results relating the complexity of the Uhlmann Transformation Problem, polynomial space quantum computation, and zero knowledge protocols.
The Uhlmann Transformation Problem allows us to characterize the complexity of a variety of tasks in quantum information processing, including decoding noisy quantum channels, breaking falsifiable quantum cryptographic assumptions, implementing optimal prover strategies in quantum interactive proofs, and decoding the Hawking radiation of black holes. Our framework for unitary complexity thus provides new avenues for studying the computational complexity of many natural quantum information processing tasks.
△ Less
Submitted 19 November, 2023; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Pseudorandom Strings from Pseudorandom Quantum States
Authors:
Prabhanjan Ananth,
Yao-Ting Lin,
Henry Yuen
Abstract:
We study the relationship between notions of pseudorandomness in the quantum and classical worlds. Pseudorandom quantum state generator (PRSG), a pseudorandomness notion in the quantum world, is an efficient circuit that produces states that are computationally indistinguishable from Haar random states. PRSGs have found applications in quantum gravity, quantum machine learning, quantum complexity…
▽ More
We study the relationship between notions of pseudorandomness in the quantum and classical worlds. Pseudorandom quantum state generator (PRSG), a pseudorandomness notion in the quantum world, is an efficient circuit that produces states that are computationally indistinguishable from Haar random states. PRSGs have found applications in quantum gravity, quantum machine learning, quantum complexity theory, and quantum cryptography. Pseudorandom generators, on the other hand, a pseudorandomness notion in the classical world, is ubiquitous to theoretical computer science. While some separation results were known between PRSGs, for some parameter regimes, and PRGs, their relationship has not been completely understood.
In this work, we show that a natural variant of pseudorandom generators called quantum pseudorandom generators (QPRGs) can be based on the existence of logarithmic output length PRSGs. Our result along with the previous separations gives a better picture regarding the relationship between the two notions. We also study the relationship between other notions, namely, pseudorandom function-like state generators and pseudorandom functions. We provide evidence that QPRGs can be as useful as PRGs by providing cryptographic applications of QPRGs such as commitments and encryption schemes.
Our primary technical contribution is a method for pseudodeterministically extracting uniformly random strings from Haar-random states.
△ Less
Submitted 13 September, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Coherence from multiorbital tunneling ionization of molecules
Authors:
C. H. Yuen,
C. D. Lin
Abstract:
We present a simple and general coherence model for multiorbital tunnel ionization of molecules, which we incorporate into our previously developed density matrix approach for sequential double ionization [Yuen and Lin, Phys. Rev. A 106, 023120 (2022)]. The influence of this coherence is investigated through simulations of single ionization and sequential double ionization of N$_2$ and O$_2$ using…
▽ More
We present a simple and general coherence model for multiorbital tunnel ionization of molecules, which we incorporate into our previously developed density matrix approach for sequential double ionization [Yuen and Lin, Phys. Rev. A 106, 023120 (2022)]. The influence of this coherence is investigated through simulations of single ionization and sequential double ionization of N$_2$ and O$_2$ using few-cycle near-infrared laser pulses. In the case of single ionization, our results reveal the crucial role played by this coherence in generating population inversion in N$_2^+$, suggesting a potential mechanism for air lasing. Regarding sequential double ionization, we observe only minor changes in the kinetic energy release spectra when the coherence is included, while noticeable differences in the angle-dependent dication yield for both N$_2$ and O$_2$ are found. Based on these findings, we recommend the inclusion of multiorbital tunnel ionization coherence in models for single ionization of general molecules, while suggesting that it can be safely neglected in the case of sequential double ionization.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Small-amplitude Compressible Magnetohydrodynamic Turbulence Modulated by Collisionless Dam** in Earth's Magnetosheath: Observation Matches Theory
Authors:
Siqi Zhao,
Huirong Yan,
Terry Z. Liu,
Ka Ho Yuen,
Mijie Shi
Abstract:
Plasma turbulence is a ubiquitous dynamical process that transfers energy across many spatial and temporal scales and affects energetic particle transport. Recent advances in the understanding of compressible magnetohydrodynamic (MHD) turbulence demonstrate the important role of dam** in sha** energy distributions on small scales, yet its observational evidence is still lacking. This study pro…
▽ More
Plasma turbulence is a ubiquitous dynamical process that transfers energy across many spatial and temporal scales and affects energetic particle transport. Recent advances in the understanding of compressible magnetohydrodynamic (MHD) turbulence demonstrate the important role of dam** in sha** energy distributions on small scales, yet its observational evidence is still lacking. This study provides the first observational evidence of substantial collisionless dam** (CD) modulation on small-amplitude compressible MHD turbulence cascade in Earth's magnetosheath using four Cluster spacecraft. Based on an improved compressible MHD decomposition algorithm, turbulence is decomposed into three eigenmodes: incompressible Alfvén modes, and compressible slow and fast (magnetosonic) modes. Our observations demonstrate that CD enhances the anisotropy of compressible MHD modes because CD has a strong dependence on wave propagation angle. The wavenumber distributions of slow modes are mainly stretched perpendicular to the background magnetic field ($\mathbf{B_0}$) and weakly modulated by CD. In contrast, fast modes are subjected to a more significant CD modulation. Fast modes exhibit a weak, scale-independent anisotropy above the CD truncation scale. Below the CD truncation scale, the anisotropy of fast modes enhances as wavenumbers increase. As a result, fast mode fractions in the total energy of compressible modes decrease with the increase of perpendicular wavenumber (to $\mathbf{B_0}$) or wave propagation angle. Our findings reveal how the turbulence cascade is shaped by CD and its consequences to anisotropies in the space environment.
△ Less
Submitted 8 February, 2024; v1 submitted 21 May, 2023;
originally announced May 2023.
-
Diagnosis of 3D magnetic field and modes composition in MHD turbulence with Y-parameter
Authors:
Sunil Malik,
Ka Ho Yuen,
Huirong Yan
Abstract:
Magnetic fields are crucial in numerous astrophysical processes within the interstellar medium. However, the detailed determination of magnetic field geometry is notoriously challenging. Based on the modern magnetohydrodynamic (MHD) turbulence theory, we introduce a novel statistical technique, the "Y-parameter", to decipher the magnetic field inclination in the ISM and identify dominant turbulenc…
▽ More
Magnetic fields are crucial in numerous astrophysical processes within the interstellar medium. However, the detailed determination of magnetic field geometry is notoriously challenging. Based on the modern magnetohydrodynamic (MHD) turbulence theory, we introduce a novel statistical technique, the "Y-parameter", to decipher the magnetic field inclination in the ISM and identify dominant turbulence modes. The Y-parameter, calculated as the ratio of anisotropies of different Stokes parameter combinations, displays contrasting trends with the mean-field inclination angle in Alfvénic and compressible turbulence modes. A Y-parameter value around $1.5\pm0.5$ provide a statistical boundary to determine the dominant MHD turbulence modes. We have discovered specific correlations between the Y-parameter value and the inclination angle that unveil the dominant turbulence mode. This methodology, when applied to future radio polarisation surveys such as LOFAR and SKA, promises to significantly enhance our knowledge of 3D magnetic field in the ISM and improve our understanding of interstellar turbulence.
△ Less
Submitted 21 July, 2023; v1 submitted 30 March, 2023;
originally announced March 2023.
-
The amoeba dimension of a linear space
Authors:
Jan Draisma,
Sarah Eggleston,
Rudi Pendavingh,
Johannes Rau,
Chi Ho Yuen
Abstract:
Given a complex vector subspace $V$ of $\mathbb{C}^n$, the dimension of the amoeba of $V \cap (\mathbb{C}^*)^n$ depends only on the matroid that $V$ defines on the ground set $\{1,\ldots,n\}$. Here we prove that this dimension is given by the minimum of a certain function over all partitions of the ground set, as previously conjectured by Rau. We also prove that this formula can be evaluated in po…
▽ More
Given a complex vector subspace $V$ of $\mathbb{C}^n$, the dimension of the amoeba of $V \cap (\mathbb{C}^*)^n$ depends only on the matroid that $V$ defines on the ground set $\{1,\ldots,n\}$. Here we prove that this dimension is given by the minimum of a certain function over all partitions of the ground set, as previously conjectured by Rau. We also prove that this formula can be evaluated in polynomial time.
△ Less
Submitted 21 November, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Probing Vibronic Coherence in Charge Migration of Molecules Using Strong Field Sequential Double Ionization
Authors:
C. H. Yuen,
C. D. Lin
Abstract:
We propose a novel scheme for probing vibronic coherence in charge migration in molecules utilizing strong field sequential double ionization. To demonstrate the feasibility of this approach, we perform full simulations of a pump-probe scheme employing few-cycle intense infrared pulses for N$_2$ and O$_2$. We predict that the vibronic coherence between the pumped states will be directly imprinted…
▽ More
We propose a novel scheme for probing vibronic coherence in charge migration in molecules utilizing strong field sequential double ionization. To demonstrate the feasibility of this approach, we perform full simulations of a pump-probe scheme employing few-cycle intense infrared pulses for N$_2$ and O$_2$. We predict that the vibronic coherence between the pumped states will be directly imprinted in experimental observables such as kinetic energy release spectra and branching ratios of the dissociative dications. Our simulations are based on the recently developed DM-SDI model, which is capable of efficiently accounting for molecular orientations and enabling direct comparison with experimental results. Our findings strongly encourage the use of this probing scheme in future charge migration experiments.
△ Less
Submitted 12 February, 2023;
originally announced February 2023.
-
ASDF: A Differential Testing Framework for Automatic Speech Recognition Systems
Authors:
Daniel Hao Xian Yuen,
Andrew Yong Chen Pang,
Zhou Yang,
Chun Yong Chong,
Mei Kuan Lim,
David Lo
Abstract:
Recent years have witnessed wider adoption of Automated Speech Recognition (ASR) techniques in various domains. Consequently, evaluating and enhancing the quality of ASR systems is of great importance. This paper proposes ASDF, an Automated Speech Recognition Differential Testing Framework for testing ASR systems. ASDF extends an existing ASR testing tool, the CrossASR++, which synthesizes test ca…
▽ More
Recent years have witnessed wider adoption of Automated Speech Recognition (ASR) techniques in various domains. Consequently, evaluating and enhancing the quality of ASR systems is of great importance. This paper proposes ASDF, an Automated Speech Recognition Differential Testing Framework for testing ASR systems. ASDF extends an existing ASR testing tool, the CrossASR++, which synthesizes test cases from a text corpus. However, CrossASR++ fails to make use of the text corpus efficiently and provides limited information on how the failed test cases can improve ASR systems. To address these limitations, our tool incorporates two novel features: (1) a text transformation module to boost the number of generated test cases and uncover more errors in ASR systems and (2) a phonetic analysis module to identify on which phonemes the ASR system tend to produce errors. ASDF generates more high-quality test cases by applying various text transformation methods (e.g., change tense) to the texts in failed test cases. By doing so, ASDF can utilize a small text corpus to generate a large number of audio test cases, something which CrossASR++ is not capable of. In addition, ASDF implements more metrics to evaluate the performance of ASR systems from multiple perspectives. ASDF performs phonetic analysis on the identified failed test cases to identify the phonemes that ASR systems tend to transcribe incorrectly, providing useful information for developers to improve ASR systems. The demonstration video of our tool is made online at https://www.youtube.com/watch?v=DzVwfc3h9As. The implementation is available at https://github.com/danielyuenhx/asdf-differential-testing.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Anomalous compressible mode generation by global frame projections of pure Alfven mode
Authors:
Ka Ho Yuen,
Huirong Yan,
Alex Lazarian
Abstract:
Alfven wave is the single most important physical phenomenon of magneto-hydrodynamic turbulence and has far-reaching impact to almost all studies related to astrophysical magnetic field. Yet the restoration of the Alfven wave fluctuations from a given magnetic field, aka the local Alfven wave problem, is never properly addressed in literature albeit its importance. Previous works model the Alfven…
▽ More
Alfven wave is the single most important physical phenomenon of magneto-hydrodynamic turbulence and has far-reaching impact to almost all studies related to astrophysical magnetic field. Yet the restoration of the Alfven wave fluctuations from a given magnetic field, aka the local Alfven wave problem, is never properly addressed in literature albeit its importance. Previous works model the Alfven wave fluctuation as the perturbation along a straight-line, constant magnetic field. However, Lazarian & Pogosyan (2012) suggested that the decomposition of Alfven wave along a straight line, aka. the global frame decomposition, has a factor of discrepancy to the true local Alfven wave fluctuation. Here we provide a geometric interpretation on how the local Alfven wave is related to the global frame through the use of vector frame formulation. We prove both analytically and numerically that the local frame Alfven wave is an orthogonal transformation of that of the global frame and related by the local Alfvenic Mach number. In other words, when we observe Alfven wave in the global frame of reference, some of the Alfven wave will be mistaken as compressible waves. The importance of frame choices have a far-reaching impact to the analytical studies of MHD turbulence. Combining the frame formalism and the new techniques we can have accurate measurement to some of the fundamental turbulence properties like the inclination angle of mean magnetic field relative to the line of sight.
△ Less
Submitted 30 January, 2023;
originally announced January 2023.
-
On the (Im)plausibility of Public-Key Quantum Money from Collision-Resistant Hash Functions
Authors:
Prabhanjan Ananth,
Zihan Hu,
Henry Yuen
Abstract:
Public-key quantum money is a cryptographic proposal for using highly entangled quantum states as currency that is publicly verifiable yet resistant to counterfeiting due to the laws of physics. Despite significant interest, constructing provably-secure public-key quantum money schemes based on standard cryptographic assumptions has remained an elusive goal. Even proposing plausibly-secure candida…
▽ More
Public-key quantum money is a cryptographic proposal for using highly entangled quantum states as currency that is publicly verifiable yet resistant to counterfeiting due to the laws of physics. Despite significant interest, constructing provably-secure public-key quantum money schemes based on standard cryptographic assumptions has remained an elusive goal. Even proposing plausibly-secure candidate schemes has been a challenge.
These difficulties call for a deeper and systematic study of the structure of public-key quantum money schemes and the assumptions they can be based on. Motivated by this, we present the first black-box separation of quantum money and cryptographic primitives. Specifically, we show that collision-resistant hash functions cannot be used as a black-box to construct public-key quantum money schemes where the banknote verification makes classical queries to the hash function. Our result involves a novel combination of state synthesis techniques from quantum complexity theory and simulation techniques, including Zhandry's compressed oracle technique.
△ Less
Submitted 22 January, 2023;
originally announced January 2023.
-
stateQIP = statePSPACE
Authors:
Tony Metger,
Henry Yuen
Abstract:
Complexity theory traditionally studies the hardness of solving classical computational problems. In the quantum setting, it is also natural to consider a different notion of complexity, namely the complexity of physically preparing a certain quantum state. We study the relation between two such state complexity classes: statePSPACE, which contains states that can be generated by space-uniform pol…
▽ More
Complexity theory traditionally studies the hardness of solving classical computational problems. In the quantum setting, it is also natural to consider a different notion of complexity, namely the complexity of physically preparing a certain quantum state. We study the relation between two such state complexity classes: statePSPACE, which contains states that can be generated by space-uniform polynomial-space quantum circuits, and stateQIP, which contains states that a polynomial-time quantum verifier can generate by interacting with an all-powerful untrusted quantum prover. The latter class was recently introduced by Rosenthal and Yuen (ITCS 2022), who proved that statePSPACE $\subseteq$ stateQIP.
Our main result is the reverse inclusion, stateQIP $\subseteq$ statePSPACE, thereby establishing equality of the two classes and providing a natural state-complexity analogue to the celebrated QIP = PSPACE theorem of Jain, et al. (J. ACM 2011). To prove this, we develop a polynomial-space quantum algorithm for solving a large class of exponentially large "PSPACE-computable" semidefinite programs (SDPs), which also prepares an optimiser encoded in a quantum state. Our SDP solver relies on recent block-encoding techniques from quantum algorithms, demonstrating that these techniques are also useful for complexity theory.
Using similar techniques, we also show that optimal prover strategies for general quantum interactive protocols can be implemented in quantum polynomial space. We prove this by studying an algorithmic version of Uhlmann's theorem and establishing an upper bound on the complexity of implementing Uhlmann transformations.
△ Less
Submitted 10 April, 2023; v1 submitted 18 January, 2023;
originally announced January 2023.
-
Identification of the weak-to-strong transition in Alfvénic turbulence from space plasma
Authors:
Siqi Zhao,
Huirong Yan,
Terry Z. Liu,
Ka Ho Yuen,
Huizi Wang
Abstract:
Plasma turbulence is a ubiquitous dynamical process that transfers energy across many spatial and temporal scales in astrophysical and space plasma systems. Although the theory of anisotropic magnetohydrodynamic (MHD) turbulence has successfully described phenomena in nature, its core prediction of an Alfvenic transition from weak to strong MHD turbulence when energy cascades from large to small s…
▽ More
Plasma turbulence is a ubiquitous dynamical process that transfers energy across many spatial and temporal scales in astrophysical and space plasma systems. Although the theory of anisotropic magnetohydrodynamic (MHD) turbulence has successfully described phenomena in nature, its core prediction of an Alfvenic transition from weak to strong MHD turbulence when energy cascades from large to small scales has not been observationally confirmed. Here we report the first observational evidence for the Alfvenic weak-to-strong transition in MHD turbulence in the terrestrial magnetosheath using the four Cluster spacecraft. The observed transition indicates the universal existence of strong turbulence regardless of the initial level of MHD fluctuations. Moreover, the observations demonstrate that the nonlinear interactions of MHD turbulence play a crucial role in the energy cascade, widening the directions of the energy cascade and broadening the fluctuating frequencies. Our work takes a critical step toward understanding the complete picture of turbulence cascade, connecting the weak and strong MHD turbulence systems. It will have broad implications in star formation, energetic particle transport, turbulent dynamo, and solar corona or solar wind heating.
△ Less
Submitted 24 April, 2024; v1 submitted 17 January, 2023;
originally announced January 2023.
-
The Critical Groups of Adinkras up to 2-Rank of Cayley Graphs
Authors:
Chi Ho Yuen
Abstract:
Adinkras are graphical gadgets introduced by physicists to study supersymmetry, which can be thought of as the Cayley graphs for supersymmetry algebras. Improving the result of Iga et al., we determine the critical group of an Adinkra given the 2-rank of the Laplacian of the underlying Cayley graph. As a corollary, we show that the critical group is independent of the signature of the Adinkra. The…
▽ More
Adinkras are graphical gadgets introduced by physicists to study supersymmetry, which can be thought of as the Cayley graphs for supersymmetry algebras. Improving the result of Iga et al., we determine the critical group of an Adinkra given the 2-rank of the Laplacian of the underlying Cayley graph. As a corollary, we show that the critical group is independent of the signature of the Adinkra. The proof uses the monodromy pairing on these critical groups.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
The photometric observation of the quasi-simultaneous mutual eclipse and occultation between Europa and Ganymede on 22 August 2021
Authors:
Chu Wing So,
Godfrey Ho Ching Luk,
Giann On Ching Chung,
Po Kin Leung,
Kenneith Ho Keung Hui,
Jack Lap Chung Cheung,
Ka Wo Chan,
Edwin Lok Hei Yuen,
Lawrence Wai Kwan Lee,
Patrick Kai Ip Lau,
Gloria Wing Shan Cheung,
Prince Chun Lam Chan,
Jason Chun Shing Pun
Abstract:
Mutual events (MEs) are eclipses and occultations among planetary natural satellites. Most of the time, eclipses and occultations occur separately. However, the same satellite pair will exhibit an eclipse and an occultation quasi-simultaneously under particular orbital configurations. This kind of rare event is termed as a quasi-simultaneous mutual event (QSME). During the 2021 campaign of mutual…
▽ More
Mutual events (MEs) are eclipses and occultations among planetary natural satellites. Most of the time, eclipses and occultations occur separately. However, the same satellite pair will exhibit an eclipse and an occultation quasi-simultaneously under particular orbital configurations. This kind of rare event is termed as a quasi-simultaneous mutual event (QSME). During the 2021 campaign of mutual events of jovian satellites, we observed a QSME between Europa and Ganymede. The present study aims to describe and study the event in detail. We observed the QSME with a CCD camera attached to a 300-mm telescope at the Hong Kong Space Museum Sai Kung iObservatory. We obtained the combined flux of Europa and Ganymede from aperture photometry. A geometric model was developed to explain the light curve observed. Our results are compared with theoretical predictions (O-C). We found that our simple geometric model can explain the QSME fairly accurately, and the QSME light curve is a superposition of the light curves of an eclipse and an occultation. Notably, the observed flux drops are within 2.6% of the theoretical predictions. The size of the event central time O-Cs ranges from -14.4 to 43.2 s. Both O-Cs of flux drop and timing are comparable to other studies adopting more complicated models. Given the event rarity, model simplicity and accuracy, we encourage more observations and analysis on QSMEs to improve Solar System ephemerides.
△ Less
Submitted 10 December, 2022;
originally announced December 2022.
-
Pseudorandom (Function-Like) Quantum State Generators: New Definitions and Applications
Authors:
Prabhanjan Ananth,
Aditya Gulati,
Luowen Qian,
Henry Yuen
Abstract:
Pseudorandom quantum states (PRS) are efficiently constructible states that are computationally indistinguishable from being Haar-random, and have recently found cryptographic applications. We explore new definitions, new properties and applications of pseudorandom states, and present the following contributions:
1. New Definitions: We study variants of pseudorandom function-like state (PRFS) ge…
▽ More
Pseudorandom quantum states (PRS) are efficiently constructible states that are computationally indistinguishable from being Haar-random, and have recently found cryptographic applications. We explore new definitions, new properties and applications of pseudorandom states, and present the following contributions:
1. New Definitions: We study variants of pseudorandom function-like state (PRFS) generators, introduced by Ananth, Qian, and Yuen (CRYPTO'22), where the pseudorandomness property holds even when the generator can be queried adaptively or in superposition. We show feasibility of these variants assuming the existence of post-quantum one-way functions.
2. Classical Communication: We show that PRS generators with logarithmic output length imply commitment and encryption schemes with classical communication. Previous constructions of such schemes from PRS generators required quantum communication.
3. Simplified Proof: We give a simpler proof of the Brakerski--Shmueli (TCC'19) result that polynomially-many copies of uniform superposition states with random binary phases are indistinguishable from Haar-random states.
4. Necessity of Computational Assumptions: We also show that a secure PRS with output length logarithmic, or larger, in the key length necessarily requires computational assumptions.
△ Less
Submitted 9 June, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Unitary property testing lower bounds by polynomials
Authors:
Adrian She,
Henry Yuen
Abstract:
We study unitary property testing, where a quantum algorithm is given query access to a black-box unitary and has to decide whether it satisfies some property. In addition to containing the standard quantum query complexity model (where the unitary encodes a binary string) as a special case, this model contains "inherently quantum" problems that have no classical analogue. Characterizing the query…
▽ More
We study unitary property testing, where a quantum algorithm is given query access to a black-box unitary and has to decide whether it satisfies some property. In addition to containing the standard quantum query complexity model (where the unitary encodes a binary string) as a special case, this model contains "inherently quantum" problems that have no classical analogue. Characterizing the query complexity of these problems requires new algorithmic techniques and lower bound methods.
Our main contribution is a generalized polynomial method for unitary property testing problems. By leveraging connections with invariant theory, we apply this method to obtain lower bounds on problems such as determining recurrence times of unitaries, approximating the dimension of a marked subspace, and approximating the entanglement entropy of a marked state. We also present a unitary property testing-based approach towards an oracle separation between $\mathsf{QMA}$ and $\mathsf{QMA(2)}$, a long standing question in quantum complexity theory.
△ Less
Submitted 8 December, 2022; v1 submitted 11 October, 2022;
originally announced October 2022.
-
Testing and Learning Quantum Juntas Nearly Optimally
Authors:
Thomas Chen,
Shivam Nadimpalli,
Henry Yuen
Abstract:
We consider the problem of testing and learning quantum $k$-juntas: $n$-qubit unitary matrices which act non-trivially on just $k$ of the $n$ qubits and as the identity on the rest. As our main algorithmic results, we give (a) a $\widetilde{O}(\sqrt{k})$-query quantum algorithm that can distinguish quantum $k$-juntas from unitary matrices that are "far" from every quantum $k$-junta; and (b) a…
▽ More
We consider the problem of testing and learning quantum $k$-juntas: $n$-qubit unitary matrices which act non-trivially on just $k$ of the $n$ qubits and as the identity on the rest. As our main algorithmic results, we give (a) a $\widetilde{O}(\sqrt{k})$-query quantum algorithm that can distinguish quantum $k$-juntas from unitary matrices that are "far" from every quantum $k$-junta; and (b) a $O(4^k)$-query algorithm to learn quantum $k$-juntas. We complement our upper bounds for testing quantum $k$-juntas and learning quantum $k$-juntas with near-matching lower bounds of $Ω(\sqrt{k})$ and $Ω(\frac{4^k}{k})$, respectively. Our techniques are Fourier-analytic and make use of a notion of influence of qubits on unitaries.
△ Less
Submitted 27 October, 2023; v1 submitted 12 July, 2022;
originally announced July 2022.
-
An Improved Sample Complexity Lower Bound for (Fidelity) Quantum State Tomography
Authors:
Henry Yuen
Abstract:
We show that $Ω(rd/ε)$ copies of an unknown rank-$r$, dimension-$d$ quantum mixed state are necessary in order to learn a classical description with $1 - ε$ fidelity. This improves upon the tomography lower bounds obtained by Haah, et al. and Wright (when closeness is measured with respect to the fidelity function).
We show that $Ω(rd/ε)$ copies of an unknown rank-$r$, dimension-$d$ quantum mixed state are necessary in order to learn a classical description with $1 - ε$ fidelity. This improves upon the tomography lower bounds obtained by Haah, et al. and Wright (when closeness is measured with respect to the fidelity function).
△ Less
Submitted 30 December, 2022; v1 submitted 22 June, 2022;
originally announced June 2022.
-
Unveiling polarized emission from interstellar dust of the Large Magellanic Cloud with Planck
Authors:
D. Alina,
J. -Ph. Bernard,
K. H. Yuen,
A. Lazarian,
A. Hughes,
M. Iskakova,
A. Akimkhan,
A. Mukanova
Abstract:
Polarization of interstellar dust emission is a powerful probe of dust properties and magnetic field structure. Yet studies of external galaxies are hampered by foreground dust contribution. The aim of this study is to separate the polarised signal from the Large Magellanic Cloud (LMC) from that of the Milky Way (MW) in order to construct a wide-field, spatially complete map of dust polarization u…
▽ More
Polarization of interstellar dust emission is a powerful probe of dust properties and magnetic field structure. Yet studies of external galaxies are hampered by foreground dust contribution. The aim of this study is to separate the polarised signal from the Large Magellanic Cloud (LMC) from that of the Milky Way (MW) in order to construct a wide-field, spatially complete map of dust polarization using the Planck 353 GHz data. To estimate the foreground polarization direction, we used velocity gradients in HI spectral line data and assessed the performance of the output by comparing to starlight extinction polarization. We estimate the foreground intensity using dust properties derived previously from the Planck data and we assume the foreground polarization to be uniform and equal to the average of the MW around the galaxy. After foreground removal, the geometry of the plane-of-the-sky magnetic field in the LMC tends to follow the structure of the atomic gas in the LMC. This is notably the case along the molecular ridges extending south and south-east of the 30 Doradus star-forming complex, and along more diffuse southern arm extending towards the Small Magellanic Cloud. There is also an alignment between the magnetic field and the outer arm in the western part. The median polarization fraction in the LMC is slightly lower than that observed for the MW while the anti-correlation between the polarization angle dispersion function and the polarization fraction is slightly larger. Overall, polarization fraction distribution is similar to that observed in the MW.
△ Less
Submitted 29 November, 2022; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Turbulent universal galactic Kolmogorov velocity cascade over 6 decades
Authors:
Ka Ho Yuen,
Ka Wai Ho,
Chi Yan Law,
Avi Chen,
Alex Lazarian
Abstract:
We report the evidence for the existence of the universal, continuous turbulent cascade of velocity fluctuations with Kolmogorov -5/3 slope spanning 6 orders of length scales, from $10^4$ pc down to $10^{-2}$ pc. This was achieved by applying our innovative technique of separating density and velocity fluctuations to a set of spectroscopic surveys featuring various galactic spectral lines. This un…
▽ More
We report the evidence for the existence of the universal, continuous turbulent cascade of velocity fluctuations with Kolmogorov -5/3 slope spanning 6 orders of length scales, from $10^4$ pc down to $10^{-2}$ pc. This was achieved by applying our innovative technique of separating density and velocity fluctuations to a set of spectroscopic surveys featuring various galactic spectral lines. This unified velocity cascade involves different interstellar phases from diffuse galactic media to dense self-gravitating clouds and persists despite interstellar phase transitions. However, the turbulent density fluctuations do not show this universality as the value of the spectral slope changes in different interstellar phases. This agrees with the expectation of compressible turbulence theory and demonstrates that the density is only an indirect tracer of interstellar turbulence. We report that the density fluctuations for clouds and filaments that are preferentially parallel to magnetic fields exhibit the spectral slope of -2. The universal grand turbulent velocity cascade that is established in our paper has significant implications for key galactic physical processes, including star formation, cosmic ray transport etc. We anticipate our result to be a starting point for in vitro models of multiphase interstellar turbulence studies with a significant impact for modeling of spiral galaxies.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
Magnetic field strength from turbulence theory (I): Using differential measure approach (DMA)
Authors:
A. Lazarian,
Ka Ho Yuen,
Dmitri Pogosyan
Abstract:
The mean plane-of-sky magnetic field strength is traditionally obtained from the combination of polarization and spectroscopic data using the Davis-Chandrasekhar-Fermi (DCF) technique. However, we identify the major problem of the DCF to be its disregard of the anisotropic character of MHD turbulence. On the basis of the modern MHD turbulence theory we introduce a new way of obtaining magnetic fie…
▽ More
The mean plane-of-sky magnetic field strength is traditionally obtained from the combination of polarization and spectroscopic data using the Davis-Chandrasekhar-Fermi (DCF) technique. However, we identify the major problem of the DCF to be its disregard of the anisotropic character of MHD turbulence. On the basis of the modern MHD turbulence theory we introduce a new way of obtaining magnetic field strength from observations. Unlike the DCF, the new technique uses not the dispersion of the polarization angle and line of sight velocities, but increments of these quantities given by the structure functions. To address the variety of the astrophysical conditions for which our technique can be applied, we consider the turbulence in both media with magnetic pressure larger than the gas pressure corresponding e.g. to molecular and the gas pressure larger than the magnetic pressure corresponding to the warm neutral medium. We provide general expressions for arbitrary admixture of Alfvén, slow and fast modes in these media and consider in detail the particular cases relevant to diffuse media and molecular clouds. We successfully test our results using synthetic observations obtained from MHD turbulence simulations. We demonstrate that our Differential Measure Approach (DMA), unlike the DCF, can be used to measure the distribution of magnetic field strengths, can provide magnetic field measurements with limited data and is much more stable in the presence of large scale variations induces of non-turbulent nature. In parallel, our study uncover the deficiencies of the earlier DCF research.
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
FedRecAttack: Model Poisoning Attack to Federated Recommendation
Authors:
Dazhong Rong,
Shuai Ye,
Ruoyan Zhao,
Hon Ning Yuen,
Jianhai Chen,
Qinming He
Abstract:
Federated Recommendation (FR) has received considerable popularity and attention in the past few years. In FR, for each user, its feature vector and interaction data are kept locally on its own client thus are private to others. Without the access to above information, most existing poisoning attacks against recommender systems or federated learning lose validity. Benifiting from this characterist…
▽ More
Federated Recommendation (FR) has received considerable popularity and attention in the past few years. In FR, for each user, its feature vector and interaction data are kept locally on its own client thus are private to others. Without the access to above information, most existing poisoning attacks against recommender systems or federated learning lose validity. Benifiting from this characteristic, FR is commonly considered fairly secured. However, we argue that there is still possible and necessary security improvement could be made in FR. To prove our opinion, in this paper we present FedRecAttack, a model poisoning attack to FR aiming to raise the exposure ratio of target items. In most recommendation scenarios, apart from private user-item interactions (e.g., clicks, watches and purchases), some interactions are public (e.g., likes, follows and comments). Motivated by this point, in FedRecAttack we make use of the public interactions to approximate users' feature vectors, thereby attacker can generate poisoned gradients accordingly and control malicious users to upload the poisoned gradients in a well-designed way. To evaluate the effectiveness and side effects of FedRecAttack, we conduct extensive experiments on three real-world datasets of different sizes from two completely different scenarios. Experimental results demonstrate that our proposed FedRecAttack achieves the state-of-the-art effectiveness while its side effects are negligible. Moreover, even with small proportion (3%) of malicious users and small proportion (1%) of public interactions, FedRecAttack remains highly effective, which reveals that FR is more vulnerable to attack than people commonly considered.
△ Less
Submitted 13 October, 2022; v1 submitted 1 April, 2022;
originally announced April 2022.
-
A Note on the Critical Groups of Strongly Regular Graphs and Their Generalizations
Authors:
Kenneth Hung,
Chi Ho Yuen
Abstract:
We determine the maximum order of an element in the critical group of a strongly regular graph, and show that it achieves the spectral bound due to Lorenzini. We extend the result to all graphs with exactly two non-zero Laplacian eigenvalues, and study the signed graph version of the problem. We also study the monodromy pairing on the critical groups, and suggest an approach to study the structure…
▽ More
We determine the maximum order of an element in the critical group of a strongly regular graph, and show that it achieves the spectral bound due to Lorenzini. We extend the result to all graphs with exactly two non-zero Laplacian eigenvalues, and study the signed graph version of the problem. We also study the monodromy pairing on the critical groups, and suggest an approach to study the structure of these groups using the pairing.
△ Less
Submitted 25 May, 2022; v1 submitted 21 March, 2022;
originally announced March 2022.
-
Electron-induced excitation, recombination and dissociation of molecular ions initiating the formation of complex organic molecules
Authors:
J. Zs. Mezei,
K. Chakrabarti,
M. D. Epée Epée,
O. Motapon,
C. H. Yuen,
M. A. Ayouz,
N. Douguet,
S. Fonseca dos Santos,
V. Kokoouline,
I. F. Schneider
Abstract:
We review the study of dissociative recombination and ro-vibrational excitation of diatomic and small polyatomic molecular ions initiating complex organic molecules formation. In particular, we show how Multichannel Quantum Defect Theory (MQDT) and R-matrix methods are used to compute cross sections and rate coefficients for cations in well defined ro-vibrational levels of the ground electronic st…
▽ More
We review the study of dissociative recombination and ro-vibrational excitation of diatomic and small polyatomic molecular ions initiating complex organic molecules formation. In particular, we show how Multichannel Quantum Defect Theory (MQDT) and R-matrix methods are used to compute cross sections and rate coefficients for cations in well defined ro-vibrational levels of the ground electronic state, from sub-meV up to few eV collision energies.
The most recent MQDT results are compared with either other theoretical data, or with measured data obtained in storage-ring experiments.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
Quantum tunneling isotope exchange reaction H2 + D- -> HD + H-
Authors:
Chi Hong Yuen,
Mehdi Ayouz,
Eric S. Endres,
Olga Lakhmanskaya,
Roland Wester,
Viatcheslav Kokoouline
Abstract:
The tunneling reaction H$_2$ + D$^-$ $\rightarrow$ HD + H$^-$ was studied in a recent experimental work at low temperatures (10, 19, and 23~K) by Endres {\it et al.}, Phys. Rev. A {\bf 95}, 022706 (2017). An upper limit of the rate coefficient was found to be about 10$^{-18}$ cm$^3$/s. In the present study, reaction probabilities are determined using the ABC program developed by Skouteris {\it et…
▽ More
The tunneling reaction H$_2$ + D$^-$ $\rightarrow$ HD + H$^-$ was studied in a recent experimental work at low temperatures (10, 19, and 23~K) by Endres {\it et al.}, Phys. Rev. A {\bf 95}, 022706 (2017). An upper limit of the rate coefficient was found to be about 10$^{-18}$ cm$^3$/s. In the present study, reaction probabilities are determined using the ABC program developed by Skouteris {\it et al.}, Comput. Phys. Commun. {\bf 133}, 128 (2000). The probabilities for ortho-H$_2$ and para-H$_2$ in their ground rovibrational states are obtained numerically at collision energies above 50~meV with the total angular momentum $J$ = 0 - 15 and extrapolated below 50~meV using a WKB approach. Thermally averaged rate coefficients for ortho- and para-H$_2$ are obtained; the largest one, for ortho-H$_2$ is about $3.1\times10^{-20}$ cm$^3$/s, which agrees with the experimental results.
△ Less
Submitted 26 February, 2022;
originally announced February 2022.
-
Correlation of velocity and density contributions to spectroscopic channel maps: Reality check on Kalberla et.al (2022)
Authors:
Ka Ho Yuen,
Ka Wai Ho,
Alex Lazarian
Abstract:
The existence of magnetized turbulence in the interstellar HI is well accepted. A number of techniques to obtain turbulence spectrum and magnetic field direction and strength have been developed and successfully applied to HI spectroscopic data. To better separate the imprints of density and velocity fluctuations to the channel maps, a new theory-based technique, the Velocity Decomposition Algorit…
▽ More
The existence of magnetized turbulence in the interstellar HI is well accepted. A number of techniques to obtain turbulence spectrum and magnetic field direction and strength have been developed and successfully applied to HI spectroscopic data. To better separate the imprints of density and velocity fluctuations to the channel maps, a new theory-based technique, the Velocity Decomposition Algorithm (VDA,Yuen et.al 2021), has been created. The technique demonstrates that the intensity fluctuations are separated into a component pv that mostly arises from velocity fluctuations and pd that mostly arise from density fluctuations. The VDA helps to clarify the nature of the filamentary structure observed in channel maps. A recent publication (Kalberla et.al 2022,K22) claims that the application of VDA to HI4PI data provides negative correlation of pv and pd,which according to the authors invalidates the technique since it requires that pv and pd have zero correlation. However, the quantities pv and pd given by VDA are naturally orthogonal which can be trivially checked analytically or numerically. That means the correct application of the VDA to any data must provide zero correlation. This is the point that we clarify in this paper and search for the cause of the mistake in the application of the VDA in K22 that resulted in the erroneous conclusion. We prove analytically that by construction pv and pd are not correlated. We identify the likely mistake in the VDA expression that K22 used and reproduce their figures with the incorrect expression. We find that 14 out of 15 figures in K22 are invalid, and thus their criticism of the VDA is ill-founded and arises from their use of incorrect expressions. We conclude that the detrimental mistake that K22 made at their analysis completely invalidate their scientific claim that Y21 isnt compatible to observation.
△ Less
Submitted 16 February, 2022;
originally announced February 2022.
-
Eigenvalues and Critical Groups of Adinkras
Authors:
Kevin Iga,
Caroline Klivans,
Jordan Kostiuk,
Chi Ho Yuen
Abstract:
Adinkras are signed graphs used to study supersymmetry in physics. We provide an introduction to these objects, and study the properties of their signed adjacency and signed Laplacian matrices. These matrices each have exactly two distinct eigenvalues (of equal multiplicity), making Adinkras closely related to the notions of strongly regular graphs. We also study the critical groups of Adinkras, a…
▽ More
Adinkras are signed graphs used to study supersymmetry in physics. We provide an introduction to these objects, and study the properties of their signed adjacency and signed Laplacian matrices. These matrices each have exactly two distinct eigenvalues (of equal multiplicity), making Adinkras closely related to the notions of strongly regular graphs. We also study the critical groups of Adinkras, and in particular determine their odd components. A novel technique of independent interest is used which considers critical groups over polynomial rings.
△ Less
Submitted 6 February, 2022;
originally announced February 2022.
-
Cryptography from Pseudorandom Quantum States
Authors:
Prabhanjan Ananth,
Luowen Qian,
Henry Yuen
Abstract:
Pseudorandom states, introduced by Ji, Liu and Song (Crypto'18), are efficiently-computable quantum states that are computationally indistinguishable from Haar-random states. One-way functions imply the existence of pseudorandom states, but Kretschmer (TQC'20) recently constructed an oracle relative to which there are no one-way functions but pseudorandom states still exist. Motivated by this, we…
▽ More
Pseudorandom states, introduced by Ji, Liu and Song (Crypto'18), are efficiently-computable quantum states that are computationally indistinguishable from Haar-random states. One-way functions imply the existence of pseudorandom states, but Kretschmer (TQC'20) recently constructed an oracle relative to which there are no one-way functions but pseudorandom states still exist. Motivated by this, we study the intriguing possibility of basing interesting cryptographic tasks on pseudorandom states.
We construct, assuming the existence of pseudorandom state generators that map a $λ$-bit seed to a $ω(\logλ)$-qubit state, (a) statistically binding and computationally hiding commitments and (b) pseudo one-time encryption schemes. A consequence of (a) is that pseudorandom states are sufficient to construct maliciously secure multiparty computation protocols in the dishonest majority setting.
Our constructions are derived via a new notion called pseudorandom function-like states (PRFS), a generalization of pseudorandom states that parallels the classical notion of pseudorandom functions. Beyond the above two applications, we believe our notion can effectively replace pseudorandom functions in many other cryptographic applications.
△ Less
Submitted 15 March, 2022; v1 submitted 18 December, 2021;
originally announced December 2021.
-
Is the recently discovered large scale filamentary feature Cattail in the cold or unstable phase?
Authors:
Ka Ho Yuen,
Avi Chen,
Ka Wai Ho,
Alex Lazarian
Abstract:
A recent publication (Li et al. 2021) discovered one of the largest filamentary neutral hydrogen features dubbed Cattail from high resolution FAST observations that might be a new galactic arm of our own Milky Way. However in the analysis, it was suggested that this neutral hydrogen feature is cold despite having 12km/s total linewidth. We evaluate the probability whether the Cattail is actually c…
▽ More
A recent publication (Li et al. 2021) discovered one of the largest filamentary neutral hydrogen features dubbed Cattail from high resolution FAST observations that might be a new galactic arm of our own Milky Way. However in the analysis, it was suggested that this neutral hydrogen feature is cold despite having 12km/s total linewidth. We evaluate the probability whether the Cattail is actually cold neutral media via the newly developed Velocity Decomposition Algorithm (Yuen et al. 2021a) and Force Balancing Model (Ho et al. 2021a). We discovered that even with the inclusion of the galactic shear term, the feature is still at the unstable neutral media regime. Moreover, we also discover that the Cattail is two disjoint features in caustics space, suggesting that the Cattail might have two different turbulent systems. We check the spectra of the individual system separated via VDA to confirm this argument. We do not exclude the existence of smaller scale cold media being embedded within this structure.
△ Less
Submitted 4 December, 2021;
originally announced December 2021.
-
Quantum soundness of testing tensor codes
Authors:
Zhengfeng Ji,
Anand Natarajan,
Thomas Vidick,
John Wright,
Henry Yuen
Abstract:
A locally testable code is an error-correcting code that admits very efficient probabilistic tests of membership. Tensor codes provide a simple family of combinatorial constructions of locally testable codes that generalize the family of Reed-Muller codes. The natural test for tensor codes, the axis-parallel line vs. point test, plays an essential role in constructions of probabilistically checkab…
▽ More
A locally testable code is an error-correcting code that admits very efficient probabilistic tests of membership. Tensor codes provide a simple family of combinatorial constructions of locally testable codes that generalize the family of Reed-Muller codes. The natural test for tensor codes, the axis-parallel line vs. point test, plays an essential role in constructions of probabilistically checkable proofs.
We analyze the axis-parallel line vs. point test as a two-prover game and show that the test is sound against quantum provers sharing entanglement. Our result implies the quantum-soundness of the low individual degree test, which is an essential component of the MIP* = RE theorem. Our proof also generalizes to the infinite-dimensional commuting-operator model of quantum provers.
△ Less
Submitted 6 December, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.
-
How the existence of unstable neutral media restricts the aspect ratio of cold neutral media?
Authors:
Ka Wai Ho,
Ka Ho Yuen,
Alex Lazarian
Abstract:
The ubiquity of very thin and lengthy cold neutral media (CNM) has been reported by multiple authors in the HI community. Yet, the reason of how the CNM can be so long and lengthy is still in debate. In this paper, we recognize a new type of instability due to the attractive nature of the pressure force in the unstable phase. We provide a new estimation of the average CNM filament aspect ratio wit…
▽ More
The ubiquity of very thin and lengthy cold neutral media (CNM) has been reported by multiple authors in the HI community. Yet, the reason of how the CNM can be so long and lengthy is still in debate. In this paper, we recognize a new type of instability due to the attractive nature of the pressure force in the unstable phase. We provide a new estimation of the average CNM filament aspect ratio with the consideration of force balances at the phase boundary, which is roughly 5-20 in common CNM environment. We show that most of the cold filaments are less filamentary than what usually predicted via MHD turbulence theory or inferred from observations: The average length of CNM filament is roughly 1/2 of that in isothermal MHD turbulence with similar turbulence conditions. This suggests that the "cold filaments" that is identified in observations might not be in pressure equilibrium or generated via other mechanisms.
△ Less
Submitted 8 February, 2023; v1 submitted 12 November, 2021;
originally announced November 2021.
-
Quantum search-to-decision reductions and the state synthesis problem
Authors:
Sandy Irani,
Anand Natarajan,
Chinmay Nirkhe,
Sujit Rao,
Henry Yuen
Abstract:
It is a useful fact in classical computer science that many search problems are reducible to decision problems; this has led to decision problems being regarded as the $\textit{de facto}$ computational task to study in complexity theory. In this work, we explore search-to-decision reductions for quantum search problems, wherein a quantum algorithm makes queries to a classical decision oracle to ou…
▽ More
It is a useful fact in classical computer science that many search problems are reducible to decision problems; this has led to decision problems being regarded as the $\textit{de facto}$ computational task to study in complexity theory. In this work, we explore search-to-decision reductions for quantum search problems, wherein a quantum algorithm makes queries to a classical decision oracle to output a desired quantum state. In particular, we focus on search-to-decision reductions for $\mathsf{QMA}$, and show that there exists a quantum polynomial-time algorithm that can generate a witness for a $\mathsf{QMA}$ problem up to inverse polynomial precision by making one query to a $\mathsf{PP}$ decision oracle. We complement this result by showing that $\mathsf{QMA}$-search does $\textit{not}$ reduce to $\mathsf{QMA}$-decision in polynomial-time, relative to a quantum oracle.
We also explore the more general $\textit{state synthesis problem}$, in which the goal is to efficiently synthesize a target state by making queries to a classical oracle encoding the state. We prove that there exists a classical oracle with which any quantum state can be synthesized to inverse polynomial precision using only one oracle query and to inverse exponential precision using two oracle queries. This answers an open question of Aaronson from 2016, who presented a state synthesis algorithm that makes $O(n)$ queries to a classical oracle to prepare an $n$-qubit state, and asked if the query complexity could be made sublinear.
△ Less
Submitted 27 June, 2022; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Supporting Massive DLRM Inference Through Software Defined Memory
Authors:
Ehsan K. Ardestani,
Changkyu Kim,
Seung Jae Lee,
Luoshang Pan,
Valmiki Rampersad,
Jens Axboe,
Banit Agrawal,
Fuxun Yu,
Ansha Yu,
Trung Le,
Hector Yuen,
Shishir Juluri,
Akshat Nanda,
Manoj Wodekar,
Dheevatsa Mudigere,
Krishnakumar Nair,
Maxim Naumov,
Chris Peterson,
Mikhail Smelyanskiy,
Vijay Rao
Abstract:
Deep Learning Recommendation Models (DLRM) are widespread, account for a considerable data center footprint, and grow by more than 1.5x per year. With model size soon to be in terabytes range, leveraging Storage ClassMemory (SCM) for inference enables lower power consumption and cost. This paper evaluates the major challenges in extending the memory hierarchy to SCM for DLRM, and presents differen…
▽ More
Deep Learning Recommendation Models (DLRM) are widespread, account for a considerable data center footprint, and grow by more than 1.5x per year. With model size soon to be in terabytes range, leveraging Storage ClassMemory (SCM) for inference enables lower power consumption and cost. This paper evaluates the major challenges in extending the memory hierarchy to SCM for DLRM, and presents different techniques to improve performance through a Software Defined Memory. We show how underlying technologies such as Nand Flash and 3DXP differentiate, and relate to real world scenarios, enabling from 5% to 29% power savings.
△ Less
Submitted 8 November, 2021; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy
Authors:
Hamoon Mousavi,
Seyed Sajjad Nezhadi,
Henry Yuen
Abstract:
We investigate the connection between the complexity of nonlocal games and the arithmetical hierarchy, a classification of languages according to the complexity of arithmetical formulas defining them. It was recently shown by Ji, Natarajan, Vidick, Wright and Yuen that deciding whether the (finite-dimensional) quantum value of a nonlocal game is $1$ or at most $\frac{1}{2}$ is complete for the cla…
▽ More
We investigate the connection between the complexity of nonlocal games and the arithmetical hierarchy, a classification of languages according to the complexity of arithmetical formulas defining them. It was recently shown by Ji, Natarajan, Vidick, Wright and Yuen that deciding whether the (finite-dimensional) quantum value of a nonlocal game is $1$ or at most $\frac{1}{2}$ is complete for the class $Σ_1$ (i.e., $\mathsf{RE}$). A result of Slofstra implies that deciding whether the commuting operator value of a nonlocal game is equal to $1$ is complete for the class $Π_1$ (i.e., $\mathsf{coRE}$). We prove that deciding whether the quantum value of a two-player nonlocal game is exactly equal to $1$ is complete for $Π_2$; this class is in the second level of the arithmetical hierarchy and corresponds to formulas of the form "$\forall x \, \exists y \, φ(x,y)$". This shows that exactly computing the quantum value is strictly harder than approximating it, and also strictly harder than computing the commuting operator value (either exactly or approximately). We explain how results about the complexity of nonlocal games all follow in a unified manner from a technique known as compression. At the core of our $Π_2$-completeness result is a new "gapless" compression theorem that holds for both quantum and commuting operator strategies. Our compression theorem yields as a byproduct an alternative proof of Slofstra's result that the set of quantum correlations is not closed. We also show how a "gap-preserving" compression theorem for commuting operator strategies would imply that approximating the commuting operator value is complete for $Π_1$.
△ Less
Submitted 11 October, 2021; v1 submitted 9 October, 2021;
originally announced October 2021.
-
Interactive Proofs for Synthesizing Quantum States and Unitaries
Authors:
Gregory Rosenthal,
Henry Yuen
Abstract:
Whereas quantum complexity theory has traditionally been concerned with problems arising from classical complexity theory (such as computing boolean functions), it also makes sense to study the complexity of inherently quantum operations such as constructing quantum states or performing unitary transformations. With this motivation, we define models of interactive proofs for synthesizing quantum s…
▽ More
Whereas quantum complexity theory has traditionally been concerned with problems arising from classical complexity theory (such as computing boolean functions), it also makes sense to study the complexity of inherently quantum operations such as constructing quantum states or performing unitary transformations. With this motivation, we define models of interactive proofs for synthesizing quantum states and unitaries, where a polynomial-time quantum verifier interacts with an untrusted quantum prover, and a verifier who accepts also outputs an approximation of the target state (for the state synthesis problem) or the result of the target unitary applied to the input state (for the unitary synthesis problem); furthermore there should exist an "honest" prover which the verifier accepts with probability 1.
Our main result is a "state synthesis" analogue of the inclusion $\mathsf{PSPACE} \subseteq \mathsf{IP}$: any sequence of states computable by a polynomial-space quantum algorithm (which may run for exponential time) admits an interactive protocol of the form described above. Leveraging this state synthesis protocol, we also give a unitary synthesis protocol for polynomial space-computable unitaries that act nontrivially on only a polynomial-dimensional subspace. We obtain analogous results in the setting with multiple entangled provers as well.
△ Less
Submitted 11 November, 2021; v1 submitted 16 August, 2021;
originally announced August 2021.