title:
Real-time optimal control via Deep Neural Networks: study on landing
  problems

abstract:
  Recent research on deep learning, a set of machine learning techniques able
to learn deep architectures, has shown how robotic perception and action
greatly benefits from these techniques. In terms of spacecraft navigation and
control system, this suggests that deep architectures may be considered now to
drive all or part of the on-board decision making system. In this paper this
claim is investigated in more detail training deep artificial neural networks
to represent the optimal control action during a pinpoint landing, assuming
perfect state information. It is found to be possible to train deep networks
for this purpose and that the resulting landings, driven by the trained
networks, are close to simulated optimal ones. These results allow for the
design of an on-board real time optimal control system able to cope with large
sets of possible initial states while still producing an optimal response.


title: Experimental Determination of Dynamical Lee-Yang Zeros

abstract:
  Statistical physics provides the concepts and methods to explain the phase
behavior of interacting many-body systems. Investigations of Lee-Yang zeros ---
complex singularities of the free energy in systems of finite size --- have led
to a unified understanding of equilibrium phase transitions. The ideas of Lee
and Yang, however, are not restricted to equilibrium phenomena. Recently,
Lee-Yang zeros have been used to characterize non-equilibrium processes such as
dynamical phase transitions in quantum systems after a quench or dynamic
order-disorder transitions in glasses. Here, we experimentally realize a scheme
for determining Lee-Yang zeros in such non-equilibrium settings. We extract the
dynamical Lee-Yang zeros of a stochastic process involving Andreev tunneling
between a normal-state island and two superconducting leads from measurements
of the dynamical activity along a trajectory. From the short-time behavior of
the Lee-Yang zeros, we predict the large-deviation statistics of the activity
which is typically difficult to measure. Our method paves the way for further
experiments on the statistical mechanics of many-body systems out of
equilibrium.


title:
Efficient fiber-coupled single-photon source based on quantum dots in a
  photonic-crystal waveguide

abstract:
  Many photonic quantum information processing applications would benefit from
a high brightness, fiber-coupled source of triggered single photons. Here, we
present a fiber-coupled photonic-crystal waveguide single-photon source relying
on evanescent coupling of the light field from a tapered out-coupler to an
optical fiber. A two-step approach is taken where the performance of the
tapered out-coupler is recorded first on an independent device containing an
on-chip reflector. Reflection measurements establish that the chip-to-fiber
coupling efficiency exceeds 80 %. The detailed characterization of a
high-efficiency photonic-crystal waveguide extended with a tapered out-coupling
section is then performed. The corresponding overall single-photon source
efficiency is 10.9 % $\pm$ 2.3 %, which quantifies the success probability to
prepare an exciton in the quantum dot, couple it out as a photon in the
waveguide, and subsequently transfer it to the fiber. The applied out-coupling
method is robust, stable over time, and broadband over several tens of
nanometers, which makes it a highly promising pathway to increase the
efficiency and reliability of planar chip-based single-photon sources.


title: Explicit equivalence of quadratic forms over $\mathbb{F}_q(t)$

abstract:
  We propose a randomized polynomial time algorithm for computing nontrivial
zeros of quadratic forms in 4 or more variables over $\mathbb{F}_q(t)$, where
$\mathbb{F}_q$ is a finite field of odd characteristic. The algorithm is based
on a suitable splitting of the form into two forms and finding a common value
they both represent. We make use of an effective formula for the number of
fixed degree irreducible polynomials in a given residue class. We apply our
algorithms for computing a Witt decomposition of a quadratic form, for
computing an explicit isometry between quadratic forms and finding zero
divisors in quaternion algebras over quadratic extensions of $\mathbb{F}_q(t)$.


title:
Topological aspects of the multi-language phases of the Naming Game on
  community-based networks

abstract:
  The Naming Game is an agent-based model where individuals communicate to name
an initially unnamed object. On a large class of networks continual pairwise
interactions lead the system to an ultimate consensus state, in which agents
converge on a globally shared name. Soon after the introduction of the model,
it was observed in literature that on community-based networks the path to
consensus passes through metastable multi-language states. Subsequently, it was
proposed to use this feature as a mean to discover communities in a given
network. In this paper we show that metastable states correspond to genuine
multi-language phases, emerging in the thermodynamic limit when the fraction of
links connecting communities drops below critical thresholds. In particular, we
study the transition to multi-language states in the stochastic block model and
on networks with community overlap. We also examine the scaling of critical
thresholds under variations of topological properties of the network, such as
the number and relative size of communities and the structure of
intra-/inter-community links. Our results provide a theoretical justification
for the proposed use of the model as a community-detection algorithm.


title:
A fast solution method for time dependent multidimensional Schr\"odinger
  equations

abstract:
  In this paper we propose fast solution methods for the Cauchy problem for the
multidimensional Schr\"odinger equation. Our approach is based on the
approximation of the data by the basis functions introduced in the theory of
approximate approximations. We obtain high-order approximations also in higher
dimensions up to a small saturation error, which is negligible in computations,
and we prove error estimates in mixed Lebesgue spaces for the inhomogeneous
equation. The proposed method is very efficient in high dimensions if the
densities allow separated representations. We illustrate the efficiency of the
procedure on different examples, up to approximation order 6 and space
dimension 200.


title: Seismic diagnosis from gravity modes strongly affected by rotation

abstract:
  Most of the information we have about the internal rotation of stars comes
from modes that are weakly affected by rotation, for example by using
rotational splittings. In contrast, we present here a method, based on the
asymptotic theory of Prat et al. (2016), which allows us to analyse the
signature of rotation where its effect is the most important, that is in
low-frequency gravity modes that are strongly affected by rotation. For such
modes, we predict two spectral patterns that could be confronted to observed
spectra and those computed using fully two-dimensional oscillation codes.


title: The p-radical closure of local noetherian rings

abstract:
  Given a local noetherian ring $R$ whose formal completion is integral, we
introduce and study the $p$-radical closure $R^\text{prc}$. Roughly speaking,
this is the largest purely inseparable $R$-subalgebra inside the formal
completion $\hat{R}$. It turns out that the finitely generated intermediate
rings $R\subset A\subset R^\text{prc}$ have rather peculiar properties. They
can be used in a systematic way to provide examples of integral local rings
whose normalization is non-finite, that do not admit a resolution of
singularities, and whose formal completion is non-reduced.


title: $\kappa$-generalized models of income and wealth distributions: A survey

abstract:
  The paper provides a survey of results related to the "$\kappa$-generalized
distribution", a statistical model for the size distribution of income and
wealth. Topics include, among others, discussion of basic analytical
properties, interrelations with other statistical distributions as well as
aspects that are of special interest in the income distribution field, such as
the Gini index and the Lorenz curve. An extension of the basic model that is
most able to accommodate the special features of wealth data is also reviewed.
The survey of empirical applications given in this paper shows the
$\kappa$-generalized models of income and wealth to be in excellent agreement
with the observed data in many cases.


title:
Simplification of inclusion-exclusion on intersections of unions with
  application to network systems reliability

abstract:
  Reliability of safety-critical systems is an important issue in system
engineering and in most practical situations the reliability of a non
series-parallel network system has to be calculated. Some methods for
calculating reliability use the probability principle of inclusion-exclusion.
When dealing with complex networks, this leads to very long mathematical
expressions which are usually computationally very expensive to calculate. In
this paper, we provide a new expression to simplify the probability principle
of inclusion-exclusion's formula for intersections of unions, which appear when
calculating reliability on non series parallel network systems. This new
expression has much less terms, which reduces enormously the computational
cost. We also show that the general form of the probability principle of
inclusion-exclusion's formula has double exponential complexity whereas the
simplified form has only exponential complexity with a linear exponent.
Finally, we illustrate how to use this result when calculating the reliability
of a door management system in aircraft engineering.


title:
$\Lambda$ polarization in peripheral collisions at moderate relativistic
  energies

abstract:
  The polarization of $\Lambda$ hyperons from relativistic flow vorticity is
studied in peripheral heavy ion reactions at FAIR and NICA energies, just above
the threshold of the transition to the Quark-Gluon Plasma. Previous
calculations at higher energies with larger initial angular momentum, predicted
significant $\Lambda$ polarization based on the classical vorticity term in the
polarization, while relativistic modifications decreased the polarization and
changed its structure in the momentum space. At the lower energies studied
here, we see the same effect namely that the relativistic modifications
decrease the polarization arising from the initial shear flow vorticity.


title:
Geometric phase of neutrinos: differences between Dirac and Majorana
  neutrinos

abstract:
  We analize the non-cyclic geometric phase for neutrinos. We find that the
geometric phase and the total phase associated to the mixing phenomenon provide
a tool to distinguish between Dirac and Majorana neutrinos. Our results hold
for neutrinos propagating in vacuum and through the matter. Future experiments,
based on interferometry, could reveal the nature of neutrinos.


title: Weight-dependent commutation relations and combinatorial identities

abstract:
  We derive combinatorial identities for variables satisfying specific systems
of commutation relations, in particular elliptic commutation relations. The
identities thus obtained extend corresponding ones for $q$-commuting variables
$x$ and $y$ satisfying $yx=qxy$. In particular, we obtain weight-dependent
binomial theorems, functional equations for generalized exponential functions,
we derive results for an elliptic derivative of elliptic commuting variables,
and finally study weight-dependent extensions of the Weyl algebra which we
connect to rook theory.


title:
New numerical scheme of Atangana-Baleanu fractional integral: an
  application to groundwater flow within leaky aquifer

abstract:
  Many physical problems can be described using the integral equations known as
Volterra equations. There exists quite a number of analytical methods that can
handle these equations for linear cases. For non-linear cases, a numerical
scheme is needed to obtain an approximation. Recently a new concept of
fractional differentiation was introduced using the Mittag-Leffler function as
kernel, and the associate fractional integral was also presented. Up to this
point there is no numerical approximation of this new integral in the
literature. Therefore, to accommodate researchers working in the field of
numerical analysis, we propose in this paper a new numerical scheme for the new
fractional integral. To test the accuracy of the new numerical scheme, we first
revisit the groundwater model within a leaky aquifer by reverting the time
classical derivative with the Atangana-Baleanu fractional derivative in Caputo
sense. The new model is solved numerically by using this new scheme.


