pith. sign in

arxiv: 2604.16285 · v1 · submitted 2026-04-17 · 🪐 quant-ph · math-ph· math.MP

How to unitarily map between any two pure states with a single closed-form exponential

Peter T. J. Bradshaw , Marcus Gouveia , Jonte R. Hance This is my paper

Pith reviewed 2026-05-10 08:31 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP
keywords pure quantum statesunitary transformationclosed-form exponentialbasis-independentquantum informationHilbert space dimensionsingle generator
0
0 comments X

The pith

Any two pure quantum states can be mapped by a single closed-form exponential unitary without choosing bases or depending on dimension.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a method to construct a unitary that takes any pure state to any other pure state in the same Hilbert space as the exponential of one generator, given in closed form. Previous approaches needed explicit bases for both states, making their description grow with the space dimension. This new construction stays independent of bases and works uniformly no matter the dimension. A reader would care because it supplies a compact, directly usable tool for relating pure states in quantum information, circuit analysis, and operator studies.

Core claim

We show how to utilize novel algebraic methods to construct a closed-form exponential unitary transformation which achieves this in general, using only a single unitary generator. This construction is independent of any bases and agnostic to the dimension of the Hilbert space.

What carries the argument

The single-generator exponential unitary, built from algebraic identities that combine the initial and target states directly.

If this is right

  • Enables direct study of relationships among families of pure states in quantum information without first selecting bases.
  • Simplifies elementary calculations involving sequences of unitary operators or quantum circuits.
  • Supplies a uniform description that applies equally in low- and high-dimensional Hilbert spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same algebraic pattern may reduce the cost of numerically generating unitaries in large-scale simulations that previously expanded states in chosen bases.
  • It could serve as a starting point for deriving approximate mappings when exact unitaries are not required.

Load-bearing premise

The algebraic identities that produce the single generator remain valid for every pair of normalized pure states, including when the states are orthogonal.

What would settle it

Apply the constructed operator to a pair of orthogonal states such as the computational basis vectors in two dimensions and check whether the output state matches the target exactly.

read the original abstract

It is well-known that any two pure quantum states (in the same Hilbert space) can be mapped to any other using unitary transformations. However, previous approaches to this problem required two explicit bases for the Hilbert space, one each for the initial and target states, and thus their complexity necessarily scales with the dimension of the Hilbert space. In this Letter, we show how to utilize novel algebraic methods to construct a closed-form exponential unitary transformation which achieves this in general, using only a single unitary generator. This construction is independent of any bases and agnostic to the dimension of the Hilbert space. We highlight the usefulness of this tool for studying relationships between systems of pure states in quantum information theory, as well in elementary analyses of quantum circuits and unitary operators.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to derive, via novel algebraic methods, a closed-form anti-Hermitian generator G such that the single-exponential unitary exp(G) maps an arbitrary normalized pure state |ψ⟩ to an arbitrary normalized pure state |φ⟩ in the same Hilbert space. The construction is asserted to be basis-independent, dimension-agnostic, and valid in general, including for any overlap.

Significance. If the derivation is free of singularities and the resulting operator is verifiably unitary and achieves the mapping for all pairs, the result would supply a compact, basis-free tool for analyzing unitary state transformations in quantum information. It could streamline circuit decompositions and relations among pure states without explicit matrix constructions scaling with dimension.

major comments (2)
  1. [main derivation] Main derivation (immediately following the abstract and preceding the examples): the algebraic identities used to obtain the closed-form G are not shown explicitly, so it is impossible to verify that exp(G) |ψ⟩ = |φ⟩ holds identically or that G remains anti-Hermitian and well-defined when ⟨ψ|φ⟩ = 0. The central claim therefore lacks load-bearing support.
  2. [abstract and final paragraph] Claim of validity 'in general' (abstract and final paragraph): no special case or limiting procedure is supplied for orthogonal states. Standard constructions remain defined at overlap zero via the orthogonalized component, but any derivation that divides by ⟨ψ|φ⟩ or sin θ would render G undefined precisely in that regime, contradicting the stated scope.
