title: Why Nominal-Typing Matters in OOP

abstract:
  The statements `inheritance is not subtyping' and `mainstream OO languages
unnecessarily place restrictions over inheritance' have rippled as mantras
through the PL research community for years. Many mainstream OO developers and
OO language designers however do not accept these statements. In
\emph{nominally-typed} OO languages that these developers and language
designers are dearly familiar with, inheritance simply is subtyping; and they
believe OO type inheritance is an inherently nominal notion not a structural
one.
  Nominally-typed OO languages are among the most used programming languages
today. However, the value of nominal typing to mainstream OO developers, as a
means for designing robust OO software, seems to be in wait for full
appreciation among PL researchers--thereby perpetuating an unnecessary schism
between many OO developers and language designers and many OO PL researchers,
with each side discounting, if not even disregarding, the views of the other.
  In this essay we strengthen earlier efforts to demonstrate the semantic value
of nominal typing by presenting a technical comparison between nominal OO type
systems and structural OO type systems. Recently, a domain-theoretic model of
nominally-typed OOP was compared to well-known models of structurally-typed
OOP. Combined, these comparisons provide a clear and deep account for the
relation between nominal and structural OO type systems that has not been
presented before, and they help demonstrate the key value of nominal typing and
nominal subtyping to OO developers and language designers.
  We believe a clearer understanding of the key semantic advantage of pure
nominal OO typing over pure structural OO typing can help remedy the existing
schism. We believe future foundational OO PL research, to further its relevance
to mainstream OOP, should be based less on structural models of OOP and more on
nominal ones instead.


title:
The dimension of the Hilbert Space of Geometic quantization of vortices
  on a Riemann surface

abstract:
  In this article we calculate the dimension of the Hilbert space of Kahler
quantization of the moduli space of vortices on a Riemann surface. This
dimension is given by the holomorphic Euler characteristic of the quantum line
bundle.

categories: math.DG math-ph math.AG math.AT math.MP math.SG


title:
Examining the Magnetic Field Strength and the Horizontal and Vertical
  Motions in an Emerging Active Region

abstract:
  Earlier observational studies have used the time evolution of emerging
magnetic flux regions at the photosphere to infer their subsurface structures,
assuming that the flux structure does not change significantly over the
near-surface layer.In this study, we test the validity of this assumption by
comparing the horizontal and vertical motions of an emerging active region. The
two motions would be correlated if the emerging structure is rigid. The
selected active region (AR) NOAA 11645 is not embedded in detectable
preexisting magnetic field. The observed horizontal motion is quantified by the
separation of the two AR polarities and the extension of the region. The
vertical motion is derived from the magnetic buoyancy theory. Our results show
that the separation of the polarities is fastest at the beginning with a
velocity of $\approx$~4~Mm hr$^{-1}$ and decreases to $\le$~1~Mm hr$^{-1}$
after the main growing phase of flux emergence. The derived thick flux-tube
buoyant velocity is between 1 and 3~Mm hr$^{-1}$ while the thin flux-tube
approximation results in an unreasonably high buoyant velocity, consistent with
the expectation that the approximation is inappropriate at the surface layer.
The observed horizontal motion is not found to directly correlate with either
the magnetic field strength or the derived buoyant velocities. However, the
percentage of the horizontally oriented fields and the temporal derivatives of
the field strength and the buoyant velocity show some positive correlations
with the separation velocity. The results of this study imply that the
assumption that the emerging active region is the cross section of a rising
flux tube whose structure can be considered rigid as it rises through the
near-surface layer should be taken with caution.


title:
Gauge field in systems with spin orbit interactions and additional
  discrete degrees of freedom to real spin

abstract:
  The spin gauge field formalism has been used to explain the emergence of out
of plane spin accumulation in two-dimensional spin orbit interaction (SOI)
systems in the presence of an in-plane electric field. The adiabatic alignment
of the charge carrier spins to the momentum dependent SOI field, which changes
in time due to the electric field, can be mathematically captured by the
addition of a gauge term in the Hamiltonian. This gauge term acts like an
effective, electric field dependent magnetization. In this work we show that
this effective magnetization can be generalized to systems which include
additional discrete degrees of freedom to real spin, such as the pseudospin
and/or valley degrees of freedom in emerging materials like molybdenum sulphide
and silicene. We show that the generalized magnetization recovers key results
from the Sundaram-Niu formalism as well as from the Kubo formula. We then use
the generalized magnetization to study the exemplary system of a topological
insulator thin film system where the presence of both a top as well as a bottom
surface provides an additional discrete degree of freedom in addition to the
real spin.


title: Towards an integration of deep learning and neuroscience

abstract:
  Neuroscience has focused on the detailed implementation of computation,
studying neural codes, dynamics and circuits. In machine learning, however,
artificial neural networks tend to eschew precisely designed codes, dynamics or
circuits in favor of brute force optimization of a cost function, often using
simple and relatively uniform initial architectures. Two recent developments
have emerged within machine learning that create an opportunity to connect
these seemingly divergent perspectives. First, structured architectures are
used, including dedicated systems for attention, recursion and various forms of
short- and long-term memory storage. Second, cost functions and training
procedures have become more complex and are varied across layers and over time.
Here we think about the brain in terms of these ideas. We hypothesize that (1)
the brain optimizes cost functions, (2) these cost functions are diverse and
differ across brain locations and over development, and (3) optimization
operates within a pre-structured architecture matched to the computational
problems posed by behavior. Such a heterogeneously optimized system, enabled by
a series of interacting cost functions, serves to make learning data-efficient
and precisely targeted to the needs of the organism. We suggest directions by
which neuroscience could seek to refine and test these hypotheses.


title:
Fixed support positive-definite modification of covariance matrix
  estimators via linear shrinkage

abstract:
  In this work, we study the positive definiteness (PDness) problem in
covariance matrix estimation. For high dimensional data, many regularized
estimators are proposed under structural assumptions on the true covariance
matrix including sparsity. They are shown to be asymptotically consistent and
rate-optimal in estimating the true covariance matrix and its structure.
However, many of them do not take into account the PDness of the estimator and
produce a non-PD estimate. To achieve the PDness, researchers consider
additional regularizations (or constraints) on eigenvalues, which make both the
asymptotic analysis and computation much harder. In this paper, we propose a
simple modification of the regularized covariance matrix estimator to make it
PD while preserving the support. We revisit the idea of linear shrinkage and
propose to take a convex combination between the first-stage estimator (the
regularized covariance matrix without PDness) and a given form of diagonal
matrix. The proposed modification, which we denote as FSPD (Fixed Support and
Positive Definiteness) estimator, is shown to preserve the asymptotic
properties of the first-stage estimator, if the shrinkage parameters are
carefully selected. It has a closed form expression and its computation is
optimization-free, unlike existing PD sparse estimators. In addition, the FSPD
is generic in the sense that it can be applied to any non-PD matrix including
the precision matrix. The FSPD estimator is numerically compared with other
sparse PD estimators to understand its finite sample properties as well as its
computational gain. It is also applied to two multivariate procedures relying
on the covariance matrix estimator -- the linear minimax classification problem
and the Markowitz portfolio optimization problem -- and is shown to
substantially improve the performance of both procedures.


title: Finding a Hadamard Matrix by Simulated Annealing of Spin-Vectors

abstract:
  Reformulation of a combinatorial problem into optimization of a
statistical-mechanics system, enables finding a better solution using
heuristics derived from a physical process, such as by the SA (Simulated
Annealing). In this paper, we present a Hadamard matrix (H-matrix) searching
method based on the SA on an Ising model. By equivalence, an H-matrix can be
converted into an SH (Seminormalized Hadamard) matrix; whose first columns are
unity vector and the rest ones are vectors with equal number of -1 and +1
called SH-vectors. We define SH spin-vectors to represent the SH vectors, which
play a similar role to the spins on an Ising model. The topology of the lattice
is generalized into a graph, whose edges represent orthogonality relationship
among the SH spin-vectors. Started from a randomly generated quasi H-matrix Q,
which is a matrix similar to the SH-matrix without imposing orthogonality, we
perform the SA. The transitions of Q are conducted by random exchange of {+,-}
spin-pair within the SH-spin vectors which follow the Metropolis update rule.
Upon transition toward zero-energy, the Q-matrix is evolved following a Markov
chain toward an orthogonal matrix, at which point the H-matrix is said to be
found. We demonstrate the capability of the proposed method to find some low
order H-matrices, including the ones that cannot trivially be constructed by
the Sylvester method.


title: Multistage Campaigning in Social Networks

abstract:
  We consider the problem of how to optimize multi-stage campaigning over
social networks. The dynamic programming framework is employed to balance the
high present reward and large penalty on low future outcome in the presence of
extensive uncertainties. In particular, we establish theoretical foundations of
optimal campaigning over social networks where the user activities are modeled
as a multivariate Hawkes process, and we derive a time dependent linear
relation between the intensity of exogenous events and several commonly used
objective functions of campaigning. We further develop a convex dynamic
programming framework for determining the optimal intervention policy that
prescribes the required level of external drive at each stage for the desired
campaigning result. Experiments on both synthetic data and the real-world
MemeTracker dataset show that our algorithm can steer the user activities for
optimal campaigning much more accurately than baselines.


title:
Spectroscopic signatures of magnetospheric accretion in Herbig Ae/Be
  stars. I. The case of HD101412

abstract:
  Models of magnetically-driven accretion and outflows reproduce many
observational properties of T Tauri stars. This concept is not well established
for the more massive Herbig Ae/Be stars. We intend to examine the
magnetospheric accretion in Herbig Ae/Be stars and search for rotational
modulation using spectroscopic signatures, in this first paper concentrating on
the well-studied Herbig Ae star HD101412. We used near-infrared spectroscopic
observations of the magnetic Herbig Ae star HD101412 to test the magnetospheric
character of its accretion disk/star interaction. We reduced and analyzed 30
spectra of HD101412, acquired with the CRIRES and X-shooter spectrographs
installed at the VLT (ESO, Chile). The spectroscopic analysis was based on the
He I lambda 10,830 and Pa gamma lines, formed in the accretion region. We found
that the temporal behavior of these diagnostic lines in the near-infrared
spectra of HD101412 can be explained by rotational modulation of line profiles
generated by accreting gas with a period P = 20.53+-1.68 d. The discovery of
this period, about half of the magnetic rotation period P_m = 42.076 d
previously determined from measurements of the mean longitudinal magnetic
field, indicates that the accreted matter falls onto the star in regions close
to the magnetic poles intersecting the line-of-sight two times during the
rotation cycle. We intend to apply this method to a larger sample of Herbig
Ae/Be stars.


