title:
Constraining high energy interaction mechanisms by studying forward
  hadron production at the LHC

abstract:
  We demonstrate that underlying assumptions concerning the structure of
constituent parton Fock states in hadrons make a strong impact on the
predictions of hadronic interaction models for forward hadron spectra and for
long-range correlations between central and forward hadron production. Our
analysis shows that combined studies of proton-proton collisions at the Large
Hadron Collider by central and forward-looking detectors have a rich potential
for discriminating between the main model approaches.


title: A Generalized Resolution Proof Schema and the Pigeonhole Principle

abstract:
  The schematic CERES method is a method of cut elimination for proof schemata,
that is a sequence of proofs with a recursive construction. Proof schemata can
be thought of as a way to circumvent the addition of an induction rule to the
LK-calculus. In this work, we formalize a schematic version of the Infinitary
Pigeonhole Principle (IPP), in the LKS-calculus, and analyse the extracted
clause set schema. However, the refutation we find cannot be expressed as a
resolution proof schema because there is no clear ordering of the terms
indexing the recursion, every ordering is used in the refutation. Interesting
enough, the clause set and its refutation is very close to a canonical form
found in cut elimination of LK-proofs. Not being able to handle refutations of
this form is problematic in that proof schema, when instantiated, are
LK-proofs. Based on the structure of our refutation and structural results, we
develop a generalized resolution proof schema based on recursion over a special
type of list, and provide a refutation, using our generalization, of the clause
set extracted from our formal proof of IPP. We also extract a Herbrand System
from the refutation.


title: Partially Observable Markov Decision Process for Recommender Systems

abstract:
  We report the "Recurrent Deterioration" (RD) phenomenon observed in online
recommender systems. The RD phenomenon is reflected by the trend of performance
degradation when the recommendation model is always trained based on users'
feedbacks of the previous recommendations. There are several reasons for the
recommender systems to encounter the RD phenomenon, including the lack of
negative training data and the evolution of users' interests, etc. Motivated to
tackle the problems causing the RD phenomenon, we propose the POMDP-Rec
framework, which is a neural-optimized Partially Observable Markov Decision
Process algorithm for recommender systems. We show that the POMDP-Rec framework
effectively uses the accumulated historical data from real-world recommender
systems and automatically achieves comparable results with those models
fine-tuned exhaustively by domain exports on public datasets.


title: An analytic method for sensitivity analysis of complex systems

abstract:
  Sensitivity analysis is concerned with understanding how the model output
depends on uncertainties (variances) in inputs and then identifies which inputs
are important in contributing to the prediction imprecision. Uncertainty
determination in output is the most crucial step in sensitivity analysis. In
the present paper, an analytic expression, which can exactly evaluate the
uncertainty in output as a function of the output's derivatives and inputs'
central moments, is firstly deduced for general multivariate models with given
relationship between output and inputs in terms of Taylor series expansion. A
$\gamma$-order relative uncertainty for output, denoted by
$\mathrm{R^{\gamma}_v}$, is introduced to quantify the contributions of input
uncertainty of different orders. On this basis, it is shown that the widely
used approximation considering the first order contribution from the variance
of input variable can satisfactorily express the output uncertainty only when
the input variance is very small or the input-output function is almost linear.
Two applications of the analytic formula are performed to the power grid and
economic systems where the sensitivity of both actual power output and Economic
Order Quantity models are analyzed. The importance of each input variable in
response to the model outputs is quantified by the analytic formula.


title: $3d$ fermion-boson map with imaginary chemical potential

abstract:
  We study the three-dimensional $U(N)$ Gross-Neveu and CP$^{N-1}$ models in
the canonical formalism with fixed $U(1)$ charge. For large-$N$ this is closely
related to coupling the models to abelian Chern-Simons in a monopole
background. We show that the presence of the imaginary chemical potential for
the $U(1)$ charge makes the phase structure of the models remarkably similar.
We calculate their respective large-$N$ free energy densities and show that
they are mapped into each other in a precise way. Intriguingly, the free energy
map involves the Bloch-Wigner function and its generalizations introduced by
Zagier. We expect that our results are connected to the recently discussed $3d$
bosonization.


title:
Causality and Correlations between BSE and NYSE indexes: A Janus Faced
  Relationship

abstract:
  We study the multi-scale temporal correlations and causality connections
between the New York Stock Exchange (NYSE) and Bombay Stock Exchange (BSE)
monthly average closing price indexes for a period of 300 months, encompassing
the time period of the liberalisation of the Indian economy and its gradual
global exposure. In multi-scale analysis; clearly identifiable 1, 2 and 3 year
non-stationary periodic modulations in NYSE and BSE have been observed, with
NYSE commensurating changes in BSE at 3 years scale. Interestingly, at one year
time scale, the two exchanges are phase locked only during the turbulent times,
while at the scale of three year, in-phase nature is observed for a much longer
time frame. The two year time period, having characteristics of both one and
three year variations, acts as the transition regime. The normalised NYSE's
stock value is found to Granger cause those of BSE, with a time lag of 9
months. Surprisingly, observed Granger causality of high frequency variations
reveals BSE behaviour getting reflected in the NYSE index fluctuations, after a
smaller time lag. This Janus faced relationship, shows that smaller stock
exchanges may provide a natural setting for simulating market fluctuations of
much bigger exchanges. This possibly arises due to the fact that high frequency
fluctuations form an universal part of the financial time series, and are
expected to exhibit similar characteristics in open market economies.


title:
Surface Tension of Acid Solutions: Fluctuations beyond the Non-linear
  Poisson-Boltzmann Theory

abstract:
  We extend our previous study of surface tension of ionic solutions and apply
it to the case of acids (and salts) with strong ion-surface interactions. These
ion-surface interactions yield a non-linear boundary condition with an
effective surface charge due to adsorption of ions from the bulk onto the
interface. The calculation is done using the loop-expansion technique, where
the zero-loop (mean field) corresponds of the non-linear Poisson-Boltzmann
equation. The surface tension is obtained analytically to one-loop order, where
the mean-field contribution is a modification of the Poisson-Boltzmann surface
tension, and the one-loop contribution gives a generalization of the
Onsager-Samaras result. Our theory fits well a wide range of different acids
and salts, and is in accord with the reverse Hofmeister series for acids.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.chem-ph


title:
A constraint on the formation timescale of the young open cluster NGC
  2264: Lithium abundance of pre-main sequence stars

abstract:
  The timescale of cluster formation is an essential parameter in order to
understand the formation process of star clusters. Pre-main sequence (PMS)
stars in nearby young open clusters reveal a large spread in brightness. If the
spread were considered as a result of a real spread in age, the corresponding
cluster formation timescale would be about 5 -- 20 Myr. Hence it could be
interpreted that star formation in an open cluster is prolonged for up to a few
tens of Myr. However, difficulties in reddening correction, observational
errors, and systematic uncertainties introduced by imperfect evolutionary
models for PMS stars, can result in an artificial age spread. Alternatively, we
can utilize Li abundance as a relative age indicator of PMS star to determine
the cluster formation timescale. The optical spectra of 134 PMS stars in NGC
2264 have been obtained with MMT/Hectochelle. The equivalent widths have been
measured for 86 PMS stars with a detectable Li line (3500 < T_eff [K] <= 6500).
Li abundance under the condition of local thermodynamic equilibrium (LTE) was
derived using the conventional curve of growth method. After correction for
non-LTE effects, we find that the initial Li abundance of NGC 2264 is A(Li) =
3.2 +/- 0.2. From the distribution of the Li abundances, the underlying age
spread of the visible PMS stars is estimated to be about 3 -- 4 Myr and this,
together with the presence of embedded populations in NGC 2264, suggests that
the cluster formed on a timescale shorter than 5 Myr.


title: SUMMeR: Sub-Nyquist MIMO Radar

abstract:
  Multiple input multiple output (MIMO) radar exhibits several advantages with
respect to traditional radar array systems in terms of flexibility and
performance. However, MIMO radar poses new challenges for both hardware design
and digital processing. In particular, achieving high azimuth resolution
requires a large number of transmit and receive antennas. In addition, the
digital processing is performed on samples of the received signal, from each
transmitter to each receiver, at its Nyquist rate, which can be prohibitively
large when high resolution is needed. Overcoming the rate bottleneck,
sub-Nyquist sampling methods have been proposed that break the link between
radar signal bandwidth and sampling rate. In this work, we extend these methods
to MIMO configurations and propose a sub-Nyquist MIMO radar (SUMMeR) system
that performs both time and spatial compression. We present a
range-azimuth-Doppler recovery algorithm from sub-Nyquist samples obtained from
a reduced number of transmitters and receivers, that exploits the sparsity of
the recovered targets' parameters. This allows us to achieve reduction in the
number of deployed antennas and the number of samples per receiver, without
degrading the time and spatial resolutions. Simulations illustrate the
detection performance of SUMMeR for different compression levels and shows that
both time and spatial resolution are preserved, with respect to classic Nyquist
MIMO configurations. We also examine the impact of design parameters, such as
antennas' locations and carrier frequencies, on the detection performance, and
provide guidelines for their choice.


title:
Low-Rank Matrix Completion for Mobile Edge Caching in Fog-RAN via
  Riemannian Optimization

abstract:
  The upcoming big data era is likely to demand tremendous computation and
storage resources for communications. By pushing computation and storage to
network edges, fog radio access networks (Fog-RAN) can effectively increase
network throughput and reduce transmission latency. Furthermore, we can exploit
the benefits of cache enabled architecture in Fog-RAN to deliver contents with
low latency. Radio access units (RAUs) need content delivery from fog servers
through wireline links whereas multiple mobile devices acquire contents from
RAUs wirelessly. This work proposes a unified low-rank matrix completion (LRMC)
approach to solving the content delivery problem in both wireline and wireless
parts of Fog-RAN. To attain a low caching latency, we present a high precision
approach with Riemannian trust-region method to solve the challenging LRMC
problem by exploiting the quotient manifold geometry of fixed-rank matrices.
Numerical results show that the new approach has a faster convergence rate, is
able to achieve optimal results, and outperforms other state-of-art algorithms.


title: Is it Correct to Use MLE Method for GRP Parameter Estimation ?

abstract:
  Analysis of repair systems usually uses an As Good As New or As Bad As Old
repair assumptions. In practice, repair actions do not result in such extreme
situations, but rather in a complex transitional one, that is imperfect
maintenance, i.e. Generalized Renewal Process. Maximum Likelihood Estimation
method is often used for reliability parameter estimation, but is it correct to
use it for Generalized Renewal Process