minor comments (2)
  1. [main text] Notation for the generator G and the auxiliary states used in the algebra should be introduced with a short concrete example (e.g., two-qubit states) to aid readability.
  2. [abstract] The abstract refers to 'novel algebraic methods' without a one-sentence contrast to the conventional plane-rotation generator; adding this would clarify the contribution.

Circularity Check

0 steps flagged

Algebraic construction of single-generator unitary is self-contained with no circular reductions

full rationale

The paper derives a closed-form exponential unitary via novel algebraic identities applied directly to arbitrary normalized pure states |ψ⟩ and |φ⟩. No load-bearing steps reduce by construction to the target mapping (e.g., no parameter fitted to data then relabeled as prediction, no self-citation chain justifying the central generator, and no ansatz smuggled in via prior work). The abstract and description present the result as following from basis-independent algebraic methods without invoking the result itself in the premises. This is the common case of an independent derivation; external concerns about singularities at zero overlap are correctness issues, not circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard linear algebra over complex vector spaces and the definition of unitary operators as exponentials of anti-Hermitian generators; no free parameters, new entities, or ad-hoc assumptions beyond domain norms are introduced.

axioms (2)
  • domain assumption Any two normalized vectors in a Hilbert space can be connected by a unitary operator.
    This is the well-known existence result the paper uses to construct an explicit form.
  • standard math The exponential map sends anti-Hermitian operators to unitary operators.
    Standard fact from Lie group theory applied to quantum mechanics.

pith-pipeline@v0.9.0 · 5434 in / 1302 out tokens · 65938 ms · 2026-05-10T08:31:26.720748+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [1]

    Number 157 in Graduate Studies in Mathematics

    Gerald Teschl.Mathematical Methods in Quantum Me- chanics: With Applications to Schrodinger Operators. Number 157 in Graduate Studies in Mathematics. Amer- ican Mathematical Society, Providence, Rhode Island, 2014

    work page 2014

  2. [2]

    Halmos.Finite-Dimensional Vector Spaces

    Paul R. Halmos.Finite-Dimensional Vector Spaces. Un- dergraduate Texts in Mathematics. Springer, New York, NY, 1974. URL:http://link.springer.com/10.1007/ 978-1-4612-6387-6,doi:10.1007/978-1-4612-6387-6

    work page doi:10.1007/978-1-4612-6387-6 1974

  3. [3]

    Springer, Berlin, 2014

    Sheldon Axler.Linear Algebra Done Right. Springer, Berlin, 2014. Google-Books-ID: 5qYxBQAAQBAJ

    work page 2014

  4. [4]

    Doctoral, University College London, September 2024

    Peter Thomas Joseph Bradshaw.Foundations for an Ele- mentary Algebraic Theory of Systems with Arbitrary Non- Relativistic Spin. Doctoral, University College London, September 2024. URL:https://discovery.ucl.ac.uk/ id/eprint/10197514/

    work page arXiv 2024

  5. [5]

    Cambridge University Press, Cambridge, 1995

    Steven Weinberg.The Quantum Theory of Fields: Volume 1: Foundations, volume 1. Cambridge University Press, Cambridge, 1995. URL:https://www.cambridge. org/core/books/quantum-theory-of-fields/ 22986119910BF6A2EFE42684801A3BDF,doi:10.1017/ CBO9781139644167

    work page 1995

  6. [6]

    Quantum state preparation with optimal circuit depth: Implementations and applications

    Xiao-Ming Zhang, Tongyang Li, and Xiao Yuan. Quantum state preparation with optimal circuit depth: Implementa- tions and applications.Phys. Rev. Lett., 129:230504, Nov 2022.doi:10.1103/PhysRevLett.129.230504

    work page doi:10.1103/physrevlett.129.230504 2022

  7. [7]

    Nielsen and Isaac L

    Michael A. Nielsen and Isaac L. Chuang.Quantum Com- putation and Quantum Information. Cambridge Univer- sity Press, Cambridge, 10th anniversary edition, 2010

    work page 2010