arXiv ScienceSearch

arXiv subjects

Pete Rigas

Publications and source records attributed to Pete Rigas.

At least 19 recordsLinked to original sources

Error correction, authentication, and false acceptance, probabilities for communication over noisy quantum channels: converse upper bounds on the bit transmission rate

We obtain strict upper bounds on the bit transmission rate for communication of Classical bit codewords over Quantum channels. Albeit previous arguments in arXiv: 1804.01797 which have demonstrated that lower bounds can be shown to hold for the bit transmission rate without the presence of significant noise over the channel shared by Alice and Bob for the purposes of encoding, decoding, transmission and authentication, the author suggests that upper bounding the bit transmission rate could be of use towards classifying paradoxical aspects of communication protocols, as well as constructing error correcting codes which are resilient to noise. The upper bound that is obtained in this work for the bit transmission rate, as a converse result, is dependent upon the natural logarithm of the size of each player's alphabet, as well as smaller alphabets, which can be leveraged for simultaneously realizing Quantum advantage for maximizing error correction and minimizing false acceptance. Crucially, the upper bound to the bit transmission rate is dependent upon a pruning procedure, which seeks to determine whether letters from player's alphabets can be removed so that prospective Quantum advantage, in order for Alice and Bob to implement error correction protocols with high probability, despite the fact that there is more noise over the channel between Alice and Bob in comparison to that between Bob and Eve.

quant-ph

Optimal, and approximately optimal, quantum strategies for $\mathrm{XOR}^{*}$ and $\mathrm{FFL}$ games

We analyze optimal, and approximately optimal, quantum strategies in two non-local settings based upon previous investigations of the XOR and CHSH games. By building upon previous arguments due to Ostrev in 2016, {\color{blue}[37]}, which characterized approximately optimal, and optimal, strategies that players Alice and Bob can adopt for increasing their respective winning probabilities, we identify additional applications of the framework for analyzing prospective quantum advantage in other game-theoretic settings. In particular, while it is possible for Alice and Bob to realize quantum advantage if they adopt strategies that are dependent upon entanglement, two-dimensional resource systems, and reversible transformations, the magnitude of the duality gap between the performance of classical and quantum strategies has not yet been classified from the perspective of error bounds. Such bounds are not only dependent upon the winning probability if Alice and Bob leverage entanglement in their strategies but also upon a suitably defined representation-theoretic intertwining operation.

quant-ph

Malleability of transformations on the ciphertext in noisy Quantum public key encryption

We characterize a noisy variant of a Quantum public encryption protocol recently introduced by Malavolta and Walter which demonstrated that the notion of everlasting security can be rigorously formulated for Quantum key distribution after two rounds of interaction between Alice and Bob. To address one possible direction of research that is related to injecting noise in the cryptographic protocol related to Quantum key distribution we formulate arguments for further examining the notion of everlasting security through malleability assumptions on transformations of the ciphertext. Assumptions surrounding malleability were introduced by Maurer and Tackmann for the purposes of comparing how authenticate then encrypt, and encrypt then authenticate, protocols behave through a variety of expressions for the forwarding error, deleting error, and reconstruction probabilities. Such probabilities are put to further use for obtaining connections between the indistinguishability and security threshold for a cryptographic protocol of interests. To further build upon such associations we demonstrate, through an adaptation of the Gentle Measurement Lemma from Quantum information theory, how upper bounds on the trace distance can be used to generalize the negligibility function obtained by Malavolta and Walter in the noiseless setting. Besides the fact that the negligibility function in the noisy setting is related to a higher security threshold it continues to remain of interest to determine whether computations provided in this work for upper bounding the trace distance can be related to other settings that are centered more on game-theoretic approaches.

quant-ph

Probability distributions over CSS codes: two-universality, QKD hashing, collision bounds, security