title:
MindX: Denoising Mixed Impulse Poisson-Gaussian Noise Using Proximal
  Algorithms

abstract:
  We present a novel algorithm for blind denoising of images corrupted by mixed
impulse, Poisson, and Gaussian noises. The algorithm starts by applying the
Anscombe variance-stabilizing transformation to convert the Poisson into white
Gaussian noise. Then it applies a combinatorial optimization technique to
denoise the mixed impulse Gaussian noise using proximal algorithms. The result
is then processed by the inverse Anscombe transform. We compare our algorithm
to state of the art methods on standard images, and show its superior
performance in various noise conditions.


title:
Boundary Expansions for Constant Mean Curvature Surfaces in the
  Hyperbolic Space

abstract:
  We study expansions near the boundary of solutions to the Dirichlet problem
for the constant mean curvature equation in the hyperbolic space. With a
characterization of remainders of the expansion by multiple integrals, we
establish optimal asymptotic expansions of solutions with boundary values of
finite regularity and demonstrate a slight loss of regularity for coefficients.


title:
Chromospheric emission of planet candidate systems - a way to identify
  false positives

abstract:
  It has been hypothesized that the presence of closely orbiting giant planets
is associated with enhanced chromospheric emission of their host stars. The
main cause for such a relation would likely be enhanced dynamo action induced
by the planet. We present measurements of chromospheric emission in 234 planet
candidate systems from the Kepler mission. This ensemble includes 37 systems
with giant planet candidates, which show a clear emission enhancement. The
enhancement, however, disappears when systems which are also identified as
eclipsing binary candidates are removed from the ensemble. This suggests that a
large fraction of the giant planet candidate systems with chromospheric
emission stronger than the Sun are not giant planet system, but false
positives. Such false-positive systems could be tidally interacting binaries
with strong chromospheric emission. This hypotesis is supported by an analysis
of 188 eclipsing binary candidates that show increasing chromospheric emission
as function of decreasing orbital period.


title: Photospheric Magnetic Free Energy Density of Solar Active Regions

abstract:
  We present the photospheric energy density of magnetic fields in two solar
active regions inferred from observational vector magnetograms, and compare it
with the possible different defined energy parameters of magnetic fields in the
photosphere. We analyze the magnetic fields in active region NOAA
6580-6619-6659 and 11158. It is noticed that the quantity 1/4pi Bn.Bp is an
important energy parameter that reflects the contribution of magnetic shear on
the difference between the potential magnetic field (Bp) and non-potential one
(Bn), and also the contribution to the free magnetic energy near the magnetic
neutral lines in the active regions. It is found that the photospheric mean
magnetic energy density changes obviously before the powerful solar flares in
the active region NOAA 11158, it is consistent with the change of magnetic
fields in the lower atmosphere with flares.


title:
Viable Mimetic Completion of Unified Inflation-Dark Energy Evolution in
  Modified Gravity

abstract:
  In this paper, we demonstrate that a unified description of early and
late-time acceleration is possible in the context of mimetic $F(R)$ gravity. We
study the inflationary era in detail and demonstrate that it can be realized
even in mimetic $F(R)$ gravity where traditional $F(R)$ gravity fails to
describe the inflation. By using standard methods we calculated the spectral
index of primordial curvature perturbations and the scalar-to-tensor ratio. We
use two $F(R)$ gravity models and as it turns out, for both the models under
study the observational indices are compatible with both the latest Planck and
the BICEP2/Keck array data. Finally, the graceful exit from inflation is
guaranteed by the existence of growing curvature perturbations when the
slow-roll era ends.


title:
Cast and Self Shadow Segmentation in Video Sequences using Interval
  based Eigen Value Representation

abstract:
  Tracking of motion objects in the surveillance videos is useful for the
monitoring and analysis. The performance of the surveillance system will
deteriorate when shadows are detected as moving objects. Therefore, shadow
detection and elimination usually benefits the next stages. To overcome this
issue, a method for detection and elimination of shadows is proposed. This
paper presents a method for segmenting moving objects in video sequences based
on determining the Euclidian distance between two pixels considering
neighborhood values in temporal domain. Further, a method that segments cast
and self shadows in video sequences by computing the Eigen values for the
neighborhood of each pixel is proposed. The dual-map for cast and self shadow
pixels is represented based on the interval of Eigen values. The proposed
methods are tested on the benchmark IEEE CHANGE DETECTION 2014 dataset.


title:
Temperature dependent As K-edge EXAFS studies of LaFe1-xCoxAsO (x = 0.0
  and 0.11) single crystals

abstract:
  We report the experimental results of temperature dependent polarized As
K-edge extended x-ray absorption fine structure (EXAFS) of LaFe1-xCoxAsO (x=0.0
and 0.11) single-crystals. By aligning the Fe-As bond direction in the
direction of the x-ray beam polarization we have been able to identify an
anomaly in the Fe-As bond correlations at the tetragonal to orthorhombic
transition at 150K, while previous investigations with standard unpolarized
EXAFS of undoped LaFeAsO powder samples were not able to detect any such
anomaly. Using our approach we have been able to identify in the
superconducting doped sample, LaFe0.89Co0.11AsO, a broad anomaly around 60 K.
The low temperature anomaly has good correlations with the temperature
dependence of several properties like resistivity, magnetic susceptibility,
linear thermal expansion, etc indicating the emergence of the dynamical
oscillations of the Fe - As pairs


title: A Generalization of the Directed Graph Layering Problem

abstract:
  The Directed Layering Problem (DLP) solves a step of the widely used
layer-based approach to automatically draw directed acyclic graphs. To cater
for cyclic graphs, usually a preprocessing step is used that solves the
Feedback Arc Set Problem (FASP) to make the graph acyclic before a layering is
determined. Here we present the Generalized Layering Problem (GLP), which
solves the combination of DLP and FASP simultaneously, allowing general graphs
as input. We present an integer programming model and a heuristic to solve the
NP-complete GLP and perform thorough evaluations on different sets of graphs
and with different implementations for the steps of the layer-based approach.
We observe that GLP reduces the number of dummy nodes significantly, can
produce more compact drawings, and improves on graphs where DLP yields poor
aspect ratios.


title: Obstructed Thickenings and Supermanifolds

abstract:
  Associated to any supermanifold is a filtration by spaces, referred to as
thickenings. It is the objective of this article to study them up to a certain
equivalence and then up to isomorphism in the complex-analytic setting. We
study them from two points of view: (1) as structures embedded in
supermanifolds and (2) abstractly. Throughout, we will be guided by the goal to
clarify and address the question: when does a given thickening embed in a
supermanifold? Such a question was, in essence, first studied by Eastwood and
LeBrun. In this article we begin with a pedagogical account of their study,
after which we further study thickenings in supergeometry and present a
classification of thickenings of a given order. As a complement to our study,
we comment on the moduli problem for complex supermanifolds and consider the
analogous problem for thickenings. Finally, to illustrate the ideas in this
article, we conclude by describing some obstructed thickenings of the complex
projective plane.


title: Anomalous diffraction in hyperbolic materials

abstract:
  We demonstrate that light is subject to anomalous (i.e., negative)
diffraction when propagating in the presence of hyperbolic dispersion. We show
that light propagation in hyperbolic media resembles the dynamics of a quantum
particle of negative mass moving in a two-dimensional potential. The negative
effective mass implies time reversal if the medium is homogeneous. Such
property paves the way to diffraction compensation, spatial analogue of
dispersion compensating fibers in the temporal domain. At variance with
materials exhibiting standard elliptic dispersion, in inhomogeneous hyperbolic
materials light waves are pulled towards regions with a lower refractive index.
In the presence of a Kerr-like optical response, bright (dark) solitons are
supported by a negative (positive) nonlinearity.


title: Multilayer network analysis of nuclear reactions

abstract:
  The nuclear reaction network is usually studied via precise calculation of
differential equation sets, and much research interest has been focused on the
characteristics of nuclides, such as half-life and size limit. In this paper,
however, we adopt the methods from both multilayer and reaction networks, and
obtain a distinctive view by mapping all the nuclear reactions in JINA REACLIB
database into a directed network with 4 layers: neutron, proton, $^4$He and the
remainder. The layer names correspond to reaction types decided by the currency
particles consumed. This combined approach reveals that, in the remainder
layer, the $\beta$-stability has high correlation with node degree difference
and overlapping coefficient. Moreover, when reaction rates are considered as
node strength, we find that, at lower temperatures, nuclide half-life scales
reciprocally with its out-strength. The connection between physical properties
and topological characteristics may help to explore the boundary of the nuclide
chart.


title:
Total variation reconstruction for compressive sensing using nonlocal
  Lagrangian multiplier

abstract:
  Total variation has proved its effectiveness in solving inverse problems for
compressive sensing. Besides, the nonlocal means filter used as regularization
preserves texture better for recovered images, but it is quite complex to
implement. In this paper, based on existence of both noise and image
information in the Lagrangian multiplier, we propose a simple method in term of
implementation called nonlocal Lagrangian multiplier (NLLM) in order to reduce
noise and boost useful image information. Experimental results show that the
proposed NLLM is superior both in subjective and objective qualities of
recovered image over other recovery algorithms.


title:
Assessing electron beam sensitivity for SrTiO$_3$ and
  La$_{0.7}$Sr$_{0.3}$MnO$_3$ using electron energy loss spectroscopy

abstract:
  Thresholds for beam damage have been assessed for La$_{0.7}$Sr$_{0.3}$MnO$_3$
and SrTiO$_3$ as a function of electron probe current and exposure time at 80
and 200 kV acceleration voltage. The materials were exposed to an intense
electron probe by aberration corrected scanning transmission electron
microscopy (STEM) with simultaneous acquisition of electron energy loss
spectroscopy (EELS) data. Electron beam damage was identified by changes of the
core loss fine structure after quantification by a refined and improved model
based approach. At 200 kV acceleration voltage, damage in SrTiO$_3$ was
identified by changes both in the EEL fine structure and by contrast changes in
the STEM images. However, the changes in the STEM image contrast as introduced
by minor damage can be difficult to detect under several common experimental
conditions. No damage was observed in SrTiO$_3$ at 80 kV acceleration voltage,
independent of probe current and exposure time. In La$_{0.7}$Sr$_{0.3}$MnO$_3$,
beam damage was observed at both 80 and 200 kV acceleration voltages. This
damage was observed by large changes in the EEL fine structure, but not by any
detectable changes in the STEM images. The typical method to validate if damage
has been introduced during acquisitions is to compare STEM images prior to and
after spectroscopy. Quantifications in this work show that this method possibly
can result in misinterpretation of beam damage as changes of material
properties.


