Related papers: Berkovich log discrepancies in positive characteri…

In this article we give two independent proofs of the positive characteristic analog of the log terminal inversion of adjunction. We show that for a pair $(X, S+B)$ in characteristic $p>0$, if $(S^n, B_{S^n})$ is strongly $F$-regular, then…

We study qualitative properties for nonnegative solutions to a conformally invariant coupled system of fourth order equations involving critical exponents. For solutions defined in the punctured space, there exist essentially two cases to…

In this paper we discuss log blow-up's, introduced by Kazuya Kato, and define the concept of log modifications. Using this concept we prove that any morphism f: X ---> Y of locally noetherian fs log schemes with underlying structures of f…

We are interested in proving input-output properties of functions that handle infinite data such as streams or non-wellfounded trees. We provide a finitary refinement type system which is (sound and) complete for Scott-open properties…

In this article, we investigate F-pure thresholds of polynomials that are homogeneous under some N-grading, and have an isolated singularity at the origin. We characterize these invariants in terms of the base p expansion of the…

We introduce a tunable loss function called $\alpha$-loss, parameterized by $\alpha \in (0,\infty]$, which interpolates between the exponential loss ($\alpha = 1/2$), the log-loss ($\alpha = 1$), and the 0-1 loss ($\alpha = \infty$), for…

In this note, we prove a sharp lower bound for the log canonical threshold of a plurisubharmonic function $\varphi$ with an isolated singularity at $0$ in an open subset of ${\mathbb C}^n$. This threshold is defined as the supremum of…

Entrywise functions preserving Loewner positivity have been studied by many authors, most notably Schoenberg and Rudin. Following their work, it is known that functions preserving positivity when applied entrywise to positive semidefinite…

In terms of log canonical threshold, we characterize plurisubharmonic functions with logarithmic asymptotical behaviour.

This paper solves the rational noncommutative analog of Hilbert's 17th problem: if a noncommutative rational function is positive semidefinite on all tuples of hermitian matrices in its domain, then it is a sum of hermitian squares of…

In 2011, Hefez and Hernandes completed Zariski's analytic classification of plane branches belonging to a certain equisingularity class by creating "very short" parameterizations over the complex numbers. Their results were used by Mehmood…

We continue the investigation into the computational status of the existence of moduli of regularity (and their use for rates of convergence) in the sense of Kohlenbach, Lopez and Nicolae (2019), carried out w.r.t. classical reverse…

An algorithm for resolution of singularities in characteristic zero is described. It is expressed in terms of multi-ideals, that essentially are defined as a finite sequence of pairs, each one consiting of a sheaf of ideals and a positive…

We show that there exists a positive real number $\delta>0$ such that for any normal quasi-projective $\mathbb{Q}$-Gorenstein $3$-fold $X$, if $X$ has worse than canonical singularities, that is, the minimal log discrepancy of $X$ is less…

We show that any distribution function on $\mathbb{R}^d$ with nonnegative, nonzero and integrable marginal distributions can be characterized by a norm on $\mathbb{R}^{d+1}$, called $F$-norm. We characterize the set of $F$-norms and prove…

We present a short, purely algebraic proof of the Symmetric Bessmertny\u{i} Realization Theorem in the characteristic $2$ case recently proved in [EOW26]. Symmetric Bessmertny\u{i} realizations are Schur complements of affine linear…

In this paper, we study the exact multiplicity and bifurcation curves of positive solutions for the semipositone problem defined on the interval from minus one to one, with zero boundary conditions at both ends. The function f is twice…

Using Godement mean on the Fourier-Stieltjes algebra of a locally compact quantum group we obtain strong separation results for quantum positive-definite functions associated to a subclass of representations, strengthening for example the…

In this paper we study singularities defined by the action of Frobenius in characteristic $p > 0$. We prove results analogous to inversion of adjunction along a center of log canonicity. For example, we show that if $X$ is a Gorenstein…

Generalizing work of Smith and Hara, we give a new characterization of log-terminal singularities for finitely generated algebras over $\mathbb C$, in terms of purity properties of ultraproducts of characteristic $p$ Frobenii. The first…