A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
New axioms for singquandles simplify applications and reveal algebraic aspects.
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…
In this paper, we construct a new homology theory for semi-groups satisfying the self distributivity axiom or the idempotency axiom. Next, we consider the geometric realization corresponding to the homology theory. We continue with the comparison of this homology theory with one term and two term (rack) homology theori…
A quandle is an algebra whose axioms are motivated from knot theory. A linear extension of a quandle can be described by using a pair of maps called an Alexander pair. In this paper, we show that a linear extension of a multiple conjugation quandle can be described by using a pair of maps called an MCQ Alexander pair, …
Similarity algebra extends algebraic structures with quantitative bounds.
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…
Confirming operator characterization on smooth manifolds.
The fixed point index of topological fixed point theory is a well studied integer-valued algebraic invariant of a mapping which can be characterized by a small set of axioms. The coincidence index is an extension of the concept to topological (Nielsen) coincidence theory. We demonstrate that three natural axioms are su…
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…
We extend Milnor's mu-invariants of link homotopy to ordered (classical or virtual) tangles. Simple combinatorial formulas for mu-invariants are given in terms of counting trees in Gauss diagrams. Invariance under Reidemeister moves corresponds to axioms of Loday's diassociative algebra. The relation of tangles to dias…
This paper investigates the relationship between algebraic quantum field theories and factorization algebras on globally hyperbolic Lorentzian manifolds. Functorial constructions that map between these two types of theories in both directions are developed under certain natural hypotheses, including suitable variants o…
We introduce \textit{Niebrzydowski algebras}, algebraic structures with a ternary operation and a partially defined multiplication, with axioms motivated by the Reidemeister moves for -oriented trivalent spatial graphs and handlebody-links. As part of this definition, we identify generating sets of -oriented Reid…
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…
Constructs flows on quotients of Lie groups for Anosov subgroups.
We show that some ternary quasigroups appear naturally as invariants of classical links and links on surfaces. We also note how to obtain from them invariants of Yoshikawa moves. In our previous paper, we defined homology theory for algebras satisfying two axioms derived from the third Reidemeister move. In this paper,…
We introduce the notion of a -family of quandles which is an algebraic system whose axioms are motivated by handlebody-knot theory, and use it to construct invariants for handlebody-knots. Our invariant can detect the chiralities of some handlebody-knots including unknown ones.
Open problem: Establishing bounds for Cayley-table completion to discover discrete algorithmic axioms.
The aim of this work is to complete our program on the quantization of connections on arbitrary principal U(1)-bundles over globally hyperbolic Lorentzian manifolds. In particular, we show that one can assign via a covariant functor to any such bundle an algebra of observables which separates gauge equivalence classes …
Alternative algebraic characterization of 3D cobordisms category.
The paper explores how semantic independence can be captured in text embeddings using partial orthogonality.
We formalize the arithmetic topology, i.e. a relationship between knots and primes. Namely, using the notion of a cluster C*-algebra we construct a functor from the category of 3-dimensional manifolds M to a category of algebraic number fields K, such that the prime ideals (ideals, resp.) in the ring of integers of K c…
We give a construction of homotopy algebras based on ``higher derived brackets''. More precisely, the data include a Lie superalgebra with a projector on an Abelian subalgebra satisfying a certain axiom, and an odd element . Given this, we introduce an infinite sequence of higher brackets on the image of the project…
Theory for algebraic data on categories via concentration structures.
The paper defines and calculates Euler characteristics for quandles.
The purpose of this note is introduce a new axiom (called the Descent Axiom) in the theory of -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 …
We introduce an algebraic structure we call semiquandles whose axioms are derived from flat Reidemeister moves. Finite semiquandles have associated counting invariants and enhanced invariants defined for flat virtual knots and links. We also introduce singular semiquandles and virtual singular semiquandles which define…
We propose a family of differential models for B-type open-closed topological Landau-Ginzburg theories defined by a pair , where is any non-compact Calabi-Yau manifold and is any holomorphic complex-valued function defined on whose critical set is compact. The models are constructed at cochain level …
We introduce \textit{dual graph diagrams} representing oriented knots and links. We use these combinatorial structures to define corresponding algebraic structures we call \textit{biquasiles} whose axioms are motivated by dual graph Reidemeister moves, generalizing the Dehn presentation of the knot group analogously to…
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.
This paper shows vector bundles and differential bundles are equivalent in smooth manifolds.
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.
We give a complete framework for the Gupta-Bleuler quantization of the free electromagnetic field on globally hyperbolic space-times. We describe one-particle structures that give rise to states satisfying the microlocal spectrum condition. The field algebras in the so-called Gupta-Bleuler representations satisfy the t…
New invariant distinguishes lens spaces via categorified homotopy E_3-algebra.
The Conway potential function (CPF) for colored links is a convenient version of the multi-variable Alexander-Conway polynomial. We give a skein characterization of CPF, much simpler than the one by Murakami. In particular, Conway's `smoothing of crossings' is not in the axioms. The proof uses a reduction scheme in a t…
A Morse complex for Axiom A flows on smooth manifolds.
This paper has partially a novel and partially a survey character. We start with a short review of rack (two term) homology of self distributive algebraic structures (shelves) and their connections to knot theory. We concentrate on a sub-family of quandles satisfying the graphic axiom. For a large family of graphic qua…
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…
Motivated by ideas from string theory and quantum field theory new invariants of knots and 3-dimensional manifolds have been constructed from complex algebraic structures such as Hopf algebras (Reshetikhin and Turaev), monoidal categories with additional structure (Turaev and Yetter), and modular functors (Walker and K…
Inspired by recent works of Zang Liu, Alan Weinstein and Ping Xu, we introduce the notions of CC algebroids and non asymmetric Courant algebroids and study these structures. It is shown that CC algebroids of rank greater than 3 are the same as Courant algebroids up to a constant factor, though the definition of CC alge…
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.
A membrane technique, in which the symplectic and Ricci forms are integrated over surfaces in a complexification of the phase space, as well a ``creation" connection with zero curvature over lagrangian submanifolds, is used to obtain a unified quantization including a noncommutative algebra of functions, its representa…
A proper etale Lie groupoid is modelled as a (noncommutative) spectral geometric space. The spectral triple is built on the algebra of smooth functions on the groupoid base which are invariant under the groupoid action. Stiefel-Whitney classes in Lie groupoid cohomology are introduced to measure the orientability of th…
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.
A birack is an algebraic structure with axioms encoding the blackboard-framed Reidemeister moves, incorporating quandles, racks, strong biquandles and semiquandles as special cases. In this paper we extend the counting invariant for finite racks to the case of finite biracks. We introduce a family of biracks generalizi…
New symmetric quandles constructed from group elements and subgroups.