title: Localization in periodically modulated speckle potentials

abstract:
  Disorder in a 1D quantum lattice induces Anderson localization of the
eigenstates and drastically alters transport properties of the lattice. In the
original Anderson model, the addition of a periodic driving increases, in a
certain range of the driving's frequency and amplitude, localization length of
the appearing Floquet eigenstates. We go beyond the uncorrelated disorder case
and address the experimentally relevant situation when spatial correlations are
present in the lattice potential. Their presence induces the creation of an
effective mobility edge in the energy spectrum of the system. We find that a
slow driving leads to resonant hybridization of the Floquet states, by
increasing both the participation numbers and effective widths of the states in
the strongly localized band and decreasing values of these characteristics for
the states in the quasi-extended band. Strong driving homogenizes the bands, so
that the Floquet states loose compactness and tend to be spatially smeared. In
the basis of the stationary Hamiltonian, these states retain localization in
terms of participation number but become de-localized and spectrum-wide in term
of their effective widths. Signatures of thermalization are also observed.


title: Isospin-violating dark matter in the light of recent data

abstract:
  In scenarios where the dark matter interacts differently with protons and
neutrons (isospin-violating dark matter), the interpretation of the
experimental limits on the dark matter spin-independent cross section may be
significantly modified. On the one hand, the direct detection constraints are
shifted depending on the target nucleus, possibly changing the hierarchy among
different experiments. On the other hand, the relative strength between the
bounds from neutrino detectors and those from direct detection experiments is
altered, allowing the former to be more competitive. In this paper, the status
of isospin-violating dark matter is assessed in the light of recent data, and
the prospects for its detection in the near future are analyzed. We find, for
example, that there are regions in the parameter space where IceCube currently
provides the most stringent limits on the spin-independent cross section, or
others where the expected sensitivity of DEAP-3600 is well above the LUX
exclusion limit. Our results highlight the complementarity among different
targets in direct detection experiments, and between direct detection and
neutrino searches in the quest for a dark matter signal.


title: Formal Abel-Jacobi maps

abstract:
  We realize the infinitesimal Abel-Jacobi map as a morphism of formal
deformation theories, realized as a morphism in the homotopy category of
differential graded Lie algebras. The whole construction is carried out in a
general setting, of which the classical Abel-Jacobi map is a special example.


title: A Framework for Certified Self-Stabilization

abstract:
  We propose a general framework to build certified proofs of distributed
self-stabilizing algorithms with the proof assistant Coq. We first define in
Coq the locally shared memory model with composite atomicity, the most commonly
used model in the self-stabilizing area. We then validate our framework by
certifying a non trivial part of an existing silent self-stabilizing algorithm
which builds a $k$-clustering of the network. We also certify a quantitative
property related to the output of this algorithm. Precisely, we show that the
computed $k$-clustering contains at most $\lfloor \frac{n-1}{k+1} \rfloor + 1$
clusterheads, where $n$ is the number of nodes in the network. To obtain these
results, we also developed a library which contains general tools related to
potential functions and cardinality of sets.


title: Polarized User and Topic Tracking in Twitter

abstract:
  Digital traces of conversations in micro-blogging platforms and OSNs provide
information about user opinion with a high degree of resolution. These
information sources can be exploited to under- stand and monitor collective
behaviors. In this work, we focus on polarization classes, i.e., those topics
that require the user to side exclusively with one position. The proposed
method provides an iterative classification of users and keywords: first,
polarized users are identified, then polarized keywords are discovered by
monitoring the activities of previously classified users. This method thus
allows tracking users and topics over time. We report several experiments
conducted on two Twitter datasets during political election time-frames. We
measure the user classification accuracy on a golden set of users, and analyze
the relevance of the extracted keywords for the ongoing political discussion.


title:
A class of quasi-linear Allen-Cahn type equations with dynamic boundary
  conditions

abstract:
  In this paper, we consider a class of coupled systems of PDEs, denoted by
(ACE)$_{\varepsilon}$ for $ \varepsilon \geq 0 $. For each $ \varepsilon \geq 0
$, the system (ACE)$_{\varepsilon}$ consists of an Allen-Cahn type equation in
a bounded spacial domain $ \Omega $, and another Allen-Cahn type equation on
the smooth boundary $ \Gamma := \partial \Omega $, and besides, these coupled
equations are transmitted via the dynamic boundary conditions. In particular,
the equation in $ \Omega $ is derived from the non-smooth energy proposed by
Visintin in his monography "Models of phase transitions": hence, the diffusion
in $ \Omega $ is provided by a quasilinear form with singularity. The objective
of this paper is to build a mathematical method to obtain meaningful $ L^2
$-based solutions to our systems, and to see some robustness of
(ACE)$_\varepsilon$ with respect to $ \varepsilon \geq 0 $. On this basis, we
will prove two Main Theorems 1 and 2, which will be concerned with the
well-posedness of (ACE)$_\varepsilon$ for each $ \varepsilon \geq 0 $, and the
continuous dependence of solutions to (ACE)$_\varepsilon$ for the variations of
$ \varepsilon \geq 0 $, respectively.


title:
A simple model to describe intrinsic stellar noise for exoplanet
  detection around red giants

abstract:
  In spite of the huge advances in exoplanet research provided by the NASA
Kepler Mission, there remain only a small number of transit detections around
evolved stars. Here we present a reformulation of the noise properties of
red-giant stars, where the intrinsic stellar granulation, and the stellar
oscillations described by asteroseismology play a key role. The new noise model
is a significant improvement on the current Kepler results for evolved stars.
Our noise model may be used to help understand planet detection thresholds for
the ongoing K2 and upcoming TESS missions, and serve as a predictor of stellar
noise for these missions. As an application of our noise model, we explore the
minimum detectable planet radii for red giant stars, and find that Neptune
sized planets should be detectable around low luminosity red giant branch
stars.


title:
Variational principles and symmetries on fibered multisymplectic
  manifolds

abstract:
  The standard techniques of variational calculus are geometrically stated in
the ambient of fiber bundles endowed with a (pre)multisymplectic structure.
Then, for the corresponding variational equations, conserved quantities (or,
what is equivalent, conservation laws), symmetries, Cartan (Noether)
symmetries, gauge symmetries and different versions of Noether's theorem are
studied in this ambient. In this way, this constitutes a general geometric
framework for all these topics that includes, as special cases, first and
higher order field theories and (non-autonomous) mechanics.


title:
The earliest drawings of datable auroras and a two-tail comet from the
  Syriac Chronicle of Z\=uqn\=in

abstract:
  People have probably been watching the sky since the beginning of human
history. Observers in pre-telescopic ages recorded anomalous events and these
astronomical records in the historical documents provide uniquely valuable
information for modern scientists. Records with drawings are particularly
useful, as the verbal expressions recorded by pre-telescopic observers, who did
not know the physical nature of the phenomena, are often ambiguous. However,
drawings for specific datable events in the historical documents are much fewer
than the verbal records. Therefore, in this paper, we show the possible
earliest drawings of datable auroras and a two-tail comet in a manuscript of
the Chronicle of Z\=uqn\=in, a Syriac chronicle up to 775/776 CE to interpret
their nature. They provide not only the historical facts in the realm around
Amida but also information about low-latitude aurora observations due to
extreme space weather events and the existence of sun-grazing comets.


title: Type oriented parallel programming for Exascale

abstract:
  Whilst there have been great advances in HPC hardware and software in recent
years, the languages and models that we use to program these machines have
remained much more static. This is not from a lack of effort, but instead by
virtue of the fact that the foundation that many programming languages are
built on is not sufficient for the level of expressivity required for parallel
work. The result is an implicit trade-off between programmability and
performance which is made worse due to the fact that, whilst many scientific
users are experts within their own fields, they are not HPC experts.
  Type oriented programming looks to address this by encoding the complexity of
a language via the type system. Most of the language functionality is contained
within a loosely coupled type library that can be flexibly used to control many
aspects such as parallelism. Due to the high level nature of this approach
there is much information available during compilation which can be used for
optimisation and, in the absence of type information, the compiler can apply
sensible default options thus supporting both the expert programmer and novice
alike.
  We demonstrate that, at no performance or scalability penalty when running on
up to 8196 cores of a Cray XE6 system, codes written in this type oriented
manner provide improved programmability. The programmer is able to write
simple, implicit parallel, HPC code at a high level and then explicitly tune by
adding additional type information if required.


title: Remembering Guido Altarelli

abstract:
  In memory of Guido Altarelli I present my personal recollections of the early
times and his major role played in the development of QCD.


title:
Buffer-Aided Relaying For The Two-Hop Full-Duplex Relay Channel With
  Self-Interference

abstract:
  In this paper, we investigate the two-hop full-duplex (FD) relay channel with
self-interference and fading, which is comprised of a source, an FD relay, and
a destination, where a direct source-destination link does not exist and the FD
relay is impaired by self-interference. For this channel, we propose three
buffer-aided relaying schemes with adaptive reception-transmission at the FD
relay for the cases when the source and the relay both perform adaptive-power
allocation, fixed-power allocation, and fixed-rate transmission, respectively.
The proposed buffer-aided relaying schemes significantly improve the achievable
rate and the throughput of the considered relay channel by enabling the FD
relay to adaptively select to either receive, transmit, or simultaneously
receive and transmit in a given time slot based on the qualities of the
receiving, transmitting, and self-interference channels. Our numerical results
show that significant performance gains are achieved using the proposed
buffer-aided relaying schemes compared to conventional FD relaying, where the
FD relay is forced to always simultaneously receive and transmit, and to
buffer-aided half-duplex relaying, where the half-duplex relay cannot
simultaneously receive and transmit.


title:
CogALex-V Shared Task: LexNET - Integrated Path-based and Distributional
  Method for the Identification of Semantic Relations

abstract:
  We present a submission to the CogALex 2016 shared task on the corpus-based
identification of semantic relations, using LexNET (Shwartz and Dagan, 2016),
an integrated path-based and distributional method for semantic relation
classification. The reported results in the shared task bring this submission
to the third place on subtask 1 (word relatedness), and the first place on
subtask 2 (semantic relation classification), demonstrating the utility of
integrating the complementary path-based and distributional information sources
in recognizing concrete semantic relations. Combined with a common similarity
measure, LexNET performs fairly good on the word relatedness task (subtask 1).
The relatively low performance of LexNET and all other systems on subtask 2,
however, confirms the difficulty of the semantic relation classification task,
and stresses the need to develop additional methods for this task.


