pith. the verified trust layer for science. sign in

arxiv: 2510.01455 · v3 · submitted 2025-10-01 · 🪐 quant-ph · math.AG

Visualizing the state space and transformations of higher order quantum logics via toric geometry

Steven Bleiler (Portland State University) , Shanyan Chen (Portland State University) , Emma O'Neil (Portland State University) , J. Eliot Reich (Portland State University) , Julia Rezvani (Portland State University) , Elijah Whitham-Powell (Portland Sate University) , Ali Al-Bayaty (Independent Researcher) , Jerzy Jegier (Independent Researcher)
show 2 more authors
Sonia Yang (Independent Researcher) Marek Perkowski (Portland State University)
This is my paper

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

classification 🪐 quant-ph math.AG
keywords toric varietiesquantum state spacequantum measurement equivalenceternary quantum circuitsquantum multiplexersstate space visualizationbinary quantum logic
0
0 comments X p. Extension

The pith

Toric geometry shows that equivalence classes of quantum states under measurement coincide with orbits in the state space for binary and ternary logics.

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

The paper explores new applications of toric variety structures to quantum computation in small radices. It establishes that the equivalence classes of quantum states under measurement align with the orbits of the toric geometric structure on the state space. This alignment supports visualizations of state spaces and fundamental unitary transformations. From these visualizations, the authors derive methods for developing new transformations, including minimal universal sets for ternary circuits, and present a general framework for designing optimal ternary quantum transformations using quantum multiplexers.

Core claim

The central discovery is the concurrence between the equivalence classes of quantum states under quantum measurement and the orbits of the toric geometric structure of the state space. This concurrence is observed in binary and ternary quantum logics and is used to create visualizations and synthesis methods for transformations and circuits.

What carries the argument

The toric variety structure on the quantum state space, with its orbits corresponding to measurement equivalence classes, which enables the visualization of states and transformations.

If this is right

  • Visualizations of state spaces and unitary transformations in binary and ternary quantum logic become available.
  • New transformations can be developed based on the visualization techniques.
  • Minimal universal sets for permutative ternary quantum circuits can be identified.
  • General structures and synthesis methods based on quantum multiplexers are provided.
  • A general framework for the design of optimal ternary quantum transformations and circuits is established.

Where Pith is reading between the lines

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

  • If the alignment holds, it could provide a geometric tool for classifying quantum operations in higher-dimensional logics.
  • Extensions might include applying the visualization methods to error-correcting codes or other quantum information tasks.
  • The open research areas suggested could lead to practical design tools for multi-valued quantum computing.

Load-bearing premise

The quantum state space for binary and ternary radices admits a toric variety structure in which the orbits align with the equivalence classes of states under quantum measurement.

What would settle it

A counterexample would be a specific quantum state or transformation in binary or ternary logic whose measurement equivalence class does not match any orbit in the toric structure, or visualizations that fail to generate valid new transformations.

read the original abstract

We propose some new uses of toric variety structures in the study of quantum computation for small radices. In particular, we observe the concurrence of the equivalence classes of quantum states under quantum measurement and the orbits of the toric geometric structure of the state space. Visualizations of these state spaces and of certain fundamental unitary transformations in binary and ternary quantum logic and a method to develop new transformations based on these visualization techniques are presented. Transformations discussed included minimal universal sets for permutative ternary quantum circuits. In addition, general structures and synthesis methods based on quantum multiplexers are presented. A general framework for the design of optimal ternary quantum transformations and circuits is additionally presented. Finally, a number of open research areas that are extensions of the work presented herein are given.

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 proposes new applications of toric variety structures to visualize the state space and transformations in binary and ternary quantum logics. It claims an observed concurrence between equivalence classes of quantum states under measurement and the orbits of the toric geometric structure on the state space. The work presents visualizations of these spaces and fundamental unitary transformations, methods to develop new transformations (including minimal universal sets for permutative ternary quantum circuits), general structures and synthesis methods based on quantum multiplexers, a framework for designing optimal ternary quantum transformations and circuits, and lists open research extensions.

Significance. If the toric variety structure is derived from the underlying projective Hilbert space geometry and the orbit-equivalence alignment is rigorously established rather than assumed, the visualizations and synthesis techniques could provide useful geometric tools for understanding and constructing higher-radix quantum circuits. The approach has potential relevance for circuit design in ternary quantum computing, but its impact depends on substantiating the geometric modeling choice with explicit constructions from quantum mechanics.