title:
Laparoscopic real-time en-face differential optical topography of
  near-surface heterogeneity by using an applicator probe with the
  maximum-density radially alternating illumination and detection
  fiber-channels

abstract:
  We demonstrate a laparoscopic applicator probe and a method thereof for
real-time en-face topographic mapping of near-surface heterogeneity for
potential use in intraoperative margin assessment during minimally invasive
oncological procedures. The probe fits in a 12mm port and houses at its maximum
128 copper-coated 750um fibers that form radially alternating illumination (70
fibers) and detection (58 fibers) channels. By simultaneously illuminating the
70 source channels of the probe that is in contact with a scattering medium and
concurrently measuring the light diffusely propagated to the 58 detector
channels, the presence of near-surface optical heterogeneities can be resolved
in an en-face 9.5mm field-of-view in real-time. Visualization of a subsurface
margin of strong attenuation contrast at a depth up to 3mm is demonstrated at
one wavelength at a frame rate of 1.25Hz.


title: Binary Black Hole merger in f(R) theory

abstract:
  In the near future, gravitational wave detection is set to become an
important observational tool for astrophysics. It will provide us with an
excellent means to distinguish different gravitational theories. In effective
form, many gravitational theories can be cast into an f(R) theory. In this
article, we study the dynamics and gravitational waveform of an equal-mass
binary black hole system in f(R) theory. We reduce the equations of motion in
f(R) theory to the Einstein-Klein-Gordon coupled equations. In this form, it is
straightforward to modify our existing numerical relativistic codes to simulate
binary black hole mergers in f(R) theory. We considered binary black holes
surrounded by a shell of scalar field. We solve the initial data numerically
using the Olliptic code. The evolution part is calculated using the extended
AMSSNCKU code. Both codes were updated and tested to solve the problem of
binary black holes in f(R) theory. Our results show that the binary black hole
dynamics in f(R) theory is more complex than in general relativity. In
particular, the trajectory and merger time are strongly affected. Via the
gravitational wave, it is possible to constrain the quadratic part parameter of
f(R) theory in the range |a_2|<10^{11} m^2 . In principle, a gravitational wave
detector can distinguish between a merger of binary black hole in f(R) theory
and the respective merger in general relativity. Moreover, it is possible to
use gravitational wave detection to distinguish between f(R) theory and a non
self-interacting scalar field model in general relativity.


title: Mass measurements in protoplanetary disks from hydrogen deuteride

abstract:
  The total gas mass of a protoplanetary disk is a fundamental, but poorly
determined, quantity. A new technique \citep{bergin+13} has been demonstrated
to assess directly the bulk molecular gas reservoir of molecular hydrogen using
the HD J=1-0 line at 112 $\mu$m. In this work we present a {\it Herschel} Space
Observatory\footnote{Herschel is an ESA space observatory with science
instruments provided by European-led Principal Investigator consortia and with
important participation from NASA.} survey of six additional T Tauri disks in
the HD line. Line emission is detected at $>$3$\sigma$ significance in two
cases: DM Tau and GM Aur. For the other four disks, we establish upper limits
to the line flux. Using detailed disk structure and ray tracing models, we
calculate the temperature structure and dust mass from modeling the observed
spectral energy distributions, and include the effect of UV gas heating to
determine the amount of gas required to fit the HD line. The range of gas
masses are 1.0-4.7$\times10^{-2}$ for DM Tau and 2.5-20.4$\times10^{-2}$ for GM
Aur. These values are larger than those found using CO for GM Aur, while the
CO-derived gas mass for DM Tau is consistent with the lower end of our mass
range. This suggests a CO chemical depletion from the gas phase of up to a
factor of five for DM Tau and up to two orders of magnitude for GM Aur. We
discuss how future analysis can narrow the mass ranges further.


title: Hitomi observations of Perseus support heating by mixing

abstract:
  We compare the velocity dispersion of the intracluster medium (ICM) of the
Perseus cluster of galaxies as observed by the Hitomi X-ray telescope to our
three-dimensional hydrodynamical simulations of jet-inflated bubbles in cluster
cooling flows, and conclude that the observations support the mixing-heating
mechanism of the ICM. In the mixing-heating mechanism the ICM is heated by
mixing of hot bubble gas with the ICM. This mixing is caused by vortices that
are formed during the inflation process of the bubble. Sound waves and
turbulence are also excited by the vortices, but they contribute less than 20
per cents to the heating of the ICM. Shocks that are excited by the jets
contribute even less.


title:
First-order quantum phase transition in three-dimensional topological
  band insulators

abstract:
  Topological states of matter are characterized by global topological
invariants which change their value across a topological quantum phase
transition. It is commonly assumed that the transition between topologically
distinct noninteracting gapped phases of fermions is necessarily accompanied by
the closing of the band gap as long as the symmetries of the system are
maintained. We show that such a quantum phase transition is possible without
closing the gap in the case of a three-dimensional topological band insulator.
We demonstrate this by calculating the free energy of the minimal model for a
topological insulator, the Bernevig-Hughes-Zhang model, and show that as the
band curvature continuously varies, a jump between the band gap minima
corresponding to the topologically trivial and nontrivial insulators occurs.
Therefore, this first order phase transition is a generic feature of
three-dimensional topological band insulators. For a certain parameter range we
predict a re-entrant topological phase transition. We discuss our findings in
connection with the recent experimental observation of a discontinuous
topological phase transition in a family of topological crystalline insulators.


title:
Three-dimensional non-Bosonic non-Fermionic quasiparticle through a
  quantized topological defect of crystal dislocation

abstract:
  It is a fundamental postulate that quasiparticles in 3D space obey either
Bosonic or Fermionic statistics, satisfying either canonical commutation or
anti-commutation relation. However, under certain constraints, such as the 2D
dimensional constraint, canonical quantization algebra is allowed to break
down, and quasiparticles can obey other statistics, such as anyonic statistics.
In this study, we show that dislons- the quasiparticles in 3D due to quantized
displacement field of a dislocation- can also obey neither Bosonic nor
Fermionic statistics due to the topological constraint of the dislocation. With
this theory, an effective electron field theory based on the electron-dislon
interaction is obtained, which consists of two types of interactions. One
classical-type of interaction is reducible to the well-known deformation
potential scattering, and the other quantum-type of interaction indicates an
effective attraction between electrons. The role of dislocations in
superconductivity is clarified as the competition between the classical and
quantum interactions, showing excellent agreement with experiments.


title:
Effect of two-qutrit entanglement on quantum speed limit time of a
  bipartite V-type open system

abstract:
  In the present paper, quantum speed limit (QSL) time of a bipartite V-type
three-level atomic system under the effect of two-qutrit entanglement is
investigated. Each party interacts with own independent reservoir. By
considering two local unitarily equivalent Wener states and the Horodecki PPT
state, as initial states, the QSL time is evaluated for each of them in the
respective entangled regions. It is counterintu-itively observe that the effect
of entanglement on the QSL time driven from each of the initial Werner states
are completely different when the degree of non-Markovianity is considerable.
In addition, it is interesting that the effect of entanglement of the
non-equivalent Horodecki state on the calculated QSL time displays an
intermediate behavior relative to the cases obtained for the Werner states.


title: Magnetic susceptibility of topological nodal semimetals

abstract:
  Magnetic susceptibility of the topological Weyl, type-II Weyl, Dirac, and
line node semimetals is theoretically investigated. Dependences of this
susceptibility on the chemical potential, temperature, direction and magnitude
of the magnetic field are found. The obtained results show that magnetic
measurements can be very useful in investigating these semimetals. As an
example, we calculate magnetic susceptibility of Cd$_3$As$_2$, Na$_3$Bi, and
Ca$_3$P$_2$.


title:
Ratchet effect in an underdamped periodic potential and its
  characterisation

abstract:
  Ratchet effect in a driven underdamped periodic potential system is studied.
The presence of a space dependent and periodic friction coefficient, but with a
phase difference with the symmetric periodic potential is shown to generate
substantial ratchet current.The ratchet performance is characterised in terms
of the various parameters of transport. The performance of this ratchet is
compared with a ratchet with an underlying periodic and asymmetric potential.
It is shown that an optimum combination of inhomogeneity in the system and
asymmetry of the potential can substantially enhance the performance of an
underdamped ratchet.


title: The axial charges of the hidden-charm pentaquark states

abstract:
  With the chiral quark model, we have calculated the axial charges of the
pentaquark states with $(I,I_3)=(\frac{1}{2},\frac{1}{2})$ and
$J^{P}=\frac{1}{2}^{\pm},\frac{3}{2}^{\pm},\frac{5}{2}^{\pm}$. The $P_c$ states
with the same $J^P$ quantum numbers but different color-spin-flavor
configurations have very different axial charges, which encode important
information on their underlying structures. For some of the
$J^{P}=\frac{3}{2}^{\pm}$ or $\frac{5}{2}^{\pm}$ pentaquark states, their axial
charges are much smaller than that of the proton.


title:
An effective restriction theorem via wall-crossing and Mercat's
  conjecture

abstract:
  We prove an effective restriction theorem for stable vector bundles $E$ on a
smooth projective variety: $E|_D$ is (semi)stable for all irreducible divisors
$D \in |kH|$ for all $k$ greater than an explicit constant.
  As an application, we show that Mercat's conjecture in any rank greater than
$2$ fails for curves lying on K3 surfaces.
  Our technique is to use wall-crossing with respect to (weak) Bridgeland
stability conditions which we also use to reprove Camere's result on slope
stability of the tangent bundle of $\mathbb{P}^n$ restricted to a K3 surface.


title: From conformal to Einstein Gravity

abstract:
  We provide a simple derivation of the equivalence between Einstein and
Conformal Gravity (CG) with Neumann boundary conditions given by Maldacena. As
Einstein spacetimes are Bach flat, a generic solution to CG would contain both
Einstein and non-Einstein part. Using this decomposition of the spacetime
curvature in the Weyl tensor, makes manifest the equivalence between the two
theories, both at the level of the action and the variation of it. As a
consequence, we show that the on-shell action for Critical Gravity in four
dimensions is given uniquely in terms of the Bach tensor.


title:
Maximum likelihood estimations of force and mobility from short single
  Brownian trajectories

