Source author record

Emanuel Knill

Emanuel Knill appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

quant-ph math.CO Computational Complexity math-ph math.MP cond-mat.mes-hall cond-mat.other math.ST physics.atom-ph physics.data-an physics.optics q-bio Statistics Theory

Catalog footprint

What is connected

28works

13topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2021arXiv

High-fidelity indirect readout of trapped-ion hyperfine qubits

We propose and demonstrate a protocol for high-fidelity indirect readout of trapped ion hyperfine qubits, where the state of a $^9\text{Be}^+$ qubit ion is mapped to a $^{25}\text{Mg}^+$ readout ion using laser-driven Raman transitions. By partitioning the $^9\text{Be}^+$ ground state hyperfine manifold into two subspaces representing the two qubit states and choosing appropriate laser parameters, the protocol can be made robust to spontaneous photon scattering errors on the Raman transitions, enabling repetition for increased readout fidelity. We demonstrate combined readout and back-action errors for the two subspaces of $1.2^{+1.1}_{-0.6} \times 10^{-4}$ and $0^{+1.9}_{-0} \times 10^{-5}$ with 68% confidence while avoiding decoherence of spectator qubits due to stray resonant light that is inherent to direct fluorescence detection.

preprint2021arXiv

Scalable multiphoton quantum metrology with neither pre- nor post-selected measurements

The quantum statistical fluctuations of the electromagnetic field establish a limit, known as the shot-noise limit, on the sensitivity of optical measurements performed with classical technologies. However, quantum technologies are not constrained by this shot-noise limit. In this regard, the possibility of using every photon produced by quantum sources of light to estimate small physical parameters, beyond the shot-noise limit, constitutes one of the main goals of quantum optics. Here we experimentally demonstrate a scalable protocol for quantum-enhanced optical phase estimation across a broad range of phases, with neither pre- nor post-selected measurements. This is achieved through the efficient design of a source of spontaneous parametric down-conversion in combination with photon-number-resolving detection. The robustness of two-mode squeezed vacuum states against loss allows us to outperform schemes based on N00N states, in which the loss of a single photon is enough to remove all phase information from a quantum state. In contrast to other schemes that rely on N00N states or conditional measurements, the sensitivity of our technique could be improved through the generation and detection of high-order photon pairs. This unique feature of our protocol makes it scalable. Our work is important for quantum technologies that rely on multiphoton interference such as quantum imaging, boson sampling and quantum networks.

preprint2019arXiv

Certified Quantum Measurement of Majorana Fermions

We present a quantum self-testing protocol to certify measurements of fermion parity involving Majorana fermion modes. We show that observing a set of ideal measurement statistics implies anti-commutativity of the implemented Majorana fermion parity operators, a necessary prerequisite for Majorana detection. Our protocol is robust to experimental errors. We obtain lower bounds on the fidelities of the state and measurement operators that are linear in the errors. We propose to analyze experimental outcomes in terms of a contextuality witness $W$, which satisfies $\langle W \rangle \le 3$ for any classical probabilistic model of the data. A violation of the inequality witnesses quantum contextuality, and the closeness to the maximum ideal value $\langle W \rangle=5$ indicates the degree of confidence in the detection of Majorana fermions.

preprint2019arXiv

Experimental Low-Latency Device-Independent Quantum Randomness

Applications of randomness such as private key generation and public randomness beacons require small blocks of certified random bits on demand. Device-independent quantum random number generators can produce such random bits, but existing quantum-proof protocols and loophole-free implementations suffer from high latency, requiring many hours to produce any random bits. We demonstrate device-independent quantum randomness generation from a loophole-free Bell test with a more efficient quantum-proof protocol, obtaining multiple blocks of $512$ bits with an average experiment time of less than $5$ min per block and with a certified error bounded by $2^{-64}\approx 5.42\times 10^{-20}$.

preprint2017arXiv

Performance of Test Supermartingale Confidence Intervals for the Success Probability of Bernoulli Trials

Given a composite null hypothesis H, test supermartingales are non-negative supermartingales with respect to H with initial value 1. Large values of test supermartingales provide evidence against H. As a result, test supermartingales are an effective tool for rejecting H, particularly when the p-values obtained are very small and serve as certificates against the null hypothesis. Examples include the rejection of local realism as an explanation of Bell test experiments in the foundations of physics and the certification of entanglement in quantum information science. Test supermartingales have the advantage of being adaptable during an experiment and allowing for arbitrary stopping rules. By inversion of acceptance regions, they can also be used to determine confidence sets. We use an example to compare the performance of test supermartingales for computing p-values and confidence intervals to Chernoff-Hoeffding bounds and the "exact" p-value. The example is the problem of inferring the probability of success in a sequence of Bernoulli trials. There is a cost in using a technique that has no restriction on stopping rules, and for a particular test supermartingale, our study quantifies this cost.

