-
Towards Photon-Number-Encoded High-dimensional Entanglement from a Sequentially Excited Quantum Three-Level System
Authors:
Daniel A. Vajner,
Nils D. Kewitz,
Martin von Helversen,
Stephen C. Wein,
Yusuf Karli,
Florian Kappe,
Vikas Remesh,
Saimon F. Covre da Silva,
Armando Rastelli,
Gregor Weihs,
Carlos Anton-Solanas,
Tobias Heindel
Abstract:
The sequential resonant excitation of a 2-level quantum system results in the emission of a state of light showing time-entanglement encoded in the photon-number-basis - notions that can be extended to 3-level quantum systems as discussed in a recent proposal. Here, we report the experimental implementation of a sequential two-photon resonant excitation process of a solid-state 3-level system, con…
▽ More
The sequential resonant excitation of a 2-level quantum system results in the emission of a state of light showing time-entanglement encoded in the photon-number-basis - notions that can be extended to 3-level quantum systems as discussed in a recent proposal. Here, we report the experimental implementation of a sequential two-photon resonant excitation process of a solid-state 3-level system, constituted by the biexciton-, exciton-, and ground-state of a semiconductor quantum dot. The resulting light state exhibits entanglement in time and energy, encoded in the photon-number basis, which could be used in quantum information applications, e.g., dense information encoding or quantum communication protocols. Performing energy- and time-resolved correlation experiments in combination with extensive theoretical modelling, we are able to partially retrieve the entanglement structure of the generated state.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
MASSIVE Multilingual Abstract Meaning Representation: A Dataset and Baselines for Hallucination Detection
Authors:
Michael Regan,
Shira Wein,
George Baker,
Emilio Monti
Abstract:
Abstract Meaning Representation (AMR) is a semantic formalism that captures the core meaning of an utterance. There has been substantial work develo** AMR corpora in English and more recently across languages, though the limited size of existing datasets and the cost of collecting more annotations are prohibitive. With both engineering and scientific questions in mind, we introduce MASSIVE-AMR,…
▽ More
Abstract Meaning Representation (AMR) is a semantic formalism that captures the core meaning of an utterance. There has been substantial work develo** AMR corpora in English and more recently across languages, though the limited size of existing datasets and the cost of collecting more annotations are prohibitive. With both engineering and scientific questions in mind, we introduce MASSIVE-AMR, a dataset with more than 84,000 text-to-graph annotations, currently the largest and most diverse of its kind: AMR graphs for 1,685 information-seeking utterances mapped to 50+ typologically diverse languages. We describe how we built our resource and its unique features before reporting on experiments using large language models for multilingual AMR and SPARQL parsing as well as applying AMRs for hallucination detection in the context of knowledge base question answering, with results shedding light on persistent issues using LLMs for structured parsing.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Natural Language Processing RELIES on Linguistics
Authors:
Juri Opitz,
Shira Wein,
Nathan Schneider
Abstract:
Large Language Models (LLMs) have become capable of generating highly fluent text in certain languages, without modules specially designed to capture grammar or semantic coherence. What does this mean for the future of linguistic expertise in NLP? We highlight several aspects in which NLP (still) relies on linguistics, or where linguistic thinking can illuminate new directions. We argue our case a…
▽ More
Large Language Models (LLMs) have become capable of generating highly fluent text in certain languages, without modules specially designed to capture grammar or semantic coherence. What does this mean for the future of linguistic expertise in NLP? We highlight several aspects in which NLP (still) relies on linguistics, or where linguistic thinking can illuminate new directions. We argue our case around the acronym $RELIES$ that encapsulates six major facets where linguistics contributes to NLP: $R$esources, $E$valuation, $L$ow-resource settings, $I$nterpretability, $E$xplanation, and the $S$tudy of language. This list is not exhaustive, nor is linguistics the main point of reference for every effort under these themes; but at a macro level, these facets highlight the enduring importance of studying machine systems vis-a-vis systems of human language.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Tensor cumulants for statistical inference on invariant distributions
Authors:
Dmitriy Kunisky,
Cristopher Moore,
Alexander S. Wein
Abstract:
Many problems in high-dimensional statistics appear to have a statistical-computational gap: a range of values of the signal-to-noise ratio where inference is information-theoretically possible, but (conjecturally) computationally intractable. A canonical such problem is Tensor PCA, where we observe a tensor $Y$ consisting of a rank-one signal plus Gaussian noise. Multiple lines of work suggest th…
▽ More
Many problems in high-dimensional statistics appear to have a statistical-computational gap: a range of values of the signal-to-noise ratio where inference is information-theoretically possible, but (conjecturally) computationally intractable. A canonical such problem is Tensor PCA, where we observe a tensor $Y$ consisting of a rank-one signal plus Gaussian noise. Multiple lines of work suggest that Tensor PCA becomes computationally hard at a critical value of the signal's magnitude. In particular, below this transition, no low-degree polynomial algorithm can detect the signal with high probability; conversely, various spectral algorithms are known to succeed above this transition. We unify and extend this work by considering tensor networks, orthogonally invariant polynomials where multiple copies of $Y$ are "contracted" to produce scalars, vectors, matrices, or other tensors. We define a new set of objects, tensor cumulants, which provide an explicit, near-orthogonal basis for invariant polynomials of a given degree. This basis lets us unify and strengthen previous results on low-degree hardness, giving a combinatorial explanation of the hardness transition and of a continuum of subexponential-time algorithms that work below it, and proving tight lower bounds against low-degree polynomials for recovering rather than just detecting the signal. It also lets us analyze a new problem of distinguishing between different tensor ensembles, such as Wigner and Wishart tensors, establishing a sharp computational threshold and giving evidence of a new statistical-computational gap in the Central Limit Theorem for random tensors. Finally, we believe these cumulants are valuable mathematical objects in their own right: they generalize the free cumulants of free probability theory from matrices to tensors, and share many of their properties, including additivity under additive free convolution.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Low-degree phase transitions for detecting a planted clique in sublinear time
Authors:
Jay Mardia,
Kabir Aladin Verchand,
Alexander S. Wein
Abstract:
We consider the problem of detecting a planted clique of size $k$ in a random graph on $n$ vertices. When the size of the clique exceeds $Θ(\sqrt{n})$, polynomial-time algorithms for detection proliferate. We study faster -- namely, sublinear time -- algorithms in the high-signal regime when $k = Θ(n^{1/2 + δ})$, for some $δ> 0$. To this end, we consider algorithms that non-adaptively query a subs…
▽ More
We consider the problem of detecting a planted clique of size $k$ in a random graph on $n$ vertices. When the size of the clique exceeds $Θ(\sqrt{n})$, polynomial-time algorithms for detection proliferate. We study faster -- namely, sublinear time -- algorithms in the high-signal regime when $k = Θ(n^{1/2 + δ})$, for some $δ> 0$. To this end, we consider algorithms that non-adaptively query a subset $M$ of entries of the adjacency matrix and then compute a low-degree polynomial function of the revealed entries. We prove a computational phase transition for this class of non-adaptive low-degree algorithms: under the scaling $\lvert M \rvert = Θ(n^γ)$, the clique can be detected when $γ> 3(1/2 - δ)$ but not when $γ< 3(1/2 - δ)$. As a result, the best known runtime for detecting a planted clique, $\widetilde{O}(n^{3(1/2-δ)})$, cannot be improved without looking beyond the non-adaptive low-degree class.
Our proof of the lower bound -- based on bounding the conditional low-degree likelihood ratio -- reveals further structure in non-adaptive detection of a planted clique. Using (a bound on) the conditional low-degree likelihood ratio as a potential function, we show that for every non-adaptive query pattern, there is a highly structured query pattern of the same size that is at least as effective.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Information-Theoretic Thresholds for Planted Dense Cycles
Authors:
Cheng Mao,
Alexander S. Wein,
Shenduo Zhang
Abstract:
We study a random graph model for small-world networks which are ubiquitous in social and biological sciences. In this model, a dense cycle of expected bandwidth $n τ$, representing the hidden one-dimensional geometry of vertices, is planted in an ambient random graph on $n$ vertices. For both detection and recovery of the planted dense cycle, we characterize the information-theoretic thresholds i…
▽ More
We study a random graph model for small-world networks which are ubiquitous in social and biological sciences. In this model, a dense cycle of expected bandwidth $n τ$, representing the hidden one-dimensional geometry of vertices, is planted in an ambient random graph on $n$ vertices. For both detection and recovery of the planted dense cycle, we characterize the information-theoretic thresholds in terms of $n$, $τ$, and an edge-wise signal-to-noise ratio $λ$. In particular, the information-theoretic thresholds differ from the computational thresholds established in a recent work for low-degree polynomial algorithms, thereby justifying the existence of statistical-to-computational gaps for this problem.
△ Less
Submitted 31 January, 2024;
originally announced February 2024.
-
Quantum interferences and gates with emitter-based coherent photon sources
Authors:
I. Maillette de Buy Wenniger,
S. C. Wein,
D. Fioretto,
S. E. Thomas,
C. Antón-Solanas,
A. Lemaître,
I. Sagnes,
A. Harouri,
N. Belabas,
N. Somaschi,
P. Hilaire,
J. Senellart,
P. Senellart
Abstract:
Quantum emitters, such as atoms, defects in crystals, or quantum dots, are excellent sources of indistinguishable single-photons for quantum technologies. Upon coherent excitation, however, the emitted photonic state includes a vacuum component in a quantum superposition with the one-photon component. This feature has so far been largely disregarded in the framework of linear optical computing. He…
▽ More
Quantum emitters, such as atoms, defects in crystals, or quantum dots, are excellent sources of indistinguishable single-photons for quantum technologies. Upon coherent excitation, however, the emitted photonic state includes a vacuum component in a quantum superposition with the one-photon component. This feature has so far been largely disregarded in the framework of linear optical computing. Here we experimentally and theoretically study how the presence of photon-number coherence alters the foundation of photon-photon gates: the Hong-Ou-Mandel interference. We show that the presence of vacuum coherence not only introduces errors to standard photon indistinguishability measurements, but also results in complex quantum interference phenomena. These phenomena lead to additional entanglement that has profound impact on linear computing schemes, as we illustrate by simulating a heralded gate. Our work reveals the rich physics arising from photon-number coherence, which holds the potential to become an asset in future quantum protocols.
△ Less
Submitted 20 February, 2024; v1 submitted 2 January, 2024;
originally announced January 2024.
-
Time Lower Bounds for the Metropolis Process and Simulated Annealing
Authors:
Zongchen Chen,
Dan Mikulincer,
Daniel Reichman,
Alexander S. Wein
Abstract:
The Metropolis process (MP) and Simulated Annealing (SA) are stochastic local search heuristics that are often used in solving combinatorial optimization problems. Despite significant interest, there are very few theoretical results regarding the quality of approximation obtained by MP and SA (with polynomially many iterations) for NP-hard optimization problems.
We provide rigorous lower bounds…
▽ More
The Metropolis process (MP) and Simulated Annealing (SA) are stochastic local search heuristics that are often used in solving combinatorial optimization problems. Despite significant interest, there are very few theoretical results regarding the quality of approximation obtained by MP and SA (with polynomially many iterations) for NP-hard optimization problems.
We provide rigorous lower bounds for MP and SA with respect to the classical maximum independent set problem when the algorithms are initialized from the empty set. We establish the existence of a family of graphs for which both MP and SA fail to find approximate solutions in polynomial time. More specifically, we show that for any $\varepsilon \in (0,1)$ there are $n$-vertex graphs for which the probability SA (when limited to polynomially many iterations) will approximate the optimal solution within ratio $Ω\left(\frac{1}{n^{1-\varepsilon}}\right)$ is exponentially small. Our lower bounds extend to graphs of constant average degree $d$, illustrating the failure of MP to achieve an approximation ratio of $Ω\left(\frac{\log (d)}{d}\right)$ in polynomial time. In some cases, our impossibility results also go beyond Simulated Annealing and apply even when the temperature is chosen adaptively. Finally, we prove time lower bounds when the inputs to these algorithms are bipartite graphs, and even trees, which are known to admit polynomial-time algorithms for the independent set problem.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Solid-state single-photon sources: recent advances for novel quantum materials
Authors:
Martin Esmann,
Stephen C. Wein,
Carlos Antón-Solanas
Abstract:
In this review, we describe the current landscape of emergent quantum materials for quantum photonic applications. We focus on three specific solid-state platforms: single emitters in monolayers of transition metal dichalcogenides, defects in hexagonal boron nitride, and colloidal quantum dots in perovskites. These platforms share a unique technological accessibility, enabling the rapid implementa…
▽ More
In this review, we describe the current landscape of emergent quantum materials for quantum photonic applications. We focus on three specific solid-state platforms: single emitters in monolayers of transition metal dichalcogenides, defects in hexagonal boron nitride, and colloidal quantum dots in perovskites. These platforms share a unique technological accessibility, enabling the rapid implementation of testbed quantum applications, all while being on the verge of becoming technologically mature enough for a first generation of real-world quantum applications.
The review begins with a comprehensive overview of the current state-of-the-art for relevant single-photon sources in the solid-state, introducing the most important performance criteria and experimental characterization techniques along the way. We then benchmark progress for each of the three novel materials against more established (yet complex) platforms, highlighting performance, material-specific advantages, and giving an outlook on quantum applications. This review will thus provide the reader with a snapshot on latest developments in the fast-paced field of emergent single-photon sources in the solid-state, including all the required concepts and experiments relevant to this technology.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
A Spin-Optical Quantum Computing Architecture
Authors:
Grégoire de Gliniasty,
Paul Hilaire,
Pierre-Emmanuel Emeriau,
Stephen C. Wein,
Alexia Salavrakos,
Shane Mansfield
Abstract:
We introduce an adaptable and modular hybrid architecture designed for fault-tolerant quantum computing. It combines quantum emitters and linear-optical entangling gates to leverage the strength of both matter-based and photonic-based approaches. A key feature of the architecture is its practicality, grounded in the utilisation of experimentally proven optical components. Our framework enables the…
▽ More
We introduce an adaptable and modular hybrid architecture designed for fault-tolerant quantum computing. It combines quantum emitters and linear-optical entangling gates to leverage the strength of both matter-based and photonic-based approaches. A key feature of the architecture is its practicality, grounded in the utilisation of experimentally proven optical components. Our framework enables the execution of any quantum error correcting code, but in particular maintains scalability for low-density parity check codes by exploiting built-in non-local connectivity through distant optical links. To gauge its efficiency, we evaluated the architecture using a physically motivated error model. It exhibits loss tolerance comparable to existing all-photonic architecture but without the need for intricate linear-optical resource-state-generation modules that conventionally rely on resource-intensive multiplexing. The versatility of the architecture also offers uncharted avenues for further advancing performance standards.
△ Less
Submitted 12 July, 2024; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Precise Error Rates for Computationally Efficient Testing
Authors:
Ankur Moitra,
Alexander S. Wein
Abstract:
We revisit the fundamental question of simple-versus-simple hypothesis testing with an eye towards computational complexity, as the statistically optimal likelihood ratio test is often computationally intractable in high-dimensional settings. In the classical spiked Wigner model (with a general i.i.d. spike prior) we show that an existing test based on linear spectral statistics achieves the best…
▽ More
We revisit the fundamental question of simple-versus-simple hypothesis testing with an eye towards computational complexity, as the statistically optimal likelihood ratio test is often computationally intractable in high-dimensional settings. In the classical spiked Wigner model (with a general i.i.d. spike prior) we show that an existing test based on linear spectral statistics achieves the best possible tradeoff curve between type I and type II error rates among all computationally efficient tests, even though there are exponential-time tests that do better. This result is conditional on an appropriate complexity-theoretic conjecture, namely a natural strengthening of the well-established low-degree conjecture. Our result shows that the spectrum is a sufficient statistic for computationally bounded tests (but not for all tests).
To our knowledge, our approach gives the first tool for reasoning about the precise asymptotic testing error achievable with efficient computation. The main ingredients required for our hardness result are a sharp bound on the norm of the low-degree likelihood ratio along with (counterintuitively) a positive result on achievability of testing. This strategy appears to be new even in the setting of unbounded computation, in which case it gives an alternate way to analyze the fundamental statistical limits of testing.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Simulating photon counting from dynamic quantum emitters by exploiting zero-photon measurements
Authors:
Stephen C. Wein
Abstract:
Many applications of quantum optics demand delicate quantum properties of light carefully tailored to accomplish a specific task. To this end, numerical simulations of quantum light sources are vital for designing, characterizing, and optimizing quantum photonic technology. Here, I show that exploiting information hidden in zero-photon measurement outcomes provides an exponential speedup for time-…
▽ More
Many applications of quantum optics demand delicate quantum properties of light carefully tailored to accomplish a specific task. To this end, numerical simulations of quantum light sources are vital for designing, characterizing, and optimizing quantum photonic technology. Here, I show that exploiting information hidden in zero-photon measurement outcomes provides an exponential speedup for time-integrated photon counting simulations, realizing eight orders of magnitude reduction in the time to compute six-photon detection probabilities while achieving ten orders of magnitude higher precision compared to the state of the art. This enables simulations of large photonic experiments with an unprecedented level of physical detail. It can accelerate the design of sources to generate photonic resource states for quantum sensing and measurement-based quantum computing while capturing realistic imperfections. It also establishes a general theoretical framework to study dynamic interactions between stationary qubits mediated by measurements of flying qubits, which can be used to model distributed quantum computing and quantum communication.
△ Less
Submitted 6 October, 2023; v1 submitted 31 July, 2023;
originally announced July 2023.
-
AMR4NLI: Interpretable and robust NLI measures from semantic graphs
Authors:
Juri Opitz,
Shira Wein,
Julius Steen,
Anette Frank,
Nathan Schneider
Abstract:
The task of natural language inference (NLI) asks whether a given premise (expressed in NL) entails a given NL hypothesis. NLI benchmarks contain human ratings of entailment, but the meaning relationships driving these ratings are not formalized. Can the underlying sentence pair relationships be made more explicit in an interpretable yet robust fashion? We compare semantic structures to represent…
▽ More
The task of natural language inference (NLI) asks whether a given premise (expressed in NL) entails a given NL hypothesis. NLI benchmarks contain human ratings of entailment, but the meaning relationships driving these ratings are not formalized. Can the underlying sentence pair relationships be made more explicit in an interpretable yet robust fashion? We compare semantic structures to represent premise and hypothesis, including sets of contextualized embeddings and semantic graphs (Abstract Meaning Representations), and measure whether the hypothesis is a semantic substructure of the premise, utilizing interpretable metrics. Our evaluation on three English benchmarks finds value in both contextualized embeddings and semantic graphs; moreover, they provide complementary signals, and can be leveraged together in a hybrid model.
△ Less
Submitted 5 September, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
A general-purpose single-photon-based quantum computing platform
Authors:
Nicolas Maring,
Andreas Fyrillas,
Mathias Pont,
Edouard Ivanov,
Petr Stepanov,
Nico Margaria,
William Hease,
Anton Pishchagin,
Thi Huong Au,
Sébastien Boissier,
Eric Bertasi,
Aurélien Baert,
Mario Valdivia,
Marie Billard,
Ozan Acar,
Alexandre Brieussel,
Rawad Mezher,
Stephen C. Wein,
Alexia Salavrakos,
Patrick Sinnott,
Dario A. Fioretto,
Pierre-Emmanuel Emeriau,
Nadia Belabas,
Shane Mansfield,
Pascale Senellart
, et al. (2 additional authors not shown)
Abstract:
Quantum computing aims at exploiting quantum phenomena to efficiently perform computations that are unfeasible even for the most powerful classical supercomputers. Among the promising technological approaches, photonic quantum computing offers the advantages of low decoherence, information processing with modest cryogenic requirements, and native integration with classical and quantum networks. To…
▽ More
Quantum computing aims at exploiting quantum phenomena to efficiently perform computations that are unfeasible even for the most powerful classical supercomputers. Among the promising technological approaches, photonic quantum computing offers the advantages of low decoherence, information processing with modest cryogenic requirements, and native integration with classical and quantum networks. To date, quantum computing demonstrations with light have implemented specific tasks with specialized hardware, notably Gaussian Boson Sampling which permitted quantum computational advantage to be reached. Here we report a first user-ready general-purpose quantum computing prototype based on single photons. The device comprises a high-efficiency quantum-dot single-photon source feeding a universal linear optical network on a reconfigurable chip for which hardware errors are compensated by a machine-learned transpilation process. Our full software stack allows remote control of the device to perform computations via logic gates or direct photonic operations. For gate-based computation we benchmark one-, two- and three-qubit gates with state-of-the art fidelities of $99.6\pm0.1 \%$, $93.8\pm0.6 \%$ and $86\pm1.2 \%$ respectively. We also implement a variational quantum eigensolver, which we use to calculate the energy levels of the hydrogen molecule with high accuracy. For photon native computation, we implement a classifier algorithm using a $3$-photon-based quantum neural network and report a first $6$-photon Boson Sampling demonstration on a universal reconfigurable integrated circuit. Finally, we report on a first heralded 3-photon entanglement generation, a key milestone toward measurement-based quantum computing.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Lost in Translationese? Reducing Translation Effect Using Abstract Meaning Representation
Authors:
Shira Wein,
Nathan Schneider
Abstract:
Translated texts bear several hallmarks distinct from texts originating in the language. Though individual translated texts are often fluent and preserve meaning, at a large scale, translated texts have statistical tendencies which distinguish them from text originally written in the language ("translationese") and can affect model performance. We frame the novel task of translationese reduction a…
▽ More
Translated texts bear several hallmarks distinct from texts originating in the language. Though individual translated texts are often fluent and preserve meaning, at a large scale, translated texts have statistical tendencies which distinguish them from text originally written in the language ("translationese") and can affect model performance. We frame the novel task of translationese reduction and hypothesize that Abstract Meaning Representation (AMR), a graph-based semantic representation which abstracts away from the surface form, can be used as an interlingua to reduce the amount of translationese in translated texts. By parsing English translations into an AMR and then generating text from that AMR, the result more closely resembles originally English text across three quantitative macro-level measures, without severely compromising fluency or adequacy. We compare our AMR-based approach against three other techniques based on machine translation or paraphrase generation. This work makes strides towards reducing translationese in text and highlights the utility of AMR as an interlingua.
△ Less
Submitted 29 January, 2024; v1 submitted 22 April, 2023;
originally announced April 2023.
-
Detection of Dense Subhypergraphs by Low-Degree Polynomials
Authors:
Abhishek Dhawan,
Cheng Mao,
Alexander S. Wein
Abstract:
Detection of a planted dense subgraph in a random graph is a fundamental statistical and computational problem that has been extensively studied in recent years. We study a hypergraph version of the problem. Let $G^r(n,p)$ denote the $r$-uniform Erdős-Rényi hypergraph model with $n$ vertices and edge density $p$. We consider detecting the presence of a planted $G^r(n^γ, n^{-α})$ subhypergraph in a…
▽ More
Detection of a planted dense subgraph in a random graph is a fundamental statistical and computational problem that has been extensively studied in recent years. We study a hypergraph version of the problem. Let $G^r(n,p)$ denote the $r$-uniform Erdős-Rényi hypergraph model with $n$ vertices and edge density $p$. We consider detecting the presence of a planted $G^r(n^γ, n^{-α})$ subhypergraph in a $G^r(n, n^{-β})$ hypergraph, where $0< α< β< r-1$ and $0 < γ< 1$. Focusing on tests that are degree-$n^{o(1)}$ polynomials of the entries of the adjacency tensor, we determine the threshold between the easy and hard regimes for the detection problem. More precisely, for $0 < γ< 1/2$, the threshold is given by $α= βγ$, and for $1/2 \le γ< 1$, the threshold is given by $α= β/2 + r(γ- 1/2)$.
Our results are already new in the graph case $r=2$, as we consider the subtle log-density regime where hardness based on average-case reductions is not known. Our proof of low-degree hardness is based on a conditional variant of the standard low-degree likelihood calculation.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Is Planted Coloring Easier than Planted Clique?
Authors:
Pravesh K. Kothari,
Santosh S. Vempala,
Alexander S. Wein,
Jeff Xu
Abstract:
We study the computational complexity of two related problems: recovering a planted $q$-coloring in $G(n,1/2)$, and finding efficiently verifiable witnesses of non-$q$-colorability (a.k.a. refutations) in $G(n,1/2)$. Our main results show hardness for both these problems in a restricted-but-powerful class of algorithms based on computing low-degree polynomials in the inputs.
The problem of recov…
▽ More
We study the computational complexity of two related problems: recovering a planted $q$-coloring in $G(n,1/2)$, and finding efficiently verifiable witnesses of non-$q$-colorability (a.k.a. refutations) in $G(n,1/2)$. Our main results show hardness for both these problems in a restricted-but-powerful class of algorithms based on computing low-degree polynomials in the inputs.
The problem of recovering a planted $q$-coloring is equivalent to recovering $q$ disjoint planted cliques that cover all the vertices -- a potentially easier variant of the well-studied planted clique problem. Our first result shows that this variant is as hard as the original planted clique problem in the low-degree polynomial model of computation: each clique needs to have size $k \gg \sqrt{n}$ for efficient recovery to be possible. For the related variant where the cliques cover a $(1-ε)$-fraction of the vertices, we also show hardness by reduction from planted clique.
Our second result shows that refuting $q$-colorability of $G(n,1/2)$ is hard in the low-degree polynomial model when $q \gg n^{2/3}$ but easy when $q \lesssim n^{1/2}$, and we leave closing this gap for future work. Our proof is more subtle than similar results for planted clique and involves constructing a non-standard distribution over $q$-colorable graphs. We note that while related to several prior works, this is the first work that explicitly formulates refutation problems in the low-degree polynomial model.
The proofs of our main results involve showing low-degree hardness of hypothesis testing between an appropriately constructed pair of distributions. For refutation, we show completeness of this approach: in the low-degree model, the refutation task is precisely as hard as the hardest associated testing problem, i.e., proving hardness of refutation amounts to finding a "hard" distribution.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
Detection-Recovery Gap for Planted Dense Cycles
Authors:
Cheng Mao,
Alexander S. Wein,
Shenduo Zhang
Abstract:
Planted dense cycles are a type of latent structure that appears in many applications, such as small-world networks in social sciences and sequence assembly in computational biology. We consider a model where a dense cycle with expected bandwidth $n τ$ and edge density $p$ is planted in an Erdős-Rényi graph $G(n,q)$. We characterize the computational thresholds for the associated detection and rec…
▽ More
Planted dense cycles are a type of latent structure that appears in many applications, such as small-world networks in social sciences and sequence assembly in computational biology. We consider a model where a dense cycle with expected bandwidth $n τ$ and edge density $p$ is planted in an Erdős-Rényi graph $G(n,q)$. We characterize the computational thresholds for the associated detection and recovery problems for the class of low-degree polynomial algorithms. In particular, a gap exists between the two thresholds in a certain regime of parameters. For example, if $n^{-3/4} \ll τ\ll n^{-1/2}$ and $p = C q = Θ(1)$ for a constant $C>1$, the detection problem is computationally easy while the recovery problem is hard for low-degree algorithms.
△ Less
Submitted 20 June, 2023; v1 submitted 13 February, 2023;
originally announced February 2023.
-
Is it easier to count communities than find them?
Authors:
Cynthia Rush,
Fiona Skerman,
Alexander S. Wein,
Dana Yang
Abstract:
Random graph models with community structure have been studied extensively in the literature. For both the problems of detecting and recovering community structure, an interesting landscape of statistical and computational phase transitions has emerged. A natural unanswered question is: might it be possible to infer properties of the community structure (for instance, the number and sizes of commu…
▽ More
Random graph models with community structure have been studied extensively in the literature. For both the problems of detecting and recovering community structure, an interesting landscape of statistical and computational phase transitions has emerged. A natural unanswered question is: might it be possible to infer properties of the community structure (for instance, the number and sizes of communities) even in situations where actually finding those communities is believed to be computationally hard? We show the answer is no. In particular, we consider certain hypothesis testing problems between models with different community structures, and we show (in the low-degree polynomial framework) that testing between two options is as hard as finding the communities.
In addition, our methods give the first computational lower bounds for testing between two different `planted' distributions, whereas previous results have considered testing between a planted distribution and an i.i.d. `null' distribution.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
Equivalence of Approximate Message Passing and Low-Degree Polynomials in Rank-One Matrix Estimation
Authors:
Andrea Montanari,
Alexander S. Wein
Abstract:
We consider the problem of estimating an unknown parameter vector ${\boldsymbol θ}\in{\mathbb R}^n$, given noisy observations ${\boldsymbol Y} = {\boldsymbol θ}{\boldsymbol θ}^{\top}/\sqrt{n}+{\boldsymbol Z}$ of the rank-one matrix ${\boldsymbol θ}{\boldsymbol θ}^{\top}$, where ${\boldsymbol Z}$ has independent Gaussian entries. When information is available about the distribution of the entries o…
▽ More
We consider the problem of estimating an unknown parameter vector ${\boldsymbol θ}\in{\mathbb R}^n$, given noisy observations ${\boldsymbol Y} = {\boldsymbol θ}{\boldsymbol θ}^{\top}/\sqrt{n}+{\boldsymbol Z}$ of the rank-one matrix ${\boldsymbol θ}{\boldsymbol θ}^{\top}$, where ${\boldsymbol Z}$ has independent Gaussian entries. When information is available about the distribution of the entries of ${\boldsymbol theta}$, spectral methods are known to be strictly sub-optimal. Past work characterized the asymptotics of the accuracy achieved by the optimal estimator. However, no polynomial-time estimator is known that achieves this accuracy.
It has been conjectured that this statistical-computation gap is fundamental, and moreover that the optimal accuracy achievable by polynomial-time estimators coincides with the accuracy achieved by certain approximate message passing (AMP) algorithms. We provide evidence towards this conjecture by proving that no estimator in the (broader) class of constant-degree polynomials can surpass AMP.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials
Authors:
Alexander S. Wein
Abstract:
Suppose we are given an $n$-dimensional order-3 symmetric tensor $T \in (\mathbb{R}^n)^{\otimes 3}$ that is the sum of $r$ random rank-1 terms. The problem of recovering the rank-1 components is possible in principle when $r \lesssim n^2$ but polynomial-time algorithms are only known in the regime $r \ll n^{3/2}$. Similar "statistical-computational gaps" occur in many high-dimensional inference ta…
▽ More
Suppose we are given an $n$-dimensional order-3 symmetric tensor $T \in (\mathbb{R}^n)^{\otimes 3}$ that is the sum of $r$ random rank-1 terms. The problem of recovering the rank-1 components is possible in principle when $r \lesssim n^2$ but polynomial-time algorithms are only known in the regime $r \ll n^{3/2}$. Similar "statistical-computational gaps" occur in many high-dimensional inference tasks, and in recent years there has been a flurry of work on explaining the apparent computational hardness in these problems by proving lower bounds against restricted (yet powerful) models of computation such as statistical queries (SQ), sum-of-squares (SoS), and low-degree polynomials (LDP). However, no such prior work exists for tensor decomposition, largely because its hardness does not appear to be explained by a "planted versus null" testing problem.
We consider a model for random order-3 tensor decomposition where one component is slightly larger in norm than the rest (to break symmetry), and the components are drawn uniformly from the hypercube. We resolve the computational complexity in the LDP model: $O(\log n)$-degree polynomial functions of the tensor entries can accurately estimate the largest component when $r \ll n^{3/2}$ but fail to do so when $r \gg n^{3/2}$. This provides rigorous evidence suggesting that the best known algorithms for tensor decomposition cannot be improved, at least by known approaches. A natural extension of the result holds for tensors of any fixed order $k \ge 3$, in which case the LDP threshold is $r \sim n^{k/2}$.
△ Less
Submitted 26 March, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Measuring Fine-Grained Semantic Equivalence with Abstract Meaning Representation
Authors:
Shira Wein,
Zhuxin Wang,
Nathan Schneider
Abstract:
Identifying semantically equivalent sentences is important for many cross-lingual and mono-lingual NLP tasks. Current approaches to semantic equivalence take a loose, sentence-level approach to "equivalence," despite previous evidence that fine-grained differences and implicit content have an effect on human understanding (Roth and Anthonio, 2021) and system performance (Briakou and Carpuat, 2021)…
▽ More
Identifying semantically equivalent sentences is important for many cross-lingual and mono-lingual NLP tasks. Current approaches to semantic equivalence take a loose, sentence-level approach to "equivalence," despite previous evidence that fine-grained differences and implicit content have an effect on human understanding (Roth and Anthonio, 2021) and system performance (Briakou and Carpuat, 2021). In this work, we introduce a novel, more sensitive method of characterizing semantic equivalence that leverages Abstract Meaning Representation graph structures. We develop an approach, which can be used with either gold or automatic AMR annotations, and demonstrate that our solution is in fact finer-grained than existing corpus filtering methods and more accurate at predicting strictly equivalent sentences than existing semantic similarity metrics. We suggest that our finer-grained measure of semantic equivalence could limit the workload in the task of human post-edited machine translation and in human evaluation of sentence similarity.
△ Less
Submitted 6 October, 2022;
originally announced October 2022.
-
Near-optimal fitting of ellipsoids to random points
Authors:
Aaron Potechin,
Paxton Turner,
Prayaag Venkat,
Alexander S. Wein
Abstract:
Given independent standard Gaussian points $v_1, \ldots, v_n$ in dimension $d$, for what values of $(n, d)$ does there exist with high probability an origin-symmetric ellipsoid that simultaneously passes through all of the points? This basic problem of fitting an ellipsoid to random points has connections to low-rank matrix decompositions, independent component analysis, and principal component an…
▽ More
Given independent standard Gaussian points $v_1, \ldots, v_n$ in dimension $d$, for what values of $(n, d)$ does there exist with high probability an origin-symmetric ellipsoid that simultaneously passes through all of the points? This basic problem of fitting an ellipsoid to random points has connections to low-rank matrix decompositions, independent component analysis, and principal component analysis. Based on strong numerical evidence, Saunderson, Parrilo, and Willsky [Proc. of Conference on Decision and Control, pp. 6031-6036, 2013] conjecture that the ellipsoid fitting problem transitions from feasible to infeasible as the number of points $n$ increases, with a sharp threshold at $n \sim d^2/4$. We resolve this conjecture up to logarithmic factors by constructing a fitting ellipsoid for some $n = Ω( \, d^2/\mathrm{polylog}(d) \,)$, improving prior work of Ghosh et al. [Proc. of Symposium on Foundations of Computer Science, pp. 954-965, 2020] that requires $n = o(d^{3/2})$. Our proof demonstrates feasibility of the least squares construction of Saunderson et al. using a convenient decomposition of a certain non-standard random matrix and a careful analysis of its Neumann expansion via the theory of graph matrices.
△ Less
Submitted 1 June, 2023; v1 submitted 19 August, 2022;
originally announced August 2022.
-
A first-principles calculation of electron-phonon interactions for the $\text{C}_2\text{C}_\text{N}$ and $\text{V}_\text{N}\text{N}_\text{B}$ defects in hexagonal boron nitride
Authors:
Kenneth Sharman,
Omid Golami,
Stephen Wein,
Hadi Zadeh-Haghighi,
Claudia Gomes da Rocha,
Alexander Kubanek,
Christoph Simon
Abstract:
Quantum emitters in two-dimensional hexagonal boron nitride (h-BN) have generated significant interest due to observations of ultra-bright emission made at room temperature. The expectation that solid-state emitters exhibit broad zero-phonon lines at elevated temperatures has been put in question by recent observations of Fourier transform (FT) limited photons emitted from h-BN flakes at room temp…
▽ More
Quantum emitters in two-dimensional hexagonal boron nitride (h-BN) have generated significant interest due to observations of ultra-bright emission made at room temperature. The expectation that solid-state emitters exhibit broad zero-phonon lines at elevated temperatures has been put in question by recent observations of Fourier transform (FT) limited photons emitted from h-BN flakes at room temperature. The mechanism responsible for the narrow lines has been suggested to be a mechanical decoupling from in-plane phonons due to an out-of-plane distortion of the emitter's orbitals. All decoupled emitters produce photons that are directed in-plane, suggesting that the dipoles are oriented perpendicular to the h-BN plane. Motivated by the promise of an efficient and scalable source of indistinguishable photons that can operate at room temperature, we have developed an approach using density functional theory (DFT) to determine the electron-phonon coupling for defects that have in- and out-of-plane transition dipole moments. Our DFT calculations reveal that the $\text{C}_2 \text{C}_\text{N}$ defect has an in-plane transition dipole moment, and that of the $\text{V}_\text{N} \text{N}_\text{B}$ defect is perpendicular to the plane. We exploit the two-dimensional framework recently implemented in \texttt{QUANTUM ESPRESSO} to determine both the phonon density of states and the electron-phonon matrix elements associated with the h-BN defective structures. We find no indication that an out-of-plane transition dipole is sufficient to obtain FT-limited photons at room temperature. Our work also provides direction to future DFT software developments and adds to the growing list of calculations relevant to researchers in the field of solid-state quantum information processing.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
High-rate entanglement between a semiconductor spin and indistinguishable photons
Authors:
N. Coste,
D. Fioretto,
N. Belabas,
S. C. Wein,
P. Hilaire,
R. Frantzeskakis,
M. Gundin,
B. Goes,
N. Somaschi,
M. Morassi,
A. Lemaître,
1 I. Sagnes,
A. Harouri,
S. E. Economou,
A. Auffeves,
O. Krebs,
L. Lanco,
P. Senellart
Abstract:
Photonic graph states, quantum light states where multiple photons are mutually entangled, are key resources for optical quantum technologies. They are notably at the core of error-corrected measurement-based optical quantum computing and all-optical quantum networks. In the discrete variable framework, these applications require high efficiency generation of cluster-states whose nodes are indisti…
▽ More
Photonic graph states, quantum light states where multiple photons are mutually entangled, are key resources for optical quantum technologies. They are notably at the core of error-corrected measurement-based optical quantum computing and all-optical quantum networks. In the discrete variable framework, these applications require high efficiency generation of cluster-states whose nodes are indistinguishable photons. Such photonic cluster states can be generated with heralded single photon sources and probabilistic quantum gates, yet with challenging efficiency and scalability. Spin-photon entanglement has been proposed to deterministically generate linear cluster states. First demonstrations have been obtained with semiconductor spins achieving high photon indistinguishablity, and most recently with atomic systems at high collection efficiency and record length. Here we report on the efficient generation of three partite cluster states made of one semiconductor spin and two indistinguishable photons. We harness a semiconductor quantum dot inserted in an optical cavity for efficient photon collection and electrically controlled for high indistinguishability. We demonstrate two and three particle entanglement with fidelities of 80 % and 63 % respectively, with photon indistinguishability of 88%. The spin-photon and spin-photon-photon entanglement rates exceed by three and two orders of magnitude respectively the previous state of the art. Our system and experimental scheme, a monolithic solid-state device controlled with a resource efficient simple experimental configuration, are very promising for future scalable applications.
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
Statistical and Computational Phase Transitions in Group Testing
Authors:
Amin Coja-Oghlan,
Oliver Gebhard,
Max Hahn-Klimroth,
Alexander S. Wein,
Ilias Zadik
Abstract:
We study the group testing problem where the goal is to identify a set of k infected individuals carrying a rare disease within a population of size n, based on the outcomes of pooled tests which return positive whenever there is at least one infected individual in the tested group. We consider two different simple random procedures for assigning individuals to tests: the constant-column design an…
▽ More
We study the group testing problem where the goal is to identify a set of k infected individuals carrying a rare disease within a population of size n, based on the outcomes of pooled tests which return positive whenever there is at least one infected individual in the tested group. We consider two different simple random procedures for assigning individuals to tests: the constant-column design and Bernoulli design. Our first set of results concerns the fundamental statistical limits. For the constant-column design, we give a new information-theoretic lower bound which implies that the proportion of correctly identifiable infected individuals undergoes a sharp "all-or-nothing" phase transition when the number of tests crosses a particular threshold. For the Bernoulli design, we determine the precise number of tests required to solve the associated detection problem (where the goal is to distinguish between a group testing instance and pure noise), improving both the upper and lower bounds of Truong, Aldridge, and Scarlett (2020). For both group testing models, we also study the power of computationally efficient (polynomial-time) inference procedures. We determine the precise number of tests required for the class of low-degree polynomial algorithms to solve the detection problem. This provides evidence for an inherent computational-statistical gap in both the detection and recovery problems at small sparsity levels. Notably, our evidence is contrary to that of Iliopoulos and Zadik (2021), who predicted the absence of a computational-statistical gap in the Bernoulli design.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
The Franz-Parisi Criterion and Computational Trade-offs in High Dimensional Statistics
Authors:
Afonso S. Bandeira,
Ahmed El Alaoui,
Samuel B. Hopkins,
Tselil Schramm,
Alexander S. Wein,
Ilias Zadik
Abstract:
Many high-dimensional statistical inference problems are believed to possess inherent computational hardness. Various frameworks have been proposed to give rigorous evidence for such hardness, including lower bounds against restricted models of computation (such as low-degree functions), as well as methods rooted in statistical physics that are based on free energy landscapes. This paper aims to m…
▽ More
Many high-dimensional statistical inference problems are believed to possess inherent computational hardness. Various frameworks have been proposed to give rigorous evidence for such hardness, including lower bounds against restricted models of computation (such as low-degree functions), as well as methods rooted in statistical physics that are based on free energy landscapes. This paper aims to make a rigorous connection between the seemingly different low-degree and free-energy based approaches. We define a free-energy based criterion for hardness and formally connect it to the well-established notion of low-degree hardness for a broad class of statistical problems, namely all Gaussian additive models and certain models with a sparse planted signal. By leveraging these rigorous connections we are able to: establish that for Gaussian additive models the "algebraic" notion of low-degree hardness implies failure of "geometric" local MCMC algorithms, and provide new low-degree lower bounds for sparse linear regression which seem difficult to prove directly. These results provide both conceptual insights into the connections between different notions of hardness, as well as concrete technical tools such as new methods for proving low-degree lower bounds.
△ Less
Submitted 13 October, 2022; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Energy-efficient quantum non-demolition measurement with a spin-photon interface
Authors:
Maria Maffei,
Bruno O. Goes,
Stephen C. Wein,
Andrew N. Jordan,
Loïc Lanco,
Alexia Auffèves
Abstract:
Spin-photon interfaces (SPIs) are key devices of quantum technologies, aimed at coherently transferring quantum information between spin qubits and propagating pulses of polarized light. We study the potential of a SPI for quantum non demolition (QND) measurements of a spin state. After being initialized and scattered by the SPI, the state of a light pulse depends on the spin state. It thus plays…
▽ More
Spin-photon interfaces (SPIs) are key devices of quantum technologies, aimed at coherently transferring quantum information between spin qubits and propagating pulses of polarized light. We study the potential of a SPI for quantum non demolition (QND) measurements of a spin state. After being initialized and scattered by the SPI, the state of a light pulse depends on the spin state. It thus plays the role of a pointer state, information being encoded in the light's temporal and polarization degrees of freedom. Building on the fully Hamiltonian resolution of the spin-light dynamics, we show that quantum superpositions of zero and single photon states outperform coherent pulses of light, producing pointer states which are more distinguishable with the same photon budget. The energetic advantage provided by quantum pulses over coherent ones is maintained when information on the spin state is extracted at the classical level by performing projective measurements on the light pulses. The proposed schemes are robust against imperfections in state of the art semi-conducting devices.
△ Less
Submitted 30 August, 2023; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Spanish Abstract Meaning Representation: Annotation of a General Corpus
Authors:
Shira Wein,
Lucia Donatelli,
Ethan Ricker,
Calvin Engstrom,
Alex Nelson,
Nathan Schneider
Abstract:
The Abstract Meaning Representation (AMR) formalism, designed originally for English, has been adapted to a number of languages. We build on previous work proposing the annotation of AMR in Spanish, which resulted in the release of 50 Spanish AMR annotations for the fictional text "The Little Prince." In this work, we present the first sizable, general annotation project for Spanish Abstract Meani…
▽ More
The Abstract Meaning Representation (AMR) formalism, designed originally for English, has been adapted to a number of languages. We build on previous work proposing the annotation of AMR in Spanish, which resulted in the release of 50 Spanish AMR annotations for the fictional text "The Little Prince." In this work, we present the first sizable, general annotation project for Spanish Abstract Meaning Representation. Our approach to annotation makes use of Spanish rolesets from the AnCora-Net lexicon and extends English AMR with semantic features specific to Spanish. In addition to our guidelines, we release an annotated corpus (586 annotations total, for 486 unique sentences) of multiple genres of documents from the "Abstract Meaning Representation 2.0 - Four Translations" sembank. This corpus is commonly used for evaluation of AMR parsing and generation, but does not include gold AMRs; we hope that providing gold annotations for this dataset can result in a more complete approach to cross-lingual AMR parsing. Finally, we perform a disagreement analysis and discuss the implications of our work on the adaptability of AMR to languages other than English.
△ Less
Submitted 15 April, 2022;
originally announced April 2022.
-
Proposal for room-temperature quantum repeaters with nitrogen-vacancy centers and optomechanics
Authors:
Jia-Wei Ji,
Yu-Feng Wu,
Stephen C. Wein,
Faezeh Kimiaee Asadi,
Roohollah Ghobadi,
Christoph Simon
Abstract:
We propose a quantum repeater architecture that can operate under ambient conditions. Our proposal builds on recent progress towards non-cryogenic spin-photon interfaces based on nitrogen-vacancy centers, which have excellent spin coherence times even at room temperature, and optomechanics, which allows to avoid phonon-related decoherence and also allows the emitted photons to be in the telecom ba…
▽ More
We propose a quantum repeater architecture that can operate under ambient conditions. Our proposal builds on recent progress towards non-cryogenic spin-photon interfaces based on nitrogen-vacancy centers, which have excellent spin coherence times even at room temperature, and optomechanics, which allows to avoid phonon-related decoherence and also allows the emitted photons to be in the telecom band. We apply the photon number decomposition method to quantify the fidelity and the efficiency of entanglement established between two remote electron spins. We describe how the entanglement can be stored in nuclear spins and extended to long distances via quasi-deterministic entanglement swap** operations involving the electron and nuclear spins. We furthermore propose schemes to achieve high-fidelity readout of the spin states at room temperature using the spin-optomechanics interface. Our work shows that long-distance quantum networks made of solid-state components that operate at room temperature are within reach of current technological capabilities.
△ Less
Submitted 22 August, 2023; v1 submitted 13 March, 2022;
originally announced March 2022.
-
Experimental analysis of energy transfers between a quantum emitter and light fields
Authors:
I. Maillette de Buy Wenniger,
S. E. Thomas,
M. Maffei,
S. C. Wein,
M. Pont,
N. Belabas,
S. Prasad,
A. Harouri,
A. Lemaître,
I. Sagnes,
N. Somaschi,
A. Auffèves,
P. Senellart
Abstract:
Energy transfer between quantum systems can either be achieved through an effective unitary interaction or through the generation of entanglement. This observation defines two types of energy exchange: unitary and correlation energy. Here we propose and implement experimental protocols to access these energy transfers in interactions between a quantum emitter and light fields. Upon spontaneous emi…
▽ More
Energy transfer between quantum systems can either be achieved through an effective unitary interaction or through the generation of entanglement. This observation defines two types of energy exchange: unitary and correlation energy. Here we propose and implement experimental protocols to access these energy transfers in interactions between a quantum emitter and light fields. Upon spontaneous emission, we measure the unitary energy transfer from the emitter to the optical field and show that it never exceeds half of the total energy and is reduced when introducing decoherence. We then study the interference of the emitted field and a laser field at a beam splitter and show that the energy transfers quantitatively depend on the quantum purity of the emitted field.
△ Less
Submitted 6 June, 2023; v1 submitted 2 February, 2022;
originally announced February 2022.
-
Forecasting Brain Activity Based on Models of Spatio-Temporal Brain Dynamics: A Comparison of Graph Neural Network Architectures
Authors:
Simon Wein,
Alina Schüller,
Ana Maria Tomé,
Wilhelm M. Malloni,
Mark W. Greenlee,
Elmar W. Lang
Abstract:
Comprehending the interplay between spatial and temporal characteristics of neural dynamics can contribute to our understanding of information processing in the human brain. Graph neural networks (GNNs) provide a new possibility to interpret graph structured signals like those observed in complex brain networks. In our study we compare different spatio-temporal GNN architectures and study their ab…
▽ More
Comprehending the interplay between spatial and temporal characteristics of neural dynamics can contribute to our understanding of information processing in the human brain. Graph neural networks (GNNs) provide a new possibility to interpret graph structured signals like those observed in complex brain networks. In our study we compare different spatio-temporal GNN architectures and study their ability to model neural activity distributions obtained in functional MRI (fMRI) studies. We evaluate the performance of the GNN models on a variety of scenarios in MRI studies and also compare it to a VAR model, which is currently often used for directed functional connectivity analysis. We show that by learning localized functional interactions on the anatomical substrate, GNN based approaches are able to robustly scale to large network studies, even when available data are scarce. By including anatomical connectivity as the physical substrate for information propagation, such GNNs also provide a multi-modal perspective on directed connectivity analysis, offering a novel possibility to investigate the spatio-temporal dynamics in brain networks.
△ Less
Submitted 28 April, 2022; v1 submitted 8 December, 2021;
originally announced December 2021.
-
Lattice-Based Methods Surpass Sum-of-Squares in Clustering
Authors:
Ilias Zadik,
Min Jae Song,
Alexander S. Wein,
Joan Bruna
Abstract:
Clustering is a fundamental primitive in unsupervised learning which gives rise to a rich class of computationally-challenging inference tasks. In this work, we focus on the canonical task of clustering d-dimensional Gaussian mixtures with unknown (and possibly degenerate) covariance. Recent works (Ghosh et al. '20; Mao, Wein '21; Davis, Diaz, Wang '21) have established lower bounds against the cl…
▽ More
Clustering is a fundamental primitive in unsupervised learning which gives rise to a rich class of computationally-challenging inference tasks. In this work, we focus on the canonical task of clustering d-dimensional Gaussian mixtures with unknown (and possibly degenerate) covariance. Recent works (Ghosh et al. '20; Mao, Wein '21; Davis, Diaz, Wang '21) have established lower bounds against the class of low-degree polynomial methods and the sum-of-squares (SoS) hierarchy for recovering certain hidden structures planted in Gaussian clustering instances. Prior work on many similar inference tasks portends that such lower bounds strongly suggest the presence of an inherent statistical-to-computational gap for clustering, that is, a parameter regime where the clustering task is statistically possible but no polynomial-time algorithm succeeds.
One special case of the clustering task we consider is equivalent to the problem of finding a planted hypercube vector in an otherwise random subspace. We show that, perhaps surprisingly, this particular clustering model does not exhibit a statistical-to-computational gap, even though the aforementioned low-degree and SoS lower bounds continue to apply in this case. To achieve this, we give a polynomial-time algorithm based on the Lenstra--Lenstra--Lovasz lattice basis reduction method which achieves the statistically-optimal sample complexity of d+1 samples. This result extends the class of problems whose conjectured statistical-to-computational gaps can be "closed" by "brittle" polynomial-time algorithms, highlighting the crucial but subtle role of noise in the onset of statistical-to-computational gaps.
△ Less
Submitted 7 January, 2022; v1 submitted 7 December, 2021;
originally announced December 2021.
-
PASTRIE: A Corpus of Prepositions Annotated with Supersense Tags in Reddit International English
Authors:
Michael Kranzlein,
Emma Manning,
Siyao Peng,
Shira Wein,
Aryaman Arora,
Bradford Salen,
Nathan Schneider
Abstract:
We present the Prepositions Annotated with Supersense Tags in Reddit International English ("PASTRIE") corpus, a new dataset containing manually annotated preposition supersenses of English data from presumed speakers of four L1s: English, French, German, and Spanish. The annotations are comprehensive, covering all preposition types and tokens in the sample. Along with the corpus, we provide analy…
▽ More
We present the Prepositions Annotated with Supersense Tags in Reddit International English ("PASTRIE") corpus, a new dataset containing manually annotated preposition supersenses of English data from presumed speakers of four L1s: English, French, German, and Spanish. The annotations are comprehensive, covering all preposition types and tokens in the sample. Along with the corpus, we provide analysis of distributional patterns across the included L1s and a discussion of the influence of L1s on L2 preposition choice.
△ Less
Submitted 23 October, 2021;
originally announced October 2021.
-
$\textit{Ab initio}$ and group theoretical study of properties of the $\text{C}_\text{2}\text{C}_\text{N}$ carbon trimer defect in h-BN
Authors:
Omid Golami,
Kenneth Sharman,
Roohollah Ghobadi,
Stephen C. Wein,
Hadi Zadeh-Haghighi,
Claudia Gomes da Rocha,
Dennis R. Salahub,
Christoph Simon
Abstract:
Hexagonal boron nitride (h-BN) is a promising platform for quantum information processing due to its potential to host optically active defects with attractive optical and spin properties. Recent studies suggest that carbon trimers might be the defect responsible for single-photon emission in the visible spectral range in h-BN. In this theoretical study, we combine group theory together with densi…
▽ More
Hexagonal boron nitride (h-BN) is a promising platform for quantum information processing due to its potential to host optically active defects with attractive optical and spin properties. Recent studies suggest that carbon trimers might be the defect responsible for single-photon emission in the visible spectral range in h-BN. In this theoretical study, we combine group theory together with density functional theory (DFT) calculations to predict the properties of the neutral $\text{C}_\text{2}\text{C}_\text{N}$ carbon trimer defect. We find the multi-electron states of this defect along with possible radiative and non-radiative transitions assisted by the spin-orbit and the spin-spin interactions. We also investigate the Hamiltonian for external magnetic field and ground-state hyperfine interactions. Lastly, we use the results of our investigation in a Lindblad master equation model to predict an optically detected magnetic resonance (ODMR) signal and the $g^2(τ)$ correlation function. Our findings can have important outcomes in quantum information applications such as quantum repeaters used in quantum networks and quantum sensing.
△ Less
Submitted 18 October, 2021;
originally announced October 2021.
-
Circuit Lower Bounds for the p-Spin Optimization Problem
Authors:
David Gamarnik,
Aukosh Jagannath,
Alexander S. Wein
Abstract:
We consider the problem of finding a near ground state of a $p$-spin model with Rademacher couplings by means of a low-depth circuit. As a direct extension of the authors' recent work [Gamarnik, Jagannath, Wein 2020], we establish that any poly-size $n$-output circuit that produces a spin assignment with objective value within a certain constant factor of optimality, must have depth at least…
▽ More
We consider the problem of finding a near ground state of a $p$-spin model with Rademacher couplings by means of a low-depth circuit. As a direct extension of the authors' recent work [Gamarnik, Jagannath, Wein 2020], we establish that any poly-size $n$-output circuit that produces a spin assignment with objective value within a certain constant factor of optimality, must have depth at least $\log n/(2\log\log n)$ as $n$ grows. This is stronger than the known state of the art bounds of the form $Ω(\log n/(k(n)\log\log n))$ for similar combinatorial optimization problems, where $k(n)$ depends on the optimality value. For example, for the largest clique problem $k(n)$ corresponds to the square of the size of the clique [Rossman 2010]. At the same time our results are not quite comparable since in our case the circuits are required to produce a solution itself rather than solving the associated decision problem. As in our earlier work, the approach is based on the overlap gap property (OGP) exhibited by random $p$-spin models, but the derivation of the circuit lower bound relies further on standard facts from Fourier analysis on the Boolean cube, in particular the Linial-Mansour-Nisan Theorem.
To the best of our knowledge, this is the first instance when methods from spin glass theory have ramifications for circuit complexity.
△ Less
Submitted 21 January, 2022; v1 submitted 3 September, 2021;
originally announced September 2021.
-
Photon-number entanglement generated by sequential excitation of a two-level atom
Authors:
S. C. Wein,
J. C. Loredo,
M. Maffei,
P. Hilaire,
A. Harouri,
N. Somaschi,
A. Lemaître,
I. Sagnes,
L. Lanco,
O. Krebs,
A. Auffèves,
C. Simon,
P. Senellart,
C. Antón-Solanas
Abstract:
Entanglement and spontaneous emission are fundamental quantum phenomena that drive many applications of quantum physics. During the spontaneous emission of light from an excited two-level atom, the atom briefly becomes entangled with the photonic field. Here, we show that this natural process can be used to produce photon-number entangled states of light distributed in time. By exciting a quantum…
▽ More
Entanglement and spontaneous emission are fundamental quantum phenomena that drive many applications of quantum physics. During the spontaneous emission of light from an excited two-level atom, the atom briefly becomes entangled with the photonic field. Here, we show that this natural process can be used to produce photon-number entangled states of light distributed in time. By exciting a quantum dot -- an artificial two-level atom -- with two sequential $π$ pulses, we generate a photon-number Bell state. We characterise this state using time-resolved intensity and phase correlation measurements. Furthermore, we theoretically show that applying longer sequences of pulses to a two-level atom can produce a series of multi-temporal mode entangled states with properties intrinsically related to the Fibonacci sequence. Our results on photon-number entanglement can be further exploited to generate new states of quantum light with applications in quantum technologies.
△ Less
Submitted 8 April, 2022; v1 submitted 3 June, 2021;
originally announced June 2021.
-
Optimal Spectral Recovery of a Planted Vector in a Subspace
Authors:
Cheng Mao,
Alexander S. Wein
Abstract:
Recovering a planted vector $v$ in an $n$-dimensional random subspace of $\mathbb{R}^N$ is a generic task related to many problems in machine learning and statistics, such as dictionary learning, subspace recovery, principal component analysis, and non-Gaussian component analysis. In this work, we study computationally efficient estimation and detection of a planted vector $v$ whose $\ell_4$ norm…
▽ More
Recovering a planted vector $v$ in an $n$-dimensional random subspace of $\mathbb{R}^N$ is a generic task related to many problems in machine learning and statistics, such as dictionary learning, subspace recovery, principal component analysis, and non-Gaussian component analysis. In this work, we study computationally efficient estimation and detection of a planted vector $v$ whose $\ell_4$ norm differs from that of a Gaussian vector with the same $\ell_2$ norm. For instance, in the special case where $v$ is an $N ρ$-sparse vector with Bernoulli-Gaussian or Bernoulli-Rademacher entries, our results include the following:
(1) We give an improved analysis of a slight variant of the spectral method proposed by Hopkins, Schramm, Shi, and Steurer (2016), showing that it approximately recovers $v$ with high probability in the regime $n ρ\ll \sqrt{N}$. This condition subsumes the conditions $ρ\ll 1/\sqrt{n}$ or $n \sqrtρ \lesssim \sqrt{N}$ required by previous work up to polylogarithmic factors. We achieve $\ell_\infty$ error bounds for the spectral estimator via a leave-one-out analysis, from which it follows that a simple thresholding procedure exactly recovers $v$ with Bernoulli-Rademacher entries, even in the dense case $ρ= 1$.
(2) We study the associated detection problem and show that in the regime $n ρ\gg \sqrt{N}$, any spectral method from a large class (and more generally, any low-degree polynomial of the input) fails to detect the planted vector. This matches the condition for recovery and offers evidence that no polynomial-time algorithm can succeed in recovering a Bernoulli-Gaussian vector $v$ when $n ρ\gg \sqrt{N}$.
△ Less
Submitted 13 October, 2022; v1 submitted 31 May, 2021;
originally announced May 2021.
-
Modelling Markovian light-matter interactions for quantum optical devices in the solid state
Authors:
Stephen C. Wein
Abstract:
The desire to understand the interaction between light and matter has stimulated centuries of research, leading to technological achievements that have shaped our world. One contemporary frontier of research into light-matter interaction considers regimes where quantum effects dominate. By understanding and manipulating these quantum effects, a vast array of new quantum-enhanced technologies becom…
▽ More
The desire to understand the interaction between light and matter has stimulated centuries of research, leading to technological achievements that have shaped our world. One contemporary frontier of research into light-matter interaction considers regimes where quantum effects dominate. By understanding and manipulating these quantum effects, a vast array of new quantum-enhanced technologies become accessible. In this thesis, I explore and analyze fundamental components and processes for quantum optical devices with a focus on solid-state quantum systems. This includes indistinguishable single-photon sources, deterministic sources of entangled photonic states, photon-heralded entanglement generation between remote quantum systems, and deterministic optically-mediated entangling gates between local quantum systems. For this analysis, I make heavy use of an analytic quantum trajectories approach applied to a general Markovian master equation of an optically-active quantum system, which I introduce as a photon-number decomposition. This approach allows for many realistic system imperfections, such as emitter pure dephasing, spin decoherence, and measurement imperfections, to be taken into account in a straightforward and comprehensive way.
△ Less
Submitted 13 May, 2021;
originally announced May 2021.
-
Supersense and Sensibility: Proxy Tasks for Semantic Annotation of Prepositions
Authors:
Luke Gessler,
Shira Wein,
Nathan Schneider
Abstract:
Prepositional supersense annotation is time-consuming and requires expert training. Here, we present two sensible methods for obtaining prepositional supersense annotations by eliciting surface substitution and similarity judgments. Four pilot studies suggest that both methods have potential for producing prepositional supersense annotations that are comparable in quality to expert annotations.
Prepositional supersense annotation is time-consuming and requires expert training. Here, we present two sensible methods for obtaining prepositional supersense annotations by eliciting surface substitution and similarity judgments. Four pilot studies suggest that both methods have potential for producing prepositional supersense annotations that are comparable in quality to expert annotations.
△ Less
Submitted 27 March, 2021;
originally announced March 2021.
-
Proposal for room-temperature quantum repeaters with nitrogen-vacancy centers and optomechanics
Authors:
Jia-Wei Ji,
Yu-Feng Wu,
Stephen C. Wein,
Faezeh Kimiaee Asadi,
Roohollah Ghobadi,
Christoph Simon
Abstract:
We propose a quantum repeater architecture that can operate under ambient conditions. Our proposal builds on recent progress towards non-cryogenic spin-photon interfaces based on nitrogen-vacancy centers, which have excellent spin coherence times even at room temperature, and optomechanics, which allows to avoid phonon-related decoherence and also allows the emitted photons to be in the telecom ba…
▽ More
We propose a quantum repeater architecture that can operate under ambient conditions. Our proposal builds on recent progress towards non-cryogenic spin-photon interfaces based on nitrogen-vacancy centers, which have excellent spin coherence times even at room temperature, and optomechanics, which allows to avoid phonon-related decoherence and also allows the emitted photons to be in the telecom band. We apply the photon number decomposition method to quantify the fidelity and the efficiency of entanglement established between two remote electron spins. We describe how the entanglement can be stored in nuclear spins and extended to long distances via quasi-deterministic entanglement swap** operations involving the electron and nuclear spins. We furthermore propose schemes to achieve high-fidelity readout of the spin states at room temperature using the spin-optomechanics interface. Our work shows that long-distance quantum networks made of solid-state components that operate at room temperature are within reach of current technological capabilities.
△ Less
Submitted 28 March, 2022; v1 submitted 11 December, 2020;
originally announced December 2020.
-
Average-Case Integrality Gap for Non-Negative Principal Component Analysis
Authors:
Afonso S. Bandeira,
Dmitriy Kunisky,
Alexander S. Wein
Abstract:
Montanari and Richard (2015) asked whether a natural semidefinite programming (SDP) relaxation can effectively optimize $\mathbf{x}^{\top}\mathbf{W} \mathbf{x}$ over $\|\mathbf{x}\| = 1$ with $x_i \geq 0$ for all coordinates $i$, where $\mathbf{W} \in \mathbb{R}^{n \times n}$ is drawn from the Gaussian orthogonal ensemble (GOE) or a spiked matrix model. In small numerical experiments, this SDP app…
▽ More
Montanari and Richard (2015) asked whether a natural semidefinite programming (SDP) relaxation can effectively optimize $\mathbf{x}^{\top}\mathbf{W} \mathbf{x}$ over $\|\mathbf{x}\| = 1$ with $x_i \geq 0$ for all coordinates $i$, where $\mathbf{W} \in \mathbb{R}^{n \times n}$ is drawn from the Gaussian orthogonal ensemble (GOE) or a spiked matrix model. In small numerical experiments, this SDP appears to be tight for the GOE, producing a rank-one optimal matrix solution aligned with the optimal vector $\mathbf{x}$. We prove, however, that as $n \to \infty$ the SDP is not tight, and certifies an upper bound asymptotically no better than the simple spectral bound $λ_{\max}(\mathbf{W})$ on this objective function. We also provide evidence, using tools from recent literature on hypothesis testing with low-degree polynomials, that no subexponential-time certification algorithm can improve on this behavior. Finally, we present further numerical experiments estimating how large $n$ would need to be before this limiting behavior becomes evident, providing a cautionary example against extrapolating asymptotics of SDPs in high dimension from their efficacy in small "laptop scale" computations.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Quantum repeaters based on individual electron spins and nuclear-spin-ensemble memories in quantum dots
Authors:
Kenneth Sharman,
Faezeh Kimiaee Asadi,
Stephen C Wein,
Christoph Simon
Abstract:
Inspired by recent developments in the control and manipulation of quantum dot nuclear spins, which allow for the transfer of an electron spin state to the surrounding nuclear-spin ensemble for storage, we propose a quantum repeater scheme that combines individual quantum dot electron spins and nuclear-spin ensembles, which serve as spin-photon interfaces and quantum memories respectively. We cons…
▽ More
Inspired by recent developments in the control and manipulation of quantum dot nuclear spins, which allow for the transfer of an electron spin state to the surrounding nuclear-spin ensemble for storage, we propose a quantum repeater scheme that combines individual quantum dot electron spins and nuclear-spin ensembles, which serve as spin-photon interfaces and quantum memories respectively. We consider the use of low-strain quantum dots embedded in high-cooperativity optical microcavities. Quantum dot nuclear-spin ensembles allow for the long-term storage of entangled states, and heralded entanglement swap** is performed using cavity-assisted gates. We highlight the advances in quantum dot technologies required to realize our quantum repeater scheme which promises the establishment of high-fidelity entanglement over long distances with a distribution rate exceeding that of the direct transmission of photons.
△ Less
Submitted 25 October, 2021; v1 submitted 26 October, 2020;
originally announced October 2020.
-
A Graph Neural Network Framework for Causal Inference in Brain Networks
Authors:
Simon Wein,
Wilhelm Malloni,
Ana Maria Tomé,
Sebastian M. Frank,
Gina-Isabelle Henze,
Stefan Wüst,
Mark W. Greenlee,
Elmar W. Lang
Abstract:
A central question in neuroscience is how self-organizing dynamic interactions in the brain emerge on their relatively static structural backbone. Due to the complexity of spatial and temporal dependencies between different brain areas, fully comprehending the interplay between structure and function is still challenging and an area of intense research. In this paper we present a graph neural netw…
▽ More
A central question in neuroscience is how self-organizing dynamic interactions in the brain emerge on their relatively static structural backbone. Due to the complexity of spatial and temporal dependencies between different brain areas, fully comprehending the interplay between structure and function is still challenging and an area of intense research. In this paper we present a graph neural network (GNN) framework, to describe functional interactions based on the structural anatomical layout. A GNN allows us to process graph-structured spatio-temporal signals, providing a possibility to combine structural information derived from diffusion tensor imaging (DTI) with temporal neural activity profiles, like observed in functional magnetic resonance imaging (fMRI). Moreover, dynamic interactions between different brain regions learned by this data-driven approach can provide a multi-modal measure of causal connectivity strength. We assess the proposed model's accuracy by evaluating its capabilities to replicate empirically observed neural activation profiles, and compare the performance to those of a vector auto regression (VAR), like typically used in Granger causality. We show that GNNs are able to capture long-term dependencies in data and also computationally scale up to the analysis of large-scale networks. Finally we confirm that features learned by a GNN can generalize across MRI scanner types and acquisition protocols, by demonstrating that the performance on small datasets can be improved by pre-training the GNN on data from an earlier and different study. We conclude that the proposed multi-modal GNN framework can provide a novel perspective on the structure-function relationship in the brain. Therewith this approach can be promising for the characterization of the information flow in brain networks.
△ Less
Submitted 14 October, 2020;
originally announced October 2020.
-
Optimal Low-Degree Hardness of Maximum Independent Set
Authors:
Alexander S. Wein
Abstract:
We study the algorithmic task of finding a large independent set in a sparse Erdős-Rényi random graph with $n$ vertices and average degree $d$. The maximum independent set is known to have size $(2 \log d / d)n$ in the double limit $n \to \infty$ followed by $d \to \infty$, but the best known polynomial-time algorithms can only find an independent set of half-optimal size $(\log d / d)n$. We show…
▽ More
We study the algorithmic task of finding a large independent set in a sparse Erdős-Rényi random graph with $n$ vertices and average degree $d$. The maximum independent set is known to have size $(2 \log d / d)n$ in the double limit $n \to \infty$ followed by $d \to \infty$, but the best known polynomial-time algorithms can only find an independent set of half-optimal size $(\log d / d)n$. We show that the class of low-degree polynomial algorithms can find independent sets of half-optimal size but no larger, improving upon a result of Gamarnik, Jagannath, and the author. This generalizes earlier work by Rahman and Virág, which proved the analogous result for the weaker class of local algorithms.
△ Less
Submitted 12 November, 2020; v1 submitted 13 October, 2020;
originally announced October 2020.
-
Spectral Planting and the Hardness of Refuting Cuts, Colorability, and Communities in Random Graphs
Authors:
Afonso S. Bandeira,
Jess Banks,
Dmitriy Kunisky,
Cristopher Moore,
Alexander S. Wein
Abstract:
We study the problem of efficiently refuting the k-colorability of a graph, or equivalently certifying a lower bound on its chromatic number. We give formal evidence of average-case computational hardness for this problem in sparse random regular graphs, showing optimality of a simple spectral certificate. This evidence takes the form of a computationally-quiet planting: we construct a distributio…
▽ More
We study the problem of efficiently refuting the k-colorability of a graph, or equivalently certifying a lower bound on its chromatic number. We give formal evidence of average-case computational hardness for this problem in sparse random regular graphs, showing optimality of a simple spectral certificate. This evidence takes the form of a computationally-quiet planting: we construct a distribution of d-regular graphs that has significantly smaller chromatic number than a typical regular graph drawn uniformly at random, while providing evidence that these two distributions are indistinguishable by a large class of algorithms. We generalize our results to the more general problem of certifying an upper bound on the maximum k-cut.
This quiet planting is achieved by minimizing the effect of the planted structure (e.g. colorings or cuts) on the graph spectrum. Specifically, the planted structure corresponds exactly to eigenvectors of the adjacency matrix. This avoids the pushout effect of random matrix theory, and delays the point at which the planting becomes visible in the spectrum or local statistics. To illustrate this further, we give similar results for a Gaussian analogue of this problem: a quiet version of the spiked model, where we plant an eigenspace rather than adding a generic low-rank perturbation.
Our evidence for computational hardness of distinguishing two distributions is based on three different heuristics: stability of belief propagation, the local statistics hierarchy, and the low-degree likelihood ratio. Of independent interest, our results include general-purpose bounds on the low-degree likelihood ratio for multi-spiked matrix models, and an improved low-degree analysis of the stochastic block model.
△ Less
Submitted 27 August, 2020;
originally announced August 2020.
-
Computational Barriers to Estimation from Low-Degree Polynomials
Authors:
Tselil Schramm,
Alexander S. Wein
Abstract:
One fundamental goal of high-dimensional statistics is to detect or recover planted structure (such as a low-rank matrix) hidden in noisy data. A growing body of work studies low-degree polynomials as a restricted model of computation for such problems: it has been demonstrated in various settings that low-degree polynomials of the data can match the statistical performance of the best known polyn…
▽ More
One fundamental goal of high-dimensional statistics is to detect or recover planted structure (such as a low-rank matrix) hidden in noisy data. A growing body of work studies low-degree polynomials as a restricted model of computation for such problems: it has been demonstrated in various settings that low-degree polynomials of the data can match the statistical performance of the best known polynomial-time algorithms. Prior work has studied the power of low-degree polynomials for the task of detecting the presence of hidden structures. In this work, we extend these methods to address problems of estimation and recovery (instead of detection). For a large class of "signal plus noise" problems, we give a user-friendly lower bound for the best possible mean squared error achievable by any degree-D polynomial. To our knowledge, these are the first results to establish low-degree hardness of recovery problems for which the associated detection problem is easy. As applications, we give a tight characterization of the low-degree minimum mean squared error for the planted submatrix and planted dense subgraph problems, resolving (in the low-degree framework) open problems about the computational complexity of recovery in both cases.
△ Less
Submitted 18 June, 2022; v1 submitted 5 August, 2020;
originally announced August 2020.
-
Bright Polarized Single-Photon Source Based on a Linear Dipole
Authors:
S. E. Thomas,
M. Billard,
N. Coste,
S. C. Wein,
Priya,
H. Ollivier,
O. Krebs,
L. Tazaïrt,
A. Harouri,
A. Lemaitre,
I. Sagnes,
C. Anton,
L. Lanco,
N. Somaschi,
J. C. Loredo,
P. Senellart
Abstract:
Semiconductor quantum dots in cavities are promising single-photon sources. Here, we present a path to deterministic operation, by harnessing the intrinsic linear dipole in a neutral quantum dot via phonon-assisted excitation. This enables emission of fully polarized single photons, with a measured degree of linear polarization up to 0.994 $\pm$ 0.007, and high population inversion -- 85\% as high…
▽ More
Semiconductor quantum dots in cavities are promising single-photon sources. Here, we present a path to deterministic operation, by harnessing the intrinsic linear dipole in a neutral quantum dot via phonon-assisted excitation. This enables emission of fully polarized single photons, with a measured degree of linear polarization up to 0.994 $\pm$ 0.007, and high population inversion -- 85\% as high as resonant excitation. We demonstrate a single-photon source with a polarized first lens brightness of 0.50 $\pm $ 0.01, a single-photon purity of 0.954 $\pm$ 0.001 and single-photon indistinguishability of 0.909 $\pm$ 0.004.
△ Less
Submitted 26 October, 2021; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Free Energy Wells and Overlap Gap Property in Sparse PCA
Authors:
Gérard Ben Arous,
Alexander S. Wein,
Ilias Zadik
Abstract:
We study a variant of the sparse PCA (principal component analysis) problem in the "hard" regime, where the inference task is possible yet no polynomial-time algorithm is known to exist. Prior work, based on the low-degree likelihood ratio, has conjectured a precise expression for the best possible (sub-exponential) runtime throughout the hard regime. Following instead a statistical physics inspir…
▽ More
We study a variant of the sparse PCA (principal component analysis) problem in the "hard" regime, where the inference task is possible yet no polynomial-time algorithm is known to exist. Prior work, based on the low-degree likelihood ratio, has conjectured a precise expression for the best possible (sub-exponential) runtime throughout the hard regime. Following instead a statistical physics inspired point of view, we show bounds on the depth of free energy wells for various Gibbs measures naturally associated to the problem. These free energy wells imply hitting time lower bounds that corroborate the low-degree conjecture: we show that a class of natural MCMC (Markov chain Monte Carlo) methods (with worst-case initialization) cannot solve sparse PCA with less than the conjectured runtime. These lower bounds apply to a wide range of values for two tuning parameters: temperature and sparsity misparametrization. Finally, we prove that the Overlap Gap Property (OGP), a structural property that implies failure of certain local search algorithms, holds in a significant part of the hard regime.
△ Less
Submitted 18 June, 2020;
originally announced June 2020.
-
The Average-Case Time Complexity of Certifying the Restricted Isometry Property
Authors:
Yunzi Ding,
Dmitriy Kunisky,
Alexander S. Wein,
Afonso S. Bandeira
Abstract:
In compressed sensing, the restricted isometry property (RIP) on $M \times N$ sensing matrices (where $M < N$) guarantees efficient reconstruction of sparse vectors. A matrix has the $(s,δ)$-$\mathsf{RIP}$ property if behaves as a $δ$-approximate isometry on $s$-sparse vectors. It is well known that an $M\times N$ matrix with i.i.d. $\mathcal{N}(0,1/M)$ entries is $(s,δ)$-$\mathsf{RIP}$ with high…
▽ More
In compressed sensing, the restricted isometry property (RIP) on $M \times N$ sensing matrices (where $M < N$) guarantees efficient reconstruction of sparse vectors. A matrix has the $(s,δ)$-$\mathsf{RIP}$ property if behaves as a $δ$-approximate isometry on $s$-sparse vectors. It is well known that an $M\times N$ matrix with i.i.d. $\mathcal{N}(0,1/M)$ entries is $(s,δ)$-$\mathsf{RIP}$ with high probability as long as $s\lesssim δ^2 M/\log N$. On the other hand, most prior works aiming to deterministically construct $(s,δ)$-$\mathsf{RIP}$ matrices have failed when $s \gg \sqrt{M}$. An alternative way to find an RIP matrix could be to draw a random gaussian matrix and certify that it is indeed RIP. However, there is evidence that this certification task is computationally hard when $s \gg \sqrt{M}$, both in the worst case and the average case.
In this paper, we investigate the exact average-case time complexity of certifying the RIP property for $M\times N$ matrices with i.i.d. $\mathcal{N}(0,1/M)$ entries, in the "possible but hard" regime $\sqrt{M} \ll s\lesssim M/\log N$. Based on analysis of the low-degree likelihood ratio, we give rigorous evidence that subexponential runtime $N^{\tildeΩ(s^2/M)}$ is required, demonstrating a smooth tradeoff between the maximum tolerated sparsity and the required computational power. This lower bound is essentially tight, matching the runtime of an existing algorithm due to Koiran and Zouzias. Our hardness result allows $δ$ to take any constant value in $(0,1)$, which captures the relevant regime for compressed sensing. This improves upon the existing average-case hardness result of Wang, Berthet, and Plan, which is limited to $δ= o(1)$.
△ Less
Submitted 22 April, 2021; v1 submitted 22 May, 2020;
originally announced May 2020.