arxiv: 2605.02931 · v1 · submitted 2026-04-28 · ⚛️ physics.gen-ph

Recognition: unknown

Pairwise-comparison-valued cosurfaces: a projective framework for multi-scale relational structures

Jean-Pierre Magnot

Authors on Pith no claims yet

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

classification ⚛️ physics.gen-ph

keywords pairwise comparisonscosurfacesprojective limitsmulti-scale structurescoarse-graininginconsistency observablesrelational data

0 comments

The pith

Cosurfaces valued in pairwise comparison matrices organize local data into a projective limit where global relations arise only from cross-scale compatibility.

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

The paper equips cosurfaces with values in the group of H-valued reciprocal pairwise comparison matrices, whose composition respects covariance on upper triangular entries and contravariance on lower ones. From any directed family of finite oriented discretizations it builds configuration spaces, refinement-induced coarse-graining maps, and their universal projective limit. Global relational objects on this limit exist precisely when the local comparison data are compatible across all scales. The same construction admits projectively consistent probability measures that supply cylindrical semantics, together with inconsistency observables that register discrete curvature defects. A sympathetic reader cares because the framework assembles relational structures from comparative data alone, without presupposing absolute coordinates or global observables.

Core claim

We introduce cosurfaces with values in the group PC_n(H) of H-valued reciprocal pairwise comparison matrices. The composition law is covariant on upper triangular coefficients and contravariant on lower triangular coefficients, which makes PC_n(H) a natural target for oriented gluing constructions. Starting from a directed family of finite oriented discretizations, we define finite configuration spaces, coarse-graining maps induced by ordered refinements, and the associated universal projective limit. This yields a multi-scale organization of local comparative data in which global objects are reconstructed only through compatibility across scales. In the stochastic setting, projectively

What carries the argument

The universal projective limit of configuration spaces over a directed system of finite oriented discretizations, with cosurface values taken in the group PC_n(H) of reciprocal pairwise comparison matrices.

If this is right

Global relational objects exist on the limit space if and only if the local comparison data satisfy compatibility conditions at every pair of scales.
Projectively consistent families of probability measures on the finite configuration spaces define cylindrical measures on the infinite limit.
Inconsistency observables register discrete curvature-type defects that quantify the failure of local comparisons to glue into a coherent global structure.
The entire construction remains simultaneously geometric, algebraic and probabilistic, allowing relational data to be assembled from local comparisons without reference to absolute observables.

Where Pith is reading between the lines

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

The same projective-limit construction could be applied to noisy or incomplete comparison data by replacing exact compatibility with approximate or statistical compatibility conditions.
Inconsistency observables at successive scales might be used to detect the resolution at which a given relational dataset becomes globally coherent.
The framework suggests a route to continuous limits by letting the directed family of discretizations become arbitrarily fine, recovering a notion of curvature on the underlying space from the limiting inconsistency field.

Load-bearing premise

The composition law on PC_n(H) is covariant on upper triangular coefficients and contravariant on lower triangular coefficients and therefore admits oriented gluing without further obstructions.

What would settle it

An explicit directed family of oriented discretizations together with a collection of local PC_n(H)-valued data that are pairwise compatible on overlaps yet fail to extend to a global section on the projective limit.

read the original abstract

We introduce cosurfaces with values in the group \(\PC_n(H)\) of \(H\)-valued reciprocal pairwise comparison matrices. The composition law is covariant on upper triangular coefficients and contravariant on lower triangular coefficients, which makes \(\PC_n(H)\) a natural target for oriented gluing constructions. Starting from a directed family of finite oriented discretizations, we define finite configuration spaces, coarse-graining maps induced by ordered refinements, and the associated universal projective limit. This yields a multi-scale organization of local comparative data in which global objects are reconstructed only through compatibility across scales. In the stochastic setting, projectively compatible probability laws define a cylindrical semantics on the limit space. We also introduce inconsistency observables, interpreted as discrete curvature-type defects measuring obstructions to global coherence. The resulting framework is simultaneously geometric, algebraic, and probabilistic, and suggests a foundational perspective on relational structures built from local comparisons rather than absolute observables.

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 paper sketches a projective framework for multi-scale pairwise comparison structures that looks consistent but needs examples and proofs to be fully convincing.