title:
Numerical verification method for positiveness of solutions to elliptic
  equations

abstract:
  In this paper, we propose a numerical method for verifying the positiveness
of solutions to semilinear elliptic equations. We provide a sufficient
condition for a solution to an elliptic equation to be positive in the domain
of the equation, which can be checked numerically without requiring a
complicated computation. We present some numerical examples.


title: A thermodynamic cycle for the solar cell

abstract:
  A solar cell is a heat engine, but textbook treatments are not wholly
satisfactory from a thermodynamic standpoint, since they present solar cells as
directly converting the energy of light into electricity, and the current in
the circuit as maintained by an electrostatic potential. We propose a
thermodynamic cycle in which the gas of electrons in the p phase serves as the
working substance. The interface between the p and n phases acts as a
self-oscillating piston that modulates the absorption of heat from the photons
so that it may perform a net positive work during a complete cycle of its
motion, in accordance with the laws of thermodynamics. We draw a simple
hydrodynamical analogy between this model and the "putt-putt"' engine of toy
boats, in which the interface between the water's liquid and gas phases serves
as the piston. We point out some testable consequences of this model.


title:
Consistency between SU(3) and SU(2) chiral perturbation theory for the
  nucleon mass

abstract:
  Treating the strange quark mass as a heavy scale compared to the light quark
mass, we perform a matching of the nucleon mass in the SU(3) sector to the
two-flavor case in covariant baryon chiral perturbation theory. The validity of
the $19$ low-energy constants appearing in the octet baryon masses up to
next-to-next-to-next-to-leading order~\cite{Ren:2014vea} is supported by
comparing the effective parameters (the combinations of the $19$ couplings)
with the corresponding low-energy constants in the SU(2)
sector~\cite{Alvarez-Ruso:2013fza}. In addition, it is shown that the
dependence of the effective parameters and the pion-nucleon sigma term on the
strange quark mass is relatively weak around its physical value, thus providing
support to the assumption made in Ref.~\cite{Alvarez-Ruso:2013fza}.


title: Learning to Generate Compositional Color Descriptions

abstract:
  The production of color language is essential for grounded language
generation. Color descriptions have many challenging properties: they can be
vague, compositionally complex, and denotationally rich. We present an
effective approach to generating color descriptions using recurrent neural
networks and a Fourier-transformed color representation. Our model outperforms
previous work on a conditional language modeling task over a large corpus of
naturalistic color descriptions. In addition, probing the model's output
reveals that it can accurately produce not only basic color terms but also
descriptors with non-convex denotations ("greenish"), bare modifiers ("bright",
"dull"), and compositional phrases ("faded teal") not seen in training.


title:
Microscopic theory of Dzyaloshinsky-Moriya interaction in pyrochlore
  oxides with spin-orbit coupling

abstract:
  Pyrochlore oxides show several fascinating phenomena, such as the formation
of heavy fermions and the thermal Hall effect. Although a key to understanding
some phenomena may be the Dzyaloshinsky-Moriya (DM) interaction, its
microscopic origin is unclear. To clarify the microscopic origin, we
constructed a $t_{2g}$-orbital model with the kinetic energy, the
trigonal-distortion potential, the multiorbital Hubbard interactions, and the
$LS$ coupling, and derived the low-energy effective Hamiltonian for a $d^{1}$
Mott insulator with the weak $LS$ coupling. We first show that lack of the
inversion center of each nearest-neighbor V-V bond causes the odd-mirror
interorbital hopping integrals. Those are qualitatively different from the
even-mirror hopping integrals, existing even with the inversion center. We next
show that the second-order perturbation using the kinetic terms leads to the
ferromagnetic and the antiferromagnetic super exchange interactions. Then, we
show the most important result: the third-order perturbation terms using the
combination of the even-mirror hopping integral, the odd-mirror hopping
integral, and the $LS$ coupling causes the DM interaction due to the
mirror-mixing effect, where those hopping integrals are necessary to obtain the
antisymmetric kinetic exchange and the $LS$ coupling is necessary to excite the
orbital angular momentum at one of two sites. We also show that the magnitude
and sign of the DM interaction can be controlled by changing the positions of
the O ions and the strength of the Hubbard interactions. We discuss the
advantages in comparison with the phenomenological theory and Moriya's
microscopic theory, applicability of our mechanism, and the similarities and
differences between our case and the strong-$LS$-coupling case.


title: BRST Quantization of Cosmological Perturbations

abstract:
  BRST quantization is an elegant and powerful method to quantize theories with
local symmetries. In this article we study the Hamiltonian BRST quantization of
cosmological perturbations in a universe dominated by a scalar field, along
with the closely related quantization method of Dirac. We describe how both
formalisms apply to the perturbations in a time-dependent background, and how
expectation values of gauge-invariant operators can be calculated in the in-in
formalism. Our analysis focuses mostly on the free theory. By appropriate
canonical transformations we simplify and diagonalize the free Hamiltonian.
BRST quantization in derivative gauges allows us to dramatically simplify the
structure of the propagators, whereas quantization in synchronous gauge, which
amounts to Dirac quantization, dispenses with the need to introduce ghosts and
preserves the locality of the gauge-fixed action.


title: Orbit equivalence of Cantor minimal systems and their continuous spectra

abstract:
  To any continuous eigenvalue of a Cantor minimal system $(X,\,T)$, we
associate an element of the dimension group $K^0(X,\,T)$ associated to
$(X,\,T)$. We introduce and study the concept of irrational miscibility of a
dimension group. The main property of these dimension groups is the absence of
irrational values in the additive group of continuous spectrum of their
realizations by Cantor minimal systems. The strong orbit equivalence
(respectively orbit equivalence) class of a Cantor minimal system associated to
an irrationally miscible dimension group $(G,\,u)$ (resp. with trivial
infinitesimal subgroup) with trivial rational subgroup, have no non-trivial
continuous eigenvalues.


title:
Exactly solvable tight-binding models on two scale-free networks with
  identical degree distribution

abstract:
  We study ideal Bose gas upon two scale-free structures with identical degree
distribution. Energy spectra belonging to tight-binding Hamiltonian are exactly
solved and the related spectral dimensions of $G_1$ and $ G_2$ are obtained as
$d_{s_1} = 2$ and $d_{s_2} = 2 \ln 4/ \ln 3$. We show Bose-Einstein
condensation will only take place upon $G_2$ instead of $G_1$. The topology and
thermodynamical property of the two structures are proven to be totally
different.


title: Two models for the homotopy theory of $\infty$-operads

abstract:
  We compare two models for $\infty$-operads: the complete Segal operads of
Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk.
Combining this with comparison results already in the literature, this implies
that all known models for $\infty$-operads are equivalent - for instance, it
follows that the homotopy theory of Lurie's $\infty$-operads is equivalent to
that of dendroidal sets and that of simplicial operads.


title:
Thermal blurring of event-by-event fluctuations provoked by rapidity
  conversion

abstract:
  We study the effect of thermal blurring caused by the use of (momentum-space)
rapidity as a proxy of coordinate-space rapidity in experimental measurements
of conserved charge fluctuations in relativistic heavy ion collisions. In
theoretical studies assuming statistical mechanics, calculated fluctuations are
those in a spatial volume. Experiments, on the other hand, can measure
fluctuations only in a momentum-space in the final state. In a standard
argument to compare experimental results for a momentum space with theoretical
studies for a coordinate space, rapidities of particles are implicitly regarded
as equivalent to their coordinate-space rapidity. We show that the relation of
two fluctuations is significantly altered by the existence of the thermal
motion, i.e. thermal blurring. We discuss that the thermal blurring can be
regarded as a part of the diffusion process, and the effect can be understood
by studying the rapidity window dependences of fluctuations. Centrality
dependence of the thermal blurring effect is also discussed.


title:
Infinite dimensional weak Dirichlet processes and convolution type
  processes

abstract:
  The present paper continues the study of infinite dimensional calculus via
regularization, started by C. Di Girolami and the second named author,
introducing the notion of weak Dirichlet process in this context. Such a
process X, taking values in a Banach space H, is the sum of a local martingale
and a suitable orthogonal process. The concept of weak Dirichlet process fits
the notion of convolution type processes, a class including mild solutions for
stochastic evolution equations on infinite dimensional Hilbert spaces and in
particular of several classes of stochastic partial differential equations
(SPDEs). In particular the mentioned decomposition appears to be a substitute
of an It{\^o}'s type formula applied to f (t, X(t)) where f : [0, T ] $\times$
H $\rightarrow$ R is a C 0,1 function and X a convolution type processes.


title: The symmetric group action on rank-selected posets of injective words

abstract:
  The symmetric group $\mathfrak{S}_n$ acts naturally on the poset of injective
words over the alphabet $\{1, 2,\dots,n\}$. The induced representation on the
homology of this poset has been computed by Reiner and Webb. We generalize
their result by computing the representation of $\mathfrak{S}_n$ on the
homology of all rank-selected subposets, in the sense of Stanley. A further
generalization to the poset of $r$-colored injective words is given.


title: Sky reconstruction for the Tianlai cylinder array

abstract:
  In this paper, we apply our sky map reconstruction method for transit type
interferometers to the Tianlai cylinder array. The method is based on the
spherical harmonic decomposition, and can be applied to cylindrical array as
well as dish arrays and we can compute the instrument response, synthesised
beam, transfer function and the noise power spectrum. We consider cylinder
arrays with feed spacing larger than half wavelength, and as expected, we find
that the arrays with regular spacing have grating lobes which produce spurious
images in the reconstructed maps. We show that this problem can be overcome,
using arrays with different feed spacing on each cylinder. We present the
reconstructed maps, and study the performance in terms of noise power spectrum,
transfer function and beams for both regular and irregular feed spacing
configurations.


title: Effectivity in the Hyperbolicity-related problems

abstract:
  The aim of this work is to deal with effective questions related to the
Kobayashi and Debarre conjectures, and based on the work of Damian Brotbek and
Lionel Darondeau. We first show that if a line bundle $L$ generates $k$-jets,
the $k$-th Wronskian ideal sheaf associated with global sections of $L$ reaches
its largest possible value. Then we obtain an effective estimate for a weaker
version of a theorem of Nakamaye on certain universal Grassmannians. We finally
derive from this explicit effective bounds for the Kobayashi and Debarre
conjectures.


title: Evidential Label Propagation Algorithm for Graphs

abstract:
  Community detection has attracted considerable attention crossing many areas