title:
Implementation of traveling odd Schr$\"o$dinger cat states in
  circuit-QED

abstract:
  We propose a realistic scheme of generating a traveling odd Schr$\"o$dinger
cat state and a generalized entangled coherent state in circuit quantum
electrodynamics (circuit-QED). A squeezed vacuum state is used as initial
resource of nonclassical states, which can be created through a Josephson
traveling-wave parametric amplifier, and travels through a transmission line.
Because a single-photon subtraction from the squeezed vacuum gives with very
high fidelity an odd Schr$\"o$dinger cat state, we consider a specific
circuit-QED setup consisting of the Josephson amplifier creating the traveling
resource in a line, a beam-splitter coupling two transmission lines, and a
single photon detector located at the end of the other line. When a single
microwave photon is detected by measuring the excited state of a
superconducting qubit in the detector, a heralded cat state is generated with
high fidelity in the opposite line. For example, we show that the high fidelity
of the outcome with the ideal cat state can be achieved with appropriate
squeezing parameters theoretically. As its extended setup, we suggest that
generalized entangled coherent states can be also built probabilistically and
useful for microwave quantum information processing for error-correctable
qudits in circuit-QED.


title: Learning Bound for Parameter Transfer Learning

abstract:
  We consider a transfer-learning problem by using the parameter transfer
approach, where a suitable parameter of feature mapping is learned through one
task and applied to another objective task. Then, we introduce the notion of
the local stability and parameter transfer learnability of parametric feature
mapping,and thereby derive a learning bound for parameter transfer algorithms.
As an application of parameter transfer learning, we discuss the performance of
sparse coding in self-taught learning. Although self-taught learning algorithms
with plentiful unlabeled data often show excellent empirical performance, their
theoretical analysis has not been studied. In this paper, we also provide the
first theoretical learning bound for self-taught learning.


title: Proximal primal-dual best approximation algorithm with memory

abstract:
  We propose a new modified primal-dual proximal best approximation method for
solving convex not necessarily differentiable optimization problems. The
novelty of the method relies on introducing memory by taking into account
iterates computed in previous steps in the formulas defining current iterate.
To this end we consider projections onto intersections of halfspaces generated
on the basis of the current as well as the previous iterates. To calculate
these projections we are using recently obtained closed-form expressions for
projectors onto polyhedral sets. The resulting algorithm with memory inherits
strong convergence properties of the original best approximation proximal
primal-dual algorithm. Additionally, we compare our algorithm with the original
(non-inertial) one with the help of the so called attraction property defined
below. Extensive numerical experimental results on image reconstruction
problems illustrate the advantages of including memory into the original
algorithm.


title:
The HADES RV Programme with HARPS-N@TNG II. Data treatment and
  simulations

abstract:
  The distribution of exoplanets around low-mass stars is still not well
understood. Such stars, however, present an excellent opportunity of reaching
down to the rocky and habitable planet domains. The number of current
detections used for statistical purposes is still quite modest and different
surveys, using both photometry and precise radial velocities, are searching for
planets around M dwarfs. Our HARPS-N red dwarf exoplanet survey is aimed at the
detection of new planets around a sample of 78 selected stars, together with
the subsequent characterization of their activity properties. Here we
investigate the survey performance and strategy. From 2700 observed spectra, we
compare the radial velocity determinations of the HARPS-N DRS pipeline and the
HARPS-TERRA code, we calculate the mean activity jitter level, we evaluate the
planet detection expectations, and we address the general question of how to
define the strategy of spectroscopic surveys in order to be most efficient in
the detection of planets. We find that the HARPS-TERRA radial velocities show
less scatter and we calculate a mean activity jitter of 2.3 m/s for our sample.
For a general radial velocity survey with limited observing time, the number of
observations per star is key for the detection efficiency. In the case of an
early M-type target sample, we conclude that approximately 50 observations per
star with exposure times of 900 s and precisions of about 1 m/s maximizes the
number of planet detections.


title: Topological rigidity fails for quotients of the Davis complex

abstract:
  A Coxeter group acts properly and cocompactly by isometries on the Davis
complex for the group; we call the quotient of the Davis complex under this
action the Davis orbicomplex for the group. We prove the set of finite covers
of the Davis orbicomplexes for the set of one-ended Coxeter groups is not
topologically rigid. We exhibit a quotient of a Davis complex by a one-ended
right-angled Coxeter group which has two finite covers that are homotopy
equivalent but not homeomorphic. We discuss consequences for the abstract
commensurability classification of Coxeter groups.


title: Admissibility in Positive Logics

abstract:
  The paper studies admissibility of multiple-conclusion rules in the positive
logics. Using modification of a method used by M.~Wajsberg in the proof of the
separation theorem, it is shown that the problem of admissibility in positive
logics is equivalent to the problem of admissibility in intermediate logics
defined by positive additional axioms.


title:
Resolving Three Single-Photon Emitters By Only Detecting Third-Order
  Correlation Functions

abstract:
  Rayleigh criterion has been continuously broken through with modern detecting
instruments, many methods on resolving two emitters below the classical
diffraction limit has been developed, one of these methods is detecting high
order correlation functions of the emitters. We propose a method to resolve the
single-photon emitters with only detecting the highest order correlation
functions. We find that the variables that characterize the emitters are
contained in the highest order correlation functions. Especially when there are
more than two emitters, the spatial distribution of the emitters can be deduced
only from the highest order correlation functions, which gives a new vision and
a new method on beating classical diffraction limit using high order
correlation functions.


title: On the flat geometry of the cuspidal edge

abstract:
  We study the geometry of the cuspidal edge $M$ in $\mathbb R^3$ derived from
its contact with planes and lines (referred to as flat geometry). The contact
of $M$ with planes is measured by the singularities of the height functions on
$M$. We classify submersions on a model of $M$ by diffeomorphisms and recover
the contact of $M$ with planes from that classification. The contact of $M$
with lines is measured by the singularities of orthogonal projections of $M$.
We list the generic singularities of the projections and obtain the generic
deformations of the apparent contour (profile) when the direction of projection
varies locally in $S^2$. We also relate the singularities of the height
functions and of the projections to some geometric invariants of the cuspidal
edge.


title:
Identification of Fully Physical Consistent Inertial Parameters using
  Optimization on Manifolds

abstract:
  This paper presents a new condition, the fully physical consistency for a set
of inertial parameters to determine if they can be generated by a physical
rigid body. The proposed condition ensure both the positive definiteness and
the triangular inequality of 3D inertia matrices as opposed to existing
techniques in which the triangular inequality constraint is ignored. This paper
presents also a new parametrization that naturally ensures that the inertial
parameters are fully physical consistency. The proposed parametrization is
exploited to reformulate the inertial identification problem as a manifold
optimization problem, that ensures that the identified parameters can always be
generated by a physical body. The proposed optimization problem has been
validated with a set of experiments on the iCub humanoid robot.


title:
Negative refractive index induced by percolation in disordered
  metamaterials

abstract:
  An effective medium model is developed for disordered metamaterials
containing a spatially random distribution of dielectric spheres. Similar to
effective medium models for ordered metamaterials, this model predicts
resonances in the effective permeability and permittivity arising from
electric- and magnetic-dipole Mie resonances in the spheres. In addition, the
model predicts a redshift of the electric resonance with increasing particle
loading. Interestingly, when the particle loading exceeds the percolation
threshold of 33\%, the model predicts that the electric resonance overlaps with
the magnetic resonance, resulting in a negative refractive index.


title:
Accelerating BLAS and LAPACK via Efficient Floating Point Architecture
  Design

abstract:
  Basic Linear Algebra Subprograms (BLAS) and Linear Algebra Package (LAPACK)
form basic building blocks for several High Performance Computing (HPC)
applications and hence dictate performance of the HPC applications. Performance
in such tuned packages is attained through tuning of several algorithmic and
architectural parameters such as number of parallel operations in the Directed
Acyclic Graph of the BLAS/LAPACK routines, sizes of the memories in the memory
hierarchy of the underlying platform, bandwidth of the memory, and structure of
the compute resources in the underlying platform. In this paper, we closely
investigate the impact of the Floating Point Unit (FPU) micro-architecture for
performance tuning of BLAS and LAPACK. We present theoretical analysis for
pipeline depth of different floating point operations like multiplier, adder,
square root, and divider followed by characterization of BLAS and LAPACK to
determine several parameters required in the theoretical framework for deciding
optimum pipeline depth of the floating operations. A simple design of a
Processing Element (PE) is presented and shown that the PE outperforms the most
recent custom realizations of BLAS and LAPACK by 1.1X to 1.5X in Gflops/W, and
1.9X to 2.1X in Gflops/mm^2.


title: Remarks on Local Lie algebras of pairs of functions

abstract:
  We study local Lie algebras of pairs of functions which generate
infinitesimal symmetries of almost-cosymplectic-contact structures of odd
dimensional manifolds.


title:
Exact solutions of an anisotropic universe in a modified teleparallel
  gravity model via the Noether and B.N.S. approaches

abstract:
  In this paper, we present the Noether symmetries of locally rotationally
symmetric Bianchi type I (LRS BI), an anisotropic model, in the context of the
teleparallel gravity. We study a certain modified teleparallel theory based on
the action that, in particular, contains a coupling between the scalar field
and field strength (magnetism part). We derive the symmetry generators and show
that, by means of cyclic variables approach, we can not obtain a suitable
solution for field equations. Hence by the use of B.N.S. approach, we solve the
equations which carry Noether currents as well. By data analysis of the
obtained results, we show compatible results with observational data at the
last half the age of universe which is accelerating.


title: Percolation in real multiplex networks

abstract:
  We present an exact mathematical framework able to describe site-percolation
transitions in real multiplex networks. Specifically, we consider the average
percolation diagram valid over an infinite number of random configurations
where nodes are present in the system with given probability. The approach
relies on the locally treelike ansatz, so that it is expected to accurately
reproduce the true percolation diagram of sparse multiplex networks with
negligible number of short loops. The performance of our theory is tested in
social, biological, and transportation multiplex graphs. When compared against
previously introduced methods, we observe improvements in the prediction of the
percolation diagrams in all networks analyzed. Results from our method confirm
previous claims about the robustness of real multiplex networks, in the sense
that the average connectedness of the system does not exhibit any significant
abrupt change as its individual components are randomly destroyed.


