Related papers: ACC for log canonical thresholds for complex analy…
Lagrange coded computation (LCC) is essential to solving problems about matrix polynomials in a coded distributed fashion; nevertheless, it can only solve the problems that are representable as matrix polynomials. In this paper, we propose…
We study the minimal model program for lc pairs on projective morphism between complex analytic spaces. More precisely, we generalize the results by Birkar and the second author to the setup by Fujino.
We prove the abundance theorem for log canonical $n$-folds such that the boundary divisor is big assuming the abundance conjecture for log canonical $(n-1)$-folds. We also discuss the log minimal model program for log canonical $4$-folds.
We propose novel first-order stochastic approximation algorithms for canonical correlation analysis (CCA). Algorithms presented are instances of inexact matrix stochastic gradient (MSG) and inexact matrix exponentiated gradient (MEG), and…
We define canonical bases of the higher-level q-deformed Fock space modules of the affine Lie algebra sl(n)^. This generalizes the result of Leclerc and Thibon for the case of level 1. We express the transition matrices between the…
We generalize the work of Jian Song to compute the alpha invariant of any (nef and big) toric line bundle in terms of the associated polytope. We use the analytic version of the computation of the log canonical threshold of monomial ideals…
We study log canonical thresholds (also called global log canonical threshold or $\alpha$-invariant) of $\mathbb{R}$-linear systems. We prove existence of positive lower bounds in different settings, in particular, proving a conjecture of…
Dual canonical bases are expected to satisfy a certain (double) triangularity property by Leclerc's conjecture. We propose an analogous conjecture for common triangular bases of quantum cluster algebras. We show that a weaker form of the…
In this paper, we prove a general theorem concerning the analyticity of the closure of a subspace defined by a family of variations of mixed Hodge structures, which includes the analyticity of the zero loci of degenerating normal functions.…
Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. In order to address this issue, previous work introduced agnostic hypothesis tests and proved that…
We prove a central limit theorem concerning the number of critical points in large cubes of an isotropic Gaussian random function on a Euclidean space.
We prove that the log canonical ring of a klt pair of dimension $3$ with $\mathbb{Q}$-boundary over an algebraically closed field of characteristic $p>5$ is finitely generated. In the process we prove log abundance for such pairs in the…
In this paper, we define NC complex spaces as complex spaces together with a structure sheaf of associative algebras in such a way that the abelization of the structure sheaf is the sheaf of holomorphic functions.
We prove that the topological complexity $\mathrm{TC}(\pi)$ equals $\mathrm{cd}(\pi\times\pi)$ for certain toral relatively hyperbolic groups $\pi$.
We prove that every complex analytic set X in a Runge domain D can be approximated by Nash sets on relatively compact subdomains of D. We give a necessary and sufficient condition for a complex analytic set X to admit a Nash approximation…
We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof…
We show the finiteness of log pluricanonical representations under the assumption of the existence of a good minimal model.
The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based. Previous work on the…
We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic L and some of its axiomatic extensions, where the labels are atomic formulas of the first order language of enriched formal contexts,…
We prove several congruences for trinomial coefficients.