Printer Friendly

A Mathematical Bridge between Discretized Gauge Theories in Quantum Physics and Approximate Reasoning in Pairwise Comparisons.

1. Introduction

We present here an overview, addressed to physicists, of a possible bridge between gauge theories (and also some aspects of quantum gravity) with pairwise comparisons matrices and their applications in information theory and approximate reasoning. This is the reason why we rapidly summarize features in physics (assuming that they are known by the reader) and give more details for selected features on pairwise comparisons (PC) matrices (assuming that this field is less known). This paper is a companion work to [1-3] where, after a tentative in [4], the extension of the notion of classical PC matrices to matrices with coefficients in a group is considered, partially motivated (in my case) by the striking similarities with mathematical constructions in discretized gauge theories. A not complete list of reference about PC matrices is [5-7], oriented in our perspective, and a very partial list of references about gauge theories and their discretized forms is [8-19].

We begin with an oriented survey of selected problems in discretization of G-gauge theories, where G is a Lie group, and a selection of features in evaluation of inconsistency in pairwise comparisons with coefficients in [R.sup.*.sub.+]. Then we describe, following [1, 2], a straightforward extension of PC matrices with coefficients in [R.sup.*.sub.+] to a general Lie group G.

The link with gauge theories is performed via holonomy, which appears in discretizations described in [3, 16]. In order to make a link with questions raised by computer scientists in private communications, we have to precise that any matrix group is a finite dimensional Lie group and that most finite dimensional groups can be expressed as matrix groups, for inversion and multiplication of matrices. We finish with the possible interpretations in both sides of this correspondence, first from quantities on PC matrices to gauge theories and secondly from second quantization to approximate reasoning.

2. A Short and Not Complete Survey of Each Field of Knowledge

We present here the two fields under consideration, discretized gauge theories and pairwise comparisons in approximate reasoning, in a way to highlight the correspondence.

2.1. Gauge Theories Discretized. The phase space of a (continuum) gauge theory is a space of connections on a (finite dimensional) principal bundle P with structure group G and with base M. We denote by C(P) the space of connections considered. If M is not compact and Riemannian, one often uses the space of connections which are smooth and square-integrable. A gauge theory is defined by an action functional S : C(P) [right arrow] R which has to be minimized.

A discretized gauge theory is defined on a triangulation, a cubification or any other way to discretize the manifold M, and the principal bundle P can be often trivial. Let us highlight two kind of discretizations:

(i) Whitney's discretization [20], where a connection [theta] [member of] C(P) is integrated on the 1-vertices of the chosen triangulation. This mimics a finite element method of approximation for scalar functions, and the discretized connection [[theta].sub.W] generates a [H.sup.1]-approximation [??] of [theta], which [H.sup.1]-converges to [theta] when refining the triangulation. The action functional S is then evaluated on the finite dimensional space of connections [??] instead of the infinite dimensional space C(P). This is, to our knowledge the most widely developed approach, but this approach seems to fail partially for nonabelian theories, partly because the trivialization is not gauge covariant. This leads to gauge-fixing strategies.

(ii) Holonomy discretization, mostly inspired by the ideas of quantum gravity [16], where connections along the edges are discretized through their holonomy. This approach requires mathematical precisions by fixing a preliminary gauge on the 1-vertices of the discretized manifold, but in a final analysis, only theories depending of secondary characteristic classes (e.g., Chern-Simons theory) can give rise to pathologies in gauge covariance, whereas gauge theories arising from primary characteristic classes (e.g., Yang-Mills theories) are fully gauge covariant when discretized [3].

2.2. Pairwise Comparisons, Consistency, and Inconsistency. A n x n pairwise comparisons (PC) matrix is a matrix

[mathematical expression not reproducible] (1)

such that

(i) [for all](i,j) [member of] [N.sup.2.sub.n], [a.sub.i,j] [member of] [R.sup.*.sub.+],

(ii) [for all]i [member of] [N.sub.n], [a.sub.i,i] = 1,

(iii) [for all](i,j) [member of] [N.sup.2.sub.n], [a.sub.i,j] = [a.sup.-1.sub.j,i].

The coefficients [a.sub.i,j] are traditionally called ratios and are supposed to translate into a score the comparison of two states with numbers i and j. When there exists a family of positive real numbers [[lambda].sub.1], ..., [[lambda].sub.n] such that

[a.sub.i,j] = [[lambda].sub.i]/[[lambda].sub.j], [for all](1,j) [member of] [N.sup.2.sub.n], (2)