as it can be used for discovering the structure and features of complex
networks. With the increasing size of social networks in real world, community
detection approaches should be fast and accurate. The Label Propagation
Algorithm (LPA) is known to be one of the near-linear solutions and benefits of
easy implementation, thus it forms a good basis for efficient community
detection methods. In this paper, we extend the update rule and propagation
criterion of LPA in the framework of belief functions. A new community
detection approach, called Evidential Label Propagation (ELP), is proposed as
an enhanced version of conventional LPA. The node influence is first defined to
guide the propagation process. The plausibility is used to determine the domain
label of each node. The update order of nodes is discussed to improve the
robustness of the method. ELP algorithm will converge after the domain labels
of all the nodes become unchanged. The mass assignments are calculated finally
as memberships of nodes. The overlapping nodes and outliers can be detected
simultaneously through the proposed method. The experimental results
demonstrate the effectiveness of ELP.


title:
Search for resonances in diphoton events at $\sqrt{s}$=13 TeV with the
  ATLAS detector

abstract:
  Searches for new resonances decaying into two photons in the ATLAS experiment
at the CERN Large Hadron Collider are described. The analysis is based on
proton--proton collision data corresponding to an integrated luminosity of 3.2
fb$^{-1}$ at $\sqrt{s} = 13$ TeV recorded in 2015. Two searches are performed,
one targeted at a spin-2 particle of mass larger than 500 GeV, using
Randall--Sundrum graviton states as a benchmark model, and one optimized for a
spin-0 particle of mass larger than 200 GeV. Varying both the mass and the
decay width, the most significant deviation from the background-only hypothesis
is observed at a diphoton invariant mass around 750 GeV with local
significances of 3.8 and 3.9 standard deviations in the searches optimized for
a spin-2 and spin-0 particle, respectively. The global significances are
estimated to be 2.1 standard deviations for both analyses. The consistency
between the data collected at 13 TeV and 8 TeV is also evaluated. Limits on the
production cross section times branching ratio to two photons for the two
resonance types are reported.


title: Collider limits on new physics within micrOMEGAs4.3

abstract:
  Results from the LHC put severe constraints on models of new physics. This
includes constraints on the Higgs sector from the precise measurement of the
mass and couplings of the 125GeV Higgs boson, as well as limits from searches
for other new particles. We present the procedure to use these constraints in
micrOMEGAs by interfacing it to the external codes Lilith, HiggsSignals,
HiggsBounds and SModelS. A few dedicated modules are also provided. With these
new features, micrOMEGAs_4.3 provides a generic framework for evaluating dark
matter observables together with collider and non-collider constraints.


title:
Deformation and orientation statistics of neutrally buoyant
  sub-Kolmogorov ellipsoidal droplets in turbulent Taylor-Couette flow

abstract:
  The influence of the underlying flow topology on the shape and size of
sub-Kolmogorov droplets dispersed in a turbulent flow is of considerable
interest in many industrial and scientific applications. In this work we study
the deformation and orientation statistics of sub-Kolmogorov droplets dispersed
into a turbulent Taylor-Couette flow. Along with Direct Numerical Simulations
(DNS) of the carrier phase and Lagrangian tracking of the dispersed droplets,
we solve a phenomenological equation proposed by Maffettone and Minale
(\emph{J. Fluid Mech.} 78, 227-241 (1998)) to track the shape evolution and
orientation of approximately $10^5$ ellipsoidal droplets. By varying the
capillary number $Ca$ and viscosity ratio $\hat \mu$ of the droplets we find
that the droplets deform more with increasing capillary number $Ca$ and this
effect is more pronounced in the boundary layer regions. This indicates that
along with a capillary number effect there is also a strong correlation between
spatial position and degree of deformation of the droplet. Regardless of the
capillary number $Ca$, the major-axis of the ellipsoids tends to align with the
stream-wise direction and the extensional strain rate eigen direction in the
boundary layer region while the distribution is highly isotropic in the bulk.
When the viscosity ratio between the droplet and the carrier fluid is increased
we find that there is no preferential stretched axis which is due to the
increased influence of rotation over stretching and relaxation. Droplets in
high viscosity ratio systems are thus less deformed and oblate (disk-like) as
compared to highly deformed prolate (cigar-like) droplets in low viscosity
ratio systems.


title:
Locally Lipschitz BSDE driven by a continuous martingale:
  path-derivative approach

abstract:
  Using a new notion of path-derivative, we study well-posedness of backward
stochastic differential equation driven by a continuous martingale $M$ when
$f(s,\gamma,y,z)$ is locally Lipschitz in $(y,z)$:
\[Y_{t}=\xi(M_{[0,T]})+\int_{t}^{T}f(s,M_{[0,s]},Y_{s-},Z_{s}m_{s})d{\rm
tr}[M,M]_{s}-\int_{t}^{T}Z_{s}dM_{s}-N_{T}+N_{t}\] Here, $M_{[0,t]}$ is the
path of $M$ from $0$ to $t$ and $m$ is defined by
$[M,M]_{t}=\int_{0}^{t}m_{s}m_{s}^{*}d{\rm tr}[M,M]_{s}$. When the BSDE is
one-dimensional, we could show the existence and uniqueness of solution. On the
contrary, when the BSDE is multidimensional, we show existence and uniqueness
only when $[M,M]_{T}$ is small enough: otherwise, we provide a counterexample
that has blowing-up solution. Then, we investigate the applications to utility
maximization problems.


title:
Identities on the k-ary Lyndon words related to a family of zeta
  functions

abstract:
  The main aim of this paper is to investigate and introduce relations between
the numbers of k-ary Lyndon words and unified zeta-type functions which was
defined by Ozden et al [15, p. 2785]. Finally, we give some identities on
generating functions for the numbers of k-ary Lyndon words and some special
numbers and polynomials such as the Apostol-Bernoulli numbers and polynomials,
Frobenius-Euler numbers, Euler numbers and Bernoulli numbers.


title:
Laplacian LRR on Product Grassmann Manifolds for Human Activity
  Clustering in Multi-Camera Video Surveillance

abstract:
  In multi-camera video surveillance, it is challenging to represent videos
from different cameras properly and fuse them efficiently for specific
applications such as human activity recognition and clustering. In this paper,
a novel representation for multi-camera video data, namely the Product
Grassmann Manifold (PGM), is proposed to model video sequences as points on the
Grassmann manifold and integrate them as a whole in the product manifold form.
Additionally, with a new geometry metric on the product manifold, the
conventional Low Rank Representation (LRR) model is extended onto PGM and the
new LRR model can be used for clustering non-linear data, such as multi-camera
video data. To evaluate the proposed method, a number of clustering experiments
are conducted on several multi-camera video datasets of human activity,
including Dongzhimen Transport Hub Crowd action dataset, ACT 42 Human action
dataset and SKIG action dataset. The experiment results show that the proposed
method outperforms many state-of-the-art clustering methods.


title:
Do hydrodynamically assisted binary collisions lead to orientational
  ordering of microswimmers?

abstract:
  We have investigated the onset of collective motion in systems of model
microswimmers, by performing a comprehensive analysis of the binary collision
dynamics using three dimensional direct numerical simulations (DNS) with fully
resolved hydrodynamics. From this data, we have constructed a simplified binary
collision model (BCM) which accurately reproduces the collective behavior
obtained from the DNS for most cases. Thus, we show that global alignment can
mostly arise solely from binary collisions. Although the agreement between both
models (DNS and BCM) is not perfect, the parameter range in which notable
differences appear is also that for which strong density fluctuations are
present in the system (where pseudo-sound mound can be observed[1]).


title: On Some Inverse Eigenvalue Problems of Quadratic Palindromic Systems

abstract:
  This paper concerns some inverse eigenvalue problems of the quadratic
$\star$-(anti)-palindromic system $Q(\lambda)=\lambda^2 A_1^{\star}+\lambda A_0
+ \epsilon A_1$, where $\epsilon=\pm 1$, $A_1, A_0 \in \mathbb{C}^{n\times n}$,
$A_0^{\star}=\epsilon A_0$, $A_1$ is nonsingular, and the symbol $\star$ is
used as an abbreviation for transpose for real matrices and either transpose or
conjugate transpose for complex matrices. By using the spectral decomposition
of the quadratic $\star$-(anti)-palindromic system, the inverse eigenvalue
problems with entire/partial eigenpairs given, and the model updating problems
with no-spillover are considered. Some conditions on the solvabilities of these
problems are given, and algorithms are proposed to find these solutions. These
algorithms are illustrated by some numerical examples.


title:
Efficient Learning with a Family of Nonconvex Regularizers by
  Redistributing Nonconvexity

abstract:
  The use of convex regularizers allows for easy optimization, though they
often produce biased estimation and inferior prediction performance. Recently,
nonconvex regularizers have attracted a lot of attention and outperformed
convex ones. However, the resultant optimization problem is much harder. In
this paper, for a large class of nonconvex regularizers, we propose to move the
nonconvexity from the regularizer to the loss. The nonconvex regularizer is
then transformed to a familiar convex regularizer, while the resultant loss
function can still be guaranteed to be smooth. Learning with the convexified
regularizer can be performed by existing efficient algorithms originally
designed for convex regularizers (such as the proximal algorithm, Frank-Wolfe
algorithm, alternating direction method of multipliers and stochastic gradient
descent). Extensions are made when the convexified regularizer does not have
closed-form proximal step, and when the loss function is nonconvex, nonsmooth.
Extensive experiments on a variety of machine learning application scenarios
show that optimizing the transformed problem is much faster than running the
state-of-the-art on the original problem.


title: Adjoint affine fusion and tadpoles

abstract:
  We study affine fusion with the adjoint representation. For simple Lie
algebras, elementary and universal formulas determine the decomposition of a
tensor product of an integrable highest-weight representation with the adjoint
representation. Using the (refined) affine depth rule, we prove that equally
striking results apply to adjoint affine fusion. For diagonal fusion, a
coefficient equals the number of nonzero Dynkin labels of the relevant affine
highest weight, minus 1. A nice lattice-polytope interpretation follows, and
allows the straightforward calculation of the genus-1 1-point adjoint Verlinde
dimension, the adjoint affine fusion tadpole. Explicit formulas, (piecewise)
polynomial in the level, are written for the adjoint tadpoles of all classical
Lie algebras. We show that off-diagonal adjoint affine fusion is obtained from
the corresponding tensor product by simply dropping non-dominant
representations.


title: Pulsars as probes of gravity and fundamental physics

abstract:
  Radio-loud neutron stars known as pulsars allow a wide range of experimental
