QUROPE Quantum Information Processing and Communication in Europe

There exist two types of universality in measurement-based quantum computation (MBQC): ${\it strict}$ and ${\it computational}$ universalities. It is well known that the former is stronger than the latter. In this paper, we give a method of transforming from a certain type of computationally-universal MBQC to the strictly-universal one. Our method simply replaces a single qubit in a resource state with a Pauli-$Y$ eigenstate. We apply our method to show that hypergraph states can be made strictly universal with only Pauli measurements, while only computationally-universal hypergraph states were known so far.

The effective dynamics of a system interacting with a bath or environment is presented in two ways, (1) the (LGKS) replacement of the von Neuman equation for the density matrix and (2) the Feynman-Vernon path-integral derivation, by integrating out the bath degree of freedom, to arrive at a system's density matrix. In this paper, I connect the two methods by deriving a Lindbladian in a mechanical example, a point particle interacting with a bath of harmonic oscillators, previously considered by Feynman and Vernon (FV) and expounded on later by Caldeira and Leggett (CL). But the (FV)/(CL) results only in non-Markov effect, memory terms from the bath interaction. To derive a Lindbladian, I changed the interaction term they considered to take into account the point particle interacting with the bath harmonic oscillators to something more realistic. From the resulting path-integral expression of the system's propagator for the density matrix, the Lindbladian and non-Markov terms are read for this simple problem. I also point out the causes of these terms, the Markov Lindbladian from the very local interaction of the point particle with the classical solutions of the harmonic oscillator and the non-Markov term from the global interaction of the point particle with the fluctuation of the classical solutions.

We address the problem of coherent state discrimination in the presence of phase diffusion. We investigate the role of the hybrid near-optimum receiver (HYNORE) we proposed in [J. Opt. Soc. Am. B 40, 705-714 (2023)] in the task of mitigating the noise impact. We prove the HYNORE to be a robust receiver, outperforming the displacement photon-number-resolving (DPNR) receiver and beating the standard quantum limit in particular regimes. We introduce the maximum tolerable phase noise $\sigma_{\mathrm{max}}$ as a figure of merit for the receiver robustness and show that HYNORE increases its value with respect to the DPNR receiver.

The momentum space associated with "tachyonic particles" proves to be rather intricate, departing very much from the ordinary dual to Minkowski space directly parametrized by space-time translations of the Poincar\'e group. In fact, although described by the constants of motion (Noether invariants) associated with space-time translations, they depend non-trivially on the parameters of the rotation subgroup. However, once the momentum space is parametrized by the Noether invariants, it behaves exactly as that of ordinary particles. On the other hand, the evolution parameter is no longer the one associated with time translation, whose Noether invariant, $P_o$, is now a basic one. Evolution takes place in a spatial direction. These facts not only make difficult the computation of the corresponding representation, but also force us to a sound revision of several traditional ingredients related to Cauchy hypersurface, scalar product and, of course, causality. After that, the theory becomes consistent and could shed new light on some special physical situations like inflation or traveling inside a black hole.

Systems of coupled optical parametric oscillators (OPOs) forming an Ising machine are emerging as large-scale simulators of the Ising model. The advances in computer science and nonlinear optics have triggered not only the physical realization of hybrid (electro-optical) or all-optical Ising machines, but also the demonstration of quantum-inspired algorithms boosting their performances. To date, the use of the quantum nature of parametrically generated light as a further resource for computation represents a major open issue. A key quantum feature is the non-Gaussian character of the system state across the oscillation threshold. In this paper, we perform an extensive analysis of the emergence of non-Gaussianity in the single quantum OPO with an applied external field. We model the OPO by a Lindblad master equation, which is numerically solved by an ab initio method based on exact diagonalization. Non-Gaussianity is quantified by means of three different metrics: Hilbert-Schmidt distance, quantum relative entropy, and photon distribution. Our findings reveal a nontrivial interplay between parametric drive and applied field: (i) Increasing pump monotonously enhances non-Gaussianity, and (ii) Increasing field first sharpens non-Gaussianity, and then restores the Gaussian character of the state when above a threshold value.

In the present paper we construct a properly defined quantum state expressed in terms of elliptic Jacobi theta functions for the self-adjoint observables angular position $\theta$ and the corresponding angular momentum operator $L = -id/d\theta$. The quantum uncertainties $\Delta \theta$ and $\Delta L$ for the state are well-defined and are, e.g., shown to give a lower value of the uncertainty product $\Delta \theta \Delta L$ than the minimal uncertainty states of Ref.\cite{Padgett_2004}. The mean value $< L >$ of the state is not required to be an integer. In the case of any half-integer mean value $< L >$ the state constructed exhibits a remarkable critical behavior with upper and lower bounds $\Delta \theta < \sqrt{\pi^2/3 -2}$ and $\Delta L > 1/2$.

