Related papers: On the expressive power of Lukasiewicz's square op…
The tensor powers of the vector representation associated to an infinite rank quantum group decompose into irreducible components with multiplicities independant of the infinite root system considered. Although the irreducible modules…
This paper studies first-order algorithms for solving fully composite optimization problems over convex and compact sets. We leverage the structure of the objective by handling its differentiable and non-differentiable components…
We show that for a general Markov generator the associated square-field (or carr\'e du champs) operator and all their iterations are positive. The proof is based on an interpolation between the operators involving the generator and their…
This paper concerns the minimization of the composition of a nonsmooth convex function and a $\mathcal{C}^{1,1}$ mapping $F$ over a $\mathcal{C}^2$-smooth embedded closed submanifold $\mathcal{M}$. For this class of nonconvex and nonsmooth…
It is well known that the repeated square and multiply algorithm is an efficient way of modular exponentiation. The obvious question to ask is if this algorithm has an inverse which would calculate the discrete logarithm efficiently. The…
Given a nonempty set $\mathcal{L}$ of linear orders, we say that the linear order $L$ is $\mathcal{L}$-convex embeddable into the linear order $L'$ if it is possible to partition $L$ into convex sets indexed by some element of $\mathcal{L}$…
A representation theorem for non-semibounded Hermitian quadratic forms in terms of a (non-semibounded) self-adjoint operator is proven. The main assumptions are closability of the Hermitian quadratic form, the direct integral structure of…
In this paper, we will show that for an operator $T$ which is injective and has dense range, there exists an invertible operator $X$ (in fact we can find $U+K$, where $U$ is an unitary operator and $K$ is a compact operator with norm less…
In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators $\forall$ and $\exists$. After a study of the basic properties of this variety we show that this class is the equivalent…
We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…
In this paper, we investigate the power of nearly purely operational techniques in the study of umbral calculus. We present a concise reconstruction of the theory based on a systematic use of linear operators, with particular attention to…
An explicit invariant-theoretic description of the moduli space $\mathcal{M}_3^1$ of degree-three rational maps on $\mathbb{P}^1$ is developed. A cubic map $\phi$ is represented, up to conjugation, by the pair of binary forms $(f, g) \in…
We study the convergence properties of the 'greedy' Frank-Wolfe algorithm with a unit step size, for a convex maximization problem over a compact set. We assume the function satisfies smoothness and strong convexity. These assumptions…
We study the closure of the unitary orbit of a given point in the non-commutative Choquet boundary of a unital operator space with respect to the topology of pointwise norm convergence. This may be described more extensively as the…
An essential generalization of the Lebedev index transform with the square of the Macdonald function is investigated. Namely, we consider a family of integral operators with the positive kernel $|K_{(i\tau+\alpha)/2}(x)|^2, \alpha \ge 0,\ x…
The Minkowski Question Mark function relates the continued-fraction representation of the real numbers, to their binary expansion. This function is peculiar in many ways; one is that its derivative is 'singular'. One can show by classical…
Odrzywo\l{}ek defined a system Exp-Minus-Log (EML) that reduces all elementary functions over complex numbers down to a constant `$1$', and a single two place function $E(\alpha, \beta) = \exp(\alpha) - \log(\beta)$. This paper shows that…
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here, we further explore this system, exhibiting a classical…
We prove the result in the title. We infer, that unlike cylindric algebras, there is a first order axiomatization of the class of completely representable polyadic algebras of infinite dimension, though the one we obtain is infinite; in…
We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FLew (i.e. IMALLW) that have a cut-free hypersequent proof calculus (specifically: every analytic structural rule…