preprint2016arXiv

A strong loophole-free test of local realism

We present a loophole-free violation of local realism using entangled photon pairs. We ensure that all relevant events in our Bell test are spacelike separated by placing the parties far enough apart and by using fast random number generators and high-speed polarization measurements. A high-quality polarization-entangled source of photons, combined with high-efficiency, low-noise, single-photon detectors, allows us to make measurements without requiring any fair-sampling assumptions. Using a hypothesis test, we compute p-values as small as $5.9\times 10^{-9}$ for our Bell violation while maintaining the spacelike separation of our events. We estimate the degree to which a local realistic system could predict our measurement choices. Accounting for this predictability, our smallest adjusted p-value is $2.3 \times 10^{-7}$. We therefore reject the hypothesis that local realism governs our experiment.

preprint2014arXiv

Bell Inequalities for Continuously Emitting Sources

A common experimental strategy for demonstrating non-classical correlations is to show violation of a Bell inequality by measuring a continuously emitted stream of entangled photon pairs. The measurements involve the detection of photons by two spatially separated parties. The detection times are recorded and compared to quantify the violation. The violation critically depends on determining which detections are coincident. Because the recorded detection times have "jitter", coincidences cannot be inferred perfectly. In the presence of settings-dependent timing errors, this can allow a local-realistic system to show apparent violation--the so-called "coincidence loophole". Here we introduce a family of Bell inequalities based on signed, directed distances between the parties' sequences of recorded timetags. Given that the timetags are recorded for synchronized, fixed observation periods and that the settings choices are random and independent of the source, violation of these inequalities unambiguously shows non-classical correlations violating local realism. Distance-based Bell inequalities are generally useful for two-party configurations where the effective size of the measurement outcome space is large or infinite. We show how to systematically modify the underlying Bell functions to improve the signal to noise ratio and to quantify the significance of the violation.

preprint2014arXiv

Optimizing Passive Quantum Clocks

We describe protocols for passive atomic clocks based on quantum interrogation of the atoms. Unlike previous techniques, our protocols are adaptive and take advantage of prior information about the clock's state. To reduce deviations from an ideal clock, each interrogation is optimized by means of a semidefinite program for atomic state preparation and measurement whose objective function depends on the prior information. Our knowledge of the clock's state is maintained according to a Bayesian model that accounts for noise and measurement results. We implement a full simulation of a running clock with power-law noise models and find significant improvements by applying our techniques.

preprint2014arXiv

Tunable spin-spin interactions and entanglement of ions in separate wells

Quantum simulation - the use of one quantum system to simulate a less controllable one - may provide an understanding of the many quantum systems which cannot be modeled using classical computers. Impressive progress on control and manipulation has been achieved for various quantum systems, but one of the remaining challenges is the implementation of scalable devices. In this regard, individual ions trapped in separate tunable potential wells are promising. Here we implement the basic features of this approach and demonstrate deterministic tuning of the Coulomb interaction between two ions, independently controlling their local wells. The scheme is suitable for emulating a range of spin-spin interactions, but to characterize the performance of our setup we select one that entangles the internal states of the two ions with 0.82(1) fidelity. Extension of this building-block to a 2D-network, which ion-trap micro-fabrication processes enable, may provide a new quantum simulator architecture with broad flexibility in designing and scaling the arrangement of ions and their mutual interactions. To perform useful quantum simulations, including those of intriguing condensed-matter phenomena such as the fractional quantum Hall effect, an array of tens of ions might be sufficient.

preprint2013arXiv

Efficient quantification of experimental evidence against local realism

Tests of local realism and their applications aim for very high confidence in their results even in the presence of potentially adversarial effects. For this purpose, one can measure a quantity that reflects the amount of violation of local realism and determine a bound on the probability, according to local realism, of obtaining a violation at least that observed. In general, it is difficult to obtain sufficiently robust and small bounds. Here we describe an efficient protocol for computing such bounds from any set of Bell inequalities for any number of parties, measurement settings, or outcomes. The protocol can be applied to tests of other properties (such as entanglement or dimensionality) that are witnessed by linear inequalities.

preprint2012arXiv

