title:
Network-Coded Macrocell Offloading in Femtocaching-Assisted Cellular
  Networks

abstract:
  The femtocaching idea was proposed as a solution to compensate for the weak
backhaul capacity, by deploying coverage-limited nodes with high storage
capacity called femtocaches (FCs). In this paper, the macrocell offloading
problem in femtocaching-assisted cellular networks is investigated. The
objective is to minimize the number of transmissions by the macrocell base
station (MBS) given that all requests should be served simultaneously to
satisfy quality-of-experience (QoE) of the clients. We first formulate this MBS
offloading problem as an optimization problem over a network coding graph, and
show that it is NP-hard. Therefore, we propose an ONC-broadcast offloading
scheme that exploits both broadcasting and opportunistic network coding (ONC)
to minimize the number of required MBS transmissions. We utilize a random graph
model to approximate the performance of the proposed ONC-broadcast scheme in
terms of the resultant average number of transmissions by the MBS. Moreover,
despite the complexity of finding the optimal solution for each and every case,
we prove that this ONC-broadcast scheme is asymptotically optimal, i.e., for
large number of requests, the ONC-broadcast scheme achieves a similar macrocell
offloading performance to that of the optimal solution. To implement the
ONC-broadcast scheme, we devise a heuristic that employs a dual conflict graph
or broadcasting at the FCs such that the remaining requests can be served using
the minimum number of transmissions at the MBS. Simulations show that the dual
graph scheme improves MBS offloading as compared to the traditional separate
graph scheme. Furthermore, the simple heuristic proposed to implement the
ONC-broadcast scheme achieves a very close performance to the optimal
ONC-broadcast scheme.


title: Velocity Variations in the Phoenix-Hermus Star Stream

abstract:
  Measurements of velocity and density perturbations along stellar streams in
the Milky Way provide a time integrated measure of dark matter substructure at
larger galactic radius than the complementary instantaneous inner halo strong
lensing detections of dark matter sub-halos in distant galaxies. An interesting
case to consider is the proposed Phoenix-Hermus star stream, which is long,
thin and on a nearly circular orbit, making it a particular good target to
study for velocity variations along its length. In the presence of dark matter
sub-halos the distribution of velocities is significantly perturbed in a manner
that is readily understood with the impulse approximation. A set of simulations
show that only sub-halos above a few 10^7 M_sun lead to reasonably long lived
observationally detectable velocity variations of amplitude of order 1 kms,
with an average of about one visible hit per (two-armed) stream. An implication
is that globular clusters themselves will not have a visible impact on the
stream. Radial velocities have the benefit that they are completely insensitive
to distance errors. Distance errors scatter individual star velocities
perpendicular and tangential to the mean orbit but their mean values remain
unbiased. Calculations like these help build the quantitative case to acquire
large, fairly deep, velocity samples of stream stars.


title: HELP: XID+, The Probabilistic De-blender for Herschel SPIRE maps

abstract:
  We have developed a new prior-based source extraction tool, XID+, to carry
out photometry in the Herschel SPIRE maps at the positions of known sources.
XID+ is developed using a probabilistic Bayesian framework which provides a
natural framework in which to include prior information, and uses the Bayesian
inference tool, Stan, to obtain the full posterior probability distribution on
flux estimates. In this paper, we discuss the details of XID+ and demonstrate
the basic capabilities and performance by running it on simulated SPIRE maps
resembling the COSMOS field, and comparing to the current prior-based source
extraction tool DESPHOT. We show that not only does XID+ perform better on
metrics such as flux accuracy and flux uncertainty accuracy, we illustrate how
obtaining the posterior probability distribution can help overcome some of the
issues inherent with maximum likelihood based source extraction routines. We
run XID+ on the COSMOS SPIRE maps from HerMES, using a 24 $\mathrm{\mu m}$
catalogue as a prior and show the marginalised SPIRE colour-colour plot and
marginalised contribution to the cosmic infrared background at the SPIRE
wavelengths. XID+ is a core tool arising from the Herschel Extragalactic Legacy
Project (HELP) and we discuss how additional work within HELP providing prior
information on fluxes can and will be utilised. The software is available at
https://github.com/H-E-L-P/XID_plus. We also provide the data product for
COSMOS. We believe this is the first time that the full posterior probability
of galaxy photometry has been provided as a data product.


title:
Brief Report on Estimating Regularized Gaussian Networks from Continuous
  and Ordinal Data

abstract:
  In recent literature, the Gaussian Graphical model (GGM; Lauritzen, 1996),a
network of partial correlation coefficients, has been used to capture potential
dynamic relationships between observed variables. The GGM can be estimated
using regularization in combination with model selection using the extended
Bayesian Information Criterion (Foygel and Drton, 2010). I term this
methodology GeLasso, and asses its performance using a plausible psychological
network structure with both continuous and ordinal datasets.Simulation results
indicate that GeLasso works well as an out-of-the-box method to estimate
network structures.


title: Projective superflows. II. $O(3)$ and the icosahedral group

abstract:
  Let $X\in\mathbb{R}^{n}$. For $\phi:\mathbb{R}^{n}\mapsto\mathbb{R}^{n}$ and
$t\in\mathbb{R}$, we put $\phi^{t}=t^{-1}\phi(Xt)$. A projective flow is a
solution to the projective translation equation
$\phi^{t+s}=\phi^{t}\circ\phi^{s}$, $t,s\in\mathbb{R}$. The projective
superflow is a projective flow with a rational vector field which, among
projective flows with a given symmetry, is in a sense unique and optimal.
  In this second part we classify $3$-dimensional real superflows. Apart from
the superflow $\phi_{\hat{\mathbb{T}}}$ (with a group of symmetries being all
symmetries of a tetrahedron) and the superflow $\phi_{\mathbb{O}}$ (with a
group of symmetries being orientation preserving symmetries of an octahedron),
both described in the first part of this study, here we investigate in detail
the superflow $\phi_{\mathbb{I}}$ whose group of symmetries is the icosahedral
group $\mathbb{I}$ of order $60$. This superflow is a flow on co-centric
spheres, and is also solenoidal. These three superflows is the full (up to
linear conjugation) list of $3$-dimensional irreducible real projective
superflows.
  We also find all reducible $3$-dimensional real superflows. There are two of
them: one with group of symmetries being all symmetries of a $3$-prism (group
of order $12$), and the second with a group of symmetries being all symmetries
of a $4$-antiprism (group of order $16$).


title:
Study and optimization of the spatial resolution for detectors with
  binary readout

abstract:
  Using simulations and analytical approaches, we have studied single hit
resolutions obtained with a binary readout, which is often proposed for high
granularity detectors to reduce the generated data volume. Our simulations
considering several parameters (e.g. strip pitch) show that the detector
geometry and an electronics parameter of the binary readout chips could be
optimized for binary readout to offer an equivalent spatial resolution to the
one with an analogue readout. To understand the behavior as a function of
simulation parameters, we developed analytical models that reproduce simulation
results with a few parameters. The models can be used to optimize detector
designs and operation conditions with regard to the spatial resolution.


title: On stationary solutions to the non-vacuum Einstein field equations

abstract:
  We derive a local curvature estimate for four-dimensional stationary
solutions to the inheriting Einstein-Maxwell-Klein-Gordon equations. In
particular, it implies that any such stationary geodesically complete solution
with vanishing Poynting vector and proper coupling constants (like dark energy)
is flat. We also generalize the result to higher dimensions.


title: Type A blocks of super category O

abstract:
  We show that every integral block of category O for the general linear Lie
superalgebra is equivalent to a corresponding block of category O for the queer
Lie superalgebra. This implies the truth of the Kazhdan-Lusztig conjecture for
the so-called type A blocks of category O for the queer Lie superalgebra, as
formulated by Cheng, Kwon and Wang.


title: Focussing effects in laser-electron Thomson scattering

abstract:
  We study the effects of laser pulse focussing on the spectral properties of
Thomson scattered radiation. Modelling the laser as a paraxial beam we find
that, in all but the most extreme cases of focussing, the temporal envelope has
a much bigger effect on the spectrum than the focussing itself. For the case of
ultra-short pulses, where the paraxial model is no longer valid, we adopt a
sub-cycle vector beam description of the field. It is found that the emission
harmonics are blue shifted and broaden out in frequency space as the pulse
becomes shorter. Additionally the carrier envelope phase becomes important,
resulting in an angular asymmetry in the spectrum. We then use the same model
to study the effects of focussing beyond the limit where the paraxial expansion
is valid. It is found that fields focussed to sub-wavelength spot sizes produce
spectra that are qualitatively similar to those from sub-cycle pulses due to
the shortening of the pulse with focussing. Finally, we study high-intensity
fields and find that, in general, the focussing makes negligible difference to
the spectra in the regime of radiation reaction.


title:
A Distributed Algorithm for Training Augmented Complex Adaptive IIR
  Filters

abstract:
  In this paper we consider the problem of decentralized (distributed) adaptive
learning, where the aim of the network is to train the coefficients of a widely
linear autoregressive moving average (ARMA) model by measurements collected by
the nodes. Such a problem arises in many sensor network-based applications such
as target tracking, fast rerouting, data reduction and data aggregation. We
assume that each node of the network uses the augmented complex adaptive
infinite impulse response (ACAIIR) filter as the learning rule, and nodes
interact with each other under an incremental mode of cooperation. Since the
proposed algorithm (incremental augmented complex IIR (IACA-IIR) algorithm)
relies on the augmented complex statistics, it can be used to model both types
of complex-valued signals (proper and improper signals). To evaluate the
performance of the proposed algorithm, we use both synthetic and real-world
complex signals in our simulations. The results exhibit superior performance of
the proposed algorithm over the non-cooperative ACAIIR algorithm.


title:
Estimating the Handicap Effect in the Go Game: A Regression
  Discontinuity Design Approach

abstract:
  This paper provides an estimate for the handicap effect in the go game, a
board game widely played in Asia and other parts of the world. The estimation
utilizes a unique handicap assignment rule of the game, where the amount of
handicaps changes discontinuously with the players' strengths. A dataset
suitable for this estimation strategy is collected from game archives of an
online platform. The result implies that an additional handicap typically
changes the game odds by about 30 percent points, while the impact varies
across the handicap level.


title: Fractional parts of polynomials over the primes

abstract:
  Let f be a polynomial with irrational leading coefficient. We obtain
inequalities for the distance from the nearest integer of f(p) that hold for
infinitely many primes p. These results improve work of Harman in 1981 and 1983
and Wong in 1997.