the PC matrix A is called consistent. When it is not consistent, the formula

[a.sub.i,k] x [a.sub.k,j] = [a.sub.i,j] (3)

does not hold for at least one choice of indexes (i, j, k) [member of] [N.sup.3.sub.n]. By the way, it is easy to explain the inconsistency in PC matrices when we consider cycles of three comparisons, called triads and represented here as (x,y,z) [member of] [([R.sup.*.sub.+]).sup.3], relative to the PC matrix

[mathematical expression not reproducible], (4)

which do not have the "morphism of groupoid" property such as

x x z [not equal to] y. (5)

The use of "inconsistency" has a meaning of a measure of inconsistency in this study, not the concept itself. In order to measure inconsistency, we define maps

ii: PC matrices [right arrow] [R.sub.+], (6)

called inconsistency indicators, which are vanishing on consistent PC matrices and which intend to measure the lack of consistency, that is, intuitively speaking, the distance of a PC matrix to the nearest consistent PC matrix. In applications, PC matrices are modified with algorithms (which are often recursive) in order to minimize the chosen inconsistency indicator. One approach to inconsistency (originated in [6] and generalized in [5]) can be reduced to a simple observation:

(i) Search all triads (which generate all 3 by 3 PC submatrices) and locate the worst triad with an inconsistency indicator (ii).

(ii) The inconsistency indicator evaluated on the worst triad becomes the inconsistency indicator evaluated on the entire PC matrix.

Expressing it a bit more formally in terms of triads (the upper triangle of a PC submatrix 3 x 3), we have

[ii.sub.3](x,y,z) = 1 - min {y/xz, xz/y} = 1 - [e.sup.-[absolute value of (ln(y/xz))]. (7)

The expression [absolute value of (ln(y/xz))] stands for the distance of the triad T to the "nearest" consistent PC matrix. When this distance increases, the ii(x, y, z) also increases. It is important to notice here that this definition allows us to localize the inconsistency in the PC matrix, which is of importance for most applications. For higher rank matrices, [ii.sub.3] is evaluated on each 3 x 3 matrix, taking the supremum of the obtained values.

Another possible definition of the inconsistency indicator can also be defined (following [7]) as

[mathematical expression not reproducible] (8)

since the matrix A is consistent if and only if for any 1 [less than or equal to] i < j [less than or equal to] n the following equation holds:

[a.sub.ij] = [a.sub.i,i+1][a.sub.i+1,i+2] ... [a.sub.j-1,j]. (9)

This is equivalent to

[mathematical expression not reproducible]. (10)

One of the main features in applications is to minimize the inconsistency indicator ii. This is the reason why, instead of using the inconsistency indicator ii defined before, there is plethora of inconsistency indicators. Each inconsistency indicator intends to measure how far a PC matrix is from the set of consistent PC matrices, which, for 3 x 3 PC matrices, is a 2-dimensional manifold of matrices of the form

[mathematical expression not reproducible]. (11)

Unfortunately, the notion and the theory of inconsistency indicators are not actually fixed and achieved, and many competing, incompatible approaches are actually developed. In order to relate PC matrices to gauge theories, we need to generalize (quite straightway) the framework described before, changing the group [R.sup.*.sub.+] to any Lie group G. In the setting of gauge theories, G is in most cases a finite dimensional, compact (or at least unimodular) group which can be represented as a matrix group. But this assumption is not technically necessary for the generalization and will be only recovered when discussing the possible correspondences announced.

3. The Matrix of Holonomies and Pairwise Comparisons

We first follow [2]. Let I be a set of indexes among Z, N, or {0, ..., n} for some n [member of] [N.sup.*].

Definition 1. Let (G, ?) be a group. A PC matrix is a matrix

[mathematical expression not reproducible] (12)

such that

(1) [for all](i,j) [member of] [I.sup.2], [a.sub.i,j] [member of] G,

(2) [for all](i, j) [member of] [I.sup.2], [a.sub.j,i] = [a.sup.-1.sub.i,j], where - 1 is the inversion in G,

(3) [a.sub.i,i] = [1.sub.G].

The matrix A is covariantly consistent if

[a.sub.i,j] x [a.sub.j,k] = [a.sub.i,k], [for all](i,j,k) [member of] [I.sup.3]. (13)

Due to the contravariant composition thereafter, we will use the following notion: the PC matrix is contravariantly consistent if

[a.sub.j,k] x [a.sub.i,j] = [a.sub.i,k], [for all](i,j,k) [member of] [I.sup.3]. (14)

These two notions are dual and depend on which order we require for the group multiplication. Similarly, a contravariant consistent PC matrix [mathematical expression not reproducible] generates a covariant consistent PC matrix [mathematical expression not reproducible] setting

[b.sub.i,j] = [a.sup.-1.sub.i,j] = [a.sub.j,i] in G. (15)

For convenience, we use the term covariant PC matrix (resp., contravariant PC matrix) when covariant consistency (resp., contravariant consistency) is naturally required. In order to make the difference more clear with the more general cases described in next section, we have to recall that each coefficient here is in a group, and hence there is no vanishing coefficient in the matrix A.

Theorem 2.

[mathematical expression not reproducible]. (16)

[mathematical expression not reproducible] (17)

be an n-simplex. This simplex can be generalized to the infinite dimension:

[mathematical expression not reproducible], (18)

where the summation over Z is done by integration with respect to the counting measure. In the sequel, [DELTA] will denote [[DELTA].sub.n],[[DELTA].sub.N], or [A.sub.Z]. Let ([s.sub.i]) be the 0-vertices of [DELTA]. Since [DELTA] is smoothly contractible, any G-principal bundle over [DELTA] is isomorphic to [DELTA] x G and a G-connection 1-form on [DELTA] is a 1-form [theta] [member of] [[OMEGA].sup.1]([DELTA], g), which extends to a G-covariant 1-form in [[OMEGA].sup.1]([DELTA], g), with respect to the coadjoint action of G on g. We define a gauge ([g.sub.i])i[member of]I] [member of] [G.sup.I] with [[??].sub.i](1) = ([[gamma].sub.i](1),[g.sub.i]) where the piecewise smooth paths [[gamma].sub.i] are defined by the standard composition * of the paths along 1-vertices [[s.sub.j],[s.sub.j+1]] of [DELTA] setting:

[[gamma].sub.i] = [[s.sub.0],[s.sub.1]] * ... * [[s.sub.i-1],[s.sub.i]] if i > 0,

[[gamma].sub.i] = [[s.sub.0],[s.sub.-1]] * ... * [[s.sub.i+1],[s.sub.i]] if i < 0 (19)

Let Hol the (mathematical) holonomy on loops relative to a fixed connection [theta]. We set [mathematical expression not reproducible]. Let us recall that, for two paths c and c' such that c * c' exists (i.e., c(1) = c'(0)), if p = (c(0), [e.sub.G]), p' = (c'(0), [e.sub.G]), and h = [Hol.sub.p]c, we have

[Hol.sub.p] (c * c') = [Hol.sub.p] (c) x ([h.sup.-1] [Hol.sub.p]' (c') h) = [Hol.sub.p]', (c') x [Hol.sub.p] (c). (20)

This enables the (physics) definition of holonomy present, for example, in [16] that we apply to the edges [[s.sub.i], [s.sub.j]] and identify with the coefficients [a.sub.i,j]:

[mathematical expression not reproducible]. (21)

In the light of these specifications, we set, for any connection [theta] [member of] [[OMEGA].sup.1] ([DELTA], g),

A = Mat ([a.sub.i,j]) (22)

and the required notion of consistency is contravariant consistency.

Proposition 3. A is a PC matrix with coefficients in G.

Proof. This follows from holonomy in "reverse orientation."

Let [[gamma].sub.i,j,k] = [[gamma].sub.i] * [[s.sub.i],[s.sub.j]] * [[s.sub.j],[s.sub.k]] * [[s.sub.k],[s.sub.i]] * [[gamma].sup.-1.sub.i] be the loop based on [s.sub.i] along the border of the oriented 2-vertex [[s.sub.i], [s.sub.j], [s.sub.k]], where * is the composition of paths.

Contravariant consistency seems to fit naturally with flatness of connections:

[mathematical expression not reproducible]. (23)

By fixing an indicator map, defined in [4] as

In : G [right arrow] [R.sub.+] (24)

to In([1.sub.G]) = 0, we get a generalization of the inconsistency indicator by setting

[ii.sub.In] = sup {In (Hol ([[gamma].sub.i,j,k])) | (i, j, k) [member of] [I.sup.3]}. (25)

For example, if d is a left-invariant distance on G, a natural indicator map can be

In : g [right arrow] d([1.sub.G],[g.sup.-1]). (26)

Such definitions extend to triangularized manifolds along the lines of [3], where one can see that the notion of holonomy on a manifold can be discretized, inserting "gaps" (i.e., 0 entries) on a larger matrix gathering all the PC matrices over the simplexes of the triangulation, along the lines of [2]. We then recover the discretization of connections via holonomies described in [16]. When G = [R.sup.*.sub.+] In (classical) pairwise comparisons, matrix coefficients are scalar, which enable simplifying the settings obtained. The indicator [ii.sub.n] appears as the distance of the holonomy of the loop [[s.sub.i][s.sub.i+1] ... [s.sub.i+n][s.sub.i]] to identity.

4. Correspondences and Open Questions

We give the table of correspondences (see Table 1) that we comment on. We first highlight how the notions on PC matrices correspond to geometric objects.

Minimization of inconsistency is an important feature for applications of PC matrices. For decision making, it consists in adapting slightly the parameters of the studied situation in order to make "approximately consistent" choices. In order to check if the adapted PC matrix is "approximately consistent," the criteria are given by the chosen inconsistency indicator, for example, Koczkodaj's ii, which needs to have a value [epsilon] [greater than or equal to] 0 small enough. Again for Koczkodaj's ii, it is trivial to see that the sets

[V.sub.[epsilon]] = [ii.sup.-1.sub.3] [0;[epsilon][ (27)

form a filter base of open neighborhoods of the set of consistent PC matrices. The analog for continuum gauge theories is considering

[mathematical expression not reproducible]. (28)

This defines a filter base of open neighborhoods of the set of 0-curvature connections. This leads to the following open problem.

On one hand, the procedures developed to get consistencizations of PC matrices are specific to the case G = [R.sup.*.sub.+]. However, there exist many methods for minimizing functional, and one may wonder whether minimization of the curvature norm has a physical meaning. The corresponding physical quantity would be the Yang-Mills action functional, but we get here an average value instead of a supremum. This questions the choice of the supremum in the formula

[ii.sub.3] (A)

= sup {[ii.sub.3] (B) | B is a 3 x 3 PC submatrix of A}.

On the other hand, considering flat connections, or only connections such that [OMEGA] = d[theta] is a common feature in gauge fixing. Since minimal states represent stable solutions, consistencization may appear as a way to equilibrium.

Let us now reverse the perspective and consider second quantization. We now analyze how the Feynman-like integration (i.e., cylindrical integration for discretized theories) may arise in PC matrices (see Table 2).

If G is compact, we can assume that it is of volume 1. In this case, there is a convergence at the continuum limit to an integral. This is the approach suggested in [16], which is an alternative approach to the classical integration with respect to the heuristic Lebesgue integral (see, e.g., [10]). On one hand, for both cases, the possible interpretations in terms of applications of PC matrices are not investigated. Heuristically, measures on PC matrices may arise when evaluations are random, or subject to measurement errors. On the other hand, PC matrices may furnish an interpretation in terms of information theory of Feynman type integration.

Conflicts of Interest

The author declares that there are no conflicts of interest with respect to the publication of this paper.


[1] W. W. Koczkodaj and J-P. Magnot, https://pdfs.semanticscholar .org/4c22/f469004fd0e03172e661c1611945eb3348a6.pdf.

[2] J.-P. Magnot, "On pairwise comparisons with values in a group: algebraic structures," 2016,

[3] J.-P. Magnot, Remarks on a new possible discretization scheme for gauge theories,

[4] W. W. Koczkodaj, J. Szybowski, and E. Wajch, "Inconsistency indicator maps on groups for pairwise comparisons," International Journal of Approximate Reasoning, vol. 69, pp. 81-90, 2016.

[5] Z. Duszak and W. W. Koczkodaj, "Generalization of a new definition of consistency for pairwise comparisons," Information Processing Letters, vol. 52, no. 5, pp. 273-276, 1994.

[6] W. W. Koczkodaj, "A new definition of consistency of pairwise comparisons," Mathematical and Computer Modelling, vol. 18, no. 7, pp. 79-84, 1993.

[7] W. W. Koczkodaj and R. Szwarc, "On axiomatization of inconsistency indicators for pairwise comparisons," Fundamenta Informaticae, vol. 132, no. 4, pp. 485-500, 2014.

[8] S. Albeverio and R. H0egh-Krohn, "Brownian Motion, Markov Cosurfaces, Higgs Fields," in Fundamental Aspects of Quantum Theory, vol. 144 of NATO ASI Series, pp. 95-104, Springer US, Boston, MA, 1986.

[9] S. Albeverio, R. Hoegh-Krohn, and H. Holden, "Markov cosurfaces and gauge fields," Acta Physica Austriaca, no. Supplement 26, pp. 211-231, 1984.

[10] S. A. Albeverio, R. J. H0egh-Krohn, and S. Mazzuchi, Mathematical Theory of Feynman Path Integrals; An Introduction, vol. 523 of Lecture Notes in Mathematics 523, Springer, 2005.

[11] S. Albeverio and B. Zegarlinski, "Construction of convergent simplicial approximations of quantum fields on Riemannian manifolds," Communications in Mathematical Physics, vol. 132, no. 1, pp. 39-71, 1990.

[12] A. Hahn, "The Wilson loop observables of Chern-Simons theory on R3 in axial gauge," Communications in Mathematical Physics, vol. 248, no. 3, pp. 467-499, 2004.

[13] M. Q. Huber, D. R. Campagnari, and H. Reinhardt, "Vertex functions of Coulomb gauge Yang-Mills theory," Physical Review D: Particles, Fields, Gravitation and Cosmology, vol. 91, article 025014, no. 2, 2015.

[14] A. P. Lim, "Non-abelian gauge theory for Chern-Simons path i ntegral on R3," Journal of Knot Theory and Its Ramifications, vol. 21, article 1250039, no. 04, 2012.

[15] H. Reinhardt, "Yang-Mills in axial gauge," Physical Review, vol. 55, pp. 2331-2346, 1997.

[16] C. Rovelli and F. Vidotto, Covariant Loop Quantum Gravity, Cambridge University Press, Cambridge, UK, 2014.

[17] S. Sen, S. Sen, J. C. Sexton, and D. H. Adams, "Geometric discretization scheme applied to the Abelian Chern-Simons theory," Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, vol. 61, no. 3, pp. 3174-3185, 2000.

[18] A. N. Sengupta, "Yang-Mills in two dimensions and Chern-Simons in three," in Chern-Simons Theory: 20 years after, J. Anderson, H. U. Boden, A. Hahn, and B. Himpel, Eds., pp. 311-320, AMS/IP Studies in Advanced Mathematics, 2011.

[19] A. N. Sengupta, "Connections over two-dimensional cell complexes," Reviews in Mathematical Physics, vol. 16, no. 3, pp. 331-352, 2004.

[20] H. Whitney, Geometric Integration Theory, Princeton University Press, Princeton, NJ, USA, 1957.

Jean-Pierre Magnot (iD)(1,2)

(1) LAREMA, UMR CNRS 6093, Universite d'Angers, 2 bd Lavoisier, 49045 Angers Cedex 1, France

(2) Lycee Jeanne d'Arc, 40 avenue de Grande Bretagne, 63000 Clermont-Ferrand, France

Correspondence should be addressed to Jean-Pierre Magnot;

Received 2 October 2017; Revised 16 December 2017; Accepted 26 December 2017; Published 23 January 2018

Academic Editor: Andrei D. Mironov
Table 1

                         Discretized gauge
PC matrices                   theories

Consistency                  0-holonomy

Consistency in           0-holonomy on the
3 x 3 matrices         border of a 2-simplex

Koczkodaj's        sup d(Hol([partial derivative]
inconsistency      [[DELTA].sub.2]), [1.sub.G])
indicator ii        when [[DELTA].sub.2] is any
                         2-simplex of the

Minimization                     ?
of inconsistency

PC matrices               gauge theories

Consistency                0-curvature

Consistency in          [OMGA](X, Y) = 0
3 x 3 matrices          with X, Y tangent
                        to [[DELTA].sub.2]

Koczkodaj's                [sup.sub.M]
inconsistency      [parallel][OMEGA][parallel]
indicator ii

Minimization           Minimization of the
of inconsistency          curvature norm

Table 2

Continuum         Discretized
integration        integration       PC matrices

Heuristic       Lebesgue measure          ?
Lebesgue       (finite dimension,
measure             Whitney

Integral       Product measure on   Measures on
to be           [G.sup.n(n-1)/2       n x n PC
studied        (G compact), on the    matrices
               discretization by
COPYRIGHT 2018 Hindawi Limited
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2018 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Author:Magnot, Jean-Pierre
Publication:Advances in Mathematical Physics
Article Type:Report
Geographic Code:1USA
Date:Jan 1, 2018
Previous Article:On the Periodic Orbits of Four-Particle Time-Dependent FPU Chains.
Next Article:A New Integrable Variable-Coefficient 2 + 1-Dimensional Long Wave-Short Wave Equation and the Generalized Dressing Method.

Terms of use | Privacy policy | Copyright © 2021 Farlex, Inc. | Feedback | For webmasters |