Results 21 to 30 of about 12,379 (262)
Unordered Tuples in Quantum Computation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 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
Algebraic theory of measure algebras
Доповiдi Нацiональної академiї наук України, 2023 A. Horn and A. Tarski initiated the abstract theory of measure algebras. Independently V. Sushchansky, B. Oliynyk and P. Cameron studied the direct limits of Hamming spaces.
O.O. Bezushchak, B.V. Oliynyk
doaj +1 more source
Explicit decomposition of a rational prime in a cubic field
International Journal of Mathematics and Mathematical Sciences, 2006 We give the explicit decomposition of the principal ideal 〈p〉 (p prime) in a cubic field.
Saban Alaca +2 more
doaj +1 more source
Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52
Open Mathematics, 2017 The convolution sum, ∑(l,m)∈N02αl+βm=nσ(l)σ(m), $ \begin{array}{} \sum\limits_{{(l\, ,m)\in \mathbb{N}_{0}^{2}}\atop{\alpha \,l+\beta\, m=n}} \sigma(l)\sigma(m), \end{array} $ where αβ = 22, 44, 52, is evaluated for all natural numbers n. Modular forms
Ntienjem Ebénézer
doaj +1 more source
Advanced Materials Technologies, EarlyView.A stress‐normalised sensitivity metric (S = G/Y) is introduced as a materials‐level benchmark for intrinsically piezoresistive nanocomposites. By decoupling electromechanical response (G) from stiffness (Y), the framework enables direct comparison across diverse systems and clarifies design trade‐offs for wearable sensors.
Conor S. Boland
wiley +1 more source
On split quasi-hereditary covers and Ringel duality
Forum of Mathematics, SigmaIn this paper, we develop two new homological invariants called relative dominant dimension with respect to a module and relative codominant dimension with respect to a module.
Tiago Cruz
doaj +1 more source
Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots
Advanced Robotics Research, EarlyView.A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun +3 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
Injective hulls of many-sorted ordered algebras
Open Mathematics, 2019 This paper is devoted to the study of injectivity for ordered universal algebras. We first characterize injectives in the category OALΣ⩽$\begin{array}{} \displaystyle {\mathsf{OAL}_{{\it\Sigma}}^{\leqslant}} \end{array}$ of ordered Σ-algebras with lax ...
Zhang Xia, Ma Wen, Rump Wolfgang
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.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