English
Related papers

Related papers: Ordinal and Horizontal Sums Constructing PBZ*-latt…

200 papers

We study the equational theory of the Weihrauch lattice with composition and iterations, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the composition operator $\star$ and…

Logic in Computer Science · Computer Science 2025-01-30 Cécilia Pradic

Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of…

Logic · Mathematics 2020-03-12 Ivan Chajda , Helmut Länger

Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…

Logic · Mathematics 2022-01-05 George Metcalfe , Luca Reggio

A lattice reduction is an algorithm that transforms the given basis of the lattice to another lattice basis such that problems like finding a shortest vector and closest vector become easier to solve. We define a class of bases called…

Data Structures and Algorithms · Computer Science 2020-09-10 Kanav Gupta , Mithilesh Kumar , Håvard Raddum

In the process of constructing invariant difference schemes which approximate partial differential equations we write down a procedure for discretizing an arbitrary partial differential equation on an arbitrary lattice. An open problem is…

Mathematical Physics · Physics 2016-04-27 Decio Levi , Miguel A. Rodriguez

Let $L$ be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of $L$ contained in the center of $L$ and endomorphisms $j$ of $L$ satisfying the Borceux-Van den Bossche conditions.

Logic · Mathematics 2007-05-23 Leopoldo Roman

This paper provides sufficient density conditions for the existence of smooth vectors generating a frame or Riesz sequence in the lattice orbit of a square-integrable projective representation of a nilpotent Lie group. The conditions…

Functional Analysis · Mathematics 2022-06-08 Erik Bédos , Ulrik Enstad , Jordy Timo van Velthoven

Since the spatially extended periodic parity-time (PT) symmetric potential can possess certain unique properties compared to a single PT cell (with only a pair of coupled gain-loss components), various schemes have been proposed to realize…

The alternating and non-alternating harmonic sums and other algebraic objects of the same equivalence class are connected by algebraic relations which are induced by the product of these quantities and which depend on their index class…

High Energy Physics - Phenomenology · Physics 2009-11-10 J. Blümlein

In this paper, a short survey about the concepts underlying general logics is given. In particular, a novel rigorous definition of a fuzzy negation as an operation acting on a lattice to render it into a fuzzy logic is presented. According…

Logic · Mathematics 2015-03-13 Andreas de Vries

In this paper we study ideas which have proved useful in topological network theory in the context of lattices of numbers. A number lattice $L_S$ is a collection of row vectors, over $\mathbb{Q}$ on a finite column set $S,$ generated by…

Number Theory · Mathematics 2019-07-23 H. Narayanan , Hariharan Narayanan

Borcherds lift for an even lattice of signature (p,q) is a lifting from weakly holomorphic modular forms of weight (p-q)/2 for the Weil representation. We introduce a new product operation on the space of such modular forms and develop a…

Number Theory · Mathematics 2021-05-25 Shouhei Ma

We investigate the alternate order on a congruence-uniform lattice $\mathcal{L}$ as introduced by N. Reading, which we dub the core label order of $\mathcal{L}$. When $\mathcal{L}$ can be realized as a poset of regions of a simplicial…

Combinatorics · Mathematics 2019-04-12 Henri Mühle

We describe new families of the Knizhnik-Zamolodchikov-Bernard (KZB) equations related to the WZW-theory corresponding to the adjoint $G$-bundles of different topological types over complex curves $\Sigma_{g,n}$ of genus $g$ with $n$ marked…

Mathematical Physics · Physics 2012-12-11 Andrey M. Levin , Mikhail A. Olshanetsky , Andrey V. Smirnov , Andrei V. Zotov

We characterize the Archimedean lattice-ordered algebras with identity that admit a polynomial growth continuous function calculus. More precisely, for an $n$-tuple $\mathbf{x}=(x_1,\dots,x_n)$ in an Archimedean lattice-ordered algebra $X$…

Functional Analysis · Mathematics 2026-04-23 David Muñoz-Lahoz

We show that an atomic orthomodular lattice L can be reconstructed up to isomorphism from the poset B(L) of Boolean subalgebras of L. A motivation comes from quantum theory and the so-called topos approach, where one considers the poset of…

Quantum Physics · Physics 2013-12-06 Carmen Constantin , Andreas Doering

In this paper we study the Brauer loop model on a strip and the associated quantum Knizhnik--Zamolodchikov (qKZ) equation. We show that the minimal degree solution of the Brauer qKZ equation with one of four different possible boundary…

Mathematical Physics · Physics 2016-05-13 Anita Ponsaing , Paul Zinn-Justin

We present a general way to define a topology on orthomodular lattices. We show that in the case of a Hilbert lattice, this topology is equivalent to that induced by the metrics of the corresponding Hilbert space. Moreover, we show that in…

Quantum Physics · Physics 2009-11-13 Olivier Brunet

Given a filter $\Delta$ in the poset of compositions of $n$, we form the filter $\Pi^{*}_{\Delta}$ in the partition lattice. We determine all the reduced homology groups of the order complex of $\Pi^{*}_{\Delta}$ as ${\mathfrak…

Combinatorics · Mathematics 2016-06-07 Richard Ehrenborg , Dustin Hedmark

We consider two sequences of orthogonal polynomials $(P_n)_{n\geq 0}$ and $(Q_n)_{n\geq 0}$ with respect regular functionals ${\bf u}$ and ${\bf v}$, respectively. We assume that $$\sum_{j=1} ^{M} a_{j,n}\mathrm{D}_x ^k P_{k+n-j}…

Classical Analysis and ODEs · Mathematics 2023-01-10 D. Mbouna
‹ Prev 1 8 9 10 Next ›