Peer Revenue Impact factor: volatile

Papers

Fresh from arXiv, typeset properly. Highlighted words trade on the market.

Physics Quantum Physics

quant-ph Watch Quantum Physics (sign in to use)

Tuesday 8 September

Quantum Physics

Transversal Fanout for Fault Tolerant Distributed Quantum Computing: Analysis and Application

We study a resource-efficient approach for implementing logical fanout operations in fault-tolerant distributed quantum computing using transversal operations on quantum error-correcting code blocks. Logical fanout, comprising multiple controlled-NOT operations from a common control qubit to target qubits located at remote nodes, is an important primitive for distributed quantum computation but can require substantial non-local communication when implemented directly between encoded blocks. We exploit the structure of encoded blocks and the availability of transversal logical operations to construct distributed fanout circuits that reduce the required non-local operations while preserving the logical action of the fanout operation. The construction is developed for encoded quantum information and illustrated using Bivariate Bicycle (BB)-code blocks. We analyze the resulting physical gate, entanglement, circuit-depth, and ancilla requirements. The approach provides a systematic method for implementing large logical fanout operations across distributed error-corrected quantum processors. Also, we study a distributed implementation of the global gate GCZ involving logical qubits (encoded using BB-code blocks), exploiting the concurrency in transversal distributed fanouts.
Read the full abstract

Quantum Physics · Cross-listed from cs.IT

Asymptotically good binary triorthogonal codes and higher-level transversal gates

For each level of the Clifford hierarchy from the third level onward, we construct explicit asymptotically good binary CSS codes for which a strongly transversal diagonal rotation, followed by a correction from the preceding level, implements the corresponding logical rotation. We achieve this using algebraic geometry codes over binary extension fields and performing an alphabet reduction that translates orthogonality conditions over the extension field to binary overlap conditions. In particular, we obtain the first asymptotically good family of binary triorthogonal codes. We also give a stronger construction with worse parameters for which the strongly transversal physical rotation implements the desired logical rotation, with no subsequent correction. Finally, adapting an error-correction-based distillation protocol, our binary $T$-gate families yield direct constant-overhead $T$-state block distillation from noisy $T$-state inputs under sufficiently weak input noise and ideal stabilizer operations.
Read the full abstract

Quantum Physics

Classical Active-Space Hybrid Quantum Subspace Expansion (CASH-QSE): Quantum Corrections without Remeasuring the Classically Calculable Energy

The wave function prepared by a variational quantum eigensolver (VQE) can contain a substantial classically tractable component, yet its energy contribution is sampled on the quantum device. Representing the wave function as a combination of a classical reference and separately prepared quantum states allows the reference energy to be evaluated without quantum sampling. However, near-linear dependence among these components can amplify measurement errors and destabilize the resulting energy estimate. We introduce Classical Active-Space Hybrid Quantum Subspace Expansion (CASH-QSE), which retains a complete-active-space self-consistent field (CASSCF) reference classically and uses occupation structure to construct quantum states exactly orthogonal to the reference and to one another. The energy follows from an ordinary Hermitian eigenvalue problem without overlap measurements, while the same occupation constraints simplify the measured operators. Using full configuration interaction to guide component selection, we test CASH-QSE along H$_2$O and N$_2$ bond-stretching coordinates spanning weakly to strongly correlated regimes. The benchmarks use STO–3G for both molecules and a restricted cc-pVDZ orbital space for H$_2$O. CASH-QSE reaches chemical accuracy while limiting the largest complete measurement circuits to a few hundred all-to-all logical controlled-NOT gates. In favorable cases, it also reduces the idealized final-energy sampling cost by several orders of magnitude relative to VQE with an adaptive derivative-assembled pseudo-Trotter ansatz (ADAPT-VQE).
Read the full abstract

Quantum Physics

Saving resources through repeat-until-success positive-operator-valued-measure measurements in quantum computation

