Related papers: Definability in differential-henselian monotone fi…
It is shown that the countably infinite dimensional pointed vector space (the vector space equipped with a constant) over a finite field has infinitely many first order definable reducts. This implies that the countable homogeneous…
We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…
We introduce the theory of operator monotone functions and employ it to derive a new inequality relating the quantum relative entropy and the quantum conditional entropy. We present applications of this new inequality and in particular we…
We extend Painlev\'e's determinateness theorem from the theory of ordinary differential equations in the complex domain allowing more general 'multiple-valued' Cauchy's problems. We study $C^0-$continuability (near singularities) of…
For nonautonomous linear difference equations, we introduce the notion of the so-called nonuniform dichotomy spectrum and prove a spectral theorem. Moreover, we introduce the notion of weak kinematical similarity and prove a reducibility…
In this note, we show that for any harmonic map into a non-compact symmetric space one can find naturally a "dual" harmonic map into a compact symmetric space which can be constructed from the same basic data (called "potentials" in the…
We determine the homological residue fields, in the sense of tensor-triangular geometry, in a series of concrete examples ranging from topological stable homotopy theory to modular representation theory of finite groups.
In this note one shows that the four persistence diagrams and measures defined in [5] are particular cases of the maps and the measures discussed in [2] and [1]
The notion of Fej\'er monotonicity has proven to be a fruitful concept in fixed point theory and optimization. In this paper, we present new conditions sufficient for convergence of Fej\'er monotone sequences and we also provide…
We introduce and study a general concept of multiple fixed point for mappings defined on partially ordered distance spaces in the presence of a contraction type condition and appropriate monotonicity properties. This notion and the obtained…
We show that the symmetric portion of correlated coherence is always a valid quantifier of entanglement, and that this property is independent of the particular choice of coherence measure. This leads to an infinitely large class of…
Scanlon [5] proves Ax-Kochen-Ershov type results for differential-henselian monotone valued differential fields with many constants. We show how to get rid of the condition "with many constants".
The c-map of four dimensional non-linear theories of electromagnetism is considered both in the rigid case and in its coupling to gravity. In this way theories with antisymmetric tensors and scalars are obtained, and the three non-linear…
We show the existence of a duality between the c-map space describing the universal hypermultiplet at tree level and the matrix model description of two-dimensional string theory compactified at a self-dual radius and perturbed by a…
We show that arithmetic definability of henselian valuations is preserved by the tilting correspondence. Moreover, we show that if a perfectoid valuation is arithmetically definable, then no parameters are needed. We also investigate…
These lectures centered around the Kempf-Ness theorem, which describes the equivalence between notions of quotient in symplectic and algebraic geometry. The text also describes connections to invariant theory, such existence of invariants…
This article continues and completes our previous work [14] J. Phys. Commun. 2 (2018) 025007. First of all, we present two methods of quantization associated with a linear connection given on a differentiable manifold, one of them being the…
The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of the fact that differentiable maps with…
We introduce the notion of nonevasive reduction, and show that for any monotone poset map $\phi:P\to P$, the simplicial complex $\Delta(P)$ {\tt NE}-reduces to $\Delta(Q)$, for any $Q\supseteq{\text{\rm Fix}}\phi$. As a corollary, we prove…
Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The…