Symmetry-breaking quantum phase transitions lead to the production of topological defects or domain walls in a wide range of physical systems. In second-order transitions, these exhibit universal scaling laws described by the Kibble-Zurek mechanism, but for first-order transitions a similarly universal approach is still lacking. Here we propose a spinor Bose-Einstein condensate as a testbed system where critical scaling behavior in a first-order quantum phase transition can be understood from generic properties. We generalize the Kibble-Zurek mechanism to determine the critical exponents for: (1) the onset of the decay of the metastable state on short times scales, and (2) the number of resulting phase-separated ferromagnetic domains at longer times, as a one-dimensional spin-1 condensate is ramped across a first-order quantum phase transition. The predictions are in excellent agreement with mean-field numerical simulations and provide a paradigm for studying the decay of metastable states in experimentally accessible systems.

Activation of genuine multipartite entanglement (GME) is a phenomenon whereby multiple copies of biseparable but fully inseparable states can be GME. This was shown to be generically possible in finite dimensions. Here, we extend this analysis to infinite dimensions. We provide examples of GME-activatable non-Gaussian states. For Gaussian states we employ a necessary biseparability criterion for the covariance matrix (CM) and show that it cannot detect GME activation. We further identify fully inseparable Gaussian states that satisfy the criterion but show that multiple and, in some cases, even single copies are GME. Thus, we show that the CM biseparability criterion is not sufficient even for Gaussian states.

We analyze in detail a procedure of entangling of two singlet-triplet ($S$-$T_{0}$) qubits operated in a regime when energy associated with the magnetic field gradient, $\Delta B_{z}$, is an order of magnitude smaller than the exchange energy, $J$, between singlet and triplet states [Shulman M. et al., Science 336, 202 (2012)]. We have studied theoretically a single $S$-$T_{0}$ qubit in free induction decay and spin echo experiments. We have obtained analytical expressions for time dependence of components of its Bloch vector for quasistatical fluctuations of $\Delta B_{z}$ and quasistatical or dynamical $1/f^{\beta}$-type fluctuations of $J$. We have then considered the impact of fluctuations of these parameters on the efficiency of the entangling procedure which uses an Ising-type coupling between two $S$-$T_{0}$ qubits. Particularly, we have obtained an analytical expression for evolution of two qubits affected by $1/f^{\beta}$-type fluctuations of $J$. This expression indicates the maximal level of entanglement that can be generated by performing the entangling procedure. Our results deliver also an evidence that in the above-mentioned experiment, the $S$-$T_{0}$ qubits were affected by uncorrelated $1/f^{\beta}$ charge noises.

In the wake of recent progress on quantum computing hardware, the National Institute of Standards and Technology (NIST) is standardizing cryptographic protocols that are resistant to attacks by quantum adversaries. The primary digital signature scheme that NIST has chosen is CRYSTALS-Dilithium. The hardness of this scheme is based on the hardness of three computational problems: Module Learning with Errors (MLWE), Module Short Integer Solution (MSIS), and SelfTargetMSIS. MLWE and MSIS have been well-studied and are widely believed to be secure. However, SelfTargetMSIS is novel and, though classically as hard as MSIS, its quantum hardness is unclear. In this paper, we provide the first proof of the hardness of SelfTargetMSIS via a reduction from MLWE in the Quantum Random Oracle Model (QROM). Our proof uses recently developed techniques in quantum reprogramming and rewinding. A central part of our approach is a proof that a certain hash function, derived from the MSIS problem, is collapsing. From this approach, we deduce a new security proof for Dilithium under appropriate parameter settings. Compared to the only other rigorous security proof for a variant of Dilithium, Dilithium-QROM, our proof has the advantage of being applicable under the condition q = 1 mod 2n, where q denotes the modulus and n the dimension of the underlying algebraic ring. This condition is part of the original Dilithium proposal and is crucial for the efficient implementation of the scheme. We provide new secure parameter sets for Dilithium under the condition q = 1 mod 2n, finding that our public key sizes and signature sizes are about 2.5 to 2.8 times larger than those of Dilithium-QROM for the same security levels.

