Related papers: Note on Archimedean property in ordered vector spa…

We study relations between the Cohen-Macaulay property and the positivity of $h$-vectors, showing that these two conditions are equivalent for those locally Cohen-Macaulay equidimensional closed projective subschemes $X$, which are close to…

A matrix $A \in \mathbb{C}^{q \times N}$ satisfies the restricted isometry property of order $k$ with constant $\varepsilon$ if it preserves the $\ell_2$ norm of all $k$-sparse vectors up to a factor of $1\pm \varepsilon$. We prove that a…

Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…

We consider a monotone increasing operator in an ordered Banach space having $u_-$ and $u_+$ as a strong super- and subsolution, respectively. In contrast with the well studied case $u_+ < u_-$, we suppose that $u_- < u_+$. Under the…

We show that the order dimension of the weak order on a Coxeter group of type A, B or D is equal to the rank of the Coxeter group, and give bounds on the order dimensions for the other finite types. This result arises from a unified…

We develop a first-order theory of ordered transexponential fields in the language $\{+,\cdot,0,1,<,e,T\}$, where $e$ and $T$ stand for unary function symbols. While the archimedean models of this theory are readily described, the study of…

Asymmetric vector norms are generalizations of asymmetric norms, where the subadditivity inequality is understood in ordered vector space sense. This relation imposes strong conditions on the ordering itself. This note studies on these…

We study the properties of rectangular constant $ \mu(\mathbb{X}) $ in a normed linear space $\mathbb{X}$. We prove that $ \mu(\mathbb{X}) = 3$ iff the unit sphere contains a straight line segment of length 2. In fact, we prove that the…

A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite…

This paper shows that for certain local topological properties, given a locally quasi-finite, flat and locally finitely presented map of schemes $f\colon X\to Y$, if $Y$ has the property, then so does $X$. We also show that being locally…

In this paper, the core convex topology on a real vector space $X$, which is constructed just by $X$ operators, is investigated. This topology, denoted by $\tau_c$, is the strongest topology which makes $X$ into a locally convex space. It…

We study classes of graphs with bounded clique-width that are well-quasi-ordered by the induced subgraph relation, in the presence of labels on the vertices. We prove that, given a finite presentation of a class of graphs, one can decide…

Let $\mathcal X$ be a projective arithmetic variety of dimension at least $2$. If $\overline{\mathcal L}$ is an ample hermitian line bundle on $\mathcal X$, we prove that the proportion of those effective sections of $\overline{\mathcal…

Let $\mathfrak{P}$ be a topological property. We study the relation between the order structure of the set of all $\mathfrak{P}$-extensions of a completely regular space $X$ with compact remainder (partially ordered by the standard partial…

Let $F$ be an archimedean local field and let $E$ be $F\times F$ (resp. a quadratic extension of $F$). We prove that an irreducible generic (resp. nearly tempered) representation of $\operatorname{GL}_n(E)$ is $\operatorname{GL}_n(F)$…

Let $X$ be metrizable, $Y$ be perfectly normal and suppose that there exists a uniformly continuous surjection $T: C_{p}(X) \to C_{p}(Y)$ (resp., $T: C_{p}^*(X) \to C_{p}^*(Y)$), where $C_{p}(X)$ (resp., $C_{p}^*(X)$) denotes the space of…

Let $k$ be a non-archimedean complete valued field and $X$ be a $k$-analytic space in the sense of Berkovich. In this note, we prove the equivalence between three properties: 1) for every complete valued extension $k'$ of $k$, every…

For each vector $x\in \ell^{\infty}$, we can define the non-empty compact set $L_x$ of accumulation points of $x$. Given an infinite subset $A$ of $\mathbb{N}\backslash\{1\}$, we can therefore investigate under which conditions on $A$, the…

In this note, we show that the order convergence in a vector lattice $X$ is not topological unless $\dim X<\infty$. Furthermore, we show that, in atomic order continuous Banach lattices, the order convergence is topological on order…

Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type \omega or -\omega, and the monadic second-order theory of the combined structure is decidable, there exists…