arXiv research

A framework for anonymized risk sharing without revealing identities or preferences.

The study tackles indirect discrimination in insurance pricing models.

The paper evaluates the importance of monotonicity in AI fairness across various fields.

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

New sampling methods improve Shapley values for explaining machine learning predictions.

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

UMFI improves feature importance methods by reducing runtime and enhancing performance.

Now that machine learning algorithms lie at the center of many resource allocation pipelines, computer scientists have been unwittingly cast as partial social planners. Given this state of affairs, important questions follow. What is the relationship between fairness as defined by computer scientists and notions of soc…

Formally verifies fairness and uniformity in financial market trades.

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 …

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.

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.

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…

A Morse complex for Axiom A flows on smooth manifolds.

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.

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 introduce a formal framework for analyzing trades in financial markets. An exchange is where multiple buyers and sellers participate to trade. These days, all big exchanges use computer algorithms that implement double sided auctions to match buy and sell requests and these algorithms must abide by certain regulator…

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…

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.

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…

A new family of multi-distribution divergences is characterized for fairness and other problems.

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.

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.

Proposes a method to quantify and decompose disparity in ML models, separating exempt and non-exempt components.

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…

We define homology of ternary algebras satisfying axioms derived from particle scattering or, equivalently, from the third Reidemeister move. We show that ternary quasigroups satisfying these axioms appear naturally in invariants of Reidemeister, Yoshikawa, and Roseman moves. Our homology has a degenerate subcomplex. T…

We consider the pair of degenerate compatible antibrackets satisfying a generalization of the axioms imposed in the triplectic quantization of gauge theories. We show that this actually encodes a Lie group structure, with the antibrackets being related to the left- and right- invariant vector fields on the group. The s…

In this article we prove that any unitary, axiomatic topological quantum field theory in four-dimensions can not detect changes in the smooth structure of M, a simply connected, closed (compact without boundary), oriented smooth manifold. However, as Donaldson-Witten theory (a topological quantum field theory but not a…

The paper compares LOCO and Shapley values for feature importance, highlighting their limitations and suggesting improvements.

Constructs flows on quotients of Lie groups for Anosov subgroups.