Related papers: Weihrauch-completeness for layerwise computability
We review some aspects of logarithmic conformal field theories which might shed some light on the geometrical meaning of logarithmic operators. We consider an approach, put forward by V. Knizhnik, where computation of correlation functions…
We demonstrate that the Weihrauch lattice can be used to classify the uniform computational content of computability-theoretic properties as well as the computational content of theorems in one common setting. The properties that we study…
Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.
The Ehrhart polynomial and Ehrhart series count lattice points in integer dilations of a lattice polytope. We introduce and study a $q$-deformation of the Ehrhart series, based on the notions of harmonic spaces and Macaulay's inverse…
This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorical models, although generally overlooked, have decidedly…
We develop the concept of pluri-Lagrangian structures for integrable hierarchies. This is a continuous counterpart of the pluri-Lagrangian (or Lagrangian multiform) theory of integrable lattice systems. We derive the multi-time Euler…
A partial order $(P,\le)$ admits a jump operator if there is a map $j\colon P \to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch lattice fails to satisfy both of these properties: it is not…
If quantum states exhibit small nonlinearities during time evolution, then quantum computers can be used to solve NP-complete problems in polynomial time. We provide algorithms that solve NP-complete and #P oracle problems by exploiting…
Finding the set of leaves for an unbounded tree is a nontrivial process in both the Weihrauch and reverse mathematics settings. Despite this, many combinatorial principles for trees are equivalent to their restrictions to trees with leaf…
In this note we prove a Birkhoff type transitivity theorem for continuous maps acting on non-separable completely metrizable spaces and we give some applications for dynamics of bounded linear operators acting on complex Fr\'{e}chet spaces.…
Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear…
A new class of infinite-dimensional Lie algebras given a name of Lax operator algebras, and the related unifying approach to finite-dimensional integrable systems with spectral parameter on a Riemann surface, such as Calogero--Moser and…
We analyse so-called computable laws, i.e., laws that can be enforced by automatic procedures. These laws should be logically perfect and unambiguous, but sometimes they are not. We use a regulation on road transport to illustrate this…
Enhancing a recent result of Bayart and Ruzsa we obtain a Birkhoff-type characterization of upper frequently hypercyclic operators and a corresponding Upper Frequent Hypercyclicity Criterion. As an application we characterize upper…
By using Cauchy integral formula in the theory of complex functions, the authors establish some integral representations for the principal branches of several complex functions involving the logarithmic function, find some properties, such…
A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…
Complex analysis is a powerful tool to study classical integrable systems, statistical physics on the random lattice, random matrix theory, topological string theory,... All these topics share certain relations, called "loop equations" or…
A class of representations of a Lie superalgebra (over a commutative superring) in its symmetric algebra is studied. As an application we get a direct and natural proof of a strong form of the Poincare'-Birkhoff-Witt theorem, extending this…
We show that for almost every map in a transversal one-parameter family of piecewise expanding unimodal maps the Birkhoff sum of suitable observables along the forward orbit of the turning point satisfies the law of iterated logarithm. This…
We completely characterize Birkhoff-James orthogonality with respect to numerical radius norm in the space of bounded linear operators on a complex Hilbert space. As applications of the results obtained, we estimate lower bounds of…