arXiv subjects

Tomasz Miller

Publications and source records attributed to Tomasz Miller.

At least 19 recordsLinked to original sources

arXiv2026

Metricity of separable quantum optimal transport with the Hilbert-Schmidt cost

We prove that the square root of the separable quantum optimal transport cost associated with the orthogonal projection onto the antisymmetric subspace defines a genuine distance between density matrices. Equivalently, this establishes the triangle inequality for the order-two Beatty-Fran\c{c}a quantum optimal transport construction induced by the Hilbert-Schmidt distance between pure states. The result also proves metricity of the corresponding distance derived from separable SWAP fidelity. The proof replaces the unavailable gluing argument by convex-roof duality and a dimension-independent interpolation result for Hermitian operators.

quant-ph↗

arXiv2026

Comment on 'Quantum Monge-Kantorovich Problem and Transport Distance between Density Matrices'

Friedland et al. [PRL 129, 110402 (2022)] proposed and studied a quantum analogue of the $p$-Wasserstein distance based on quantum cost matrices and quantum couplings. They conjectured that, despite being only a semidistance in general, this quantity is a true distance for a particular quantum cost matrix and for cost matrices in a small neighborhood of it. We disprove these conjectures by exhibiting an explicit family of triples of states for which the triangle inequality fails.

quant-ph↗

arXiv2025

The operational no-signalling constraints and their implications

The study of quantum correlations within relativistic spacetimes, and the consequences of relativistic causality on information processing using such correlations, has gained much attention in recent years. In this paper, we establish a unified framework in the form of operational no-signalling constraints to study both nonlocal and temporal correlations within general relativistic spacetimes. We explore several intriguing consequences arising from our framework. Firstly, we show that the violation of the operational no-signalling constraints in Minkowski spacetime implies either a logical paradox or an operational infringement of Poincar\'{e} symmetry. We thereby examine and subvert recent claims in [Phys. Rev. Lett. 129, 110401 (2022)] on the possibility of witnessing operationally detectable causal loops in Minkowski spacetime. Secondly, we explore the possibility of jamming of nonlocal correlations, controverting a recent claim in [Nat. Comm. 16, 269 (2025)] that a physical mechanism for jamming would necessarily lead to superluminal signalling. Finally, we show that in black hole spacetimes certain nonlocal correlations under and across the event horizon can be jammed by any agent without spoiling the operational no-signalling constraints.

quant-ph↗

arXiv2025

Through the Singularity

In this work, we propose a dangerous journey -- a journey through the strong singularity from one universe to another or from inside of a black hole to its 'inverse' as a white hole. Such singularities are hidden in the Friedman and Schwarzschild solutions; we call them malicious singularities. The journey is made possible owing to two generalizations. The first generalization consists in considering spaces with differential structures on them (the so-called ringed spaces) rather than the usual manifolds. This entails a generalization of the concept of smoothness, which allows us to think about a smooth passage through the singularity. The second generalization is related to the concept of curve. We show that if a kind of singularity is implanted in the set of curve's parameters, along with an appropriate topology, in such a way that the structure of the set of parameters corresponds to the structure of the singular space-time, the curve can smoothly -- in a generalized sense -- pass through the singularity.

gr-qc↗

arXiv2025

The max-type quasimetrics on probability simplices

Quasimetric spaces form a natural framework to study distance problems with an inherent directional asymmetry. We introduce a simple novel class of quasimetrics on probability simplices, inspired by the Chebyshev distance. It is shown that such quasimetrics have expedient geometric properties -- they induce the Euclidean topology and a Finslerian infinitesimal structure, with which the probability simplices become geodesic spaces. Moreover, we prove that the broad family of the proposed quasimetrics are monotone under bistochastic maps.

math.MG↗

arXiv2025

Distances between pure quantum states induced by a distance matrix

With the help of a given distance matrix of size $n$, we construct an infinite family of distances $d_p$ (where $p \geq 2$) on the complex projective space $\mathbb{P}(\mathbb{C}^n)$ modelling the space of pure states of an $n$-level quantum system. The construction can be seen as providing a natural way to isometrically embed any given finite metric space into the space of pure quantum states 'spanned' upon it. In order to show that the maps $d_p$ are indeed distance functions -- in particular, that they satisfy the triangle inequality -- we employ methods of analysis, multilinear algebra and convex geometry, obtaining a nontrivial auxiliary convexity result in the process. In addition, a way of extending distances $d_p$ onto mixed states is proposed for a broad class of distance matrices.

math-ph↗

arXiv2025

Functorial Einstein Algebras and the Malicious Singularity

