Related papers: The unconditional case of the complex S-inequality

We introduce sequentially $S_r$ modules over a commutative graded ring and sequentially $S_r$ simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying…

We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.

We consider a class of homogeneous self-similar sets with complete overlaps and give a sufficient condition for the Lipschitz equivalence between members in this class.

We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…

Let $f(x)=x^TAx+2a^Tx+c$ and $h(x)=x^TBx+2b^Tx+d$ be two quadratic functions having symmetric matrices $A$ and $B$. The S-lemma with equality asks when the unsolvability of the system $f(x)<0, h(x)=0$ implies the existence of a real number…

We prove that the modified KdV equation is unconditionally well-posed in H s (T) for s $\ge$ 1/3.

We prove a Weyl-type subconvex bound for cube-free level Hecke characters over totally real number fields. Our proof relies on an explicit inversion to Motohashi's formula. Schwartz functions of various kinds and the invariance of the…

We establish a bipolar Hardy inequality on complete, not necessarily reversible Finsler manifolds. We show that our result strongly depends on the geometry of the Finsler structure, namely on the reversibility constant $r_F$ and the…

The aim of this article is to show the existence, and also give an explicit construction, of infinite sets of orthogonal exponentials for certain families of convex polytopes which include simple-rational polytopes and also non simple…

There is proved the sufficiency of several conditions for the removability of singularities of complex-analytic sets in domains of $\mathbb C^n$.

Fix any $\lambda\in\mathbb{C}$. We say that a set $S\subseteq\mathbb{C}$ is $\lambda$-$convex$ if, whenever $a$ and $b$ are in $S$, the point $(1-\lambda)a+\lambda b$ is also in $S$. If $S$ is also (topologically) closed, then we say that…

Given two arbitrary closed sets in Euclidean space, a simple transversality condition guarantees that the method of alternating projections converges locally, at linear rate, to a point in the intersection. Exact projection onto nonconvex…

Given a pure, full-dimensional, locally strongly connected polyhedral complex C with convex support, we characterize, by a local codimension-2 condition, polyhedral complexes that coarsen C. The proof of the characterization draws upon a…

We give necessary and sufficient conditions for the convergence with geometric rate of the denominators of linear Pad\'e-orthogonal approximants corresponding to a measure supported on a general compact set in the complex plane. Thereby, we…

Automated program verification often proceeds by exhibiting inductive invariants entailing the desired properties.For numerical properties, a classical class of invariants is convex polyhedra: solution sets of system of linear…

We give a counterexample to a conjecture of S.E. Morris by showing that there is a compact plane set X such that R(X) has no non-zero, bounded point derivations but such that R(X) is not weakly amenable. We also give an example of a…

In this note, we show that a ring $R$ is $S$-coherent if and only if every finitely presented $R$-module is $S$-coherent, providing a positive answer to a question proposed in [D. Bennis, M. El Hajoui, {\it On $S$-coherence}, J. Korean…

In this paper we construct explicit examples that show the sublevel sets of the solution of a $k$-Hessian equation defined on a convex ring do not have to be convex.

We prove a Fr\"olicher-type inequality for a compact generalized complex manifold $M$, and show that the equality holds if and only if $M$ satisfies the generalized $\partial\bar{\partial}$-Lemma. In particular, this gives a unified proof…

In this paper we investigate the Margulis-Ruelle inequality for general Riemannian manifolds (possibly noncompact and with boundary) and show that it always holds under integrable condition.