中文
相关论文

相关论文: Number theory combination: natural density and SMT

200 篇论文

Physical systems that dissipate, mix and develop turbulence also irreversibly transport statistical density. In statistical physics, laws for these processes have a mathematical form and tractability that depends on whether the description…

统计力学 · 物理学 2022-11-16 Swetamber Das , Jason R. Green

A unification of characteristic mode decomposition for all method-of-moment formulations of field integral equations describing free-space scattering is derived. The work is based on an algebraic link between impedance and transition…

经典物理 · 物理学 2023-01-04 Mats Gustafsson , Lukas Jelinek , Kurt Schab , Miloslav Capek

Congruence theory has many applications in physical, social, biological and technological systems. Congruence arithmetic has been a fundamental tool for data security and computer algebra. However, much less attention was devoted to the…

数论 · 数学 2016-03-21 Xiao-Yong Yan , Wen-Xu Wang , Guan-Rong Chen , Ding-Hua Shi

Universality of quantum mechanics -- its applicability to physical systems of quite different nature and scales -- indicates that quantum behavior can be a manifestation of general mathematical properties of systems containing…

数学物理 · 物理学 2010-11-03 Vladimir V. Kornyak

Twistor string models have been known for more than a decade now but have come back under the spotlight recently with the advent of the scattering equation formalism which has greatly generalized the scope of these models. A striking…

高能物理 - 理论 · 物理学 2018-03-21 Eduardo Casali , Piotr Tourkine

It is shown that, contrary to widely held beliefs, the potentials of spin-density-functional theory (SDFT) are not unique functionals of the spin densities. Explicit examples of distinct sets of potentials with the same ground-state…

材料科学 · 物理学 2009-10-31 K. Capelle , G. Vignale

We discuss how to reconstruct quantum theory from operational postulates. In particular, the following postulates are consistent only with for classical probability theory and quantum theory. Logical Sharpness: There is a one-to-one map…

量子物理 · 物理学 2013-03-20 Lucien Hardy

Interest in anti-unification, the dual problem of unification, is on the rise due to applications within the field of software analysis and related areas. For example, anti-unification-based techniques have found uses within clone detection…

计算机科学中的逻辑 · 计算机科学 2025-06-23 Mauricio Ayala-Rincon , David M. Cerna , Andres Felipe Gonzalez Barragan , Temur Kutsia

The resource theory of quantum coherence studies the off-diagonal elements of a density matrix in a distinguished basis, whereas the resource theory of purity studies all deviations from the maximally mixed state. We establish a direct…

量子物理 · 物理学 2018-06-05 Alexander Streltsov , Hermann Kampermann , Sabine Wölk , Manuel Gessner , Dagmar Bruß

This article covers three topics. (1) It establishes links between the density of certain subsets of the set of primes and related subsets of the set of natural numbers. (2) It extends previous results on a conjecture of Bruinier and Kohnen…

数论 · 数学 2015-03-31 Sara Arias-de-Reyna , Ilker Inam , Gabor Wiese

This is a pedagogical review article surveying the various approaches towards understanding gauge coupling unification within string theory. As is well known, one of the major problems confronting string phenomenology has been an apparent…

高能物理 - 理论 · 物理学 2016-09-06 Keith R. Dienes

Assembly theory (AT) quantifies selection using the assembly equation and identifies complex objects that occur in abundance based on two measurements, assembly index and copy number, where the assembly index is the minimum number of…

Studies on ensemble methods for classification suffer from the difficulty of modeling the complementary strengths of the components. Kleinberg's theory of stochastic discrimination (SD) addresses this rigorously via mathematical notions of…

计算机视觉与模式识别 · 计算机科学 2007-05-23 Tin Kam Ho

Recent results on the non-universality of fault-tolerant gate sets underline the critical role of resource states, such as magic states, to power scalable, universal quantum computation. Here we develop a resource theory, analogous to the…

量子物理 · 物理学 2015-06-16 Victor Veitch , Seyed Ali Hamed Mousavian , Daniel Gottesman , Joseph Emerson

#SMT, or model counting for logical theories, is a well-known hard problem that generalizes such tasks as counting the number of satisfying assignments to a Boolean formula and computing the volume of a polytope. In the realm of…

计算机科学中的逻辑 · 计算机科学 2015-10-30 Dmitry Chistikov , Rayna Dimitrova , Rupak Majumdar

Incorporating constraints is a major concern in probabilistic machine learning. A wide variety of problems require predictions to be integrated with reasoning about constraints, from modelling routes on maps to approving loan predictions.…

机器学习 · 计算机科学 2020-01-31 Ioannis Papantonis , Vaishak Belle

Self-assembly in natural and synthetic molecular systems can create complex aggregates or materials whose properties and functionality rises from their internal structure and molecular arrangement. The key microscopic features that control…

软凝聚态物质 · 物理学 2021-09-03 Alberto Scacchi , Maria Sammalkorpi , Tapio Ala-Nissila

We propose a new interpretation of measures of information and disorder by connecting these concepts to group theory in a new way. Entropy and group theory are connected here by their common relation to sets of permutations. A combinatorial…

信息论 · 计算机科学 2019-11-25 David J. Galas

Cluster number counts offer sensitive probes of the dark energy if and only if the_evolution_ of the cluster mass versus observable relation(s) is well calibrated. We investigate the potential for internal calibration by demanding…

天体物理学 · 物理学 2011-05-12 Wayne Hu

We obtain new constraints for the modular energy of general states by using the monotonicity property of relative entropy. In some cases, modular energy can be related to the energy density of states and these constraints lead to…

高能物理 - 理论 · 物理学 2018-02-02 David Blanco , Horacio Casini , Mauricio Leston , Felipe Rosso