arxiv: 2605.00811 · v1 · submitted 2026-05-01 · 🧮 math.NT

Recognition: unknown

Conjectural duality for iterated q-integrals on mathbb{P}¹ minus four generic points

Minoru Hirose

Authors on Pith no claims yet

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

classification 🧮 math.NT

keywords iterated q-integralsq-analogue dualityMöbius transformationword algebraanti-automorphismmultiple q-polylogarithmsP1 minus four pointsconjecture

0 comments

The pith

A functional on admissible words from iterated q-integrals on P1 minus four points is conjectured to be invariant under a natural anti-automorphism of the word algebra.

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

The paper proposes a q-analogue of the classical duality for iterated integrals on the projective line minus four generic points, where the duality comes from an involutive Möbius transformation that swaps the marked points in pairs. It defines iterated q-integrals using position-dependent q-shifts and builds a functional on admissible words in the six pairwise letters associated to those points. The conjecture asserts that this functional remains unchanged under a specific anti-automorphism of the word algebra. If the conjecture holds, it would furnish new relations among q-analogues of multiple polylogarithms and extend known dualities in this setting. The author verifies the claim in several special cases and relates it to Yamamoto's duality for one-variable multiple q-polylogarithms.

Core claim

The conjecture states that the functional defined on admissible words in the six pairwise letters is invariant under a natural anti-automorphism of the word algebra. This provides a conjectural q-analogue of the classical duality for iterated integrals on P1 minus four points arising from the involutive Möbius transformation which exchanges the four marked points in pairs.

What carries the argument

The functional on admissible words in the six pairwise letters, which is conjectured to remain invariant under the natural anti-automorphism of the word algebra induced by the involutive Möbius transformation.

If this is right

The q-integrals would satisfy duality relations directly analogous to those in the classical unshifted case.
The conjecture would link to and potentially strengthen Yamamoto's duality for one-variable multiple q-polylogarithms.
The invariance would hold in the special cases already verified by the author.
Different expressions for the same iterated q-integral could be equated via the anti-automorphism.

Where Pith is reading between the lines

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

If confirmed, the duality might suggest similar invariances for iterated q-integrals on configurations with more than four points.
Systematic numerical checks at higher weights could either support the conjecture or identify the first counterexamples.
The word-algebra symmetry could interact with other algebraic structures appearing in q-series and multiple zeta values.

Load-bearing premise

Iterated q-integrals with position-dependent q-shifts are consistently defined for generic distinct points and the functional extends without extra relations or divergences.

What would settle it

A concrete counterexample consisting of a low-degree admissible word evaluated at generic numerical points and a fixed q value where the functional differs from its image under the anti-automorphism.

read the original abstract

We propose a conjectural $q$-analogue of the classical duality for iterated integrals on $\mathbb{P}^{1}$ minus four points, arising from the involutive M\"{o}bius transformation which exchanges the four marked points in pairs. To this end, we introduce iterated $q$-integrals with position-dependent $q$-shifts of the parameters and define a functional on admissible words in the six pairwise letters. The conjecture states that this functional is invariant under a natural anti-automorphism of the word algebra. We relate the conjecture to Yamamoto's duality for one-variable multiple $q$-polylogarithms. Finally, we prove the conjecture in several special cases.

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.

Desk Editor's Note private letter to a colleague

Hirose's paper offers a new conjecture for q-duality in iterated integrals but only verifies it in special cases, leaving the general claim open.

read the letter