abstract:
  We describe a method to extract force and diffusion parameters from single
trajectories of Brownian particles based on the principle of maximum
likelihood. The analysis is well-suited for out-of-equilibrium trajectories,
even when a limited amount of data is available and the dynamical parameters
vary spatially. We substantiate this method with experimental and simulated
data, and discuss its practical implementation, strengths, and limitations.


title: Rapidly Rotating, X-ray Bright Stars in the Kepler Field

abstract:
  We present Kepler light curves and optical spectroscopy of twenty X-ray
bright stars located in the Kepler field of view. The stars, spectral type FK,
show evidence for rapid rotation including chromospheric activity 100 times or
more above the Sun at maximum and flaring behavior in their light curves.
Eighteen of our objects appear to be (sub)giants and may belong to the class of
FK Com variables, that is evolved rapidly spinning single stars with no
excretion disk and high levels of chromospheric activity. Such stars are rare
and are likely the result of W UMa binary mergers, a process believed to
produce the FK Com class of variable and their descendants. The FK Com stage,
including the presence of an excretion disk, is short-lived but leads to
longer-lived stages consisting of single, rapidly rotating evolved (sub)giants
with high levels of stellar activity.


title:
Dissipation in PIC simulations of moderate to low \b{eta} plasma
  turbulence

abstract:
  We simulate decaying turbulence in electron-positron pair plasmas using a
fully- kinetic particle-in-cell (PIC) code. We run two simulations with
moderate-to-low plasma beta. The energy decay rate is found to be similar in
both the cases. The perpendicular wave-number spectrum of magnetic energy shows
a slope of k^-1.3 in both the cases. The particle energy distribution function
shows the formation of a non-thermal feature in the case of lower plasma beta,
with a slope close to E^-1. The role of thin turbulent current sheets in this
process is investigated. The heating by E_{\parallel}.J_{\parallel} term
dominates the E_{\perp}.J_{\perp} term. Regions of strong
E_{\parallel}.J_{\parallel} are spatially well-correlated with regions of
intense current sheets, which also appear correlated with regions of strong
E_{\parallel} in the low beta simulation, suggesting an important role of
magnetic reconnection in the dissipation of low beta plasma turbulence.


title: Seidel switching for weighted multi-digraphs and its quantum perspective

abstract:
  Construction of graphs with equal eigenvalues (co-spectral graphs) is an
interesting problem in spectral graph theory. Seidel switching is a well-known
method for generating co-spectral graphs. From a matrix theoretic point of
view, Seidel switching is a combined action of a number of unitary operations
on graphs. Recent works [1] and [2] have shown significant connections between
graph and quantum information theories. Corresponding to Laplacian matrices of
any graph there are quantum states useful in quantum computing. From this point
of view, graph theoretical problems are meaningful in the context of quantum
information. This work describes Seidel switching from a quantum perspective.
Here, we generalize Seidel switching to weighted directed graphs. We use it to
construct graphs with equal Laplacian and signless Laplacian spectra and
consider density matrices corresponding to them. Hence Seidel switching is a
technique to generate cospectral density matrices. Next, we show that all the
unitary operators used in Seidel switching are global unitary operators. Global
unitary operators can be used to generate entanglement, a benchmark phenomena
in quantum information processing.


title: Rethinking Financial Contagion

abstract:
  How, and to what extent, does an interconnected financial system endogenously
amplify external shocks? This paper attempts to reconcile some apparently
different views emerged after the 2008 crisis regarding the nature and the
relevance of contagion in financial networks. We develop a common framework
encompassing several network contagion models and show that, regardless of the
shock distribution and the network topology, precise ordering relationships on
the level of aggregate systemic losses hold among models. We argue that the
extent of contagion crucially depends on the amount of information that each
model assumes to be available to market players. Under no uncertainty about the
network structure and values of external assets, the well-known Eisenberg and
Noe (2001) model applies, which delivers the lowest level of contagion. This is
due to a property of loss conservation: aggregate losses after contagion are
equal to the losses incurred by those institutions initially hit by a shock.
This property implies that many contagion analyses rule out by construction any
loss amplification, treating de facto an interconnected system as a single
aggregate entity, where losses are simply mutualised. Under higher levels of
uncertainty, as captured for instance by the DebtRank model, losses become
non-conservative and get compounded through the network. This has important
policy implications: by reducing the levels of uncertainty in times of distress
(e.g. by obtaining specific data on the network) policymakers would be able to
move towards more conservative scenarios. Empirically, we compare the magnitude
of contagion across models on a sample of the largest European banks during the
years 2006-2016. In particular, we analyse contagion effects as a function of
the size of the shock and the type of external assets shocked.


title: Loop effects of heavy new scalars and fermions in $b\to s\mu^+\mu^-$

abstract:
  Recent measurements of $b\to s\mu^+\mu^-$ processes at LHCb and BELLE have
revealed tensions at the $2-3\,\sigma$ level between the Standard Model (SM)
prediction and the experimental results in the channels $B\to K^*\mu^+\mu^-$
and $B_s\to\phi\mu^+\mu^-$, as well as in the lepton-flavor universality
violating observable $R_K={\rm Br}(B\to K\mu^+\mu^-)/{\rm Br}(B\to Ke^+e^-$).
Combined global fits to the available $b\to s\mu^+\mu^-$ data suggest that
these tensions might have their common origin in New Physics (NP) beyond the SM
because some NP scenarios turn out to be preferred over the SM by
$4-5\,\sigma$. The fact that all these anomalies are related to muons further
suggests a connection (and a common NP explanation) with the long-standing
anomaly in the anomalous magnetic moment of the muon, $a_\mu$. In this article,
we study the impact of a generic class of NP models featuring new heavy scalars
and fermions that couple to the SM fermions via Yukawa-like interactions. We
consider two different scenarios, introducing either one additional fermion and
two scalars or two additional fermions and one scalar, and examine all possible
representations of the new particles under the SM gauge group with dimension up
to the adjoint one. The models induce one-loop contributions to $b\to
s\mu^+\mu^-$ and $a_\mu$ which are capable of solving the respective anomalies
at the $2\sigma$ level, albeit a relatively large coupling of the new particles
to muons is required. In the case of $b\to s\mu^+\mu^-$, stringent constraints
from $B_s-\overline{B}_s$ mixing arise which can be relaxed if the new fermion
is a Majorana particle.


title: Perspective: Geometrically-Frustrated Assemblies

abstract:
  This perspective will overview an emerging paradigm for self-organized soft
materials, {\it geometrically-frustrated assemblies}, where interactions
between self-assembling elements (e.g. particles, macromolecules, proteins)
favor local packing motifs that are incompatible with uniform global order in
the assembly. This classification applies to a broad range of material
assemblies including self-twisting protein filament bundles, amyloid fibers,
chiral smectics and membranes, particle-coated droplets, curved protein shells
and phase-separated lipid vesicles. In assemblies, geometric frustration leads
to a host of anomalous structural and thermodynamic properties, including
heterogeneous and internally-stressed equilibrium structures, self-limiting
assembly and topological defects in the equilibrium assembly structures. The
purpose of this perspective is to 1) highlight the unifying principles and
consequences of geometric frustration in soft matter assemblies, 2) to classify
the known distinct "modes" of frustration and review corresponding experimental
examples, and 3) to describe outstanding questions not yet addressed about the
unique properties and behaviors of this broad class of systems.


title: Calculations of periodicity from H{\alpha} profiles of Proxima Centauri

abstract:
  We investigate retrieval of the stellar rotation signal for Proxima Centauri.
We make use of high-resolution spectra taken with uves and harps of Proxima
Centauri over a 13-year period as well as photometric observations of Proxima
Centauri from asas and hst. We measure the H{\alpha} equivalent width and
H{\alpha} index, skewness and kurtosis and introduce a method that investigates
the symmetry of the line, the Peak Ratio, which appears to return better
results than the other measurements. Our investigations return a most
significant period of 82.6 $\pm$ 0.1 days, confirming earlier photometric
results and ruling out a more recent result of 116.6 days which we conclude to
be an alias induced by the specific harps observation times. We conclude that
whilst spectroscopic H{\alpha} measurements can be used for period recovery, in
the case of Proxima Centauri the available photometric measurements are more
reliable. We make 2D models of Proxima Centauri to generate simulated
H{\alpha}, finding that reasonable distributions of plage and chromospheric
features are able to reproduce the equivalent width variations in observed data
and recover the rotation period, including after the addition of simulated
noise and flares. However the 2D models used fail to generate the observed
variety of line shapes measured by the peak ratio. We conclude that only 3D
models which incorporate vertical motions in the chromosphere can achieve this.


title: Generalised Umbral Moonshine

abstract:
  Umbral moonshine describes an unexpected relation between 23 finite groups
arising from lattice symmetries and special mock modular forms. It includes the
Mathieu moonshine as a special case and can itself be viewed as an example of
the more general moonshine phenomenon which connects finite groups and
distinguished modular objects. In this paper we introduce the notion of
generalised umbral moonshine, which includes the generalised Mathieu moonshine
[Gaberdiel M.R., Persson D., Ronellenfitsch H., Volpato R., Commun. Number
Theory Phys. 7 (2013), 145-223] as a special case, and provide supporting data
for it. A central role is played by the deformed Drinfel'd (or quantum) double
of each umbral finite group $G$, specified by a cohomology class in
$H^3(G,U(1))$. We conjecture that in each of the 23 cases there exists a rule
to assign an infinite-dimensional module for the deformed Drinfel'd double of
the umbral finite group underlying the mock modular forms of umbral moonshine
and generalised umbral moonshine. We also discuss the possible origin of the
generalised umbral moonshine.


title: What to do about non-standard (or non-canonical) language in NLP

abstract:
  Real world data differs radically from the benchmark corpora we use in
natural language processing (NLP). As soon as we apply our technologies to the
real world, performance drops. The reason for this problem is obvious: NLP
models are trained on samples from a limited set of canonical varieties that
are considered standard, most prominently English newswire. However, there are
many dimensions, e.g., socio-demographics, language, genre, sentence type, etc.
on which texts can differ from the standard. The solution is not obvious: we
cannot control for all factors, and it is not clear how to best go beyond the
current practice of training on homogeneous data from a single domain and
language.
  In this paper, I review the notion of canonicity, and how it shapes our