title:
Tracking in dense environments and its inefficiency measurement using
  pixel $dE/dx$

abstract:
  We present a measurement of the charged particle reconstruction inefficiency
inside of jet cores, using data collected by the ATLAS experiment in 2015 of
$pp$ collisions produced at the LHC, at a center-of-mass energy of 13 TeV. The
determination of this inefficiency is important for jet energy scale and mass
calibration, as well as multiple other performance studies and analyses. A data
driven method is used, where the fraction of lost particle tracks is determined
from energy deposition $dE/dx$ in the pixel detector. The fraction of lost
tracks is found to be less than 5%, which is an improvement since the previous
study, and agrees well within systematic uncertainties with a Monte Carlo
simulation.


title:
On the Stability of a General Magnetic Field Topology in Stellar
  Radiative Zones

abstract:
  This paper provides a brief overview of the formation of stellar fossil
magnetic fields and what potential instabilities may occur given certain
configurations of the magnetic field. In particular, a purely magnetic
instability can occur for poloidal, toroidal, and mixed poloidal-toroidal
axisymmetric magnetic field configurations as originally studied in Tayler
(1973), Markey & Tayler (1973), and Tayler (1980). However, most of the
magnetic field configurations observed at the surface of massive stars are non-
axisymmetric. Thus, extending earlier studies of the axisymmetric Tayler
instability in spherical geometry (Goossens, 1980), we introduce a formulation
for the global change in the potential energy contained in a
convectively-stable region given an arbitrary Lagrangian perturbation, which
permits the inclusion of both axisymmetric and non-axisymmetric magnetic
fields. With this tool in hand, a path is shown by which more general stability
criterion can be established.


title:
Evolution of CMB spectral distortion anisotropies and tests of
  primordial non-Gaussianity

abstract:
  Anisotropies in distortions to the frequency spectrum of the cosmic microwave
background (CMB) can be created through spatially varying heating processes in
the early Universe. For instance, the dissipation of small-scale acoustic modes
does create distortion anisotropies, in particular for non-Gaussian primordial
perturbations. In this work, we derive approximations that allow describing the
associated distortion field. We provide a systematic formulation of the problem
using Fourier-space window functions, clarifying and generalizing previous
approximations. Our expressions highlight the fact that the amplitudes of the
spectral-distortion fluctuations induced by non-Gaussianity depend also on the
homogeneous value of those distortions. Absolute measurements are thus required
to obtain model-independent distortion constraints on primordial
non-Gaussianity. We also include a simple description for the evolution of
distortions through photon diffusion, showing that these corrections can
usually be neglected. Our formulation provides a systematic framework for
computing higher order correlation functions of distortions with CMB
temperature anisotropies and can be extended to describe correlations with
polarization anisotropies.


title: Dynamical Properties of Internal Shocks Revisited

abstract:
  Internal shocks between propagating plasma shells, originally ejected at
different times with different velocities are believed to play a major role in
dissipating the kinetic energy, thereby explaining the observed lightcurve and
spectra in a large range of transient objects. Even if initially the colliding
plasmas are cold, following the first collision the plasma shells are
substantially heated, implying that in a scenario of multiple collisions, most
collisions take place between plasmas of non-zero temperatures. Here, we
calculate the dynamical properties of plasmas resulting from collision between
arbitrarily hot plasma shells, moving at arbitrary speeds. We provide simple
analytical expressions valid for both the ultra-relativistic and Newtonian
velocities, for both hot and cold plasmas. We derive the minimum criteria
required for the formation of the two-shock wave system, and show that in the
relativistic limit, the minimum Lorentz factor is proportional to the square
root of the ratio of the initial plasmas enthalpies. We provide basic scaling
laws of synchrotron emission from both the forward and reverse shock waves, and
show how these can be used to deduce the properties of the colliding shells.
Finally, we discuss the implications of these results in the study of several
astronomical transients, such as x-ray binaries, radio load quasars and
gamma-ray bursts.


title: The Probabilistic Model Checker Storm (Extended Abstract)

abstract:
  We present a new probabilistic model checker Storm. Using state-of-the-art
libraries, we aim for both high performance and versatility. This extended
abstract gives a brief overview of the features of Storm.


title: Coulomb spin liquid in anion-disordered pyrochlore Tb$_2$Hf$_2$O$_7$

abstract:
  The charge ordered structure of ions and vacancies characterizing rare-earth
pyrochlore oxides serves as a model for the study of geometrically frustrated
magnetism. The organization of magnetic ions into networks of corner-sharing
tetrahedra gives rise to highly correlated magnetic phases with strong
fluctuations, including spin liquids and spin ices. It is an open question how
these ground states governed by local rules are affected by disorder. In the
pyrochlore Tb$_2$Hf$_2$O$_7$, we demonstrate that the vicinity of the
disordering transition towards a defective fluorite structure translates into a
tunable density of anion Frenkel disorder while cations remain ordered.
Quenched random crystal fields and disordered exchange interactions can
therefore be introduced into otherwise perfect pyrochlore lattices of magnetic
ions. We show that disorder can play a crucial role in preventing long-range
magnetic order at low temperatures, and instead induces a strongly-fluctuating
Coulomb spin liquid with defect-induced frozen magnetic degrees of freedom.


title:
The procedure of excluding of the nonlinear trend fir the models
  described by stochastic differential and difference equations

abstract:
  We consider the diffusion process and its approximation by Markov chain with
nonlinear increasing trends. The usual parametrix method is not appliable
because these models have unbounded trends. We describe a procedure that allows
to exclude nonlinear growing trend and move to stochastic differential equation
with reduced drift and diffusion coefficients. A similar procedure is
considered for a Markov chain


title: Uncertainty propagation with functionally correlated quantities

abstract:
  Many uncertainty propagation software exist, written in different programming
languages, but not all of them are able to handle functional correlation
between quantities. In this paper we review one strategy to deal with
uncertainty propagation of quantities that are functionally correlated, and
introduce a new software offering this feature: the Julia package
Measurements.jl. It supports real and complex numbers with uncertainty,
arbitrary-precision calculations, mathematical and linear algebra operations
with matrices and arrays.


title: Reins to the Cloud: Compromising Cloud Systems via the Data Plane

abstract:
  Virtual switches have become popular among cloud operating systems to
interconnect virtual machines in a more flexible manner. However, this paper
demonstrates that virtual switches introduce new attack surfaces in cloud
setups, whose effects can be disastrous. Our analysis shows that these
vulnerabilities are caused by: (1) inappropriate security assumptions
(privileged virtual switch execution in kernel and user space), (2) the logical
centralization of such networks (e.g., OpenStack or SDN), (3) the presence of
bi-directional communication channels between data plane systems and the
centralized controller, and (4) non-standard protocol parsers.
  Our work highlights the need to accommodate the data plane(s) in our threat
models. In particular, it forces us to revisit today's assumption that the data
plane can only be compromised by a sophisticated attacker: we show that
compromising the data plane of modern computer networks can actually be
performed by a very simple attacker with limited resources only and at low cost
(i.e., at the cost of renting a virtual machine in the Cloud). As a case study,
we fuzzed only 2\% of the code-base of a production quality virtual switch's
packet processor (namely OvS), identifying serious vulnerabilities leading to
unauthenticated remote code execution. In particular, we present the "rein
worm" which allows us to fully compromise test-setups in less than 100 seconds.
We also evaluate the performance overhead of existing mitigations such as ASLR,
PIEs, and unconditional stack canaries on OvS. We find that while applying
these countermeasures in kernel-space incurs a significant overhead, in
user-space the performance overhead is negligible.


title:
Predicting seasonal influenza transmission using Regression Models with
  Temporal Dependence

abstract:
  In this manuscript, we use meteorological information in Galicia (Spain) to
propose a novel approach to predict the incidence of influenza. Our approach
extends the GLS methods in the multivariate framework to functional regression
models with dependent errors. A simulation study shows that the GLS estimators
render better estimations of the parameters associated with the regression
model and obtain extremely good results from the predictive point of view. Thus
they improve the classical linear approach. It proposes an iterative version of
the GLS estimator (called iGLS) that can help to model complicated dependence
structures, uses the distance correlation measure $\mathcal{R}$ to select
relevant information to predict influenza rate and applies the GLS procedure to
the prediction of the influenza rate using readily available functional
variables. These kinds of models are extremely useful to health managers in
allocating resources in advance for an epidemic outbreak.


title: Spinning particles coupled to gravity

abstract:
  Recent experimental work has determined that free falling $^{87}$Rb atoms on
Earth, with vertically aligned spins, follow geodesics, thus apparently ruling
out spin--gravitation interactions. It is showed that while some spinning
matter models coupled to gravitation referenced to in that work seem to be
ruled out by the experiment, those same experimental results confirm
theoretical results derived from a Lagrangian description of spinning particles
coupled to gravity constructed over forty years ago. A proposal to carry out
(similar but) different experiments which will help to test the validity of the
Universality of Free Fall as opposed to the correctness of the aforementioned
Lagrangian theory, is presented.


title:
Sensitivity of the mixing current technique to detect nano-mechanical
  motion

abstract:
  Detection of nano-mechanical displacement by transport techniques has reached
high level of sensitivity and versatility. In order to detect the amplitude of
oscillation of nano-mechanical oscillator a widely used technique consists to
couple this motion capacitively to a single-electron transistor and to detect
the high-frequency modulation of the current through the non-linear mixing with
an electric signal at a slighltly detuned frequency. The method known as
current-mixing technique is employed in particular for the detection of
suspended carbon nanotubes. In this paper we study theoretically the limiting
conditions on the sensitivity of this method. The sensitivity is increased by
increasing the response function to the signal, but also by reducing the noise.
For these reasons we study systematically the response function, the effect of
current-and displacement-fluctuations, and finally the case where the
tunnelling rate of the electrons are of the same order or larger of the
resonating frequency. We find thus upper bounds to the sensitivity of the
detection technique.


title:
Cross section measurement of alpha particle induced nuclear reactions on
  natural cadmium up to 52 MeV

