Linear type theories, of various types and kinds, are of fundamental
importance in most programming language research nowadays. In this paper we
describe an extension of Benton's Linear-Non-Linear type theory and model for
which we can prov...
Offline detection of change-points in the mean for stationary graph
signals
June 18, 2020
| |
Statistics
Computer Science
Machine Learning
Applications
Machine Learning
This paper addresses the problem of segmenting a stream of graph signals: we
aim to detect changes in the mean of a multivariate signal defined over the
nodes of a known graph. We propose an offline method that relies on the concept
of grap...
Local structure of idempotent algebras II
June 17, 2020
|
Computer Science
Mathematics
Logic in Computer Science
Combinatorics
Logic in Computer Science
Combinatorics
In this paper we continue the study of edge-colored graphs associated with
finite idempotent algebras initiated in arXiv:2006.09599. We prove stronger
connectivity properties of such graphs that will allows us to demonstrate
several useful ...
Computer-assisted proofs for Lyapunov stability via Sums of Squares
certificates and Constructive Analysis
June 17, 2020
| |
Mathematics
Computer Science
Optimization and Control
Logic in Computer Science
We provide a computer-assisted approach to ensure that a given continuous or
discrete-time polynomial system is (asymptotically) stable. Our framework
relies on constructive analysis together with formally certified sums of
squares Lyapunov...
Local structure of idempotent algebras I
June 16, 2020
|
Computer Science
Mathematics
Logic in Computer Science
Logic
Rings and Algebras
Logic in Computer Science
Logic
Rings and Algebras
We refine and advance the study of the local structure of idempotent finite
algebras started in [A.Bulatov, The Graph of a Relational Structure and
Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like
structure on an arb...
Searching for Dark Matter Signals in Timing Spectra at Neutrino
Experiments
June 16, 2020
| | | | | | | | | | and others
Physics
High Energy Physics - Phenomenology
High Energy Physics - Experiment
High Energy Physics - Phenomenology
High Energy Physics - Experiment
The sensitivity to dark matter signals at neutrino experiments is
fundamentally challenged by the neutrino rates, as they leave similar
signatures in their detectors. As a way to improve the signal sensitivity, we
investigate a dark matter ...
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
June 16, 2020
| | |
Computer Science
Electrical Engineering and Systems Science
Mathematics
Robotics
Machine Learning
Systems and Control
Systems and Control
Optimization and Control
In this paper, we develop a novel closed-form Control Barrier Function (CBF)
and associated controller shield for the Kinematic Bicycle Model (KBM) with
respect to obstacle avoidance. The proposed CBF and shield -- designed by an
algorithm ...
Non-bipartite k-common graphs
June 16, 2020
| | | |
Mathematics
Combinatorics
A graph H is k-common if the number of monochromatic copies of H in a
k-edge-coloring of K_n is asymptotically minimized by a random coloring. For
every k, we construct a connected non-bipartite k-common graph. This resolves a
problem raise...
Adaptive, Rate-Optimal Hypothesis Testing in Nonparametric IV Models
June 16, 2020
|
Economics
Statistics
Econometrics
Methodology
Machine Learning
We propose a new adaptive hypothesis test for inequality (e.g., monotonicity,
convexity) and equality (e.g., parametric, semiparametric) restrictions on a
structural function in a nonparametric instrumental variables (NPIV) model. Our
test ...
The Riemann hypothesis is false
June 16, 2020
Mathematics
General Mathematics
Denote by ζ the Riemann zeta function and let Θ be the supremum
of the real parts of its zeros. We demonstrate in this note that Θ=1.
This disproves the Riemann hypothesis, which asserts that Θ=21....