major comments (2)
  1. Abstract and central claim: The concurrence between measurement equivalence classes and toric orbits is stated as an observation without an explicit derivation. The manuscript must supply the construction showing how the toric fan, polytope, or moment map arises from the density-operator geometry or the action of the unitary group on the projective Hilbert space for qubits and qutrits; without this step the alignment risks being an imposed modeling choice rather than a derived property.
  2. Visualizations and synthesis methods sections: All presented visualizations, transformation development methods, and the general framework for optimal ternary circuits rest on the toric structure. A concrete example (e.g., for a specific low-dimensional case) or theorem establishing that torus orbits coincide with measurement equivalence classes is required to make the claims load-bearing and verifiable.
minor comments (2)
  1. Clarify the precise definition of 'small radices' and whether the toric construction extends beyond binary and ternary cases, with explicit statements of the dimension or number of states considered.
  2. Ensure all figures include captions that explicitly label the toric orbits, equivalence classes, and any moment-map projections so readers can verify the claimed concurrence.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their constructive and detailed report. The comments highlight important points regarding the geometric foundations of our approach, and we address each major comment below. We will revise the manuscript to strengthen the explicit derivations and examples as suggested.

read point-by-point responses

  1. Referee: Abstract and central claim: The concurrence between measurement equivalence classes and toric orbits is stated as an observation without an explicit derivation. The manuscript must supply the construction showing how the toric fan, polytope, or moment map arises from the density-operator geometry or the action of the unitary group on the projective Hilbert space for qubits and qutrits; without this step the alignment risks being an imposed modeling choice rather than a derived property.

    Authors: We agree that the manuscript currently presents the concurrence primarily as an observed alignment. The toric structure is induced by the standard Hamiltonian (d-1)-torus action on CP^{d-1} for d-radix systems. The associated moment map μ: CP^{d-1} → R^{d-1} has components given by the squared moduli of the homogeneous coordinates, which are precisely the Born-rule probabilities for projective measurement in the computational basis. Consequently, the torus orbits coincide with the level sets of this map and therefore with the equivalence classes of states sharing identical measurement statistics. In the revision we will add an explicit subsection deriving this moment-map correspondence from the projective Hilbert-space geometry and the diagonal unitary action, thereby establishing the alignment as a derived property rather than an imposed modeling choice. revision: yes

  2. Referee: Visualizations and synthesis methods sections: All presented visualizations, transformation development methods, and the general framework for optimal ternary circuits rest on the toric structure. A concrete example (e.g., for a specific low-dimensional case) or theorem establishing that torus orbits coincide with measurement equivalence classes is required to make the claims load-bearing and verifiable.

    Authors: We accept that the visualizations and synthesis framework would benefit from an explicit low-dimensional verification. In the revised manuscript we will insert a concrete example for the qutrit case (CP^2), explicitly parametrizing a generic state, computing its torus orbit under the diagonal U(1)^2 action, and confirming that all states in the orbit yield identical outcome probabilities for computational-basis measurement. This example will be placed immediately before the visualization figures and will serve as the foundation for the subsequent transformation-development methods, rendering the claims verifiable. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proposes toric variety structures as a visualization and synthesis tool for small-radix quantum logics and states that it observes a concurrence between measurement equivalence classes and toric orbits. No equations, derivations, or self-citations appear in the supplied text that reduce this concurrence to a definitional identity, a fitted parameter renamed as prediction, or an unverified self-citation chain. The toric modeling choice is presented as an adopted framework whose utility is then explored, rather than a property whose alignment with quantum measurements is forced by construction. The derivation chain therefore remains self-contained against external benchmarks and does not exhibit the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the modeling assumption that quantum state spaces for small radices carry a natural toric variety structure aligned with measurement; no free parameters, invented entities, or additional axioms are explicitly introduced in the abstract.

axioms (1)
  • domain assumption Equivalence classes of quantum states under measurement coincide with orbits of a toric geometric structure on the state space
    Invoked directly in the abstract as the key observation enabling visualizations and transformation methods.

pith-pipeline@v0.9.0 · 5731 in / 1215 out tokens · 30548 ms · 2026-05-18T10:08:19.023341+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Conceptual Technology-Dependent Framework of Ternary Quantum Gates

    quant-ph 2026-04 unverdicted novelty 3.0

    A technology-dependent conceptual design for ternary quantum gates including Chrestenson, Z3 variants, controlled gates, a non-phase SWAP, and a GF(3)-based Toffoli for qutrit systems.