Related papers: Machine Proofs for Adams Differentials and Extensi…
Comparison of quasar absorption line spectra with laboratory spectra provides a precise probe for variability of the fine structure constant, alpha, over cosmological time-scales. We constrain variation in alpha in 21 Keck/HIRES Si IV…
The large difference between the Planck scale and the electroweak scale, known as the hierarchy problem, has been addressed in some models through the existence of extra spatial dimensions. A search for evidence of extra spatial dimensions…
Cumulant mapping employs a statistical reconstruction of the whole by sampling its parts. The theory developed in this work formalises and extends ad hoc methods of `multi-fold' or `multi-dimensional' covariance mapping. Explicit formulae…
The biggest challenge in hybrid systems verification is the handling of differential equations. Because computable closed-form solutions only exist for very simple differential equations, proof certificates have been proposed for more…
We present experimental work on a primal-dual framework simultaneously approximating maximum cut and weighted fractional cut-covering instances. In this primal-dual framework, we solve a semidefinite programming (SDP) relaxation to either…
In the last three decades, powerful computer-assisted techniques have been developed in order to validate a posteriori numerical solutions of semilinear elliptic problems of the form $\Delta u +f(u,\nabla u) = 0$. By studying a well chosen…
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid sys- tems; however, state-of-the-art theorem provers require ex- tensive manual intervention. Furthermore, there is often a…
In this paper, we consider nonconvex decentralised optimisation and learning over a network of distributed agents. We develop an ADMM algorithm based on the Randomised Block Coordinate Douglas-Rachford splitting method which enables agents…
Recently, there has been great interest in connections between continuous-time dynamical systems and optimization methods, notably in the context of accelerated methods for smooth and unconstrained problems. In this paper we extend this…
The rational covariance extension problem to determine a rational spectral density given a finite number of covariance lags can be seen as a matrix completion problem to construct an infinite-dimensional positive-definite Toeplitz matrix…
Given $v_1,\ldots, v_m\in\mathbb{C}^d$ with $\|v_i\|^2= \alpha$ for all $i\in[m]$ as input and suppose $\sum_{i=1}^m | \langle u, v_i \rangle |^2 = 1$ for every unit vector $u\in\mathbb{C}^d$, Weaver's discrepancy problem asks for a…
Many statistical analyses involve the comparison of multiple data sets collected under different conditions in order to identify the difference in the underlying distributions. A common challenge in multi-sample comparison is the presence…
We propose a new description of the (4+N)-dimensional Arkani-Hamed-Dimopoulos-Dvali (ADD) model in a (4+1)-dimensional warped geometry to solve the gauge hierarchy problem. It has the same KK spectrum as in the ADD model and recovers its…
Infrared (IR) excess emission around white dwarfs (WDs) is commonly attributed to circumstellar debris disks and/or low-mass companions, providing a unique window into the evolution of planetary systems and binary evolution after the…
This paper studies the case of possibly high-dimensional covariates in the regression discontinuity design (RDD) analysis. In particular, we propose estimation and inference methods for the RDD models with covariate selection which perform…
We present an Alternating Direction Method of Multipliers (ADMM) algorithm designed to solve the Weighted Generalized Fused LASSO Signal Approximator (wFLSA). First, we show that wFLSAs can always be reformulated as a Generalized LASSO…
A general calculational method is applied to investigate symmetry relations among divergent amplitudes in a free fermion model. A very traditional work on this subject is revisited. A systematic study of one, two and three point functions…
The alternating direction method of multipliers (ADM or ADMM) breaks a complex optimization problem into much simpler subproblems. The ADM algorithms are typically short and easy to implement yet exhibit (nearly) state-of-the-art…
We obtain an alternate proof of an injectivity result by Beauville for a map from the moduli space of quartic del Pezzo surfaces to the set of conjugacy classes of certain subgroups of the Cremona group. This amounts to showing that a…
Accurate inference from quartz crystal microbalance (QCM) measurements in liquids is often limited by reducing resonance behavior to two scalar endpoints (frequency and dissipation shifts, $\Delta f$ and $\Delta D$) or by relying on…