arXiv research

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…

RLHF performs well despite violating social choice theory axioms.

This paper proposes new get-rich-quick schemes that involve trading in a financial security with a non-degenerate price path. For simplicity the interest rate is assumed zero. If the price path is assumed continuous, the trader can become infinitely rich immediately after it becomes non-constant (if it ever does). If i…

The paper classifies extensions of Yang-Mills-type theories, proving maximality and universality are dense properties.

We propose some axioms for hierarchical clustering of probability measures and investigate their ramifications. The basic idea is to let the user stipulate the clusters for some elementary measures. This is done without the need of any notion of metric, similarity or dissimilarity. Our main results then show that for e…

Axiomatizes the bid-ask market maker's quoting rule

Paper establishes robust no-arbitrage conditions under projective determinacy.

Self-reinforcing feedback loops in personalization systems are typically caused by users choosing from a limited set of alternatives presented systematically based on previous choices. We propose a Bayesian choice model built on Luce axioms that explicitly accounts for users' limited exposure to alternatives. Our model…

Unified framework connects two market-making models, revealing their underlying equivalence.

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 …

In 1969, Choquet-Bruhat and Geroch established the existence of a unique maximal globally hyperbolic Cauchy development of given initial data for the Einstein equations. Their proof, however, has the unsatisfactory feature that it relies crucially on the axiom of choice in the form of Zorn's lemma. In this paper we pre…

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.

Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings and diffeomorphism classes of planar open string worldsheets. Just as the categ…

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.

Pairwise Choice Markov Chains (PCMC) have been recently introduced to overcome limitations of choice models based on traditional axioms unable to express empirical observations from modern behavior economics like context effects occurring when a choice between two options is altered by adding a third alternative. The i…

A Morse complex for Axiom A flows on smooth manifolds.

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.

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.

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.

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…

We propose a class of discrete-time stochastic models for the pricing of inflation-linked assets. The paper begins with an axiomatic scheme for asset pricing and interest rate theory in a discrete-time setting. The first axiom introduces a "risk-free" asset, and the second axiom determines the intertemporal pricing rel…

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…

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

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

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

We provide an axiomatic foundation for the representation of numéraire-invariant preferences of economic agents acting in a financial market. In a static environment, the simple axioms turn out to be equivalent to the following choice rule: the agent prefers one outcome over another if and only if the expected (under t…

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…

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

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 paper establishes axioms for AMMs to ensure fair pricing and fee structures.

Enhanced bikei modules distinguish unoriented and non-orientable surface-links.

The Multinomial Logit (MNL) model and the axiom it satisfies, the Independence of Irrelevant Alternatives (IIA), are together the most widely used tools of discrete choice. The MNL model serves as the workhorse model for a variety of fields, but is also widely criticized, with a large body of experimental literature cl…

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.

Distances are fundamental primitives whose choice significantly impacts the performances of algorithms in machine learning and signal processing. However selecting the most appropriate distance for a given task is an endeavor. Instead of testing one by one the entries of an ever-expanding dictionary of {\em ad hoc} dis…

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.

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…

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.

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…

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…