abstract:
  Cross sections of alpha particle induced nuclear reactions have been measured
on thin natural cadmium targets foils in the energy range from 11 to 51.2 MeV.
This work was a part of our systematic study on excitation functions of light
ion induced nuclear reactions on different target materials. Regarding the
cross sections, the alpha induced reactions are not deeply enough investigated.
Some of the produced isotopes are of medical interest, others have application
in research and industry. The radioisotope $^{117m}$Sn is a very important
theranostic (therapeutic + diagnostic) radioisotope, so special care was taken
to the results for that isotope. The well-established stacked foil technique
followed by gamma-spectrometry with HPGe gamma spectrometers were used. The
target and monitor foils in the stack were commercial high purity metal foils.
From the irradiated targets $^{117m}$Sn, $^{113}$Sn, $^{110}$Sn, $^{117m,g}$In,
$^{116m}$In, $^{115m}$In, $^{114m}$In, $^{113m}$In, $^{111}$In, $^{110m,g}$In,
$^{109m}$In, $^{108m}$In, $^{115g}$Cd and $^{111m}$Cd were identified and their
excitation functions were derived. The results were compared with the data of
the previous measurements from the literature and with the results of the
theoretical nuclear reaction model code calculations TALYS 1.8 (TENDL-2015) and
EMPIRE 3.2 (Malta). From the cross section curves thick target yields were
calculated and compared with the available literature data.


title: Improving PageRank for Local Community Detection

abstract:
  Community detection is a classical problem in the field of graph mining.
While most algorithms work on the entire graph, it is often interesting in
practice to recover only the community containing some given set of seed nodes.
In this paper, we propose a novel approach to this problem, using some
low-dimensional embedding of the graph based on random walks starting from the
seed nodes. From this embedding, we propose some simple yet efficient versions
of the PageRank algorithm as well as a novel algorithm, called WalkSCAN, that
is able to detect multiple communities, possibly overlapping. We provide
insights into the performance of these algorithms through the theoretical
analysis of a toy network and show that WalkSCAN outperforms existing
algorithms on real networks.


title: Path dependent equations driven by H\"older processes

abstract:
  This paper investigates existence results for path-dependent differential