title:
Generalized coherent states for position-dependent effective mass
  systems

abstract:
  A generalized scheme for the construction of coherent states in the context
of position-dependent effective mass systems has been presented. This formalism
is based on the ladder operators and associated algebra of the system which are
obtained using the concepts of supersymmetric quantum mechanics and the
property of shape-invariance. In order to exemplify the general results and to
analyzed the properties of the coherent states, several examples have been
considered.


title: Regression-based Online Anomaly Detection for Smart Grid Data

abstract:
  With the widely used smart meters in the energy sector, anomaly detection
becomes a crucial mean to study the unusual consumption behaviors of customers,
and to discover unexpected events of using energy promptly. Detecting
consumption anomalies is, essentially, a real-time big data analytics problem,
which does data mining on a large amount of parallel data streams from smart
meters. In this paper, we propose a supervised learning and statistical-based
anomaly detection method, and implement a Lambda system using the in-memory
distributed computing framework, Spark and its extension Spark Streaming. The
system supports not only iterative detection model refreshment from scalable
data sets, but also real-time detection on scalable live data streams. This
paper empirically evaluates the system and the detection algorithm, and the
results show the effectiveness and the scalability of the proposed lambda
detection system.


title:
Magnetization reversal in mixed ferrite-chromite perovskites with non
  magnetic cation on the A-site

abstract:
  In this work, we have performed Monte Carlo simulations in a classical model
for RFe$_{1-x}$Cr$_x$O$_3$ with R=Y and Lu, comparing the numerical simulations
with experiments and mean field calculations. In the analyzed compounds, the
antisymmetric exchange or Dzyaloshinskii-Moriya (DM) interaction induced a weak
ferromagnetism due to a canting of the antiferromagnetically ordered spins.
This model is able to reproduce the magnetization reversal (MR) observed
experimentally in a field cooling process for intermediate $x$ values and the
dependence with $x$ of the critical temperatures. We also analyzed the
conditions for the existence of MR in terms of the strength of DM interactions
between Fe$^{3+}$ and Cr$^{3+}$ ions with the x values variations.


title:
Enhanced diffusion and anomalous transport of magnetic colloids driven
  above a two-state flashing potential

abstract:
  We combine experiment and theory to investigate the diffusive and
subdiffusive dynamics of paramagnetic colloids driven above a two-state
flashing potential. The magnetic potential was realized by periodically
modulating the stray field of a magnetic bubble lattice in a uniaxial ferrite
garnet film. At large amplitudes of the driving field, the dynamics of
particles resembles an ordinary random walk with a frequency-dependent
diffusion coefficient. However, subdiffusive and oscillatory dynamics at short
time scales is observed when decreasing the amplitude. We present a persistent
random walk model to elucidate the underlying mechanism of motion, and perform
numerical simulations to demonstrate that the anomalous motion originates from
the dynamic disorder in the structure of the magnetic lattice, induced by
slightly irregular shape of bubbles.


title:
Hitting times of local and global optima in genetic algorithms with very
  high selection pressure

abstract:
  The paper is devoted to upper bounds on the expected first hitting times of
the sets of local or global optima for non-elitist genetic algorithms with very
high selection pressure. The results of this paper extend the range of
situations where the upper bounds on the expected runtime are known for genetic
algorithms and apply, in particular, to the Canonical Genetic Algorithm. The
obtained bounds do not require the probability of fitness-decreasing mutation
to be bounded by a constant less than one.


title: Automatic 3D Reconstruction for Symmetric Shapes

abstract:
  Generic 3D reconstruction from a single image is a difficult problem. A lot
of data loss occurs in the projection. A domain based approach to
reconstruction where we solve a smaller set of problems for a particular use
case lead to greater returns. The project provides a way to automatically
generate full 3-D renditions of actual symmetric images that have some prior
information provided in the pipeline by a recognition algorithm. We provide a
critical analysis on how this can be enhanced and improved to provide a general
reconstruction framework for automatic reconstruction for any symmetric shape.


title: The Ecology of Fringe Science and its Bearing on Policy

abstract:
  In this paper we illustrate the tension between mainstream 'normal',
'unorthodox' and 'fringe' science that is the focus of two ongoing projects
that are analysing the full ecology of physics knowledge. The first project
concentrates on empirically understanding the notion of consensus in physics by
investigating the policing of boundaries that is carried out at the arXiv
preprint server, a fundamental element of the contemporary physics publishing
landscape. The second project looks at physics outside the mainstream and
focuses on the set of organisations and publishing outlets that have mushroomed
outside of mainstream physics to cover the needs of 'alternative',
'independent' and 'unorthodox' scientists. Consolidating both projects into the
different images of science that characterise the mainstream (based on
consensus) and the fringe (based on dissent), we draw out an explanation of why
today's social scientists ought to make the case that, for policy-making
purposes, the mainstream's consensus should be our main source of technical
knowledge.


title: A Hybrid ICT-Solution for Smart Meter Data Analytics

abstract:
  Smart meters are increasingly used worldwide. Smart meters are the advanced
meters capable of measuring energy consumption at a fine-grained time interval,
e.g., every 15 minutes. Smart meter data are typically bundled with social
economic data in analytics, such as meter geographic locations, weather
conditions and user information, which makes the data sets very sizable and the
analytics complex. Data mining and emerging cloud computing technologies make
collecting, processing, and analyzing the so-called big data possible. This
paper proposes an innovative ICT-solution to streamline smart meter data
analytics. The proposed solution offers an information integration pipeline for
ingesting data from smart meters, a scalable platform for processing and mining
big data sets, and a web portal for visualizing analytics results. The
implemented system has a hybrid architecture of using Spark or Hive for big
data processing, and using the machine learning toolkit, MADlib, for doing
in-database data analytics in PostgreSQL database. This paper evaluates the key
technologies of the proposed ICT-solution, and the results show the
effectiveness and efficiency of using the system for both batch and online
analytics.


title:
Gas electron multiplier based on laser-perforated CVD diamond film:
  First tests

abstract:
  Gas electron multiplier (GEM) is widely used in modern gas detectors of
ionizing radiation in experiments on high-energy physics at accelerators and in
other fields of science. Typically the GEM devices are based on a dielectric
foil with holes and electrodes on both sides. GEMs made by radiation-hard
dielectrics or wide band-gap semiconductors are desirable for some
applications. The results of the first tests of the gas electron multiplier
made of radiation-hard materials, such as polycrystalline CVD diamond with a
thickness of 100 microns is described. Here we report on fabrication of GEM
based on free-standing polycrystalline CVD diamond film and its first test.


title: Ferrielectricity in an Organic Ferroelectric

abstract:
  We report ferrielectricity in a single-phase crystal, TSCC -- tris-sarcosine
calcium chloride [(CH3NHCH2COOH)3CaCl2]. Ferrielectricity is well known in
smectic liquid crystals but almost unknown in true crystalline solids. Pulvari
reported it in 1960 in mixtures of ferroelectrics and antiferroelectrics, but
only at high fields. TSCC exhibits a second-order displacive phase transition
near Tc = 130 K that can be lowered to a Quantum Critical Point at zero Kelvin
via Br- or I-substitution, and phases predicted to be antiferroelectric at high
pressure and low temperatures. Unusually, the size of the primitive unit cell
does not increase. We measure hysteresis loops and polarization below T = 64 K
and clear Raman evidence for this transition, as well of another transition
near 47-50 K. X-ray and neutron studies below Tc = 130K show there is an
antiferroelectric displacement out of plane of two sarcosine groups; but these
are antiparallel displacements are of different magnitude, leading to a bias
voltage that grows with decreasing T. A monoclinic subgroup C2 may be possible
at the lowest temperatures (T<64K or T<48K), but no direct evidence exists for
a crystal class lower than orthorhombic.


title: Mathematical Foundations of the GraphBLAS

abstract:
  The GraphBLAS standard (GraphBlas.org) is being developed to bring the
potential of matrix based graph algorithms to the broadest possible audience.
Mathematically the Graph- BLAS defines a core set of matrix-based graph
operations that can be used to implement a wide class of graph algorithms in a
wide range of programming environments. This paper provides an introduction to
the mathematics of the GraphBLAS. Graphs represent connections between vertices
with edges. Matrices can represent a wide range of graphs using adjacency
matrices or incidence matrices. Adjacency matrices are often easier to analyze
while incidence matrices are often better for representing data. Fortunately,
the two are easily connected by matrix mul- tiplication. A key feature of
matrix mathematics is that a very small number of matrix operations can be used
to manipulate a very wide range of graphs. This composability of small number
of operations is the foundation of the GraphBLAS. A standard such as the
GraphBLAS can only be effective if it has low performance overhead. Performance
measurements of prototype GraphBLAS implementations indicate that the overhead
is low.


title:
Barut-Girardello coherent states for nonlinear oscillator with
  position-dependent mass

abstract:
  Using ladder operators for the non-linear oscillator with position-dependent
effective mass, realization of the dynamic group SU(1,1) is presented. Keeping
in view the algebraic structure of the non-linear oscillator, coherent states
are constructed using Barut-Girardello formalism and their basic properties are
discussed. Furthermore, the statistical properties of these states are
investigated by means of Mandel parameter and second order correlation
function. Moreover, it is shown that in the harmonic limit, all the results
obtained for the non-linear oscillator with spatially varying mass reduce to
corresponding results of the linear oscillator with constant mass.


title: Stratonovich-type integral with respect to a general stochastic measure

abstract:
  Let $\mu$ be a general stochastic measure, where we assume for $\mu$ only
$\sigma$-additivity in probability and continuity of paths. We prove that the
symmetric integral $\int_{[0,T]}f(\mu_t, t)\circ\,{\rm d}\mu_t$ is well
defined. For stochastic equations with this integral, we obtain the existence
and uniqueness of a solution.


title:
Canonical transfer and multiscale energetics for primitive and
  quasi-geostrophic atmospheres

abstract:
  The past years have seen the success of a novel multiscale energetic
