An asymptotic Peskun ordering and its application to lifted samplers
March 11, 2020
|
Statistics
Computation
Methodology
A Peskun ordering between two samplers, implying a dominance of one over the
other, is known among the Markov chain Monte Carlo community for being a
remarkably strong result. It is however also known for being a result that is
notably diff...
From Algebraic Word Problem to Program: A Formalized Approach
March 11, 2020
|
Computer Science
Computation and Language
Programming Languages
In this paper, we propose a pipeline to convert grade school level algebraic
word problem into program of a formal languageA-IMP. Using natural language
processing tools, we break the problem into sentence fragments which can then
be reduce...
Dispersal-induced instability in complex ecosystems
March 9, 2020
| | |
Quantitative Biology
Physics
Populations and Evolution
Disordered Systems and Neural Networks
Populations and Evolution
Disordered Systems and Neural Networks
In his seminal work in the 1970s, Robert May suggested that there is an upper
limit to the number of species that can be sustained in stable equilibrium by
an ecosystem. This deduction was at odds with both intuition and the observed
comple...
The localization spectral sequence in the motivic setting
March 9, 2020
|
Mathematics
Algebraic Geometry
Algebraic Topology
Combinatorics
We construct and study a motivic lift of a spectral sequence associated to a
stratified scheme, recently discovered by Petersen in the context of mixed
Hodge theory and ℓ-adic Galois representations. The original spectral
sequence expr...
An entwinement of algebraic topological and variational method to study
the {\it Prandtl Batchelor} problem
March 9, 2020
Mathematics
Analysis of PDEs
In this paper we study the existence of nontrivial weak solution to a {\it
Prandtl-Batchelor} type free boundary value elliptic problem involving a
p-Laplacian operator and a power nonlinearity. Topics from algebraic topology
will be used...
On the existence of balanced metrics on six-manifolds of cohomogeneity
one
March 8, 2020
| | |
Mathematics
Differential Geometry
Differential Geometry
We consider balanced metrics on complex manifolds with holomorphically
trivial canonical bundle, most commonly known as balanced
SU(n)-structures. Such structures are of interest for both Hermitian
geometry and string theory, since t...
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and
How to Tame Them
March 8, 2020
| | | | |
Computer Science
Logic in Computer Science
Multiagent Systems
Logic in Computer Science
Multiagent Systems
Recently, we have proposed a framework for verification of agents' abilities
in asynchronous multi-agent systems, together with an algorithm for automated
reduction of models. The semantics was built on the modeling tradition of
distributed...
Les suites spectrales de Hodge-Tate
March 8, 2020
|
Mathematics
Algebraic Geometry
Number Theory
This book presents two important results in p-adic Hodge theory following the
approach initiated by Faltings, namely (i) his main p-adic comparison theorem,
and (ii) the Hodge-Tate spectral sequence. We establish for each of these
results t...
SalsaNext: Fast, Uncertainty-aware Semantic Segmentation of LiDAR Point
Clouds for Autonomous Driving
March 7, 2020
| |
Computer Science
Computer Vision and Pattern Recognition
Machine Learning
In this paper, we introduce SalsaNext for the uncertainty-aware semantic
segmentation of a full 3D LiDAR point cloud in real-time. SalsaNext is the next
version of SalsaNet [1] which has an encoder-decoder architecture where the
encoder uni...
Gabriel-Krull dimension and minimal atoms in Grothendieck categories
March 7, 2020
|
Mathematics
Category Theory
In this paper, A is a Grothendieck category. We provide a
classification of localizing subcategories of a semi-noetherian category
A in terms of ASpecA. For a semi-noetherian locally
coherent category $\m...