Gradient-based stopping rules for maximum-likelihood quantum-state tomography

When performing maximum-likelihood quantum-state tomography, one must find the quantum state that maximizes the likelihood of the state given observed measurements on identically prepared systems. The optimization is usually performed with iterative algorithms. This paper provides a gradient-based upper bound on the ratio of the true maximum likelihood and the likelihood of the state of the current iteration, regardless of the particular algorithm used. This bound is useful for formulating stopping rules for halting iterations of maximization algorithms. We discuss such stopping rules in the context of determining confidence regions from log-likelihood differences when the differences are approximately chi-squared distributed.

preprint2012arXiv

Magic-state distillation with the four-qubit code

The distillation of magic states is an often-cited technique for enabling universal quantum computing once the error probability for a special subset of gates has been made negligible by other means. We present a routine for magic-state distillation that reduces the required overhead for a range of parameters of practical interest. Each iteration of the routine uses a four-qubit error-detecting code to distill the +1 eigenstate of the Hadamard gate at a cost of ten input states per two improved output states. Use of this routine in combination with the 15-to-1 distillation routine described by Bravyi and Kitaev allows for further improvements in overhead.

preprint2011arXiv

Asymptotically optimal data analysis for rejecting local realism

Reliable experimental demonstrations of violations of local realism are highly desirable for fundamental tests of quantum mechanics. One can quantify the violation witnessed by an experiment in terms of a statistical p-value, which can be defined as the maximum probability according to local realism of a violation at least as high as that witnessed. Thus, high violation corresponds to small p-value. We propose a prediction-based-ratio (PBR) analysis protocol whose p-values are valid even if the prepared quantum state varies arbitrarily and local realistic models can depend on previous measurement settings and outcomes. It is therefore not subject to the memory loophole [J. Barrett et al., Phys. Rev. A 66, 042111 (2002)]. If the prepared state does not vary in time, the p-values are asymptotically optimal. For comparison, we consider protocols derived from the number of standard deviations of violation of a Bell inequality and from martingale theory [R. Gill, arXiv:quant-ph/0110137]. We find that the p-values of the former can be too small and are therefore not statistically valid, while those derived from the latter are sub-optimal. PBR p-values do not require a predetermined Bell inequality and can be used to compare results from different tests of local realism independent of experimental details.

preprint2011arXiv

Generation of degenerate, factorizable, pulsed squeezed light at telecom wavelengths

We characterize a periodically poled KTP crystal that produces an entangled, two-mode, squeezed state with orthogonal polarizations, nearly identical, factorizable frequency modes, and few photons in unwanted frequency modes. We focus the pump beam to create a nearly circular joint spectral probability distribution between the two modes. After disentangling the two modes, we observe Hong-Ou-Mandel interference with a raw (background corrected) visibility of 86 % (95 %) when an 8.6 nm bandwidth spectral filter is applied. We measure second order photon correlations of the entangled and disentangled squeezed states with both superconducting nanowire single-photon detectors and photon-number-resolving transition-edge sensors. Both methods agree and verify that the detected modes contain the desired photon number distributions.

preprint2011arXiv

Generation of Optical Coherent State Superpositions by Number-Resolved Photon Subtraction from Squeezed Vacuum

We have created heralded coherent state superpositions (CSS), by subtracting up to three photons from a pulse of squeezed vacuum light. To produce such CSSs at a sufficient rate, we used our high-efficiency photon-number-resolving transition edge sensor to detect the subtracted photons. This is the first experiment enabled by and utilizing the full photon-number-resolving capabilities of this detector. The CSS produced by three-photon subtraction had a mean photon number of 2.75 -0.24/+0.06 and a fidelity of 0.59 -0.14/+0.04 with an ideal CSS. This confirms that subtracting more photons results in higher-amplitude CSSs.

preprint2011arXiv

Improving Quantum Clocks via Semidefinite Programming

The accuracies of modern quantum logic clocks have surpassed those of standard atomic fountain clocks. These clocks also provide a greater degree of control, because before and after clock queries, we are able to apply chosen unitary operations and measurements. Here, we take advantage of these choices and present a numerical technique designed to increase the accuracy of these clocks. We use a greedy approach, minimizing the phase variance of a noisy classical oscillator with respect to a perfect frequency standard after an interrogation step; we do not optimize over successive interrogations or the probe times. We consider arbitrary prior frequency knowledge and compare clocks with varying numbers of ions and queries interlaced with unitary control. Our technique is based on the semidefinite programming formulation of quantum query complexity, a method first developed in the context of deriving algorithmic lower bounds. The application of semidefinite programming to an inherently continuous problem like that considered here requires discretization; we derive bounds on the error introduced and show that it can be made suitably small.