read the letter

The punchline is that this paper sets up a new way to handle multi-scale relational data by valuing cosurfaces in a group of pairwise comparison matrices and taking projective limits over discretizations. What is new is the specific group PC_n(H) equipped with a composition that respects orientation through covariance on upper triangular coefficients and contravariance on lower ones. This makes it suitable for gluing constructions in oriented settings. They start with a directed family of finite oriented discretizations to define configuration spaces and coarse-graining maps via ordered refinements. The universal projective limit then organizes the data so that global structures arise only from cross-scale compatibility. In the stochastic case, they use projectively compatible probability laws to define cylindrical semantics on the limit space. Inconsistency observables are added as discrete curvature-type defects that quantify obstructions to global coherence. The paper does well in presenting a unified perspective that is geometric through the cosurfaces and limits, algebraic via the group, and probabilistic through the measures. The curvature interpretation for inconsistencies is a solid conceptual link that could connect to other areas like discrete differential geometry. Soft spots include the purely definitional nature at this stage. There are no specific examples worked out to illustrate the framework in action, such as a simple discretization sequence or a calculation of an inconsistency observable. The existence and properties of the projective limit depend on the algebraic setup holding without obstructions, but the outline does not detail potential issues or verifications. The stochastic extension is sketched at a high level without concrete probability constructions or implications. These are not fatal but mean the work is more foundational setup than a fully fleshed result with applications. This paper is for specialists in mathematical physics or data modeling who work with relational or comparative structures rather than absolute quantities. A reader interested in rigorous multi-scale analysis or group-valued fields might find value in the synthesis. I would recommend it for peer review. The central construction appears consistent, and referees could help verify the technical points and push for examples.

Referee Report

0 major / 3 minor

Summary. The manuscript introduces cosurfaces valued in the group PC_n(H) of H-valued reciprocal pairwise comparison matrices, whose composition law is covariant on upper-triangular coefficients and contravariant on lower-triangular ones. From a directed family of finite oriented discretizations it constructs finite configuration spaces, coarse-graining maps induced by ordered refinements, and the universal projective limit; global objects are recovered solely via cross-scale compatibility. In the stochastic setting, projectively compatible probability measures induce a cylindrical semantics on the limit space, while inconsistency observables are defined as discrete curvature-type defects that quantify obstructions to global coherence. The resulting framework is presented as simultaneously geometric, algebraic, and probabilistic.

Significance. If the algebraic and limit constructions are rigorously established, the work supplies a projective, multi-scale organization of relational data built from local comparisons rather than absolute observables. The combination of a group structure adapted to oriented gluing, universal projective limits, and inconsistency observables (interpreted as curvature defects) offers a coherent language that could be useful in discretized field theories, network models, or statistical mechanics contexts where consistency across scales is central. The explicit separation of local comparative data from global reconstruction via compatibility conditions is a clear conceptual contribution.

minor comments (3)

[§3 (definition of PC_n(H) and its composition)] The abstract states that the composition law on PC_n(H) is covariant/contravariant on triangular coefficients, but the manuscript should include an explicit verification (with a small matrix example) that this law is associative and yields a group structure, as this property is load-bearing for the subsequent gluing and projective-limit constructions.
[§4 (projective limit construction)] The existence of the universal projective limit is asserted once the directed system of configuration spaces and coarse-graining maps is given; the manuscript should state the precise compatibility conditions (e.g., the cocycle condition for the transition maps) that guarantee the limit is non-empty and Hausdorff, or cite the relevant theorem from the projective-limit literature.
[§5 (stochastic setting)] The stochastic section defines cylindrical semantics via projectively compatible probability laws; an explicit statement of the Kolmogorov consistency conditions adapted to the oriented discretization setting would strengthen the claim that the cylindrical measures extend to a probability measure on the limit space.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the accurate summary of the manuscript and the positive evaluation of its conceptual contributions. The recommendation for minor revision is noted. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central construction begins with a directed family of finite oriented discretizations, defines finite configuration spaces and coarse-graining maps induced by ordered refinements, and forms the universal projective limit. This follows standard mathematical definitions of projective systems without reducing any claim to a fitted parameter, self-referential definition, or self-citation chain. The composition law on PC_n(H) is presented as an algebraic property (covariant/contravariant on triangular coefficients) that motivates its use for gluing, but the law is not derived from or equivalent to the projective limit by construction. No uniqueness theorems, ansatzes, or renamings of known results are invoked in a load-bearing way within the abstract or summary. The framework is self-contained as a definitional geometric-algebraic-probabilistic setup whose well-definedness rests on the stated compatibility properties rather than circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central constructions rest on the existence of the group PC_n(H) with the stated covariance properties, the directed system of finite discretizations admitting a universal projective limit, and the interpretation of inconsistency measures as curvature-type defects. These are introduced as definitions rather than derived from external data or fitted constants.

