SearcharxivSearch

arXiv · 1708.02273

An Approach with Toric Varieties for Singular Learning Machines

Abstract

The Computational Algebraic Geometry applied in Algebraic Statistics; are beginning to exploring new branches and applications; in artificial intelligence and others areas. Currently, the development of the mathematics is very extensive and it is difficult to see the immediate application of few theorems in different areas, such as is the case of the Theorem 3.9 given in [10] and proved in part of here. Also this work has the intention to show the Hilbert basis as a powerful tool in data science; and for that reason we compile important results proved in works by, S. Watanabe [27], D. Cox, J. Little and H. Schenck [8], B. Sturmfels [16] and G. Ewald [10]. In this work we study, first, the fundamental concepts in Toric Algebraic Geometry. The principal contribution of this work is the application of Hilbert basis (as one realization of Theorem 3.9) for the resolution of singularities with toric varieties, and a background in Lattice Polytope. In the second part we apply this theorem to problems in statistical learning, principally in a recent area as is the Singular Learning Theory. We define the singular machines and the problem of Singular Learning through the computing of learning curves on these statistical machines. We review and compile results on the work of S. Watanabe in Singular Learning Theory, ref.; [17], [20], [21], also revising the important result in [26], about almost the machines are singular, we formalize this theory withtoric resolution morphism in a theorem proved here (Theorem 5.4), characterizing these Learning Machines as toric varieties, and we reproduce results previously published in Singular Statistical Learning seen in [19], [20], [23].

Explore related subjects

Keep this discovery

BibTeXRIS

M. P. Castillo-Villalba, J. O. González-Cervantes. 2017-08-07. An Approach with Toric Varieties for Singular Learning Machines. https://arxiv.org/abs/1708.02273

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Perverse Euler Characteristics of Hermitian Locally Symmetric Spaces

We prove that finite-volume locally Hermitian symmetric spaces of noncompact type have nonnegative perverse Euler characteristics. To show this, we obtain a nefness result for the logarithmic cotangent bundle of a smooth toroidal compactification. Combining this with a positivity criterion for Euler characteristics of perverse sheaves, we deduce the nonnegativity result. We further prove that the inequality is strict for perverse sheaves with full support. As applications, we get nonnegativity results for perverse Euler characteristics on various moduli spaces.

math.AG

Coupled Pklt Tuples and Varieties of Pklt Type

We introduce asymptotic multiplier ideal sheaves and log canonical thresholds associated with tuples of pseudoeffective divisors on a projective klt pair. We prove that the threshold of a coupled potentially klt tuple is computed by a quasi-monomial valuation. For varieties of potentially klt type, we prove that every big divisor admits a birational Zariski decomposition with semiample positive part. We also prove finite generation of multisection rings of big divisors and give a criterion for a variety of potentially klt type to be a Mori dream space.

math.AG

Graded Betti numbers of general curves of large degree

Let $C$ be a smooth projective complex curve of genus $g$ and gonality $k$, and $L$ be a very ample line bundle on $C$. When $L$ has sufficiently large degree, the vanishing and nonvanishing of the Koszul cohomology groups $K_{p,q}(C,L)$ have been determined previously, but the exact values of the graded Betti numbers $\kappa_{p,q}(C, L)$ remain largely unknown. In this paper, we give explicit closed formulas for all graded Betti numbers $\kappa_{p,q}(C, L)$ when the Brill--Noether locus $W_k^1(C)$ has the expected dimension and $H^1(C, L \otimes \omega_C^{-1})=0$. Consequently, we determine the complete Betti table for a general curve when $\deg L \geq 4g-3$ or when $\deg L \geq 3g-3$ and $L$ is general. We also explicitly compute the Boij--S\"{o}derberg coefficient of the section ring $R(C, L)$ governing asymptotic purity, and show eventual monotonicity of the remaining coefficients: they decrease for hyperelliptic curves and increase under a natural generic reducedness assumption on the relevant Brill--Noether loci.

math.AG