On a group ring identity related to the Alon-Jaeger-Tarsi conjecture

J\'anos Nagy; P\'eter P\'al Pach

arxiv: 2604.26320 · v1 · submitted 2026-04-29 · 🧮 math.CO

On a group ring identity related to the Alon-Jaeger-Tarsi conjecture

J\'anos Nagy , P\'eter P\'al Pach This is my paper

Pith reviewed 2026-05-07 13:17 UTC · model grok-4.3

classification 🧮 math.CO

keywords group ring identitiesAlon-Jaeger-Tarsi conjecturefinite groupscombinatorial conjecturealgebraic reductiongraph orientations

0 comments

The pith

A conjecture on two group ring identities is shown to imply the Alon-Jaeger-Tarsi conjecture.

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

The note formulates a conjecture consisting of two identities that are asserted to hold in certain group rings. It then proves that the truth of these identities forces the Alon-Jaeger-Tarsi conjecture to be true. The reduction converts a question about graphs into a question about algebraic relations inside group rings over finite groups. A reader would care because an algebraic proof of the identities could settle a longstanding combinatorial statement without direct reference to graphs.

Core claim

The authors conjecture that two specific identities hold in the group ring of a finite group over an appropriate ring, and they establish that these identities entail the Alon-Jaeger-Tarsi conjecture.

What carries the argument

The two conjectural identities in the group ring that are proposed to hold for the groups and rings appearing in the Alon-Jaeger-Tarsi setting.

If this is right

The Alon-Jaeger-Tarsi conjecture holds whenever the two group ring identities are satisfied.
Verification of the algebraic identities supplies a complete proof of the combinatorial conjecture.
The problem is reduced to checking relations inside group rings rather than constructing orientations on graphs.

Where Pith is reading between the lines

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

Computational enumeration of small groups could test the identities and give supporting evidence or a counterexample.
The same style of reduction might be attempted for other open conjectures that mix group actions with graph colorings.
If the identities prove true, they would supply an explicit algebraic certificate for the existence claims in the Alon-Jaeger-Tarsi statement.

Load-bearing premise

The two formulated group ring identities hold for the groups and rings under consideration in the Alon-Jaeger-Tarsi setting.

What would settle it

An explicit finite group and ring for which one of the two proposed identities fails, or a direct counterexample to the Alon-Jaeger-Tarsi conjecture itself.

read the original abstract

In this note we formulate a conjecture about two group ring identities and prove that it would imply the Alon-Jaeger-Tarsi conjecture.

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

This note reduces AJT to two specific group ring identities via a new conjecture and a direct implication proof.

read the letter

The core of the paper is a clean reduction: Nagy and Pach introduce a conjecture on two group ring identities and show that those identities, if they hold, imply the Alon-Jaeger-Tarsi conjecture. The argument uses ordinary group ring multiplication and addition, without extra parameters or fitted assumptions. That is the actual new piece here, and it is worth having on record because it recasts a combinatorial statement in algebraic terms that might be easier to attack in some cases. The implication itself looks straightforward from the structure they describe, and there is no sign of circularity or hidden dependence on the groups or rings involved in the AJT setting. They give credit to the existing literature on the conjecture and do not overclaim what they have shown. The obvious limitation is that the two identities remain unproven, so the note does not settle AJT. It simply moves the target. Because the paper is short, the details of the implication are probably compact, but any referee would still want to check that the derivation covers all the cases needed for the original conjecture. This is the sort of note that specialists in combinatorial group theory or people already working on AJT would find useful. A reader who wants algebraic reformulations of labeling problems gets a concrete new conjecture to test. It is not a major theorem, but the reduction is honest and the thinking is clear. I would send it to peer review so the implication can be verified and the conjecture can be discussed in the literature.

Referee Report

0 major / 2 minor

Summary. The paper formulates a conjecture about two group ring identities and proves that these identities imply the Alon-Jaeger-Tarsi conjecture.

Significance. If the two group ring identities hold, the manuscript establishes a reduction of the Alon-Jaeger-Tarsi conjecture to verifiable algebraic statements in the group ring. The explicit separation of the conjectural identities from the proven implication is a strength, as it isolates the combinatorial claim for future verification while delivering a self-contained implication proof.

minor comments (2)

