arXiv research

New welfare-based fairness notions align with existing error rate balance and predictive parity.

Weak base-point freeness leads to Kähler-Ricci flow diameter bounds.

Study boundary actions on CAT(0) spaces, proving topological freeness.

New graph invariant measures embeddability in 3D.

This work proves the asymptotic freeness of layerwise Jacobians in MLPs with Haar orthogonal matrices.

A well-conditioned Jacobian spectrum has a vital role in preventing exploding or vanishing gradients and speeding up learning of deep neural networks. Free probability theory helps us to understand and handle the Jacobian spectrum. We rigorously show almost sure asymptotic freeness of layer-wise Jacobians of deep neura…

Proposes auditing for envy-freeness in recommender systems to assess individual preferences.

Random representations of surface groups approach asymptotic freeness in large $n$ limit.

New proof links initial class bias to DNN trainability, challenging traditional understanding.

The action of a Lie pseudogroup $G$ on a smooth manifold $M$ induces a prolonged pseudogroup action on the jet spaces $J^n$ of submanifolds of $M$. We prove in this paper that both the local and global freeness of the action of $G$ on $J^n$ persist under prolongation in the jet order $n$. Our results underlie the const…

Article explores non-freeness of groups generated by two specific matrices, providing counterexamples and sequences.

In classic fair division problems such as cake cutting and rent division, envy-freeness requires that each individual (weakly) prefer his allocation to anyone else's. On a conceptual level, we argue that envy-freeness also provides a compelling notion of fairness for classification tasks. Our technical focus is the gen…

We obtain a number of results regarding freeness, quasiconvexity and separability for subgroups of Coxeter groups, Artin groups and one-relator groups with torsion.

Study of affine transformations on topological manifolds, focusing on local freeness and solvability.

Paper proposes a method to identify and treat latent discriminating features in machine learning models.

The paper studies fundamental groups of orbit configuration spaces and proves their torsion-freeness.

Method trains a debiased model from a biased one by focusing on samples that contradict the bias.

Predictive modeling is increasingly being employed to assist human decision-makers. One purported advantage of replacing human judgment with computer models in high stakes settings-- such as sentencing, hiring, policing, college admissions, and parole decisions-- is the perceived "neutrality" of computers. It is argued…

Paper proves homotopy braid group properties over integers and three strands.

In this article we propose a generalisation of the recent work of Gatheral and Jacquier on explicit arbitrage-free parameterisations of implied volatility surfaces. We also discuss extensively the notion of arbitrage freeness and Roger Lee's moment formula using the recent analysis by Roper. We further exhibit an arbit…

We survey generalisations of the Chang-Skjelbred Lemma for integral coefficients. Moreover, we construct examples of manifolds with actions of tori of rank > 2 whose equivariant cohomology is torsion-free, but not free. This answers a question of Allday's. The "mutants" we construct are obtained from compactified repre…

A new method to derive presentations of skein modules is developed. For the case of homotopy skein modules it will be shown how the topology of a 3-manifold is reflected in the structure of the module. The freeness problem for q-homotopy skein modules is solved, and a natural skein module related to linking numbers is …

We use freeness assumptions of random matrix theory to analyze the dynamical behavior of inference algorithms for probabilistic models with dense coupling matrices in the limit of large systems. For a toy Ising model, we are able to recover previous results such as the property of vanishing effective memories and the a…

An embedding of a graph into $\mathbb{R}^3$ is said to be linear, if any edge of the graph is sent to be a line segment. And we say that an embedding $f$ of a graph $G$ into $\mathbb{R}^3$ is free, if $π_1(\mathbb{R}^3-f(G))$ is a free group. It was known that for any complete graph its linear embedding is always free.…

Proves bounds on copyright risk for generative models.

New method improves bounds on hyperbolic 3-manifold volumes and homology dimensions.

We prove a freeness theorem for low-rank subgroups of one-relator groups. Let $F$ be a free group, and let $w\in F$ be a non-primitive element. The primitivity rank of $w$, $π(w)$, is the smallest rank of a subgroup of $F$ containing $w$ as an imprimitive element. Then any subgroup of the one-relator group $G=F/\langle…

Machine learning finds new natural laws from noisy data.

Contextual bandit algorithms are sensitive to the estimation method of the outcome model as well as the exploration method used, particularly in the presence of rich heterogeneity or complex outcome models, which can lead to difficult estimation problems along the path of learning. We develop algorithms for contextual …