We present a quantum computation approach in which computation is guided by positive-operator-valuedmeasure (POVM) measurements following a given computation path in multisteps. In this approach, one ancillary qubit is coupled to a register of working qubits, and a POVM measurement is implemented effectively on the working qubits by applying a unitary operation on the whole system followed by a projective measurement performed on the ancillary qubit. Each step of the computation is a repeat-until-success procedure such that the desired state of the step is obtained deterministically on the working qubits via POVM measurements. The principle of deferred measurement states that measurements can always be moved from an intermediate stage of a quantum circuit to the end of the circuit without affecting the efficiency of the computation.We demonstrate that in our approach, by introducing intermediate measurements on the ancillary qubit in the computation process, both the number of qubits and unitary operations can be reduced polynomially, compared to the case where the intermediate measurements are deferred to the end of the computation. We also provide a method for implementation of the approach.
Read the full abstract

Quantum Physics

Quantum-state texture measure and texture transformation

Quantum-state texture quantifies structural irregularities of a state in a selected basis and has emerged as a valuable resource for gate characterization in universal circuits. Consequently, a class of contractive distance based texture measures and a framework for constructing convex-roof extended texture measure have been proposed. Here, we extend this theory in several directions. We examine the convertibility of a pure state to any state under texture-free operations, and fully solve the deterministic transformation problem between any two states in the qubit case. We then propose two classes of texture measures: convex-function-based measures and texture cost defined via minimal cost of texture contained in pure states. Moreover, we show that every texture monotone gives rise to a non-negative function which admits the same properties as the function used in the convex-roof extension—thus providing a converse to that construction. Our work thereby offers a relatively comprehensive resource-theoretic formulation of quantum-state texture.
Read the full abstract

All authors Yufan Lin, Yu Guo, Fei He, Shuanping Du

Quantum Physics · Cross-listed from cond-mat.other

Transport properties and topological phase transitions for a Creutz-Su-Schrieffer-Heeger ladder

In this work, we investigate the electronic, topological, and transport properties of a Creutz-Su-Schrieffer-Heeger (CSSH) ladder. Using a tight-binding model within the Green's function formalism, we calculate the energy spectrum, local density of states (LDOS), and electronic transmission. We first determine the energy spectrum of the CSSH ladder and analyze the different topological phases present in the system, identifying one trivial phase and three distinct nontrivial regions. We then study electronic transport and show that the transmission reproduces the different topological phases through characteristic transport signatures. Finally, we derive the conditions for the emergence of non-topological flat bands and demonstrate that these bands also provide the necessary conditions for the formation of bound states in the continuum (BICs). Our results establish a direct connection between the topological properties, flat-band formation, and electronic transport in the CSSH ladder.
Read the full abstract

All authors K. A. González, S. Bravo, L. Rosales, P.A. Orellana

Quantum Physics

Quantum algorithm for PageRank computation through multistep quantum resonant transitions

We present a quantum algorithm for obtaining a quantum state that encodes the PageRank vector of the Google matrix through multistep quantum resonant transition (mQRT). In the algorithm, the PageRank vector is encoded in the ground state of a problem Hamiltonian associated with the Google matrix. By dividing the web graph corresponding to the Google matrix into a series of subgraphs with nested structure, we construct a sequence of Hamiltonians based on the subgraphs to form a Hamiltonian evolution path from a simple initial Hamiltonian to the problem Hamiltonian. The ground state of the problem Hamiltonian is obtained by going through ground states of the intermediate Hamiltonians via QRT step by step. This algorithm requires only one ancillary qubit, and the runtime of the algorithm is proportional to the number of steps. It provides a new way for efficiently obtaining the quantum state of the PageRank vector of large-scale networks.
Read the full abstract

Quantum Physics · Cross-listed from cond-mat.str-el

Textures as a phase-transition probe for quantum spin chains

The idea of quantum texture has been recently proposed and used as a tool for quantifying coherences and for quantum gate identification. In this work we offer a study on its usage to quantum phase transitions, demonstrating the rugosity metric as a simple tool for effective phase-transition probing. We establish the link between rugosity in the computational basis and the hierarchy of spin correlators, and analyze rugosities defined in the global ground-state and in ground-states belonging to different magnetization sectors (to which we refer to as global vs symmetry-resolved rugosities) to study the phase diagram of the Heisenberg XXZ model. We find distinct rugosity signatures at both transition points. In particular, a sharp feature appears at $\Delta=1$ already for small systems, revealing a pronounced sensitivity of the correlation hierarchy encoded by the texture to this point. Since the BKT transition coincides with the isotropic $SU(2)$ point of the XXZ model, this behavior may reflect a particular sensitivity of rugosity to the structure of the spin-correlation hierarchy at isotropy.
Read the full abstract