Einstein algebra, the concept due to Geroch, is essentially general relativity in an algebraic disguise. We introduce the concept of Einstein-Grassmann algebra as a superalgebra (defining a supermanifold) which is also an Einstein algebra. We employ this concept to confront the supermanifold structure with the structure of strong singularity, the so-called malicious singularity, in general relativity. Einstein-Grassmann algebras consist of two parts: a part called body and a part called soul. For the body part, the singularity theorems apply and the singularities persist as the conclusions of the classical theorems on the existence of singularities require. We prove that, if we relax algebraical requirements, the soul part of the algebra can survive the malicious singularity. In particular, we study the behaviour of supercurves in the presence of malicious singularity.

math-ph↗

arXiv2023

A new class of distances on complex projective spaces

The complex projective space $\mathbb{P}(\mathbb{C}^n)$ can be interpreted as the space of all quantum pure states of size $n$. A distance on this space, interesting from the perspective of quantum physics, can be induced from a classical distance defined on the $n$-point probability simplex by the `earth mover problem'. We show that this construction leads to a quantity satisfying the triangle inequality, which yields a true distance on complex projective space belonging to the family of quantum $2$-Wasserstein distances.

math-ph↗

arXiv2023

On the diagonal product of special unitary matrices

We study the image of $\textrm{SU}(n)$ under the diagonal product map. Using only elementary tools of linear algebra, analysis and general topology, we find the analytical formula for the boundary of this image and find all special unitary matrices whose diagonal product lies on that boundary.

math.RA↗

arXiv2023

Functorial differential spaces and the infinitesimal structure of space-time

We generalize the differential space concept as a tool for developing differential geometry, and enrich this geometry with infinitesimals that allow us to penetrate into the superfine structure of space. This is achieved by Yoneda embedding a ring of smooth functions into the category of loci. This permits us to define a category of functorial differential spaces. By suitably choosing various algebras as "stages" in this category, one obtains various classes of differential spaces, both known from the literature and many so far unknown. In particular, if one chooses a Weil algebra, infinitesimals are produced. We study the case with some Weil algebra which allows us to fully develop the corresponding differential geometry with infinitesimals. To test the behavior of infinitesimals, we construct a simplified RWFL cosmological model. As it should be expected, infinitesimals remain latent during the entire macroscopic evolution (regarded backwards in time), and come into play only when the universe attains infinitesimal dimensions. Then they penetrate into the structure of the initial singularity.

math-ph↗

arXiv2022

Einstein Algebras in a Categorical Context

According to the basic idea of category theory, any Einstein algebra, essentially an algebraic formulation of general relativity, can be considered from the point of view of any object of the category of smooth algebras; such an object is then called a stage. If we contemplate a given Einstein algebra from the point of view of the stage, which we choose to be an "algebra with infinitesimals" (Weil algebra), then we can suppose it penetrates a submicroscopic level, on which quantum gravity might function. We apply Vinogradov's notion of geometricity (adapted to this situation), and show that the corresponding algebra is geometric, but then the infinitesimal level is unobservable from the macro-level. However, the situation can change if a given algebra is noncommutative. An analogous situation occurs when as stages, instead of Weil algebras, we take many other smooth algebras, for example those that describe spaces in which with ordinary points coexsist "parametrized points", for example closed curves (loops). We also discuss some other consequences of putting Einstein algebras into the conceptual environment of category theory.

math-ph↗

arXiv2021

Causal evolution of probability measures and continuity equation

We study the notion of a causal time-evolution of a conserved nonlocal physical quantity in a globally hyperbolic spacetime $\mathcal{M}$. The role of the `global time' is played by a chosen Cauchy temporal function $\mathcal{T}$, whereas the instantaneous configurations of the nonlocal quantity are modeled by probability measures $\mu_t$ supported on the corresponding time slices $\mathcal{T}^{-1}(t)$. We show that the causality of such an evolution can be expressed in three equivalent ways: (i) via the causal precedence relation $\preceq$ extended to probability measures, (ii) with the help of a probability measure $\sigma$ on the space of future-directed continuous causal curves endowed with the compact-open topology and (iii) through a causal vector field $X$ of $L^\infty_{\textrm{loc}}$-regularity, with which the map $t \mapsto \mu_t$ satisfies the continuity equation in the distributional sense. In the course of the proof we find that the compact-open topology is sensitive to the differential properties of the causal curves, being equal to the topology induced from a suitable $H^1_{\textrm{loc}}$-Sobolev space. This enables us to construct $X$ as a vector field in a sense `tangent' to $\sigma$. In addition, we discuss the general covariance of descriptions (i)-(iii), unraveling the geometrical, observer-independent notions behind them.

math-ph↗

arXiv2021

Reproducing Kernel Hilbert Space Associated with a Unitary Representation of a Groupoid

