Related papers: Intermediate models with deep failure of choice

Following Braverman-Finkelberg-Feigin-Rybnikov (arXiv:1008.3655), we study the convolution algebra of a handsaw quiver variety, a.k.a. a parabolic Laumon space, and a finite W-algebra of type A. This is a finite analog of the AGT conjecture…

An end of a graph $G$ is an equivalence class of rays, where two rays are equivalent if there are infinitely many vertex-disjoint paths between them in $G$. The degree of an end is the maximum cardinality of a collection of pairwise…

Let $G$ be the automorphism group of an extension $F|k$ of algebraically closed fields of characteristic zero and of transcendence degree $n$, $1\le n\le\infty$. In this paper we (i) construct some maximal closed non-open subgroups $G_v$,…

Conformal Galilei Algebras labeled by $d,\ell$ (where $d$ is the number of space dimensions and $\ell$ denotes a spin-${\ell}$ representation w.r.t. the $\mathfrak{sl}(2)$ subalgebra) admit two types of central extensions, the ordinary one…

In this paper, we show by a counterexample that the gH-partial derivative of interval-valued functions (IVFs) may exist even when the partial derivative of the end point functions do not. Next, we introduce the gH-partial derivative in…

We define a certain finite set in set theory $\{x\mid\varphi(x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any…

Let $f:\, X\to Y$ be a semistable non-isotrivial family of $n$-folds over a smooth projective curve with discriminant locus $S \subseteq Y$ and with general fibre $F$ of general type. We show the strict Arakelov inequality…

Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to \mathbb{N}$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is degree-truncated $k$-choosable. Answering a question of Richter, it was…

We consider a seemingly weaker form of $\Delta^1_1$ Turing determinacy. Let $2 \leq \rho < \omega_1^{\textrm{CK}}$, $\textrm{Weak-Turing-Det}_\rho (\Delta^1_1)$ is the statement: Every $\Delta^1_1$ set of reals cofinal in the Turing degrees…

If we replace first order logic by second order logic in the original definition of G\"odel's inner model $L$, we obtain HOD. In this paper we consider inner models that arise if we replace first order logic by a logic that has some, but…

We study the problem of classifying triangulated categories with finite-dimensional morphism spaces and finitely many indecomposables over an algebraically closed field. We obtain a new proof of the following result due to Xiao and Zhu: the…

We prove that any unconditional set in $\mathbb{R}^N$ that is invariant under cyclic shifts of coordinates is rigid in $\ell_q^N$, $1\le q\le 2$, i.e. it can not be well approximated by linear spaces of dimension essentially smaller than…

This article concerns commutative algebras over a field $k$ of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively…

In this paper we prove that if $X $ is a Banach space, then for every lower semi-continuous bounded below function $f, $ there exists a $\left(\varphi_1, \varphi_2\right)-$convex function $g, $ with arbitrarily small norm, such that $f + g…

The well-known Kruskal-Katona theorem in combinatorics says that (under mild conditions) every monotone Boolean function $f: \{0,1\}^n \to \{0,1\}$ has a nontrivial "density increment." This means that the fraction of inputs of Hamming…

The Landau-Kolmogorov problem consists of finding the upper bound $M_k$ for the norm of intermediate derivative $|f^{(k)}|$, when the bounds $|f| \le M_0$ and $|f^{(n)}| \le M_n$, for the norms of the function and of its higher derivative,…

This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3…

Let $G=(V, E)$ be a finite connected graph, where $V$ denotes the set of vertices and $E$ denotes the set of edges. We revisit the following Chern-Simons Higgs model, \begin{equation*} \Delta u=\lambda…

There are two types of deep generative models: explicit and implicit. The former defines an explicit density form that allows likelihood inference; while the latter targets a flexible transformation from random noise to generated samples.…

In two papers we noted that in common practice many algebraic constructions are defined only `up to isomorphism' rather than explicitly. We mentioned some questions raised by this fact, and we gave some partial answers. The present paper…