tests for fundamental physics, ranging from the study of super-dense matter to
tests of general relativity and its alternatives. As a result, pulsars provide
strong-field tests of gravity, they allow for the direct detection of
gravitational waves in a 'pulsar timing array', and they promise the future
study of black hole properties. This contribution gives an overview of the
on-going experiments and recent results.


title: Sensible Functional Linear Discriminant Analysis

abstract:
  The focus of this paper is to extend Fisher's linear discriminant analysis
(LDA) to both densely re-corded functional data and sparsely observed
longitudinal data for general $c$-category classification problems. We propose
an efficient approach to identify the optimal LDA projections in addition to
managing the noninvertibility issue of the covariance operator emerging from
this extension. A conditional expectation technique is employed to tackle the
challenge of projecting sparse data to the LDA directions. We study the
asymptotic properties of the proposed estimators and show that asymptotically
perfect classification can be achieved in certain circumstances. The
performance of this new approach is further demonstrated with numerical
examples.


title: The ternary Goldbach problem with a prime and two isolated primes

abstract:
  In the present paper we prove that under the assumption of the GRH
(Generalized Riemann Hypothesis) each sufficiently large odd integer can be
expressed as the sum of a prime and two isolated primes.


title:
User Experience of a Smart Factory Robot: Assembly Line Workers Demand
  Adaptive Robots

abstract:
  This paper reports a case study on the User Experience (UX)of an industrial
robotic prototype in the context of human-robot cooperation in an automotive
assembly line. The goal was to find out what kinds of suggestions the assembly
line workers, who actually use the new robotic system, propose in order to
improve the human-robot interaction (HRI). The operators working with the
robotic prototype were interviewed three weeks after the deployment using
established UX narrative interview guidelines. Our results show that the
cooperation with a robot that executes predefined working steps actually
impedes the user in terms of flexibility and individual speed. This results in
a change of working routine for the operators, impacts the UX, and potentially
leads to a decrease in productivity. We present the results of the interviews
as well as first thoughts on technical solutions in order to enhance the
adaptivity and subsequently the UX of the human-robot cooperation.


title:
Amplitude Analysis of the Decays $\eta^\prime \rightarrow
  \pi^+\pi^-\pi^0$ and $\eta^\prime \rightarrow \pi^0\pi^0\pi^0$

abstract:
  Based on a sample of $1.31 \times 10^9$ $J/\psi$ events collected with the
BESIII detector, an amplitude analysis of the isospin-violating decays
$\eta^\prime \rightarrow \pi^+\pi^-\pi^0$ and $\eta^\prime \rightarrow
\pi^0\pi^0\pi^0$ is performed. A significant $P$-wave contribution from
$\eta^\prime \rightarrow \rho^{\pm} \pi^{\mp}$ is observed for the first time
in $\eta^\prime \rightarrow \pi^+\pi^-\pi^0$. The branching fraction is
determined to be ${\mathcal B}(\eta^\prime \rightarrow
\rho^{\pm}\pi^{\mp})=(7.44\pm0.60\pm1.26\pm1.84)\times 10^{-4}$, where the
first uncertainty is statistical, the second systematic, and the third model
dependent. In addition to the nonresonant $S$-wave component, there is a
significant $\sigma$ meson component. The branching fractions of the combined
$S$-wave components are determined to be ${\mathcal B}(\eta^\prime \rightarrow
\pi^+\pi^-\pi^0)_S=(37.63\pm0.77\pm2.22\pm4.48)\times 10^{-4}$ and ${\mathcal
B}(\eta^\prime \rightarrow \pi^0\pi^0\pi^0)=(35.22\pm0.82\pm2.54)\times
10^{-4}$, respectively. The latter one is consistent with previous BESIII
measurements.


title: Non parametric estimation for random walks in random environment

abstract:
  We consider a random walk in i.i.d. random environment with distribution