We derive shortcuts to adiabaticity maximizing population transfer in a three-level $\Lambda$ quantum system, using the spin to spring mapping to formulate the corresponding optimal control problem on the simpler system of a classical driven dissipative harmonic oscillator. We solve the spring optimal control problem and obtain analytical expressions for the impulses, the durations of the zero control intervals and the singular control, which are the elements composing the optimal pulse sequence. We also derive suboptimal solutions for the spring problem, one with less impulses than the optimal and others with smoother polynomial controls. We then apply the solutions derived for the spring system to the original system, and compare the population transfer efficiency with that obtained for the original system using numerical optimal control. For all dissipation rates used, the efficiency of the optimal spring control approaches that of the numerical optimal solution for longer durations, with the approach accomplished earlier for smaller decay rates. The efficiency achieved with the suboptimal spring control with less impulses is very close to that of the optimal spring control in all cases, while that obtained with polynomial controls lies below, and this is the price paid for not using impulses, which can quickly build a nonzero population in the intermediate state. The analysis of the optimal solution for the classical driven dissipative oscillator is not restricted to the system at hand but can also be applied in the transport of a coherent state trapped in a moving harmonic potential and the transport of a mesoscopic object in stochastic thermodynamics.

We use Quantum Imaginary Time Evolution (QITE) to solve polynomial unconstrained binary optimization (PUBO) problems. We show that a linear Ansatz yields good results for a wide range of PUBO problems, often outperforming standard classical methods, such as the Goemans-Williamson (GW) algorithm. We obtain numerical results for the Low Autocorrelation Binary Sequences (LABS) and weighted MaxCut combinatorial optimization problems, thus extending an earlier demonstration of successful application of QITE on MaxCut for unweighted graphs. We find the performance of QITE on the LABS problem with a separable Ansatz comparable with p=10 QAOA, and do not see a significant advantage with an entangling Ansatz. On weighted MaxCut, QITE with a separable Ansatz often outperforms the GW algorithm on graphs up to 150 vertices.

We present an experimentally study of the dissociative excitation in collision of helium ions with nitrogen and oxygen molecules for collision energy of $0.7-10$ keV. Absolute emission cross sections is measured and reported for the most nitrogen and oxygen atomic and ionic lines in wide, vacuum ultraviolet ($80-130$ nm) and visible ($380-800$ nm), spectral region. The striking similarities of processes realized in He$^{+}+$N$_{2}$ and He$^{+}+$O$_{2}$ collision system are observed. We present polarization measurements for He$^{+}+$N$_{2}$ collision system. Emission of excited dissociative products was detected with the improved method of high-resolution optical spectroscopy. This device is incorporated with the retarding potential method and a high resolution electrostatic energy analyzer to measure precisely the energy of incident particles and the energy of dispersion. The improvement of an optics resolution allows us to measure the cross section on the order of 10$^{-19}$ cm$^{2}$ or lower.

We develop a new $\mathcal{PT}$-symmetric approach for mapping three pure qubit states, implement it by the dilation method, and demonstrate it with a superconducting quantum processor provided by the IBM Quantum Experience. We derive exact formulas for the population of the post-selected $\mathcal{PT}$-symmetric subspace and show consistency with the Hermitian case, conservation of average projections on reference vectors, and Quantum Fisher Information. When used for discrimination of $N = 2$ pure states, our algorithm gives an equivalent result to the conventional unambiguous quantum state discrimination. For $N = 3$ states, our approach provides novel properties unavailable in the conventional Hermitian case and can transform an arbitrary set of three quantum states into another arbitrary set of three states at the cost of introducing an inconclusive result. For the QKD three-state protocol, our algorithm has the same error rate as the conventional minimum error, maximum confidence, and maximum mutual information strategies. The proposed method surpasses its Hermitian counterparts in quantum sensing using non-MSE metrics, providing an advantage for precise estimations within specific data space regions and improved robustness to outliers. Applied to quantum database search, our approach yields a notable decrease in circuit depth in comparison to traditional Grover's search algorithm while maintaining the same average number of oracle calls, thereby offering significant advantages for NISQ computers. Additionally, the versatility of our method can be valuable for the discrimination of highly non-symmetric quantum states, and quantum error correction. Our work unlocks new doors for applying $\mathcal{PT}$-symmetry in quantum communication, computing, and cryptography.

We investigate the phases and phase transitions of the disordered Haldane model in the presence of on-site disorder. We use the real-space Chern marker and transfer matrices to extract critical exponents over a broad range of parameters. The disorder-driven transitions are consistent with the plateau transitions in the Integer Quantum Hall Effect (IQHE), in conformity with recent simulations of disordered Dirac fermions. Our numerical findings are compatible with an additional line of mass-driven transitions with a continuously varying correlation length exponent. The values interpolate between free Dirac fermions and the IQHE with increasing disorder strength. We also show that the fluctuations of the Chern marker exhibit a power-law divergence in the vicinity of both sets of transitions, yielding another varying exponent. We discuss the interpretation of these results.

