Seat Allocation and Seat Bias under the Jefferson--D'Hondt Method
May 21, 2018
| |
Physics
Physics and Society
We prove that under the Jefferson--D'Hondt method of apportionment, given
certain distributional assumptions regarding mean rounding residuals, as well
as absence of correlations between party vote shares, district sizes (in
votes), and mul...
On definite lattices bounded by a homology 3-sphere and Yang-Mills
instanton Floer theory
May 20, 2018
Mathematics
Geometric Topology
Using instanton Floer theory, extending methods due to Froyshov, we determine
the definite lattices that arise from smooth 4-manifolds bounded by certain
homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus
knot, ...
Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian and geometric
Satake equivalence (with appendix by Dennis Gaitsgory)
May 20, 2018
| |
Mathematics
Algebraic Geometry
Representation Theory
Let G be a reductive complex algebraic group. We fix a pair of opposite
Borel subgroups and consider the corresponding semiinfinite orbits in the
affine Grassmannian GrG. We prove Simon Schieder's conjecture identifying
his bialgebra f...
Hamiltonian formulation of general relativity and post-Newtonian
dynamics of compact binaries
May 18, 2018
|
Physics
General Relativity and Quantum Cosmology
High Energy Physics - Theory
Hamiltonian formalisms provide powerful tools for the computation of
approximate analytic solutions of the Einstein field equations. The
post-Newtonian computations of the explicit analytic dynamics and motion of
compact binaries are discus...
A set-based reasoner for the description logic
DLD4,× (Extended Version)
May 18, 2018
| |
Computer Science
Logic in Computer Science
We present a KE-tableau-based implementation of a reasoner for a decidable
fragment of (stratified) set theory expressing the description logic
DL⟨4LQSR,×⟩(D)
($\mathcal{DL}_{\mathbf{D}}^...
A geometric integration approach to smooth optimisation: Foundations of
the discrete gradient method
May 16, 2018
| | |
Mathematics
Optimization and Control
Discrete gradient methods are geometric integration techniques that can
preserve the dissipative structure of gradient flows. Due to the monotonic
decay of the function values, they are well suited for general convex and
nonconvex optimisat...
Heavy Quark Jet Fragmentation
May 15, 2018
| |
Physics
High Energy Physics - Phenomenology
In this paper we study the fragmentation of a parton into a jet containing a
heavy quark. When heavy quarks are involved in a jet, the quark mass can lead
to a numerically significant correction to the jet cross section and its
substructure...
Nonparametric Bayesian volatility learning under microstructure noise
May 15, 2018
| | |
Statistics
Quantitative Finance
Methodology
Statistical Finance
Machine Learning
In this work, we study the problem of learning the volatility under market
microstructure noise. Specifically, we consider noisy discrete time
observations from a stochastic differential equation and develop a novel
computational method to ...
Der Code der Mathematik
May 14, 2018
Mathematics
History and Overview
This text summarizes and expands the content of a general audience talk given
in 2018 at the University of Mainz. Motivated by recent developments in
dependent type theory and infinity category theory, it presents a history of
ideas around ...
Unbiased and Consistent Nested Sampling via Sequential Monte Carlo
May 10, 2018
| | | | | | | | |
Statistics
Computation
Computation
We introduce a new class of sequential Monte Carlo methods called nested
sampling via sequential Monte Carlo (NS-SMC), which reformulates the essence of
the nested sampling method of Skilling (2006) in terms of sequential Monte
Carlo techni...