All authors Heitor P. Casagrande, Isaac M. Carvalho, William J. Munro, Krissia Zawadzki

Quantum Physics

Spectral Sign Implication for Quantum Logic

We study the spectral sign implication for quantum logic, defined by the nonnegative spectral projection of the operator obtained by subtracting the antecedent projection from the consequent projection. The construction agrees with classical material implication on commuting projections and compares arbitrary pairs of projections through the spectral structure of their difference. It satisfies Hardegree's four minimal implicative conditions, his law of contraposition, and a falsity condition. It differs from the standard polynomial implications in that its value need not belong to the ortholattice generated by its arguments. Within a uniform class of Borel constructions for pairs of projections, the operations satisfying entailment, contraposition, and the falsity condition correspond exactly to measurable choices of spectral branch. In the continuous subclass, these three conditions determine the spectral sign implication uniquely. In finite dimensions, the operation is also the largest among the acceptance projections of optimal projective tests for Helstrom discrimination between subspace states with priors proportional to rank. These results connect quantum implication with the operator theory of two projections and binary quantum discrimination.
Read the full abstract

Quantum Physics · Cross-listed from physics.chem-ph

Construction of downfolded Hamiltonians from projective transcorrelation

Projective transcorrelation recovers the short-range electron correlation by a similarity transformation with a geminal function $f(r_{12})$, at the cost of an effective Hamiltonian containing a 3-body term. We replace the term by an effective operator of rank at most two, obtained from the two-body cumulant (2C) approximation to the three-particle reduced density matrix. The 2C 3-body energy is written without cumulants, and the effective one- and two-body interactions are derived as its partial derivatives with respect to the reduced density matrices. The truncation is assessed on the atomization and reaction energies of the HEAT set with CCSD(T), and on the CAS-pTC model, whose downfolded Hamiltonian is held on a qubit register with the number of Pauli strings reduced from the sixth power of the orbital count to the fourth.
Read the full abstract

Quantum Physics

Bottom-Up Design of Quantum Optical Experiments Using Discrete Generative Models

Designing quantum optical experiments requires searching over discrete circuit topologies and continuous parameters, often with multiple realizations of the same target state. Graph-based methods commonly address this problem by optimizing a dense graph and pruning it toward a single circuit. We introduce Grinch, a bottom-up reward-driven generative framework that learns to sample optical graphs directly from fidelity-based rewards without relying on a pre-existing training dataset. We demonstrate the framework on multipartite entangled states, graph and cluster states, and nonlocal photonic-gate targets, obtaining multiple high-fidelity optical graphs. We identify asymptotic solutions for states that cannot be generated exactly by graphs, as well as nonlocal Toffoli gate constructions requiring two ancillas. Our work presents hardware-constraint objectives, which lead to alternative constructions of CNOT and Toffoli gates when connections between ancilla nodes are restricted. These findings illustrate a reward-driven approach to quantum optical inverse design, exploring alternative circuit topologies while directly incorporating connectivity constraints into the search process.
Read the full abstract

Monday 7 September

Quantum Physics

Detector-Frame Quantum Limits for Heterodyne Timing in Relativistic Optical Links

Long-baseline optical links for space interferometry and satellite quantum networks rely on heterodyne phase tracking under Doppler motion and gravitational frequency shifts. These relativistic shifts can generate large detector-frame beat-frequency offsets over finite readout windows and thereby constrain the temporal precision of front-end phase readout. We develop a detector-frame framework for this problem using an effective two-mode signal–local-oscillator model in which relativistic motion rescales the local-oscillator frequency. Within this setting we derive closed-form Mandelstam–Tamm and Margolus–Levitin bounds for representative Gaussian resources and connect global state distinguishability with the operational precision of heterodyne phase tracking. In the bright-local-oscillator regime we identify a geometric–operational mismatch: the joint optical state can evolve on arbitrarily short global timescales while the relevant information rate is set by the measured detector record. Combining this result with an open-loop transient-acquisition analysis, we show that white phase noise and relativistic beat-frequency drift that is approximately constant over the acquisition window generate a cube-root scaling benchmark for the optimal pre-lock open-loop integration window and the minimum residual phase error. These results establish detector-frame benchmarks for quantum-limited heterodyne timing in relativistic optical links and clarify how global dynamical bounds enter task-restricted continuous optical measurements.
Read the full abstract