We characterize novel probability distributions for CSS codes. Such classes of error correcting codes, originally introduced by Calderbank, Shor, and Steane, are of great significance in advancing the fidelity of Quantum computation, with implications for future near term applications. Within the context of Quantum key distribution, such codes, as examined by Ostrev in arXiv: 2109.06709 along with two-universal hashing protocols, have greatly simplified Quantum phases of computation for unconditional security. To further examine novel applications of two-universal hashing protocols, particularly through the structure of parity check matrices, we demonstrate how being able to efficiently compute functions of the parity check matrices relates to marginals of a suitably defined probability measure supported over random matrices. The security of the two-universal QKD hashing protocol will be shown to depend upon the computation of purified states of random matrices, which relates to probabilistic collision bounds between two hashing functions. Central to our approach are the introduction of novel real, simulator, and ideal, isometries, hence allowing for efficient computations of functions of the two parity check matrices. As a result of being able to perform such computations involving parity check matrices, the security of the two-universal hashing protocol is a factor of $2^{ \frac{5}{2} ( 5 - \frac{3}{2} ) + \mathrm{log}_2 \sqrt{C}}$ less secure, for some strictly positive constant $C$.

quant-ph

Multiplayer parallel repetition without dependency-breaking and anchoring variables: monotonic, concave amplification

We obtain quantitative estimates on the decay of the multiplayer optimal value under parallel repetition. In comparison to a previous work of the author in 2025 (arXiv: 2508.09380) which sought to generalize dependency-breaking and anchoring variables from two-player Quantum games, being able to establish quantitative estimates on the decay of the optimal value of a multiplayer game under parallel repetition is of interest to establish under different assumptions. Specifically, independently of the dependency-breaking and anchoring variables that have previously been employed to remove correlations from entangled information shared between Alice and Bob (hence removing dependencies), monotonic concave functions can be used in place of such variables to obtain rates of decay on the optimal value. The game-theoretic setting with two players was first analyzed with monotonic concave functions by Lanzenberger and Maurer. For $q_i , x_i > 0$ $\forall 1 \leq i \leq N$ where $N > 0 $ is the total number of players we adddress an open question raised in their work regarding potential generalizations of two-player monotonic concave functions, through amplification functions of the form $Ψ_{\textit{Mult}} \equiv Ψ= N - \underset{1 \leq i \leq N}{\prod} \mathrm{exp} \big[ - q_i x_i \big]$, which in the multiplayer game-theoretic setting have more intricate combinatorial structures.

quant-ph

Quantum inverse scattering for the 20-vertex model up to Dynkin automorphism: 3D Poisson structure, triangular height functions, weak integrability

We initiate a novel application of the quantum inverse scattering method for the 20-vertex model, building upon seminal work from Faddeev and Takhtajan on the study of Hamiltonian systems. In comparison to a previous work of the author in late 2023 which characterized integrability of a Hamiltonian flow for the 6-vertex model from integrability of inhomogeneous limit shapes, formalized in a work of Keating, Reshetikhin and Sridhar, notions similar to those of integrability can be realized for the 20-vertex model by studying new classes of higher-dimensional L-operators. Such L-operators provided by Boos and colleagues have algebraic, combinatorial, and geometric, qualities, all of which impact leading order approximations of correlations, products of L-operators, the transfer matrix, and the quantum monodromy matrix.

math-ph

Quantum Optimality in the Odd-Cycle game: the topological odd-blocker, marked connected components of the giant, consistency of pearls, vanishing homotopy

We characterize optimality of Quantum strategies for the Odd-Cycle game. Separate from other game-theoretic settings, parallel repetition for the Odd-Cycle game is related to the foam problem, which can be formulated through a minimization of the surface area. In comparison to previous works on minimizing the surface area, we quantify how properties of the marked giant connected component can be related to the maximum winning probability using Quantum strategies. Objects that we introduce to formulate such connections include the topological odd-blocker, previous examples of error bounds for other Quantum games that have been formulated by the author, pearls, consistent regions, and the cycle elimination problem.

quant-ph

Eve's forgery probability from her false acceptance probability: interactive authentication, Holevo information and the min-entropy