formalism in a variety of ocean and engineering fluid applications. In a
self-contained way, this study introduces it to the atmospheric dynamical
diagnostics, with important theoretical updates. Multiscale energy equations
are derived using a new analysis apparatus, namely, multiscale window
transform, with respect to both the primitive equation and quasi-geostrophic
models. A reconstruction of the "atomic" energy fluxes on the multiple scale
windows allows for a natural and unique separation of the in-scale transports
and cross-scale transfers from the intertwined nonlinear processes. The
resulting energy transfers bear a Lie bracket form, reminiscent of the Poisson
bracket in Hamiltonian mechanics, we hence would call them "canonical". A
canonical transfer process is a mere redistribution of energy among scale
windows, without generating or destroying energy as a whole. By classification,
a multiscale energetic cycle comprises of available potential energy (APE)
transport, kinetic energy (KE) transport, pressure work, buoyancy conversion,
work done by external forcing and friction, and the cross-scale canonical
transfers of APE and KE which correspond respectively to the baroclinic and
barotropic instabilities, among others, in geophysical fluid dynamics. A
buoyancy conversion takes place in an individual window only, bridging the two
types of energy namely KE and APE, it does not involve any processes among
different scale windows, and is hence basically not related to instabilities.
This formalism is exemplified with a preliminary application to the
Madden-Julian Oscillation (MJO) study.


title: Scalability of VM Provisioning Systems

abstract:
  Virtual machines and virtualized hardware have been around for over half a
century. The commoditization of the x86 platform and its rapidly growing
hardware capabilities have led to recent exponential growth in the use of
virtualization both in the enterprise and high performance computing (HPC). The
startup time of a virtualized environment is a key performance metric for high
performance computing in which the runtime of any individual task is typically
much shorter than the lifetime of a virtualized service in an enterprise
context. In this paper, a methodology for accurately measuring the startup
performance on an HPC system is described. The startup performance overhead of
three of the most mature, widely deployed cloud management frameworks
(OpenStack, OpenNebula, and Eucalyptus) is measured to determine their
suitability for workloads typically seen in an HPC environment. A 10x
performance difference is observed between the fastest (Eucalyptus) and the
slowest (OpenNebula) framework. This time difference is primarily due to delays
in waiting on networking in the cloud-init portion of the startup. The
methodology and measurements presented should facilitate the optimization of
startup across a variety of virtualization environments.


title:
A Boundary Value Problem for a Class of Anisotropic Degenerate
  Parabolic-Hyperbolic Equations

abstract:
  We consider a mixed type boundary value problem for a class of degenerate
parabolic-hyperbolic equations. Namely, we consider a Cartesian product domain
and split its boundary into two parts. In one of them we impose a Dirichlet
boundary condition; in the other, we impose a Neumann condition. We apply a
normal trace formula for $L^2$-divergence-measure fields to prove a new strong
trace property in the part of the boundary where the Neumann condition is
imposed. We prove existence and uniqueness of the entropy solution. This is a
revised corrected version of the paper published in Arch.\ Ration.\ Mech.\
Anal.\ {\bf 226} (2017), no. 3, 975--1008.


title: Enhancing superconductivity in A3C60 fullerides

abstract:
  Motivated by the recent experimental report of a possible light-induced