All authors Salman Sajad Wani, Aatif Kaisar Khan, Saif Al-Kuwari, Mir Faizal

Quantum Physics · Cross-listed from cond-mat.stat-mech

Diagonal Pair Coulomb Density Matrix on a Sphere: a numerical study

We tabulate, on the diagonal, the $n$th power of the primitive approximation for the pair Coulomb density matrix on a sphere, with up to $n=5$, and we discuss its behavior at particles contact as $n$ grows. Our results show that even on a curved surface quantum statistical physics is fundamentally different from its classical counterpart. If in the latter one needs to artificially introduce a regularization of the divergent attractive Coulomb potential preventing particles contact, for example with a hard core, in the former this is not necessary.
Read the full abstract

Quantum Physics

Quantum Inversion of Units in Group Rings: Block Dimension, Not Commutativity, Governs Hardness

Several public-key schemes base their security on the belief that inverting a unit of a group ring is hard. A recent result showed that this belief is false on a quantum computer when the group is abelian. To restore security, designers moved to non-abelian groups, especially dihedral groups, believing that the hardness of the dihedral hidden subgroup problem (HSP) would protect the scheme. This paper shows that unit inversion is a different problem and does not require an HSP solver. Instead, it can be solved by a change of basis that splits the group ring into small matrix blocks. We prove that unit inversion is polynomial-time, classically and quantumly, when an efficient generalized Fourier transform exists, the group ring is semisimple, and the largest matrix block has polynomial size. Dihedral group rings satisfy these conditions because their irreducible representations have dimension at most 2 and an efficient Fourier transform exists. We give an explicit reversible quantum circuit for the block-inversion step and validate it in a register-level simulator. We also identify the exact structural boundary where the method stops and propose a candidate construction in the surviving regime under a new, clearly stated security assumption. The constructive results are supported by reproducible software artifacts and experiments.
Read the full abstract

Quantum Physics · Cross-listed from q-bio.NC

Revisiting the Aerts-Broekaert-Smets quantum model of the liar paradox

The quantum model of the two-sentence liar paradox proposed by Aerts, Broekaert, and Smets is an early example of the use of quantum formalism to describe cognitive dynamics. Our reconstruction is primarily pedagogical in intent, but it also leads to a number of clarifications, and to some new observations, concerning the structure of the model. Rewriting the model in Dirac notation, we make explicit the distinction between truth values originating from a decision and from semantic inference, and show that the associated enlargement of the one-sentence state space corresponds to a factorization with respect to which the non-paradoxical configurations are separable while the genuine liar state is entangled. We also derive the Hamiltonian generating the four-state cyclic evolution, express it in compact operator form, and give the resulting transition probabilities in closed form. We emphasize that the liar cycle admits a unitarily equivalent representation in the four-dimensional truth-only space, where the unmeasured liar state is separable, so the dimensional enlargement is not required by the unitary part of the dynamics; it is required, however, by the measurement structure. The enlargement is also required by the dynamics as soon as revision processes are admitted, in which states with identical truth content but different origins have different successors, the origin degree of freedom then acting as a minimal form of cognitive memory. We conclude by discussing the possible relationship between the model and more general deliberative processes.
Read the full abstract

Quantum Physics

Finite-energy Gottesman-Kitaev-Preskill state-enhanced optical interferometry

We present the case of a Gottesman-Kitaev-Preskill (GKP) state-enhanced optical interferometry with detailed analysis of the phase sensitivity for both the SU(2) and SU(1,1) interferometers. The conventional quantum-enhanced SU(2) interferometer, employing coherent light at one input port and squeezed light at the other, is compared with a modified configuration using coherent light and a GKP state. While it is known that the squeezed vacuum state is the optimal Gaussian resource input mode when paired with the coherent state, we show that the finite-energy GKP state with sufficiently broad envelope outperforms the squeezed vacuum injection, irrespective of the presence of optical losses. This can be attributed to the enhanced robustness coming from the availability of multiple squeezed peaks in the GKP case. However, because lowering the mean photon number reduces the GKP envelope width, the squeezed vacuum input performs better when compared with a GKP state of equal or lower mean photon number. We also observe that optical losses tend to diminish the relative advantage of either input state, since both states approach the (unsqueezed) vacuum state asymptotically. Our work demonstrates the direct application of finite-energy GKP states in optical interferometry along with a methodology for estimating the quantum Fisher information (QFI) and presents a phase estimation procedure using non-Gaussian resources in comparison with conventional Gaussian states.
Read the full abstract