This paper proposes a conjectural q-analogue of the duality for iterated integrals on the projective line minus four points. The duality comes from a Möbius transformation that swaps the points in pairs. Hirose introduces iterated q-integrals where the q-parameter shifts depending on the position, then defines a functional on admissible words made from the six pairwise letters. The conjecture is that this functional stays the same under a natural anti-automorphism of the word algebra. He connects it to Yamamoto's duality for multiple q-polylogarithms and checks the claim in several special cases. What stands out as new is the use of position-dependent q-shifts and the specific functional on those six-letter words. This setup does not seem to follow directly from earlier results. The paper does a good job laying out the framework and showing how it reduces to known one-variable cases when the points are special, like at 0, 1, infinity, or roots of unity. Those verifications provide concrete evidence that the idea is worth pursuing. The main limitation is that the general conjecture for arbitrary distinct points remains unproven. The abstract mentions proofs only in special cases, so we do not see a full derivation for generics. There is also a question about whether the position-dependent shifts keep the integrals well-defined and finite without extra singularities or path dependence that the admissibility condition might not handle. If those issues arise, they could force additional relations that break the invariance. This work is for researchers focused on q-analogues of periods and multiple polylogarithms. Someone in that niche would find the conjecture useful as an organizing principle, even without a complete proof. It shows clear thinking in extending classical ideas to the q-setting. I would bring it to a reading group for discussion on the definitions and special cases. I would not cite it yet because it is a conjecture. But it is solid enough to deserve peer review; an editor should send it out so referees can assess the setup and suggest ways to strengthen the general case.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes a conjectural q-analogue of the classical duality for iterated integrals on P^1 minus four generic points, induced by an involutive Möbius transformation exchanging the marked points in pairs. It defines iterated q-integrals with position-dependent q-shifts and a functional on admissible words in the six pairwise letters, conjecturing invariance of the functional under a natural anti-automorphism of the word algebra. The conjecture is related to Yamamoto's duality for one-variable multiple q-polylogarithms, and the authors establish it in several special cases.

Significance. If the conjecture holds in generality, it would extend duality phenomena from the classical iterated-integral setting and Yamamoto's one-variable q-case to generic four-point configurations, potentially yielding new algebraic relations among multiple q-polylogarithms. The special-case verifications, which reduce to known dualities, provide concrete support and indicate the conjecture is plausible where explicit computation is possible.

major comments (2)

