arXiv research

Caratheodory's axiom limits arbitrage in resource-limited systems.

In this paper, we construct a new homology theory for semi-groups satisfying the self distributivity axiom or the idempotency axiom. Next, we consider the geometric realization corresponding to the homology theory. We continue with the comparison of this homology theory with one term and two term (rack) homology theori…

New framework explains neural network behavior through geometric postulates.

Constructs QFT on curved surfaces, proving axioms and calculating entropy.

Constructs flows on quotients of Lie groups for Anosov subgroups.

The purpose of this note is introduce a new axiom (called the Descent Axiom) in the theory of $r$-spin cohomological field theories. This axiom explains the origin of gravitational descendants in this theory. Furthermore, the Descent Axiom immediately implies the Vanishing Axiom, explicating the latter (which has no a …

Geometric torsions are torsions of acyclic complexes of vector spaces which consist of differentials of geometric quantities assigned to the elements of a manifold triangulation. We use geometric torsions to construct invariants for a manifold with a triangulated boundary. These invariants can be naturally united in a …

Criterions for constancy of the holomorphic sectional curvature and the antiholomorphic sectional curvature are proved for almost Hermitian manifolds. It is shown, that an almost Hermitian manifold satisfying the axiom of antiholomorphic planes or the axiom of antiholomorphic spheres is a real or a complex space form.

The formulation of Geometric Quantization contains several axioms and assumptions. We show that for real polarizations we can generalize the standard geometric quantization procedure by introducing an arbitrary connection on the polarization bundle. The existence of reducible quantum structures leads to considering the…

Here, an axiom of spheres in Finsler geometry is proposed and it is proved that if a Finslerian manifold satisfies the axiom of spheres then it is of constant flag curvature.

A proposal is made for what could well be the most natural symmetrical Riemannian spaces which are homogeneous but not isotropic, i.e. of what could well be the most natural class of symmetrical spaces beyond the spaces of constant Riemannian curvature, that is, beyond the spaces which are homogeneous and isotropic, or…

A Morse complex for Axiom A flows on smooth manifolds.

Open problem: Establishing bounds for Cayley-table completion to discover discrete algorithmic axioms.

As datasets capturing human choices grow in richness and scale -- particularly in online domains -- there is an increasing need for choice models that escape traditional choice-theoretic axioms such as regularity, stochastic transitivity, and Luce's choice axiom. In this work we introduce the Pairwise Choice Markov Cha…

Study Vassiliev invariants and periodic orbits of Axiom A flows.

The axiom of θ-holomorphic 2-planes is introduced. It is proved, that if an almost Hermitian manifold satisfies this axiom for a fixed θ, 0< θ< π/2, then it is a real space form.

Treating a conjecture, P^#P != NP, on the separation of complexity classes as an axiom, an implication is found in three manifold topology with little obvious connection to complexity theory. This is reminiscent of Harvey Friedman's work on finitistic interpretations of large cardinal axioms.

This paper generalizes Sinkhorn algorithm for unbalanced optimal transport.

It is known, that if a 2m-dimensional Kahler manifold satisfies the axiom of holomorphic 2n-spheres (1<n<m) or the axiom of antiholomorphic n-spheres (2<n), it is of constant holomorphic sectional curvature. In this paper the same result is obtained under weaker assumptions.

The notion of Courant algebroid was introduced by Liu, Weinstein and Xu in 1997. Its definition consists of five axioms and an assumption for a derivation. It is shown that two of the axioms and the assumption for the derivation follow from the rest of the axioms.

We investigate relation between Dehn fillings and commensurability of hyperbolic 3-manifolds. The set consisting of the commensurability classes of hyperbolic 3-manifolds admits the quotient topology induced by the geometric topology. We show that this quotient space satisfies some separation axioms. Roughly speaking, …

We introduce the concept of a higher algebroid, generalizing the notions of an algebroid and a higher tangent bundle. Our ideas are based on a description of (Lie) algebroids as vector bundle comorphisms - differential relations of a special kind. In our approach higher algebroids are vector bundle comorphism between g…

We studied the axiom of anti-invariant 2-spheres and the axiom of co-holomorphic $(2n+1)$-spheres. We proved that a nearly Kählerian manifold satisfying the axiom of anti-invariant 2-spheres is a space of constant holomorphic sectional curvature. We also showed that an almost Hermitian manifold $M$ of dimension $2m\geq…

New axioms justify ES without NRC, linking it to mean-ES portfolio selection.

The famous theorems of Cartan, related to the axiom of $r$-planes, and Leung-Nomizu about the axiom of $r$-spheres were extended to Kähler geometry by several authors. In this paper we replace the strong notions of totally geodesic submanifolds ($r$-planes) and extrinsic spheres ($r$-spheres) by a wider class of specia…

This is the first in a series of papers constructing geometric models of twisted differential K-theory. In this paper we construct a model of even twisted differential K-theory when the underlying topological twist represents a torsion class. By differential twists we will mean smooth U(1)-gerbes with connection, and w…

Solves clustering contradictions by high-dimensional embedding with wide gaps.

Shapley values criticized for feature selection, leading to new insights.

It is proved, that if an almost Hermitian manifold satisfies the axiom of coholomorphic spheres, it is conformal flat.

We characterize the boundary at infinity of a complex hyperbolic space as a compact Ptolemy space that satisfies four incidence axioms.

Study examines how machine learning attribution methods reflect risk in finance.

The second author previously discussed how classical complexity separation conjectures, we call them "axioms", have implications in three manifold topology: polynomial length stings of operations which preserve certain Jones polynomial evaluations cannot produce exponential simplifications of link diagrams. In this pap…

A proper etale Lie groupoid is modelled as a (noncommutative) spectral geometric space. The spectral triple is built on the algebra of smooth functions on the groupoid base which are invariant under the groupoid action. Stiefel-Whitney classes in Lie groupoid cohomology are introduced to measure the orientability of th…

Kleinberg introduced three natural clustering properties, or axioms, and showed they cannot be simultaneously satisfied by any clustering algorithm. We present a new clustering property, Monotonic Consistency, which avoids the well-known problematic behaviour of Kleinberg's Consistency axiom, and the impossibility resu…

The construction of invariants of three-dimensional manifolds with a triangulated boundary, proposed earlier by the author for the case when the boundary consists of not more than one connected component, is generalized to any number of components. These invariants are based on the torsion of acyclic complexes of geome…

The paper establishes axioms for AMMs to ensure fair pricing and fee structures.

We shall give an axiomatic construction of Wess-Zumino-Witten actions valued in (G=SU(N)), (N\geq 3). It is realized as a functor ({WZ}) from the category of conformally flat four-dimensional manifolds to the category of line bundles with connection that satisfies, besides the axioms of a topological field theory, the …

We give a construction of the abelian Chern-Simons gauge theory from the point of view of a 2+1 dimensional topological quantum field theory. The definition of the quantum theory relies on geometric quantization ideas which have been previously explored in connection to the nonabelian Chern-Simons theory [JW,ADW]. We f…

Understanding how different information sources together transmit information is crucial in many domains. For example, understanding the neural code requires characterizing how different neurons contribute unique, redundant, or synergistic pieces of information about sensory or behavioral variables. Williams and Beer (…

We give axioms which characterize the local Reidemeister trace for orientable differentiable manifolds. The local Reidemeister trace in fixed point theory is already known, and we provide both uniqueness and existence results for the local Reidemeister trace in coincidence theory.

Milnor proved two uniqueness theorems for axiomatic (co)homology: one for pairs of compacta (1960) and another, in particular, for pairs of countable simplicial complexes (1961). We obtain their common generalization: the Eilenberg-Steenrod axioms along with Milnor's map excision axiom and a (non-obvious) common genera…

We indicate two short proofs of the Goresky-MacPherson topological invariance of intersection homology. One proof is very short but requires the Goresky-MacPherson support and cosupport axioms; the other is slightly longer but does not require these axioms and so is adaptable to more general perversities.

The paper develops axioms for uniquely decomposing functions with real arguments.

New axioms for singquandles simplify applications and reveal algebraic aspects.

Formalizes vNM utility theorem using Lean 4, proving existence and uniqueness.

This study redefines probability for finite outcomes using axioms and examples.

This paper attempts to investigate the space of various characteristic classes for smooth manifold bundles with local system on the total space inducing a finite holonomy covering. These classes are known as twisted higher torsion classes. We will give a system of axioms that we require these cohomology classes to sati…

Recently V. Arnold introduced Strangeness and $J^{\pm}$ invariants of generic immersions of an oriented circle to $\R^2$. Here these invariants are generalized to the case of generic immersions of an oriented circle to an arbitrary surface $F$. We explicitly describe all the invariants satisfying axioms, which naturall…