Results 81 to 90 of about 411,441 (337)
Discretization of Virasoro Algebra
A $q$-discretization of \vi\ algebra is studied which reduces to the ordinary \vi\ algebra in the limit of $q \ra 1$. This is derived starting from the Moyal bracket algebra, hence is a kind of quantum deformation different from the quantum groups ...
Aizawa +21 more
core +1 more source
Representations of Locally Convex ∗ -Algebras [PDF]
Conditions for a functional to be admissible on a locally convex ∗ \ast -algebra are defined. Let F F be an admissible positive Hermitian functional on a commutative locally convex ∗ \ast -algebra; then it is shown that there exists a representation of A A into a Hilbert space ...
openaire +2 more sources
Representable and Diagonally Representable Weakening Relation Algebras
A binary relation defined on a poset is a weakening relation if the partial order acts as a both-sided compositional identity. This is motivated by the weakening rule in sequent calculi and closely related to models of relevance logic. For a fixed poset the collection of weakening relations is a subreduct of the full relation algebra on the underlying ...
Peter Jipsen, Jaš Šemrl
openaire +3 more sources
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Unordered Tuples in Quantum Computation [PDF]
It is well known that the C*-algebra of an ordered pair of qubits is M_2 (x) M_2. What about unordered pairs? We show in detail that M_3 (+) C is the C*-algebra of an unordered pair of qubits. Then we use Schur-Weyl duality to characterize the C*-algebra
Robert Furber, Bas Westerbaan
doaj +1 more source
Algebras with Inner MB-Representation
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Balcerzak, Marek +2 more
openaire +3 more sources
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
We introduce two classes of novel color superalgebras of $ \mathbb{Z}_2 \times \mathbb{Z}_2 $ grading. This is done by realizing members of each in the universal enveloping algebra of the ${\cal N}=1$ supersymmetric extension of the conformal Galilei ...
Aizawa, N., Isaac, P. S., Segar, J.
core +1 more source
A plasmonic optoelectronic memristor based on Te nanowires‐Au nanoparticles/ι‐carrageenan enables IR‐programmed and visiblelight‐erased non‐volatile conductance. The all‐photonic write/erase scheme supports in‐sensor logic and real‐time motion detection in darkness.
Jingyao Bian +7 more
wiley +1 more source
Robust C–V Ratio Technique for Profiling Defects in Proton‐Irradiated 4H‐SiC
A noise‐robust C–V ratio technique is introduced to profile radiation‐induced defects in proton‐irradiated 4H‐SiC Schottky diodes. By using analytical capacitance ratios instead of numerical differentiation, the method directly extracts trap‐density and effective trap‐energy profiles at room temperature.
Kibeom Kim +4 more
wiley +1 more source