superconductivity in A3C60 at high temperature [Mitrano et al., Nature 530, 451
(2016)], we investigate theoretical mechanisms for enhanced superconductivity
in A3C60 fullerenes. We find that an `interaction imbalance' corresponding to a
smaller value of the Coulomb matrix element for two of the molecular orbitals
in comparison to the third one, efficiently enhances superconductivity.
Furthermore, we perform first-principle calculations of the changes in the
electronic structure and in the screened Coulomb matrix elements of A3C60,
brought in by the deformation associated with the pumped T1u intra-molecular
mode. We find that an interaction imbalance is indeed induced, with a favorable
sign and magnitude for superconductivity enhancement. The physical mechanism
responsible for this enhancement consists in a stabilisation of the
intra-molecular states containing a singlet pair, while preserving the orbital
fluctuations allowing for a coherent inter-orbital delocalization of the pair.
Other perturbations have also been considered and found to be detrimental to
superconductivity. The light-induced deformation and ensuing interaction
imbalance is shown to bring superconductivity further into the strong-coupling
regime.


title: Associative Array Model of SQL, NoSQL, and NewSQL Databases

abstract:
  The success of SQL, NoSQL, and NewSQL databases is a reflection of their
ability to provide significant functionality and performance benefits for
specific domains, such as financial transactions, internet search, and data
analysis. The BigDAWG polystore seeks to provide a mechanism to allow
applications to transparently achieve the benefits of diverse databases while
insulating applications from the details of these databases. Associative arrays
provide a common approach to the mathematics found in different databases: sets
(SQL), graphs (NoSQL), and matrices (NewSQL). This work presents the SQL
relational model in terms of associative arrays and identifies the key
mathematical properties that are preserved within SQL. These properties include
associativity, commutativity, distributivity, identities, annihilators, and
inverses. Performance measurements on distributivity and associativity show the
impact these properties can have on associative array operations. These results
demonstrate that associative arrays could provide a mathematical model for
polystores to optimize the exchange of data and execution queries.


title: Interpretable Two-level Boolean Rule Learning for Classification

abstract:
  As a contribution to interpretable machine learning research, we develop a
novel optimization framework for learning accurate and sparse two-level Boolean
rules. We consider rules in both conjunctive normal form (AND-of-ORs) and
disjunctive normal form (OR-of-ANDs). A principled objective function is
proposed to trade classification accuracy and interpretability, where we use
Hamming loss to characterize accuracy and sparsity to characterize
interpretability. We propose efficient procedures to optimize these objectives
based on linear programming (LP) relaxation, block coordinate descent, and
alternating minimization. Experiments show that our new algorithms provide very
good tradeoffs between accuracy and interpretability.


title:
The Higgs boson mass constraint and the CP even-CP odd Higgs boson
  mixing in an MSSM extension

abstract:
  One loop contributions to the CP even-CP odd Higgs boson mixings arising from
contributions due to exchange of a vectorlike multiplet are computed under the
Higgs boson mass constraint. The vectorlike multiplet consists of a fourth
generation of quarks and a mirror generation. This sector brings in new CP
phases which can be large consistent with EDM constraints. In this work we
compute the contributions from the exchange of quarks and mirror quarks
$t_{4L}, t_{4R}, T_{L}, T_{R}$, and their scalar partners, the squarks and the
mirror squarks. The effect of their contributions to the Higgs boson masses and
mixings are computed and analyzed. The possibility of measuring the effects of
mixing of CP even and CP odd Higgs in experiment is discussed. It is shown that
the branching ratios of the Higgs bosons into fermion pairs are sensitive to
new physics and specifically to CP phases.


title: The Hobbyhorse of Magnetic Systems: The Ising Model

abstract:
  The purpose of this article is to present a detailed numerical study of the
second-order phase transition in the 2D Ising model. The importance of
correctly presenting elementary theory of phase transitions, computational
algorithms and finite-size scaling techniques results in a important
understanding of both the Ising model and the second order phase transitions.
In doing so, Markov Chain Monte Carlo simulations are performed for different
lattice sizes with periodic boundary conditions. Energy, magnetization,
specific heat, magnetic susceptibility and the correlation function are
calculated and the critical exponents determined by finite-size scaling
techniques. The importance of the correlation length as the relevant parameter
in phase transitions is emphasized.


title: Re-iterated multiscale model reduction using the GMsFEM

abstract:
  Numerical homogenization and multiscale finite element methods construct
effective properties on a coarse grid by solving local problems and extracting
the average effective properties from these local solutions. In some cases, the
solutions of local problems can be expensive to compute due to scale disparity.
In this setting, one can basically apply a homogenization or multiscale method
re-iteratively to solve for the local problems. This process is known as
re-iterated homogenization and has many variations in the numerical context.
Though the process seems to be a straightforward extension of two-level
process, it requires some careful implementation and the concept development
for problems without scale separation and high contrast. In this paper, we
consider the Generalized Multiscale Finite Element Method (GMsFEM) and apply it
iteratively to construct its multiscale basis functions. The main idea of the
GMsFEM is to construct snapshot functions and then extract multiscale basis
functions (called offline space) using local spectral decompositions in the
snapshot spaces. The extension of this construction to several levels uses
snapshots and offline spaces interchangebly to achieve this goal. At each
coarse-grid scale, we assume that the offline space is a good approximation of
the solution and use all possible offline functions or randomization as
boundary conditions and solve the local problems in the offline space at the
previous (finer) level, to construct snapshot space. We present an adaptivity
strategy and show numerical results for flows in heterogeneous media and in
perforated domains.


title:
The role of evolutionary selection in the dynamics of protein structure
  evolution

abstract:
  Emergence of new protein structures has proved difficult to trace in nature
and engineer in the laboratory. However, one aspect of structure evolution has
proved immensely helpful for determining the three-dimensional structure of
proteins from their sequences: in the vast majority of cases, proteins that
share more than 30% sequence identity have similar structures. Below this mark
is the "twilight zone" where proteins may have identical or very different
structures. These observations form the foundational intuition behind structure
homology modeling. Despite their importance, however, they have never received
a comprehensive biophysical justification. Here we show that the onset of the
twilight zone is more gradual for proteins with low contact density, a proxy
for low thermodynamic stability, than proteins with high contact density. Then
we present an analytical model that treats divergent fold evolution as an
activated process, in analogy to chemical kinetics, where sequence evolution
must overcome thermodynamically unstable evolutionary intermediates to discover
new folds. This model explains the existence of a twilight zone and explains
why its onset is more abrupt for some classes of proteins than for others. We
test the assumptions of the model and characterize the dynamics of fold
evolution using evolutionary simulations of model proteins and cell
populations. Overall these results show how fundamental biophysical constraints
directed evolutionary dynamics leading to the Universe of modern protein
structures and sequences.


title: Solvable cases of optimal control problems for integral equations

abstract:
  We present a number of cases of optimal control of Volterra and Fredholm
integral equations that are solvable in the sense that the problem can be
reduced to a solvable integral equation. This is conceptually analogous to the
role of the Riccati differential system in the optimal control of ordinary
differential equations.


title:
Generalizing to Unseen Entities and Entity Pairs with Row-less Universal
  Schema

abstract:
  Universal schema predicts the types of entities and relations in a knowledge
base (KB) by jointly embedding the union of all available schema types---not
only types from multiple structured databases (such as Freebase or Wikipedia
infoboxes), but also types expressed as textual patterns from raw text. This
prediction is typically modeled as a matrix completion problem, with one type
per column, and either one or two entities per row (in the case of entity types
or binary relation types, respectively). Factorizing this sparsely observed
matrix yields a learned vector embedding for each row and each column. In this
paper we explore the problem of making predictions for entities or entity-pairs
unseen at training time (and hence without a pre-learned row embedding). We
propose an approach having no per-row parameters at all; rather we produce a
row vector on the fly using a learned aggregation function of the vectors of
the observed columns for that row. We experiment with various aggregation
functions, including neural network attention models. Our approach can be
understood as a natural language database, in that questions about KB entities
are answered by attending to textual or database evidence. In experiments
predicting both relations and entity types, we demonstrate that despite having
an order of magnitude fewer parameters than traditional universal schema, we
can match the accuracy of the traditional model, and more importantly, we can
now make predictions about unseen rows with nearly the same accuracy as rows
available at training time.


title:
The vacant set of two-dimensional critical random interlacement is
  infinite

abstract:
  For the model of two-dimensional random interlacements in the critical regime
(i.e., $\alpha=1$), we prove that the vacant set is a.s.\ infinite, thus
solving an open problem from arXiv:1502.03470. Also, we prove that the entrance
measure of simple random walk on annular domains has certain regularity
properties; this result is useful when dealing with soft local times for
excursion processes.


title:
Tightening McCormick Relaxations for Nonlinear Programs via Dynamic
  Multivariate Partitioning

abstract:
  In this work, we propose a two-stage approach to strengthen piecewise
McCormick relaxations for mixed-integer nonlinear programs (MINLP) with
multi-linear terms. In the first stage, we exploit Constraint Programing (CP)
techniques to contract the variable bounds. In the second stage we partition
the variables domains using a dynamic multivariate partitioning scheme. Instead
of equally partitioning the domains of variables appearing in multi-linear
terms, we construct sparser partitions yet tighter relax- ations by iteratively
partitioning the variable domains in regions of interest. This approach
decouples the number of partitions from the size of the variable domains, leads
to a significant reduction in computation time, and limits the number of binary
variables that are introduced by the partitioning. We demonstrate the
performance of our algorithm on well-known benchmark problems from MINLPLIB and
discuss the computational benefits of CP-based bound tightening procedures.


title: Irreducible characters of even degree and normal Sylow $2$-subgroups

abstract:
  The classical It\^o-Michler theorem on character degrees of finite groups
asserts that if the degree of every complex irreducible character of a finite
group $G$ is coprime to a given prime $p$, then $G$ has a normal Sylow
$p$-subgroup. We propose a new direction to generalize this theorem by
introducing an invariant concerning character degrees. We show that if the
average degree of linear and even-degree irreducible characters of $G$ is less
than $4/3$ then $G$ has a normal Sylow $2$-subgroup, as well as corresponding
analogues for real-valued characters and strongly real characters. These
results improve on several earlier results concerning the It\^o-Michler
theorem.


title:
Surface Structure of In Situ Cleaved Single Crystal Bi2Se3 Measured by
  Low Energy Ion Scattering

abstract:
  Bismuth Selenide is a two-dimensional topological insulator material composed
of stacked quintuple layers (QL). The layers are held together by a weak van
der Waals force that enables surface preparation by cleaving. Low energy ion
scattering experiments (LEIS) show that Bi2Se3 cleaved under ultra-high vacuum
(UHV) has a Se-terminated structure that is consistent with cleaving between
QLs. Comparison of experimental data to molecular dynamics simulations confirms
the Se-termination and provides an estimate of the surface relaxation.


title:
Degrees of Freedom of Spatial Self-Interference Suppression for In-Band
  Full-Duplex with Inter-node Interference

abstract:
  We study a three-node network with a full-duplex base-station communicating
with one uplink and one downlink half-duplex node. In this network, both
self-interference and inter-node interference are present. We use an
antenna-theory-based channel model to study the spatial degrees of freedom of
such network, and study if and how much does spatial isolation outperforms
time-division (i.e. half-duplex) counterpart. Using degrees of freedom
analysis, we show that spatial isolation outperforms time division, unless the
angular spread of the objects that scatters to the intended users is overlapped
by the spread of objects that back scatters to the receivers.


title: The slice spectral sequence for singular schemes and applications

abstract:
  We examine the slice spectral sequence for the cohomology of singular schemes
with respect to various motivic T-spectra, especially the motivic cobordism
spectrum. When the base field k admits resolution of singularities and X is a
scheme of finite type over k, we show that Voevodsky's slice filtration leads
to a spectral sequence for MGL(X) whose terms are the motivic cohomology groups
of X defined using the cdh-hypercohomology. As a consequence, we establish an
isomorphism between certain geometric parts of the motivic cobordism and
motivic cohomology of X. A similar spectral sequence for the connective
K-theory leads to a cycle class map from the motivic cohomology to the homotopy
invariant K-theory of X. We show that this cycle class map is injective for
projective schemes. We also deduce applications to the torsion in the motivic
cohomology of singular schemes.


title: Every rational polyhedron has finite split rank: new proof

abstract:
  Split rank of a rational polyhedron is finite. The well known proof of this
is based on the fact that split closure is stronger than the Chv\'{a}tal
closure, and the Chv\'{a}tal rank of a rational polyhedron is finite due to the
result of Chv\'{a}tal and Schrijver. In this note we provide an independent
proof for the fact that every rational polyhedron has finite split rank. In
principal, we construct a nonnegative potential function which decreases by at
least one with "every" second split closure unless the integer hull of the
polyhedron is reached.


title:
Zodiacal Exoplanets in Time (ZEIT) II. A "Super-Earth" Orbiting a Young
  K Dwarf in the Pleiades Neighborhood

abstract:
  We describe a "super-Earth"-size ($2.30\pm0.15R_{\oplus}$) planet transiting
an early K-type dwarf star in the Campaign 4 field observed by the K2 mission.
The host star, EPIC 210363145, was identified as a member of the approximately
120-Myr-old Pleiades cluster based on its kinematics and photometric distance.
It is rotationally variable and exhibits near-ultraviolet emission consistent
with a Pleiades age, but its rotational period is ~20 d and its spectrum
contains no H$\alpha$ emission nor the Li I absorption expected of Pleiades K
dwarfs. Instead, the star is probably an interloper that is unaffiliated with
the cluster, but younger (< 1 Gyr) than the typical field dwarf. We ruled out a
false positive transit signal produced by confusion with a background eclipsing
binary by adaptive optics imaging and a statistical calculation. Doppler radial
velocity measurements limit the companion mass to <2 times that of Jupiter.
Screening of the lightcurves of 1014 potential Pleiades candidate stars
uncovered no additional planets. An injection-and-recovery experiment using the
K2 Pleiades lightcurves with simulated planets, assuming a planet population
like that in the Kepler prime field, predicts only 0.8-1.8 detections (vs. ~20
in an equivalent Kepler sample). The absence of Pleiades planet detections can
be attributed to the much shorter monitoring time of K2 (80 days vs. 4 years),
increased measurement noise due to spacecraft motion, and the intrinsic
noisiness of the stars.


title: A note on locally metric connections

abstract:
  In this paper we give necessary and sufficient conditions for a connection in
a plane bundle above a surface to be locally metric. These conditions are easy
to be verified in any local chart. Also as a global result we give a necessary
condition for two connections to be metric equivalent in terms of their Euler
class.


title: Eye Tracking for Everyone

abstract:
  From scientific research to commercial applications, eye tracking is an
important tool across many domains. Despite its range of applications, eye
tracking has yet to become a pervasive technology. We believe that we can put
the power of eye tracking in everyone's palm by building eye tracking software
that works on commodity hardware such as mobile phones and tablets, without the
need for additional sensors or devices. We tackle this problem by introducing
GazeCapture, the first large-scale dataset for eye tracking, containing data
from over 1450 people consisting of almost 2.5M frames. Using GazeCapture, we
train iTracker, a convolutional neural network for eye tracking, which achieves
a significant reduction in error over previous approaches while running in real
time (10-15fps) on a modern mobile device. Our model achieves a prediction
error of 1.71cm and 2.53cm without calibration on mobile phones and tablets
respectively. With calibration, this is reduced to 1.34cm and 2.12cm. Further,
we demonstrate that the features learned by iTracker generalize well to other
datasets, achieving state-of-the-art results. The code, data, and models are
available at http://gazecapture.csail.mit.edu.


title: Quantum kicked harmonic oscillator in contact with a heat bath

abstract:
  We consider the quantum harmonic oscillator in contact with a finite
temperature bath, modelled by the Caldeira-Leggett master equation. Applying
periodic kicks to the oscillator, we study the system in different dynamical
regimes between classical integrability and chaos on the one hand, and
ballistic or diffusive energy absorption on the other. We then investigate the
influence of the heat bath on the oscillator in each case. Phase space
techniques allow us to simulate the evolution of the system efficiently. In
this way, we calculate high resolution Wigner functions at long times, where
the system approaches a quasi-stationary cyclic evolution. Thereby, we are able
to perform an accurate study of the thermodynamic properties of a
non-integrable, quantum chaotic system in contact with a heat bath.


title: On the maximum of a type of random processes

abstract:
  We consider a type of random processes which satisfies the conditional
increment condition and obtain an estimate for the tail probability and a
Doob-type inequality of the maximum of the process. The main result is that,
for processes satisfying the conditional increment condition, the tail
probability decay of its maximum behaves in the same way as its marginals.


title:
High spin structures in the $A\approx 40$ mass region: from
  superdeformation to extreme deformation and clusterization (an example of
  $^{28}$Si)

abstract:
  The search for extremely deformed structures in the yrast and near-yrast
region of $^{28}$Si has been performed within the cranked relativistic mean
field theory up to spin $I=20\hbar$. The fingerprints of clusterization are
seen (well pronounced) in the superdeformed (hyperdeformed) configurations.


title: K2-97b: A (Re-?)Inflated Planet Orbiting a Red Giant Star

abstract:
  Strongly irradiated giant planets are observed to have radii larger than
thermal evolution models predict. Although these inflated planets have been
known for over fifteen years, it is unclear whether their inflation is caused
by deposition of energy from the host star, or inhibited cooling of the planet.
These processes can be distinguished if the planet becomes highly irradiated
only when the host star evolves onto the red giant branch. We report the
discovery of K2-97b, a 1.31 $\pm$ 0.11 R$_\mathrm{J}$, 1.10 $\pm$ 0.11
M$_\mathrm{J}$ planet orbiting a 4.20 $\pm$ 0.14 R$_\odot$, 1.16 $\pm$ 0.12
M$_\odot$ red giant star with an orbital period of 8.4 days. We precisely
constrained stellar and planetary parameters by combining asteroseismology,
spectroscopy, and granulation noise modeling along with transit and radial
velocity measurements. The uncertainty in planet radius is dominated by
systematic differences in transit depth, which we measure to be up to 30%
between different lightcurve reduction methods. Our calculations indicate the
incident flux on this planet was 170$^{+140}_{-60}$ times the incident flux on
Earth while the star was on the main sequence. Previous studies suggest that
this incident flux is insufficient to delay planetary cooling enough to explain
the present planet radius. This system thus provides the first evidence that
planets may be inflated directly by incident stellar radiation rather than by
delayed loss of heat from formation. Further studies of planets around red
giant branch stars will confirm or contradict this hypothesis, and may reveal a
new class of re-inflated planets.


title: Building an Interpretable Recommender via Loss-Preserving Transformation

abstract:
  We propose a method for building an interpretable recommender system for
personalizing online content and promotions. Historical data available for the
system consists of customer features, provided content (promotions), and user
responses. Unlike in a standard multi-class classification setting,
misclassification costs depend on both recommended actions and customers. Our
method transforms such a data set to a new set which can be used with standard
interpretable multi-class classification algorithms. The transformation has the
desirable property that minimizing the standard misclassification penalty in
this new space is equivalent to minimizing the custom cost function.


title:
Proceedings Sixth International Workshop on Classical Logic and
  Computation

abstract:
  The workshop series intends to cover research that investigates the
computational aspects of classical logic and mathematics. Its focus is on
unwinding the computational content of logical principles and proof in
mathematics based on these principles, aiming to bring together researchers
from both fields and exchange ideas.
  Classical Logic and Computation (CL&C) 2016 was the sixth edition of this
workshop series held as a satellite to FSCD 2016 on June 23, 2016 in Porto,
Portugal.
  In this sixth edition we received 11 submissions of both short and full
papers. Eight (8) of these were selected to present at the meeting in Porto,
and five (5) full papers were initially accepted to appear at this EPTCS
special volume of which one was subsequently withdrawn by its authors. An
invited talk was given by Marc Bezem (U. of Bergen): Coherent Logic - an
overview. Other topics covered by this years submissions included:
computational content of proofs using nonstandard analysis, a structured
grammar-based approach to the Herbrand content of proofs, semantics of the
lambda-mu calculus, normalization of classical natural deduction proofs, proof
mining of noneffective proofs in convex optimization and algebra by functional
interpretations. I like to thank the members of the program committee for their
excellent work: Steffen van Bakel (London), Stefano Berardi (Torino), Fernando
Ferreira (Lisboa), Hugo de'Liguoro (Torino), Alexandre Miquel (Montevideo).
  Ulrich Kohlenbach (Darmstadt, PC Chair)


title:
Smearing of the quantum anomalous Hall effect due to statistical
  fluctuations of magnetic dopants

abstract:
  Quantum anomalous Hall effect (QAH) is induced by substitution of a certain
portion, x, of Bi atoms in a BiTe-based insulating parent compound by magnetic
ions (Cr or V). We find the density of in-gap states, N(E), emerging as a
result of statistic fluctuations of the composition, x, in the vicinity of the
transition point, where the average gap, E_g, passes through zero. Local gap
follows the fluctuations of x. Using the instanton approach, we show that, near
the gap edges, the tails are exponential, ln N(E) \propto -(E_g-|E|), and the
tail states are due to small gap reduction. Our main finding is that, even when
the smearing magnitude exceeds the gap-width, there exists are semi-hard gap
around zero energy, where ln N(E) \propto -E_g/|E| (ln E_g/|E|). The states
responsible for N(E) originate from local gap reversals within narrow rings.
The consequence of semi-hard gap is the Arrhenius, rather than variable-range
hopping, temperature dependence of the diagonal conductivity at low
temperatures.


title:
Visualizing a Bosonic Symmetry Protected Topological Phase in an
  Interacting Fermion Model

abstract:
  Symmetry protected topological (SPT) phases in free fermion and interacting
bosonic systems have been classified, but the physical phenomena of interacting
fermionic SPT phases have not been fully explored. Here, employing large-scale
quantum Monte Carlo simulation, we investigate the edge physics of a bilayer
Kane-Mele-Hubbard model with zigzag ribbon geometry. Our unbiased numerical
results show that the fermion edge modes are gapped out by interaction, while
the bosonic edge modes remain gapless at the $(1+1)d$ boundary, before the bulk
quantum phase transition to a topologically trivial phase. Therefore, finite
fermion gaps both in the bulk and on the edge, together with the robust gapless
bosonic edge modes, prove that our system becomes an emergent bosonic SPT phase
at low energy, which is, for the first time, directly observed in an
interacting fermion lattice model.


title: Higgs particles interacting via a scalar Dark Matter field

abstract:
  We study a system of two Higgs bound state, interacting via a real scalar
Dark Matter mediating field, without imposing $Z_2$ symmetry on the DM sector
of the postulated Lagrangian. The variational method in the Hamiltonian
formalism of QFT is used to derive relativistic wave equations for the
two-Higgs system, using a truncated Fock-space trial state. Approximate
solutions of the 2-body relativistic coupled integral equations are presented,
and conditions for the existence of Higgs bound states is examined in a broad
parameter space of DM mass and coupling constants.


title:
Controlling hybrid nonlinearities in transparent conducting oxides via
  two-colour excitation

abstract:
  Nanophotonics and metamaterials have revolutionised the way we think about
optical space (epsilon, mu), enabling us to engineer the refractive index
almost at will, to confine light to the smallest of the volumes, and to
manipulate optical signals with extremely small footprints and energy
requirements. Significant efforts are now devoted to finding suitable materials
and strategies for the dynamic control of the optical properties. Transparent
conductive oxides exhibit large ultrafast nonlinearities under both interband
and intraband excitations. Here, we show that combining these two effects in
aluminium-doped zinc oxide via a two colour laser field discloses new material
functionalities. Owing to the independence of the two nonlinearities the
ultrafast temporal dynamics of the material permittivity can be designed by
acting on the amplitude and delay of the two fields. We demonstrate the
potential applications of this novel degree of freedom by dynamically
addressing the modulation bandwidth and optical spectral tuning of a probe
optical pulse.


title:
Wireless network signals with moderately correlated shadowing still
  appear Poisson

abstract:
  We consider the point process of signal strengths emitted from transmitters
in a wireless network and observed at a fixed position. In our model,
transmitters are placed deterministically or randomly according to a hard core
or Poisson point process and signals are subjected to power law path loss and
random propagation effects that may be correlated between transmitters.
  We provide bounds on the distance between the point process of signal
strengths and a Poisson process with the same mean measure, assuming correlated
log-normal shadowing. For "strong shadowing" and moderate correlations, we find
that the signal strengths are close to a Poisson process, generalizing a
recently shown analogous result for independent shadowing.


title:
Enhanced strength and temperature dependence of mechanical properties of
  Li at small length scales and its implications for Li metal anodes

abstract:
  Most next-generation Li-ion battery chemistries require a functioning lithium
metal (Li) anode. However, its application in secondary batteries has been
inhibited because of uncontrollable dendrite growth during cycling. Mechanical
suppression of dendrite growth through solid polymer electrolytes (SPE) or
through robust separators has shown the most potential for alleviating this
problem. Studies of the mechanical behavior of Li at any length scale and
temperature are virtually non-existent because of its extreme reactivity, which
renders sample preparation, transfer, microstructure characterization and
mechanical testing prohibitively challenging. We conduct nano-mechanical
experiments in an in-situ Scanning Electron Microscope and show that
micron-sized Li attains extremely high strengths of 105 MPa at room temperature
and of 35MPa at 90$^\circ$C. We demonstrate that single crystalline Li exhibits
a power-law size-effect at the micron- and sub-micron length scales, with the
strengthening exponent of -0.68 at room temperature and of -1.00 at
90$^\circ$C. We also report the elastic and shear moduli as a function of
crystallographic orientation gleaned from experiments and first principles
calculations, which show a high level of anisotropy up to the melting point,
where the elastic and shear moduli vary by a factor of ~4 between the stiffest
and most compliant orientations. The emergence of such high strengths in
small-scale Li and sensitivity of this metal's stiffness to crystallographic
orientation help explain why the existing methods of dendrite suppression have
been mainly unsuccessful and have significant implications for practical design
of future-generation batteries.


title:
Direct Computation of Two-Phase Icosahedral Equilibria of Lipid Bilayer
  Vesicles

abstract:
  Correctly formulated continuum models for lipid-bilayer membranes present a
significant challenge to computational mechanics. In particular, the
mid-surface behavior is that of a 2-dimensional fluid, while the membrane
resists bending much like an elastic shell. Here we consider a well-known
Helfrich-Cahn-Hilliard model for two-phase lipid-bilayer vesicles,
incorporating mid-surface fluidity, curvature elasticity and a phase field. We
present a systematic approach to the direct computation of vesical
configurations possessing icosahedral symmetry, which have been observed in
experiment and whose mathematical existence has recently been established. We
first introduce a radial-graph formulation to overcome the difficulties
associated with fluidity within a conventional Lagrangian description. We use
the so-called subdivision surface finite element method combined with an
icosahedral-symmetric mesh. The resulting discrete equations are
well-conditioned and inherit equivariance properties under a representation of
the icosahedral group. We use group-theoretic methods to obtain a reduced
problem that captures all icosahedral-symmetric solutions of the full problem.
Finally we explore the behavior of our reduced model, varying numerous physical
parameters present in the mathematical model.


title:
Candidate Water Vapor Lines to Locate the H$_{2}$O Snowline through
  High-Dispersion Spectroscopic Observations I. The Case of a T Tauri Star

abstract:
  Inside the H$_{2}$O snowline of protoplanetary disks, water evaporates from
the dust-grain surface into the gas phase, whereas it is frozen out on to the
dust in the cold region beyond the snowline. H$_{2}$O ice enhances the solid
material in the cold outer part of a disk, which promotes the formation of
gas-giant planet cores. We can regard the H$_{2}$O snowline as the surface that
divides the regions between rocky and gaseous giant planet formation. Thus
observationally measuring the location of the H$_{2}$O snowline is crucial for
understanding the planetesimal and planet formation processes, and the origin
of water on Earth. In this paper, we find candidate water lines to locate the
H$_{2}$O snowline through future high-dispersion spectroscopic observations.
First, we calculate the chemical composition of the disk and investigate the
abundance distributions of H$_{2}$O gas and ice, and the position of the
H$_{2}$O snowline. We confirm that the abundance of H$_{2}$O gas is high not
only in the hot midplane region inside the H$_{2}$O snowline but also in the
hot surface layer of the outer disk. Second, we calculate the H$_{2}$O line
profiles and identify those H$_{2}$O lines which are promising for locating the
H$_{2}$O snowline: the identified lines are those which have small Einstein $A$
coefficients and high upper state energies. The wavelengths of the candidate
H$_{2}$O lines range from mid-infrared to sub-millimeter, and they overlap with
the regions accessible to ALMA and future mid-infrared high dispersion
spectrographs (e.g., TMT/MICHI, SPICA).


title: Can Machine Generate Traditional Chinese Poetry? A Feigenbaum Test

abstract:
  Recent progress in neural learning demonstrated that machines can do well in
regularized tasks, e.g., the game of Go. However, artistic activities such as
poem generation are still widely regarded as human's special capability. In
this paper, we demonstrate that a simple neural model can imitate human in some
tasks of art generation. We particularly focus on traditional Chinese poetry,
and show that machines can do as well as many contemporary poets and weakly
pass the Feigenbaum Test, a variant of Turing test in professional domains. Our
method is based on an attention-based recurrent neural network, which accepts a
set of keywords as the theme and generates poems by looking at each keyword
during the generation. A number of techniques are proposed to improve the
model, including character vector initialization, attention to input and
hybrid-style training. Compared to existing poetry generation methods, our
model can generate much more theme-consistent and semantic-rich poems.


title:
Past, Present, and Future of Simultaneous Localization And Mapping:
  Towards the Robust-Perception Age

abstract:
  Simultaneous Localization and Mapping (SLAM)consists in the concurrent
construction of a model of the environment (the map), and the estimation of the
state of the robot moving within it. The SLAM community has made astonishing
progress over the last 30 years, enabling large-scale real-world applications,
and witnessing a steady transition of this technology to industry. We survey
the current state of SLAM. We start by presenting what is now the de-facto
standard formulation for SLAM. We then review related work, covering a broad
set of topics including robustness and scalability in long-term mapping, metric
and semantic representations for mapping, theoretical performance guarantees,
active SLAM and exploration, and other new frontiers. This paper simultaneously
serves as a position paper and tutorial to those who are users of SLAM. By
looking at the published research with a critical eye, we delineate open
challenges and new research issues, that still deserve careful scientific
investigation. The paper also contains the authors' take on two questions that
often animate discussions during robotics conferences: Do robots need SLAM? and
Is SLAM solved?


title:
Generic instabilities of non-singular cosmologies in Horndeski theory: a
  no-go theorem

abstract:
  The null energy condition can be violated stably in generalized Galileon
theories, which gives rise to the possibilities of healthy non-singular
cosmologies. However, it has been reported that in many cases cosmological
solutions are plagued with instabilities or have some pathologies somewhere in
the whole history of the universe. Recently, this was shown to be generically
true in a certain subclass of the Horndeski theory. In this short paper, we
extend this no-go argument to the full Horndeski theory, and show that
non-singular models (with flat spatial sections) in general suffer either from
gradient instabilities or some kind of pathology in the tensor sector. This
implies that one must go beyond the Horndeski theory to implement healthy
non-singular cosmologies.


title: A Consumer Focused Open Data Platform

abstract:
  Open data has been around for many years but with the advancement of
technology and its steady adoption by businesses and governments it promises to
create new opportunities for the advancement of society as a whole. Many
popular open data platforms have focused on solving the problems faced by the
data producer and offers limited support for the data consumers in the way of
tools and supported processes for easy access, modeling and mining of data
within the various platforms. In this paper we present the specifications for a
data consumer oriented platform for open data, the Data-TAP. We demonstrate how
this platform is able to (a) meet the goal of leveraging the data resources of
existing Open Data platforms, (b) provide a means to standardize and structure
data to allow for the merging of related data resources and (c) use a
rule-based method for parsing resources. This paper will show how Data-TAP
provides an easy to use and understand interface for making open data
friendlier for consumers.


title:
Contrapuntal Aspects of the Mystic Chord and Scriabin's Piano Sonata No.
  5

abstract:
  We present statistical evidence for the importance of the "mystic chord" in
Scriabin's Piano Sonata No. 5, Op. 53, from a computational and mathematical
counterpoint perspective. More specifically, we compute the effect sizes and
$\chi^{2}$ tests with respect to the distributions of counterpoint symmetries
in the Fuxian and mystic counterpoint worlds in two passages of the work, which
provide evidence of a qualitative change between them.


title:
Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part
  II)

abstract:
  In [1], it is established that a convergent observer with an infinite gain
margin can be designed for a given nonlinear system when a Riemannian metric
showing that the system is differentially detectable (i.e., the Lie derivative
of the Riemannian metric along the system vector field is negative in the space
tangent to the output function level sets) and the level sets of the output
function are geodesically convex is available. In this paper, we propose
techniques for designing a Riemannian metric satisfying the first property in
the case where the system is strongly infinitesimally observable (i.e., each
time-varying linear system resulting from the linearization along a solution to
the system satisfies a uniform observability property) or where it is strongly
differentially observable (i.e. the mapping state to output derivatives is an
injective immersion) or where it is Lagrangian. Also, we give results that are
complementary to those in [1]. In particular, we provide a locally convergent
observer and make a link to the existence of a reduced order observer. Examples
illustrating the results are presented.


title: A new class of homology and cohomology 3-manifolds

abstract:
  We show that for any set of primes $\mathcal{P}$ there exists a space
$M_{\mathcal{P}}$ which is a homology and cohomology 3-manifold with
coefficients in $\mathbb{Z}_{p}$ for $p\in \mathcal{ P}$ and is not a homology
or cohomology 3-manifold with coefficients in $\mathbb{Z}_q$ for $q\not\in
\mathcal{ P}$. Moreover, $M_{\mathcal{P}}$ is neither a homology nor cohomology
3-manifold with coefficients in $\mathbb{Z}$ or $\mathbb{Q}$.


title: A Benchmark Test of Boson Sampling on Tianhe-2 Supercomputer

abstract:
  Boson sampling, thought to be intractable classically, can be solved by a
quantum machine composed of merely generation, linear evolution and detection
of single photons. Such an analog quantum computer for this specific problem
provides a shortcut to boost the absolute computing power of quantum computers
to beat classical ones. However, the capacity bound of classical computers for
simulating boson sampling has not yet been identified. Here we simulate boson
sampling on the Tianhe-2 supercomputer which occupied the first place in the
world ranking six times from 2013 to 2016. We computed the permanent of the
largest matrix using up to 312,000 CPU cores of Tianhe-2, and inferred from the
current most efficient permanent-computing algorithms that an upper bound on
the performance of Tianhe-2 is one 50-photon sample per ~100 min. In addition,
we found a precision issue with one of two permanent-computing algorithms.


title: Acyclic Games and Iterative Voting

abstract:
  We consider iterative voting models and position them within the general
framework of acyclic games and game forms. More specifically, we classify
convergence results based on the underlying assumptions on the agent scheduler
(the order of players) and the action scheduler (which better-reply is played).
  Our main technical result is providing a complete picture of conditions for
acyclicity in several variations of Plurality voting. In particular, we show
that (a) under the traditional lexicographic tie-breaking, the game converges
for any order of players under a weak restriction on voters' actions; and (b)
Plurality with randomized tie-breaking is not guaranteed to converge under
arbitrary agent schedulers, but from any initial state there is \emph{some}
path of better-replies to a Nash equilibrium. We thus show a first separation
between restricted-acyclicity and weak-acyclicity of game forms, thereby
settling an open question from [Kukushkin, IJGT 2011]. In addition, we refute
another conjecture regarding strongly-acyclic voting rules.


title:
Strong coupling between Tamm plasmon polariton and two dimensional
  semiconductor excitons

abstract:
  Two dimensional (2D) semiconductor materials of transition-metal
dichalcogenides (TMDCs) manifest many peculiar physical phenomena in the
light-matter interaction. Due to their ultrathin property, strong interaction
with light and the robust excitons at room temperature, they provide a perfect
platform for studying the physics of strong coupling in low dimension and at
room temperature. Here we report the strong coupling between 2D semiconductor
excitons and Tamm plasmon polaritons (TPPs). We observe a Rabi splitting of
about 54 meV at room temperature by measuring the angle resolved differential
reflectivity spectra and simulate the theoretical results by using the transfer
matrix method. Our results will promote the realization of the TPP based
ultrathin polariton devices at room temperature.


title: Proceedings of the Workshop on Continuations

abstract:
  The notion of continuation is ubiquitous in many different areas of computer
science, including systems programming, programming languages, algorithmics,
semantics, logic, and constructive mathematics. In fact the concept of
continuation nicely realizes sophisticated control mechanisms, which are widely
used in a variety of applications. Since we cannot escape control features, it
becomes a challenge to provide them with sound reasoning principles.
  Indeed there is much research activity on understanding, representing, and
reasoning about elaborated non-local control structures, in particular in
declarative programming languages such as functional and logic languages. The
proceedings of the Workshop on Continuations 2015, held in London in April
2015, illustrate some of the afore mentioned topics and hopefully they will
inspire further research work on the subject.


title: Spatial confinement of muonium atoms

abstract:
  We report the achievement of spatial confinement of muonium atoms (the bound
state of a positive muon and an electron). Muonium emitted into vacuum from
mesoporous silica reflects between two SiO$_2$ confining surfaces separated by
1 mm. From the data, one can extract that the reflection probability on the
confining surfaces kept at 100 K is about 90% and the reflection process is
well described by a cosine law. This technique enables new experiments with
this exotic atomic system and is a very important step towards a measurement of
the 1S-2S transition frequency using continuous wave laser spectroscopy.


title:
Planetary Radio Interferometry and Doppler Experiment (PRIDE) technique:
  A test case of the Mars Express Phobos fly-by

abstract:
  The closest ever fly-by of the Martian moon Phobos, performed by the European
Space Agency's Mars Express spacecraft, gives a unique opportunity to sharpen
and test the Planetary Radio Interferometry and Doppler Experiments (PRIDE)
technique in the interest of studying planet - satellite systems. The aim of
this work is to demonstrate a technique of providing high precision positional
and Doppler measurements of planetary spacecraft using the Mars Express
spacecraft. The technique will be used in the framework of Planetary Radio
Interferometry and Doppler Experiments in various planetary missions, in
particular in fly-by mode. We advanced a novel approach to spacecraft data
processing using the techniques of Doppler and phase-referenced very long
baseline interferometry spacecraft tracking. We achieved, on average, mHz
precision (30 {\mu}m/s at a 10 seconds integration time) for radial three-way
Doppler estimates and sub-nanoradian precision for lateral position
measurements, which in a linear measure (at a distance of 1.4 AU) corresponds
to ~50 m.


title:
An omnidirectional shear horizontal wave transducer based on ring array
  of face-shear (d24) piezoelectric ceramics

abstract:
  The non-dispersive fundamental shear horizontal (SH0) wave in plate-like
structures is of practical importance in non-destructive testing (NDT) and
structural health monitoring (SHM). Theoretically, an omnidirectional SH0
transducer phased array system can be used to inspect defects in a large plate
in the similar manner to the phased array transducers used in medical B-scan
ultrasonics. However, very few omnidirectional SH transducers have been
proposed so far. In this work, an omnidirectional SH wave piezoelectric
transducer (OSH-PT) was proposed which consists of a ring array of twelve
face-shear (d24) trapezoidal PZT elements. Each PZT element can produce
face-shear deformation under applied voltage, resulting in circumferential
shear deformation in the OSH-PT and omnidirectional SH waves in the hosting
plate. Both finite element simulations and experiments were conducted to
examine the performance of the proposed OSH-PT. Experimental testing shows that
the OSH-PT exhibits good omnidirectional properties, on matter it is used as a
SH wave transmitter or a SH wave receiver. This work may greatly promote the
applications of SH waves in NDT and SHM.


title: Distribution-Dependent SDEs for Landau Type Equations

abstract:
  The distribution-dependent stochastic differential equations (DDSDEs)
describe stochastic systems whose evolution is determined by both the
microcosmic site and the macrocosmic distribution of the particle. The density
function associated with a DDSDE solves a non-linear PDE. Due to the
distribution-dependence, some standard techniques developed for SDEs do not
apply. By iterating in distributions, a strong solution is constructed using
SDEs with control. By proving the uniqueness, the distribution of solutions is
identified with a non-linear semigroup $P_t^*$ on the space of probability
measures. The exponential contraction as well as Harnack inequalities and
applications are investigated for the non-linear semigroup $P_t^*$ using
coupling by change of measures. The main results are illustrated by homogeneous
Landau equations.


title:
Statistical Parametric Speech Synthesis Using Bottleneck Representation
  From Sequence Auto-encoder

abstract:
  In this paper, we describe a statistical parametric speech synthesis approach
with unit-level acoustic representation. In conventional deep neural network
based speech synthesis, the input text features are repeated for the entire
duration of phoneme for mapping text and speech parameters. This mapping is
learnt at the frame-level which is the de-facto acoustic representation.
However much of this computational requirement can be drastically reduced if
every unit can be represented with a fixed-dimensional representation. Using
recurrent neural network based auto-encoder, we show that it is indeed possible
to map units of varying duration to a single vector. We then use this acoustic
representation at unit-level to synthesize speech using deep neural network
based statistical parametric speech synthesis technique. Results show that the
proposed approach is able to synthesize at the same quality as the conventional
frame based approach at a highly reduced computational cost.


title:
A multiplicity result for a fractional Kirchhoff equation in
  $\mathbb{R}^{N}$ with a general nonlinearity

abstract:
  In this paper we deal with the following fractional Kirchhoff equation
\begin{equation*} \left(p+q(1-s) \iint_{\mathbb{R}^{2N}} \frac{|u(x)-
u(y)|^{2}}{|x-y|^{N+2s}} \, dx\,dy \right)(-\Delta)^{s}u = g(u) \mbox{ in }
\mathbb{R}^{N}, \end{equation*} where $s\in (0,1)$, $N\geq 2$, $p>0$, $q$ is a
small positive parameter and $g: \mathbb{R}\rightarrow \mathbb{R}$ is an odd
function satisfying Berestycki-Lions type assumptions. By using minimax
arguments, we establish a multiplicity result for the above equation, provided
that $q$ is sufficiently small.


title: Explicit BCJ numerators of nonlinear sigma model

abstract:
  In this paper, we investigate the color-kinematics duality in nonlinear sigma
model (NLSM). We present explicit polynomial expressions for the kinematic
numerators (BCJ numerators). The calculation is done separately in two
parametrization schemes of the theory using Kawai-Lewellen-Tye relation
inspired technique, both lead to polynomial numerators. We summarize the
calculation in each case into a set of rules that generates BCJ numerators for
all multilplicities. In Cayley parametrization we find the numerator is
described by a particularly simple formula solely in terms of momentum kernel.


title: Top quark mass effects in Higgs boson pair production up to NNLO

abstract:
  We consider the production of pairs of Standard Model Higgs bosons via gluon
fusion. Until recently the full dependence on the top quark mass $M_t$ was not
known at next-to-leading order. For this reason we apply an approximation based
on the expansion for large top quark masses up to $\mathcal{O}(1/M_t^{12})$. At
next-to-next-to-leading order we avoid the calculation of real corrections via
the soft-virtual approximation and obtain top quark mass corrections up to
$\mathcal{O}(1/M_t^4)$. We use our results to estimate the residual uncertainty
of the total cross section due to a finite top quark mass to be
$\mathcal{O}(10\%)$ at next-to-leading order and $\mathcal{O}(5\%)$ at
next-to-next-to-leading order.


title:
The Implicit Convex Feasibility Problem and Its Application to Adaptive
  Image Denoising

abstract:
  The implicit convex feasibility problem attempts to find a point in the
intersection of a finite family of convex sets, some of which are not
explicitly determined but may vary. We develop simultaneous and sequential
projection methods capable of handling such problems and demonstrate their
applicability to image denoising in a specific medical imaging situation. By
allowing the variable sets to undergo scaling, shifting and rotation, this work
generalizes previous results wherein the implicit convex feasibility problem
was used for cooperative wireless sensor network positioning where sets are
balls and their centers were implicit.


title:
Einstein-Katz action, variational principle, Noether charges and the
  thermodynamics of AdS-black holes

abstract:
  In this paper we describe 4-dimensional gravity coupled to scalar and Maxwell
fields by the Einstein-Katz action, that is, the covariant version of the
"Gamma-Gamma $-$ Gamma-Gamma" part of the Hilbert action supplemented by the
divergence of a generalized "Katz vector". We consider static solutions of
Einstein's equations, parametrized by some integration constants, which
describe an ensemble of asymptotically AdS black holes. Instead of the usual
Dirichlet boundary conditions, which aim at singling out a specific solution
within the ensemble, we impose that the variation of the action vanishes on
shell for the broadest possible class of solutions. We will see that, when a
long-range scalar "hair" is present, only sub-families of the solutions can
obey that criterion. The Katz-Bicak-Lynden-Bell ("KBL") superpotential built on
this (generalized) vector will then give straightforwardly the Noether charges
associated with the spacetime symmetries (that is, in the static case, the
mass). Computing the action on shell, we will see next that the solutions which
obey the imposed variational principle, and with Noether charges given by the
KBL superpotential, satisfy the Gibbs relation, the Katz vectors playing the
role of "counterterms". Finally, we show on the specific example of dyonic
black holes that the sub-class selected by our variational principle satisfies
the first law of thermodynamics when their mass is defined by the KBL
superpotential.


title:
Guaranteed bounds on the Kullback-Leibler divergence of univariate
  mixtures using piecewise log-sum-exp inequalities

abstract:
  Information-theoretic measures such as the entropy, cross-entropy and the
Kullback-Leibler divergence between two mixture models is a core primitive in
many signal processing tasks. Since the Kullback-Leibler divergence of mixtures
provably does not admit a closed-form formula, it is in practice either
estimated using costly Monte-Carlo stochastic integration, approximated, or
bounded using various techniques. We present a fast and generic method that
builds algorithmically closed-form lower and upper bounds on the entropy, the
cross-entropy and the Kullback-Leibler divergence of mixtures. We illustrate
the versatile method by reporting on our experiments for approximating the
Kullback-Leibler divergence between univariate exponential mixtures, Gaussian
mixtures, Rayleigh mixtures, and Gamma mixtures.


title:
Anomalous Light Scattering by Topological ${\mathcal{PT}}$-symmetric
  Particle Arrays

abstract:
  Robust topological edge modes may evolve into complex-frequency modes when a
physical system becomes non-Hermitian. We show that, while having negligible
forward optical extinction cross section, a conjugate pair of such complex
topological edge modes in a non-Hermitian $\mathcal{PT}$-symmetric system can
give rise to an anomalous sideway scattering when they are simultaneously
excited by a plane wave. We propose a realization of such scattering state in a
linear array of subwavelength resonators coated with gain media. The prediction
is based on an analytical two-band model and verified by rigorous numerical
simulation using multiple-multipole scattering theory. The result suggests an
extreme situation where leakage of classical information is unnoticeable to the
transmitter and the receiver when such a $\mathcal{PT}$-symmetric unit is
inserted into the communication channel.


title: A class of Littlewood polynomials that are not $L^\alpha$-flat

abstract:
  We exhibit a class of Littlewood polynomials that are not $L^\alpha$-flat for
any $\alpha \geq 0$. Indeed, it is shown that the sequence of Littlewood
polynomials is not $L^\alpha$-flat, $\alpha \geq 0$, when the frequency of $-1$
is not in the interval $]\frac14,\frac34[$. We further obtain a generalization
of Jensen-Jensen-Hoholdt's result by establishing that the sequence of
Littlewood polynomials is not $L^\alpha$-flat for any $\alpha> 2$ if the
frequency of $-1$ is not $\frac12$. Finally, we prove that the sequence of
palindromic Littlewood polynomials with even degrees are not $L^\alpha$-flat
for any $\alpha \geq 0$.


title: Practical challenges in quantum key distribution

abstract:
  Quantum key distribution (QKD) promises unconditional security in data
communication and is currently being deployed in commercial applications.
Nonetheless, before QKD can be widely adopted, it faces a number of important
challenges such as secret key rate, distance, size, cost and practical
security. Here, we survey those key challenges and the approaches that are
currently being taken to address them.


title:
Full-Time Supervision based Bidirectional RNN for Factoid Question
  Answering

abstract:
  Recently, bidirectional recurrent neural network (BRNN) has been widely used
for question answering (QA) tasks with promising performance. However, most
existing BRNN models extract the information of questions and answers by
directly using a pooling operation to generate the representation for loss or
similarity calculation. Hence, these existing models don't put supervision
(loss or similarity calculation) at every time step, which will lose some
useful information. In this paper, we propose a novel BRNN model called
full-time supervision based BRNN (FTS-BRNN), which can put supervision at every
time step. Experiments on the factoid QA task show that our FTS-BRNN can
outperform other baselines to achieve the state-of-the-art accuracy.


title: Pauli spin blockade in CMOS double quantum dot devices

abstract:
  Silicon quantum dots are attractive candidates for the development of
scalable, spin-based qubits. Pauli spin blockade in double quantum dots
provides an efficient, temperature independent mechanism for qubit readout.
Here we report on transport experiments in double gate nanowire transistors
issued from a CMOS process on 300 mm silicon-on-insulator wafers. At low
temperature the devices behave as two few-electron quantum dots in series. We
observe signatures of Pauli spin blockade with a singlet-triplet splitting
ranging from 0.3 to 1.3 meV. Magneto-transport measurements show that
transitions which conserve spin are shown to be magnetic-field independent up
to B = 6 T.


title: Crystalline and electronic structure of single-layer TaS$_2$

abstract:
  Single-layer TaS$_2$ is epitaxially grown on Au(111) substrates. The
resulting two-dimensional crystals adopt the 1H polymorph. The electronic
structure is determined by angle-resolved photoemission spectroscopy and found
to be in excellent agreement with density functional theory calculations. The
single layer TaS$_2$ is found to be strongly n-doped, with a carrier
concentration of 0.3(1) extra electrons per unit cell. No superconducting or
charge density wave state is observed by scanning tunneling microscopy at
temperatures down to 4.7 K.


title:
Elliptic regularity results: n-regularized Liouville Brownian motion and
  non-symmetric diffusions associated with degenerate forms

abstract:
  We apply improved elliptic regularity results to a concrete symmetric
Dirichlet form and various non-symmetric Dirichlet forms with possibly
degenerate symmetric diffusion matrix. Given the (non)-symmetric Dirichlet
form, using elliptic regularity results and stochastic calculus we show weak
existence of the corresponding singular stochastic differential equation for
any starting point in some subset E of R^d. As an application of our approach
we can show the existence of n-regularized Liouville Brownian motion only via
Dirichlet form theory starting from all points in R^2.


title:
Strict decomposition of diffusions associated to degenerate
  (sub)-elliptic forms

abstract:
  For given strongly local Dirichlet forms with possibly degenerate symmetric
(sub)-elliptic matrix, we show the existence of weak solutions to the
stochastic differential equations (associated with the Dirichlet forms)
starting from all points in $\R^d$. More precisely, using heat kernel
estimates, stochastic calculus, and Dirichlet form theory, we obtain the
pointwise existence of weak solutions to the stochastic differential equations
which have possibly unbounded and discontinuous drift. We also present some
conditions that the weak solutions become pathwise unique strong solutions and
provide a new non-explosion criterion.


title:
GT-SEER: Geo-Temporal SEquential Embedding Rank for Point-of-interest
  Recommendation

abstract:
  Point-of-interest (POI) recommendation is an important application in
location-based social networks (LBSNs), which learns the user preference and
mobility pattern from check-in sequences to recommend POIs. However, previous
POI recommendation systems model check-in sequences based on either tensor
factorization or Markov chain model, which cannot capture contextual check-in
information in sequences. The contextual check-in information implies the
complementary functions among POIs that compose an individual's daily check-in
sequence. In this paper, we exploit the embedding learning technique to capture
the contextual check-in information and further propose the
\textit{{\textbf{SE}}}quential \textit{{\textbf{E}}}mbedding
\textit{{\textbf{R}}}ank (\textit{SEER}) model for POI recommendation. In
particular, the \textit{SEER} model learns user preferences via a pairwise
ranking model under the sequential constraint modeled by the POI embedding
learning method. Furthermore, we incorporate two important factors, i.e.,
temporal influence and geographical influence, into the \textit{SEER} model to
enhance the POI recommendation system. Due to the temporal variance of
sequences on different days, we propose a temporal POI embedding model and
incorporate the temporal POI representations into a temporal preference ranking
model to establish the \textit{T}emporal \textit{SEER} (\textit{T-SEER}) model.
In addition, We incorporate the geographical influence into the \textit{T-SEER}
model and develop the \textit{\textbf{Geo-Temporal}} \textit{{\textbf{SEER}}}
(\textit{GT-SEER}) model.


title: N= 4 Supersymmetric Quantum Mechanical Model: Novel Symmetries

abstract:
  We discuss a set of novel discrete symmetry transformations of the N = 4
supersymmetric quantum mechanical model of a charged particle moving on a
sphere in the background of Dirac magnetic monopole. The usual five continuous
symmetries (and their conserved Noether charges) and two discrete symmetries
together provide the physical realizations of the de Rham cohomological
operators of differential geometry. We have also exploited the supervariable
approach to derive the nilpotent N = 4 SUSY transformations and provided the
geometrical interpretation in the language of translational generators along
the Grassmannian directions onto (1, 4)-dimensional supermanifold.


title:
Observability and unique continuation inequalities for the
  Schr\"{o}dinger equation

abstract:
  In this paper, we present several observability and unique continuation
inequalities for the free Schr\"{o}dinger equation in the whole space. The
observations in these inequalities are made either at two points in time or one
point in time. These inequalities correspond to different kinds of
controllability for the free Schr\"{o}dinger equation. We also find that the
observability inequality at two points in time is equivalent to the uncertainty
principle built up in [18].


title:
Experiments with low energy ion beam transport into toroidal magnetic
  fields

abstract:
  The stellarator-type storage ring for accumulation of multi- Ampere proton
and ion beams with energies in the range of $100~AkeV$ to $1~AMeV$ is designed
at Frankfurt university. The main idea for beam confinement with high
transversal momentum acceptance was presented in EPAC2006. This ring is
typically suited for experiments in plasma physics and nuclear astrophysics.
The accumulator ring with a closed longitudinal magnetic field is foreseen with
a strength up to $6-8~T$. The experiments with two room temperature 30 degree
toroids are needed. The beam transport experiments in toroidal magnetic fields
were first described in EPAC2008 within the framework of a proposed low energy
ion storage ring. The test setup aims on developing a ring injection system
with two beam lines representing the main beam line and the injection line. The
primary beam line for the experiments was installed and successfully
commissioned in 2009. A special diagnostics probe for \textit{"in situ"} ion
beam detection was installed.This modular technique allows online diagnostics
of the ion beam along the beam path. In this paper, we present new results on
beam transport experiments and discuss transport and transverse beam injection
properties of that system.


title:
Symbolic dynamics for non-uniformly hyperbolic surface maps with
  discontinuities

abstract:
  This work constructs symbolic dynamics for non-uniformly hyperbolic surface
maps with a set of discontinuities $D$. We allow the derivative of points
nearby $D$ to be unbounded, of the order of a negative power of the distance to
$D$. Under natural geometrical assumptions on the underlying space $M$, we code
a set of non-uniformly hyperbolic orbits that do not converge exponentially
fast to $D$. The results apply to non-uniformly hyperbolic planar billiards,
e.g. Bunimovich stadia.


title:
Measurement of the transverse momentum spectra of weak vector bosons
  produced in proton-proton collisions at sqrt(s) = 8 TeV

abstract:
  The transverse momentum spectra of weak vector bosons are measured in the CMS
experiment at the LHC. The measurement uses a sample of proton-proton
collisions at sqrt(s) = 8 TeV, collected during a special low-luminosity
running that corresponds to an integrated luminosity of 18.4 +/- 0.5 inverse
picobarns. The production of W bosons is studied in both electron and muon
decay modes, while the production of Z bosons is studied using only the dimuon
decay channel. The ratios of W- to W+ and Z to W differential cross sections
are also measured. The measured differential cross sections and ratios are
compared with theoretical predictions up to next-to-next leading order in QCD.


title: Diboson Excess from a New Strong Force

abstract:
  We explore a "partial unification" model that could explain the diphoton
event excess around $750 \, \rm GeV$ recently reported by the LHC experiments.
A new strong gauge group is combined with the ordinary color and hypercharge
gauge groups. The VEV responsible for the combination is of the order of the
$SU(2)\times U(1)$ breaking scale, but the coupling of the new physics to
standard model particles is suppressed by the strong interaction of the new
gauge group. This simple extension of the standard model has a rich
phenomenology, including composite particles of the new confining gauge
interaction, a coloron and a $Z'$ which are rather weakly coupled to standard
model particles, and massive vector bosons charged under both the ordinary
color and hypercharge gauge groups and the new strong gauge group. The new
scalar glueball could have mass of around $750 \, \rm GeV$, be produced by
gluon fusion and decay into two photons, both through loops of the new massive
vector bosons. The simplest version of the model has some issues: the massive
vector bosons are stable and the coloron and the $Z'$ are strongly constrained
by search data. An extension of the model to include additional fermions with
the new gauge coupling, though not as simple and elegant, can address both
issues and more. It allows the massive vector boson to decay into a colorless,
neutral state that could be a candidate of the dark matter. And the coloron and
$Z'$ can decay dominantly into the new fermions, completely changing the search
bounds. In addition, $SU(N)$ fermions below the symmetry breaking scale make it
more plausible that the lightest glueball is at $750$~GeV. Whatever becomes of
the $750$~GeV diphoton excess, the model is an unusual example of how new
physics at small scales could be hidden by strong interactions.


title:
Optomechanically induced transparency in multi-cavity optomechanical
  system with and without one two-level atom

abstract:
  We analytically study the optomechanically induced transparency (OMIT) in the
$N$-cavity system with the \textit{N}th cavity driven by pump, probing laser
fields and the \textit{1}st cavity coupled to mechanical oscillator. We also
consider that one atom could be trapped in the \textit{i}th cavity. Instead of
only illustrating the OMIT in such a system, we are interested in how the
number of OMIT windows is influenced by the cavities and the atom and what
roles the atom could play in different cavities. In the resolved sideband
regime, we find that, the number of cavities precisely determines the maximal
number of OMIT windows. It is interesting that, when the two-level atom is
trapped in the even-labeled cavity, the central absorptive peak (odd $N$) or
dip (even $N$) is split and forms an extra OMIT window, but if the atom is
trapped in the odd-labeled cavity, the central absorptive peak (odd $N$) or dip
(even $N$) is only broadened and thus changes the width of the OMIT windows
rather than induces an extra window.