Related papers: A counterexample concerning quantifier elimination…

We study continuous variable systems, in which quantum and classical degrees of freedom are combined and treated on the same footing. Thus all systems, including the inputs or outputs to a channel, may be quantum-classical hybrids. This…

The Hopf algebra of word-quasi-symmetric functions ($\WQSym$), a noncommutative generalization of the Hopf algebra of quasi-symmetric functions, can be endowed with an internal product that has several compatibility properties with the…

Generalized analytic functions over generalized analytic manifolds are build from sums of convergent real power series with non-negative real exponents (and some well-ordering condition on the support). In a paper by Mart\'in-Villaverde,…

There have been many proposed forms of fractional calculus, which can be grouped into a few broad classes of operators. By replacing the kernel of the power function with another kernel function, the traditional Riemann-Liouville formula…

Using a diagrammatic reformulation of Bayes' theorem, we provide a necessary and sufficient condition for the existence of Bayesian inference in the setting of finite-dimensional $C^*$-algebras. In other words, we prove an analogue of…

A quasislit is the image of a vertical line segment [0, iy], y > 0, under a quasiconformal homeomorphism of the upper half-plane fixing infinity. Quasislits correspond precisely to curves generated by the Loewner equation with a driving…

In this paper, using Gromov-Jost-Korevaar-Schoen technique of harmonic maps to nonpositively curved targets, we study the representations of the fundamental groups of quasiprojective varieties. As an application of the above considerations…

A (non-commutative) Ulam quasimorphism is a map $q$ from a group $\Gamma$ to a topological group $G$ such that $q(xy)q(y)^{-1}q(x)^{-1}$ belongs to a fixed compact subset of $G$. Generalizing the construction of Barge and Ghys, we build a…

This is a short report on our new vanishing theorems for projective morphisms between complex analytic spaces. We established a complex analytic generalization of Koll\'ar's torsion-freeness and vanishing theorem for analytic simple normal…

We provide a new construction of Huber's universal compactification in the case of the structure morphism of a quasi-compact, separated rigid analytic space over a non-archimedean field. We make use of Raynaud's theory of formal models and…

Let a real-analytic manifold $M$ formally (holomorphically) equivalent to the following model…

We relate the moduli space of analytic equivalent germs of reduced quasi-homogeneous functions at $(\mathbb{C}^2,0)$ with their bi-Lipschitz equivalence classes. We show that any non-degenerate continuous family of (reduced)…

Weighted automata model quantitative aspects of systems like the consumption of resources during executions. Traditionally, the weights are assumed to form the algebraic structure of a semiring, but recently also other weight computations…

In this article we define restricted log-exp-analytic functions as compositions of log-analytic functions and exponentials whose logarithm are locally bounded. We prove that the derivative of a restricted log-exp-analytic function is again…

We introduce the concept of quasi-Lov\'asz extension as being a mapping $f\colon I^n\to\R$ defined on a nonempty real interval $I$ containing the origin and which can be factorized as $f(x_1,...,x_n)=L(\phi(x_1),...,\phi(x_n))$, where $L$…

We introduce a moduli space of ``complete quasimaps'' to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$. The construction, following previous work for curves on projective spaces, essentially proceeds by blowing up Ciocan-Fontanine--Kim's space…

The paper explores the indecomposable submodule structures of quantum divided power algebra $\mathcal{A}_q(n)$ defined in \cite{HU} and its truncated objects $\mathcal{A}_q(n, \bold m)$. An "intertwinedly-lifting" method is established to…

In this paper we prove pluripolarity of graphs of Denjoy quasianalytic functions of several variables on the spanning set

We investigate quantum lens spaces, $C(L_q^{2n+1}(r;\underline{m}))$, introduced by Brzezi\'nski-Szyma\'nski as graph $C^*$-algebras. We give a new description of $C(L_q^{2n+1}(r;\underline{m}))$ as graph $C^*$-algebras amending an error in…

Quasi-set theory was proposed as a mathematical context to investigate collections of indistinguishable objects. After presenting an outline of this theory, we define an algebra that has most of the standard properties of an orthocomplete…