Quantum Physics · Cross-listed from cs.AI

Adaptive Entangled Game Modules in Artificial General Intelligence

We introduce a probability-wave framework for modeling the collective behavior of interacting adaptive agents, deriving testable eigenmodes through a generalized behavioral intelligence (GBI) nonlocal probability-wave equation. This framework captures a broad range of human intelligence behaviors with analytical mechanisms and offers an indirect method to examine the Liu-Chen-Ao (LCA) hypothesis of nonlocal entangled nerve fibers in the brain through collective trader behaviors. Our empirical analysis of Chinese intraday stock market data demonstrates that adaptive entangled game modes explain 82-94% (89% overall) of observed decision patterns, a sharp contrast to the predictions of neoclassical finance based on independent rational agents. Moreover, 2-12% of behaviors show adaption to intraday news, events, and environments, characterized by dual equilibrium states and abrupt reference point shifts, while purely independent modes occur in less than 5% of cases. These findings empirically support the LCA hypothesis, as observable trading behaviors reflect underlying brain mechanisms and internal intelligence decision-making in behavioral psychology. Our results highlight the necessity of incorporating adaptive entangled game modules into artificial general intelligence (AGI) architectures, addressing the limitations of conventional artificial neural network (ANN)-based AI, which relies on trillions of opaque parameters. By integrating ANN-based AI with probability-wave-based entangled-brain simulations, machine learning can enrich AGI foundation models (FMs) and facilitate the development of human-like processing units (HPUs) that leverage brain-inspired mechanisms. Such HPUs may ultimately create more compact, efficient, and robust AGI systems, particularly for embodied intelligence and robotics.
Read the full abstract

All authors Haochen Li, Xinshuai Guo, Jingdong Ouyang, Wei Zhang, Leilei Shi

Quantum Physics

From Bits to Qubits: The Theory and Practice of Quantum Data Encoding

Encoding classical data into quantum systems is a foundational step in the execution of nearly all quantum algorithms, and a critical bottleneck in realizing practical quantum advantage. This review provides a comprehensive account of the concepts, algorithms, and practical considerations associated with quantum data encoding. We trace the development from its early conceptual foundations to recent advances, considering commonly used access models, such as quantum state preparation, unitary synthesis, QRAM and block encoding. We survey the circuit size, depth, space-time tradeoffs, as well as non-Clifford resources required for fault-tolerant implementation. We also discuss the roles of different access models in quantum algorithms. Special attention is given to structured data, such as sparse data, Boolean functions and data represented by tensor networks. This review bridges theory and applications, serving both as a pedagogical guide for newcomers and as a reference for active researchers. We also highlight the pivotal role of quantum data encoding in quantum computing and provide insights into future directions that will enable quantum advantage.
Read the full abstract

All authors Xiao-Ming Zhang, Arthur G. Rattew, Bujiao Wu, Georgios Styliaris, Xiaoming Sun, Bálint Koczor, Xiao Yuan

Quantum Physics

Quantum magnonics with engineered dissipative and coherent interactions

Cavity magnonics is moving beyond the conventional paradigm of coherent spin–photon hybridization toward the controlled engineering of dissipative and coherent interactions, Floquet dynamics, and quantum fluctuations. This Perspective examines how these ingredients reshape collective dynamics and open new avenues for quantum state engineering, transport, and sensing. We discuss the role of dissipative coupling and anti-$\mathcal{PT}$ symmetry in enabling long-lived collective modes and enhanced spectral response, and highlight Floquet engineering as a means of engineering nonreciprocal transport and phase-controlled interactions. We then review recent progress in quantum magnonics, ranging from squeezed and entangled magnon states, including the squeezing of thermal magnons, to prospective schemes for preparing magnonic Schrödinger-cat states. We also discuss how parametric driving and active gain strongly modify hybrid susceptibilities and amplify magnon–photon response. These advances expand the scope of cavity magnonics beyond conventional polariton physics, establishing it as a versatile platform for sensing, transduction, spin transport, and hybrid quantum technologies.
Read the full abstract