We obtain estimates for Eve's forgery probability, namely the probability that she is able to forge a message which Alice or Bob mistakenly accept over a noisy Quantum channel for generating a shared Quantum secret key. This probability is related to Eve's success probability obtained in a previous work due to Renner and Wolf, which was obtained from assumptions on the min-entropy for characterizing asymmetric security. To demonstrate that protocols over noisy Quantum channels are dependent upon a single, unified security threshold in comparison to multiple security parameters in the Renner-Wolf interactive authentication protocol framework we upper bound Eve's forgery probability with a Holevo-type quantity that can be made negligibly small. By leveraging estimates for Eve's false acceptance probability that have previously been obtained by the author, we obtain the desired security threshold by bounding the false acceptance probability with a suitably chosen two-universal function which serves as a counterpart to two-universal hashing functions that have previously been examined for cryptographic protocols in Quantum key distribution. As a result the protocol is not only $ε$-secure, for some $ε>0$, but also composable against forgery and key leakage.

quant-ph

Renormalization of crossing probabilities in the dilute Potts model

A recent paper due to Duminil-Copin and Tassion from $2019$ introduces a novel argument for obtaining estimates on horizontal crossing probabilities of the Random-Cluster model, in which a range of four possible behaviors, through a quadrichotomy, is established. Novel renormalization arguments for crossing probabilities that the authors propose are studied in other models of interest that are not self-dual, specifically for the dilute Potts model. The probability measure of this model, through a suitably defined spin representation, is obtained from the high-temperature expansion of the loop $O(n)$ measure. The dilute Potts model was originally introduced in $1991$ by Nienhuis and is another model whose possible range of behaviors can be analyzed through a quadrichotomy; the range of four possible behaviors of the model can be respectively characterized at subcriticality, or supercriticality, in addition to either being critical discontinuous, or critical continuous. The exponential factor that is inserted into the Loop $O(n)$ model to quantify properties of the high-temperature phase is proportional to the summation over all spins, and the number of monochromatically colored triangles over a finite volume, which is in exact correspondence with the parameter of a Boltzmann weight introduced in Nienhuis' paper detailing extensions of the $q$-state Potts model.

math.PR

Scaling limit of the triangular kinetic prudent walk

Expressions for scaling limits of random walks, such as those obtained in several areas of the Probability theory literature, are of great significance in characterizing long term, stationary behavior of random processes. Presumably, in the limit of extremely long periods of time random walks and other stochastic processes including percolation are expected to fall into several \textit{universality classes}; such classes are of great significance in being able to disregard local, microscopic, dynamics, in favor of similar stationary dynamics in the bulk over long times. While several probabilistic models of interest are expected to behave similarly with respect to time, differences in fluctuations of limit shapes, and other stationary profiles, are expected to emerge. Given expressions obtained for the scaling limit of the kinetic prudent walk that have been obtained by Beffara, Friedli, and Velenik, in addition to the scaling limit for the kinetic uniform walk that have been obtained by Petrelis, Sun and Torri, we answer several questions pertaining to limit shapes, for the triangular prudent walk. While one would expect that the kinetic prudent walks, either over the square or triangular lattices, would have differing limit shapes, determining whether any differences between the scaling limit normalizations, and related quantities, emerge is of interest. In comparison to previously obtained scaling limits, we incorporate symmetries of the triangular lattice for computing the scale limit, beginning with a suitable basis.

math.PR

Variational quantum algorithm for measurement extraction from the Navier-Stokes, Einstein, Maxwell, B-type, Lin-Tsien, Camassa-Holm, DSW, H-S, KdV-B, non-homogeneous KdV, generalized KdV, KdV, translational KdV, sKdV, B-L and Airy equations

