相关论文: A Program For Geometric Arithmetic
Our goal is to define an algebraic language for reasoning about non-deterministic computations. Towards this goal, we introduce an algebra of string-to-string transductions. Specifically, it is an algebra of partial functions on words over…
Domain of mathematical logic in computers is dominated by automated theorem provers (ATP) and interactive theorem provers (ITP). Both of these are hard to access by AI from the human-imitation approach: ATPs often use human-unfriendly…
A hard hadron-collider event is treated here as a single geometric object - the kinematics and the discrete object-type labels of all reconstructed final-state particles encoded in one multivector $\evMV\in\Cl(1,3)\otimes\Vflav$ - rather…
Algebraic-geometrical n-orthogonal curvilinear coordinate systems in a flat space are constructed. They are expressed in terms of the Riemann theta function of auxiliary algebraic curves. The exact formulae for the potentials of algebraic…
We formulate a mathematical theory of auxetic behavior based on one-parameter deformations of periodic frameworks. Our approach is purely geometric, relies on the evolution of the periodicity lattice and works in any dimension. We…
Starting with a Hilbert space endowed with a representation of a unitary Lie algebra and an action of a generalized Dirac operator, we develop a mathematical concept towards gauge field theories. This concept shares common features with the…
An abstract mathematical framework is presented in this paper as a unification of several deformed or generalized algebra proposed recently in the context of generalized statistical theories intended to treat certain complex thermodynamic…
We develop techniques for computing zeta functions associated with nilpotent groups, not necessarily associative algebras, and modules, as well as Igusa-type zeta functions. At the heart of our method lies an explicit convex-geometric…
Historically, there have been many attempts to produce an appropriate mathematical formalism for modeling the nature of physical space, such as Euclid's geometry, Descartes' system of Cartesian coordinates, the Argand plane, Hamilton's…
This paper designs an alogrithm to compute the minimal combinations of finite sets in Euclidean spaces, and applys the algorithm of study the moment maps and geometric invariant stability of hypersurfaces. The classical example of cubic…
We introduce new yet easily accessible codes for elements of $GL_r(A)$ with $A$ the adelic ring of a (dimension one) function field over a finite field. They are linear codes, and coincide with classical algebraic geometry codes when $r=1$.…
A motivation of using noncommutative and nonarchimedean geometry on very short distances is given. Besides some mathematical preliminaries, we give a short introduction in adelic quantum mechanics. We also recall to basic ideas and tools…
We introduce the Arithmetic Site: an algebraic geometric space deeply related to the non-commutative geometric approach to the Riemann Hypothesis. We prove that the non-commutative space quotient of the adele class space of the field of…
This article presents a neural network approach for estimating the covariance function of spatial Gaussian random fields defined in a portion of the Euclidean plane. Our proposal builds upon recent contributions, expanding from the purely…
This book is expository and is in Russian. It is shown how in the course of solution of interesting geometric problems (close to applications) naturally appear main notions of algebraic topology (homology groups, obstructions and…
We introduce new non-abelian zeta functions for curves defined over finite fields. There are two types, i.e., pure non-abelian zetas defined using semi-stable bundles, and group zetas defined for pairs consisting of (reductive group,…
An approximate formulation of a robust geometric program (RGP) as a convex program is proposed. Interest in using geometric programs (GPs) to model complex engineering systems has been growing, and this has motivated explicitly modeling the…
This work is a collection of old and new aplications of Galois cohomology to the clasification of algebraic and arithmetical objects.
This is an integrated part of our Geo-Arithmetic Program. In this paper we initiate a geometrically oriented construction of non-abelian zeta functions for curves defined over finite fields by a weighted count of semi-stable bundles. Basic…
A computation method of algebraic local cohomology with parameters, associated with zero-dimensional ideal with parameter, is introduced. This computation method gives us in particular a decomposition of the parameter space depending on the…