Source author record

Michał Oszmaniec

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

17 published item(s)

preprint2026arXiv

Tight bounds on recurrence time in closed quantum systems

The evolution of an isolated quantum system inevitably exhibits recurrence: the state returns to the vicinity of its initial condition after finite time. Despite its fundamental nature, a rigorous quantitative understanding of recurrence has been lacking. We establish upper bounds on the recurrence time, $t_{\mathrm{rec}} \lesssim t_{\mathrm{exit}}(ε)(1/ε)^d$, where $d$ is the Hilbert-space dimension, $ε$ the neighborhood size, and $t_{\mathrm{exit}}(ε)$ the escape time from this neighborhood. For pure states evolving under a Hamiltonian $H$, estimating $t_{\mathrm{exit}}$ is equivalent to an inverse quantum speed limit problem: finding upper bounds on the time a time-evolved state $ψ_t$ needs to depart from the $ε$-vicinity of the initial state $ψ_0$. We provide a partial solution, showing that under mild assumptions $t_{\mathrm{exit}}(ε) \approx ε/\sqrt{ Δ(H^2)}$, with $Δ(H^2)$ the Hamiltonian variance in $ψ_0$. We show that our upper bound on $t_{\mathrm{rec}}$ is generically saturated for random Hamiltonians. Finally, we analyze the impact of coherence of the initial state in the eigenbasis of $H$ on recurrence behavior.

preprint2021arXiv

Fermion Sampling: a robust quantum computational advantage scheme using fermionic linear optics and magic input states

Fermionic Linear Optics (FLO) is a restricted model of quantum computation which in its original form is known to be efficiently classically simulable. We show that, when initialized with suitable input states, FLO circuits can be used to demonstrate quantum computational advantage with strong hardness guarantees. Based on this, we propose a quantum advantage scheme which is a fermionic analogue of Boson Sampling: Fermion Sampling with magic input states. We consider in parallel two classes of circuits: particle-number conserving (passive) FLO and active FLO that preserves only fermionic parity and is closely related to Matchgate circuits introduced by Valiant. Mathematically, these classes of circuits can be understood as fermionic representations of the Lie groups $U(d)$ and $SO(2d)$. This observation allows us to prove our main technical results. We first show anticoncentration for probabilities in random FLO circuits of both kind. Moreover, we prove robust average-case hardness of computation of probabilities. To achieve this, we adapt the worst-to-average-case reduction based on Cayley transform, introduced recently by Movassagh, to representations of low-dimensional Lie groups. Taken together, these findings provide hardness guarantees comparable to the paradigm of Random Circuit Sampling. Importantly, our scheme has also a potential for experimental realization. Both passive and active FLO circuits are relevant for quantum chemistry and many-body physics and have been already implemented in proof-of-principle experiments with superconducting qubit architectures. Preparation of the desired quantum input states can be obtained by a simple quantum circuit acting independently on disjoint blocks of four qubits and using 3 entangling gates per block. We also argue that due to the structured nature of FLO circuits, they can be efficiently certified.

preprint2020arXiv

Classical simulation of linear optics subject to nonuniform losses

We present a comprehensive study of the impact of non-uniform, i.e.\ path-dependent, photonic losses on the computational complexity of linear-optical processes. Our main result states that, if each beam splitter in a network induces some loss probability, non-uniform network designs cannot circumvent the efficient classical simulations based on losses. To achieve our result we obtain new intermediate results that can be of independent interest. First, we show that, for any network of lossy beam-splitters, it is possible to extract a layer of non-uniform losses that depends on the network geometry. We prove that, for every input mode of the network it is possible to commute $s_i$ layers of losses to the input, where $s_i$ is the length of the shortest path connecting the $i$th input to any output. We then extend a recent classical simulation algorithm due to P. Clifford and R. Clifford to allow for arbitrary $n$-photon input Fock states (i.e. to include collision states). Consequently, we identify two types of input states where boson sampling becomes classically simulable: (A) when $n$ input photons occupy a constant number of input modes; (B) when all but $O(\log n)$ photons are concentrated on a single input mode, while an additional $O(\log n)$ modes contain one photon each.

preprint2020arXiv

Mitigation of readout noise in near-term quantum devices by classical post-processing based on detector tomography

We propose a simple scheme to reduce readout errors in experiments on quantum systems with finite number of measurement outcomes. Our method relies on performing classical post-processing which is preceded by Quantum Detector Tomography, i.e., the reconstruction of a Positive-Operator Valued Measure (POVM) describing the given quantum measurement device. If the measurement device is affected only by an invertible classical noise, it is possible to correct the outcome statistics of future experiments performed on the same device. To support the practical applicability of this scheme for near-term quantum devices, we characterize measurements implemented in IBM's and Rigetti's quantum processors. We find that for these devices, based on superconducting transmon qubits, classical noise is indeed the dominant source of readout errors. Moreover, we analyze the influence of the presence of coherent errors and finite statistics on the performance of our error-mitigation procedure. Applying our scheme on the IBM's 5-qubit device, we observe a significant improvement of the results of a number of single- and two-qubit tasks including Quantum State Tomography (QST), Quantum Process Tomography (QPT), the implementation of non-projective measurements, and certain quantum algorithms (Grover's search and the Bernstein-Vazirani algorithm). Finally, we present results showing improvement for the implementation of certain probability distributions in the case of five qubits.

