114,481 research outputs found
Analysis in weak systems
The authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis.info:eu-repo/semantics/publishedVersio
Empirical Bounds on Linear Regions of Deep Rectifier Networks
We can compare the expressiveness of neural networks that use rectified
linear units (ReLUs) by the number of linear regions, which reflect the number
of pieces of the piecewise linear functions modeled by such networks. However,
enumerating these regions is prohibitive and the known analytical bounds are
identical for networks with same dimensions. In this work, we approximate the
number of linear regions through empirical bounds based on features of the
trained network and probabilistic inference. Our first contribution is a method
to sample the activation patterns defined by ReLUs using universal hash
functions. This method is based on a Mixed-Integer Linear Programming (MILP)
formulation of the network and an algorithm for probabilistic lower bounds of
MILP solution sets that we call MIPBound, which is considerably faster than
exact counting and reaches values in similar orders of magnitude. Our second
contribution is a tighter activation-based bound for the maximum number of
linear regions, which is particularly stronger in networks with narrow layers.
Combined, these bounds yield a fast proxy for the number of linear regions of a
deep neural network.Comment: AAAI 202
A single atom detector integrated on an atom chip: fabrication, characterization and application
We describe a robust and reliable fluorescence detector for single atoms that
is fully integrated into an atom chip. The detector allows spectrally and
spatially selective detection of atoms, reaching a single atom detection
efficiency of 66%. It consists of a tapered lensed single-mode fiber for
precise delivery of excitation light and a multi-mode fiber to collect the
fluorescence. The fibers are mounted in lithographically defined holding
structures on the atom chip. Neutral 87Rb atoms propagating freely in a
magnetic guide are detected and the noise of their fluorescence emission is
analyzed. The variance of the photon distribution allows to determine the
number of detected photons / atom and from there the atom detection efficiency.
The second order intensity correlation function of the fluorescence shows
near-perfect photon anti-bunching and signs of damped Rabi-oscillations. With
simple improvements one can boost the detection efficiency to > 95%.Comment: 24 pages, 11 figure
- …