equations driven by a H{\"o}lder function where the integrals are understood in
the Young sense. The two main results are proved via an application of Schauder
theorem and the vector field is allowed to be unbounded. The H{\"o}lder
function is typically the trajectory of a stochastic process.


title:
Bifurcation induced by the aspect ratio in a turbulent Von-K\'arm\'an
  swirling flow

abstract:
  We evaluate the effect of two experimental parameters on the slow dynamics of
a Von-K\'arm\'an swirling flow driven by two propellers in a closed cylinder.
The first parameter is the inertia mo- mentum of the propellers, and the second
parameter is the aspect ratio, i.e. the distance between the propellers $H$
divided by the diameter $D$. We use a cell with a fixed diameter $D$ but where
the distance between the propellers can be turned continuously and where the
inertia from the pro- pellers can also be changed using different gears. No
change on the dynamics is observed when the momentum of inertia is modified.
Some dramatic changes of the shear layer position are observed modifying the
aspect ratio $\Gamma=H/D$. A bifurcation of the shear layer position appears.
Whereas for low $\Gamma$ the shear layer position has a smooth evolution when
turning the asymmetry between the rotation frequency of the propellers, for
high $\Gamma$ the transition becomes abrupt and a symmetry breaking appears.
Secondly we observe that the spontaneous reversals already observed in this ex-
periment for $\Gamma=1$ [de la Torre & Burguete PRL 99, 054101 (2007)] exist
only in a strait window of aspect ratio. We show using an experimental study of
the mean flow structure and a numerical approach based on a Langevin equation
with coloured noise that the shear layer position seems to be decided by the
mean flow structure whereas the reversals are linked to the spatial
distribution of the turbulent fluctuations in the cell.


title:
Constraints on the Primordial Black Hole Abundance from the First
  Advanced LIGO Observation Run Using the Stochastic Gravitational-Wave
  Background

abstract:
  Advanced LIGO's discovery of gravitational-wave events is stimulating
extensive studies on the origin of binary black holes. Assuming that the
gravitational-wave events can be explained by binary primordial black hole
mergers, we utilize the upper limits on the stochastic gravitational-wave
background given by Advanced LIGO as a new observational window to
independently constrain the abundance of primordial black holes in dark matter.
We show that Advanced LIGO's first observation run gives the best constraint on
the primordial black hole abundance in the mass range $1 M_\odot \lesssim
M_\text{PBH}\lesssim 100 M_\odot$, pushing the previous microlensing and dwarf
galaxy dynamics constraints tighter by 1 order of magnitude. Moreover, we
discuss the possibility to detect the stochastic gravitational-wave background
from primordial black holes, in particular from subsolar mass primordial black
holes, by Advanced LIGO in the near future.


title: Wilf's conjecture for numerical semigroups

abstract:
  Let $S\subseteq \mathbb{N}$ be a numerical semigroup with multiplicity $m$,
embedding dimension $\nu$ and conductor $c=f+1=qm-\rho$ for some
$q,\rho\in\mathbb{N}$ with $\rho<m$. Let Ap$(S,m) = \{w\_0<w_1 < \ldots <
w_{m-1}\}$ be the Ap\'ery set of $S$. The aim of this paper is to prove Wilf's
Conjecture in some special cases. First, we prove that if $w_{m-1}\geq
w_1+w_\alpha$ and $(2+\frac{\alpha-3}{q})\nu\geq m$ for some $1<\alpha<m-1$,
then $S$ satisfies Wilf's Conjecture. Then, we prove the conjecture in the
following cases: $(2+\frac{1}{q})\nu\geq m$, $m-\nu\leq 5$ and $m=9$. Finally,
the conjecture is proved if $w_{m-1} \geq w_{\alpha-1} + w_\alpha$ and
$(\frac{\alpha+3}{3})\nu\geq m$ for some $1<\alpha<m-1$.


title:
Combining Usability and Privacy Protection in Free-Access Public Cloud
  Storage Servers: Review of the Main Threats and Challenges

abstract:
  The 21st century belongs to the world of computing, specially as a result of
the so-called cloud computing. This technology enables ubiquitous information
management and thus people can access all their data from any place and at any
time. In this landscape, the emergence of cloud storage has had an important
role in the last five years. Nowadays, several free-access public cloud storage
services make it possible for users to have a free backup of their assets and
to manage and share them, representing a low-cost opportunity for Small and
Medium Companies (SME). However, the adoption of cloud storage involves data
outsourcing, so a user does not have the guarantee about the way her data will
be processed and protected. Therefore, it seems necessary to endow public cloud
storage with a set of means to protect users' confidentiality and privacy, to
assess data integrity and to guarantee a proper backup of information assets.
Along this paper we discuss the main challenges to achieve such a goal,
underlining the set of functionalities already implemented in the most popular
public cloud storage services.


title:
Two-dimensional topological superconducting phases emerged from d-wave
  superconductors in proximity to antiferromagnets

abstract:
  Motivated by the recent observations of nodeless superconductivity in the
monolayer CuO$_{2}$ grown on the Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+\delta }$
substrates, we study the two-dimensional superconducting (SC) phases described
by the two-dimensional $t$-$J$ model in proximity to an antiferromagnetic (AF)
insulator. We found that (i) the nodal d-wave SC state can be driven via a
continuous transition into a nodeless d-wave pairing state by the proximity
induced AF field. (ii) The energetically favorable pairing states in the strong
field regime have extended s-wave symmetry and can be nodal or nodeless. (iii)
Between the pure d-wave and s-wave paired phases, there emerge two
topologically distinct SC phases with ($s+$i$d$) symmetry, i.e., the weak and
strong pairing phases, and the weak pairing phase is found to be a $Z_{2}$
topological superconductor protected by valley symmetry, exhibiting robust
gapless non-chiral edge modes. These findings strongly suggest that the
high-$T_{c}$ superconductors in proximity to antiferromagnets can realize fully
gapped symmetry protected topological SC.


title: Shadow lines in the arithmetic of elliptic curves

abstract:
  Let E/Q be an elliptic curve and p a rational prime of good ordinary
reduction. For every imaginary quadratic field K/Q satisfying the Heegner
hypothesis for E we have a corresponding line in E(K)\otimes Q_p, known as a
shadow line. When E/Q has analytic rank 2 and E/K has analytic rank 3, shadow
lines are expected to lie in E(Q)\otimes Q_p. If, in addition, p splits in K/Q,
then shadow lines can be determined using the anticyclotomic p-adic height
pairing. We develop an algorithm to compute anticyclotomic p-adic heights which
we then use to provide an algorithm to compute shadow lines. We conclude by
illustrating these algorithms in a collection of examples.


title: Smooth models for the Coulomb potential

abstract:
  Smooth model potentials with parameters selected to reproduce the spectrum of
one-electron atoms are used to approximate the singular Coulomb potential. Even
when the potentials do not mimic the Coulomb singularity, much of the spectrum
is reproduced within the chemical accuracy. For the Hydrogen atom, the smooth
approximations to the Coulomb potential are more accurate for higher angular
momentum states. The transferability of the model potentials from an attractive
interaction (Hydrogen atom) to a repulsive one (Harmonium and the uniform
electron gas) is discussed.


title: Weighted Bergman Projections on the Hartogs Triangle: Exponential Decay

abstract:
  We study weighted Bergman projections on the Hartogs triangle in
$\mathbb{C}^2$. We show that projections corresponding to exponentially
vanishing weights have degenerate $L^p$ mapping properties.


title: On exponential functionals of processes with independent increments

abstract:
  In this paper we study the exponential functionals of the processes $X$ with
independent increments , namely $$I_t= \int _0^t\exp(-X_s)ds, _,\,\, t\geq 0,$$
and also $$I_{\infty}= \int _0^{\infty}\exp(-X_s)ds.$$ When $X$ is a
semi-martingale with absolutely continuous characteristics, we derive recurrent
integral equations for Mellin transform ${\bf E}( I_t^{\alpha})$,
$\alpha\in\mathbb{R}$, of the integral functional $I_t$. Then we apply these
recurrent formulas to calculate the moments. We present also the corresponding
results for the exponential functionals of Levy processes, which hold under
less restrictive conditions then in the paper of Bertoin, Yor (2005). In
particular, we obtain an explicit formula for the moments of $I_t$ and
$I_{\infty}$, and we precise the exact number of finite moments of
$I_{\infty}$.


title: GPflow: A Gaussian process library using TensorFlow

abstract:
  GPflow is a Gaussian process library that uses TensorFlow for its core
computations and Python for its front end. The distinguishing features of
GPflow are that it uses variational inference as the primary approximation
method, provides concise code through the use of automatic differentiation, has
been engineered with a particular emphasis on software testing and is able to
exploit GPU hardware.


title:
High quality electron beam generation in a proton-driven hollow plasma
  wakefield accelerator

abstract:
  Simulations of proton-driven plasma wakefield accelerators have demonstrated
substantially higher accelerating gradients compared to conventional
accelerators and the viability of accelerating electrons to the energy frontier
in a single plasma stage. However, due to the strong intrinsic transverse
fields varying both radially and in time, the witness beam quality is still far
from suitable for practical application in future colliders. Here we
demonstrate efficient acceleration of electrons in proton-driven wakefields in
a hollow plasma channel. In this regime, the witness bunch is positioned in the
region with a strong accelerating field, free from plasma electrons and ions.
We show that the electron beam carrying the charge of about 10% of 1 TeV proton
driver charge can be accelerated to 0.6 TeV with preserved normalized emittance
in a single channel of 700 m. This high quality and high charge beam may pave
the way for the development of future plasma-based energy frontier colliders.


title:
Stratification of patient trajectories using covariate latent variable
  models

abstract:
  Standard models assign disease progression to discrete categories or stages
based on well-characterized clinical markers. However, such a system is
potentially at odds with our understanding of the underlying biology, which in
highly complex systems may support a (near-)continuous evolution of disease
from inception to terminal state. To learn such a continuous disease score one
could infer a latent variable from dynamic "omics" data such as RNA-seq that
correlates with an outcome of interest such as survival time. However, such
analyses may be confounded by additional data such as clinical covariates
measured in electronic health records (EHRs). As a solution to this we
introduce covariate latent variable models, a novel type of latent variable
model that learns a low-dimensional data representation in the presence of two
(asymmetric) views of the same data source. We apply our model to TCGA
colorectal cancer RNA-seq data and demonstrate how incorporating
microsatellite-instability (MSI) status as an external covariate allows us to
identify genes that stratify patients on an immune-response trajectory.
Finally, we propose an extension termed Covariate Gaussian Process Latent
Variable Models for learning nonparametric, nonlinear representations. An R
package implementing variational inference for covariate latent variable models
is available at http://github.com/kieranrcampbell/clvm.


title:
Ekeland's inverse function theorem in graded Fr\'echet spaces revisited
  for multifunctions

abstract:
  In this paper, we present some implicit function theorems for set-valued
mappings between Fr\'echet spaces. The proof relies on Lebesgue's Dominated
Convergence Theorem and on Ekeland's variational principle. An application to
the existence of solutions of differential equations in Fr\'echet spaces with
non-smooth data is given.


title:
A nuclear quantum effect with pure anharmonicity and the anomalous
  thermal expansion of silicon

abstract:
  Despite the widespread use of silicon in modern technology, its peculiar
thermal expansion is not well-understood. Adapting harmonic phonons to the
specific volume at temperature, the quasiharmonic approximation, has become
accepted for simulating the thermal expansion, but has given ambiguous
interpretations for microscopic mechanisms. To test atomistic mechanisms, we
performed inelastic neutron scattering experiments from 100-1500K on a
single-crystal of silicon to measure the changes in phonon frequencies. Our
state-of-the-art ab initio calculations, which fully account for phonon
anharmonicity and nuclear quantum effects, reproduced the measured shifts of
individual phonons with temperature, whereas quasiharmonic shifts were mostly
of the wrong sign. Surprisingly, the accepted quasiharmonic model was found to
predict the thermal expansion owing to a fortuitous cancellation of
contributions from individual phonons.


title: Compressive K-means

abstract:
  The Lloyd-Max algorithm is a classical approach to perform K-means
clustering. Unfortunately, its cost becomes prohibitive as the training dataset
grows large. We propose a compressive version of K-means (CKM), that estimates
cluster centers from a sketch, i.e. from a drastically compressed
representation of the training dataset. We demonstrate empirically that CKM
performs similarly to Lloyd-Max, for a sketch size proportional to the number
of cen-troids times the ambient dimension, and independent of the size of the
original dataset. Given the sketch, the computational complexity of CKM is also
independent of the size of the dataset. Unlike Lloyd-Max which requires several
replicates, we further demonstrate that CKM is almost insensitive to
initialization. For a large dataset of 10^7 data points, we show that CKM can
run two orders of magnitude faster than five replicates of Lloyd-Max, with
similar clustering performance on artificial data. Finally, CKM achieves lower
classification errors on handwritten digits classification.


title: Finding Largest Common Substructures of Molecules in Quadratic Time

abstract:
  Finding the common structural features of two molecules is a fundamental task
in cheminformatics. Most drugs are small molecules, which can naturally be
interpreted as graphs. Hence, the task is formalized as maximum common subgraph
problem. Albeit the vast majority of molecules yields outerplanar graphs this
problem remains NP-hard.
  We consider a variation of the problem of high practical relevance, where the
rings of molecules must not be broken, i.e., the block and bridge structure of
the input graphs must be retained by the common subgraph. We present an
algorithm for finding a maximum common connected induced subgraph of two given
outerplanar graphs subject to this constraint. Our approach runs in time
$\mathcal{O}(\Delta n^2)$ in outerplanar graphs on $n$ vertices with maximum
degree $\Delta$. This leads to a quadratic time complexity in molecular graphs,
which have bounded degree. The experimental comparison on synthetic and
real-world datasets shows that our approach is highly efficient in practice and
outperforms comparable state-of-the-art algorithms.


title: Polarization-free Quantization of Linear Field Theories

abstract:
  It is well-known that there exist infinitely-many inequivalent
representations of the canonical (anti)-commutation relations of Quantum Field
Theory (QFT). A way out, suggested by Algebraic QFT, is to instead define the
quantum theory as encompassing all possible (abstract) states. In the present
paper, we describe a quantization scheme for general linear (aka. free) field
theories that can be seen as intermediate between traditional Fock quantization
and full Algebraic QFT, in the sense that:
  * it provides a constructive, explicit description of the resulting space of
quantum states;
  * it does not require the choice of a polarization, aka. the splitting of
classical solutions into positive vs. negative-frequency modes: in fact, any
Fock representation corresponding to a "reasonable" choice of polarization is
naturally embedded;
  * it supports the implementation of a "large enough" class of linear
symplectomorphisms of the classical, infinite-dimensional phase space.
  The proposed quantization (like Algebraic QFT) is notably meant for use on
curved spacetimes, where the lack of a preferred choice of polarization makes
the introduction of a Fock representation problematic. Accordingly, we
illustrate it in the simple case of a free Klein-Gordon field on a
spatially-compact, cosmological spacetime.


title:
Field-Induced Quantum Phases in Frustrated Spin-Dimer Model: A
  Sign-Problem-Free Quantum Monte Carlo Study

abstract:
  The magnetization process of a frustrated spin-1/2 spin-dimer model on a
square lattice is investigated by means of a sign-problem-free quantum Monte
Carlo algorithm developed recently. Rich field-induced quantum phases are
discovered. We find two spin superfluids satisfying different symmetries upon
layer permutation. There exist as well two solid phases with distinct
checkerboard patterns. Besides, two kinds of spin supersolids are observed over
a finite regime of magnetic fields. The latter two phases can be stabilized
when small but nonzero spin anisotropy is present. Various field-induced
transitions among these phases are explored. Our findings may provide guidance
to the search of these interesting quantum phases in real frustrated spin-dimer
compounds.


title:
Volume reflection and channeling of ultrarelativistic protons in
  germanium bent single crystals

abstract:
  The paper devoted to investigation of volume reflection and channeling
processes of ultrarela- tivistic positive charged particles moving in germanium
single crystals. We demonstrate that the choice of atomic potential on the
basis of Hartree-Fock method and correct choice of Debye tem- perature allow us
to describe the above mentioned processes in a good agreement with the recent
experiments. Moreover, the presented in the paper universal form of equations
for volume reflection gives true description of the process at a wide range of
particle energies. Standing on this study we make predictions for mean angle
reflection (as a function of bending radius) of positive and negative particles
for germanium (110) and (111) crystallographic planes.


title:
Quantitative mixing for locally Hamiltonian flows with saddle loops on
  compact surfaces

abstract:
  Given a compact surface $\mathcal{M}$ with a smooth area form $\omega$, we
consider an open and dense subset of the set of smooth closed 1-forms on
$\mathcal{M}$ with isolated zeros which admit at least one saddle loop
homologous to zero and we prove that almost every element in the former induces
a mixing flow on each minimal component. Moreover, we provide an estimate of
the speed of the decay of correlations for smooth functions with compact
support on the complement of the set of singularities. This result is achieved
by proving a quantitative version for the case of finitely many singularities
of a theorem by Ulcigrai (ETDS, 2007), stating that any suspension flow with
one asymmetric logarithmic singularity over almost every interval exchange
transformation is mixing. In particular, the quantitative mixing estimate we
prove applies to asymmetric logarithmic suspension flows over rotations, which
were shown to be mixing by Sinai and Khanin.


title: Ghost and singularity free theories of gravity

abstract:
  Albert Einstein's General Relativity (GR) from 1916 has become the widely
accepted theory of gravity and been tested observationally to a very high
precision at different scales of energy and distance. At the same time, there
still remain important questions to resolve. At the classical level
cosmological and black hole singularities are examples of problems which let us
notice that GR is incomplete at short distances (high energy). Furthermore, at
the quantum level GR is not ultraviolet (UV) complete, namely it is not
perturbatively renormalizable. Most of the work try to solve these problems
modifying GR by considering finite higher order derivative terms. Fourth
Derivative Gravity, for example, turns out to be renormalizable, but at the
same time it introduces ghost. To avoid both UV divergence and presence of
ghost one could consider sets of infinite higher derivative terms that can be
expressed in the form of entire functions satisfying the special property do
not introduce new poles other than GR graviton one. By making a special choice
for these entire functions, one could show that such a theory describes a
gravity that, at least in the linear regime, can avoid both the presence of
ghost and classical singularities (both black hole and cosmological
singularities). In this master's thesis we review some of these aspects
regarding gravitational interaction, focusing more on the classical level. Most
of the calculations are done in detail and an extended treatment of the
formalism of the spin projector operators is presented.


title: Non-rigid precession of magnetic stars

abstract:
  Stars are, generically, rotating and magnetised objects with a misalignment
between their magnetic and rotation axes. Since a magnetic field induces a
permanent distortion to its host, it provides effective rigidity even to a
fluid star, leading to bulk stellar motion which resembles free precession.
This bulk motion is however accompanied by induced interior velocity and
magnetic field perturbations, which are oscillatory on the precession
timescale. Extending previous work, we show that these quantities are described
by a set of second-order perturbation equations featuring cross-terms scaling
with the product of the magnetic and centrifugal distortions to the star. For
the case of a background toroidal field, we reduce these to a set of
differential equations in radial functions, and find a method for their
solution. The resulting magnetic-field and velocity perturbations show complex
multipolar structure and are strongest towards the centre of the star.


title:
Boundary null controllability for a heat equation with general dynamical
  boundary condition

abstract:
  Let $\Omega\subset\mathbb R^N$ be a bounded open set with Lipschitz
continuous boundary $\Gamma$. Let $\gamma>0$, $\delta\ge 0$ be real numbers and
$\beta$ a nonnegative measurable function in $L^\infty(\Gamma)$. Using some
suitable Carleman estimates, we show that the linear heat equation $\partial_tu
- \gamma\Delta u = 0$ in $\Omega\times(0,T)$ with the non-homogeneous general
dynamic boundary conditions $\partial_tu_{\Gamma} -\delta\Delta_\Gamma
u_{\Gamma}+ \gamma\partial_{\nu}u + \beta u_{\Gamma} = g$ on
$\Gamma\times(0,T)$ is always null controllable from the boundary for every
$T>0$ and initial data $(u_0,u_{\Gamma,0})\in L^2(\Omega)\times L^2(\Gamma)$.


title:
Hyperbolicity and Vitali properties of unbounded domains in Banach
  spaces

abstract:
  Let $\Om$ be a unbounded domain in a Banach space. In this work, we wish to
impose {\it local conditions} on boundary point of $\Om$ (including the point
at infinity) that guarantee complete hyperbolic of $\Om.$ We also search for
local boundary conditions so that Vitali properties hold true for $\Om.$ These
properties might be considered as analogues of the taut property in the finite
dimensional case.


title:
Fluctuation-induced modifications of the phase structure in (2+1)-flavor
  QCD

abstract:
  The low-energy sector of QCD with $N_f = 2\!+\!1$ dynamical quark flavors at
non-vanishing chemical potential and temperature is studied with a
non-perturbative functional renormalization group method. The analysis is
performed in different truncations in order to explore fluctuation-induced
modifications of the quark-meson correlations as well as quark and meson
propagators on the chiral phase transition of QCD. Depending on the chosen
truncation significant quantitative implications on the phase transition are
found. In the chirally symmetric phase, the quark flavor composition of the
pseudoscalar $(\eta,\eta^{\prime})$-meson complex turns out to be drastically
sensitive to fluctuation-induced modifications in the presence of the axial
$U(1)_A$ anomaly. This has important phenomenological consequences for the
assignment of chiral partners to these mesons.


title: Differentially Private Variational Inference for Non-conjugate Models

abstract:
  Many machine learning applications are based on data collected from people,
such as their tastes and behaviour as well as biological traits and genetic
data. Regardless of how important the application might be, one has to make
sure individuals' identities or the privacy of the data are not compromised in
the analysis. Differential privacy constitutes a powerful framework that
prevents breaching of data subject privacy from the output of a computation.
Differentially private versions of many important Bayesian inference methods
have been proposed, but there is a lack of an efficient unified approach
applicable to arbitrary models. In this contribution, we propose a
differentially private variational inference method with a very wide
applicability. It is built on top of doubly stochastic variational inference, a
recent advance which provides a variational solution to a large class of
models. We add differential privacy into doubly stochastic variational
inference by clipping and perturbing the gradients. The algorithm is made more
efficient through privacy amplification from subsampling. We demonstrate the
method can reach an accuracy close to non-private level under reasonably strong
privacy guarantees, clearly improving over previous sampling-based alternatives
especially in the strong privacy regime.


title:
Asymptotic behavior and representation of solutions to a Volterra kind
  of equation with a singular kernel

abstract:
  Let $A$ be a densely defined closed, linear $\omega$-sectorial operator of
angle $\theta\in [0,\frac{\pi}{2})$ on a Banach space $X$ for some
$\omega\in\mathbb R$. We give an explicit representation (in terms of some
special functions) and study the precise asymptotic behavior as time goes to
infinity of solutions to the following diffusion equation with memory:
$\displaystyle u'(t)=Au(t)+(\kappa\ast Au)(t), \, t >0$, $u(0)=u_0$, associated
with the (possible) singular kernel
  $\kappa(t)=\alpha e^{-\beta t}\frac{t^{\mu-1}}{\Gamma(\mu)},\;\;t>0$, where
$\alpha\in\R$, $\alpha\ne 0$, $\beta\ge 0$ and $0<\mu\le 1$.


title:
Equilibrium and non-equilibrium properties of the QGP in a magnetic
  field: a holographic approach

abstract:
  This manuscript reviews recent theoretical progress on the understanding of
the quark gluon plasma in a magnetic field that I presented on the conference
Hot Quarks 2016, held at South Padre Island, Texas, USA, 12-17 September 2016.
It is shown that, using a holographic bottom-up Einstein-Maxwell-Dilaton model,
one can have a good quantitative agreement with Lattice data for QCD equation
of state and Polyakov loop with nonzero magnetic field. I also present results
for the anisotropic shear viscosity ratio $\eta_{\parallel}/\eta_{\perp}$, with
the conclusion that $\eta_{\parallel}<\eta_{\perp}$ for $B>0$.


title:
Effects of disorder and chain stiffening on the elasticity of flexible
  polymer networks

abstract:
  We examine how the distribution of contour lengths and the high-stretch
stiffening of individual chain segments affect the macroscopic shear modulus of
flexible polymer gels, using a 2D numerical model, in which polymer segments
form a triangular network and disorder is introduced by varying their contour
lengths. We show that in the relevant parameter range: (i) the non-affine
contribution to the shear modulus is negligible, i.e. the Born approximation is
satisfactory; (ii) the shear modulus is dominated by the contribution
originating from equilibrium chain tensions. Moreover, mechanical equilibration
at the nodes induces specific correlations between the end-to-end distances and
contour lengths of chain segments, which must be properly accounted for to
construct reasonable estimates of chain pressure and shear modulus.


title: New scenarios for hard-core interactions in a hadron resonance gas

abstract:
  The equation of state of a baryon-symmetric hadronic matter with hard-sphere
interactions is studied. It is assumed that mesons are point-like, but baryons
and antibaryons have the same hard-core radius rB. Three possibilities are
considered: 1) the baryon-baryon and antibaryon-baryon interactions are the
same; 2) baryons do not interact with antibaryons; 3) the baryon-antibaryon and
meson-(anti)baryon interactions are negligible. By choosing the parameter
rB=0.3-0.6 fm, we calculate the nucleon to pion ratio as a function of
temperature and perform the fit of hadron yields measured in central Pb+Pb
collisions at the bombarding energy Ecm=2.76 TeV per nucleon pair. New
nontrivial effects in the interacting hadron resonance gas at temperatures
150-200 MeV are found.


