Results 71 to 80 of about 569,781 (362)

Homotopy moment maps

, 2016
Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold.
Callies, Martin, Fregier, Yael, Rogers, Christopher L., Zambon, Marco   +3 more
core   +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

Conformal Current Algebra in Two Dimensions

, 2009
We construct a non-chiral current algebra in two dimensions consistent with conformal invariance. We show that the conformal current algebra is realized in non-linear sigma-models on supergroup manifolds with vanishing dual Coxeter number, with or ...
A. Giveon, D. Bernard, D. Kutasov, G. Götz, J. de Boer, Jan Troost, M.R. Zirnbauer, N. Berkovits, N. Gromov, P. Di Francesco, Raphael Benichou, Sujay K Ashok, T. Quella   +12 more
core   +2 more sources

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
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, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Modeling and Verification of 1/f Noise Mechanisms in FAPbBr3 Single‐Crystal X‐Ray Detectors

Advanced Electronic Materials, EarlyView.
We demonstratethat surface‐trap‐induced carrier number fluctuations are the dominantmechanism in FAPbBr3 Schottky devices, a conclusion supported by thedistinct defect profiles revealed by Drive‐Level Capacitance Profiling (DLCP). Throughnoise contribution decomposition, it is found that the 1/f noise of thedetector is the key noise source affecting ...
Zhongyu Yang, Qingli Zhang, Yuting Liu, Binbin Liu, Zhiping Zheng, Guangda Niu, Ling Xu   +6 more
wiley   +1 more source

Excitations in strict 2-group higher gauge models of topological phases

Journal of High Energy Physics, 2020
We consider an exactly solvable model for topological phases in (3+1) d whose input data is a strict 2-group. This model, which has a higher gauge theory interpretation, provides a lattice Hamiltonian realisation of the Yetter homotopy 2-type topological
Alex Bullivant, Clement Delcamp
doaj   +1 more source

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]

Logical Methods in Computer Science, 2012
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj   +1 more source

Graph Attention Neural Networks for Interpretable and Generalizable Prediction of Janus III–Vi Van Der Waals Heterostructures

Advanced Intelligent Discovery, EarlyView.
A crystal graph neural network based on the attention mechanism is proposed in this work. The model dynamically weights features through the attention mechanism, enabling precise prediction of properties of material from structural features. Here, taking Janus III–VI van der Waals heterostructures as a representative case, the properties have been ...
Yudong Shi, Zhao Zheng, Yinggan Zhang, Zhou Cui, Peng Lin, Cuilian Wen, Baisheng Sa, Zhimei Sun   +7 more
wiley   +1 more source

Graded near-rings

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2016
In this paper, we consider graded near-rings over a monoid G as generalizations of graded rings over groups, and study some of their basic properties.
Dumitru Mariana, Năstăsescu Laura, Toader Bogdan   +2 more
doaj   +1 more source

Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real‐World Data

Advanced Intelligent Discovery, EarlyView.
This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley   +1 more source