Related papers: Finiteness for the k-factor model and chirality va…
Motivated by Lang-Vojta's conjectures on hyperbolic varieties, we prove a new version of the Shafarevich conjecture in which we establish the finiteness of pointed families of polarized varieties. We then give an arithmetic application to…
We develop flexible methods of deriving variational inference for models with complex latent variable structure. By splitting the variables in these models into "global" parameters and "local" latent variables, we define a class of…
We study the motivic Serre invariant of a smoothly bounded algebraic or rigid variety $X$ over a complete discretely valued field $K$ with perfect residue field $k$. If $K$ has characteristic zero, we extend the definition to arbitrary…
The integrability condition called shape invariance is shown to have an underlying algebraic structure and the associated Lie algebras are identified. These shape-invariance algebras transform the parameters of the potentials such as…
Let $SL_{2n}$, $Sp_{2n}$, $E_6 = G^{sc}(E_6)$, $F_4 = G(F_4)$ be simply connected split algebraic groups over an arbitrary field $F$. Algebraic K-theory of affine homogeneous varieties $SL_{2n}/Sp_{2n}$ and $E_6/F_4$ is computed. Moreover,…
Classical varieties were characterized by Lawvere as the categories with effective congruences and a varietal generator: an abstractly finite regular generator which is regularly projective (its hom-functor preserves regular epimorphisms).…
In this paper we prove a characterization of quotients of Abelian varieties by the actions of finite groups that are free in codimension-one via some vanishing conditions on the orbifold Chern classes. The characterization is given among a…
Let $n$ be a positive integer, and let $k$ be a field (of arbitrary characteristic) accessible to symbolic computation. We describe an algorithmic test for determining whether or not a finitely presented $k$-algebra $R$ has infinitely many…
This paper introduces two Gaussian graphical models defined on complete bipartite graphs. We show that the determinants of the precision matrices associated with the models are equal up to scale, where the scale factor only depends on model…
We adapt Grayson's model of higher algebraic $K$-theory using binary acyclic complexes to the setting of stable $\infty$-categories. As an application, we prove that the $K$-theory of stable $\infty$-categories preserves infinite products.
A method how to construct Boolean-valued models of some fragments of arithmetic was developed in Krajicek (2011), with the intended applications in bounded arithmetic and proof complexity. Such a model is formed by a family of random…
Factor analysis refers to a statistical model in which observed variables are conditionally independent given fewer hidden variables, known as factors, and all the random variables follow a multivariate normal distribution. The parameter…
We introduce a generalized $k$-FL sequence and special kind of pairs of real numbers that are related to it, and give an application on the integral solutions of a certain equation using those pairs. Also, we associate skew circulant and…
We show that algebraizability of the functors $R^1\pi_*\mathcal{K}^M_{2,X}$ and $R^2\pi_*\mathcal{K}^M_{2,X}$ is a stable birational invariant for smooth and proper varieties $\pi:X\rightarrow k$ defined over an algebraic extension $k$ of…
Motivated by phylogenetics, our aim is to obtain a system of equations that define a phylogenetic variety on an open set containing the biologically meaningful points. In this paper we consider phylogenetic varieties defined via group-based…
By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…
In order to physically enlighten the relationship between {\it $q$--independence} and {\it scale-invariance}, we introduce three types of asymptotically scale-invariant probabilistic models with binary random variables, namely (i) a family,…
We formulate a model-independent theory of co/cartesian morphisms and co/cartesian fibrations: that is, one which resides entirely *within the $\infty$-category of $\infty$-categories*. We prove this is suitably compatible with the…
In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are…
Let X be a normal variety such that $K_X$ is Q-Cartier, and let $f: X \rightarrow X$ be a finite surjective morphism of degree at least two. We establish a close relation between the irreducible components of the locus of singularities that…