community's approach to language. I argue for leveraging what I call fortuitous
data, i.e., non-obvious data that is hitherto neglected, hidden in plain sight,
or raw data that needs to be refined. If we embrace the variety of this
heterogeneous data by combining it with proper algorithms, we will not only
produce more robust models, but will also enable adaptive language technology
capable of addressing natural language variation.


title:
Wedge-local fields in interacting quantum field theories with bound
  states

abstract:
  In the context of constructing interacting quantum field theories in the
operator-algebraic approach, wedge-local fields play an important role. After
the work of Lechner to construct factorizing scattering matrix models with
scalar S-matrices without bound states, we recently extended this construction
to a class of models with a richer particle spectrum and which are believed to
have bound states. These include the Z(N)-Ising model and the affine-Toda field
theories. This construction is done by exhibiting wedge-local fields which
arise as a deformation of Lechner's fields with the so called "bound state
operator". I will review the main passages of this construction and explain the
open problems.


title: Can one see the shape of a network?

abstract:
  Traditionally, network analysis is based on local properties of vertices,
like their degree or clustering, and their statistical behavior across the
network in question. This paper develops an approach which is different in two
respects. We investigate edge-based properties, and we define global
characteristics of networks directly. The latter will provide our affirmative
answer to the question raised in the title. More concretely, we start with
Forman's notion of the Ricci curvature of a graph, or more generally, a
polyhedral complex. This will allow us to pass from a graph as representing a
network to a polyhedral complex for instance by filling in triangles into
connected triples of edges and to investigate the resulting effect on the
curvature. This is insightful for two reasons: First, we can define a curvature
flow in order to asymptotically simplify a network and reduce it to its
essentials. Second, using a construction of Bloch, which yields a discrete
Gauss-Bonnet theorem, we have the Euler characteristic of a network as a global
characteristic. These two aspects beautifully merge in the sense that the
asymptotic properties of the curvature flow are indicated by that Euler
characteristic.


title:
Non-Linear Wavelet Regression and Branch & Bound Optimization for the
  Full Identification of Bivariate Operator Fractional Brownian Motion

abstract:
  Self-similarity is widely considered the reference framework for modeling the
scaling properties of real-world data. However, most theoretical studies and
their practical use have remained univariate. Operator Fractional Brownian
Motion (OfBm) was recently proposed as a multivariate model for
self-similarity. Yet it has remained seldom used in applications because of
serious issues that appear in the joint estimation of its numerous parameters.
While the univariate fractional Brownian motion requires the estimation of two
parameters only, its mere bivariate extension already involves 7 parameters
which are very different in nature. The present contribution proposes a method
for the full identification of bivariate OfBm (i.e., the joint estimation of
all parameters) through an original formulation as a non-linear wavelet
regression coupled with a custom-made Branch & Bound numerical scheme. The
estimation performance (consistency and asymptotic normality) is mathematically
established and numerically assessed by means of Monte Carlo experiments. The
impact of the parameters defining OfBm on the estimation performance as well as
the associated computational costs are also thoroughly investigated.


title: Longitudinal Wobbling in $^{133}$La

abstract:
  Excited states of $^{133}$La have been investigated to search for the
wobbling excitation mode in the low-spin regime. Wobbling bands with $n_\omega$
= 0 and 1 are identified along with the interconnecting $\Delta I$ = 1, $E2$
transitions, which are regarded as one of the characteristic features of the
wobbling motion. An increase in wobbling frequency with spin implies
longitudinal wobbling for $^{133}$La, in contrast with the case of transverse
wobbling observed in $^{135}$Pr. This is the first observation of a
longitudinal wobbling band in nuclei. The experimental observations are
accounted for by calculations using the quasiparticle-triaxial-rotor (QTR)
model, which attribute the appearance of longitudinal wobbling to the early
alignment of a $\pi=+$ proton pair.


title:
Expectation Maximization and the retrieval of the atmospheric extinction
  coefficients by inversion of Raman lidar data

abstract:
  We consider the problem of retrieving the aerosol extinction coefficient from
Raman lidar measurements. This is an ill--posed inverse problem that needs
regularization, and we propose to use the Expectation--Maximization (EM)
algorithm to provide stable solutions. Indeed, EM is an iterative algorithm
that imposes a positivity constraint on the solution, and provides
regularization if iterations are stopped early enough. We describe the
algorithm and propose a stopping criterion inspired by a statistical principle.
We then discuss its properties concerning the spatial resolution. Finally, we
validate the proposed approach by using both synthetic data and experimental
measurements; we compare the reconstructions obtained by EM with those obtained
by the Tikhonov method, by the Levenberg-Marquardt method, as well as those
obtained by combining data smoothing and numerical derivation.


title:
Jacobi's triple product, mock theta functions, unimodal sequences and
  the $q$-bracket

abstract:
  In Ramanujan's final letter to Hardy, he listed examples of a strange new
class of infinite series he called "mock theta functions". It turns out all of
these examples are essentially specializations of a so-called universal mock
theta function $g_3(z,q)$ of Gordon-McIntosh. Here we show that $g_3$ arises
naturally from the reciprocal of the classical Jacobi triple product -- and is
intimately tied to rank generating functions for unimodal sequences, which are
connected to mock modular and quantum modular forms -- under the action of an
operator related to statistical physics and partition theory, the $q$-bracket
of Bloch-Okounkov. Secondly, we find $g_3(z,q)$ to extend in $q$ to the entire
complex plane minus the unit circle, and give a finite formula for this
universal mock theta function at roots of unity, that is simple by comparison
to other such formulas in the literature; we also indicate similar formulas for
other $q$-hypergeometric series. Finally, we look at interesting "quantum"
behaviors of mock theta functions inside, outside, and on the unit circle.


title:
Strong plasmonic enhancement of biexciton emission: controlled coupling
  of a single quantum dot to a gold nanocone antenna

abstract:
  Multiexcitonic transitions and emission of several photons per excitation
comprise a very attractive feature of semiconductor quantum dots for
optoelectronics applications. However, these higher-order radiative processes
are usually quenched in colloidal quantum dots by Auger and other non-radiative
decay channels. To increase the multiexcitonic quantum efficiency, several
groups have explored plasmonic enhancement, so far with moderate results. By
controlled positioning of individual quantum dots in the near field of gold
nanocone antennas, we enhance the radiative decay rates of monoexcitons and
biexcitons by 109 and 100 folds at quantum efficiencies of 60% and 70%,
respectively, in very good agreement with the outcome of numerical
calculations. We discuss the implications of our work for future fundamental
and applied research in nano-optics.


title:
A curious ringlet that shares Prometheus' orbit but precesses like the F
  ring

abstract:
  Images obtained by the Cassini spacecraft of the region just beyond Saturn's
main rings reveal a previously unreported narrow and dusty ringlet that has
dynamical connections with both Saturn's small satellite Prometheus and the F
ring. The radial position of this ringlet is observed to vary with time and
longitude, indicating that it is eccentric with an eccentricity of 0.0012 and
that its mean orbital radius varies between 139,300 km and 139,400 km. These
mean radii are consistent with material trapped in a co-orbital 1:1 resonance
with Prometheus. However, the apsidal precession rate of this ringlet is not
that expected for material close to Prometheus' orbit (2.76 degrees/day).
Instead, the ringlet appears to be precessing at the same rate as the F ring
(2.70 degrees/day). This ringlet therefore appears to consist of material
co-rotating with Prometheus whose apsidal precession rates have been modified
by interactions with F-ring material. This ringlet may therefore provide new
insights into how rings can maintain organized eccentric structures over a
range of semi-major axes


title:
The quantum cat map on the modular discretization of extremal black hole
  horizons

abstract:
  Based on our recent work on the discretization of the radial AdS$_2$ geometry
of extremal BH horizons,we present a toy model for the chaotic unitary
evolution of infalling single particle wave packets.
  We construct explicitly the eigenstates and eigenvalues for the single
particle dynamics for an observer falling into the BH horizon, with time
evolution operator the quantum Arnol'd cat map (QACM).
  Using these results we investigate the validity of the eigenstate
thermalization hypothesis (ETH), as well as that of the fast scrambling time
bound (STB).
  We find that the QACM, while possessing a linear spectrum, has eigenstates,
which are random and satisfy the assumptions of the ETH.
  We also find that the thermalization of infalling wave packets in this
particular model is exponentially fast, thereby saturating the STB, under the
constraint that the finite dimension of the single--particle Hilbert space
takes values in the set of Fibonacci integers.


title:
Data Analytics using Ontologies of Management Theories: Towards
  Implementing 'From Theory to Practice'

abstract:
  We explore how computational ontologies can be impactful vis-a-vis the
developing discipline of "data science." We posit an approach wherein
management theories are represented as formal axioms, and then applied to draw
inferences about data that reside in corporate databases. That is, management
theories would be implemented as rules within a data analytics engine. We
demonstrate a case study development of such an ontology by formally
representing an accounting theory in First-Order Logic. Though quite
preliminary, the idea that an information technology, namely ontologies, can
potentially actualize the academic cliche, "From Theory to Practice," and be
applicable to the burgeoning domain of data analytics is novel and exciting.


title: Indexing and querying color sets of images

abstract:
  We aim to study the set of color sets of continuous regions of an image given
as a matrix of $m$ rows over $n\geq m$ columns where each element in the matrix
is an integer from $[1,\sigma]$ named a {\em color}.
  The set of distinct colors in a region is called fingerprint. We aim to
compute, index and query the fingerprints of all rectangular regions named
rectangles. The set of all such fingerprints is denoted by ${\cal F}$. A
rectangle is {\em maximal} if it is not contained in a greater rectangle with
the same fingerprint. The set of all locations of maximal rectangles is denoted
by $\mathcal{L}.$ We first explain how to determine all the $|\mathcal{L}|$
maximal locations with their fingerprints in expected time $O(nm^2\sigma)$
using a Monte Carlo algorithm (with polynomially small probability of error) or
within deterministic $O(nm^2\sigma\log(\frac{|\mathcal{L}|}{nm^2}+2))$ time. We
then show how to build a data structure which occupies $O(nm\log
n+\mathcal{|L|})$ space such that a query which asks for all the maximal
locations with a given fingerprint $f$ can be answered in time $O(|f|+\log\log
n+k)$, where $k$ is the number of maximal locations with fingerprint $f$. If
the query asks only for the presence of the fingerprint, then the space usage
becomes $O(nm\log n+|{\cal F}|)$ while the query time becomes $O(|f|+\log\log
n)$. We eventually consider the special case of squared regions (squares).


title:
Machine learning quantum phases of matter beyond the fermion sign
  problem