Classical-quantum hybrid algorithms have recently garnered significant attention, which are characterized by combining quantum and classical computing protocols to obtain readout from quantum circuits of interest. Recent progress due to Lubasch et al in a 2019 paper provides readout for solutions to the Schrodinger and Inviscid Burgers equations, by making use of a new variational quantum algorithm (VQA) which determines the ground state of a cost function expressed with a superposition of expectation values and variational parameters. In the following, we analyze additional computational prospects in which the VQA can reliably produce solutions to other PDEs that are comparable to solutions that have been previously realized classically, which are characterized with noiseless quantum simulations. To determine the range of nonlinearities that the algorithm can process for other IVPs, we study several PDEs, first beginning with the Navier-Stokes equations and progressing to other equations underlying physical phenomena ranging from electromagnetism, gravitation, and wave propagation, from simulations of the Einstein, Boussniesq-type, Lin-Tsien, Camassa-Holm, Drinfeld-Sokolov-Wilson (DSW), and Hunter-Saxton equations. To formulate optimization routines that the VQA undergoes for numerical approximations of solutions that are obtained as readout from quantum circuits, cost functions corresponding to each PDE are provided in the supplementary section after which simulations results from hundreds of ZGR-QFT ansatzae are generated.

quant-ph

Exact solvability of an Ising-type model, and exact solvability of the 6-vertex, and 8-vertex, models

We compute the action-angle coordinates for an Ising type model whose L-operator has been previously studied in the literature by Bazhanov and Sergeev. In comparison to computations with such operators that have been examined previously by the author for the 4-vertex, 6-vertex, and 20-vertex, models, computations for asymptotically approximating a collection of sixteen identities with the Poisson bracket, which together constitute the Poisson structure of the Ising type model, exhibit dependencies upon nearest neighbor interactions. Inspite of the fact that L-operators for the 20-vertex model are defined in terms of combinatorial, and algebraic, constituents unlike such operators for the 6-vertex model which are defined in terms of projectors and Pauli basis elements, L-operators for the Ising-type model can be used for concluding that a model which interpolates between the 6-vertex, and 8-vertex, models is exactly solvable.

cond-mat.stat-mech

Composable, unconditional security without a Quantum secret key: public broadcast channels and their conceptualizations, adaptive bit transmission rates, fidelity pruning under wiretaps

We examine public broadcast, forward conceptual, and backward conceptual, Quantum channels in the context of communication protocols that are independent of secret keys. Given research directions of interest previously identified in arXiv: 1804.01797, besides converse upper bounds on the bit transmission rate obtained by the author in recent work (arXiv: 2507.03035), additional possibilities remain, including: (1) determining whether aspects of QKD dependent protocols can be incorporated into steps of QKD independent protocols; (2) whether there would be any amplification to the Quantum-classical performance gap that Alice and Bob can exploit towards prospective Quantum advantage; (3) formulating the conditions under which secrecy and authentication can be simultaneously achieved. To characterize the conditions for which secrecy can be achieved with high probability, we argue that there not only exists suitable protocols which enable Alice and Bob to map into the authenticated space of bit codewords with high probability, but also that forward conceptual channels, through cascading, can significantly increase Eve's probability of false acceptance. Albeit the fact that secrecy, along with conceputalizations of the public broadcast channel, were initially discussed by Maurer for QKD dependent protocols, determining whether aspects of such protocols can be adapted for unconditional security without the use of a secret key is of great interest to explore. We demonstrate that Eve's error probability, through the cascading procedure, can be analyzed with the Holevo information under an optimal decoder. Furthermore, through post-processing of the outputs of a Completely Positive Trace Preserving (CPTP) map, we also demonstrate how to decrease Holevo sum quantities with data-processing and entropy-continuity bounds.

quant-ph

Poisson structure and Integrability of a Hamiltonian flow for the inhomogeneous six-vertex model