Quantum Physics

Sklar's Theorem and Quantum State Reconstruction from All-Context Dependence

Sklar's theorem separates the marginals of a joint distribution from its dependence structure. We apply this viewpoint to Born statistics generated by local quantum measurements. For non-product two-qubit states, the dependence nuclei over all local binary projective measurement contexts determine the state up to at most a discrete double-spin-flip ambiguity. The corresponding scalar optimization, combined with the quantum total correlation, reproduces global quantum discord.
Read the full abstract

Quantum Physics

Learned Diffractive Optics for Quantum-Optimal Inference

Quantum mechanics sets the ultimate bounds on photon-limited sensing, yet practical measurements attaining these bounds are known only in special cases. This is particularly the case for visual sensing problems, where the goal is to infer features of a distant object based on the spatial structure of the light field it emits or reflects. Because of the potentially complex structure of such objects and fields, constructing optimal measurements on them is a challenging task. Here, we apply learned diffractive optics to state discrimination and parameter estimation of coherent and diffraction-limited incoherent light fields under a restricted photon budget. Optimized directly on each task's figure of merit, without prior knowledge of the optimal measurement, the physically realizable diffractive optical neural networks substantially outperform standard measurements and approach the quantum limits for a given number of photons as well as in the asymptotic limit.
Read the full abstract

Quantum Physics

Quantum Wavefunction Augmentation via Variational Autoencoders

Sample-based quantum diagonalization (SQD) has emerged as a promising route for quantum-centric supercomputing, relying on classical diagonalization of the molecular Hamiltonian within a hardware-sampled determinant subspace. However, its accuracy degrades in strongly correlated regimes where the relevant determinant space exceeds what finite-shot sampling can capture. In this work, we introduce Quantum Wavefunction Augmentation via Variational Autoencoders (Q-WAVE), a hybrid method that combines determinants sampled via SqDRIFT Krylov circuits and configuration interaction singles and doubles (CISD) determinants with generative machine learning. Using a custom $\beta$-annealed variational autoencoder (VAE) model, Q-WAVE iteratively expands this basis toward the variational ground state. The VAE learns the wavefunction's primary support structure from the combined hardware and CISD seed in a continuous latent space, generating new dominant determinants beyond any fixed excitation hierarchy. The resulting compact wavefunction exceeds what can be extracted from raw hardware samples alone. We demonstrate sub-millihartree accuracy compared to full configuration interaction for $\text{H}_2\text{O}$ and $\text{N}_2$ dissociation. Finally, we establish Q-WAVE's scalability on a 52-qubit ethylene system (achieving sub-millihartree accuracy versus CCSD(T)) and a highly correlated 60-qubit $\text{Cr}_2$ stress test that attains chemical accuracy upon a final perturbative correction.
Read the full abstract

Quantum Physics · Cross-listed from cond-mat.quant-gas

Limit Cycles in a Photonic Dimer with Tuneable Non-Hermitian Interactions

Interactions govern the emergence of collective behaviour in classical and quantum many-body systems. While conservative interactions are well known to generate nonlinear phenomena ranging from self-trapping to pattern formation, it remains largely unexplored whether purely dissipative – i.e., non-Hermitian – interactions can give rise to similarly rich dynamics and nontrivial system states. Here, we experimentally realise tuneable non-Hermitian interactions in two coupled condensates of light confined within a dye-filled double-well microcavity. Local coupling to molecular reservoirs generates the effective dissipative photon interactions. We show that the interplay between coherent tunnelling and interactions stabilises limit-cycle oscillations, a hallmark of nonlinear dynamics traditionally associated with Hermitian nonlinearities. By tuning the reservoir coupling, we map out the dynamical phase diagram comprising stable fixed points and limit cycles, thereby demonstrating direct control over the interaction strength. Our experimentally validated model reveals both supercritical and subcritical Hopf bifurcations, giving rise to hysteresis, bistability and excitability. These results validate dissipative interactions as a mechanism for organising collective nonlinear dynamics in driven-dissipative systems and pave the way towards exploring nonequilibrium many-body physics through controlled dissipation.
Read the full abstract