title:
In-Medium Spectral Functions of Vector- and Axial-Vector Mesons from the
  Functional Renormalization Group

abstract:
  In this work we present first results on vector and axial-vector meson
spectral functions as obtained by applying the non-perturbative functional
renormalization group approach to an effective low-energy theory motivated by
the gauged linear sigma model. By using a recently proposed analytic
continuation method, we study the in-medium behavior of the spectral functions
of the $\rho$ and $a_1$ mesons in different regimes of the phase diagram. In
particular, we demonstrate explicitly how these spectral functions degenerate
at high temperatures as well as at large chemical potentials, as a consequence
of the restoration of chiral symmetry. In addition, we also compute the
momentum dependence of the $\rho$ and $a_1$ spectral functions and discuss the
various time-like and space-like processes that can occur.


title: Lorentz violation and deep inelastic scattering

abstract:
  The effects of quark-sector Lorentz violation on deep inelastic
electron-proton scattering are studied. We show that existing data can be used
to establish first constraints on numerous coefficients for Lorentz violation
in the quark sector at an estimated sensitivity of parts in a million.


title: Spin-wave propagation in ultra-thin YIG based waveguides

abstract:
  Spin-wave propagation in an assembly of microfabricated 20 nm thick, 2.5
{\mu}m wide Yttrium Iron Garnet (YIG) waveguides is studied using propagating
spin-wave spectroscopy (PSWS) and phase resolved micro-focused Brillouin Light
Scattering ({\mu}-BLS) spectroscopy. We show that spin-wave propagation in 50
parallel waveguides is robust against microfabrication induced imperfections.
Spin-wave propagation parameters are studied in a wide range of excitation
frequencies for the Damon-Eshbach (DE) configuration. As expected from its low
damping, YIG allows the propagation of spin waves over long distances (the
attenuation lengths is 25 {\mu}m at \mu$_{0}$H = 45 mT). Direct mapping of spin
waves by {\mu}-BLS allows us to reconstruct the spin-wave dispersion relation
and to confirm the multi-mode propagation in the waveguides, glimpsed by
propagating spin-wave spectroscopy.


title: Holographic P-wave Superconductors in 1+1 Dimensions

abstract:
  We study $(1+1)$-dimensional p-wave holographic superconductors described by
