Related papers: The Hydra Map and Numen Formalisms for Collatz-Typ…

We investigate a class of nominal algebraic Henkin-style models for the simply typed lambda-calculus in which variables map to names in the denotation and lambda-abstraction maps to a (non-functional) name-abstraction operation. The…

Let $k \leq n$ be nonnegative integers and let $\lambda$ be a partition of $k$. S. Griffin recently introduced a quotient $R_{n,\lambda}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which simultaneously generalizes…

Formalised libraries of combinatorial mathematics have rapidly expanded over the last five years, but few use one of the most important tools: probability. How can often intuitive probabilistic arguments on the existence of combinatorial…

We study the Hamilton formalism for Connes-Lott models, i.e., for Yang-Mills theory in non-commutative geometry. The starting point is an associative $*$-algebra $\cA$ which is of the form $\cA=C(I,\cAs)$ where $\cAs$ is itself a…

In a first part we propose an introduction to multisymplectic formalisms, which are generalisations of Hamilton's formulation of Mechanics to the calculus of variations with several variables: we give some physical motivations, related to…

For the case of algebraic curves - compact Riemann surfaces - it is shown that de Rham cohomology group $H^{1}_{\mathrm{dR}}(X,\mathbb{C})$ of a genus $g$ Riemann surface $X$ has a natural structure of a symplectic vector space. Every…

In paper [Znojil M., Phys. Rev. D 78 (2008), 085003, 5 pages, arXiv:0809.2874] the two-Hilbert-space (2HS, a.k.a. cryptohermitian) formulation of Quantum Mechanics has been revisited. In the present continuation of this study (with the…

Hurwitz numbers enumerate branched morphisms between Riemann surfaces. For a fixed elliptic target, Hurwitz numbers are intimately related to mirror symmetry following work of Dijkgraaf. In recent work of Chapuy and Dolega a new variant of…

We study harmonic morphisms of graphs as a natural discrete analogue of holomorphic maps between Riemann surfaces. We formulate a graph-theoretic analogue of the classical Riemann-Hurwitz formula, study the functorial maps on Jacobians and…

Classically, regular homomorphisms have been defined as a replacement for Abel--Jacobi maps for smooth varieties over an algebraically closed field. In this work, we interpret regular homomorphisms as morphisms from the functor of families…

Following the techniques of [4], we formulate a Normal Form Lemma suited to close to be integrable Hamiltonian systems where not all the coordinates are action angles. The Lemma turns to be useful in the theory of KAM tori of…

We develop an extension of the usual theory of formal group laws where the base ring is not required to be commutative and where the formal variables need neither be central nor have to commute with each other. We show that this is the…

This paper concerns the \textbf{abstract geometry of numbers}: namely the pursuit of certain aspects of geometry of numbers over a suitable class of normed domains. (The standard geometry of numbers is then viewed as geometry of numbers…

For a 0-dimensional scheme $\mathbb{X}$ in $\mathbb{P}^n$ over a perfect field $K$, we first embed the homogeneous coordinate ring $R$ into its truncated integral closure $\widetilde{R}$. Then we use the corresponding map from the module of…

When integrating the radiative transfer equation for polarized light, the necessity of high-order numerical methods is well known. In fact, well-performing high-order formal solvers enable higher accuracy and the use of coarser spatial…

Given a closed symplectic manifold $(M,\omega)$ we introduce a certain quantity associated to a tuple of conjugacy classes in the universal cover of the group ${\hbox{\it Ham}} (M,\omega)$ by means of the Hofer metric on ${\hbox{\it Ham}}…

In this paper, we explore a notion of nonabelian Hodge structure on the fundamental group of an algebraic variety. This is approach is compared to some alternative approaches due to Morgan, Hain and others. We also give criteria for a…

A criterion for the validity of the Riemann hypothesis reduced the problem to the search for a certain estimate, for a hermitian form associated by means of the Weyl symbolic calculus of operators to a distribution in the plane of an…

It is shown how to extend the formal variational calculus in order to incorporate integrals of divergences into it. Such a generalization permits to study nontrivial boundary problems in field theory on the base of canonical formalism.

We present a novel covariant bilinear formalism for the Two Higgs Doublet Model (2HDM) which utilises the Dirac algebra associated with the SL(2,C) group that acts on the scalar doublet field space. This Dirac-algebra approach enables us to…