Related papers: On a Glimm -- Effros dichotomy and an Ulm--type cl…

We improve Izumi's inequality, which states that any divisorial valuation v centered at a closed point 0 on an algebraic variety Y is controlled by the order of vanishing at 0. More precisely, as v ranges through valuations that are…

We prove that for every $\epsilon > 0$ there exists a $\delta > 0$ so that every group of order $n \geq 3$ has at least $\delta \log_{2} n/{(\log_{2} \log_{2} n)}^{3+\epsilon}$ conjugacy classes. This sharpens earlier results of Pyber and…

A classical question of propositional logic is one of the shortest proof of a tautology. A related fundamental problem is to determine the relative efficiency of standard proof systems, where the relative complexity is measured using the…

We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…

Let $G$ be the symmetric group of degree $n$. Let $\omega(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $\sigma(G)$ be the minimal size of a family of proper…

We show from a weak comparison principle (the Ultrapower Axiom) that the Mitchell order is linear on certain kinds of ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. In the…

The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…

In this paper we give a proof of Enomoto's conjecture for graphs of sufficiently large order. Enomoto's conjecture states that, if $G$ is a graph of order $n$ with minimum degree $\delta(G)\geq \frac{n}{2}+1$, then for any pair of vertices…

We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…

Let $(\Sigma, \sigma)$ be the one-sided shift space with $m$ symbols and $R_n(x)$ be the first return time of $x\in\Sigma$ to the $n$-th cylinder containing $x$. Denote $$E^\varphi_{\alpha,\beta}=\left\{x\in\Sigma:…

The gauge equivalent counterparts of the some (1+1)-, or (2+0)-dimensional sigma models with potentials are found. The gauge equivalence between the some soliton equations of spin-phonon systems and the Yajima-Oikawa and Ma equations are…

We introduce the notion of $(\Gamma,E)$-determinacy for $\Gamma$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where…

Let $p$ be a prime. Given a split semisimple group scheme $G$ over a normal integral domain $R$ which is a faithfully flat $\mathbb Z_{(p)}$-algebra, we classify all finite dimensional representations $V$ of the fiber $G_K$ of $G$ over…

Voevodsky's univalence axiom is often motivated as a realization of the equivalence principle; the idea that equivalent mathematical structures satisfy the same properties. Indeed, in Homotopy Type Theory, properties and structures can be…

The category of models of any theory $T$ in any first-order language $L$ has the surprising property that any small category that is elementarily equivalent with it, already embeds in it. The proof uses an abstract argument via ultrapowers,…

Let $(M,g)$ be a smooth compact Riemannian manifold of dimension $n \geq 2$. This paper concerns to the validity of the optimal Riemannian $L^1$-Entropy inequality \[ {\bf Ent}_{dv_g}(u) \leq n \log \left(A_{opt} \|D u\|_{BV(M)} +…

We describe Somekawa's K-group associated to a finite collection of semi-abelian varieties (or more general sheaves) in terms of the tensor product in Voevodsky's category of motives. While Somekawa's definition is based on Weil…

We use localized topologies to prove existence and optimal regularity results for the divergence equation $\mathrm{div} (v) = F$ in critical cases $v \in L_1(\Omega;\mathbb{R}^m)$ or $v \in C_0(\Omega;\mathbb{R}^m)$, i.e. we characterize…

The celebrated Kadison--Sakai theorem states that every derivation on a von Neumann algebra is inner. In this paper, we prove this theorem for ultraweakly continuous *-\sigma-derivations, where \sigma is an ultraweakly continuous surjective…

We focus on the classification of positive solutions to $(-\Delta)^s u=\frac{x_n^{\alpha}}{u^\gamma}$ in the half space with $\gamma>0$, subject to the Dirichlet condition. We show that when $-2s<\alpha<(\gamma-1)s$, all positive solutions…