The introduction would benefit from a short self-contained statement of the Alon-Jaeger-Tarsi conjecture (including the precise combinatorial object whose existence is asserted) before moving to the group-ring formulation.
In the section defining the two identities, an explicit small-order example (e.g., for S_3 or a small cyclic group) illustrating the relevant group-ring elements and the claimed equality would improve readability without lengthening the note.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. We are pleased that the report highlights the strength of isolating the two group ring identities as conjectures while providing a self-contained proof of their implication for the Alon-Jaeger-Tarsi conjecture. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; implication proof is independent of the new conjecture

full rationale

The paper explicitly formulates two group-ring identities as a fresh conjecture (without proof) and then derives that those identities, if true, imply the Alon-Jaeger-Tarsi conjecture via standard group-ring operations. No parameter is fitted to data, no quantity is renamed as a prediction, and no load-bearing step reduces by definition or self-citation to the target result. The derivation chain therefore remains self-contained: the implication is a genuine logical reduction whose validity does not presuppose the truth of the conjecture itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard properties of group rings and the unproven group ring identities; no free parameters are fitted to data as this is a pure conjecture and implication proof.

axioms (1)

standard math Standard algebraic properties of group rings over fields or integers, including distributivity and associativity.
Invoked implicitly in formulating the identities and proving the implication.

pith-pipeline@v0.9.0 · 5304 in / 1140 out tokens · 57607 ms · 2026-05-07T13:17:44.997914+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

Alon, Combinatorial Nullstellensatz, Combinatorics Probability and Computing 8 (1999) no

N. Alon, Combinatorial Nullstellensatz, Combinatorics Probability and Computing 8 (1999) no. 1-2, 7–29

work page 1999
[2]

Alon and M

N. Alon and M. Tarsi, A nowhere-zero point in linear mappings, Combinatorica 9 (4) (1989) 393–395

work page 1989
[3]

Jaeger, Problem presented in the 6th Hungar

F. Jaeger, Problem presented in the 6th Hungar. Comb. Coll., Eger, Hungary 1981, and: Finite and Infinite Sets (eds.: Hajnal, A., Lov´ asz, L., S´ os, V. T.). North Holland, Amsterdam, 1982 II, 879

work page 1981
[4]

J. Nagy, P. P. Pach: The Alon-Jaeger-Tarsi conjecture via group ring identities, J. Eur. Math. Soc., to appear

work page
[5]

Momentum

B. Szegedy, Coverings of abelian groups and vector spaces, J. Combin. Theory Ser. A 114 (2007) no. 1, 20–34. Alfr´ed R´enyi Institute of Mathematics. Email address:janomo4@gmail.com HUN-REN Alfr´ed R´enyi Institute of Mathematics, Re ´altanoda utca 13–15., H-1053 Budapest, Hungary; MTA–HUN-REN RI Lend¨ulet “Momentum” Arithmetic Combinatorics Research Grou...

work page 2007

[1] [1]

Alon, Combinatorial Nullstellensatz, Combinatorics Probability and Computing 8 (1999) no

N. Alon, Combinatorial Nullstellensatz, Combinatorics Probability and Computing 8 (1999) no. 1-2, 7–29

work page 1999

[2] [2]

Alon and M

N. Alon and M. Tarsi, A nowhere-zero point in linear mappings, Combinatorica 9 (4) (1989) 393–395

work page 1989

[3] [3]

Jaeger, Problem presented in the 6th Hungar

F. Jaeger, Problem presented in the 6th Hungar. Comb. Coll., Eger, Hungary 1981, and: Finite and Infinite Sets (eds.: Hajnal, A., Lov´ asz, L., S´ os, V. T.). North Holland, Amsterdam, 1982 II, 879

work page 1981

[4] [4]

J. Nagy, P. P. Pach: The Alon-Jaeger-Tarsi conjecture via group ring identities, J. Eur. Math. Soc., to appear

work page

[5] [5]

Momentum

B. Szegedy, Coverings of abelian groups and vector spaces, J. Combin. Theory Ser. A 114 (2007) no. 1, 20–34. Alfr´ed R´enyi Institute of Mathematics. Email address:janomo4@gmail.com HUN-REN Alfr´ed R´enyi Institute of Mathematics, Re ´altanoda utca 13–15., H-1053 Budapest, Hungary; MTA–HUN-REN RI Lend¨ulet “Momentum” Arithmetic Combinatorics Research Grou...

work page 2007