preprint2010arXiv

The statistical strength of experiments to reject local realism with photon pairs and inefficient detectors

Because of the fundamental importance of Bell's theorem, a loophole-free demonstration of a violation of local realism (LR) is highly desirable. Here, we study violations of LR involving photon pairs. We quantify the experimental evidence against LR by using measures of statistical strength related to the Kullback-Leibler (KL) divergence, as suggested by van Dam et al. [W. van Dam, R. Gill and P. Grunwald, IEEE Trans. Inf. Theory. 51, 2812 (2005)]. Specifically, we analyze a test of LR with entangled states created from two independent polarized photons passing through a polarizing beam splitter. We numerically study the detection efficiency required to achieve a specified statistical strength for the rejection of LR depending on whether photon counters or detectors are used. Based on our results, we find that a test of LR free of the detection loophole requires photon counters with efficiencies of at least 89.71%, or photon detectors with efficiencies of at least 91.11%. For comparison, we also perform this analysis with ideal unbalanced Bell states, which are known to allow rejection of LR with detector efficiencies above 2/3.

preprint2004arXiv

The quantum query complexity of the hidden subgroup problem is polynomial

We present a quantum algorithm which identifies with certainty a hidden subgroup of an arbitrary finite group G in only a polynomial (in log |G|) number of calls to the oracle. This is exponentially better than the best classical algorithm. However our quantum algorithm requires exponential time, as in the classical case. Our algorithm utilizes a new technique for constructing error-free algorithms for non-decision problems on quantum computers.

preprint1999arXiv

Dynamical Decoupling of Open Quantum Systems

We propose a novel dynamical method for beating decoherence and dissipation in open quantum systems. We demonstrate the possibility of filtering out the effects of unwanted (not necessarily known) system-environment interactions and show that the noise-suppression procedure can be combined with the capability of retaining control over the effective dynamical evolution of the open quantum system. Implications for quantum information processing are discussed.

preprint1995arXiv

An analysis of Bennett's pebble game

Bennett's pebble game was introduced to obtain better time/space tradeoffs in the simulation of standard Turing machines by reversible ones. So far only upper bounds for the tradeoff based on the pebble game have been published. Here we give a recursion for the time optimal solution of the pebble game given a space bound. We analyze the recursion to obtain an explicit asymptotic expression for the best time-space product.

preprint1994arXiv

Efficient pooling designs for library screening

We describe efficient methods for screening clone libraries, based on pooling schemes which we call ``random $k$-sets designs''. In these designs, the pools in which any clone occurs are equally likely to be any possible selection of $k$ from the $v$ pools. The values of $k$ and $v$ can be chosen to optimize desirable properties. Random $k$-sets designs have substantial advantages over alternative pooling schemes: they are efficient, flexible, easy to specify, require fewer pools, and have error-correcting and error-detecting capabilities. In addition, screening can often be achieved in only one pass, thus facilitating automation. For design comparison, we assume a binomial distribution for the number of ``positive'' clones, with parameters $n$, the number of clones, and $c$, the coverage. We propose the expected number of {\em resolved positive} clones---clones which are definitely positive based upon the pool assays---as a criterion for the efficiency of a pooling design. We determine the value of $k$ which is optimal, with respect to this criterion, as a function of $v$, $n$ and $c$. We also describe superior $k$-sets designs called $k$-sets packing designs. As an illustration, we discuss a robotically implemented design for a 2.5-fold-coverage, human chromosome 16 YAC library of $n=1,298$ clones. We also estimate the probability each clone is positive, given the pool-assay data and a model for experimental errors.

preprint1994arXiv

Generalized degrees and densities for families of sets

