English
Related papers

Related papers: Joins in the strong Weihrauch degrees

200 papers

The full lattices in a finite dimensional commutative ${\mathbb Q}$-algebra form a commutative semigroup. In the case of an algebraic number field the top part of a certain quotient semigroup is the class group. For a separable algebra some…

Rings and Algebras · Mathematics 2026-02-17 Claus Hertling , Khadija Larabi

In this paper we study the Weihrauch complexity of projection operators onto closed subsets of the Euclidean space. We show that some fundamental degrees of the Weihrauch lattice can be characterized in terms of such operators.

Logic · Mathematics 2019-10-24 Guido Gherardi , Alberto Marcone , Arno Pauly

Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…

Rings and Algebras · Mathematics 2026-05-12 Joakim Arnlind , Stefan Wagner

Quadratic algebras are generalizations of Lie algebras; they include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical…

Mathematical Physics · Physics 2014-01-07 Ernest G. Kalnins , Willard Miller

Given a finite connected bipartite graph, finite-dimensional indecomposable semisimple Leibniz algebras are constructed. Furthermore, any finite-dimensional indecomposable semisimple Leibniz algebra admits a similar construction.

Rings and Algebras · Mathematics 2019-08-06 Rustam Turdibaev

In recent years, researchers have discovered various large algebraic structures that have surprising finiteness properties, such as FI-modules and Delta-modules. In this paper, we add another example to the growing list: we show that…

Commutative Algebra · Mathematics 2016-03-24 Rohit Nagpal , Steven V Sam , Andrew Snowden

This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared…

Logic in Computer Science · Computer Science 2016-12-09 Arno Pauly , Florian Steinberg

Structure of certain simple $\mathcal{W}$-algebras assocated with the Deligne exceptional Lie algebras and non-admissible levels are described as the {\it simple current extensions} of certain vertex operator algebras. As an application,…

Quantum Algebra · Mathematics 2015-05-27 Kazuya Kawasetsu

In this paper, we study an impact of Leibniz algebras on the algebraic structure of $\mathbb{N}$-graded vertex algebras. We provide easy ways to characterize indecomposable non-simple $\mathbb{N}$-graded vertex algebras…

Quantum Algebra · Mathematics 2019-07-29 Phichet Jitjankarn , Gaywalee Yamskulna

We investigate whether every computable member of a given class of structures admits a fully primitive recursive (also known as punctual) or fully P-TIME copy. A class with this property is referred to as punctually robust or P-TIME robust,…

Logic · Mathematics 2025-04-24 Nikolay Bazhenov , Dariusz Kalociński , Michał Wrocławski

We contribute to a recent research program which aims at revisiting the study of the complexity of word problems, a major area of research in combinatorial algebra, through the lens of the theory of computably enumerable equivalence…

Logic · Mathematics 2023-05-22 Valentino Delle Rose , Luca San Mauro , Andrea Sorbi

The following article treats about convex geometries which are lower semi-modular and join semi-distributive lattices. Firstly, it is shown that there is a class $K$ of infinite convex geometries which can be build out of finite ones by…

Logic · Mathematics 2025-09-10 Adam Mata

Recently, the higher order averaging method for studying periodic solutions of both Lipschitz differential equations and discontinuous piecewise smooth differential equations was developed in terms of Brouwer degree theory. Between the…

Dynamical Systems · Mathematics 2021-05-05 Douglas D. Novaes , Francisco B. G. Silva

We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logarithm and Birkhoff's theorem. We also consider hitting time…

Logic in Computer Science · Computer Science 2023-06-22 Arno Pauly , Willem Fouché , George Davie

We explore the Weihrauch degree of the problems ``find a bad sequence in a non-well quasi order'' ($\mathsf{BS}$) and ``find a descending sequence in an ill-founded linear order'' ($\mathsf{DS}$). We prove that $\mathsf{DS}$ is strictly…

Logic · Mathematics 2025-09-23 Jun Le Goh , Arno Pauly , Manlio Valenti

We study the join-semilattice of constructibility real degrees in the side-by-side Sacks model, the model of set theory obtained by forcing with a countable-support product of infinitely many Sacks forcings over the constructible universe.…

Logic · Mathematics 2026-02-09 Lorenzo Notaro

Leibniz algebras are a non-anticommutative version of Lie algebras. They play an important role in different areas of mathematics and physics and have attracted much attention over the last thirty years. In this paper we investigate whether…

Rings and Algebras · Mathematics 2021-01-28 David A. Towers

In this PhD thesis, we give a new geometric approach to higher Teichm\"uller theory. In particular we construct a geometric structure on surfaces, generalizing the complex structure, and we explore its link to Hitchin components. The…

Differential Geometry · Mathematics 2020-07-02 Alexander Thomas

There exist initial segments of both the Dyment lattice and the Dyment-Muchnik lattice that yield Brouwer algebras modeling exactly the intuitionistic propositional calculus. For the Dyment-Muchnik lattice, this result is obtained by…

This work presents exact expressions for size distributions of weak/multilayer connected components in two generalisations of the configuration model: networks with directed edges and multiplex networks with arbitrary number of layers. The…

Combinatorics · Mathematics 2017-11-08 I. Kryven