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...
On the Plaque Expansivity Conjecture
November 27, 2013
|
Mathematics
Dynamical Systems
Dynamical Systems
It is one of the main properties of uniformly hyperbolic dynamics that points
of two distinct trajectories cannot be uniformly close one to another. This
characteristics of hyperbolic dynamics is called expansivity. Hirsch, Pugh and
Shub, 1...
Categorical Cell Decomposition of Quantized Symplectic Algebraic
Varieties
November 26, 2013
| | |
Mathematics
Algebraic Geometry
Quantum Algebra
Symplectic Geometry
We prove a new symplectic analogue of Kashiwara's Equivalence from D-module
theory. As a consequence, we establish a structure theory for module categories
over deformation quantizations that mirrors, at a higher categorical level, the
Bial...
Well-posedness for a system of quadratic derivative nonlinear
Schr\"odinger equations with low regularity periodic initial data
November 24, 2013
Mathematics
Analysis of PDEs
We consider the Cauchy problem of a system of quadratic derivative nonlinear
Schr\"odinger equations which was introduced by M. Colin and T. Colin (2004) as
a model of laser-plasma interaction. For the nonperiodic case, the author
proved th...
Beyond journals and peer review: towards a more flexible ecosystem for
scholarly communication
November 18, 2013
Physics
Computer Science
Physics and Society
Digital Libraries
This article challenges the assumption that journals and peer review are
essential for developing,evaluating and disseminating scientific and other
academic knowledge. It suggests a more flexible ecosystem, and examines some of
the possibil...
Another Proof of Segre's Theorem about Ovals
November 13, 2013
|
Mathematics
Number Theory
Combinatorics
Number Theory
Combinatorics
In 1955 B. Segre showed that any oval in a projective plane over a finite
field of odd order is a conic. His proof constructs a conic which matches the
oval in some points and tangents, and then shows that it actually coincides
with the ova...
Chow groups of ind-schemes and extensions of Saito's filtration
November 7, 2013
|
Mathematics
Algebraic Geometry
Algebraic Geometry
Let K be a field of characteristic zero and let Sm/K be the category of
smooth and separated schemes over K. For an ind-scheme X (and more
generally for any presheaf of sets on Sm/K), we define its Chow groups
$\{CH^p(\ma...