Let F be a family of subsets of {1,2,...,n}. The width-degree of an element x in at least one member of F is the width of the family {U in F | x in U}. If F has maximum width-degree at most k, then F is locally k-wide. Bounds on the size of locally k-wide families of sets are established. If F is locally k-wide and centered (every U in F has an element which does not belong to any member of F incomparable to U), then |F| <= (k+1)(n-k/2); this bound is best possible. Nearly exact bounds, linear in n and k, on the size of locally k-wide families of arcs or segments are determined. If F is any locally k-wide family of sets, then |F| is linearly bounded in n. The proof of this result involves an analysis of the combinatorics of antichains. Let P be a poset and L a semilattice (or an intersection-closed family of sets). The P-size of L is |L^P|. For u in L, the P-density of u is the ratio |[u)^P|/|L^P|. The density of u is given by the [1]-density of u. Let p be the number of filters of P. L has the P-density property iff there is a join-irreducible a in L such that the P-density of a is at most 1/p Which non-trivial semilattices have the P-density property? For P=[1], it has been conjectured that the answer is: "all" (the union-closed sets conjecture). Certain subdirect products of lower-semimodular lattices and, for P=[n], of geometric lattices have the P-density property in a strong sense. This generalizes some previously known results. A fixed lattice has the [n]-density property if n is large enough. The density of a generator U of a union-closed family of sets L containing the empty set is estimated. The estimate depends only on the local properties of L at U. If L is generated by sets of size at most two, then there is a generator U of L with estimated density at most 1/2.

preprint1994arXiv

Graph generated union-closed families of sets

Let G be a graph with vertices V and edges E. Let F be the union-closed family of sets generated by E. Then F is the family of subsets of V without isolated points. Theorem: There is an edge e belongs to E such that |{U belongs to F | e belongs to U}| =< 1/2|F|. This is equivalent to the following assertion: If H is a union-closed family generated by a family of sets of maximum degree two, then there is an $x$ such that |{U belongs to H | x belongs to U}| > 1/2|H|. This is a special case of the union-closed sets conjecture. To put this result in perspective, a brief overview of research on the union-closed sets conjecture is given. A proof of a strong version of the theorem on graph-generated families of sets is presented. This proof depends on an analysis of the local properties of F and an application of Kleitman's lemma. Much of the proof applies to arbitrary union-closed families and can be used to obtain bounds on |{U belongs to F | e belongs to U}|/|F|.

preprint1994arXiv

Invertible families of sets of bounded degree