axioms (2)

domain assumption PC_n(H) forms a group under the defined composition law that is covariant on upper triangular coefficients and contravariant on lower triangular coefficients.
Invoked to justify the use of PC_n(H) as a target for oriented gluing constructions.
standard math A directed family of finite oriented discretizations admits a universal projective limit.
Standard property of projective limits in category theory applied to the configuration spaces.

invented entities (2)

pairwise-comparison-valued cosurface no independent evidence
purpose: To serve as the basic object carrying oriented comparative data that can be glued across scales.
Newly defined structure combining cosurface geometry with pairwise comparison matrices.
inconsistency observable no independent evidence
purpose: To quantify obstructions to global coherence, interpreted as discrete curvature defects.
Introduced to measure failures of projective compatibility.

pith-pipeline@v0.9.0 · 5448 in / 1656 out tokens · 41184 ms · 2026-05-09T20:32:23.810564+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

47 extracted references

[1]

Albeverio, R

S. Albeverio, R. Høegh-Krohn, and H. Holden, Stochastic Lie group valued measures and their relations to stochastic curve integrals, gauge fields and Markov cosurfaces, inStochastic Processes—Mathematics and Physics(Bielefeld, 1984), Lecture Notes in Mathematics, vol. 1158, Springer, Berlin, 1986, pp. 1–24

1984
[2]

M. F. Atiyah, Topological quantum field theories,Publ. Math. Inst. Hautes Études Sci.68(1988), 175– 186

1988
[3]

J. C. Baez and U. Schreiber, Higher gauge theory, inCategories in Algebra, Geometry and Mathematical Physics, Contemporary Mathematics, vol. 431, American Mathematical Society, Providence, RI, 2007, pp. 7–30

2007
[4]

Bozóki and T

S. Bozóki and T. Rapcsák, On Saaty’s and Koczkodaj’s inconsistencies of pairwise comparison matrices, J. Global Optim.42(2008), no. 2, 157–175

2008
[5]

Bozóki, J

S. Bozóki, J. Fülöp, and L. Rónyai, On optimal completion of incomplete pairwise comparison matrices, Math. Comput. Modelling52(2010), no. 1–2, 318–333

2010
[6]

Brunelli, Studying a set of properties of inconsistency indices for pairwise comparisons,Ann

M. Brunelli, Studying a set of properties of inconsistency indices for pairwise comparisons,Ann. Oper. Res.248(2017), no. 1–2, 143–161

2017
[7]

Brunelli, A survey of inconsistency indices for pairwise comparisons,Internat

M. Brunelli, A survey of inconsistency indices for pairwise comparisons,Internat. J. General Systems 47(2018), no. 8, 751–771

2018
[8]

Brunelli, L

M. Brunelli, L. Canal, and M. Fedrizzi, Inconsistency indices for pairwise comparison matrices: a nu- merical study,Ann. Oper. Res.211(2013), no. 1, 493–509

2013
[9]

Brunelli and M

M. Brunelli and M. Fedrizzi, Axiomatic properties of inconsistency indices for pairwise comparisons,J. Oper. Res. Soc.66(2015), no. 1, 1–15. 24 JEAN-PIERRE MAGNOT

2015
[10]

S. H. Christiansen and T. G. Halvorsen, A simplicial gauge theory,J. Math. Phys.53(2012), no. 3, 033501

2012
[11]

Crawford and C

