arXiv subjects

Michał Kotowski

Publications and source records attributed to Michał Kotowski.

8 recordsLinked to original sources

arXiv2026

Randomized simulation of quantum channels using small ancilla

We study the problem of implementing a quantum channel using a small ancilla with classical randomization and postselection on an output failure flag. The simulation is probabilistic, but exact conditioned on success. We prove that any unital channel on a $d$-dimensional system can be simulated with ancilla dimension $k$ and success probability $Ω(\frac{k}{\log d})$. Equivalently, every unital channel on $n$ qubits can be simulated with constant success probability using only $O(\log n)$ ancillary qubits. We show that this tradeoff is best possible by constructing a family of channels which cannot be simulated with success probability better than $O(\frac{k}{\log d})$. We also show that the class of \textit{highly noncommutative} channels, which includes random channels, admits constant-success simulation with just a single ancillary qubit. We further show that this model of simulation necessarily fails for strongly non-unital channels and discuss possible extensions involving adaptivity. On the technical side we rely on a partition-based protocol and matrix concentration inequalities, including the recent refinement of noncommutative Khintchine inequalities due to Bandeira, Boedihardjo and van Handel.

quant-ph↗

arXiv2025

Pretty-good simulation of all quantum measurements by projective measurements

In quantum theory general measurements are described by so-called Positive Operator-Valued Measures (POVMs). We show that in $d$-dimensional quantum systems an application of depolarizing noise with constant (independent of $d$) visibility parameter makes any POVM simulable by a randomized implementation of projective measurements that do not require any auxiliary systems to be realized. This result significantly limits the asymptotic advantage that POVMs can offer over projective measurements in various information-processing tasks, including state discrimination, shadow tomography or quantum metrology. We also apply our findings to questions originating from quantum foundations by asymptotically improving the range of visibilities for which noisy pure states of two qudits admit a local model for generalized measurements. As a byproduct, we give asymptotically tight (in terms of dimension) bounds on critical visibility for which all POVMs are jointly measurable. On the technical side we use recent advances in POVM simulation, the solution to the celebrated Kadison-Singer problem, and a method of approximate implementation of nearly projective POVMs by a convex combination of projective measurements, which we call dimension-deficient Naimark theorem. Finally, some of our intermediate results show (on information-theoretic grounds) the existence of circuit-knitting strategies allowing to simulate general $2N$ qubit circuits by randomization of subcircuits operating on $N+1$ qubit systems, with a constant (independent of $N$) probabilistic overhead.

quant-ph↗

arXiv2024

The global and local limit of the continuous-time Mallows process

Continuous-time Mallows processes are processes of random permutations of the set $\{1, \ldots, n\}$ whose marginal at time $t$ is the Mallows distribution with parameter $t$. Recently Corsini showed that there exists a unique Markov Mallows process whose left inversions are independent counting processes. We prove that this process admits a global and a local limit as $n \to \infty$. The global limit, obtained after suitably rescaling space and time, is an explicit stochastic process on $[0,1]$ whose description is based on the permuton limit of the Mallows distribution, analyzed by Starr. The local limit is a process of permutations of $\mathbb{Z}$ which is closely related to the construction of the Mallows distribution on permutations of $\mathbb{Z}$ due to Gnedin and Olshanski. Our results demonstrate an analogy between the asymptotic behavior of Mallows processes and the recently studied limiting properties of random sorting networks.

math.PR↗

arXiv2023

Large deviations for the interchange process on the interval and incompressible flows

We use the framework of permuton processes to show that large deviations of the interchange process are controlled by the Dirichlet energy. This establishes a rigorous connection between processes of permutations and one-dimensional incompressible Euler equations. While our large deviation upper bound is valid in general, the lower bound applies to processes corresponding to incompressible flows, studied in this context by Brenier. These results imply the Archimedean limit for relaxed sorting networks and allow us to asymptotically count such networks.

math.PR↗

arXiv2021

Phase transition for the interchange and quantum Heisenberg models on the Hamming graph

We study a family of random permutation models on the Hamming graph $H(2,n)$ (i.e., the $2$-fold Cartesian product of complete graphs), containing the interchange process and the cycle-weighted interchange process with parameter $θ> 0$. This family contains the random walk representation of the quantum Heisenberg ferromagnet. We show that in these models the cycle structure of permutations undergoes a \textit{phase transition} -- when the number of transpositions defining the permutation is $\leq c n^2$, for small enough $c > 0$, all cycles are microscopic, while for more than $\geq C n^2$ transpositions, for large enough $C > 0$, macroscopic cycles emerge with high probability. We provide bounds on values $C,c$ depending on the parameter $θ$ of the model, in particular for the interchange process we pinpoint exactly the critical time of the phase transition. Our results imply also the existence of a phase transition in the quantum Heisenberg ferromagnet on $H(2,n)$, namely for low enough temperatures spontaneous magnetization occurs, while it is not the case for high temperatures. At the core of our approach is a novel application of the cyclic random walk, which might be of independent interest. By analyzing explorations of the cyclic random walk, we show that sufficiently long cycles of a random permutation are uniformly spread on the graph, which makes it possible to compare our models to the mean-field case, i.e., the interchange process on the complete graph, extending the approach used earlier by Schramm.

math.PR↗

arXiv2019

The interchange process with reversals on the complete graph

We consider an extension of the interchange process on the complete graph, in which a fraction of the transpositions are replaced by `reversals'. The model is motivated by statistical physics, where it plays a role in stochastic representations of $XXZ$-models. We prove convergence to PD($\tfrac12$) of the rescaled cycle sizes, above the critical point for the appearance of macroscopic cycles. This extends a result of Schramm on convergence to PD(1) for the usual interchange process.

math.PR↗

arXiv2018

A note on concentration for polynomials in the Ising model

We present precise multilevel exponential concentration inequalities for polynomials in Ising models satisfying the Dobrushin condition. The estimates have the same form as two-sided tail estimates for polynomials in Gaussian variables due to Latała. In particular, for quadratic forms we obtain a Hanson-Wright type inequality. We also prove concentration results for convex functions and estimates for nonnegative definite quadratic forms, analogous as for quadratic forms in i.i.d. Rademacher variables, for more general random vectors satisfying the approximate tensorization property for entropy.

math.PR↗

arXiv2015

Non-Liouville groups with return probability exponent at most 1/2

We construct a finitely generated group $G$ without the Liouville property such that the return probability of a random walk satisfies $p_{2n}(e,e) \gtrsim e^{-n^{1/2 + o(1)}}$. Recent results suggest that $1/2$ is indeed the smallest possible return probability exponent for non-Liouville groups. Our construction is based on permutational wreath products over tree-like Schreier graphs and the analysis of large deviations of inverted orbits on such graphs.

math.GR↗