arXiv research

This is an introduction to a provisional mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ supersymmetric gauge theories, studied in arXiv:1503.03676, arXiv:1601.03586

This is an introduction to a provisional mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ supersymmetric gauge theories, studied in arXiv:1503.03676, arXiv:1601.03586. This is an expanded version of an article arXiv:1612.09014 appeared in the 61st DAISUUGAKU symposium proceeding (2016), wri…

The main purpose of this paper is to formalize the modelling process, analysis and mathematical definition of corruption when entering into a contract between principal agent and producers. The formulation of the problem and the definition of concepts for the general case are considered. For definiteness, all calculati…

Consider the $3$-dimensional $\mathcal N=4$ supersymmetric gauge theory associated with a compact Lie group $G_c$ and its quaternionic representation $\mathbf M$. Physicists study its Coulomb branch, which is a noncompact hyper-Kähler manifold with an $\mathrm{SU}(2)$-action, possibly with singularities. We give a math…

Paper proves mathematically that poisoning datasets can be detected.

Paper defines XAI concepts using category theory.

Attention is an operation that selects some largest element from some set, where the notion of largest is defined elsewhere. Applying this operation to sequence to sequence mapping results in significant improvements to the task at hand. In this paper we provide the mathematical definition of attention and examine its …

Paper finds previous work on submanifolds incorrect.

In this paper we introduce distinct approaches to loop braid groups, a generalisation of braid groups, and unify all the definitions that have appeared so far in literature, with a complete proof of the equivalence of these definitions. These groups have in fact been an object of interest in different domains of mathem…

Defines crisis transitions in pure exchange economies rigorously.

The authors examine the concept of probability of default for asset-backed loans. In contrast to unsecured loans it is shown that probability of default can be defined as either a measure of the likelihood of the borrower failing to make required payments, or as the likelihood of an insufficiency of collateral value on…

Reshef et al. recently proposed a new statistical measure, the "maximal information coefficient" (MIC), for quantifying arbitrary dependencies between pairs of stochastic quantities. MIC is based on mutual information, a fundamental quantity in information theory that is widely understood to serve this need. MIC, howev…

Sequences of Nilsson type appear in abundance in Algebraic Geometry, Enumerative Combinatorics, Mathematical Physics and Quantum Topology. We give an elementary introduction on this subject, including the definition of sequences of Nilsson type and the uniqueness, existence, and effective computation of their asymptoti…

Defines related tasks for transfer learning using foliations.

A purely algebraic construction of super-energy tensors for arbitrary fields is presented in any dimensions. These tensors have good mathematical and physical properties, and they can be used in any theory having as basic arena an n-dimensional manifold with a metric of Lorentzian signature. In general, the completely …

Consider the $3$-dimensional $\mathcal N=4$ supersymmetric gauge theory associated with a compact Lie group $G$ and its quaternionic representation $\mathbf M$. Physicists study its Coulomb branch, which is a noncompact hyper-Kähler manifold, such as instanton moduli spaces on $\mathbb R^4$, $SU(2)$-monopole moduli spa…

Paper defines mathematical framework for neural network explainability.

Abstract reviews mathematical fairness in machine learning.

Unifies 18 definitions of surprise, classifies them into four categories.

We provide a mathematical definition of fragility and antifragility as negative or positive sensitivity to a semi-measure of dispersion and volatility (a variant of negative or positive "vega") and examine the link to nonlinear effects. We integrate model error (and biases) into the fragile or antifragile context. Unli…

Solves four problems related to sphere families in 3D space.

This work concerns the definition and analysis of a new class of Lie systems on Poisson manifolds enjoying rich geometric features: the Lie--Hamilton systems. We devise methods to study their superposition rules, time independent constants of motion and Lie symmetries, linearisability conditions, etc. Our results are i…

Investigates locally symmetric polynomial metrics in Riemannian and Finslerian surfaces.

Mathematical foundation for phylogenetic tree uncertainty quantification.

Mathematical approach assesses human resource competences accurately.

Magnitude is a real-valued invariant of metric spaces, analogous to the Euler characteristic of topological spaces and the cardinality of sets. The definition of magnitude is a special case of a general categorical definition that clarifies the analogies between various cardinality-like invariants in mathematics. Altho…

