Related papers: Four redundant axiomatics
Minimizing the Euclidean distance to a set arises frequently in applications. When the set is algebraic, a measure of complexity of this optimization problem is its number of critical points. In this paper we provide a general framework to…
The classification of 4-dimensional naturally reductive pseudo-Riemannian spaces is given. This classification comprises symmetric spaces, the product of 3-dimensional naturally reductive spaces with the real line and new families of…
A method is presented that reduces the number of terms of systems of linear equations (algebraic, ordinary and partial differential equations). As a byproduct these systems have a tendency to become partially decoupled and are more likely…
We discuss four different constructions of vector space bases associated to vanishing ideals of points. We show how to compute normal forms with respect to these bases and give new complexity bounds. As an application, we improve the…
We prove that any separable AM-space $X$ has an equivalent lattice norm for which no non-trivial surjective lattice isometries exist. Moreover, if $X$ has no more than one atom, then this new norm may be an AM-norm. As our main tool, we…
Transformer models contain substantial internal redundancy arising from coordinate-dependent representations and continuous symmetries, in model space and in head space, respectively. While recent approaches address this by explicitly…
The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…
We study the range of validity of differentiation theorems and ergodic theorems for $\R^d$ actions, for averages on "thick spheres" of Euclidean space.
Implementations of known reductions of the Strong Real Jacobian Conjecture (SRJC), to the case of an identity map plus cubic homogeneous or cubic linear terms, and to the case of gradient maps, are shown to preserve significant algebraic…
In this article, I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us (the…
We overview main topics and ideas in spaces with their scalar curvatures bounded from below, and present a more detailed exposition of several known and some new geometric constraints on Riemannian spaces implied by the lower bounds on…
We extend to natural deduction the approach of Linear Nested Sequents and of 2-sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal systems in the original spirit of natural deduction -- only one…
We introduce a generalization of the Euclidean algorithm for rings equipped with an involution, and completely enumerate all isomorphism classes of orders over definite, rational quaternion algebras equipped with an orthogonal involution…
A family of naturally reductive pseudo-Riemannian spaces is constructed out of the representations of Lie algebras with ad-invariant metrics. We exhibit peculiar examples, study their geometry and characterize the corresponding naturally…
The automorphisms of all 4-dimensional, real Lie Algebras are presented in a comprehensive way. Their action on the space of $4\times 4$, real, symmetric and positive definite, matrices, defines equivalence classes which are used for the…
These lectures give a brief introduction to the Computer Algebra systems Reduce and Maple. The aim is to provide a systematic survey of most important commands and concepts. In particular, this includes a discussion of simplification…
We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively.
In this note we obtain the surjectivity of smooth maps into Euclidean spaces under mild conditions. As application we give a new proof of the Fundamental Theorem of Algebra. We also observe that any $C^1$-map from a compact manifold into…
The book is designed for a semester-long course in Foundations of Geometry and meant to be rigorous, conservative, elementary and minimalist. List of topics: Euclidean geometry: The Axioms / Half-planes / Congruent triangles / Perpendicular…
Simple deformations, with a parameter $\epsilon$, of classical $R$-matrices which follow from decomposition of appropriate Lie algebras, are considered. As a result nonstandard Lax representations for some well known integrable systems are…