The aim of the paper is to create a link between the theory of reproducing kernel Hilbert spaces (RKHS) and the notion of a unitary representation of a group or of a groupoid. More specifically, it is demonstrated on one hand, how to construct a positive definite kernel and an RKHS for a given unitary representation of a group(oid), and on the other hand how to retrieve the unitary representation of a group or a groupoid from a positive definite kernel defined on that group(oid) with the help of the Moore-Aronszajn theorem. The kernel constructed from the group(oid) representation is inspired by the kernel defined in terms of the convolution of functions on a locally compact group. Several illustrative examples of reproducing kernels related with unitary representations of groupoids are discussed in detail. The paper is concluded with the brief overview of the possible applications of the proposed constructions.

math.FA↗

arXiv2020

Generally covariant $N$-particle dynamics

A simultaneous description of the dynamics of multiple particles requires a configuration space approach with an external time parameter. This is in stark contrast with the relativistic paradigm, where time is but a coordinate chosen by an observer. Here we show, however, that the two attitudes toward modelling $N$-particle dynamics can be conciliated within a generally covariant framework. To this end we construct an '$N$-particle configuration spacetime' $\mathcal{M}_{\scriptscriptstyle (N)}$, starting from a globally hyperbolic spacetime $\mathcal{M}$ with a chosen smooth splitting into time and space components. The dynamics of multi-particle systems is modelled at the level of Borel probability measures over $\mathcal{M}_{\scriptscriptstyle (N)}$ with the help of the global time parameter. We prove that with any time-evolution of measures, which respects the $N$-particle causal structure of $\mathcal{M}_{\scriptscriptstyle (N)}$, one can associate a single measure on the Polish space of '$N$-particle wordlines'. The latter is a splitting-independent object, from which one can extract the evolution of measures for any other global observer on $\mathcal{M}$. An additional asset of the adopted measure-theoretic framework is the possibility to model the dynamics of indistinguishable entities, such as quantum particles. As an application we show that the multi-photon and multi-fermion Schrödinger equations, although explicitly dependent on the choice of an external time-parameter, are in fact fully compatible with the causal structure of the Minkowski spacetime.

math-ph↗

arXiv2020

Operational causality in spacetime

The no-signalling principle preventing superluminal communication is a limiting paradigm for physical theories. Within the information-theoretic framework it is commonly understood in terms of admissible correlations in composite systems. Here we unveil its complementary incarnation --- the 'dynamical no-signalling principle' ---, which forbids superluminal signalling via measurements on simple physical objects (e.g. particles) evolving in time. We show that it imposes strong constraints on admissible models of dynamics. The posited principle is universal --- it can be applied to any theory (classical, quantum or post-quantum) with well-defined rules of calculating detection statistics in spacetime. As an immediate application we show how one could exploit the Schrödinger equation to establish a fully operational superluminal protocol in the Minkowski spacetime. This example illustrates how the principle can be used to identify the limits of applicability of a given model of quantum or post-quantum dynamics.

quant-ph↗

arXiv2018

Polish spaces of causal curves

We propose and study a new approach to the topologization of spaces of (possibly not all) future-directed causal curves in a stably causal spacetime. It relies on parametrizing the curves "in accordance" with a chosen time function. Thus obtained topological spaces of causal curves are separable and completely metrizable, i.e. Polish. The latter property renders them particularly useful in the optimal transport theory. To illustrate this fact, we explore the notion of a causal time-evolution of measures in globally hyperbolic spacetimes and discuss its physical interpretation.

math-ph↗

arXiv2018

Time functions and $K$-causality between measures

Employing the notion of a coupling between measures, drawn from the optimal transport theory, we study the extension of the Sorkin-Woolgar causal relation $K^+$ onto the space $\mathscr{P}(\mathcal{M})$ of Borel probability measures on a given spacetime $\mathcal{M}$. We show that Minguzzi's characterization of $K^+$ in terms of time functions possesses a "measure-theoretic" generalization. Moreover, we prove that the relation $K^+$ extended onto $\mathscr{P}(\mathcal{M})$ retains its property of antisymmetry for $\mathcal{M}$ stably causal.

math-ph↗

arXiv2017

On the causality and $K$-causality between measures

Drawing from our earlier works on the notion of causality for nonlocal phenomena, we propose and study the extension of the Sorkin--Woolgar relation $K^+$ onto the space of Borel probability measures on a given spacetime. We show that it retains its fundamental properties of transitivity and closedness. Furthermore, we list and prove several characterizations of this relation, including the `nonlocal' analogue of the characterization of $K^+$ in terms of time functions. This generalizes and casts new light on our earlier results concerning the causal precedence relation $J^+$ between measures.

math-ph↗