We prove a theorem relating the automorphism group of a Cartan geometry to the group on which the geometry is modeled: a component of the adjoint representation of the first embeds in the adjoint representation of the second. Consequences of the theorem include general bounds on the rank and nilpotence degree of an aut…

We give a complete proof of a propagation theorem of multiplicity-free property from fibers to spaces of global sections for holomorphic vector bundles. The propagation theorem is formalised in three ways, aiming for producing various multiplicity-free theorems in representation theory for both finite and infinite dime…

We compute the equivariant $K$-homology of the classifying space for proper actions, for compact 3-dimensional hyperbolic reflection groups. This coincides with the topological $K$-theory of the reduced $C^\ast$-algebra associated to the group, via the Baum-Connes conjecture. We show that, for any such reflection group…

The purpose of this paper is to establish injectivity theorems for higher direct image sheaves of canonical bundles twisted by pseudo-effective line bundles and multiplier ideal sheaves. As applications, we generalize Koll'ar's torsion freeness and Grauert-Riemenschneider's vanishing theorem. Moreover, we obtain a rela…

Algorithmic fairness is a field of study that addresses the systematic disadvantage of marginalized groups in machine learning systems.

Examines predictability and complexity of economic time series using symbolic dynamics and entropy.

BGG-sequences offer a uniform construction for invariant differential operators for a large class of geometric structures called parabolic geometries. For locally flat geometries, the resulting sequences are complexes, but in general the compositions of the operators in such a sequence are nonzero. In this paper, we sh…

Formal models of learning from teachers need to respect certain criteria to avoid collusion. The most commonly accepted notion of collusion-freeness was proposed by Goldman and Mathias (1996), and various teaching models obeying their criterion have been studied. For each model $M$ and each concept class $\mathcal{C}$,…

We formulate and establish a generalization of Kollár's injectivity theorem for adjoint bundles twisted by suitable multiplier ideal sheaves. As applications, we generalize Kollár's torsion-freeness, Kollár's vanishing theorem, and a generic vanishing theorem for pseudo-effective line bundles. Our approach is not Hodge…

How do we learn from biased data? Historical datasets often reflect historical prejudices; sensitive or protected attributes may affect the observed treatments and outcomes. Classification algorithms tasked with predicting outcomes accurately from these datasets tend to replicate these biases. We advocate a causal mode…

We consider the braid groups $\mathbf{B}_n(X)$ on finite simplicial complexes $X$, which are generalizations of those on both manifolds and graphs that have been studied already by many authors. We figure out the relationships between geometric decompositions for $X$ and their effects on braid groups, and provide an al…

Given a Lie pseudo-group action, an equivariant moving frame exists in the neighborhood of a submanifold jet provided the action is free and regular. For local equivalence problems the freeness requirement cannot always be satisfied and in this paper we show that, with the appropriate modifications and assumptions, the…

FairLangProc simplifies fairness in NLP models for Python users.

We study notions of fairness in decision-making systems when individuals have diverse preferences over the possible outcomes of the decisions. Our starting point is the seminal work of Dwork et al. which introduced a notion of individual fairness (IF): given a task-specific similarity metric, every pair of individuals …

To reduce human error and prejudice, many high-stakes decisions have been turned over to machine algorithms. However, recent research suggests that this does not remove discrimination, and can perpetuate harmful stereotypes. While algorithms have been developed to improve fairness, they typically face at least one of t…

A framework uses free probability to analyze Transformer models.

The main result of this paper is non-vanishing of the image of the index map from the $G$-equivariant $K$-homology of a proper $G$-compact $G$-manifold $X$ to the $K$-theory of the $C^{*}$-algebra of the group $G$. Under the assumption that the Kronecker pairing of a $K$-homology class with a low-dimensional cohomology…

Let $G$ be a finite group. Noncommutative geometry of unital $G$-algebras is studied. A geometric structure is determined by a spectral triple on the crossed product algebra associated with the group action. This structure is to be viewed as a representative of a noncommutative orbifold. Based on a study of classical o…

We study the asymptotic behaviour of tame harmonic bundles. First of all, we prove a local freeness of the prolongation by an increasing order. Then we obtain the polarized mixed twistor structure. As one of the applications, we obtain the norm estimate of holomorphic or flat sections by weight filtrations of the monod…