As the size of quantum hardware progressively increases, the conjectured computational advantages of quantum technologies tend to be threatened by noise, which randomly corrupts the design of quantum logical gates. Several methods already exist to reduce the impacts of noise on that matter. However, a reliable and user-friendly one to reduce the noise impact has not been presented yet. Addressing this issue, this paper proposes a relevant method based on evolutionary optimisation and modulation of the gate design. This method consists of two parts : a model of quantum gate design with time-dependent noise terms, parameterised by a vector of laser phases, and an evolutionary optimisation platform aimed at satisfying a trade-off between the gate fidelity and a pulse duration-related metric of the time consuming simulation model. This feature is the main novelty of this work. Another advantage is the ability to treat any noise spectrum, regardless of its characteristics (e.g., variance, frequency range, etc). A thorough validation of the method is presented, which is based on empirical averaging of random gate trajectories. It is shown that evolutionary based method is successfully applied for noise mitigation. It is expected that the proposed method will help designing more and more noise-resisting quantum gates.

The LiFr diatomic represents a promising candidate for indirect laser cooling that has not yet been investigated not theoretically or experimentally. The potential energy curves of the ground and low_lying excited states of the LiFr heteronuclear alkali metal dimer are calculated using the Fock_space relativistic coupled cluster theory for the first time. A number of properties such as the electronic term energies, equilibrium internuclear distances, transition and permanent dipole moments, sequences of vibrational energies, harmonic vibrational frequencies, Franck_Condon factors, and radiative lifetimes (including bound and free transitions) are predicted. The probabilities of the two_step schemes (optical cycles) for the transfer process of the LiFr molecules from high excited vibrational states to the ground vibronic state are also predicted. The data obtained would be useful for laser cooling and spectral experiments with LiFr molecules.

We consider a two-level system with a fixed energy spacing (detuning) between the two levels and a single transverse control field which can take values between zero and a maximum amplitude. Using Pontryagin's maximum principle, we completely solve the problem of generating in minimum time a uniform superposition of the two quantum states when starting from one of them, for all the values of the ratio between the maximum control amplitude and the detuning. For each value of this ratio we find the optimal pulse sequence to have the bang-bang form, and calculate the durations of the pulses composing it. The suggested framework is not only restricted to the problem at hand, but it can be also exploited in the problem of fast charging a quantum battery based on a two-level system, as well as for the optimization of pulse-sequences used for the controlled preparation of the excited state in a quantum emitter, which is a prerequisite for its usage as a single-photon source.

We study the problem of universality in the anyon model described by the $SU(2)$ Witten-Chern-Simons theory at level $k$. A classic theorem of Freedman-Larsen-Wang states that for $k \geq 3, \ k \neq 4$, braiding of the anyons of topological charge $1/2$ is universal for topological quantum computing. For the case of one qubit, we prove a stronger result that double-braiding of such anyons alone is already universal.

We study operator - or noncommutative - variants of constraint satisfaction problems (CSPs). These higher-dimensional variants are a core topic of investigation in quantum information, where they arise as nonlocal games and entangled multiprover interactive proof systems (MIP*). The idea of higher-dimensional relaxations of CSPs is also important in the classical literature. For example since the celebrated work of Goemans and Williamson on Max-Cut, higher dimensional vector relaxations have been central in the design of approximation algorithms for classical CSPs.

We introduce a framework for designing approximation algorithms for noncommutative CSPs. Prior to this work Max-$2$-Lin$(k)$ was the only family of noncommutative CSPs known to be efficiently solvable. This work is the first to establish approximation ratios for a broader class of noncommutative CSPs.

In the study of classical CSPs, $k$-ary decision variables are often represented by $k$-th roots of unity, which generalise to the noncommutative setting as order-$k$ unitary operators. In our framework, using representation theory, we develop a way of constructing unitary solutions from SDP relaxations, extending the pioneering work of Tsirelson on XOR games. Then, we introduce a novel rounding scheme to transform these solutions to order-$k$ unitaries. Our main technical innovation here is a theorem guaranteeing that, for any set of unitary operators, there exists a set of order-$k$ unitaries that closely mimics it. As an integral part of the rounding scheme, we prove a random matrix theory result that characterises the distribution of the relative angles between eigenvalues of random unitaries using tools from free probability.