相关论文: Classifying invariants for $E_1$: A tail of a gene…

As the first part of the treatise on A General Theory of Concept Lattice (I-V), this work develops the general concept lattice for the problem concerning categorization of objects according to their properties. Unlike the conventional…

Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…

This paper introduces a novel quasi-likelihood extension of the generalised Kendall \(\tau_{a}\) estimator, together with an extension of the Kemeny metric and its associated covariance and correlation forms. The central contribution is to…

We suggest to look at formal sentences describing complex algebraic varieties together with their universal covers as topological invariants. We prove that for abelian varieties and Shimura varieties this is indeed a complete invariant,…

We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) with finitely many distinguished ideals whose elementary theory is countably categorical. This extends the description by Macintyre and…

We prove: $\mathbf{Theorem}$ Let $K$ be a universal class. If $K$ is categorical in cardinals of arbitrarily high cofinality, then $K$ is categorical on a tail of cardinals. The proof stems from ideas of Adi Jarden and Will Boney, and also…

Recent advances in differentiable structure learning have framed the combinatorial problem of learning directed acyclic graphs as a continuous optimization problem. Various aspects, including data standardization, have been studied to…

A classification, according to invariant theory, of non-constant invariant Abel ODEs known as solvable and found in the literature is presented. A set of new integrable classes depending on one or no parameters, derived from the analysis of…

Enumerative invariants in Algebraic Geometry 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=a$ in some geometric problem, using a virtual class $[{\cal M}_a^{\rm ss}(\tau)]_{\rm virt}$ in homology, for the…

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

We classify irreducible finite-dimensional modules of a collection of real Lie superalgebras that includes the simple ones, their classical variants, complex Lie superalgebras after restriction of scalars, and all real Lie algebras. Our…

By using the notion of a rigid R-matrix in a monoidal category and the Reshetikhin--Turaev functor on the category of tangles, we review the definition of the associated invariant of long knots. In the framework of the monoidal categories…

We present a general non-parametric statistical inference theory for integrals of quantiles without assuming any specific sampling design or dependence structure. Technical considerations are accompanied by examples and discussions,…

We believe three ingredients are needed for further progress in persistence and its use: invariants not relying on decomposition theorems to go beyond 1-dimension, outcomes suitable for statistical analysis and a setup adopted for…

We study the analytic and topological invariants associated with complex normal surface singularities. Our goal is to provide topological formulae for several discrete analytic invariants whenever the analytic structure is generic (with…

For a bundle of oriented closed smooth $n$-manifolds $\pi: E \to X$, the tautological class $\kappa_{\mathcal{L}_k} (E) \in H^{4k-n}(X;\mathbb{Q})$ is defined by fibre integration of the Hirzebruch class $\mathcal{L}_k (T_v E)$ of the…

In this paper we study the arithmetic invariants of Euclidean lattice in the context of Arakelov geometry. We regard a Euclidean lattice as a hermitian vector bundle $\bar E$ on ${\rm Spec}(\mathbb{Z})$ and consider two typical arithmetic…

We prove that it is not possible to classify separable von Neumann factors of types $\II_1$, $\II_\infty$ or $\III_\lambda$, $0\leq \lambda\leq1$, up to isomorphism by a Borel measurable assignment of "countable structures" as invariants.…

Let $L$ be a countable language. We characterize, in terms of definable closure, those countable theories $\Sigma$ of $\mathcal{L}_{\omega_1, \omega}(L)$ for which there exists an $S_\infty$-invariant probability measure on the collection…

The classical Hopf invariant is an invariant of homotopy classes of maps from $S^{4n-1} $ to $S^{2n}$, and is an important invariant in homotopy theory. The goal of this paper is to use the Koszul duality theory for $E_n$-operads to define…