English
Related papers

Related papers: A Program For Geometric Arithmetic

200 papers

We use non-abelian fundamental groups to define a sequence of higher reciprocity maps on the adelic points of a variety over a number field satisfying certain conditions in Galois cohomology. The non-abelian reciprocity law then states that…

Number Theory · Mathematics 2015-05-18 Minhyong Kim

These notes contain a survey of some aspects of the theory of graded differential algebras and of noncommutative differential calculi as well as of some applications connected with physics. They also give a description of several new…

Quantum Algebra · Mathematics 2007-05-23 Michel Dubois-Violette

This is a chapter in an incoming book on aperiodic order. We review results about the topology, the dynamics, and the combinatorics of aperiodically ordered tilings obtained with the tools of noncommutative geometry.

Operator Algebras · Mathematics 2014-12-18 Antoine Julien , Johannes Kellendonk , Jean Savinien

The purpose of this paper is to give, on one hand, a mathematical exposition of the main topological and geometrical properties of geometric transitions, on the other hand, a quick outline of their principal applications, both in…

Algebraic Geometry · Mathematics 2015-06-26 Michele Rossi

This paper proposes a dynamical notion of discrete geodesics, understood as straightest trajectories in discretized curved spacetime. The notion is generic, as it is formulated in terms of a general deviation function, but readily…

Discrete Mathematics · Computer Science 2016-01-01 Pablo Arrighi , Gilles Dowek

We give a geometry of interaction model for a typed lambda-calculus endowed with operators for sampling from a continuous uniform distribution and soft conditioning, namely a paradigmatic calculus for higher-order Bayesian programming. The…

Programming Languages · Computer Science 2023-06-22 Ugo Dal Lago , Naohiko Hoshino

Many problems in computational geometry are not stated in graph-theoretic terms, but can be solved efficiently by constructing an auxiliary graph and performing a graph-theoretic algorithm on it. Often, the efficiency of the algorithm…

Computational Geometry · Computer Science 2009-08-28 David Eppstein

Algebraic statistics is concerned with the study of probabilistic models and techniques for statistical inference using methods from algebra and geometry. This article presents a list of open mathematical problems in this emerging field,…

Statistics Theory · Mathematics 2007-11-10 Bernd Sturmfels

We study computing geometric problems on uncertain points. An uncertain point is a point that does not have a fixed location, but rather is described by a probability distribution. When these probability distributions are restricted to a…

Computational Geometry · Computer Science 2012-05-03 Allan Jorgensen , Maarten Löffler , Jeff M. Phillips

This paper first gives a brief overview over some interesting descriptions of conic sections, showing formulations in the three geometric algebras of Euclidean spaces, projective spaces, and the conformal model of Euclidean space. Second…

Rings and Algebras · Mathematics 2013-06-06 Eckhard Hitzer

GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handling low-level data structures. The core of GP consists of four…

Logic in Computer Science · Computer Science 2010-04-08 Detlef Plump , Sandra Steinert

We showcase applications of nonlinear algebra in the sciences and engineering. Our review is organized into eight themes: polynomial optimization, partial differential equations, algebraic statistics, integrable systems, configuration…

In this paper, we present a series of techniques to describe General Relativity using Geometric Algebra (GA). We emphasize the physical interpretation of quantities and provide a step-by-step guide for performing calculations. In doing so,…

General Relativity and Quantum Cosmology · Physics 2024-07-26 Pablo Banon Perez , Maarten DeKieviet

The arithmetic mean/geometric mean-inequality (AM/GM-inequality) facilitates classes of non-negativity certificates and of relaxation techniques for polynomials and, more generally, for exponential sums. Here, we present a first systematic…

Optimization and Control · Mathematics 2021-12-09 Philippe Moustrou , Helen Naumann , Cordian Riener , Thorsten Theobald , Hugues Verdure

A topological field theory is used to study the cohomology of mapping space. The cohomology is identified with the BRST cohomology realizing the physical Hilbert space and the coboundary operator given by the calculations of tunneling…

High Energy Physics - Theory · Physics 2009-10-22 Yukinori Yasui , Satoshi Takahashi

The Geometric Algebra Transformer (GATr) is a versatile architecture for geometric deep learning based on projective geometric algebra. We generalize this architecture into a blueprint that allows one to construct a scalable transformer…

Machine Learning · Computer Science 2024-03-15 Pim de Haan , Taco Cohen , Johann Brehmer

We use a form of lifted harmonic analysis to develop a two-dimensional adelic integral representation of the zeta functions of simple arithmetic surfaces. Manipulations of this integral then lead to an adelic interpretation of the so-called…

Number Theory · Mathematics 2015-03-03 Thomas Oliver

While much of the current study on quantum computation employs low-level formalisms such as quantum circuits, several high-level languages/calculi have been recently proposed aiming at structured quantum programming. The current work…

Logic in Computer Science · Computer Science 2016-05-18 Ichiro Hasuo , Naohiko Hoshino

Gauge-invariance is a mathematical concept that has profound implications in Physics---as it provides the justification of the fundamental interactions. It was recently adapted to the Cellular Automaton (CA) framework, in a restricted case.…

Formal Languages and Automata Theory · Computer Science 2020-02-24 Pablo Arrighi , Giuseppe Di Molfetta , Nathanaël Eon

The chapter provides an introduction to the basic concepts of Algebraic Topology with an emphasis on motivation from applications in the physical sciences. It finishes with a brief review of computational work in algebraic topology,…

Mathematical Physics · Physics 2013-09-11 Vanessa Robins