相关论文: On K-semistable domains -- more examples

Using a recently introduced framework, we derive criteria for quantum k-separability, which are very easily computed. In the case k = 2, our criteria are equally strong to the best methods known so far, while in all other cases there are…

We make some observation on the logarithmic version of K-stability.

Semistable reduction theorem for projective morphisms in the category of complex analytic spaces is established.

We consider the statistics of the number of nodal domains aka nodal counts for eigenfunctions of separable wave equations in arbitrary dimension. We give an explicit expression for the limiting distribution of normalised nodal counts and…

We prove the special termination for log canonical pairs and its generalisation in the context of generalised pairs.

A definable set in a pair (K, k) of algebraically closed fields is co-analyzable relative to the subfield k of the pair if and only if it is almost internal to k. To prove this and some related results for tame pairs of real closed fields…

We consider $K$-semialgebras for a commutative semiring $K$ that are at the same time $\Sigma$-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over…

Fixing two positive integers $d$ and $k$, a positive number $v$, and a positive integer $I$, we prove that the K-semistable domain of the log pair $(X, \sum_{j=1}^kD_j)$ is a rational polytope lying in the $k$-dimensional simplex…

We prove several fundamental results about divisorial integral domains in the setup of multiplicative lattices.

In this note, we prove two results regarding the variation of K-moduli. The first one reveals the relationship between the chamber decomposition for K-semistable domains and the variation of GIT. The second one presents the relationship…

A general and computable criterion for k-(in)separability in continuous multipartite quantum systems is presented. The criterion can be experimentally implemented with a finite and comparatively low number of local observables. We discuss…

We show that G-equivariant K-semistability (resp. G-equivariant K-polystability) implies K-semistability (resp. K-polystability) for log Fano pairs when G is a finite group.

In this chapter, we explore how (Type-2) computable distributions can be used to give both (algorithmic) sampling and distributional semantics to probabilistic programs with continuous distributions. Towards this end, we sketch an encoding…

In this paper I consider all possible properties from commutative algebra for polynomial composites and monoid domains. The aim is full characterization of these structures. I start with the examination of group, ring, modules properties,…

We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree…

We present a simple analysis of k-means|| (Bahmani et al., PVLDB 2012) -- a distributed variant of the k-means++ algorithm (Arthur and Vassilvitskii, SODA 2007). Moreover, the bound on the number of rounds is improved from $O(\log n)$ to…

We explain the algebra needed to make sense of the log signature of a path, with plenty of examples. We show how the log signature can be calculated numerically, and explain some software tools which demonstrate it.

We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit…

We prove the existence of log canonical modifications for a log pair. As an application, together with Koll\"ar's gluing theory, we remove the assumption in the first named author's work [Odaka11], which shows that K-semistable polarized…

We completely characterize cosymplectic and $\alpha$-cosymplectic Lie algebras in terms of corresponding symplectic Lie algebras and suitable derivations on them. Several examples are given and classification results are obtained in…