Search

There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and they can be used for the usual examples of commutative rings. To the contrary of the classical versions, the constructive versions have a clear computational content. This paper investigates the computational relationship between three possible constructive definitions of the valuative dimension of a commutative ring. In doing so, it proves these constructive versions to be equivalent within constructive mathematics. [ABSTRACT FROM AUTHOR]

In this paper, we give an example of a statement concerning two-player zero-sum games which is undecidable, meaning that it can neither be proven or disproven by the standard axioms of mathematics. Earlier work has shown that there exist "paradoxical" two-player zero-sum games with unbounded payoffs, in which a standard calculation of the two players' expected utilities of a mixed strategy profile yield a positive sum. We show that whether or not a modified version of this paradoxical situation, with bounded payoffs and a weaker measurability requirement, exists is an unanswerable question. Our proof relies on a mixture of techniques from set theory and ergodic theory. [ABSTRACT FROM AUTHOR]

In this paper, we provide generating functions and counting formulas for spanning trees and spanning forests in hypergraphs in two different ways: (1) We represent spanning trees and spanning forests in hypergraphs through Berezin-Grassmann integrals on Zeon algebra and hyper-Hafnians (orders and signs are not considered); (2) We establish a Hyper-Pfaffian-Cactus Spanning Forest Theorem through Berezin-Grassmann integrals on Grassmann algebra (orders and signs are considered), which generalizes the Hyper-Pfaffian-Cactus Theorem by Abdesselam (2004) [1] and Pfaffian matrix tree theorem by Masbaum and Vaintrob (2002) [15]. • We provide generating functions and counting formulas for spanning trees and spanning forests in hypergraphs through Berezin-Grassmann integrals on Zeon algebra and hyper- Hafnians when orders and signs are not considered. • We establish a Hyper-Pfaffian-Cactus Spanning Forest Theorem through Berezin-Grassmann integrals on Grassmann algebra (orders and signs are considered), which generalizes the Hyper-Pfaffian-Cactus Theorem by Abdesselam [Advances in Applied Mathematics (2004) Vol. 33: 51-70] and Pfaffian matrix tree theorem by Masbaum and Vaintrob [Internat. Math. Res. Notices (2002) Vol. 27: 1397-1426]. [ABSTRACT FROM AUTHOR]

In the paper, we construct compact embedded convex λ -hypersurfaces which are diffeomorphic to a sphere and are not isometric to a standard sphere. As the special case of our result, we solve Sun's problem (Int. Math. Res. Not. (2021) 11818–11844). In this sense, one can not expect to have Alexandrov type theorem for λ -hypersurfaces. [ABSTRACT FROM AUTHOR]