Review Article | Open Access
Jean-Pierre Magnot, "A Mathematical Bridge between Discretized Gauge Theories in Quantum Physics and Approximate Reasoning in Pairwise Comparisons", Advances in Mathematical Physics, vol. 2018, Article ID 7496762, 5 pages, 2018. https://doi.org/10.1155/2018/7496762
A Mathematical Bridge between Discretized Gauge Theories in Quantum Physics and Approximate Reasoning in Pairwise Comparisons
We describe a mathematical link between aspects of information theory, called pairwise comparisons, and discretized gauge theories. The link is made by the notion of holonomy along the edges of a simplex. This correspondence leads to open questions in both fields.
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 , 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 gauge theories, where is a Lie group, and a selection of features in evaluation of inconsistency in pairwise comparisons with coefficients in Then we describe, following [1, 2], a straightforward extension of PC matrices with coefficients in to a general Lie group 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 with structure group and with base . We denote by the space of connections considered. If 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 which has to be minimized.
A discretized gauge theory is defined on a triangulation, a cubification or any other way to discretize the manifold , and the principal bundle can be often trivial. Let us highlight two kind of discretizations:(i)Whitney’s discretization , where a connection 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 generates a -approximation of , which -converges to when refining the triangulation. The action functional is then evaluated on the finite dimensional space of connections instead of the infinite dimensional space 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 , 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 .
2.2. Pairwise Comparisons, Consistency, and Inconsistency
A pairwise comparisons (PC) matrix is a matrixsuch that (i),(ii),(iii).
The coefficients are traditionally called ratios and are supposed to translate into a score the comparison of two states with numbers and When there exists a family of positive real numbers such thatthe PC matrix is called consistent. When it is not consistent, the formuladoes not hold for at least one choice of indexes 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 , relative to the PC matrixwhich do not have the “morphism of groupoid” property such asThe 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 mapscalled 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  and generalized in ) 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)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 ), we haveThe expression stands for the distance of the triad to the “nearest” consistent PC matrix. When this distance increases, the 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, is evaluated on each matrix, taking the supremum of the obtained values.
Another possible definition of the inconsistency indicator can also be defined (following ) as since the matrix is consistent if and only if for any the following equation holds:This is equivalent to
One of the main features in applications is to minimize the inconsistency indicator This is the reason why, instead of using the inconsistency indicator 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 PC matrices, is a 2-dimensional manifold of matrices of the formUnfortunately, 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 to any Lie group . In the setting of gauge theories, 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 . Let be a set of indexes among , , or for some
Definition 1. Let be a group. A PC matrix is a matrix such that(1),(2), where is the inversion in ,(3)
The matrix is covariantly consistent if
Due to the contravariant composition thereafter, we will use the following notion: the PC matrix is contravariantly consistent ifThese two notions are dual and depend on which order we require for the group multiplication. Similarly, a contravariant consistent PC matrix generates a covariant consistent PC matrix setting 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 .
Let andbe an -simplex. This simplex can be generalized to the infinite dimension:where the summation over is done by integration with respect to the counting measure. In the sequel, will denote , or Let be the -vertices of Since is smoothly contractible, any -principal bundle over is isomorphic to and a -connection 1-form on is a 1-form , which extends to a -covariant 1-form in , with respect to the coadjoint action of on We define a gauge with where the piecewise smooth paths are defined by the standard composition of the paths along -vertices of setting:Let Hol the (mathematical) holonomy on loops relative to a fixed connection We set Let us recall that, for two paths and such that exists (i.e., ), if , and , we have This enables the (physics) definition of holonomy present, for example, in  that we apply to the edges and identify with the coefficients :
In the light of these specifications, we set, for any connection , and the required notion of consistency is contravariant consistency.
Proposition 3. is a PC matrix with coefficients in
Proof. This follows from holonomy in “reverse orientation.”
Let be the loop based on along the border of the oriented 2-vertex , where is the composition of paths.
Contravariant consistency seems to fit naturally with flatness of connections: By fixing an indicator map, defined in  asto , we get a generalization of the inconsistency indicator by settingFor example, if is a left-invariant distance on , a natural indicator map can be
Such definitions extend to triangularized manifolds along the lines of , 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 . We then recover the discretization of connections via holonomies described in . When In (classical) pairwise comparisons, matrix coefficients are scalar, which enable simplifying the settings obtained. The indicator appears as the distance of the holonomy of the loop 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 small enough. Again for Koczkodaj’s ii, it is trivial to see that the sets form a filter base of open neighborhoods of the set of consistent PC matrices. The analog for continuum gauge theories is considering 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 . 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
On the other hand, considering flat connections, or only connections such that 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 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 , which is an alternative approach to the classical integration with respect to the heuristic Lebesgue integral (see, e.g., ). 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.
- W. W. Koczkodaj and J-P. Magnot, https://pdfs.semanticscholar.org/4c22/f469004fd0e03172e661c1611945eb3348a6.pdf.
- J.-P. Magnot, “On pairwise comparisons with values in a group: algebraic structures,” 2016, https://arxiv.org/abs/1608.07468.
- J.-P. Magnot, Remarks on a new possible discretization scheme for gauge theories, https://arxiv.org/abs/1706.09518.
- 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.
- 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.
- W. W. Koczkodaj, “A new definition of consistency of pairwise comparisons,” Mathematical and Computer Modelling, vol. 18, no. 7, pp. 79–84, 1993.
- W. W. Koczkodaj and R. Szwarc, “On axiomatization of inconsistency indicators for pairwise comparisons,” Fundamenta Informaticae, vol. 132, no. 4, pp. 485–500, 2014.
- S. Albeverio and R. Høegh-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.
- S. Albeverio, R. Hoegh-Krohn, and H. Holden, “Markov cosurfaces and gauge fields,” Acta Physica Austriaca, no. Supplement 26, pp. 211–231, 1984.
- S. A. Albeverio, R. J. Høegh-Krohn, and S. Mazzuchi, Mathematical Theory of Feynman Path Integrals; An Introduction, vol. 523 of Lecture Notes in Mathematics 523, Springer, 2005.
- 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.
- A. Hahn, “The Wilson loop observables of Chern-Simons theory on ℝ3 in axial gauge,” Communications in Mathematical Physics, vol. 248, no. 3, pp. 467–499, 2004.
- 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.
- 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.
- H. Reinhardt, “Yang-Mills in axial gauge,” Physical Review, vol. 55, pp. 2331–2346, 1997.
- C. Rovelli and F. Vidotto, Covariant Loop Quantum Gravity, Cambridge University Press, Cambridge, UK, 2014.
- 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.
- 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.
- A. N. Sengupta, “Connections over two-dimensional cell complexes,” Reviews in Mathematical Physics, vol. 16, no. 3, pp. 331–352, 2004.
- H. Whitney, Geometric Integration Theory, Princeton University Press, Princeton, NJ, USA, 1957.
Copyright © 2018 Jean-Pierre Magnot. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.