All authors Kevin J. H. Peters, Peter Schnorrenberg, Daniel Ehrmanntraut, Nikolas Longen, Julian Schmitt

Quantum Physics · Cross-listed from cs.CC

Accelerating Fourier–Motzkin elimination: redundancy removal and the choice of variable elimination order

Fourier-Motzkin elimination computes an inequality description of the projection of a polyhedron onto a subset of its coordinates by eliminating one variable at a time. It is used in several areas of optimisation and computer science, and it is a standard way of obtaining the entropic constraints of a causal structure, where the marginalisation over the latent variables produces such a projection. Its limitation is the growth of the intermediate systems of inequalities, which can be doubly exponential in the number of eliminated variables even though the projection itself grows only as a single exponential. In practice the computational overload of the method therefore depends on two choices: how the redundant inequalities are removed after each step, and the order in which the variables are eliminated. We consider both. We first show, by an explicit example, that Imbert's redundancy test cannot be interleaved with redundancy removal by linear programming. We show that the two methods, however, can be combined soundly if the derivation records used by Imbert's test are re-initialised after every step at which linear programming is used. We then propose a rule for choosing the elimination order of the variables that gives a significant computational advantage, however, at the cost of increased resource usage. We demonstrate this advantage on some random polytopes, where the rule reduces the running time by factors of between 6 and 25 compared with the same elimination under a fixed order. For entropic descriptions of causal structures, with more than 250 inequalities and more than 100 variables to eliminate, our rule keeps the number of inequalities handled at each step one to two orders of magnitude lower than a fixed order.
Read the full abstract

Quantum Physics · Cross-listed from cs.CC

Promises should be taken seriously: On relativization with promise problems

Relativization is concerned with comparing computational models with black-box access to an oracle. For promise problems, black-box access is not canonical due to inputs outside of the promise being unconstrained. We study two semantics for such access. Under robust queries, a machine must correctly answer regardless of the completion of the problem,, while loose access requires that the internal choices of a machine do not change based on off-promise queries. Our first result separates the language and promise settings. Namely, we construct an oracle $O$ such that $\mathsf{P}^O = \mathsf{BQP}^O = \mathsf{AWPP}^O$, but $\mathsf{PromiseBQP}^O\not\subseteq\mathsf{PromiseP}^O_{\mathsf{/poly}}$. In particular, $\mathsf{BPP}^O = \mathsf{BQP}^O$, but $\mathsf{PromiseBQP}^O \neq \mathsf{PromiseBPP}^O$, showing that results for languages need not transfer to promises. Next, we use loose queries to strengthen the upper bound on the Quantum-Classical Polynomial Hierarchy from $\mathsf{P}^{\mathsf{PP}^{\mathsf{PP}}}$ to $\mathsf{QCPH} \subseteq \mathsf{BP\cdot PP} \subseteq \mathsf{PromiseBPP}^{\mathsf{PP}}$. The same proof also shows $\mathsf{PP}^\mathsf{PromiseBQP} = \mathsf{PP}$. Additionally, we show that $\mathsf{PromiseBQP}$, even when given quantum advice, is self-low under robust queries. Finally, we exhibit an obstruction to transferring language-level counting results to promise classes. Although $\mathsf{AWPP}$ and $\mathsf{APP}$ are low for $\mathsf{PP}$, a corresponding promise analogue would collapse the counting hierarchy as $\mathsf{GapP} \subseteq \mathsf{FP}^{\mathsf{PromiseAWPP}}$. This motivates the introduction of $\mathsf{PromisePostBQP^*}$, which restricts $\mathsf{PostBQP}$ to input-indepencent postselection. By showing that it is low for \PP, we obtain $\mathsf{PP}^{\mathsf{PromiseYQP^*}} = \mathsf{PP}$.
Read the full abstract

Quantum Physics

A Novel Steganography Scheme Using Quantum Hilbert Transform

The main goal of steganography is to transmit hidden messages in legitimate-looking communication messages. Phase-domain information hiding, however, has not been fully explored for quantum systems. This work introduces a finite-dimensional Quantum Hilbert Transform (QHT) as a unitary phase operator based on the Quantum Fourier Transform. Using this construction, we develop a QHT-based quantum steganography scheme that embeds classical bits as weak signed phase perturbations of quantum cover states. Bob recovers the hidden message through binary state discrimination, block aggregation, and classical error-correcting decoding.
Read the full abstract