three dimensional Einstein-Maxwell gravity coupled to a massive complex vector
field in the context of $AdS_3/CFT_2$ correspondence. In the probe limit where
the backreation of matter fields is neglected, we show that there occurs a
formation of a vector hair around the black hole below a certain critical
temperature. In the dual strongly coupled $(1+1)$-dimensional boundary theory,
this holographically corresponds to the formation of a charged vector
condensate spontaneously breaking both the $U(1)$ and $SO(1,1)$ symmetries. We
numerically compute the ac conductivity for the superconducting phase of the
boundary field theory and find that the presence of a magnetic moment term in
the dual bulk theory effects the conductivity in the boundary field theory.


title:
Warm inflation dissipative effects: predictions and constraints from the
  Planck data

abstract:
  We explore the warm inflation scenario theoretical predictions looking at two
different dissipative regimes for several representative primordial potentials.
As it is well known, the warm inflation is able to decrease the
tensor-to-scalar ratio value, rehabilitating several primordial potential ruled
out in the cold inflation context by the recent cosmic microwave background
data. Here we show that it is also able to produce a running of the running
$n_s"$ positive and within the Planck data limits. This is very remarkable
since the standard cold inflation model is unable to justify the current
indication of a positive constraint on $n_s"$. We achieve a parameterization
for the primordial power spectrum able to take into account higher order
effects as the running of the spectral index and the running of the running,
and we perform statistical analysis using the most up-to-date Planck data to
constrain the dissipative effects. We find that the warm inflation can explain
the current observables with a good statistical significance, even for those
potentials ruled out in the simplest cold inflation scenario.


title:
Acylindrical hyperbolicity from actions on CAT(0) cube complexes: a few
  criteria

abstract:
  The question which motivates the article is the following: given a group
acting on a CAT(0) cube complex, how can we prove that it is acylindrically
hyperbolic? Keeping this goal in mind, we show a weak acylindricity of the
action on the contact graph associated to a CAT(0) cube complex, and we prove a
characterisation of WPD contracting isometries of CAT(0) cube complexes. As a
first consequence, we find alternative arguments to show several criteria which
were proved by Indira Chatterji and Alexandre Martin. Next, we show that if a
group acts essentially and acylindrically on the hyperplanes (i.e., the
intersection of the stabilisers of two hyperplanes which are sufficiently far
away from each other has its cardinality uniformly bounded) on a
finite-dimensional CAT(0) cube complex, then it contains a finite-index
subgroup which is either acylindrically hyperbolic or cyclic. Finally, we prove
a statement about codimension-one subgroups, which implies that, if a group
contains a finitely generated codimension-one subgroup which is malnormal and
which satisfies the bounded packing property, then this group must contain a
finite-index subgroup which is either acylindrically hyperbolic or cyclic.


title: Statistical Analyses for NANOGrav 5-year Timing Residuals

abstract:
  In pulsar timing, timing residuals are the differences between the observed
times of arrival and the predictions from the timing model. A comprehensive
timing model will produce featureless residuals, which are presumably composed
of dominating noise and weak physical effects excluded from the timing model
(e.g. gravitational waves). In order to apply the optimal statistical methods
for detecting the weak gravitational wave signals, we need to know the
statistical properties of the noise components in the residuals. In this paper
we utilize a variety of non-parametric statistical tests to analyze the
whiteness and Gaussianity of the North American Nanohertz Observatory for
Gravitational Waves (NANOGrav) 5-year timing data which are obtained from the
Arecibo Observatory and the Green Bank Telescope from 2005 to 2010 (Demorest et
al. 2013). We find that most of the data are consistent with white noise; Many
data deviate from Gaussianity at different levels, nevertheless, removing
outliers in some pulsars will mitigate the deviations.


title:
Measuring the Breaking of Lepton Flavour Universality in $B\to
  K^*\ell^+\ell^-$

abstract:
  We propose measurements of weighted differences of the angular observables in
the rare decays $B \to K^*\ell^+\ell^-$. The proposed observables are very
sensitive to the difference between the Wilson coefficients
$\mathcal{C}_9^{(e)}$ and $\mathcal{C}_9^{(\mu)}$ for decays into electrons and
muons, respectively. At the same time, the charm-induced hadronic contributions
are kinematically suppressed to $\lesssim 7\% (4\%)$ in the region $1\,$GeV$^2
\leq q^2 \leq 6\,$GeV$^2$, as long as LFU breaking occurs only in
$\mathcal{C}^{(\ell)}_{9}$. This suppression becomes stronger for the region of
low hadronic recoil, $q^2 \geq 15\,$GeV$^2$.


title: Volumetric Light-field Encryption at the Microscopic Scale

abstract:
  We report a light-field based method that allows the optical encryption of
three-dimensional (3D) volumetric information at the microscopic scale in a
single 2D light-field image. The system consists of a microlens array and an
array of random phase/amplitude masks. The method utilizes a wave optics model
to account for the dominant diffraction effect at this new scale, and the
system point-spread function (PSF) serves as the key for encryption and
decryption. We successfully developed and demonstrated a deconvolution
algorithm to retrieve spatially multiplexed discrete and continuous volumetric
data from 2D light-field images. Showing that the method is practical for data
transmission and storage, we obtained a faithful reconstruction of the 3D
volumetric information from a digital copy of the encrypted light-field image.
The method represents a new level of optical encryption, paving the way for
broad industrial and biomedical applications in processing and securing 3D data
at the microscopic scale.

categories: cs.CR cs.CV physics.bio-ph physics.optics


title:
CoType: Joint Extraction of Typed Entities and Relations with Knowledge
  Bases

abstract:
  Extracting entities and relations for types of interest from text is
important for understanding massive text corpora. Traditionally, systems of
entity relation extraction have relied on human-annotated corpora for training
and adopted an incremental pipeline. Such systems require additional human
expertise to be ported to a new domain, and are vulnerable to errors cascading
down the pipeline. In this paper, we investigate joint extraction of typed
entities and relations with labeled data heuristically obtained from knowledge
bases (i.e., distant supervision). As our algorithm for type labeling via
distant supervision is context-agnostic, noisy training data poses unique
challenges for the task. We propose a novel domain-independent framework,
called CoType, that runs a data-driven text segmentation algorithm to extract
entity mentions, and jointly embeds entity mentions, relation mentions, text
features and type labels into two low-dimensional spaces (for entity and
relation mentions respectively), where, in each space, objects whose types are
close will also have similar representations. CoType, then using these learned
embeddings, estimates the types of test (unlinkable) mentions. We formulate a
joint optimization problem to learn embeddings from text corpora and knowledge
bases, adopting a novel partial-label loss function for noisy labeled data and
introducing an object "translation" function to capture the cross-constraints
of entities and relations on each other. Experiments on three public datasets
demonstrate the effectiveness of CoType across different domains (e.g., news,
biomedical), with an average of 25% improvement in F1 score compared to the
next best method.


title: Totally nondegenerate models and standard manifolds in CR dimension one

abstract:
  It is shown that two Levi-Tanaka and infinitesimal CR automorphism algebras,
associated with a totally nondegenerate model of CR dimension one are
isomorphic. As a result, the model surfaces are maximally homogeneous and
standard. This gives an affirmative answer in CR dimension one to a certain
question formulated by Beloshapka.


title: Perspectives and Networks

abstract:
  The perspective we take on a system determines the features and properties of
this system that we are focusing on. It determines where we search for causes
to explain the effects on the system that we observe. It determines the terms
in which we expect the information about the system to be expressed. And it can
also influence the choice of formalism that will be used to convey the
information. using Boolean Automata Networks as prototypes of interaction
systems, this paper means to start making these considerations concrete in
order to draw a practical benefit out of them.


title: Causality and Networks

abstract:
  Causality is omnipresent in scientists' verbalisations of their
understanding, even though we have no formal consensual scientific definition
for it. In Automata Networks, it suffices to say that automata "influence" one
another to introduce a notion of causality. One might argue that this merely is
an incidental side effect of preferring statements expressed in natural
languages to mathematical formulae. The discussion of this paper shows that if
this is the case, then it is worth considering the effects of those preferences
on the contents of the statements we make and the formulae we derive. And if it
is not the case, that causality is a mere incidental side effect of our
preferences of formulation, then causality must be worth some scientific
attention per se. In any case, the paper illustrates how the innate sense of
causality we have may be made deliberate and formal use of without having to
pin down the elusive notion of causality to anything fixed and formal that
wouldn't do justice to the wide range of ways it is involved in science-making.


title: Equity Market Impact Modeling: an Empirical Analysis for Chinese Market

abstract:
  Market impact has become a subject of increasing concern among academics and
industry experts. We put forward a price impact model which considers the
heteroscedasticity of price in the time dimension and dependency between
permanent impact and temporary impact. We discuss and derive the extremum of
the expectation of permanent impact and realized impact by constructing several
special trading trajectories. Given our use of a large trade and quote tick
records of 17,213,238,343 compiled from the Chinese stock market, the model
assessment ultimately suggest that our model is better than Almgren's model.
Interestingly, the result of random effect analysis indicates the parameter
$\alpha$, which is the exponent of the impact function, is a constant with a
value of around 0.7 across all stocks. Our model and empirical result would
give academia some insight of mechanism of Chinese market, and can be applied
to algorithm trading.


title:
Efficient estimation of the error distribution function in
  heteroskedastic nonparametric regression with missing data

abstract:
  A residual-based empirical distribution function is proposed to estimate the
distribution function of the errors of a heteroskedastic nonparametric
regression with responses missing at random based on completely observed data,
and this estimator is shown to be asymptotically most precise.


title: Large deviations for Gaussian diffusions with delay

abstract:
  Dynamical systems driven by nonlinear delay SDEs with small noise can exhibit
important rare events on long timescales. When there is no delay, classical
large deviations theory quantifies rare events such as escapes from metastable
fixed points. Near such fixed points, one can approximate nonlinear delay SDEs
by linear delay SDEs. Here, we develop a fully explicit large deviations
framework for (necessarily Gaussian) processes $X_t$ driven by linear delay
SDEs with small diffusion coefficients. Our approach enables fast numerical
computation of the action functional controlling rare events for $X_t$ and of
the most likely paths transiting from $X_0 = p$ to $X_T=q$. Via linear noise
local approximations, we can then compute most likely routes of escape from
metastable states for nonlinear delay SDEs. We apply our methodology to the
detailed dynamics of a genetic regulatory circuit, namely the co-repressive
toggle switch, which may be described by a nonlinear chemical Langevin SDE with
delay.