Related papers: Nash problem for a toric pair and the minimal log-…
We prove that the non-vanishing conjecture and the log minimal model conjecture for projective log canonical pairs can be reduced to the non-vanishing conjecture for smooth projective varieties such that the boundary divisor is zero.
In this paper we investigate realization theory of a class of non-linear systems, called Nash systems. Nash systems are non-linear systems whose vector fields and readout maps are analytic semi-algebraic functions. In this paper we will…
Minimal model conjecture for a proper variety $X$ is that if $\kappa(X)\geq 0$, then $X$ has a minimal model with the abundance and if $\kappa =-\infty$, then $X$ is birationally equivalent to a variety $Y$ which has a fibration $Y \to Z$…
We give a tropical description of the counting of real log curves in toric degenerations of toric varieties. We treat the case of genus zero curves and all non-superabundant higher-genus situations. The proof relies on log deformation…
A toroidal affine Nash group is the affine Nash group analogue of an anti-affine algebraic group. In this note, we prove analogues of Rosenlicht's structure and decomposition theorems: (1) Every affine Nash group $G$ has a smallest normal…
The embedded Nash problem for a hypersurface in a smooth algebraic variety, is to characterize geometrically the maximal irreducible families of arcs with fixed order of contact along the hypersurface. We show that divisors on minimal…
We study the subvariety of singular sections, the discriminant, of a base point free linear system $|L|$ on a smooth toric variety $X$. On one hand we describe pairs $(X,L)$ for which the discriminant is of low dimension. Precisely, we…
Finding, counting, or determining the existence of Nash equilibria, where players must play optimally given each others' actions, are known to be computational intractable problems. We ask whether weakening optimality to the requirement…
We prove that, if X is a variety over an uncountable algebraically closed field k of characteristic zero, then any irreducible exceptional divisor E on a resolution of singularities of X which is not uniruled, belongs to the image of the…
Let $(X,O)$ be a germ of a normal surface singularity, $\pi : \tilde X\longrightarrow X$ be the minimal resolution of singularities and let $A=(a_{i,j})$ be the $n\times n$ symmetrical intersection matrix of the exceptional set of $\tilde…
Variational relation problems allow a general approach for variational inequalities, equilibrium problems, optimization problems, variational inclusions. In this paper we consider a system of quasi-variational relations and determine some…
This paper studies Nash equilibrium problems that are given by polynomial functions. We formulate efficient polynomial optimization problems for computing Nash equilibria. The Lasserre type Moment-SOS relaxations are used to solve them.…
In this paper, the concept of toric difference varieties is defined and four equivalent descriptions for toric difference varieties are presented in terms of difference rational parametrization, difference coordinate rings, toric difference…
In this article, we use the cone of nef curves to study minimal log discrepancies. The first result is an improvement of the nef cone theorem in the case of log Calabi-Yau dlt pairs. Then, we prove that the ascending chain condition for…
We study the problem of computing minimal distinguishing formulas for non-bisimilar states in finite LTSs. We show that this is NP-hard if the size of the formula must be minimal. Similarly, the existence of a short distinguishing trace is…
We show that minimal models of log canonical pairs exist, assuming the existence of minimal models of smooth varieties.
We prove that the ACC conjecture for minimal log discrepancies holds for threefolds in $[1-\delta,+\infty)$, where $\delta>0$ only depends on the coefficient set. We also study Reid's general elephant for pairs, and show Shokurov's…
The logarithmic Chow semistability is a notion of Geometric Invariant Theory for the pair consists of varieties and its divisors. In this paper we introduce a obstruction of semistability for polarized toric manifolds and its toric…
A set of functional inequalities - called Nash inequalities - are introduced and analyzed in the context of quantum Markov process mixing. The basic theory of Nash inequalities is extended to the setting of non-commutative Lp spaces, where…
Fix a subset $I\subseteq \mathbb R_{>0}$ such that $\gamma=\inf\{ \sum_{i}n_ib_i-1>0 \mid n_i\in \mathbb Z_{\geq 0}, b_i\in I \}>0$. We give a explicit upper bound $\ell(\gamma)\in O(1/\gamma^2)$ as $\gamma\to 0$, such that for any smooth…