preprint2019arXiv

Operational foundations of complementarity and uncertainty relations

The so-called preparation uncertainty can be understood in purely operational terms. Namely, it occurs when for some pair of observables, there is no preparation, for which they both exhibit deterministic statistics. However, the right-hand side of uncertainty relation is generally not operational as it depends on the quantum formalism. Also, while joint non-measurability of observables is an operational notion, the complementarity in Bohr sense (i.e. excess of information needed to describe the system) has not yet been expressed in purely operational terms. In this paper we propose a solution to these problems, by introducing an operational definition for complementarity, and further postulating uncertainty as a necessary price for complementarity in physical theories. In other words, we propose to put the (operational) complementarity as the right-hand side of uncertainty relation. Concretely, we first identify two different notions of uncertainty and complementarity for which the above principle holds in quantum mechanics. We also introduce postulates for the general measures of uncertainty and complementarity. In order to define quantifiers of complementarity we first turn to the simpler notion of independence that is defined solely in terms of statistics two observables. We also use our framework to define new complementarity indicators based on (i) performance of random access codes, (ii) geometrical properties of the body of observed statistics, and (iii) variation of information. We then show that they can be used to state uncertainty relations. Moreover, we show that non-signaling and uncertainty relation expressed by complementarity of type (ii) leads to the Tsirelson bound for CHSH inequality. Lastly, we show that a variant of Information Causality called Information Content Principle, can be interpreted as uncertainty relation in the above sense.

preprint2016arXiv

Creation of superposition of unknown quantum states

The superposition principle is one of the landmarks of quantum mechanics. The importance of quantum superpositions provokes questions about the limitations that quantum mechanics itself imposes on the possibility of their generation. In this work we systematically study the problem of creation of superpositions of unknown quantum states. First, we prove a no-go theorem that forbids the existence of a universal probabilistic quantum protocol producing a superposition of two unknown quantum states. Secondly, we provide an explicit probabilistic protocol generating a superposition of two unknown states, each having a fixed overlap with the known referential pure state. The protocol is proven to be unique and optimal. Moreover, it can be implemented on arbitrary Hilbert spaces. In the context of quantum optics it can be used to efficiently generate highly nonclassical or nongaussian states.

preprint2015arXiv

Communication strength of correlations violating monogamy relations

In any theory satisfying the no-signaling principle correlations generated among spatially separated parties in a Bell-type experiment are subject to certain constraints known as monogamy relations. Recently, in the context of the black hole information loss problem it was suggested that these monogamy relations might be violated. This in turn implies that correlations arising in such a scenario must violate the no-signaling principle and hence can be used to send classical information between parties. Here, we study the amount of information that can be sent using such correlations. To this aim, we first provide a framework associating them with classical channels whose capacities are then used to quantify the usefulness of these correlations in sending information. Finally, we determine the minimal amount of information that can be sent using signaling correlations violating the monogamy relation associated to the chained Bell inequalities.

preprint2014arXiv

Applications of differential geometry and representation theory to description of quantum correlations

One of the most important questions in quantum information theory is the so-called separability problem. It involves characterizing the set of separable (or, equivalently entangled) states among mixed states of a multipartite quantum system. In this thesis we study the generalization of this problem to types of quantum correlations that are defined in a manner analogous to entanglement. We start with the subset of set of pure states of a given quantum system and call states belonging to the convex hull of this subset "non-correlated" states. Consequently, the states laying outside the convex hull are referred to as "correlated". In this work we focus on cases when there exist a symmetry group that preserves the class of "non-correlated" pure states. The presence of symmetries allows to obtain a unified treatment of many types of seemingly unrelated types of correlations. We apply our general results to particular types of correlations: (i) entanglement of distinguishable particles, (ii) particle entanglement of bosons, (iii) "entanglement" of fermions, (iv) non-convex-Gaussian correlations in fermionic systems, (v) genuine multiparty entanglement, and finally (vi) refined notions of bipartite entanglement based on the concept of the Schmidt number. We investigate the natural problems and questions concerning the correlations defined above: (I) We provide explicit polynomial characterization of various types of correlations for pure states. (II) We examine cases in which it is possible to give a complete analytical characterization of correlated mixed states. (III) We derive a variety of polynomial criteria for detection of correlations in mixed states.(IV) We use the above criteria and the technique of measure concentration to study typical properties of correlations on sets of isospectral density matrices.

preprint2014arXiv

Classical simulation of fermionic linear optics augmented with noisy ancillas