We mathematically compare four competing definitions of group-level nondiscrimination: demographic parity, equalized odds, predictive parity, and calibration. Using the theoretical framework of Friedler et al., we study the properties of each definition under various worldviews, which are assumptions about how, if at a…

This paper develops a mathematical framework for the analysis of continuous-time trading strategies which, in contrast to the classical setting of continuous-time mathematical finance, does not rely on stochastic integrals or other probabilistic notions. Our purely analytic framework allows for the derivation of a path…

The paper proposes a happiness-based fairness framework using linear programming.

State-of-art deep neural networks (DNN) are vulnerable to attacks by adversarial examples: a carefully designed small perturbation to the input, that is imperceptible to human, can mislead DNN. To understand the root cause of adversarial examples, we quantify the probability of adversarial example existence for linear …

Discretization of curves is an ancient topic. Even discretization of curves with an eye toward differential geometry is over a century old. However there is no general theory or methodology in the literature, despite the ubiquitous use of discrete curves in mathematics and science. There are conflicting definitions of …

We give a quick tour through many of the classical results in the field of minimal submanifolds, starting at the definition. The field of minimal submanifolds remains extremely active and has very recently seen major developments that have solved many longstanding open problems and conjectures; for more on this, see th…

This paper is devoted to the quantification and analysis of marginal risk contribution of a given single financial institution i to the risk of a financial system s. Our work expands on the CoVaR concept proposed by Adrian and Brunnermeier as a tool for the measurement of marginal systemic risk contribution. We first g…

Survey of kernels, RKHS, and their applications in machine learning.

This paper provides a mathematical framework for time-delay reservoir computing.

Lie groupoids generalize Lie groups with multiplication defined for certain pairs.

This manuscript, titled Differential Geometry of Curves and Surfaces in Three-dimensional Euclidean Space, is intended for undergraduate students of mathematics and other sciences with the need of use of Euclidean differential geometry. We deal with the differential geometry of curves and surfaces in three dimensions, …

We construct a parallel transport on higher loop spaces of a manifold in term of a higher dimensional generalization of iterated path integrals. Under mild assumptions, we define a de Rham complex on higher loop spaces and we recover a known result of Hain of a de Rham structure on higher homotopy groups of a manifold.…

While several feature scoring methods are proposed to explain the output of complex machine learning models, most of them lack formal mathematical definitions. In this study, we propose a novel definition of the feature score using the maximally invariant data perturbation, which is inspired from the idea of adversaria…

A self-contained introduction is presented of the notion of the (abstract) differentiable manifold and its tangent vector fields. The way in which elementary topological ideas stimulated the passage from Euclidean (vector) spaces and linear maps to abstract spaces (manifolds) and diffeomorphisms is emphasized. Necessar…

A new mathematical framework simplifies securitization structuring.

In this paper we introduce a new multivariate dependence measure based on comonotonicity by means of product moment which motivated by the recent papers of Koch and Schepper (ASTIN Bulletin 41 (2011) 191-213) and Dhaene et al. (Journal of Computational and Applied Mathematics 263 (2014) 78-87). Some differences and rel…

This paper examines various definitions of adversarial risk and their implications.

Unified framework for removing unwanted information from machine learning models.

This is a supplement to [arXiv:1503.03676], where an approach towards a mathematically rigorous definition of the Coulomb branch of a $3$-dimensional $\mathcal N=4$ SUSY gauge theory was proposed. We ask questions on their expected properties, especially in relation to the corresponding Higgs branch, partly motivated b…

The Cartier-Perrin theorem, which was published in 1995 and is expressed in the language of nonstandard analysis, permits, for the first time perhaps, a clear-cut mathematical definition of the volatility of a financial asset. It yields as a byproduct a new understanding of the means of returns, of the beta coefficient…

This work redefines data-centric AI by unifying categorical and cochain notions.

The identification of slow invariant manifolds (SIMs) is an essential part in model-order reduction for reactive systems. The mathematical definition of the SIM by Fenichel can be considered unsatisfactory, because it is only applicable to so-called slow-fast system and does not provide the uniqueness of the SIM. Obser…