Related papers: A Program For Geometric Arithmetic
This work is a dissertation thesis written at the WWU Muenster (Germany), supervised by Prof. Dr. Raimar Wulkenhaar. We present an approach to adelic physics based on the language of algebraic spaces. Relative algebraic spaces X over a base…
The pursue of what are properties that can be identified to permit an automated reasoning program to generate and find new and interesting theorems is an interesting research goal (pun intended). The automatic discovery of new theorems is a…
The article presents a new approach to euclidean plane geometry based on projective geometric algebra (PGA). It is designed for anyone with an interest in plane geometry, or who wishes to familiarize themselves with PGA. After a brief…
We present a framework for analyzing non-linear $\mathbb{R}^d$-valued subdivision schemes which are geometric in the sense that they commute with similarities in $\mathbb{R}^d$. It admits to establish $C^{1,\alpha}$-regularity for arbitrary…
In this paper we define a notion of gerbed tower, and use this notion to give a geometric representation of cohomological classes.
The concept of viewing graph solvability has gained significant interest in the context of structure-from-motion. A viewing graph is a mathematical structure where nodes are associated to cameras and edges represent the epipolar geometry…
Geometric complexity theory (GCT) is an approach to the $P$ vs. $NP$ and related problems. A high level overview of this research plan and the results obtained so far was presented in a series of three lectures in the Institute of Advanced…
Real algebraic geometry is the study of semi-algebraic sets, subsets of $\R^k$ defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry,…
This paper is mainly a semi-tutorial introduction to elementary algebraic topology and its applications to Ising-type models of statistical physics, using graphical models of linear and group codes. It contains new material on systematic…
This is a research announcement on what is best termed `nonlocal' methods in mathematics. (This is not to be confused with global analysis.) The nonlocal formulation of physics in \cite{principia} points to a fresh viewpoint in mathematics:…
Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling…
The concept of geometric-arithmetic index was introduced in the chemical graph theory recently, but it has shown to be useful. The aim of this paper is to obtain new inequalities involving the geometric-arithmetic index $GA_1$ and…
These notes are an expanded version of the author's lectures at the graduate workshop "Noncommutative Algebraic Geometry" at the Mathematical Sciences Research Institute in June 2012. The main topics discussed are Artin-Schelter regular…
The notion of geometric construction is introduced. This notion allows to compare incidence configurations in the algebraic and tropical plane. We provide an algorithm such that, given a tropical instance of a geometric construction, it…
Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to…
Mathematical proof is undoubtedly the cornerstone of mathematics. The emergence, in the last years, of computing and reasoning tools, in particular automated geometry theorem provers, has enriched our experience with mathematics immensely.…
Any procedure applied to data, and any quantity derived from data, is required to respect the nature and symmetries of the data. This axiom applies to refinement procedures and multiresolution transforms as well as to more basic operations…
The polynomial affine model of gravity was proposed as an alternative to metric and metric-affine gravitational models. What at the beginning was thought as a source of unpredictability, the presence of many terms in the action, turned out…
The purpose of this book is to build up the fundament of an Arakelov theory over adelic curves in order to provide a unified framework for the researches of arithmetic geometry in several directions.
For finite dimensional real Lie algebras, we investigate the existence of an inner product having a basis comprised of geodesic elements. We give several existence and non-existence results in certain cases: unimodular solvable Lie algebras…