G. Crawford and C. Williams, A note on the analysis of subjective judgment matrices,J. Math. Psychol. 29(1985), no. 4, 387–405

1985
[12]

Csató, Characterization of an inconsistency ranking for pairwise comparison matrices,Ann

L. Csató, Characterization of an inconsistency ranking for pairwise comparison matrices,Ann. Oper. Res.261(2018), no. 1, 155–165

2018
[13]

T. K. Dijkstra, On the extraction of weights from pairwise comparison matrices,Cent. Eur. J. Oper. Res.21(2013), no. 1, 103–123

2013
[14]

Fedrizzi and S

M. Fedrizzi and S. Giove, Incomplete pairwise comparison and consistency optimization,European J. Oper. Res.183(2007), no. 1, 303–313

2007
[15]

Fichtner, On deriving priority vectors from matrices of pairwise comparisons,Socio-Econ

J. Fichtner, On deriving priority vectors from matrices of pairwise comparisons,Socio-Econ. Plan. Sci. 20(1986), no. 6, 341–345

1986
[16]

Finkelshtein, Y

D. Finkelshtein, Y. Kondratiev, and O. Kutoviy, Semigroup approach to birth-and-death stochastic dynamics in continuum,J. Funct. Anal.262(2012), no. 3, 1274–1308

2012
[17]

D. S. Freed, Classical Chern–Simons theory. I,Adv. Math.113(1995), no. 2, 237–303

1995
[18]

J. R. Hance and S. Hossenfelder, What does it take to solve the measurement problem?J. Phys. Commun.6(2022), 102001

2022
[19]

P. T. Harker, Incomplete pairwise comparisons in the analytic hierarchy process,Math. Modelling9 (1987), no. 11, 837–848

1987
[20]

Hossenfelder, Minimal length scale scenarios for quantum gravity,Living Rev

S. Hossenfelder, Minimal length scale scenarios for quantum gravity,Living Rev. Relativ.16(2013), 2

2013
[21]

Hossenfelder, Screams for explanation: finetuning and naturalness in the foundations of physics, Synthese198(2021), Suppl

S. Hossenfelder, Screams for explanation: finetuning and naturalness in the foundations of physics, Synthese198(2021), Suppl. 16, 3727–3745

2021
[22]

Ishizaka and M

A. Ishizaka and M. Lusti, How to derive priorities in AHP: a comparative study,Cent. Eur. J. Oper. Res.14(2006), no. 4, 387–400

2006
[23]

A. N. Kochubei, Y. Kondratiev, and J. L. da Silva, From random times to fractional kinetics,Interdiscip. Stud. Complex Syst.16(2020), 5–32

2020
[24]

W. W. Koczkodaj, A new definition of consistency of pairwise comparisons,Math. Comput. Modelling 18(1993), no. 7, 79–84

1993
[25]

J. B. Kogut, An introduction to lattice gauge theory and spin systems,Rev. Modern Phys.51(1979), no. 4, 659–713

1979
[26]

Y.KondratievandE.Lytvynov, Glauberdynamicsofcontinuousparticlesystems,Ann. Inst. H. Poincaré Probab. Statist.41(2005), no. 4, 685–702

2005
[27]

Kondratiev, From time to times,Fract

Y. Kondratiev, From time to times,Fract. Calc. Appl. Anal.25(2022), no. 1, 1–14

2022
[28]

Kułakowski,Understanding the Analytic Hierarchy Process, Chapman & Hall/CRC, Boca Raton, FL, 2020

K. Kułakowski,Understanding the Analytic Hierarchy Process, Chapman & Hall/CRC, Boca Raton, FL, 2020

2020
[29]

Lévy,Yang–Mills Measure on Compact Surfaces, Memoirs of the American Mathematical Society, vol

T. Lévy,Yang–Mills Measure on Compact Surfaces, Memoirs of the American Mathematical Society, vol. 166, no. 790, American Mathematical Society, Providence, RI, 2003

2003
[30]

Lévy,Two-Dimensional Markovian Holonomy Fields, Astérisque, no

T. Lévy,Two-Dimensional Markovian Holonomy Fields, Astérisque, no. 329, Société Mathématique de France, Paris, 2010

