English
Related papers

Related papers: Number theory combination: natural density and SMT

200 papers

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…

Statistical Mechanics · Physics 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…

Classical Physics · Physics 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…

Number Theory · Mathematics 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…

Mathematical Physics · Physics 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…

High Energy Physics - Theory · Physics 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…

Materials Science · Physics 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…

Quantum Physics · Physics 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…

Logic in Computer Science · Computer Science 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…

Quantum Physics · Physics 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…

Number Theory · Mathematics 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…

High Energy Physics - Theory · Physics 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Quantum Physics · Physics 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…

Logic in Computer Science · Computer Science 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.…

Machine Learning · Computer Science 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…

Soft Condensed Matter · Physics 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…

Information Theory · Computer Science 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…

Astrophysics · Physics 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…

High Energy Physics - Theory · Physics 2018-02-02 David Blanco , Horacio Casini , Mauricio Leston , Felipe Rosso