abstract:
  State-of-the-art machine learning techniques promise to become a powerful
tool in statistical mechanics via their capacity to distinguish different
phases of matter in an automated way. Here we demonstrate that convolutional
neural networks (CNN) can be optimized for quantum many-fermion systems such
that they correctly identify and locate quantum phase transitions in such
systems. Using auxiliary-field quantum Monte Carlo (QMC) simulations to sample
the many-fermion system, we show that the Green's function (but not the
auxiliary field) holds sufficient information to allow for the distinction of
different fermionic phases via a CNN. We demonstrate that this QMC + machine
learning approach works even for systems exhibiting a severe fermion sign
problem where conventional approaches to extract information from the Green's
function, e.g.~in the form of equal-time correlation functions, fail. We expect
that this capacity of hierarchical machine learning techniques to circumvent
the fermion sign problem will drive novel insights into some of the most
fundamental problems in statistical physics.


title:
Garsia-Rodemich Spaces: Bourgain-Brezis-Mironescu space, embeddings and
  rearrangement invariant spaces

abstract:
  We extend the construction of Garsia-Rodemich spaces in different directions.
We show that the new space \textbf{B,} introduced by Bourgain-Brezis-Mironescu
\cite{bbm}, can be described via a suitable scaling of the Garsia-Rodemich
norms. As an application we give a new proof of the embeddings $BMO\subset$
\textbf{B }$\subset$ $L(n^{\prime},\infty).$ We then generalize the
Garsia-Rodemich construction and introduce the $GaRo_{X}$ spaces associated
with a rearrangement invariant space $X,$ in such a way that $GaRo_{X}=X,$ for
a large class of rearrangement invariant spaces. The underlying inequality for
this new characterization of rearrangement invariant spaces is an extension of
the rearrangement inequalities of \cite{milbmo}. We introduce Gagliardo
seminorms adapted to rearrangement invariant spaces and use our generalized
Garsia-Rodemich construction to prove Fractional Sobolev inequalities in this
context.


title:
The upgraded Pixel detector and the commissioning of the Inner Detector
  tracking of the ATLAS experiment for Run-2 at the Large Hadron Collider

abstract:
  Run-2 of the Large Hadron Collider (LHC) will provide new challenges to track
and vertex reconstruction with higher energies, denser jets and higher rates.
Therefore the ATLAS experiment has constructed the first 4-layer Pixel Detector
in HEP, installing a new pixel layer, also called Insertable B-Layer (IBL). The
IBL is a fourth layer of pixel detectors, and has been installed in May 2014 at
a radius of 3.3 cm between the existing Pixel Detector and a new smaller radius
beam-pipe. The new detector, built to cope with the high radiation and expected
occupancy, is the first large scale application of 3D sensors and CMOS 130~nm
readout electronics. In addition, the Pixel Detector was improved with a new
service quarter panel to recover about 3\% of defective modules lost during
Run-1 and a new optical readout system to readout the data at higher speed
while reducing the occupancy when running with increased luminosity.
  Complementing detector improvements, many improvements to Inner Detector
track and vertex reconstruction were developed during the two-year shutdown of
the LHC. These include novel techniques developed to improve the performance in
the dense cores of jets, optimisation for the expected conditions, and a
software campaign which lead to a factor of three decrease in the CPU time
needed to process each recorded event.


title:
Floquet High Chern Insulators in Periodically Driven Chirally Stacked
  Multilayer Graphene

abstract:
  Chirally stacked $N$-layer graphene is a semimetal with $\pm p^N$
band-touching at two nonequivalent corners in its Brillioun zone. We predict
that an off-resonant circularly polarized light (CPL) drives chirally stacked
$N$-layer graphene into a Floquet Chern Insulators (FCIs), a.k.a. quantum
anomalous Hall insulators, with tunable high Chern number $C_F=\pm N$ and large
gaps. A topological phase transition between such a FCI and a valley Hall (VH)
insulator with high valley Chern number $C_v=\pm N$ induced by a voltage gate
can be engineered by the parameters of the CPL and voltage gate. We propose a
topological domain wall between the FCI and VH phases, along which perfectly
valley-polarized $N$-channel edge states propagate unidirectionally without
backscattering.


title:
Quantitative Analyses of Chinese Poetry of Tang and Song Dynasties:
  Using Changing Colors and Innovative Terms as Examples

abstract:
  Tang (618-907 AD) and Song (960-1279) dynasties are two very important
periods in the development of Chinese literary. The most influential forms of
the poetry in Tang and Song were Shi and Ci, respectively. Tang Shi and Song Ci
established crucial foundations of the Chinese literature, and their influences
in both literary works and daily lives of the Chinese communities last until
today.
  We can analyze and compare the Complete Tang Shi and the Complete Song Ci
from various viewpoints. In this presentation, we report our findings about the
differences in their vocabularies. Interesting new words that started to appear
in Song Ci and continue to be used in modern Chinese were identified. Colors
are an important ingredient of the imagery in poetry, and we discuss the most
frequent color words that appeared in Tang Shi and Song Ci.


title: Supernova Physics at DUNE

abstract:
  The DUNE/LBNF program aims to address key questions in neutrino physics and
