MathAudit

Paper metadata

Original submission
April 14, 2026
Latest revision
October 6, 2026 · version 2
Claimed MSC
37A25, 37A30, 37A15
arXiv categories
math.DS, math.SP
Paper license
CC BY 4.0 ↗
Comments
This is the journal version of the article with referee comments incorporated. AI was also used to find and fix some minor mistakes. We added parts (ii) and (iii) to Lemma 1 and part (iii) to Corollary 5

Abstract

In 2005, Parreau proved that if a measure preserving system is not strongly mixing then it contains a non-trivial factor that is disjoint from every strongly mixing system. Taking this construction as the starting point, we develop the complementary notions of U\mathcal U-generated and U\mathcal U-mixing systems, for a set U\mathcal U of ultrafilters, and use them to recover several classical results in ergodic theory as special cases of a unified framework. We prove that a system is U\mathcal U-mixing if and only if it is disjoint from all U\mathcal U-generated systems. In fact, we show that if Y\mathcal Y is a U\mathcal U-generated system and Z\mathcal Z is disjoint from every U\mathcal U-mixing system, then any joining of Y\mathcal Y and Z\mathcal Z remains disjoint from all U\mathcal U-mixing systems. We also show that every partially rigid system is a finite extension of some U\mathcal{U}-generated system.

AI-generated audit

Audit summary

Audited against arXiv v2

Not a correctness certificate. A green “no issues found” result may include yellow suspected typos or minor formal issues that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.

Current report

Detailed mathematical audit

Generated October 24, 2026
01Statements2 reported findingsNo statement issues found

The ultrafilter mixing/disjointness duality, multiplier property, and finite-extension statement for partial rigidity are supported in the stated countable abelian setting. Results explicitly presented as classical or recovered special cases are not treated as new contributions.

Theorems 3, 5 and 10No issue found

The spectral decomposition and algebra-generated factor are correctly distinguished

PDF pp. 9–15, 21–24, 29–34 · arXiv:2604.12915v2

Weak limits of the commuting unitary representation form commuting normal contractions, so the common-kernel orthogonal complement is the closed span of their images. This proves the representation-level spectral duality. The system-level factor is instead the sigma-algebra generated by those images, which can be larger; the multiplier proof handles products of image functions rather than identifying the factor with their linear span. The Cantor-measure examples exhibit this distinction without contradicting the representation theorem.

Theorems 6–7; Corollary 7No issue found

Partial rigidity gives finite fibers and the claimed disjointness consequences

PDF pp. 25–31 · arXiv:2604.12915v2

Domination of the weak-limit Markov operator by αI\alpha I excludes conditional fiber masses strictly between zero and α\alpha: an indicator restricted to those fibers would have integral both below and at least α\alpha times their base measure. Countable generation then bounds the number of atoms by ⌊α−1⌋\lfloor\alpha^{-1}\rfloor. In the ergodic case their weights are uniform. The joining-simplex comparison for α+β>1\alpha+\beta>1 is performed on ergodic components rather than assuming rigidity passes to those components.

02Proofs2 reported findingsNo proof issues found

Both supplied approaches to the multiplier theorem close, and the current nonergodic joining lemmas support the partial-rigidity applications.

Lemmas 1–3; Theorem 6No issue found in the reviewed proof

The nonergodic disintegration step preserves the required joining marginals

PDF pp. 7–8, 25–26 · arXiv:2604.12915v2

Extremality of the fixed ergodic marginal forces the disintegrated first marginals to remain that measure. Measurable selection supplies nontrivial fiber decompositions if extremality or disjointness fails on a positive-measure set. A weakly mixing marginal makes the product joining extreme even when the other marginal is nonergodic. Thus the Choquet-simplex argument is used only after passing to two ergodic marginals, where it is valid.

Theorem 10; Lemmas 10–11No issue found in the reviewed proof

The induction proves factorization for the full generated algebra

PDF pp. 29–34 · arXiv:2604.12915v2

The relatively independent construction attaches each image function to a common base. The induction hypothesis factors the projection forgetting that base as a product with the mixing coordinate. Approximation by bounded tensor functions then makes the next ultrafilter limit vanish. The alternative proof uses bounded Hilbert-space averages, separates diagonal from off-diagonal terms, and applies the preceding induction to the difference correlations in the prescribed order of limits. No interchange of independently ordered ultrafilter limits is needed.

03Novelty0 reported findingsNo novelty concerns found

No non-novelty findings.

Detailed audit reportFull reasoning, manuscript locations, and references.
Open report PDF ↗

Author response

Challenge an audit finding

Local workflow preview

A listed author may submit formal evidence that an audit is inaccurate. The response would be considered in a fresh AI re-evaluation; it would not edit the audit automatically.

Paper
arXiv:2604.12915v2
Authors listed
Sohail Farhangi, Joel Moreira, Rigoberto Zelada
Audit date
October 24, 2026
  1. 01Establish identityMatch an authenticated scholarly identity to this paper.
  2. 02Submit evidenceIdentify the finding and give a formal mathematical response.
  3. 03Re-evaluateA separate agent checks the response and records a disposition.
Recommended production method

Authenticate with ORCID, then require an exact arXiv match

MathAudit should accept the identity only when ORCID OAuth authenticates the claimant's iD and this exact arXiv paper appears in arXiv's public authority feed for that iD. A matching name alone is not sufficient.

ORCID OAuth and arXiv authority-record lookup are not connected in this local prototype.

Email fallback for papers without a linked ORCID

A production fallback could send a one-time link only when the submitted address matches an independently maintained author-contact allowlist for this paper. MathAudit must return the same message for every address so the form cannot reveal which contacts are on that list.

This demonstration does not send, store, or compare the address.

Structured response preview

This form remains unavailable until production identity verification succeeds. Nothing entered here is submitted.

This panel never establishes authorship in the local prototype. A production result should be described narrowly as an authenticated ORCID match or control of a separately allowlisted author-contact mailbox.