arXiv research

We construct solutions to the set-theoretic Yang-Baxter equation using braid group representations in free group automorphisms and their Fox differentials. The method resembles the extensions of groups and quandles.

A homology theory is developed for set-theoretic Yang-Baxter equations, and knot invariants are constructed by generalized colorings by biquandles and Yang-Baxter cocycles.

We provide a self-contained treatment of set-theoretic subsolutions to flow by mean curvature, or, more generally, to flow by mean curvature plus an ambient vector field. The ambient space can be any smooth Riemannian manifold. Most importantly, we show that if two such set-theoretic subsolutions are initially disjoint…

This paper develops a new homology theory for biquandles and discusses geometric realizations.

W. Rump showed that there exists a one-to-one correspondence between involutive right non-degenerate solutions of the Yang-Baxter equation and Rump right quasigroups. J. S. Carter, M. Elhamdadi, and M. Saito, meanwhile, introduced a homology theory of set-theoretic solutions of the Yang-Baxter equation in order to defi…

The paper studies properties of group relations induced by compatible coarse structures.

This paper solves Yang-Baxter cohomology for cyclic biquandles.

In 2004, Carter, Elhamdadi and Saito defined a homology theory for set-theoretic Yang-Baxter operators(we will call it the "algebraic" version in this article). In 2012, Przytycki defined another homology theory for pre-Yang-Baxter operators which has a nice graphic visualization(we will call it the "graphic" version i…

Model-theoretic aspects of exotic smoothness were studied long ago uncovering unexpected relations to noncommutative spaces and quantum theory. Some of these relations were worked out in detail in later work. An important point in the argumentation was the forcing construction of Cohen but without a direct application …

We define a knot/link invariant using set theoretical solutions $(X,σ)$ of the Yang-Baxter equation and non commutative 2-cocycles. We also define, for a given $(X,σ)$, a universal group Unc(X) governing all 2-cocycles in $X$, and we exhibit examples of computations.

We prove that every acyclic normal one-dimensional real Ambrosio-Kirchheim current in a Polish (i.e. complete separable metric) space can be decomposed in curves, thus generalizing the analogous classical result proven by S. Smirnov in Euclidean space setting. The same assertion is true for every complete metric space …

A construction of Kaehler-Einstein metrics using Galois coverings, studied by Arezzo-Ghigi-Pirola, is generalized to orbifolds. By applying it to certain orbifold covers of P^n which are trivial set theoretically, one obtains new Einstein metrics on odd-dimensional spheres. The method also gives Kaehler-Einstein metric…

New method distinguishes knots and knotted surfaces.

Study convex embeddability in linear and circular orders, applying to knots.

New method identifies latent variables without strong assumptions.

We construct a compactification $M^{μss}$ of the Uhlenbeck-Donaldson type for the moduli space of slope stable framed bundles. This is a kind of a moduli space of slope semistable framed sheaves. We show that there exists a projective morphism $γ\colon M^{ss} \to M^{μss}$, where $M^{ss}$ is the moduli space of S-equiva…

Consider a hyperbolic group G and a quasiconvex subgroup H of infinite index. We construct a set-theoretic section s of the quotient map (of sets) from G to G/H such that s(G/H) is a net in G; that is, any element of G is a bounded distance from s(G/H). This section arises naturally as a set of points minimizing word-l…

Word embeddings have been shown to be useful across state-of-the-art systems in many natural language processing tasks, ranging from question answering systems to dependency parsing. (Herbelot and Vecchi, 2015) explored word embeddings and their utility for modeling language semantics. In particular, they presented an …

For a given $(X,S,β)$, where $S,β\colon X\times X\to X\times X$ are set theoretical solutions of Yang-Baxter equation with a compatibility condition, we define an invariant for virtual (or classical) knots/links using non commutative 2-cocycles pairs $(f,g)$ that generalizes the one defined in [FG2]. We also define, a …

We prove that Chern-Weil forms are the only natural differential forms associated to a connection on a principal G-bundle. We use the homotopy theory of simplicial sheaves on smooth manifolds to formulate the theorem and set up the proof. Other arguments come from classical invariant theory. We identify the Weil algebr…

This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended Interpretation hypothesis. We highlight some applications including (…

Unified framework for robust A/B testing under model misspecification.

In translation surfaces of finite area (corresponding to holomorphic differentials), directions of saddle connections are dense in the unit circle. On the contrary, saddle connections are fewer in translation surfaces with poles (corresponding to meromorphic differentials). The Cantor-Bendixson rank of their set of dir…

We prove that every one-dimensional real Ambrosio-Kirchheim normal current in a Polish (i.e. complete separable metric) space can be naturally represented as an integral of simpler currents associated to Lipschitz curves. As a consequence a representation of every such current with zero boundary (i.e. a cycle) as an in…

New cohomology functors refine classical invariants of homotopy types.

The purpose of this paper is to outline a simple set of axioms for basic set theory from which most fundamental facts can be derived. The key to the whole project is a new axiom of set theory which I dubbed "The Law of Extremes". It allows for quick proofs of basic set-theoretic identities and logical tautologies, so i…

The exterior algebra of a vector space admits a family of braided Hopf structures.

Paper tackles federated learning with personalised bandit algorithms.

It is shown that the singular set for the Yang-Mills flow on unstable holomorphic vector bundles over compact Kaehler manifolds is completely determined by the Harder-Narasimhan-Seshadri filtration of the initial holomorphic bundle. We assign a multiplicity to irreducible top dimensional components of the singular set …

Every rack $Q$ provides a set-theoretic solution $c_Q$ of the Yang-Baxter equation. This article examines the deformation theory of $c_Q$ within the space of Yang-Baxter operators over a ring $\A$, a problem initiated by Freyd and Yetter in 1989. As our main result we classify deformations in the modular case, which ha…

Monograph explores algebraic structures related to Yang-Baxter equation.

Researchers decompose Forman-Ricci curvature for efficient computation in VR complexes.

The paper extends properties of smooth functions to closed sets and maps.

This paper studies the matrix completion problem under arbitrary sampling schemes. We propose a new estimator incorporating both max-norm and nuclear-norm regularization, based on which we can conduct efficient low-rank matrix recovery using a random subset of entries observed with additive noise under general non-unif…

This paper addresses the problem of learning dictionaries for multimodal datasets, i.e. datasets collected from multiple data sources. We present an algorithm called multimodal sparse Bayesian dictionary learning (MSBDL). MSBDL leverages information from all available data modalities through a joint sparsity constraint…

Positive definite kernels are an important tool in machine learning that enable efficient solutions to otherwise difficult or intractable problems by implicitly linearizing the problem geometry. In this paper we develop a set-theoretic interpretation of the Earth Mover's Distance (EMD) and propose Earth Mover's Interse…

Study on robust utility maximization with nonconcave utility functions under projective determinacy.

Biquandles are algebraic objects with two binary operations whose axioms encode the generalized Reidemeister moves for virtual knots and links. These objects also provide set-theoretic solutions of the well-known Yang-Baxter equation. The first half of this paper proposes some natural constructions of biquandles from g…

This work sets theoretical limits on meta-learning performance.

Unlike the case of surfaces of topologically finite type, there are several different Teichmüller spaces that are associated to a surface of topological infinite type. These Teichmüller spaces first depend (set-theoretically) on whether we work in the hyperbolic category or in the conformal category. They also depend, …

In Ben-David et al.'s "Learnability Can Be Undecidable," they prove an independence result in theoretical machine learning. In particular, they define a new type of learnability, called Estimating The Maximum (EMX) learnability. They argue that this type of learnability fits in with other notions such as PAC learnabili…

We present a robust alternative to principal component analysis (PCA) --- called elliptical component analysis (ECA) --- for analyzing high dimensional, elliptically distributed data. ECA estimates the eigenspace of the covariance matrix of the elliptical data. To cope with heavy-tailed elliptical distributions, a mult…

Trans-GCR uses GCR model for node classification, providing theoretical guarantees and superior performance.

Let V be a finite dimensional complex vector space and V^* its dual and let X in P(V) be a smooth projective variety of dimension n and degree d at least two. For a generic n-tuple of hyperplanes H_1,...,H_n in P(V^*)^n, the intersection of X with H_1,...,H_n consists of d distinct points. We define the "discriminant o…

A central capability of intelligent systems is the ability to continuously build upon previous experiences to speed up and enhance learning of new tasks. Two distinct research paradigms have studied this question. Meta-learning views this problem as learning a prior over model parameters that is amenable for fast adapt…

Quasi-conformal (QC) theory is an important topic in complex analysis, which studies geometric patterns of deformations between shapes. Recently, computational QC geometry has been developed and has made significant contributions to medical imaging, computer graphics and computer vision. Existing computational QC theor…

The paper explores learning from label proportions, showing differences in efficiency between LLP and PAC learning.

Model identifies causal structure from paired observational and interventional data with unknown soft interventions.