astroparticle physics. Realizing DUNE's potential to reconstruct low-energy
particles in the 10-100 MeV energy range will bring significant benefits for
all DUNE's science goals. In neutrino physics, low-energy sensitivity will
improve neutrino energy reconstruction in the GeV range relevant for the
kinematics of DUNE's long-baseline oscillation program. In astroparticle
physics, low-energy capabilities will make DUNE's far detectors the world's
best apparatus for studying the electron-neutrino flux from a supernova. This
will open a new window to unrivaled studies of the dynamics and neutronization
of a star's central core in real time, the potential discovery of the neutrino
mass hierarchy, provide new sensitivity to physics beyond the Standard Model,
and evidence of neutrino quantum-coherence effects. The same capabilities will
also provide new sensitivity to `boosted dark matter' models that are not
observable in traditional direct dark matter detectors.


title: Quantified Spectrum Sharing: Motivation, Approach, and Benefits

abstract:
  A significant portion of the radio frequency spectrum remains underutilized
with exclusive and static allocation of spectrum. The growing demand for
spectrum has spurred a need for dynamic spectrum sharing paradigm. While the
new dynamic spectrum sharing paradigm helps to improve utilization of the
precious spectrum resource, there exist several obstacles on the technical,
regulatory, and business fronts for the adoption of the new paradigm.
  In this paper, we investigate the limitations of the existing techniques and
argue for quantified approach to dynamic spectrum sharing and management. We
introduce a quantified approach to spectrum sharing based on defining and
enforcing quantified spectrum-access rights. By discretizing the spectrum-space
in the time, space, frequency dimensions, this approach enables quantifying the
spectrum consumed by individual transceivers. It enables defining and enforcing
a quantified spectrum-access policy in real-time. The proposed quantified
approach brings in simplicity, precision and efficiency in terms of spectrum
commerce and operations while addressing the key technical and regulatory
challenges.


title:
A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective
  Plane

abstract:
  We reprove the strong Hanani-Tutte theorem on the projective plane. In
contrast to the previous proof by Pelsmajer, Schaefer and Stasi, our method is
constructive and does not rely on the characterization of forbidden minors,
which gives hope to extend it to other surfaces. Moreover, our approach can be
used to provide an efficient algorithm turning a Hanani-Tutte drawing on the
projective plane into an embedding.


title:
Optimizing The Spatial Content Caching Distribution for Device-to-Device
  Communications

abstract:
  We study the optimal geographic content placement problem for
device-to-device (D2D) networks in which the content popularity follows the
Zipf law. We consider a D2D caching model where the locations of the D2D users
(caches) are modeled by a Poisson point process (PPP) and have limited
communication range and finite storage. Unlike most related work which assumes
independent placement of content, and does not capture the locations of the
users, we model the spatial properties of the network including spatial
correlation in terms of the cached content. We propose two novel spatial
correlation models, the exchangeable content model and a Mat\'{e}rn (MHC)
content placement model, and analyze and optimize the \emph{hit probability},
which is the probability of a given D2D node finding a desired file at another
node within its communication range. We contrast these results to the
independent placement model, and show that exchangeable placement performs
worse. On the other hand, MHC placement yields a higher cache hit probability
than independent placement for small cache sizes.


title:
Optimizing Content Caching to Maximize the Density of Successful
  Receptions in Device-to-Device Networking

abstract:
  Device-to-device (D2D) communication is a promising approach to optimize the
utilization of air interface resources in 5G networks, since it allows
decentralized opportunistic short-range communication. For D2D to be useful,
mobile nodes must possess content that other mobiles want. Thus, intelligent
caching techniques are essential for D2D. In this paper we use results from
stochastic geometry to derive the probability of successful content delivery in
the presence of interference and noise. We employ a general transmission
strategy where multiple files are cached at the users and different files can
be transmitted simultaneously throughout the network. We then formulate an
optimization problem, and find the caching distribution that maximizes the
density of successful receptions (DSR) under a simple transmission strategy
where a single file is transmitted at a time throughout the network. We model
file requests by a Zipf distribution with exponent $\gamma_r$, which results in
an optimal caching distribution that is also a Zipf distribution with exponent
$\gamma_c$, which is related to $\gamma_r$ through a simple expression
involving the path loss exponent. We solve the optimal content placement
problem for more general demand profiles under Rayleigh, Ricean and Nakagami
small-scale fading distributions. Our results suggest that it is required to
flatten the request distribution to optimize the caching performance. We also
develop strategies to optimize content caching for the more general case with
multiple files, and bound the DSR for that scenario.


title: Determining Cosmology for a Nonlocal Realization of MOND

abstract:
  We numerically determine the cosmological branch of the free function in a
nonlocal metric-based modification of gravity which provides a relativistic
generalization of Milgrom's Modified Newtonian Dynamics. We are able to
reproduce the $\Lambda$CDM expansion history over virtually all of cosmic
history, including the era of radiation domination during Big Bang
Nucleosynthesis, the era of matter domination during Recombination, and most of
the era of vacuum energy domination. The very late period of $0 \leq z <
0.0880$, during which the model deviates from the $\Lambda$CDM expansion
history, is interesting because it causes the current value of the Hubble
parameter to be about 4.5\% larger than it would be for the $\Lambda$CDM model.
This may resolve the tension between inferences of $H_0$ which are based on
data from large redshift and inferences based on Hubble plots.


title:
On the non-triviality of certain spaces of analytic functions.
  Hyperfunctions and ultrahyperfunctions of fast growth

abstract:
  We study function spaces consisting of analytic functions with fast decay on
horizontal strips of the complex plane with respect to a given weight function.
Their duals, so called spaces of (ultra)hyperfunctions of fast growth,
generalize the spaces of Fourier hyperfunctions and Fourier
ultrahyperfunctions. An analytic representation theory for their duals is
developed and applied to characterize the non-triviality of these function
spaces in terms of the growth order of the weight function. In particular, we
show that the Gelfand-Shilov spaces of Beurling type
$\mathcal{S}^{(p!)}_{(M_p)}$ and Roumieu type $\mathcal{S}^{\{p!\}}_{\{M_p\}}$
are non-trivial if and only if $$ \sup_{p \geq 2}\frac{(\log p)^p}{h^pM_p} <
\infty, $$ for all $h > 0$ and some $h > 0$, respectively. We also study
boundary values of holomorphic functions in spaces of ultradistributions of
exponential type, which may be of quasianalytic type.


title: Shifts of a Measurable Function and Criterion of p-integrability

abstract:
  It is shown that two conditions $f(a + \cdot) - f(\cdot) \in L^p(R)$, and
$(\sin b \cdot) f(\cdot) \in L^p(R)$ guarantee $f \in L^p(R)$, $1 \leq p <
\infty$, if and only if $ab$ is not in $(\pi Z)$.


title: The fate of carbon dioxide in water-rich fluids at extreme conditions

abstract:
  Investigating the fate of dissolved carbon dioxide under extreme conditions
is critical to understanding the deep carbon cycle in the Earth, a process that
ultimately influences global climate change. We used first-principles molecular
dynamics simulations to study carbonates and carbon dioxide dissolved in water
at pressures (P) and temperatures (T) approximating the conditions of the
Earth's upper mantle. Contrary to popular geochemical models assuming that
molecular CO$_2$(aq) is the major carbon species present in water under deep
earth conditions, we found that at 11 GPa and 1000 K carbon exists almost
entirely in the forms of solvated carbonate (CO$_3^{2-}$) and bicarbonate
(HCO$_3^-$) ions, and that even carbonic acid (H$_2$CO$_3$(aq)) is more
abundant than CO$_2$(aq). Furthermore, our simulations revealed that ion
pairing between Na$^+$ and CO$_3^{2-}$/HCO$_3^-$ is greatly affected by P-T
conditions, decreasing with increasing pressure at 800$\sim$1000 K. Our results
suggest that in the Earth's upper mantle, water-rich geo-fluids transport a
majority of carbon in the form of rapidly interconverting CO$_3^{2-}$ and
HCO$_3^-$ ions, not solvated CO$_2$(aq) molecules.


title: Hybird of Quantum Phases for Induced Dipole Moments

abstract:
  The quantum phase effects for induced electric and magnetic dipole moments
are investigated. It is shown that the phase shift received by induced electric
dipole has the same form with the one induced by magnetic dipole moment,
therefore the total phase is a hybrid of these two types of phase. This feature
indicates that in order to have a decisive measurement on either one of these
two phases, it is necessary to measure the velocity dependence of the observed
phase.


title:
Short-Time Expansions for Call Options on Leveraged ETFs Under
  Exponential L\'evy models With Local Volatility

abstract:
  In this article, we consider the small-time asymptotics of options on a
\emph{Leveraged Exchange-Traded Fund} (LETF) when the underlying Exchange
Traded Fund (ETF) exhibits both local volatility and jumps of either finite or
infinite activity. Our main results are closed-form expressions for the leading
order terms of off-the-money European call and put LETF option prices, near
expiration, with explicit error bounds. We show that the price of an
out-of-the-money European call on a LETF with positive (negative) leverage is
asymptotically equivalent, in short-time, to the price of an out-of-the-money
European call (put) on the underlying ETF, but with modified spot and strike
prices. Similar relationships hold for other off-the-money European options. In
particular, our results suggest a method to hedge off-the-money LETF options
near expiration using options on the underlying ETF. Finally, a second order
expansion for the corresponding implied volatility is also derived and
illustrated numerically.


title: N=4 and N=8 SUSY Quantum Mechanics and Klein's Vierergruppe

abstract:
  Sets of signed permutation matrices satisfying the GR(4,4) algebra are shown
to be, up to sign, left cosets of Klein's famous Vierergruppe. In this way we
verify the count done by computer in 2012, and set it in a more significant
mathematical context. A similar analysis works for GR(1,1), GR(2,2) and
GR(8,8).


title:
Spectrum-splitting approach for Fermi-operator expansion in all-electron
  Kohn-Sham DFT calculations

abstract:
  We present a spectrum-splitting approach to conduct all-electron Kohn-Sham
density functional theory (DFT) calculations by employing Fermi-operator
expansion of the Kohn-Sham Hamiltonian. The proposed approach splits the
subspace containing the occupied eigenspace into a core-subspace, spanned by
the core eigenfunctions, and its complement, the valence-subspace, and thereby
enables an efficient computation of the Fermi-operator expansion by reducing
the expansion to the valence-subspace projected Kohn-Sham Hamiltonian. The key
ideas used in our approach are: (i) employ Chebyshev filtering to compute a
subspace containing the occupied states followed by a localization procedure to
generate non-orthogonal localized functions spanning the Chebyshev-filtered
subspace; (ii) compute the Kohn-Sham Hamiltonian projected onto the
valence-subspace; (iii) employ Fermi-operator expansion in terms of the
valence-subspace projected Hamiltonian to compute the density matrix,
electron-density and band energy. We demonstrate the accuracy and performance
of the method on benchmark materials systems involving silicon nano-clusters up
to 1330 electrons, a single gold atom and a six-atom gold nano-cluster. The
benchmark studies on silicon nano-clusters revealed a staggering five-fold
reduction in the Fermi-operator expansion polynomial degree by using the
spectrum-splitting approach for accuracies in the ground-state energies of
$\sim 10^{-4} Ha/atom$ with respect to reference calculations. Further,
numerical investigations on gold suggest that spectrum splitting is
indispensable to achieve meaningful accuracies, while employing Fermi-operator
expansion.


title:
Replacing Noble Metals with Alternative Materials in Plasmonics and
  Metamaterials: how good an idea?

abstract:
  Noble metals that currently dominate the fields of plasmonics and
metamaterials suffer from large ohmic losses. New plasmonic materials, such as
doped oxides and nitrides, have smaller material loss, and, using them in place
of metals carries promise of reduced-loss plasmonic and metamaterial
structures, with sharper resonances and higher field concentration. This
promise is put to a rigorous analytical test in this work which reveals that
having low material loss is not sufficient to have a reduced modal loss in
plasmonic structures. To reduce the modal loss it is absolutely necessary for
the plasma frequency to be significantly higher than the operational frequency.
Using examples of nanoparticle plasmons and gap plasmons one comes to the
conclusion that even in the mid-infrared spectrum metals continue to hold
advantage over the alternative media. The new materials may still find
application niche where the high absorption loss is beneficial, e.g. in
medicine and thermal photovoltaics.


title: Unique solvability of a coupling problem for entire functions

abstract:
  We establish the unique solvability of a coupling problem for entire
functions which arises in inverse spectral theory for singular second order
ordinary differential equations/two-dimensional first order systems and is also
of relevance for the integration of certain nonlinear wave equations.


title: Lorentz-violating spinor electrodynamics and Penning traps

abstract:
  The prospects are explored for testing Lorentz- and CPT-violating quantum
electrodynamics in experiments with Penning traps. We present the Lagrange
density of Lorentz-violating spinor electrodynamics with operators of mass
dimensions up to six, and we discuss some of its properties. The theory is used
to derive Lorentz- and CPT-violating perturbative shifts of the energy levels
of a particle confined to a Penning trap. Observable signals are discussed for
trapped electrons, positrons, protons, and antiprotons. Existing experimental
measurements on anomaly frequencies are used to extract new or improved bounds
on numerous coefficients for Lorentz and CPT violation, using sidereal
variations of observables and comparisons between particles and antiparticles.


title:
Divergence of the Chapman-Enskog expansion in relativistic kinetic
  theory

abstract:
  In this letter we show for the first time that the relativistic
Chapman-Enskog series for a massless gas undergoing Bjorken expansion diverges.
In order to fix this problem, we propose a novel type of expansion that
includes non-perturbative contributions in the Knudsen number that are not
considered in Chapman-Enskog theory. This approach is in good agreement with
exact solutions of the Boltzmann equation for a wide range of values of Knudsen
number and does not display the clear signs of divergence exhibited by the
Chapman-Enskog series.


title:
Analysis of Infectious-Recovery Epidemic Models for Membership Dynamics
  of Online Social Networks

abstract:
  The recent rapid growth of social media and online social networks (OSNs) has
raised interesting questions about the spread of ideas and fads within our
society. In the past year, several papers have drawn analogies between the rise
and fall in popularity of OSNs and mathematical models used to study infectious
disease. One such model, the irSIR model, made use of the idea of "infectious
recovery" to outperform the traditional SIR model in replicating the rise and
fall of MySpace and to predict a rapid drop in the popularity of Facebook. Here
we explore the irSIR model and two of its logical extensions and we
mathematically characterize the initial and long-run behavior of these
dynamical systems. In particular, while the original irSIR model always
predicts extinction of a social epidemic, we construct an extension of the
model that matches the exponential growth phase of the irSIR model while
allowing for the possibility of an arbitrary proportion of infections in the
long run.


title:
The enhanced principal rank characteristic sequence over a field of
  characteristic 2

abstract:
  The enhanced principal rank characteristic sequence (epr-sequence) of an $n
\times n$ symmetric matrix over a field $\mathbb{F}$ was recently defined as
$\ell_1 \ell_2 \cdots \ell_n$, where $\ell_k$ is either $\tt A$, $\tt S$, or
$\tt N$ based on whether all, some (but not all), or none of the order-$k$
principal minors of the matrix are nonzero. Here, a complete characterization
of the epr-sequences that are attainable by symmetric matrices over the field
$\mathbb{Z}_2$, the integers modulo $2$, is established. Contrary to the
attainable epr-sequences over a field of characteristic $0$, our
characterization reveals that the attainable epr-sequences over $\mathbb{Z}_2$
possess very special structures. For more general fields of characteristic $2$,
some restrictions on attainable epr-sequences are obtained.


title:
Exploring Opportunistic Execution for Integrating Security into Legacy
  Hard Real-Time Systems

abstract:
  Due to physical isolation as well as use of proprietary hardware and
protocols, traditional real-time systems (RTS) were considered to be
invulnerable to security breaches and external attacks. However, this
assumption is being challenged by recent attacks that highlight the
vulnerabilities in such systems. In this paper, we focus on integrating
security mechanisms into RTS (especially legacy RTS) and provide a metric to
measure the effectiveness of such mechanisms. We combine opportunistic
execution with hierarchical scheduling to maintain compatibility with legacy
systems while still providing flexibility. The proposed approach is shown to
increase the security posture of RTS systems without impacting their temporal
constraints.


title:
Finite-size scaling analysis of the conductivity of Dirac electrons on a
  surface of disordered topological insulators

abstract:
  Two-dimensional (2D) massless Dirac electrons appear on a surface of
three-dimensional topological insulators. The conductivity of such a 2D Dirac
electron system is studied for strong topological insulators in the case of the
Fermi level being located at the Dirac point. The average conductivity
$\langle\sigma\rangle$ is numerically calculated for a system of length $L$ and
width $W$ under the periodic or antiperiodic boundary condition in the
transverse direction, and its behavior is analyzed by applying a finite-size
scaling approach. It is shown that $\langle\sigma\rangle$ is minimized at the
clean limit, where it becomes scale-invariant and depends only on $L/W$ and the
boundary condition. It is also shown that once disorder is introduced,
$\langle\sigma\rangle$ monotonically increases with increasing $L$. Hence, the
system becomes a perfect metal in the limit of $L \to \infty$ except at the
clean limit, which should be identified as an unstable fixed point. Although
the scaling curve of $\langle\sigma\rangle$ strongly depends on $L/W$ and the
boundary condition near the unstable fixed point, it becomes almost independent
of them with increasing $\langle\sigma\rangle$, implying that it asymptotically
obeys a universal law.


title: Generic Vanishing Fails for Surfaces in Positive Characteristic

abstract:
  We show that there exist smooth surfaces violating Generic Vanishing in any
characteristic $p \geq 3$. As a corollary, we recover a result of Hacon and
Kov\'acs, producing counterexamples to Generic Vanishing in dimension 3 and
higher.


title:
Universal limiting pressure for a three-flavor color superconducting
  PNJL model phase diagram

abstract:
  The phase diagram of a three-flavor Polyakov-loop Nambu-Jona-Lasinio model is
analyzed for the case of isospin symmetric matter with color superconducting
phases. The coexistence of chiral symmetry breaking and two-flavor color
superconductivity (2SC phase) and a thermodynamic instability due to the
implementation of a color neutrality constraint is observed. It is suggested to
use a universal hadronization pressure to estimate the phase border between
hadronic and quark-gluon plasma phases. Trajectories of constant entropy per
baryon are analyzed for conditions appropriate for heavy-ion collisions in the
NICA-FAIR energy range.


title: Human Action Recognition without Human

abstract:
  The objective of this paper is to evaluate "human action recognition without
human". Motion representation is frequently discussed in human action
recognition. We have examined several sophisticated options, such as dense
trajectories (DT) and the two-stream convolutional neural network (CNN).
However, some features from the background could be too strong, as shown in
some recent studies on human action recognition. Therefore, we considered
whether a background sequence alone can classify human actions in current
large-scale action datasets (e.g., UCF101).
  In this paper, we propose a novel concept for human action analysis that is
named "human action recognition without human". An experiment clearly shows the
effect of a background sequence for understanding an action label.


title:
Quantum feedback control of atomic ensembles and spinor Bose-Einstein
  condensates

abstract:
  Cold atomic ensembles and spinor Bose-Einstein condensates (BECs) are
potential candidates for quantum memories as they have long coherence times and
can be coherently controlled. Unlike most candidates for quantum memories which
are genuine or effective single particle systems, in atomic ensembles the
quantum information is stored as a spin coherent state involving a very large
number of atoms. A typical task with such ensembles is to drive the state
towards a particular quantum state. While such quantum control methods are
well-developed for qubit systems, it is a non-trivial task to extend quantum
control methods to the many-particle case. The objective of this work is to
deterministically steer an arbitrary state of the atomic ensemble into a
desired spin coherent state. To this end, we design our control law using
stochastic stability theory, the quantum filtering theorem, and phase contrast
imaging. We apply our control laws to different axes and show that it is
possible to manipulate the atoms into different target states.


title: TrueReview: A Platform for Post-Publication Peer Review

abstract:
  In post-publication peer review, scientific contributions are first published
in open-access forums, such as arXiv or other digital libraries, and are
subsequently reviewed and possibly ranked and/or evaluated. Compared to the
classical process of scientific publishing, in which review precedes
publication, post-publication peer review leads to faster dissemination of
ideas, and publicly-available reviews. The chief concern in post-publication
reviewing consists in eliciting high-quality, insightful reviews from
participants.
  We describe the mathematical foundations and structure of TrueReview, an
open-source tool we propose to build in support of post-publication review. In
TrueReview, the motivation to review is provided via an incentive system that
promotes reviews and evaluations that are both truthful (they turn out to be
correct in the long run) and informative (they provide significant new
information). TrueReview organizes papers in venues, allowing different
scientific communities to set their own submission and review policies. These
venues can be manually set-up, or they can correspond to categories in
well-known repositories such as arXiv. The review incentives can be used to
form a reviewer ranking that can be prominently displayed alongside papers in
the various disciplines, thus offering a concrete benefit to reviewers. The
paper evaluations, in turn, reward the authors of the most significant papers,
both via an explicit paper ranking, and via increased visibility in search.


title: Causality and Responsibility for Formal Verification and Beyond

abstract:
  The theory of actual causality, defined by Halpern and Pearl, and its
quantitative measure - the degree of responsibility - was shown to be extremely
useful in various areas of computer science due to a good match between the
results it produces and our intuition. In this paper, I describe the
applications of causality to formal verification, namely, explanation of
counterexamples, refinement of coverage metrics, and symbolic trajectory
evaluation. I also briefly discuss recent applications of causality to legal
reasoning.


title: (De-)Composing Causality in Labeled Transition Systems

abstract:
  In this paper we introduce a notion of counterfactual causality in the
Halpern and Pearl sense that is compositional with respect to the interleaving
of transition systems. The formal framework for reasoning on what caused the
violation of a safety property is established in the context of labeled
transition systems and Hennessy Milner logic. The compositionality results are
devised for non-communicating systems.


title: Debugging of Markov Decision Processes (MDPs) Models

abstract:
  In model checking, a counterexample is considered as a valuable tool for
debugging. In Probabilistic Model Checking (PMC), counterexample generation has
a quantitative aspect. The counterexample in PMC is a set of paths in which a
path formula holds, and their accumulative probability mass violates the
probability threshold. However, understanding the counterexample is not an easy
task. In this paper we address the task of counterexample analysis for Markov
Decision Processes (MDPs). We propose an aided-diagnostic method for
probabilistic counterexamples based on the notions of causality, responsibility
and blame. Given a counterexample for a Probabilistic CTL (PCTL) formula that
does not hold over an MDP model, this method guides the user to the most
relevant parts of the model that led to the violation.


title: Towards a Unified Model of Accountability Infrastructures

abstract:
  Accountability aims to provide explanations for why unwanted situations
occurred, thus providing means to assign responsibility and liability. As such,
accountability has slightly different meanings across the sciences. In computer
science, our focus is on providing explanations for technical systems, in
particular if they interact with their physical environment using sensors and
actuators and may do serious harm. Accountability is relevant when considering
safety, security and privacy properties and we realize that all these
incarnations are facets of the same core idea. Hence, in this paper we motivate
and propose a model for accountability infrastructures that is expressive
enough to capture all of these domains. At its core, this model leverages
formal causality models from the literature in order to provide a solid
reasoning framework. We show how this model can be instantiated for several
real-world use cases.


title: Fault Localization in Web Applications via Model Finding

abstract:
  We describe a generic technique for fault localization independent from the
nature of the object or the specification language used to declare its expected
properties. This technique is based on the concept of "repair", a minimal set
of transformations which, when applied to the original object, restores its
satisfiability with respect to the specification. We show how this technique
can be applied with various specification languages, including propositional
and finite first-order logic. In particular, we focus on its use in the
detection of layout faults in web applications.


title:
Flexible and experimentally feasible shortcut to quantum Zeno dynamic
  passage

abstract:
  We propose and discuss a theoretical scheme to speed up Zeno dynamic passage
by an external acceleration Hamiltonian. This scheme is a flexible and
experimentally feasible acceleration because the acceleration Hamiltonian does
not adhere rigidly to an invariant relationship, whereas it can be a more
general form $\sum u_{j}(t)H_{cj}$. Here $H_{cj}$ can be arbitrarily selected
without any limitation, and therefore one can always construct an acceleration
Hamiltonian by only using realizable $H_{cj}$. Applying our scheme, we finally
design an experimentally feasible Hamiltonian as an example to speed up an
entanglement preparation passage.


title: Fisher exact scanning for dependency

abstract:
  We introduce a method---called Fisher exact scanning (FES)---for testing and
identifying variable dependency that generalizes Fisher's exact test on
$2\times 2$ contingency tables to $R\times C$ contingency tables and continuous
sample spaces. FES proceeds through scanning over the sample space using
windows in the form of $2\times 2$ tables of various sizes, and on each window
completing a Fisher's exact test. Based on a factorization of Fisher's
multivariate hypergeometric (MHG) likelihood into the product of the univariate
hypergeometric likelihoods, we show that there exists a coarse-to-fine,
sequential generative representation for the MHG model in the form of a
Bayesian network, which in turn implies the mutual independence (up to
deviation due to discreteness) among the Fisher's exact tests completed under
FES. This allows an exact characterization of the joint null distribution of
the $p$-values and gives rise to an effective inference recipe through simple
multiple testing procedures such as \v{S}id\'{a}k and Bonferroni corrections,
eliminating the need for resampling. In addition, FES can characterize
dependency through reporting significant windows after multiple testing
control. The computational complexity of FES is approximately linear in the
sample size, which along with the avoidance of resampling makes it ideal for
analyzing massive data sets. We use extensive numerical studies to illustrate
the work of FES and compare it to several state-of-the-art methods for testing
dependency in both statistical and computational performance. Finally, we apply
FES to analyzing a microbiome data set and further investigate its relationship
with other popular dependency metrics in that context.