arXiv research

Topological Pontryagin classes are algebraically independent in high-dimensional spaces.

We prove that Hamiltonian characteristic classes defined as fibre integrals of powers of the coupling class are algebraically independent for generic coadjoint orbits.

Classifies 3D non-degenerate left-symmetric algebras.

Study algebraic relations of Vassiliev invariants for families of knots.

The paper explores how semantic independence can be captured in text embeddings using partial orthogonality.

Let X be the moduli space of SL(3,C) representations of a free group of rank r. In this paper we describe maximal algebraically independent subsets of certain minimal sets of coordinate functions on X. These subsets locally parametrize the moduli space.

We develop the necessary theory in computational algebraic geometry to place Bayesian networks into the realm of algebraic statistics. We present an algebra{statistics dictionary focused on statistical modeling. In particular, we link the notion of effiective dimension of a Bayesian network with the notion of algebraic…

New framework extends ICA for non-independent variables, identifying pairwise mean independence.

Paper develops streaming algorithms to estimate classifier accuracy on unlabeled data.

Tests for classifier independence without ground truth labels.

We relate canonical algebraic curvature tensors that are built from a self-adjoint ($R^S_A$) or skew adjoint ($R^Λ_A$) linear operator A. Several authors have proven that any algebraic curvature tensor $R$ may be expressed as a sum of $R^S_A$, or as a sum of $R^Λ_A$. This motivates our interest in relating them as well…

Research explores Lie algebras in Riemannian manifolds.

Recently V. Ginzburg proved that Calogero phase space is a coadjoint orbit for some infinite dimensional Lie algebra coming from noncommutative symplectic geometry. In this note we generalize this argument to specific quotient varieties of representations of (deformed) preprojective algebras. This result was also obtai…

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…

In 1976, Rudolph asked whether algebraic knots are linearly independent in the knot concordance group. This paper uses twisted Blanchfield pairings to answer this question in the affirmative for new large families of algebraic knots.

The Galilean group is the group of symmetries of Newtonian mechanics, with Lie a lgebra $\gal(n)$. We find algebraically independent generators for the center of the universal enveloping algebra of $\gal(n)$ using coadjoint orbits.

Operators on the ring of algebraically constructible functions are used to compute local obstructions for a four-dimensional semialgebraic set to be homeomorphic to a real algebraic set. The link operator and arithmetic operators yield $2^{43}-43$ independent characteristic numbers mod 2, which generalize the Akbulut-K…

Results on derivations and automorphisms of some quantum and classical Poisson algebras, as well as characterizations of manifolds by the Lie structure of such algebras, are revisited and extended. We prove in particular somehow unexpected fact that the algebras of linear differential operators acting on smooth section…

We present an algebraic procedure that finds the Lie algebra of the local Killing fields of a smooth metric. In particular, we determine the number of independent local Killing fields about a given point on the manifold. Spaces of constant curvature and locally symmetric spaces are also discussed. Furthermore, we obtai…

We provide a theoretical treatment of over-specified Gaussian mixtures of experts with covariate-free gating networks. We establish the convergence rates of the maximum likelihood estimation (MLE) for these models. Our proof technique is based on a novel notion of \emph{algebraic independence} of the expert functions. …

Proves algebraic cones for LCK manifolds with potential.

For a complex projective manifold Gromov-Witten invariants can be constructed either algebraically or symplectically. Using the versions of Gromov-Witten theory by Behrend and Fantechi on the algebraic side and by the author on the symplectic side, we prove that both points of view give the same results. A similar stat…

Contrastive ICA identifies features in experimental groups relative to controls.

The paper presents a new algebraic structure for planar surfaces.

New algebraic formalism for differential calculus in Diolic algebras.

We recall the definitions of two independently defined elliptic versions of the Kashiwara-Vergne Lie algebra $\frak{krv}$, namely the Lie algebra $\frak{krv}^{(1,1)}$ constructed by A.Alekseev, N.Kawazumi, Y.Kuno and F.Naef arising from the study of graded formality isomorphisms associated to topological fundamental gr…

Establishes a Li-Yau type inequality for curves in any codimension.

Based on hyperbolic geometric considerations, Roger and Yang introduced an extension of the Kauffman bracket skein algebra that includes arcs. In particular, their skein algebra is a deformation quantization of a certain commutative curve algebra, and there is a Poisson algebra homomorphism between the curve algebra an…

A complete solution to the multiplier version of the inverse problem of the calculus of variations is given for a class of hyperbolic systems of second-order partial differential equations in two independent variables. The necessary and sufficient algebraic and differential conditions for the existence of a variational…

We compute the algebraic equation of the universal family over the Kenyon-Smillie $(2,3,4)$-Teichmüller curve and give a nice geometric description of the torsion map. Moreover, we re-prove independently that the found algebraic equation describes a Teichmüller curve by computing the Picard-Fuchs equation associated to…

New basis and Schur-Weyl duality for loop Hecke algebra defined.

Efficient algorithms decide algebraic constraints of causal graphs.

When solving data analysis problems it is important to integrate prior knowledge and/or structural invariances. This paper contributes by a novel framework for incorporating algebraic invariance structure into kernels. In particular, we show that algebraic properties such as sign symmetries in data, phase independence,…

We prove that the set of non-degenerate second order maximally superintegrable systems in the complex Euclidean plane carries a natural structure of a projective variety, equipped with a linear isometry group action. This is done by deriving the corresponding system of homogeneous algebraic equations. We then solve the…

We use a link invariant defined by Cimasoni-Florens to compute ρ-invariants. This generalizes results of Cochran-Teichner and Friedl on knots to the setting of links. As an application, we prove with only twelve possible exceptions that the twist knots of algebraic order two are linearly independent in the topological …

In earlier work, we constructed invariants of irreducible representations of the Kauffman skein algebra of a surface. We introduce here an inverse construction, which to a set of possible invariants associates an irreducible representation that realizes these invariants. The current article is restricted to surfaces wi…

New invariant distinguishes lens spaces via categorified homotopy E_3-algebra.

Defines odd Khovanov homology via categorification of q-Schur algebra.

We develop differential algebraic K-theory for rings of integers in number fields and we construct a cycle map from geometrized bundles of modules over such a ring to the differential algebraic K-theory. We also treat some of the foundational aspects of differential cohomology, including differential function spectra a…

Unified determinants via a single equation.

Characterizes real left symmetric algebras with positive definite Koszul form and related Kähler-Einstein structures.

Paper explores how unsupervised learning can be understood through linear algebra concepts.

Estimates marginal independence structure of Bayesian networks from data.

Let S be a path-connected, locally-compact CW-complex, and let M be a subcomplex with finitely-many components. A `decorated SL_2(C)-local system' is an SL_2(C)-local system on S, together with a choice of `decoration' at each component of M (a section of the stalk of an associated vector bundle). We study the (decorat…

We prove by an algebraic method that the embedding of the Teichmuller space in the space of geodesic currents is totally linearly independent. We prove a similar result for all negatively curved surfaces using an ergodic argument.

Many extensions of General Relativity are based on considering metric and affine structures as independent properties of spacetime. This leads to the possibility of introducing torsion as an independent degree of freedom. In this article we examine the effects of torsion on the affine Killing vectors of two-dimensional…

In this paper, we analyze the fundamental conditions for low-rank tensor completion given the separation or tensor-train (TT) rank, i.e., ranks of unfoldings. We exploit the algebraic structure of the TT decomposition to obtain the deterministic necessary and sufficient conditions on the locations of the samples to ens…

Kernelized cumulants improve statistical analysis in high-dimensional spaces.