Let H = (H,V) be a hypergraph with edge set H and vertex set V. Then hypergraph H is invertible iff there exists a permutation pi of V such that for all E belongs to H(edges) intersection of(pi(E) and E)=0. H is invertibility critical if H is not invertible but every hypergraph obtained by removing an edge from H is invertible. The degree of H is d if |{E belongs to H(edges)|x belongs to E}| =< d for each x belongs to V Let i(d) be the maximum number of edges of an invertibility critical hypergraph of degree d. Theorem: i(d) =< (d-1) {2d-1 choose d} + 1. The proof of this result leads to the following covering problem on graphs: Let G be a graph. A family H is subset of (2^{V(G)} is an edge cover of G iff for every edge e of G, there is an E belongs to H(edge set) which includes e. H(edge set) is a minimal edge cover of G iff for H' subset of H, H' is not an edge cover of G. Let b(d) (c(d)) be the maximum cardinality of a minimal edge cover H(edge set) of a complete bipartite graph (complete graph) where H(edge set) has degree d. Theorem: c(d)=< i(d)=<b(d)=< c(d+1) and 3. 2^{d-1} - 2 =< b(d)=< (d-1) {2d-1choose d} +1. The proof of this result uses Sperner theory. The bounds b(d) also arise as bounds on the maximum number of elements in the union of minimal covers of families of sets.

preprint1994arXiv

Inverting sets and the packing problem

Given a set $V$, a subset $S$, and a permutation $π$ of $V$, we say that $π$ permutes $S$ if $π(S) \cap S = \emptyset$. Given a collection $\cS = \{V; S_1,\ldots , S_m\}$, where $S_i \subseteq V ~~(i=1,\ldots ,m)$, we say that $\cS$ is invertible if there is a permutation $π$ of $V$ such that $π(S_i) \subseteq V-S_i$. In this paper, we present necessary and sufficient conditions for the invertibility of a collection and construct a polynomial algorithm which determines whether a given collection is invertible. For an arbitrary collection, we give a lower bound for the maximum number of sets that can be inverted. Finally, we consider the problem of constructing a collection of sets such that no sub-collection of size three is invertible. Our constructions of such collections come from solutions to the packing problem with unbounded block sizes. We prove several new lower and upper bounds for the packing problem and present a new explicit construction of packing.

preprint1994arXiv

Lower bounds for identifying subset members with subset queries

An instance of a group testing problem is a set of objects $\cO$ and an unknown subset $P$ of $\cO$. The task is to determine $P$ by using queries of the type ``does $P$ intersect $Q$'', where $Q$ is a subset of $\cO$. This problem occurs in areas such as fault detection, multiaccess communications, optimal search, blood testing and chromosome mapping. Consider the two stage algorithm for solving a group testing problem. In the first stage a predetermined set of queries are asked in parallel and in the second stage, $P$ is determined by testing individual objects. Let $n=\cardof{\cO}$. Suppose that $P$ is generated by independently adding each $x\in \cO$ to $P$ with probability $p/n$. Let $q_1$ ($q_2$) be the number of queries asked in the first (second) stage of this algorithm. We show that if $q_1=o(\log(n)\log(n)/\log\log(n))$, then $\Exp(q_2) = n^{1-o(1)}$, while there exist algorithms with $q_1 = O(\log(n)\log(n)/\log\log(n))$ and $\Exp(q_2) = o(1)$. The proof involves a relaxation technique which can be used with arbitrary distributions. The best previously known bound is $q_1+\Exp(q_2) = Ω(p\log(n))$. For general group testing algorithms, our results imply that if the average number of queries over the course of $n^γ$ ($γ>0$) independent experiments is $O(n^{1-ε})$, then with high probability $Ω(\log(n)\log(n)/\log\log(n))$ non-singleton subsets are queried. This settles a conjecture of Bill Bruno and David Torney and has important consequences for the use of group testing in screening DNA libraries and other applications where it is more cost effective to use non-adaptive algorithms and/or too expensive to prepare a subset $Q$ for its first test.

preprint1994arXiv

Notes on the connectivity of Cayley coset digraphs

Hamidoune's connectivity results for hierarchical Cayley digraphs are extended to Cayley coset digraphs and thus to arbitrary vertex transitive digraphs. It is shown that if a Cayley coset digraph can be hierarchically decomposed in a certain way, then it is optimally vertex connected. The results are obtained by extending the methods used by Hamidoune. They are used to show that cycle-prefix graphs are optimally vertex connected. This implies that cycle-prefix graphs have good fault tolerance properties.

preprint1994arXiv

Restricted routing and wide diameter of the cycle prefix network

The cycle prefix network is a Cayley coset digraph based on sequences over an alphabet which has been proposed as a vertex symmetric communication network. This network has been shown to have many remarkable communication properties such as a large number of vertices for a given degree and diameter, simple shortest path routing, Hamiltonicity, optimal connectivity, and others. These considerations for designing symmetric and directed interconnection networks are well justified in practice and have been widely recognized in the research community. Among the important properties of a good network, efficient routing is probably one of the most important. In this paper, we further study routing schemes in the cycle prefix network. We confirm an observation first made from computer experiments regarding the diameter change when certain links are removed in the original network, and we completely determine the wide diameter of the network. The wide diameter of a network is now perceived to be even more important than the diameter. We show by construction that the wide diameter of the cycle prefix network is very close to the ordinary diameter. This means that routing in parallel in this network costs little extra time compared to ordinary single path routing.

Emanuel Knill

What is connected

Connect this record

See the researcher in context

Building this map preview

28 published item(s)

High-fidelity indirect readout of trapped-ion hyperfine qubits

Scalable multiphoton quantum metrology with neither pre- nor post-selected measurements

Certified Quantum Measurement of Majorana Fermions

Experimental Low-Latency Device-Independent Quantum Randomness

Performance of Test Supermartingale Confidence Intervals for the Success Probability of Bernoulli Trials

A strong loophole-free test of local realism

Bell Inequalities for Continuously Emitting Sources

Optimizing Passive Quantum Clocks

Tunable spin-spin interactions and entanglement of ions in separate wells

Efficient quantification of experimental evidence against local realism

Gradient-based stopping rules for maximum-likelihood quantum-state tomography

Magic-state distillation with the four-qubit code

Asymptotically optimal data analysis for rejecting local realism

Generation of degenerate, factorizable, pulsed squeezed light at telecom wavelengths

Generation of Optical Coherent State Superpositions by Number-Resolved Photon Subtraction from Squeezed Vacuum

Improving Quantum Clocks via Semidefinite Programming

The statistical strength of experiments to reject local realism with photon pairs and inefficient detectors

The quantum query complexity of the hidden subgroup problem is polynomial

Dynamical Decoupling of Open Quantum Systems

An analysis of Bennett's pebble game

Efficient pooling designs for library screening

Generalized degrees and densities for families of sets

Graph generated union-closed families of sets

Invertible families of sets of bounded degree

Inverting sets and the packing problem

Lower bounds for identifying subset members with subset queries

Notes on the connectivity of Cayley coset digraphs

Restricted routing and wide diameter of the cycle prefix network