Quantum Physics

Few-Body Decay Dynamics in Colloidal CsPbI3 Quantum-Dot Clusters

Colloidal perovskite quantum dots combine bright emission with the ability to self- assemble into closely spaced structures, enabling radiative dynamics to be studied from isolated emitters to few-dot clusters. Here, we characterize CsPbI3 perovskite quan- tum dots from isolated emitters to self-assembled clusters containing up to ten dots. We estimate the number of emitters in each cluster using a combination of photon autocorrelation, blinking statistics, and emission brightness. Compared with isolated dots, clusters containing two or more emitters exhibit biexponential decay, with a short lifetime that decreases with emitter number and an additional long-lived component. Photon-correlation Fourier spectroscopy shows that the single-dot emission remains far from the lifetime-limited regime. Nevertheless, we observe emitter-number-dependent decay dynamics even in this low-coherence regime. Together, these measurements es- tablish self-assembled perovskite quantum-dot clusters as a platform for studying how collective optical behavior emerges between the single-emitter and ensemble limits
Read the full abstract

All authors Emma Daggett, Christian M. Lange, Nicholas Favate, Ankit Kundu, Ishita Agarwal, Arya D. Keni, Adhyyan S. Mansukhani, Christina W. Li, Libai Huang, Jonathan D. Hood

Quantum Physics

Riemannian optimization for linear optical problems

Many applications of linear optics in quantum science involve searching for some optimal configuration of a multiport interferometer. For example, to find heralded state preparations, one can optimize the interferometer to maximize the fidelity and success probability of the state preparation. In this paper, we derive a closed analytical formula for the Riemannian gradient of any differentiable function defined over the interferometer unitaries. We use this gradient in Riemannian optimization algorithms, such as gradient descent or BFGS, to find the optimal setup of the interferometer. As an interesting use case, we search for linear optical state preparations, improving some of the success probabilities reported in the literature for NOON or photon catalysis preparations. Finally, we show that our optimizer is orders of magnitude faster than other methods in the literature, opening the door for solving linear optical problems involving more modes and photons.
Read the full abstract

Quantum Physics

Measurement-induced remote activation of nonclassicality

Nonclassicality, defined through nonpositivity of quasiprobability distributions such as the Wigner and Kirkwood-Dirac distributions, underlies key quantum advantages. We show that it can be remotely activated: local measurements by a correlated partner alone can drive a party whose reduced state is classical into a genuinely nonclassical conditional state. For two-qubit systems we obtain closed forms for the maximal single-branch effect and for its probability-weighted average under the best two-outcome projective measurement, the latter proven optimal over all measurements when the shared state carries no local bias. Local noise on the steered party, evaluated relative to its own noise-updated reference basis, can enhance the effect when non-unital and misaligned with that party's axis, whereas no unital channel ever helps. This nonclassicality is shown to unlock, for the same reference observable, anomalous weak values unavailable to the unsteered state under arbitrary postselection. An exactly solvable hybrid qubit-oscillator model shows the same mechanism generates Wigner negativity. These results identify measurement-induced steering as an operational resource for remotely activating nonclassicality.
Read the full abstract

Quantum Physics

Quantifying Margenau–Hill Nonclassicality

Quasiprobability distributions offer a useful way of describing nonclassical features of quantum systems through their departure from classical probability theory. In this work, we investigate the quantification of nonclassicality associated with the Margenau–Hill quasiprobability (MHQ) distribution using its moments, without requiring reconstruction of the full distribution. First we introduce the logarithmic MHQ negativity as a quantifier of nonclassicality, and then derive a hierarchy of rigorous lower bounds in terms of low-order moments. Within the resulting hierarchy, the fourth-moment bound is the strongest among the bounds based on even moments. For qubits, we further derive a tight upper bound on the exact MHQ negativity and identify the corresponding extremal state. We also obtain an optimal positivity threshold based on the fourth moment for arbitrary pairs of qubit observables. Finally, we show that the relevant moments admit exact multicopy representations, providing a route to their estimation using interferometry or classical shadow techniques. Our results establish a moment-based framework for extracting quantitative information about MHQ negativity from a finite set of low-order observables.
Read the full abstract