Force-Free Electrodynamics (FFE) describes magnetically dominated
relativistic plasma via non-linear equations for the electromagnetic field
alone. Such plasma is thought to play a key role in the physics of pulsars and
active black holes. ...
FullSWOF: A free software package for the simulation of shallow water
flows
January 16, 2014
| | | | | | | | | | and others
Mathematics
Computer Science
Physics
Analysis of PDEs
Numerical Analysis
Numerical Analysis
Fluid Dynamics
Analysis of PDEs
Numerical Analysis
Numerical Analysis
Fluid Dynamics
Numerical simulations of flows are required for numerous applications, and
are usually carried out using shallow water equations. We describe the FullSWOF
software which is based on up-to-date finite volume methods and well-balanced
schemes...
The existence of designs
January 15, 2014
|
Mathematics
Combinatorics
Combinatorics
We prove the existence conjecture for combinatorial designs, answering a
question of Steiner from 1853. More generally, we show that the natural
divisibility conditions are sufficient for clique decompositions of simplicial
complexes that s...
Universal aspects of the random first order phase transition theory of
the structural glass transition
January 9, 2014
|
Physics
Statistical Mechanics
We analyze the ways in which the random first order phase transition (RFOT)
of the glass transition differs from the well-studied regular first order and
second order (or continuous) phase transitions. Just as is the case in the
latter two ...
f-left-invariant Riemannian metrics on Lie groups
January 3, 2014
Mathematics
Differential Geometry
With a f-left-invariant Riemannian metric on a Lie group G, we mean a
Riemannian metric which is conformally equivalent to a left-invariant
Riemannian metric, with the conformal factor f. In this article, we study the
geometry of such m...
Unsolved Problems in Group Theory. The Kourovka Notebook
January 1, 2014
|
Mathematics
Group Theory
This is a collection of open problems in group theory proposed by hundreds of
mathematicians from all over the world. It has been published every 2--4 years
since 1965. This is the 20th edition, which contains 126 new problems and a
number ...
Defining implication relation for classical logic
December 30, 2013
|
Mathematics
Computer Science
Logic
Artificial Intelligence
Computation and Language
Logic in Computer Science
Logic
Artificial Intelligence
Computation and Language
Logic in Computer Science
In classical logic, ''P implies Q'' is equivalent to ''not-P or Q''. It is
well known that the equivalence is problematic. Actually, from ''P implies Q'',
''not-P or Q'' can be inferred (''Implication-to-Disjunction'' is valid),
whereas fro...
Implementing a Quantum CNOT and Quantum Memory Using a Quantum-Dot
Cellular Automata Array
December 19, 2013
|
Physics
Quantum Physics
In this work, we develop a method to use Quantum- Dot Cellular Automata (QCA)
for universal quantum computing. This method is based conceptually on
refocusing in NMR systems. We show how an array of QCA cells can be used for
isolated single...
Third-order correction to top-quark pair production near threshold I.
Effective theory set-up and matching coefficients
December 17, 2013
| |
Physics
High Energy Physics - Phenomenology
This is the first in a series of papers, in which we compute the third-order
QCD corrections to top-antitop production near threshold in e+ e- collisions.
The present paper provides a detailed outline of the strategy of computation in
the f...
The Kirby torus trick for surfaces
December 12, 2013
|
Mathematics
Geometric Topology
Geometric Topology
This is an expository paper giving a proof of the existence and uniqueness of
smooth structures (hence also PL structures) on topological surfaces. Most
published proofs rely on the topological Schoenflies theorem, but here we use
instead t...