$\nu$ on Z. The problem we are interested in is to provide an estimator of the
cumulative distribution function (c.d.f.) F of $\nu$ from the observation of
one trajectory of the random walk. For that purpose we first estimate the
moments of $\nu$, then combine these moment estimators to obtain a collection
of estimators (F M n) M $\ge$1 of F , our final estimator is chosen among this
collection by Lepskii's method. This estimator is therefore easily computable
in practice. We derive convergence rates for this estimator depending on the
H{\"o}lder regularity of F and on the divergence rate of the walk. Our rate is
optimal when the chain realizes a trade-off between a fast exploration of the
sites, allowing to get more informations and a larger number of visits of each
sites, allowing a better recovery of the environment itself.


title:
Structural, electronic and magnetic properties of Fe doped
  CoCr$_{2}$O$_{4}$: insights from ab initio calculations

abstract:
  CoCr$_2$O$_4$ has attracted significant attention recently due to several
interesting properties such as magnetostriction, magnetoelectricity etc.. More
recent experiments on Fe substituted CoCr$_2$O$_4$ observed a variety of novel
phenomena such as the magnetic compensation accompanied by the occurrence of
exchange bias, which reverses its sign. Understanding of such phenomena may
lead to control the properties of these material in an efficient way to enhance
its potential for multifunctional applications. In this paper, we study the
microscopic understanding of Fe doping in modifying the structural and magnetic
properties of CoCr$_{2}$O$_{4}$ with varying composition and substitution of Fe
at different sublattices by first-principles density functional calculations.
We have analysed in detail the effect of Fe substitution on crystal field and
exchange splittings, magnetic moments and interatomic exchange parameters. It
is also observed that with increasing concentration of Fe impurity, the system
has a tendency towards forming an "Inverse Spinel" structure as observed in
experiments. Such tendencies are crucial to understand this system as it would
lead to modifications in the magnetic exchange interactions associated with
sites with different symmetry finally affecting the magnetic structure and the
multiferrocity in turn.


title:
Absolute continuity of the law for solutions of stochastic differential
  equations with boundary noise

abstract:
  We study existence and regularity of the density for the solution $u(t,x)$
(with fixed $t > 0$ and $x \in D$) of the heat equation in a bounded domain $D
\subset \mathbb R^d$ driven by a stochastic inhomogeneous Neumann boundary
condition with stochastic term. The stochastic perturbation is given by a
fractional Brownian motion process. Under suitable regularity assumptions on
the coefficients, by means of tools from the Malliavin calculus, we prove that
the law of the solution has a smooth density with respect to the Lebesgue
measure in $\mathbb R$.


title:
Wireless Information Surveillance via Proactive Eavesdropping with
  Spoofing Relay

abstract:
  Wireless information surveillance, by which suspicious wireless
communications are closely monitored by legitimate agencies, is an integral
part of national security. To enhance the information surveillance capability,
we propose in this paper a new proactive eavesdropping approach via a spoofing
relay, where the legitimate monitor operates in a full-duplex manner with
simultaneous eavesdropping and spoofing relaying to vary the source
transmission rate in favor of the eavesdropping performance. To this end, a
power splitting receiver is proposed, where the signal received at each antenna
of the legitimate monitor is split into two parts for information eavesdropping
and spoofing relaying, respectively. We formulate an optimization problem to
maximize the achievable eavesdropping rate by jointly optimizing the power
splitting ratios and relay beamforming matrix at the multi-antenna monitor.
Depending on the suspicious and eavesdropping channel conditions, the optimal
solution corresponds to three possible spoofing relay strategies, namely
\emph{constructive relaying}, \emph{jamming}, and \emph{simultaneous jamming
and destructive relaying}. Numerical results show that the proposed technique
significantly improves the eavesdropping rate of the legitimate monitor as
compared to the existing passive eavesdropping and jamming-based eavesdropping
schemes.


title: Simultaneous Reconstruction and Segmentation for Dynamic SPECT Imaging

abstract:
  This work deals with the reconstruction of dynamic images that incorporate
characteristic dynamics in certain subregions, as arising for the kinetics of
many tracers in emission tomography (SPECT, PET). We make use of a basis
function approach for the unknown tracer concentration by assuming that the
region of interest can be divided into subregions with spatially constant
concentration curves. Applying a regularized variational framework reminiscent
of the Chan-Vese model for image segmentation we simultaneously reconstruct
both the labelling functions of the subregions as well as the subconcentrations
within each region. Our particular focus is on applications in SPECT with
Poisson noise model, resulting in a Kullback-Leibler data fidelity in the
variational approach.
  We present a detailed analysis of the proposed variational model and prove
existence of minimizers as well as error estimates. The latter apply to a more
general class of problems and generalize existing results in literature since
we deal with a nonlinear forward operator and a nonquadratic data fidelity. A
computational algorithm based on alternating minimization and splitting
techniques is developed for the solution of the problem and tested on
appropriately designed synthetic data sets. For those we compare the results to
those of standard EM reconstructions and investigate the effects of Poisson
noise in the data.


title: New cubic fourfolds with odd degree unirational parametrizations

abstract:
  We prove that the moduli space of cubic fourfolds $\mathcal{C}$ contains a
divisor $\mathcal{C}_{42}$ whose general member has a unirational
parametrization of degree 13. This result follows from a thorough study of the
Hilbert scheme of rational scrolls and an explicit construction of examples. We
also show that $\mathcal{C}_{42}$ is uniruled.


title: The Order Barrier for Strong Approximation of Rough Volatility Models

abstract:
  We study the strong approximation of a rough volatility model, in which the
log-volatility is given by a fractional Ornstein-Uhlenbeck process with Hurst
parameter $H<1/2$. Our methods are based on an equidistant discretization of
the volatility process and of the driving Brownian motions, respectively. For
the root mean-square error at a single point the optimal rate of convergence
that can be achieved by such methods is $n^{-H}$, where $n$ denotes the number
of subintervals of the discretization. This rate is in particular obtained by
the Euler method and an Euler-trapezoidal type scheme.


title:
Mathematical Modeling of Dynamics for Partially Filled Shells of
  Revolution

abstract:
  In this work we study the dynamic behaviour of compound shells of revolution
partially filled with an ideal incompressible fluid based on boundary-value
problems. New analytical mathematical model with corresponding discrete scheme
for the elastic displacements and the dynamic liquid pressure is developed. The
discrete scheme is based on the method of discrete singularities. A code to
perform the numerical analysis is developed. Comprehensive benchmarking of the
obtained results against other methods is done and good agreement is observed.
The convergence of the proposed numerical method is demonstrated. One of the
advantages of this new model is that the initial 3D problem is analytically
reduced to a 1D integral equation. Moreover, it can handle the behaviour of the
pressure in the vicinity of the nodes explicitly and the computational
technique used has a quick convergence requiring a negligible amount of CPU
time.


title:
Impact of built-in fields and contact configuration on the
  characteristics of ultra-thin GaAs solar cells

abstract:
  We discuss the effects of built-in fields and contact configuration on the
photovoltaic characteristics of ultrathin GaAs solar cells. The investigation
is based on advanced quantum-kinetic simulations reaching beyond the standard
semi-classical bulk picture concerning the consideration of charge carrier
states and dynamics in complex potential profiles. The thickness dependence of
dark and photocurrent in the ultra-scaled regime is related to the
corresponding variation of both, the built-in electric fields and associated
modification of the density of states, and the optical intensity in the films.
Losses in open-circuit voltage and short-circuit current due to leakage of
electronically and optically injected carriers at minority carrier contacts are
investigated for different contact configurations including electron and hole
blocking barrier layers. The microscopic picture of leakage currents is
connected to the effect of finite surface recombination velocities in the
semi-classical description, and the impact of these non-classical contact
regions on carrier generation and extraction is analyzed.


title:
Evaluating Co-Authorship Networks in Author Name Disambiguation for
  Common Names

abstract:
  With the increasing size of digital libraries it has become a challenge to
identify author names correctly. The situation becomes more critical when
different persons share the same name (homonym problem) or when the names of
authors are presented in several different ways (synonym problem). This paper
focuses on homonym names in the computer science bibliography DBLP. The goal of
this study is to evaluate a method which uses co-authorship networks and
analyze the effect of common names on it. For this purpose we clustered the
publications of authors with the same name and measured the effectiveness of
the method against a gold standard of manually assigned DBLP records. The
results show that despite the good performance of implemented method for most
names, we should optimize for common names. Hence community detection was
employed to optimize the method. Results prove that the applied method improves
the performance for these names.


title: Sorting out typicality with the inverse moment matrix SOS polynomial

abstract:
  We study a surprising phenomenon related to the representation of a cloud of
data points using polynomials. We start with the previously unnoticed empirical
observation that, given a collection (a cloud) of data points, the sublevel
sets of a certain distinguished polynomial capture the shape of the cloud very
accurately. This distinguished polynomial is a sum-of-squares (SOS) derived in
a simple manner from the inverse of the empirical moment matrix. In fact, this
SOS polynomial is directly related to orthogonal polynomials and the
Christoffel function. This allows to generalize and interpret extremality
properties of orthogonal polynomials and to provide a mathematical rationale
for the observed phenomenon. Among diverse potential applications, we
illustrate the relevance of our results on a network intrusion detection task
for which we obtain performances similar to existing dedicated methods reported
in the literature.


title:
Characterization of oxygen defects in diamond by means of density
  functional theory calculations

abstract:
  Point defects in diamond are of high interest as candidates for realizing
solid state quantum bits, bioimaging agents, or ultrasensitive electric or
magnetic field sensors. Various artificial diamond synthesis methods should
introduce oxygen contamination in diamond, however, the incorporation of oxygen
into diamond crystal and the nature of oxygen-related point defects are largely
unknown. Oxygen may be potentially interesting as a source of quantum bits or
it may interact with other point defects which are well established solid state
qubits. Here we employ plane-wave supercell calculations within density
functional theory, in order to characterize the electronic and magneto-optical
properties of various oxygen-related defects. Beside the trivial single
interstitial and substitutional oxygen defects we also consider their complexes
with vacancies and hydrogen atoms. We find that oxygen defects are mostly
electrically active and introduce highly correlated orbitals that pose a
challenge for density functional theory modeling. Nevertheless, we are able to
identify the fingerprints of substitutional oxygen defect, the oxygen-vacancy
and oxygen-vacancy-hydrogen complexes in the electron paramagnetic resonance
spectrum. We demonstrate that first principles calculations can predict the
motional averaging of the electron paramagnetic resonance spectrum of defects
that are subject to Jahn-Teller distortion. We show that the high-spin neutral
oxygen-vacancy defect exhibits very fast non-radiative decay from its optical
excited state that might hinder to apply it as a qubit.


title: Robust Probabilistic Modeling with Bayesian Data Reweighting

abstract:
  Probabilistic models analyze data by relying on a set of assumptions. Data
that exhibit deviations from these assumptions can undermine inference and
prediction quality. Robust models offer protection against mismatch between a
model's assumptions and reality. We propose a way to systematically detect and
mitigate mismatch of a large class of probabilistic models. The idea is to
raise the likelihood of each observation to a weight and then to infer both the
latent variables and the weights from data. Inferring the weights allows a
model to identify observations that match its assumptions and down-weight
others. This enables robust inference and improves predictive accuracy. We
study four different forms of mismatch with reality, ranging from missing
latent groups to structure misspecification. A Poisson factorization analysis
of the Movielens 1M dataset shows the benefits of this approach in a practical
scenario.


title: Higher Gauge Theories from Lie n-algebras and Off-Shell Covariantization

abstract:
  We analyze higher gauge theories in various dimensions using a supergeometric
method based on a differential graded symplectic manifold, called a
QP-manifold, which is closely related to the BRST-BV formalism in gauge
theories. Extensions of the Lie 2-algebra gauge structure are formulated within
the Lie n-algebra induced by the QP-structure. We find that in 5 and 6
dimensions there are special extensions of the gauge algebra. In these cases, a
restriction of the gauge symmetry by imposing constraints on the auxiliary
gauge fields leads to a covariantized theory. As an example we show that we can
obtain an off-shell covariantized higher gauge theory in 5 dimensions, which is
similar to the one proposed in [1] (arxiv:1206.5643).


title: Representing finitely generated refinement monoids as graph monoids

abstract:
  Graph monoids arise naturally in the study of non-stable K-theory of graph
C*-algebras and Leavitt path algebras. They play also an important role in the
current approaches to the realization problem for von Neumann regular rings. In
this paper, we characterize when a finitely generated conical refinement monoid
can be represented as a graph monoid. The characterization is expressed in
terms of the behavior of the structural maps of the associated $I$-system at
the free primes of the monoid.


title:
Some geometric properties of metric ultraproducts of finite simple
  groups

abstract:
  In this article we prove some previously announced results about metric
ultraproducts of finite simple groups. We show that any non-discrete metric
ultraproduct of alternating or special linear groups is a geodesic metric
space. For more general non-discrete metric ultraproducts of finite simple
groups, we are able to establish path-connectedness. As expected, these global
properties reflect asymptotic properties of various families of finite simple
groups.


title: Neural Associative Memory for Dual-Sequence Modeling

abstract:
  Many important NLP problems can be posed as dual-sequence or
sequence-to-sequence modeling tasks. Recent advances in building end-to-end
neural architectures have been highly successful in solving such tasks. In this
work we propose a new architecture for dual-sequence modeling that is based on
associative memory. We derive AM-RNNs, a recurrent associative memory (AM)
which augments generic recurrent neural networks (RNN). This architecture is
extended to the Dual AM-RNN which operates on two AMs at once. Our models
achieve very competitive results on textual entailment. A qualitative analysis
demonstrates that long range dependencies between source and target-sequence
can be bridged effectively using Dual AM-RNNs. However, an initial experiment
on auto-encoding reveals that these benefits are not exploited by the system
when learning to solve sequence-to-sequence tasks which indicates that
additional supervision or regularization is needed.


title: Prediction performance after learning in Gaussian process regression

abstract:
  This paper considers the quantification of the prediction performance in
Gaussian process regression. The standard approach is to base the prediction
error bars on the theoretical predictive variance, which is a lower bound on
the mean square-error (MSE). This approach, however, does not take into account
that the statistical model is learned from the data. We show that this omission
leads to a systematic underestimation of the prediction errors. Starting from a
generalization of the Cram\'er-Rao bound, we derive a more accurate MSE bound
which provides a measure of uncertainty for prediction of Gaussian processes.
The improved bound is easily computed and we illustrate it using synthetic and
real data examples. of uncertainty for prediction of Gaussian processes and
illustrate it using synthetic and real data examples.


title: Local finiteness for Green relations in (I-)semigroup varieties

abstract:
  In this work, the lattice of varieties of semigroups and the lattice of
varieties of I-semigroups (a common setting for both the variety of completely
regular semigroups and the variety of inverse semigroups) are studied with
respect to the following concepts: a variety V of (I-)semigroups is said to be
locally K-finite, where K stands for any of the five Green's relations, if
every finitely generated semigroup from V has only finitely many (distinct)
K-classes.


title:
Performance comparison of multi-detector detection statistics in
  targeted compact binary coalescence GW search

abstract:
  Global network of advanced Interferometric gravitational wave (GW) detectors
are expected to be on-line soon. Coherent observation of GW from a distant
compact binary coalescence (CBC) with a network of interferometers located in
different continents give crucial information about the source such as source
location and polarization information. In this paper we compare different
multi-detector network detection statistics for CBC search. In maximum
likelihood ratio (MLR) based detection approaches, the likelihood ratio is
optimized to obtain the best model parameters and the best likelihood ratio
value is used as statistic to make decision on the presence of signal. However,
an alternative Bayesian approach involves marginalization of the likelihood
ratio over the parameters to obtain the average likelihood ratio. We obtain an
analytical expression for the Bayesian statistic using the two effective
synthetic data streams for targeted search of non-spinning compact binary
systems with an uninformative prior on the parameters. Simulations are carried
out for testing the validity of the approximation and comparing the detection
performance with the maximum likelihood ratio based statistics. We observe that
the MLR {\it hybrid} statistic gives comparable or better performance with
respect to the Bayesian statistic.


title: Partially superintegrable systems on Poisson manifolds

abstract:
  Superintegrable systems on a symplectic manifold conventionally are
considered. However, their definition implies a rather restrictive condition
2n=k+m where 2n is a dimension of a symplectic manifold, k is a dimension of a
pointwise Lie algebra of a superintegrable system, and m is its corank. To
solve this problem, we aim to consider partially superintegrable systems on
Poisson manifolds where k+m is the rank of a compatible Poisson structure. The
according extensions of the Mishchenko-Fomenko theorem on generalized
action-angle coordinates is formulated.


title: Pre-Hilbert spaces without orthonormal bases

abstract:
  We give an algebraic characterization of pre-Hilbert spaces with an
orthonormal basis. This characterization is used to show that there are
pre-Hilbert spaces $X$ of dimension and density $\lambda$ for any uncountable
$\lambda$ without any orthonormal basis.
  Let us call a pre-Hilbert space without any orthonormal bases pathological.
The pair of the cardinals $\kappa\leq\lambda$ such that there is a pre-Hilbert
space of dimension $\kappa$ and density $\lambda$ are known to be characterized
by the inequality $\lambda\leq\kappa^{\aleph_0}$. Our result implies that there
are pathological pre-Hilbert spaces with dimension $\kappa$ and density
$\lambda$ for all combinations of such $\kappa$ and $\lambda$ including the
case $\kappa=\lambda$.
  A Singular Compactness Theorem on pathology of pre-Hilbert spaces is
obtained. A reflection theorem asserting that for any pathological pre-Hilbert
space $X$ there are stationarily many pathological sub-inner-product-spaces $Y$
of $X$ of smaller density is shown to be equivalent with Fodor-type Reflection
Principle (FRP).


title: On the threshold of ion track formation in CaF2

abstract:
  There is ongoing debate regarding the mechanism of swift heavy ion track
formation in CaF2. The objective of this study is to shed light on this
important topic using a range of complimentary experimental techniques.
Evidence of the threshold for ion track formation being below 3 keV/nm is
provided by both transmission electron microscopy and Rutherford backscattering
spectroscopy in the channeling mode which has direct consequences for the
validity of models describing the response of CaF2 to swift heavy ion
irradiation. Advances in the TEM and RBS/c analyses presented here pave the way
for better understanding of the ion track formation.


title:
Photo Stylistic Brush: Robust Style Transfer via Superpixel-Based
  Bipartite Graph

abstract:
  With the rapid development of social network and multimedia technology,
customized image and video stylization has been widely used for various
social-media applications. In this paper, we explore the problem of
exemplar-based photo style transfer, which provides a flexible and convenient
way to invoke fantastic visual impression. Rather than investigating some fixed
artistic patterns to represent certain styles as was done in some previous
works, our work emphasizes styles related to a series of visual effects in the
photograph, e.g. color, tone, and contrast. We propose a photo stylistic brush,
an automatic robust style transfer approach based on Superpixel-based BIpartite
Graph (SuperBIG). A two-step bipartite graph algorithm with different
granularity levels is employed to aggregate pixels into superpixels and find
their correspondences. In the first step, with the extracted hierarchical
features, a bipartite graph is constructed to describe the content similarity
for pixel partition to produce superpixels. In the second step, superpixels in
the input/reference image are rematched to form a new superpixel-based
bipartite graph, and superpixel-level correspondences are generated by a
bipartite matching. Finally, the refined correspondence guides SuperBIG to
perform the transformation in a decorrelated color space. Extensive
experimental results demonstrate the effectiveness and robustness of the
proposed method for transferring various styles of exemplar images, even for
some challenging cases, such as night images.


title: The $(k,\ell)$-proper index of graphs

abstract:
  A tree $T$ in an edge-colored graph is called a {\it proper tree} if no two
adjacent edges of $T$ receive the same color. Let $G$ be a connected graph of
order $n$ and $k$ be an integer with $2\leq k \leq n$. For $S\subseteq V(G)$
and $|S| \ge 2$, an $S$-tree is a tree containing the vertices of $S$ in $G$.
Suppose $\{T_1,T_2,\ldots,T_\ell\}$ is a set of $S$-trees, they are called
\emph{internally disjoint} if $E(T_i)\cap E(T_j)=\emptyset$ and $V(T_i)\cap
V(T_j)=S$ for $1\leq i\neq j\leq \ell$. For a set $S$ of $k$ vertices of $G$,
the maximum number of internally disjoint $S$-trees in $G$ is denoted by
$\kappa(S)$. The $\kappa$-connectivity $\kappa_k(G)$ of $G$ is defined by
$\kappa_k(G)=\min\{\kappa(S)\mid S$ is a $k$-subset of $V(G)\}$. For a
connected graph $G$ of order $n$ and for two integers $k$ and $\ell$ with $2\le
k\le n$ and $1\leq \ell \leq \kappa_k(G)$, the \emph{$(k,\ell)$-proper index
$px_{k,\ell}(G)$} of $G$ is the minimum number of colors that are needed in an
edge-coloring of $G$ such that for every $k$-subset $S$ of $V(G)$, there exist
$\ell$ internally disjoint proper $S$-trees connecting them. In this paper, we
show that for every pair of positive integers $k$ and $\ell$ with $k \ge 3$,
there exists a positive integer $N_1=N_1(k,\ell)$ such that $px_{k,\ell}(K_n) =
2$ for every integer $n \ge N_1$, and also there exists a positive integer
$N_2=N_2(k,\ell)$ such that $px_{k,\ell}(K_{m,n}) = 2$ for every integer $n \ge
N_2$ and $m=O(n^r) (r \ge 1)$. In addition, we show that for every $p \ge
c\sqrt[k]{\frac{\log_a n}{n}}$ ($c \ge 5$), $px_{k,\ell}(G_{n,p})\le 2$ holds
almost surely, where $G_{n,p}$ is the Erd\"{o}s-R\'{e}nyi random graph model.


title: Dimensional lifting through generalized Gram-Schmidt process

abstract:
  A new way of orthogonalizing ensembles of vectors by "lifting" them to higher
dimensions is introduced. This method can potentially be utilized for solving
quantum decision and computing problems.


title:
Statistics of the epoch of reionization (EoR) 21-cm signal -- II. The
  evolution of the power spectrum error-covariance

abstract:
  The EoR 21-cm signal is expected to become highly non-Gaussian as
reionization progresses. This severely affects the error-covariance of the EoR
21-cm power spectrum which is important for predicting the prospects of a
detection with ongoing and future experiments. Most earlier works have assumed
that the EoR 21-cm signal is a Gaussian random field where (1) the error
variance depends only on the power spectrum and the number of Fourier modes in
the particular $k$ bin, and (2) the errors in the different $k$ bins are
uncorrelated. Here we use an ensemble of simulated 21-cm maps to analyze the
error-covariance at various stages of reionization. We find that even at the
very early stages of reionization ($\bar{x}_{\rm HI} \sim 0.9 $) the error
variance significantly exceeds the Gaussian predictions at small length-scales
($k > 0.5 \,{\rm Mpc}^{-1}$) while they are consistent at larger scales. The
errors in most $k$ bins (both large and small scales), are however found to be
correlated. Considering the later stages ($\bar{x}_{\rm HI} = 0.15$), the error
variance shows an excess in all $k$ bins within $k \ge 0.1 \, {\rm Mpc}^{-1}$,
and it is around $200$ times larger than the Gaussian prediction at $k \sim 1
\, {\rm Mpc}^{-1}$. The errors in the different $k$ bins are all also highly
correlated, barring the two smallest $k$ bins which are anti-correlated with
the other bins. Our results imply that the predictions for different 21-cm
experiments based on the Gaussian assumption underestimate the errors, and it
is necessary to incorporate the non-Gaussianity for more realistic predictions.


title:
A multilayer reactive system for robots interacting with children with
  autism

abstract:
  There is a lack of autonomy on traditional Robot-Assisted Therapy systems
interacting with children with autism. To overcome this limitation a supervised
autonomous robot controller is being built. In this paper we present a
multilayer reactive system within such controller. The goal of this Reactive
system is to allow the robot to appropriately react to the child's behavior
creating the illusion of being alive.


title:
Searching for narrow absorption and emission lines in XMM-Newton spectra
  of gamma-ray bursts

abstract:
  We present the results of a spectroscopic search for narrow emission and
absorption features in the X-ray spectra of long gamma-ray burst (GRB)
afterglows. Using XMM-Newton data, both EPIC and RGS spectra, of six bright
(fluence >10^{-7} erg cm^{-2}) and relatively nearby (z=0.54-1.41) GRBs, we
performed a blind search for emission or absorption lines that could be related
to a high cloud density or metal-rich gas in the environ close to the GRBs. We
detected five emission features in four of the six GRBs with an overall
statistical significance, assessed through Monte Carlo simulations, of <3.0
sigma. Most of the lines are detected around the observed energy of the oxygen
edge at ~0.5 keV, suggesting that they are not related to the GRB environment
but are most likely of Galactic origin. No significant absorption features were
detected. A spectral fitting with a free Galactic column density (N_H) testing
different models for the Galactic absorption confirms this origin because we
found an indication of an excess of Galactic N_H in these four GRBs with
respect to the tabulated values.


title: Basic hypergeometric summations from rook theory

abstract:
  We employ a one-variable extension of q-rook theory to give combinatorial
proofs of some basic hypergeometric summations, including the
q-Pfaff-Saalsch\"utz summation and a 4phi3 summation by Jain.


title: Device-independent dimension tests in the prepare-and-measure scenario

abstract:
  Analyzing the dimension of an unknown quantum system in a device-independent
manner, i.e., using only the measurement statistics, is a fundamental task in
quantum physics and quantum information theory. In this paper, we consider this
problem in the prepare-and-measure scenario. Specifically, we provide a lower
bound on the dimension of the prepared quantum systems which is a function that
only depends on the measurement statistics. Furthermore, we show that our bound
performs well on several examples. {In particular}, we show that our bound
provides new insights into the notion of dimension witness, and we also use it
to show that the sets of restricted-dimensional prepare-and-measure
correlations are not always convex.


title: Form the density-of-states method to finite density quantum field theory

abstract:
  During the last 40 years, Monte Carlo calculations based upon Importance
Sampling have matured into the most widely employed method for determinig first
principle results in QCD. Nevertheless, Importance Sampling leads to
spectacular failures in situations in which certain rare configurations play a
non-secondary role as it is the case for Yang-Mills theories near a first order
phase transition or quantum field theories at finite matter density when
studied with the re-weighting method. The density-of-states method in its LLR
formulation has the potential to solve such overlap or sign problems by means
of an exponential error suppression. We here introduce the LLR approach and its
generalisation to complex action systems. Applications include U(1), SU(2) and
SU(3) gauge theories as well as the Z3 spin model at finite densities and
heavy-dense QCD.


title: Noncommutative Kummer theory

abstract:
  We discuss lifting properties of continuous homomorphisms from absolute
Galois groups into (pro)finite groups. An analogy with the Langlands program is
pointed out in the beginning of the note.


title: Length of the continued logarithm algorithm on rational inputs

abstract:
  The continued logarithm algorithm was introduced by Gosper around 1978, and
recently studied by Borwein, Calkin, Lindstrom, and Mattingly. In this note I
show that the continued logarithm algorithm terminates in at most 2 log_2 p +
O(1) steps on input a rational number p/q >= 1. Furthermore, this bound is
tight, up to an additive constant.


title:
The Fermionic Signature Operator and Quantum States in Rindler
  Space-Time

abstract:
  The fermionic signature operator is constructed in Rindler space-time. It is
shown to be an unbounded self-adjoint operator on the Hilbert space of
solutions of the massive Dirac equation. In two-dimensional Rindler space-time,
we prove that the resulting fermionic projector state coincides with the
Fulling-Rindler vacuum. Moreover, the fermionic signature operator gives a
covariant construction of general thermal states, in particular of the Unruh
state. The fermionic signature operator is shown to be well-defined in
asymptotically Rindler space-times. In four-dimensional Rindler space-time, our
construction gives rise to new quantum states.


title: Maths in Medicine: How to Survive a Science Fair

abstract:
  When talking to secondary school students, first impressions are crucial.
Accidentally say something that sounds boring and you'll lose them in seconds.
A physical demonstration can be an eye-catching way to begin an activity or
spark off a conversation about mathematics. This is especially true in the
context of an event like a science fair where there are hundreds of other
exhibitors and stands, possibly involving loud music and/or dancing robots!
  In this article we describe three devices that were built to illustrate
specific physical phenomena that occur in the human body. Each device
corresponds to a simple mathematical model which contains both elements that
are accessible to pupils in the early years of secondary education and more
challenging mathematical concepts that might appeal to A-level students. Two of
the devices relate to the Windkessel effect, a physical phenomenon that
regulates blood flow, and the third demonstrates the elastic properties of
ligaments and tendons.


title:
A Mathematical Model of Cell Reprogramming due to Intermediate
  Differential Regulator's Regulations

abstract:
  In this paper I have given a mathematical model of Cell reprogramming from a
different contexts. Here I considered there is a delay in differential
regulator rate equations due to intermediate regulator's regulations. At first
I gave some basic mathematical models by Ferell Jr.[2] of reprogramming and
after that I gave mathematical model of cell reprogramming by Mithun Mitra[4].
In the last section I contributed a mathematical model of cell reprogramming
from intermediate steps regulations and tried to find the critical point of
pluripotent cell.


title:
Non-equilibrium physics of Rydberg lattices in the presence of noise and
  dissipative processes

abstract:
  We study the non-equilibrium dynamics of driven spin lattices in the presence
of decoherence caused by either laser phase noise or strong decay. In the first
case, we discriminate between correlated and uncorrelated noise and explore
their effect on the mean density of Rydberg states and the full counting
statistics (FCS). We find that while the mean density is almost identical in
both cases, the FCS differ considerably. The main method employed is the
Langevin equation (LE) but for the sake of efficiency in certain regimes, we
use a Markovian master equation and Monte Carlo rate equations, respectively.
In the second case, we consider dissipative systems with more general power-law
interactions. We determine the phase diagram in the steady state and analyse
its generation dynamics using Monte Carlo rate equations. In contrast to
nearest-neighbour models, there is no transition to long-range-ordered phases
for realistic interactions and resonant driving. Yet, for finite laser
detunings, we show that Rydberg lattices can undergo a dissipative phase
transition to a long-range-ordered antiferromagnetic (AF) phase. We identify
the advantages of Monte Carlo rate equations over mean field (MF) predictions.


title: Higher Order Corrections to Asymptotic-de Sitter Inflation

abstract:
  Since trans-Planckian considerations can be associated with the re-definition
of the initial vacuum, we investigate further the influence of trans-Planckian
physics on the spectra produced by the initial quasi-de Sitter (dS) state
during inflation. We use the asymptotic-dS mode to study the trans-Planckian
correction of the power spectrum to the quasi-dS inflation. The obtained
spectra consist of higher order corrections associated with the type of
geometry and harmonic terms sensitive to the fluctuations of space-time (or
gravitational waves) during inflation. As an important result, the amplitude of
the power spectrum is dependent on the choice of $c$, i.e. the type of
space-time in the period of inflation. Also, the results are always valid for
any asymptotic dS space-time and particularly coincide with the conventional
results for dS and flat space-time.


title:
Fine-pitch CdTe detector for hard X-ray imaging and spectroscopy of the
  Sun with the FOXSI rocket experiment

abstract:
  We have developed a fine-pitch hard X-ray (HXR) detector using a cadmium
telluride (CdTe) semiconductor for imaging and spectroscopy for the second
launch of the Focusing Optics Solar X-ray Imager (FOXSI). FOXSI is a rocket
experiment to perform high sensitivity HXR observations from 4-15 keV using the
new technique of HXR focusing optics. The focal plane detector requires < 100
um position resolution (to take advantage of the angular resolution of the
optics) and about 1 keV energy resolution (FWHM) for spectroscopy down to 4
keV, with moderate cooling (> -30 C). Double-sided silicon strip detectors were
used for the first FOXSI flight in 2012 to meet these criteria. To improve the
detectors' efficiency (66 at 15 keV for the silicon detectors) and position
resolution of 75 um for the second launch, we fabricated double-sided CdTe
strip detectors with a position resolution of 60 um and almost 100 % efficiency
for the FOXSI energy range. The sensitive area is 7.67 mm x 7.67 mm,
corresponding to the field of view of 791'' x 791''. An energy resolution of
about 1 keV (FWHM) and low energy threshold of 4 keV were achieved in
laboratory calibrations. The second launch of FOXSI was performed on December
11, 2014, and images from the Sun were successfully obtained with the CdTe
detector. Therefore we successfully demonstrated the detector concept and the
usefulness of this technique for future HXR observations of the Sun.


title: Extending E Prover with Similarity Based Clause Selection Strategies

abstract:
  E prover is a state-of-the-art theorem prover for first-order logic with
equality. E prover is built around a saturation loop, where new clauses are
derived by inference rules from previously derived clauses. Selection of
clauses for the inference provides the main source of non-determinism and an
important choice-point of the loop where the right choice can dramatically
influence the proof search. In this work we extend E Prover with several new
clause selection strategies based on similarity of a clause with the
conjecture. In particular, clauses which are more related to the conjecture are
preferred. We implement different strategies that define the relationship with
a conjecture in different ways. We provide an implementation of the proposed
selection strategies and we evaluate their efficiency on an extensive benchmark
set.


title:
Periodically driven interacting electrons in 1D: a many-body Floquet
  approach

abstract:
  We propose a method to study the time evolution of correlated electrons
driven by an harmonic perturbation. Combining Floquet formalism to include the
time-dependent field and Cluster Perturbation Theory to solve the many-body
problem in the presence of short-range correlations, we treat the electron
double dressing - by photons and by e-e interaction - on the same footing. We
apply the method to an extended Hubbard chain at half occupation and we show
that in the regime of small field frequency and for given values of field
strength the zero-mode Floquet band is no more gapped and the system recovers a
metallic state. Our results are indicative of an omnipresent mechanism for
insulator-to-metal transition in 1D systems.


title: Drawing Planar Graphs with Many Collinear Vertices

abstract:
  Consider the following problem: Given a planar graph $G$, what is the maximum
number $p$ such that $G$ has a planar straight-line drawing with $p$ collinear
vertices? This problem resides at the core of several graph drawing problems,
including universal point subsets, untangling, and column planarity. The
following results are known for it: Every $n$-vertex planar graph has a planar
straight-line drawing with $\Omega(\sqrt{n})$ collinear vertices; for every
$n$, there is an $n$-vertex planar graph whose every planar straight-line
drawing has $O(n^\sigma)$ collinear vertices, where $\sigma<0.986$; every
$n$-vertex planar graph of treewidth at most two has a planar straight-line
drawing with $\Theta(n)$ collinear vertices. We extend the linear bound to
planar graphs of treewidth at most three and to triconnected cubic planar
graphs. This (partially) answers two open problems posed by Ravsky and
Verbitsky [WG 2011:295--306]. Similar results are not possible for all bounded
treewidth planar graphs or for all bounded degree planar graphs. For planar
graphs of treewidth at most three, our results also imply asymptotically tight
bounds for all of the other above mentioned graph drawing problems.


title: KdV cnoidal waves in a traffic flow model with periodic boundaries

abstract:
  An optimal-velocity (OV) model describes car motion on a single lane road. In
particular, near to the boundary signifying the onset of traffic jams, this
model reduces to a perturbed Korteweg-de Vries (KdV) equation using asymptotic
analysis. Previously, the KdV soliton solution has then been found and compared
to numerical results (see Muramatsu and Nagatani (1999)). Here, we instead
apply modulation theory to this perturbed KdV equation to obtain at leading
order, the modulated cnoidal wave solution. At the next order, the Whitham
equations are derived, which have been modified due to the equation
perturbation terms. Next, from this modulation system, a family of spatially
periodic cnoidal waves are identified that characterise vehicle headway
distance. Then, for this set of solutions, we establish the relationship
between the wave speed and the modulation term, which is dependent upon the
number of oscillations over the spatial domain. This analysis is confirmed with
comparisons to numerical solutions of the OV model.


title:
Higher order moments of lensing convergence - I. Estimate from
  simulations

abstract:
  Large area lensing surveys are expected to make it possible to use cosmic
shear tomography as a tool to severely constrain cosmological parameters. To
this end, one typically relies on second order statistics such as the two -
point correlation fucntion and its Fourier counterpart, the power spectrum.
Moving a step forward, we wonder whether and to which extent higher order
stastistics can improve the lensing Figure of Merit (FoM). In this first paper
of a series, we investigate how second, third and fourth order lensing
convergence moments can be measured and use as probe of the underlying
cosmological model. We use simulated data and investigate the impact on moments
estimate of the map reconstruction procedure, the cosmic variance, and the
intrinsic ellipticity noise. We demonstrate that, under realistic assumptions,
it is indeed possible to use higher order moments as a further lensing probe.


title:
Massive Machine-type Communications in 5G: Physical and MAC-layer
  solutions

abstract:
  Machine-type communications (MTC) are expected to play an essential role
within future 5G systems. In the FP7 project METIS, MTC has been further
classified into "massive Machine-Type Communication" (mMTC) and "ultra-reliable
Machine-Type Communication" (uMTC). While mMTC is about wireless connectivity
to tens of billions of machine-type terminals, uMTC is about availability, low
latency, and high reliability. The main challenge in mMTC is scalable and
efficient connectivity for a massive number of devices sending very short
packets, which is not done adequately in cellular systems designed for
human-type communications. Furthermore, mMTC solutions need to enable wide area
coverage and deep indoor penetration while having low cost and being energy
efficient. In this article, we introduce the physical (PHY) and medium access
control (MAC) layer solutions developed within METIS to address this challenge.


title: A Probabilistic-Based Model for Binary CSP

abstract:
  This work introduces a probabilistic-based model for binary CSP that provides
a fine grained analysis of its internal structure. Assuming that a domain
modification could occur in the CSP, it shows how to express, in a predictive
way, the probability that a domain value becomes inconsistent, then it express
the expectation of the number of arc-inconsistent values in each domain of the
constraint network. Thus, it express the expectation of the number of
arc-inconsistent values for the whole constraint network. Next, it provides
bounds for each of these three probabilistic indicators. Finally, a polytime
algorithm, which propagates the probabilistic information, is presented.


title:
Effective results on a fixed point algorithm for families of nonlinear
  mappings

abstract:
  We use proof mining techniques to obtain a uniform rate of asymptotic
regularity for the instance of the parallel algorithm used by L\'opez-Acedo and
Xu to find common fixed points of finite families of $k$-strict
pseudocontractive self-mappings of convex subsets of Hilbert spaces. We show
that these results are guaranteed by a number of logical metatheorems for
classical and semi-intuitionistic systems.


title:
Asymptotic Floquet states of open quantum systems: The role of
  interaction

abstract:
  We investigate the asymptotic state of a periodically driven many-body
quantum system which is weakly coupled to an environment. The combined action
of the modulations and the environment steers the system towards a state being
characterized by a time-periodic density operator. To resolve this asymptotic
non-equilibrium state at stroboscopic instants of time, we introduce the
dissipative Floquet map, evaluate the stroboscopic density operator as its
eigen-element and elucidate how particle interactions affect properties of the
density operator. We illustrate the idea with a periodically modulated
Bose-Hubbard dimer and discuss the relations between the interaction-induced
bifurcations in a mean-field dynamics and changes in the characteristics of the
genuine quantum many-body state. We argue that Floquet maps provide insight
into the system relaxation towards its asymptotic state and may help to
understand whether it is possible (or not) to construct a stroboscopic
time-independent generator mimicking the action of the original time-dependent
one.


title: FM-index of Alignment with Gaps

abstract:
  Recently, a compressed index for similar strings, called the FM-index of
alignment (FMA), has been proposed with the functionalities of pattern search
and random access. The FMA is quite efficient in space requirement and pattern
search time, but it is applicable only for an alignment of similar strings
without gaps. In this paper we propose the FM-index of alignment with gaps, a
realistic index for similar strings, which allows gaps in their alignment. For
this, we design a new version of the suffix array of alignment by using
alignment transformation and a new definition of the alignment-suffix. The new
suffix array of alignment enables us to support the LF-mapping and backward
search, the key functionalities of the FM-index, regardless of gap existence in
the alignment. We experimentally compared our index with RLCSA due to Makinen
et al. on 100 genome sequences from the 1000 Genomes Project. The index size of
our index is less than one third of that of RLCSA.


title: The flow network method

abstract:
  In this paper we propose an in-depth analysis of a method, called the flow
network method, which associates with any network a complete and
quasi-transitive binary relation on its vertices. Such a method, originally
proposed by Gvozdik (1987), is based on the concept of maximum flow. Given a
competition involving two or more teams, the flow network method can be used to
build a relation on the set of teams which establishes, for every ordered pair
of teams, if the first one did at least as good as the second one in the
competition. Such a relation naturally induces procedures for ranking teams and
selecting the best $k$ teams of a competition. Those procedures are proved to
satisfy many desirable properties.


title: Exact Smooth Term-Structure Estimation

abstract:
  We present a non-parametric method to estimate the discount curve from market
quotes based on the Moore-Penrose pseudoinverse. The discount curve reproduces
the market quotes perfectly, has maximal smoothness, and is given in
closed-form. The method is easy to implement and requires only basic linear
algebra operations. We provide a full theoretical framework as well as several
practical applications.


title:
Cumulants of Net-Proton, Net-Kaon and Net-Charge Multiplicity
  Distributions in Au+Au Collisions at RHIC BES Energies from UrQMD Model

abstract:
  Fluctuations of conserved quantities are sensitive observables to probe the
signature of QCD phase transition and critical point in heavy-ion collisions.
With the UrQMD model, we have studied the centrality and energy dependence of
various order cumulants and cumulant ratios (up to fourth order) of
net-proton,net-charge and net-kaon multiplicity distributions in Au+Au
collisions at $\sqrt{s_{NN}}$= 7.7, 11.5, 19.6, 27, 39, 62.4, 200 GeV. The
model results show that the production mechanism of the particles and
anti-particles have significant impacts on the cumulants of net-particles
multiplicity distributions and show strong energy dependence. We also made
comparisons between model calculations and experimental data measured in the
first phase of the beam energy scan (BES) program by the STAR experiment at
RHIC. The comparisons indicate that the baryon conservation effect strongly
suppress the cumulants of net-proton distributions at low energies and the
non-monotonic energy dependence for the net-proton {\KV} at the most central
Au+Au collisions measured by the STAR experiment can not be described by the
UrQMD model. Since there has no physics of QCD phase transition and QCD
critical point implemented in the UrQMD, the model results provide us baselines
and qualitative estimates about the non-critical background contributions to
the fluctuations observables in heavy-ion collisions.


title: Kolmogorov Space in Time Series Data

abstract:
  We provide the proof that the space of time series data is a Kolmogorov space
with $T_{0}$-separation axiom using the loop space of time series data. In our
approach we define a cyclic coordinate of intrinsic time scale of time series
data after empirical mode decomposition. A spinor field of time series data
comes from the rotation of data around price and time axis by defining a new
extradimension to time series data. We show that there exist hidden eight
dimensions in Kolmogorov space for time series data. Our concept is realized as
the algorithm of empirical mode decomposition and intrinsic time scale
decomposition and it is subsequently used for preliminary analysis on the real
time series data.


title: Excitonic Stark effect in MoS$_2$ monolayers

abstract:
  We theoretically investigate excitons in MoS$_2$ monolayers in an applied
in-plane electric field. Tight-binding and Bethe-Salpeter equation calculations
predict a quadratic Stark shift, of the order of a few meV for fields of 10
V/$\mu$m, in the linear absorption spectra. The spectral weight of the main
exciton peaks decreases by a few percent with an increasing electric field due
to the exciton field ionization into free carriers as reflected in the exciton
wave functions. Subpicosecond exciton decay lifetimes at fields of a few tens
of V/$\mu$m could be utilized in solar energy harvesting and photodetection. We
find simple scaling relations of the exciton binding, radius, and oscillator
strength with the dielectric environment and an electric field, which provides
a path to engineering the MoS$_2$ electro-optical response.


title:
Search for top squarks in final states with one isolated lepton, jets,
  and missing transverse momentum in $\sqrt{s}=13$ TeV $pp$ collisions with the
  ATLAS detector

abstract:
  The results of a search for the stop, the supersymmetric partner of the top
quark, in final states with one isolated electron or muon, jets, and missing
transverse momentum are reported. The search uses the 2015 LHC $pp$ collision
data at a center-of-mass energy of $\sqrt{s}=13$ TeV recorded by the ATLAS
detector and corresponding to an integrated luminosity of 3.2 fb${}^{-1}$. The
analysis targets two types of signal models: gluino-mediated pair production of
stops with a nearly mass-degenerate stop and neutralino; and direct pair
production of stops, decaying to the top quark and the lightest neutralino. The
experimental signature in both signal scenarios is similar to that of a top
quark pair produced in association with large missing transverse momentum. No
significant excess over the Standard Model background prediction is observed,
and exclusion limits on gluino and stop masses are set at 95% confidence level.
The results extend the LHC Run-1 exclusion limit on the gluino mass up to 1460
GeV in the gluino-mediated scenario in the high gluino and low stop mass
region, and add an excluded stop mass region from 745 to 780 GeV for the direct
stop model with a massless lightest neutralino. The results are also
reinterpreted to set exclusion limits in a model of vector-like top quarks.


title:
Star Clusters and Super Massive Black Holes: High Velocity Stars
  Production

abstract:
  One possible origin of high velocity stars in the Galaxy is that they are the
product of the interaction of binary systems and supermassive black holes. We
investigate a new production channel of high velocity stars as due to the close
interaction between a star cluster and supermassive black holes in galactic
centres. The high velocity acquired by some stars of the cluster comes from
combined effect of extraction of their gravitational binding energy and from
the slingshot due to the interaction with the black holes. Stars could reach a
velocity sufficient to travel in the halo and even overcome the galactic
potential well, while some of them are just stripped from the cluster and start
orbiting around the galactic centre.


title:
A Dark-Matter Halo Profile allowing a Variable Cusp-Core with Analytic
  Velocity and Potential

abstract:
  We present a useful function for describing the profiles of dark-matter
haloes with a varying asymptotic inner slope -\alpha, ranging from a cusp to a
core, where the profiles of density, mass-velocity and potential are simple
analytic expressions for any \alpha. The idea is to express the mean-density
profile as a simple functional form, and obtain the local density by
derivative. The model involves a concentration parameter c analogous to the NFW
profile. More flexibility is provided by a sum of two such functions, with
concentrations c_1 and c_2. An optional additional parameter is the asymptotic
outer slope -\gamma, which allows more flexibility in the outskirts of haloes.
For \gamma different than 3, there are analytic expressions for the profiles of
density and mass-velocity but not for the potential. We match the proposed
function, in different variants, to the dark-matter profiles of haloes in
cosmological simulations, with and without baryons, spanning inner profiles
that range from steep cusps to flat cores, and find excellent fits. The
analytic potential profile is useful in modeling the evolution of the inner
halo due to episodes of gas inflow and outflow. The analytic profile,
especially with a free \gamma, is useful for a study of environmental effects
in the outer halo. In general, these analytic profiles can serve for
straightforwardly quantifying the shapes of simulated and observed rotation
curves, without the need for numerical integrations.


title: Isoperimetric inequalities in unbounded convex bodies

abstract:
  We consider the problem of minimizing the relative perimeter under a volume
constraint in an unbounded convex body $C\subset \mathbb{R}^{n+1}$, without
assuming any further regularity on the boundary of $C$. Motivated by an example
of an unbounded convex body with null isoperimetric profile, we introduce the
concept of unbounded convex body with uniform geometry. We then provide a handy
characterization of the uniform geometry property and, by exploiting the notion
of asymptotic cylinder of $C$, we prove existence of isoperimetric regions in a
generalized sense. By an approximation argument we show the strict concavity of
the isoperimetric profile and, consequently, the connectedness of generalized
isoperimetric regions. We also focus on the cases of small as well as of large
volumes; in particular we show existence of isoperimetric regions with
sufficiently large volumes, for special classes of unbounded convex bodies. We
finally address some questions about isoperimetric rigidity and analyze the
asymptotic behavior of the isoperimetric profile in connection with the notion
of isoperimetric dimension.