[Sections introducing the q-integrals and the functional (prior to the conjecture statement)] The central conjecture requires that iterated q-integrals with position-dependent q-shifts are well-defined and finite for generic distinct points on P^1, with the admissibility condition on words sufficient to eliminate divergences or path-dependence. The manuscript verifies this only in special cases (points at 0,1,∞ or roots of unity) where reduction to Yamamoto's one-variable q-polylogarithms is possible; no general argument is given that position-dependent shifts introduce no extra singularities for generic positions. This is load-bearing for the invariance claim.
[Section relating the conjecture to Yamamoto's duality] The relation to Yamamoto's duality is used to support the conjecture in special cases, but the manuscript does not explain how the generic-position definition of the functional reduces to or is consistent with the one-variable case without additional regularizations. This leaves open whether the anti-automorphism invariance survives the generic extension.

minor comments (2)

Notation for the six pairwise letters and the precise form of the anti-automorphism could be summarized in a table or explicit list for clarity.
The abstract states that the conjecture is proved in several special cases but does not indicate how many or which ones; a brief enumeration would help readers assess the scope of the verifications.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address each major comment below and indicate the revisions planned for the next version.

read point-by-point responses

Referee: [Sections introducing the q-integrals and the functional (prior to the conjecture statement)] The central conjecture requires that iterated q-integrals with position-dependent q-shifts are well-defined and finite for generic distinct points on P^1, with the admissibility condition on words sufficient to eliminate divergences or path-dependence. The manuscript verifies this only in special cases (points at 0,1,∞ or roots of unity) where reduction to Yamamoto's one-variable q-polylogarithms is possible; no general argument is given that position-dependent shifts introduce no extra singularities for generic positions. This is load-bearing for the invariance claim.

Authors: We acknowledge that the manuscript provides no general analytic argument establishing well-definedness and finiteness of the position-dependent q-integrals for arbitrary generic points on P^1. The admissibility condition on words is posited to suffice, by direct analogy with the classical iterated-integral case, but this remains an assumption rather than a proved statement. In the revised manuscript we will insert a clarifying paragraph immediately after the definition of the iterated q-integrals, explicitly stating that well-definedness for generic positions is part of the conjectural framework, supported by the special-case reductions and the absence of new singularities in those reductions. We will also add a sentence noting that a complete regularization theory for generic four-point configurations is left for future investigation. revision: partial
Referee: [Section relating the conjecture to Yamamoto's duality] The relation to Yamamoto's duality is used to support the conjecture in special cases, but the manuscript does not explain how the generic-position definition of the functional reduces to or is consistent with the one-variable case without additional regularizations. This leaves open whether the anti-automorphism invariance survives the generic extension.

Authors: We agree that the reduction step deserves a more explicit treatment. In the special cases treated, the four points are chosen so that the position-dependent shifts collapse exactly to the standard one-variable q-shifts of Yamamoto, with no residual path-dependence or extra regularizations required. We will expand the relevant subsection to include a short computation verifying this collapse for each special case (including the explicit matching of the six-letter alphabet to the two-letter alphabet of the one-variable theory) and confirming that the anti-automorphism restricts to Yamamoto's involution. This addition will make the consistency transparent without altering the conjectural status for generic positions. revision: yes

Circularity Check

0 steps flagged

No circularity: conjecture on invariance is independent of inputs

full rationale

The paper introduces iterated q-integrals with position-dependent shifts and a functional on admissible words, then states a conjecture that this functional is invariant under a natural anti-automorphism. This is proposed as an independent claim, related externally to Yamamoto's duality for one-variable q-polylogarithms, and verified only in special cases via explicit reduction. No derivation reduces the central statement to a fitted parameter, self-definition, or load-bearing self-citation chain; the conjecture remains open for generic points and does not smuggle ansatzes or rename known results by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The conjecture rests on the well-definedness of the new position-dependent q-integrals and the existence of the anti-automorphism on the word algebra; no explicit free parameters or invented entities are stated in the abstract.

axioms (1)

domain assumption Iterated q-integrals with position-dependent q-shifts are well-defined for generic distinct points on P1.
Required for the functional to be defined on admissible words.

pith-pipeline@v0.9.0 · 5410 in / 1158 out tokens · 48051 ms · 2026-05-09T18:09:17.757390+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 1 canonical work pages

[1]

Bradley,Multipleq-zeta values, J

David M. Bradley,Multipleq-zeta values, J. Algebra283(2005), no. 2, 752–798

2005
[2]

Francis C. S. Brown,Multiple zeta values and periods of moduli spacesM0,n, Ann. Sci. Éc. Norm. Supér. (4)42(2009), no. 3, 371–489

2009
[3]

Kuo-Tsai Chen,Iterated path integrals, Bull. Am. Math. Soc.83(1977), 831–879

1977
[4]

A. B. Goncharov, Multiple polylogarithms and mixed Tate motives, Preprint, arXiv:math/0103059 [math.AG] (2001). CONJECTURAL DUALITY FOR ITERATEDq-INTEGRALS ONP 1 MINUS FOUR GENERIC POINTS 13

work page arXiv 2001
[5]

Hain,The Hodge de Rham theory of relative Malcev completion, Ann

Richard M. Hain,The Hodge de Rham theory of relative Malcev completion, Ann. Sci. Éc. Norm. Supér. (4)31(1998), no. 1, 47–92

1998
[6]

Minoru Hirose, SageMath code for the verification of the q-iterated integral duality conjecture, https://github.com/MinoruHirose/q-iterated-integral-duality-verification
[7]

Math.46(2023), no

Shuji Yamamoto,Duality of one-variable multiple polylogarithms and theirq-analogues, Tokyo J. Math.46(2023), no. 2, 301–311

2023
[8]

2, 189–221

Jianqiang Zhao,Multipleq-zeta functions and multipleq-polylogarithms, Ramanujan J.14(2007), no. 2, 189–221

2007
[9]

Springer, 2020, pp

Jianqiang Zhao,Uniform approach to double shuffle and duality relations of variousq-analogs of multiple zeta values via Rota-Baxter algebras, Periods in quantum field theory and arithmetic. Springer, 2020, pp. 259–292. (Minoru Hirose)Graduate School of Science and Engineering, Kagoshima University, 1-21-35 Korimoto, Kagoshima, Kagoshima 890-0065, Japan Em...

2020