Results 21 to 30 of about 108,430 (261)
Derivation of gravitational time dilation from principle of equivalence and special relativity
Science & Philosophy, 2021 General relativity is the exact theory of gravity which has been experimentally found to be correct with extremely high accuracy. One of the most surprising predictions of the general theory is that time runs slow in a gravitational field.
Biswaranjan Dikshit
doaj +1 more source
Estimating deep Littlewood-Richardson Coefficients [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 Littlewood Richardson coefficients are structure constants appearing in the representation theory of the general linear groups $(GL_n)$. The main results of this paper are: 1.
Hariharan Narayanan
doaj +1 more source
Дискурс Пи, 2020 The investigation aim - precise formulating and solving the problem of provability or improvability of statement of existence of God, and also of provability or improvability of negation of this statement in a formal axiomatic system of philosophical ...
Lobovikov V.O.
doaj +1 more source
K-stability of Fano varieties via admissible flags
Forum of Mathematics, Pi, 2022 We develop a general approach to prove K-stability of Fano varieties. The new theory is used to (a) prove the existence of Kähler-Einstein metrics on all smooth Fano hypersurfaces of Fano index two, (b) compute the stability thresholds for hypersurfaces ...
Hamid Abban, Ziquan Zhuang
doaj +1 more source
The Principle of Covariance and the Hamiltonian Formulation of General Relativity
Entropy, 2021 The implications of the general covariance principle for the establishment of a Hamiltonian variational formulation of classical General Relativity are addressed.
Massimo Tessarotto, Claudio Cremaschini
doaj +1 more source
Bounds on the power of proofs and advice in general physical theories [PDF]
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2016 Quantum theory presents us with the tools for computational and communication advantages over classical theory. One approach to uncovering the source of these advantages is to determine how computation and communication power vary as quantum theory is replaced by other operationally defined theories from a broad framework of such theories.
Ciarán M. Lee, Matty J. Hoban
openaire +6 more sources
Revisiting Variable Output Length XOR Pseudorandom Function
IACR Transactions on Symmetric Cryptology, 2018 Let σ be some positive integer and C ⊆ {(i, j) : 1 ≤ i < j ≤ σ}. The theory behind finding a lower bound on the number of distinct blocks P1, . . . , Pσ ∈ {0, 1}n satisfying a set of linear equations {Pi ⊕Pj = ci,j : (i, j) ∈ C} for some ci,j ∈ {0, 1}n ...
Srimanta Bhattacharya, Mridul Nandi
doaj +1 more source
Inextendibilty of the Maximal Global Hyperbolic Development in Electrogowdy spacetimes
EPJ Web of Conferences, 2013 The problem of determinism in General Relativity appears even if one assumes that the spacetime is globally hyperbolic, i.e. that it contains a hypersurface that is intersected by any causal curve exactly once.
Nungesser Ernesto
doaj +1 more source
Termination Casts: A Flexible Approach to Termination with General Recursion [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types.
Aaron Stump +2 more
doaj +1 more source
The parity-preserving massive QED3: Vanishing β-function and no parity anomaly
Physics Letters B, 2015 The parity-preserving massive QED3 exhibits vanishing gauge coupling β-function and is parity and infrared anomaly free at all orders in perturbation theory.
O.M. Del Cima
doaj +1 more source