Results 81 to 90 of about 379,338 (251)
A differential representation of cosmological wavefunctions
Journal of High Energy Physics, 2022 Our understanding of quantum field theory rests largely on explicit and controlled calculations in perturbation theory. Because of this, much recent effort has been devoted to improve our grasp of perturbative techniques on cosmological spacetimes. While
Aaron Hillman, Enrico Pajer
doaj +1 more source
A Note on Units of Algebraic Number Fields [PDF]
Nagoya Mathematical Journal, 1955 We shall prove in the present note a theorem on units of algebraic number fields, applying one of the strongest formulations, be Hasse [3], of Grunwald’s existence theorem.
openaire +3 more sources
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
East European Journal of PhysicsThe present objective is to numerically analyze the induced magnetic field (IMF) effect of an unsteady MHD flow of Casson fluid through two infinite vertical plates. The effect of radiative heat has been scrutinized. Governing non-dimensional PDEs of the
Hiren Deka, Parismita Phukan
doaj +1 more source
Schanuel's theorem for heights defined via extension fields [PDF]
, 2014 Let $k$ be a number field, let $\theta$ be a nonzero algebraic number, and let $H(\cdot)$ be the Weil height on the algebraic numbers. In response to a question by T. Loher and D. W. Masser, we prove an asymptotic formula for the number of $\alpha \in k$
Frei, Christopher, Widmer, Martin
core
In Situ Graph Reasoning and Knowledge Expansion Using Graph‐PRefLexOR
Advanced Intelligent Discovery, EarlyView.Graph‐PRefLexOR is a novel framework that enhances language models with in situ graph reasoning, symbolic abstraction, and recursive refinement. By integrating graph‐based representations into generative tasks, the approach enables interpretable, multistep reasoning.
Markus J. Buehler
wiley +1 more source
Short Principal Ideal Problem in multicubic fields
Journal of Mathematical Cryptology, 2020 One family of candidates to build a post-quantum cryptosystem upon relies on euclidean lattices. In order to make such cryptosystems more efficient, one can consider special lattices with an additional algebraic structure such as ideal lattices.
Lesavourey Andrea +2 more
doaj +1 more source
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 +7 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This article offers a comprehensive review of topic modeling techniques, tracing their evolution from inception to recent developments. It explores methods such as latent Dirichlet allocation, latent semantic analysis, non‐negative matrix factorization, probabilistic latent semantic analysis, Top2Vec, and BERTopic, highlighting their strengths ...
Pratima Kumari +6 more
wiley +1 more source
On a class of ideals in an algebraic number field
Journal of Number Theory, 1970 AbstractLet k be an algebraic number field and let θ be the ring of integers of k. We define for each positive n and each prime ideal p of θ a nonnegative integer rn(p) as follows: if n = Σi = 0tkiqi is the q-adic expansion of n where q = Np, set rn(p) = (n − Σi = 0tki)/(q − 1).
Hiroshi Gunji, Donald L. McQuillan
openaire +2 more sources