We compute the action-angle variables for a Hamiltonian flow of the inhomogeneous six-vertex model, from a formulation introduced in a 2022 work due to Keating, Reshetikhin, and Sridhar, hence confirming a conjecture of the authors as to whether the Hamiltonian flow is integrable. To demonstrate that such an integrability property of the Hamiltonian holds from the action-angle variables, we make use of previous methods for studying Hamiltonian systems, implemented by Faddeev and Takhtajan, in which it was shown that integrability of a Hamiltonian system holds for the nonlinear Schrodinger's equation by computing action-angle variables from the Poisson bracket, which is connected to the analysis of entries of the monodromy and transfer matrices. For the inhomogeneous six-vertex model, an approach for computing the action-angle variables is possible through formulating several relations between entries of the quantum monodromy, and transfer, matrices, which can be not only be further examined from the structure of $L$ operators, but also from computing several Poisson brackets parameterized from entries of the monodromy matrix.

math-ph

Open boundary conditions of the $D^{(2)}_3$ spin chain and sectors of conformal field theories

We study open boundary conditions for the $D^{(2)}_3$ spin chain, which shares connections with the six-vertex model, under staggering, and also to the antiferromagnetic Potts model. By formulating a suitable transfer matrix that is related to $K$ matrices and to the Jimbo $R$-matrix, we obtain an analytical expression for the Hamiltonian, as a logarithmic derivative of the transfer matrix, under open boundary conditions. Such computations have connections with several objects studied in Integrable Probability, which underlie exactly solvable structures.

cond-mat.stat-mech

Parallel repetition of expanded, and multiplayer, Quantum games: anchoring, optimal values, generalized error bounds, dependency-breaking as symmetry-breaking

We demonstrate that parallel repetition of the multiplayer anchored optimal value, $ω\big( G_{\bot} \big)^{\otimes n}$, decays exponentially. Central to our approach are several probabilistic computations, pertaining to: (1) the computation of expected values for quantifying how the winning probability of the game is likely to change under the anchoring transformation; (2) the computation of positive operator valued measurements, which can be placed into direct correspondence with several probabilistically defined quantities; (3) the computation of Relative, and Relative-min entropies; (4) and lastly, the computation of generalized error bounds, which have previously been analyzed by the author in several multiplayer game-theoretic settings (arXiv: 2505.06322, and arXiv: 2507.03035). This work builds upon observations originally provided by Bavarian, Vidick, and Yuen (arXiv: 1509.07466).

quant-ph

A computation of the covariance between two linear statistics for the Jellium model

We extend previous results providing an exact formula for the variance of a linear statistic for the Jellium model, a one-dimensional model of Statistical mechanics obtained from the $k \longrightarrow 0^{+}$ limit of the Dyson log-gas. For such a computation of the covariance, in comparison to previous work for computations of the log-gas covariance, we obtain a formula between two linear statistics, given arbitrary functions $f$ and $g$ over the real line, that is dependent upon an asymptotic approximation of the Jellium probability distribution function from large $N$ deviations, and from an effective saddle-point action.

cond-mat.stat-mech

Kesten's incipient infinite cluster for the three-dimensional, metric-graph Gaussian free field, from critical level-set percolation, and for the Villain model, from random cluster geometries and a Swendsen-Wang type algorithm

We address one open problem in a recent work due to Ding and Wirth, the first version of which was available in $2019$, relating to level-set percolation on metric-graphs for the Gaussian free field in three dimensions, in which it was shown that a percolation estimate that the authors employ for studying connectivity properties of different heights of the metric graph Gaussian free field is bounded above poly-logarithmically. In three dimensions, in order to construct Kesten's incipient infinite cluster which was first seminally introduced for Bernoulli percolation in two dimensions, in $1986$, through the equality of two probabilistic quantities, we make use of a streamlined version of the $1986$ argument due to Basu and Sapozhnikov, which was first made available in $2016$, that introduces properties of crossing probabilities for demonstrating that the IIC exists for Bernoulli percolation on an infinite connected, bounded degree graph. To make use of such arguments for demonstrating the existence of the metric-graph GFF IIC in three dimensions, we also address another open problem raised in a recent work, from October $2022$, due to Dubedat and Falconet, which expresses an open problem pertaining to the construction of an IIC-type limit for the Villain model.

math.PR