Related papers: Algebraic generality vs arithmetic generality in t…
In 1693, Gottfried Whilhelm Leibniz published in the Acta Eruditorum a geometrical proof of the fundamental theorem of the calculus. During his notorious dispute with Isaac Newton on the development of the calculus, Leibniz denied any…
Many important computational structures involve an intricate interplay between algebraic features (given by operations on the underlying set) and relational features (taking account of notions such as order or distance). This paper…
In 2003 Peter Cameron introduced the concept of a Jordan scheme and asked whether there exist Jordan schemes which are not symmetrisations of coherent configurations (proper Jordan schemes). The question was answered affirmatively by the…
For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…
I explore several related routes to deriving the Jordan-algebraic structure of finite-dimensional quantum theory from more transparent operational or physical principles, mainly involving ideas about the symmetries of, and the correlations…
The geometric motivic Poincar\'e series of a germ $(S,0)$ of complex algebraic variety takes into account the classes in the Grothendieck ring of the jets of arcs through $(S,0)$. Denef and Loeser proved that this series has a rational…
In 1971 Feynman, Kislinger and Ravndal [1] proposed Lorentz-invariant differential equation capable to describe relativistic particle with mass and internal space-time structure. By making use of new variables that differentiate between…
We show that the regular patterns of Getzler (2009) form a 2-category biequivalent to the 2-category of substitudes of Day and Street (2003), and that the Feynman categories of Kaufmann and Ward (2013) form a 2-category biequivalent to the…
We study the Jordan frame formulation of generalizations of scalar-tensor theories conceived by replacing the scalar with other fields such as vectors. The generic theory in this family contains higher order time derivative terms in the…
A surprising 'converse to the polynomial method' of Aaronson et al. (CCC'16) shows that any bounded quadratic polynomial can be computed exactly in expectation by a 1-query algorithm up to a universal multiplicative factor related to the…
A few years ago Morier-Genoud and Ovsienko introduced an interesting quantization of the real numbers as certain power series in a quantization parameter $q.$ It is known now that the golden ratio has minimal radius among all these series.…
Let T -> S be a finite flat morphism of degree two between regular integral schemes of dimension at most two (and with 2 invertible), having regular branch divisor D. We establish a bijection between Azumaya quaternion algebras on T and…
The purpose of this article is to show that the bivariant algebraic $A$-cobordism groups considered previously by the author are independent of the chosen base ring $A$. This result is proven by analyzing the bivariant ideal generated by…
Generalized quantum cluster algebras introduced in [1] are quantum deformation of generalized cluster algebras of geometric types. In this paper, we prove that the Laurent phenomenon holds in these generalized quantum cluster algebras. We…
For integers $N\geq 3$ and $g\geq 1$, we study bounds on the cardinality of the set of points of order dividing $N$ lying on a hyperelliptic curve of genus $g$ embedded in its jacobian using a Weierstrass point as base point. This leads us…
In 1640's, Blaise Pascal discovered a remarkable property of a hexagon inscribed in a conic - Pascal Theorem, which gave birth of the projective geometry. In this paper, a new geometric invariant of algebraic curves is discovered by a…
Between 1941 and 1962, scalar-tensor theories of gravitation were suggested four times by different scientists in four different countries. The earliest originator, the Swiss mathematician W. Scherrer, was virtually unknown until now…
We introduce the notion of a quadri-bialgebra, which gives a bialgebra theory for the quadri-algebra introduced by Aguiar and Loday. We show that a quadri-bialgebra is equivalent to a Manin triple of dendriform algebras associated to a…
Let $\pi\colon\mathcal{X}\to B$ be a family over a smooth connected analytic variety $B$, not necessarily compact, whose general fiber $X$ is smooth of dimension $n$, with irregularity $\geq n+1$ and such that the image of the canonical map…
We show how the proof of the Grothendieck Theorem for jointly completely bounded bilinear forms on C*-algebras by Haagerup and Musat can be modified in such a way that the method of proof is essentially C*-algebraic. To this purpose, we use…