Fermionic linear optics is a model of quantum computation which is efficiently simulable on a classical probabilistic computer. We study the problem of a classical simulation of fermionic linear optics augmented with noisy auxiliary states. If the auxiliary state can be expressed as a convex combination of pure Fermionic Gaussian states, the corresponding computation scheme is classically simulable. We present an analytic characterisation of the set of convex-Gaussian states in the first non-trivial case, in which the Hilbert space of the ancilla is a four-mode Fock space. We use our result to solve an open problem recently posed by De Melo et al. and to study in detail the geometrical properties of the set of convex-Gaussian states.

preprint2014arXiv

Fraction of isospectral states exhibiting quantum correlations

For several types of correlations: mixed-state entanglement in systems of distinguishable particles, particle entanglement in systems of indistinguishable bosons and fermions and non-Gaussian correlations in fermionic systems we estimate the fraction of non-correlated states among the density matrices with the same spectra. We prove that for the purity exceeding some critical value (depending on the considered problem) fraction of non-correlated states tends to zero exponentially fast with the dimension of the relevant Hilbert space. As a consequence a state randomly chosen from the set of density matrices possessing the same spectra is asymptotically a correlated one. To prove this we developed a systematic framework for detection of correlations via nonlinear witnesses.

preprint2014arXiv

Which multiphoton states are related via linear optics?

We investigate which pure states of $n$ photons in $d$ modes can be transformed into each other via linear optics, without post-selection. In other words, we study the local unitary (LU) equivalence classes of symmetric many-qudit states. Writing our state as $f^\dagger|Ω\rangle$, with $f^\dagger$ a homogeneous polynomial in the mode creation operators, we propose two sets of LU-invariants: (a) spectral invariants, which are the eigenvalues of the operator $ff^\dagger$, and (b) moments, each given by the norm of the symmetric component of a tensor power of the initial state, which can be computed as vacuum expectation values of $f^k(f^\dagger)^k$. We provide scheme for experimental measurement of the later, as related to the post-selection probability of creating state $f^{\dagger k}|Ω\rangle$ from $k$ copies of $f^{\dagger}|Ω\rangle$.

preprint2013arXiv

A universal framework for entanglement detection

We construct nonlinear multiparty entanglement measures for distinguishable particles, bosons and fermions. In each case properties of an entanglement measures are related to the decomposition of the suitably chosen representation of the relevant symmetry group onto irreducible components. In the case of distinguishable particles considered entanglement measure reduces to the well-known many particle concurrence. We prove that our entanglement criterion is sufficient and necessary for pure states living in both finite and infinite dimensional spaces. We generalize our entanglement measures to mixed states by the convex roof extension and give a non trivial lower bound of thus obtained generalized concurrence.

preprint2013arXiv

Convexity of momentum map, Morse index, and quantum entanglement

We analyze form the topological perspective the space of all SLOCC (Stochastic Local Operations with Classical Communication) classes of pure states for composite quantum systems. We do it for both distinguishable and indistinguishable particles. In general, the topology of this space is rather complicated as it is a non-Hausdorff space. Using geometric invariant theory (GIT) and momentum map geometry we propose a way to divide the space of all SLOCC classes into mathematically and physically meaningful families. Each family consists of possibly many `asymptotically' equivalent SLOCC classes. Moreover, each contains exactly one distinguished SLOCC class on which the total variance (a well defined measure of entanglement) of the state Var[v] attains maximum. We provide an algorithm for finding critical sets of Var[v], which makes use of the convexity of the momentum map and allows classification of such defined families of SLOCC classes. The number of families is in general infinite. We introduce an additional refinement into finitely many groups of families using the recent developments in the momentum map geometry known as Ness stratification. We also discuss how to define it equivalently using the convexity of the momentum map applied to SLOCC classes. Moreover, we note that the Morse index at the critical set of the total variance of state has an interpretation of number of non-SLOCC directions in which entanglement increases and calculate it for several exemplary systems. Finally, we introduce the SLOCC-invariant measure of entanglement as a square root of the total variance of state at the critical point and explain its geometric meaning.

preprint2013arXiv

Critical sets of the total variance of state detect all SLOCC entanglement classes

We present a general algorithm for finding all classes of pure multiparticle states equivalent under Stochastic Local Operations and Classsical Communication (SLOCC). We parametrize all SLOCC classes by the critical sets of the total variance function. Our method works for arbitrary systems of distinguishable and indistinguishable particles. We also discuss the Morse indices of critical points which have the interpretation of the number of independent non-local perturbations increasing the variance and hence entanglement of a state. We illustrate our method by two examples.

preprint2013arXiv

How many invariant polynomials are needed to decide local unitary equivalence of qubit states?

Given L-qubit states with the fixed spectra of reduced one-qubit density matrices, we find a formula for the minimal number of invariant polynomials needed for solving local unitary (LU) equivalence problem, that is, problem of deciding if two states can be connected by local unitary operations. Interestingly, this number is not the same for every collection of the spectra. Some spectra require less polynomials to solve LU equivalence problem than others. The result is obtained using geometric methods, i.e. by calculating the dimensions of reduced spaces, stemming from the symplectic reduction procedure.