2010
[31]

Lokka, B

A. Lokka, B. Øksendal, and F. Proske, Stochastic partial differential equations driven by Lévy space-time white noise,Ann. Appl. Probab.14(2004), no. 3, 1506–1528

2004
[32]

Magnot, A mathematical bridge between discretized gauge theories in quantum physics and ap- proximate reasoning in pairwise comparisons,Adv

J.-P. Magnot, A mathematical bridge between discretized gauge theories in quantum physics and ap- proximate reasoning in pairwise comparisons,Adv. Math. Phys.2018(2018), Article ID 7496762, 5 pp

2018
[33]

Magnot, On mathematical structures on pairwise comparisons matrices with coefficients in an abstract group arising from quantum gravity,Heliyon5(2019), no

J.-P. Magnot, On mathematical structures on pairwise comparisons matrices with coefficients in an abstract group arising from quantum gravity,Heliyon5(2019), no. 6, e01821

2019
[34]

Magnot, On stochastic cosurfaces and topological quantum field theories,Methods Funct

J.-P. Magnot, On stochastic cosurfaces and topological quantum field theories,Methods Funct. Anal. Topology28(2022), no. 3, 242–258

2022
[35]

Magnot, On random pairwise comparisons matrices and their geometry,J

J.-P. Magnot, On random pairwise comparisons matrices and their geometry,J. Appl. Anal.30(2024), no. 2, 345–361

2024
[36]

Magnot, J

J.-P. Magnot, J. Mazurek, and V. Čerňanová, A gradient method for inconsistency reduction of pairwise comparisons matrices,Internat. J. Approx. Reason.152(2023), 46–58

2023
[37]

S. Milz, F. Sakuldee, F. A. Pollock, and K. Modi, Kolmogorov extension theorem for (quantum) causal modelling and general probabilistic theories,Quantum4(2020), 255

2020
[38]

M. M. Rao, Projective limits of probability spaces,J. Multivariate Anal.1(1971), no. 1, 28–57

1971
[39]

Rovelli and F

C. Rovelli and F. Vidotto,Covariant Loop Quantum Gravity: An Elementary Introduction to Quantum Gravity and Spinfoam Theory, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, 2015

2015
[40]

T. L. Saaty,The Analytic Hierarchy Process: Planning, Priority Setting, Resource Allocation, McGraw– Hill, New York, 1980. PAIR WISE-COMPARISON-V ALUED COSURF ACES 25

1980
[41]

T. L. Saaty, Relative measurement and its generalization in decision making: why pairwise comparisons are central in mathematics for the measurement of intangible factors. The Analytic Hierarchy/Network Process,RACSAM Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat.102(2008), no. 2, 251–318

2008
[42]

Schwartz,Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures, Tata Institute of Fundamental Research Studies in Mathematics, no

L. Schwartz,Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures, Tata Institute of Fundamental Research Studies in Mathematics, no. 6, Oxford University Press, London, 1973

1973
[43]

A. N. Sengupta, The Yang–Mills measure forS2,J. Funct. Anal.108(1992), no. 2, 231–273

1992
[44]

A. N. Sengupta,Gauge Theory on Compact Surfaces, Memoirs of the American Mathematical Society, vol. 191, no. 896, American Mathematical Society, Providence, RI, 2008

2008
[45]

L. L. Thurstone, A law of comparative judgment,Psychol. Rev.34(1927), no. 4, 273–286

1927
[46]

K. G. Wilson, Confinement of quarks,Phys. Rev. D10(1974), no. 8, 2445–2459

1974
[47]

Yamasaki,Measures on Infinite-Dimensional Spaces, Series in Pure Mathematics, vol

Y. Yamasaki,Measures on Infinite-Dimensional Spaces, Series in Pure Mathematics, vol. 5, World Sci- entific, Singapore, 1985. SFR MATHSTIC, LAREMA, Université d’Angers, 2 Bd La voisier, 49045 Angers cedex 1, France; Lycée Jeanne d’Arc, 40 a venue de Grande Bretagne, 63000 Clermont-Ferrand, France; Lepage Research Institute, 17 novembra 1, 081 16 Presov, S...

1985