An extended type system with lambda-typed lambda-expressions (extended
version)
March 17, 2018
Computer Science
Logic in Computer Science
We present the type system d, an extended type system with
lambda-typed lambda-expressions. It is related to type systems originating from
the Automath project. d extends existing lambda-typed systems by an
existential...
Strings and missing wormhole entanglement
March 16, 2018
Physics
High Energy Physics - Theory
I show that holographic calculations of entanglement entropy in the context
of AdS bulk space modified by wormhole geometries provide the expected
entanglement magnitude. This arises in the context of string theory by means of
additional ge...
Shellability of face posets of electrical networks and the CW poset
property
March 16, 2018
|
Mathematics
Combinatorics
We prove a conjecture of Thomas Lam that the face posets of stratified spaces
of planar resistor networks are shellable. These posets are called uncrossing
partial orders. This shellability result combines with Lam's previous result
that th...
Explicit equations for exterior square of the general linear group
March 15, 2018
|
Mathematics
Group Theory
Representation Theory
We present several explicit systems of equations defining exterior square of
the general linear group as an affine group scheme. Algebraic ingredients of
the equations, exterior numbers, are translated into the language of weight
diagrams c...
The Schulze Method of Voting
March 15, 2018
Computer Science
Computer Science and Game Theory
We propose a new single-winner election method ("Schulze method") and prove
that it satisfies many academic criteria (e.g. monotonicity, reversal symmetry,
resolvability, independence of clones, Condorcet criterion, k-consistency,
polynomia...
A generalization of Rohn's theorem on full-rank interval matrices
March 14, 2018
|
Mathematics
Rings and Algebras
Rings and Algebras
A general closed interval matrix is a matrix whose entries are closed
connected nonempty subsets of the set of the real numbers, while an interval
matrix is defined to be a matrix whose entries are closed bounded nonempty
intervals in the s...
Dispersion relation formalism for the two-photon exchange correction to
elastic muon-proton scattering: elastic intermediate state
March 14, 2018
|
Physics
High Energy Physics - Phenomenology
Nuclear Experiment
Nuclear Theory
We evaluate the two-photon exchange correction to the unpolarized cross
section in the elastic muon-proton scattering within dispersion relations. One
of the six independent invariant amplitudes requires a subtraction. We fix the
subtractio...
A primer on the use of probability generating functions in infectious
disease modeling
March 14, 2018
Quantitative Biology
Physics
Populations and Evolution
Physics and Society
Quantitative Methods
We explore the application of probability generating functions (PGFs) to
invasive processes, focusing on infectious disease introduced into large
populations. Our goal is to acquaint the reader with applications of PGFs,
moreso than to deri...
A generalization of Croot-Lev-Pach's Lemma and a new upper bound for the
size of difference sets in polynomial rings
March 14, 2018
Mathematics
Combinatorics
Number Theory
Croot, Lev and Pach used a new polynomial technique to give a new exponential
upper bound for the size of three-term progression-free subsets in the groups
(Z4)n.
The main tool in proving their striking result is a simple lem...
Star product on L2(Sn), n=2,3,5
March 13, 2018
|
Physics
Mathematics
Mathematical Physics
Mathematical Physics
Mathematical Physics
Mathematical Physics
We consider the bounded linear operators with domain in the Hilbert space
L2(Sn), n=2,3,5 and describe its symbolic calculus defined by the Berezin
quantization. In particular, we derive an explicit formula for the composition
of Bere...