title:
Machine Protection and Interlock Systems for Circular Machines - Example
  for LHC

abstract:
  This paper introduces the protection of circular particle accelerators from
accidental beam losses. Already the energy stored in the beams for accelerators
such as the TEVATRON at Fermilab and Super Proton Synchrotron (SPS) at CERN
could cause serious damage in case of uncontrolled beam loss. With the CERN
Large Hadron Collider (LHC), the energy stored in particle beams has reached a
value two orders of magnitude above previous accelerators and poses new threats
with respect to hazards from the energy stored in the particle beams. A single
accident damaging vital parts of the accelerator could interrupt operation for
years. Protection of equipment from beam accidents is mandatory. Designing a
machine protection system requires an excellent understanding of accelerator
physics and operation to anticipate possible failures that could lead to
damage. Machine protection includes beam and equipment monitoring, a system to
safely stop beam operation (e.g. extraction of the beam towards a dedicated
beam dump block or stopping the beam at low energy) and an interlock system
providing the glue between these systems. This lecture will provide an overview
of the design of protection systems for accelerators and introduce various
protection systems. The principles are illustrated with examples from LHC.


title:
Equiatomic quaternary Heusler alloys: a material perspective for
  spintronic applications

abstract:
  Half-metallic ferromagnetic (HMF) materials show high spin polarization and
are therefore interesting to researchers due to their possible applications in
spintronic devices. In these materials, while one spin sub band has a finite
density of states at the Fermi level, the other sub band has a gap. Because of
their high Curie temperature and tunable electronic structure, HMF Heusler
alloys have a special importance among the HMF materials. Full Heusler alloys
with the stoichiometric composition X2YZ (where X and Y are the transition
metals and Z is a sp element) have the cubic structure with four
interpenetrating fcc sublattices. When each of these four fcc sublattices is
occupied by different atoms, a quaternary Heusler structure with different
structural symmetry is obtained. Recently, these equiatomic quaternary Heusler
alloys (EQHAs) with 1:1:1:1 stoichiometry have attracted a lot of attention due
to their superior magnetic and transport properties.


title: Multi-observable Uncertainty Relations in Product Form of Variances

abstract:
  We investigate the product form uncertainty relations of variances for
$n\,(n\geq 3)$ quantum observables. In particular, tight uncertainty relations
satisfied by three observables has been derived, which is shown to be better
than the ones derived from the strengthened Heisenberg and the generalized
Schr\"{o}dinger uncertainty relations, and some existing uncertainty relation
for three spin-half operators. Uncertainty relation of arbitrary number of
observables is also derived. As an example, the uncertainty relation satisfied
by the eight Gell-Mann matrices is presented.


title: Regression Models for Output Prediction of Thermal Dynamics in Buildings

abstract:
  Standard (black-box) regression models may not necessarily suffice for
accurate identification and prediction of thermal dynamics in buildings. This
is particularly apparent when either the flow rate or the inlet temperature of
the thermal medium varies significantly with time. To this end, this paper
analytically derives, using physical insight, and investigates linear
regression models with nonlinear regressors for system identification and
prediction of thermal dynamics in buildings. Comparison is performed with
standard linear regression models with respect to both a) identification error,
and b) prediction performance within a model-predictive-control implementation
for climate control in a residential building. The implementation is performed
through the EnergyPlus building simulator and demonstrates that a careful
consideration of the nonlinear effects may provide significant benefits with
respect to the power consumption.


title:
Prediction of tool-wear in turning of medical grade cobalt chromium
  molybdenum alloy (ASTM F75) using non-parametric Bayesian models

abstract:
  We present a novel approach to estimating the effect of control parameters on
tool wear rates and related changes in the three force components in turning of
medical grade Co-Cr-Mo (ASTM F75) alloy. Co-Cr-Mo is known to be a difficult to
cut material which, due to a combination of mechanical and physical properties,
is used for the critical structural components of implantable medical
prosthetics. We run a designed experiment which enables us to estimate tool
wear from feed rate and cutting speed, and constrain them using a Bayesian
hierarchical Gaussian Process model which enables prediction of tool wear rates
for untried experimental settings. The predicted tool wear rates are non-linear
and, using our models, we can identify experimental settings which optimise the
life of the tool. This approach has potential in the future for realtime
application of data analytics to machining processes.


title:
Protection of Hardware: Powering Systems (Power Converter, Normal
  Conducting, and Superconducting Magnets)

abstract:
  Along with the protection of magnets and power converters, we have added a
section on personnel protection because this is our highest priority in the
design and operation of power systems. Thus, our topics are the protection of
people, power converters, and magnet loads (protected from the powering
equipment), including normal conducting magnets and superconducting magnets.


title:
Effective stiffness and formation of secondary structures in a
  protein-like model

abstract:
  We use Wang-Landau and replica exchange techniques to study the effect of an
increasing stiffness on the formation of secondary structures in protein-like
systems. Two possible models are considered. In both models, a polymer chain is
formed by tethered beads where non-consecutive backbone beads attract each
other via a square-well potential representing the tendency of the chain to
fold. In addition, smaller hard spheres are attached to each non-terminal
backbone bead along the direction normal to the chain to mimic the steric
hindrance of side chains in real proteins. The two models, however, differ in
the way bending rigidity is enforced. In the first model, partial overlap
between consecutive beads is allowed. This reduces the possible bending angle
between consecutive bonds thus producing an effective entropic stiffness that
competes with a short-range attraction, and leads to a formation of secondary
structures characteristic of proteins. We discuss the low-temperature phase
diagram as a function of increasing interpenetration, and find a transition
from a planar, beta-like structure, to helical shape. In the second model, an
energetic stiffness is explicitly introduced by imposing an infinitely large
energy penalty for bending above a critical angle between consecutive bonds,
and no penalty below it. The low-temperature phase of this model does not show
any sign of protein-like secondary structures. At intermediate temperatures,
however, where the chain is still in the coil conformation but stiffness is
significant, we find the two models to predict a quite similar dependence of
the persistence length as a function of the stiffness. This behaviour is
rationalized in terms of a simple geometrical mapping between the two models.
Finally, we discuss the effect of shrinking side chains to zero, and find the
above mapping to still hold true.


title: Rigidity and Flexibility for Handlebody Groups

abstract:
  We show that finite index subgroups of the handlebody group are rigid in
their ambient mapping class group: any injective map of a finite index subgroup
of the genus $g$ handlebody group into the genus $g$ mapping class group is
conjugation by a mapping class group element.
  On the other hand, we construct an injection of the genus $g$ handlebody
group into a genus $h>g$ mapping class group which is not conjugate into a
handlebody group.


title: Orbital obliquities of transiting planets from starspot occultations

abstract:
  When a planet passes in front of a starspot during a transit of its host
star, it causes a small upward blip in the light curve. Modelling the transit
with the starspot allows the size, brightness and position of the spot to be
measured. If the same spot can be observed in two different transits, it is
possible to track the motion of the spot due to the rotation of the star. The
rotation period and velocity of the star (Prot and Vsini) and the sky-projected
orbital obliquity of the system (lambda) can then be determined. If one has
three or more observations of the same spot, the true orbital obliquity (psi)
can be measured. We are performing this analysis for a number of cool stars
orbited by transiting planets. We present our results so far and compile a
catalogue of lambda and psi measurements from spot crossing events. The method
is particularly useful for cool stars, and is therefore complementary to
studies of the Rossiter-McLaughlin effect, which perform better on hotter and
faster-rotating stars.


title: Protection of Accelerator Hardware: RF systems

abstract:
  The radio-frequency (RF) system is the key element that generates electric
fields for beam acceleration. To keep the system reliable, a highly
sophisticated protection scheme is required, which also should be designed to
ensure a good balance between beam availability and machine safety. Since RF
systems are complex, incorporating high-voltage and high-power equipment, a
good portion of machine downtime typically comes from RF systems. Equipment and
component damage in RF systems results in long and expensive repairs.
Protection of RF system hardware is one of the oldest machine protection
concepts, dealing with the protection of individual high-power RF equipment
from breakdowns. As beam power increases in modern accelerators, the protection
of accelerating structures from beam-induced faults also becomes a critical
aspect of protection schemes. In this article, an overview of the RF system is
given, and selected topics of failure mechanisms and examples of protection
requirements are introduced.


title:
Sharp Chandra View of ROSAT All-Sky Survey Bright Sources: I.
  Improvement of Positional Accuracy

abstract:
  The ROSAT All-Sky Survey (RASS) represents one of the most complete and
sensitive soft X-ray all-sky surveys to date. However, the deficient positional
accuracy of the RASS Bright Source Catalog (BSC) and subsequent lack of firm
optical identifications affect the multi-wavelength studies of X-ray sources.
The widely used positional errors $\sigma_{pos}$ based on the Tycho Stars
Catalog (Tycho-1) have previously been applied for identifying objects in the
optical band. The considerably sharper Chandra view covers a fraction of RASS
sources, whose $\sigma_{pos}$ could be improved by utilizing the sub-arcsec
positional accuracy of Chandra observations. We cross-match X-ray objects
between the BSC and \emph{Chandra} sources extracted from the Advanced CCD
Imaging Spectrometer (ACIS) archival observations. A combined counterparts list
(BSCxACIS) with \emph{Chandra} spatial positions weighted by the X-ray flux of
multi-counterparts is employed to evaluate and improve the former
identifications of BSC with the other surveys. Based on these identification
evaluations, we suggest that the point-likeness of BSC sources and INS
(isolated neutron stars) candidates should be carefully reconsidered.


title: Bragg projection ptychography on niobium phase domain

abstract:
  We demonstrate that the highly sensitive phase-contrast properties of Bragg
coherent diffraction measurements combined with the translational diversity of
ptychography can provide a Bragg "dark field" imaging method capable of
revealing the finger print of domain structure in metallic thin films.
Experimental diffraction data was taken from a epitaxially grown niobium
metallic thin film on sapphire; and analysed with the help of a careful
combination of implemented refinement mechanisms.


title: Simulating V+jet processes in heavy ion collisions with JEWEL

abstract:
  Processes in which a jet recoils against an electroweak boson complement
studies of jet quenching in heavy ion collisions at the LHC. As the boson does
not interact strongly it escapes the dense medium unmodified and thus provides
a more direct access to the hard scattering kinematics than can be obtained in
di-jet events. First measurements of jet modification in these processes are
now available from the LHC experiments and will improve greatly with better
statistics in the future. We present an extension of JEWEL to boson-jet
processes. JEWEL is a dynamical framework for jet evolution in a dense
background based on perturbative QCD, that is in agreement with a large variety
of jet observables. We also obtain a good description of the CMS and ATLAS data
for y+jet and Z+jet processes at 2.76 TeV and 5.02 TeV.


title: Estimation from Indirect Supervision with Linear Moments

abstract:
  In structured prediction problems where we have indirect supervision of the
output, maximum marginal likelihood faces two computational obstacles:
non-convexity of the objective and intractability of even a single gradient
computation. In this paper, we bypass both obstacles for a class of what we
call linear indirectly-supervised problems. Our approach is simple: we solve a
linear system to estimate sufficient statistics of the model, which we then use
to estimate parameters via convex optimization. We analyze the statistical
properties of our approach and show empirically that it is effective in two
settings: learning with local privacy constraints and learning from low-cost
count-based annotations.


title: Dispersion Relation of a Surface Wave at a Rough Metal-Air Interface

abstract:
  We derived a dispersion relation of a surface wave at a rough metal-air
interface. In contrast to previous publications, we assumed that an intrinsic
surface impedance due to a finite electric conductivity of the metal can be of
the same order as the roughness-induced impedance. We then applied our results
to the analysis of a long-standing problem of the discrepancy between the
experimental data on the propagation of surface waves in the terahertz range of
frequencies and the classical Drude theory.


title:
Detecting non-binomial sex allocation when developmental mortality
  operates

abstract:
  Optimal sex allocation theory is one of the most intricately developed areas
of evolutionary ecology. Under a range of conditions, particularly under
population sub-division, selection favours sex being allocated to offspring
non-randomly, generating non-binomial variances of offspring group sex ratios.
Detecting non-binomial sex allocation is complicated by stochastic
developmental mortality, as offspring sex can often only be identified on
maturity with the sex of non-maturing offspring remaining unknown. We show that
current approaches for detecting non-binomiality have limited ability to detect
non-binomial sex allocation when developmental mortality has occurred. We
present a new procedure using an explicit model of sex allocation and mortality
and develop a Bayesian model selection approach (available as an R package). We
use the double and multiplicative binomial distributions to model over- and
under-dispersed sex allocation and show how to calculate Bayes factors for
comparing these alternative models to the null hypothesis of binomial sex
allocation. The ability to detect non-binomial sex allocation is greatly
increased, particularly in cases where mortality is common. The use of Bayesian
methods allows for the quantification of the evidence in favour of each
hypothesis, and our modelling approach provides an improved descriptive
capability over existing approaches. We use a simulation study to demonstrate
substantial improvements in power for detecting non-binomial sex allocation in
situations where current methods fail, and we illustrate the approach in real
scenarios using empirically obtained datasets on the sexual composition of
groups of gregarious parasitoid wasps.


title: The radiative proton capture on 16O at astrophysical energies

abstract:
  The possibility of description of the experimental data for the astrophysical
S-factor of the proton radiative capture on 16O to the ground and first excited
states of 17F was considered in the frame of the modified potential cluster
model with forbidden states and classification of the states according to Young
tableaux. It was shown that on the basis of the E1 transitions from the P
states of p16O scattering to the bound states of 17F in the p16O channel, it
generally succeed to explain the value of measured astrophysical S-factors and
reaction rates at astrophysical energies.


title:
Do general relativistic effects limit experiments to test the
  universality of free fall and the weak equivalence principle?

abstract:
  The Universality of Free Fall and the Weak Equivalence Principle, which are
at the basis of General Relativity, have been confirmed to 1 part in 10^13.
Space experiments with macroscopic test masses of different composition
orbiting the Earth inside a low altitude satellite aim at improving this
precision by two orders of magnitude (with the Microscope satellite, launched
on 25 April 2016) and up to four orders of magnitude (with the 'Galileo
Galilei' - GG satellite). At such a high precision many tiny effects must be
taken into account in order to be ruled out as the source of a spurious
violation signal. In this work we investigate the general relativistic effects,
including those which involve the rotation of both the source body and the test
masses, and show that they are by far too small to be considered even in the
most challenging experiment. (Paper to appear on Physical Review D)


title: Hamiltonian cycles in some family of cubic $3$-connected plane graphs

abstract:
  Barnette conjectured that all cubic $3$-connected plane graphs with maximum
face size at most $6$ are hamiltonian. We provide a method of construction of a
hamiltonian cycle (in dual terms) in an arbitrary cubic, $3$-connected plane
graph possessing such a face $g$ that every face incident with $g$ has at most
$5$ edges and every other face has at most $6$ edges.


title: Semi-derived Ringel-Hall algebras and Drinfeld double

abstract:
  Let $\mathcal{A}$ be an arbitrary hereditary abelian category that may not
have enough projective objects. For example, $\mathcal{A}$ can be the category
of finite-dimensional representations of a quiver or the category of coherent
sheaves on a smooth projective curve or on a weighted projective line. Inspired
by the works of Bridgeland and Gorsky, we define the semi-derived Ringel-Hall
algebra of $\mathcal{A}$, denoted by
$\mathcal{S}\mathcal{D}\mathcal{H}_{\mathbb{Z}/2}(\mathcal{A})$, to be the
localization of a quotient algebra of the Ringel-Hall algebra of the category
of $\mathbb{Z}/2$-graded complexes over $\mathcal{A}$.
  We obtain the following three main results. The semi-derived Ringel-Hall
algebra has a natural basis. A twisted version of the semi-derived Ringel-Hall
algebra of $\mathcal{A}$ is isomorphic to the Drinfeld double of the twisted
extended Ringel-Hall algebra $\mathcal{H}_{tw}^e(\mathcal{A})$ of
$\mathcal{A}$. If $\mathcal{A}$ has a tilting object $T$, then its semi-derived
Ringel-Hall algebra is isomorphic to the $\mathbb{Z}/2$-graded semi-derived
Hall algebra $\mathcal{S}\mathcal{D}\mathcal{H}_{\mathbb{Z}/2}(\mathrm{add} T)$
of the exact category $\mathrm{add} T$ defined by Gorsky, and so is isomorphic
to Bridgeland's Hall algebra of $\mod (\mathrm{End}(T)^{op})$.


title: Higher Order Cut Finite Elements for the Wave Equation

abstract:
  The scalar wave equation is solved using higher order immersed finite
elements. We demonstrate that higher order convergence can be obtained. Small
cuts with the background mesh are stabilized by adding penalty terms to the
weak formulation. This ensures that the condition numbers of the mass and
stiffness matrix are independent of how the boundary cuts the mesh. The
penalties consist of jumps in higher order derivatives integrated over the
interior faces of the elements cut by the boundary. The dependence on the
polynomial degree of the condition number of the stabilized mass matrix is
estimated. We conclude that the condition number grows extremely fast when
increasing the polynomial degree of the finite element space. The time step
restriction of the resulting system is investigated numerically and is
concluded not to be worse than for a standard (non-immersed) finite element
method.


title: Robust Output Regulation for Continuous-Time Periodic Systems

abstract:
  We consider controller design for robust output tracking and disturbance
rejection for continuous-time periodic linear systems with periodic reference
and disturbance signals. As our main results we present four different
controllers: A feedforward control law and a discrete-time dynamic error
feedback controller for output tracking and disturbance rejection, a robust
discrete-time feedback controller, and finally a discrete-time feedback
controller that achieves approximate robust output tracking and disturbance
rejection. The presented constructions are also new for time-invariant finite
and infinite-dimensional systems. The results are illustrated with two
examples: A periodically time-dependent system of harmonic oscillators and a
nonautonomous two-dimensional heat equation with boundary disturbance.


title:
Neyman-Pearson (NP) classification algorithms and NP receiver operating
  characteristics (NP-ROC)

abstract:
  In many binary classification applications such as disease diagnosis and spam
detection, practitioners often face great needs to control type I errors (i.e.,
the conditional probability of misclassifying a class 0 observation as class 1)
so that it remains below a desired threshold. To address this need, the
Neyman-Pearson (NP) classification paradigm is a natural choice; it minimizes
type II error (i.e., the conditional probability of misclassifying a class 1
observation as class 0) while enforcing an upper bound, $\alpha$, on the type I
error. Although the NP paradigm has a century-long history in hypothesis
testing, it has not been well recognized and implemented in classification
schemes. Common practices that directly limit the empirical type I error to no
more than $\alpha$ do not satisfy the type I error control objective because
the resulting classifiers are still likely to have type I errors much larger
than $\alpha$. As a result, the NP paradigm has not been properly implemented
for many classification scenarios in practice. In this work, we develop the
first umbrella algorithm that implements the NP paradigm for all scoring-type
classification methods, including popular methods such as logistic regression,
support vector machines and random forests. Powered by this umbrella algorithm,
we propose a novel graphical tool for NP classification methods: NP receiver
operating characteristic (NP-ROC) bands, motivated by the popular receiver
operating characteristic (ROC) curves. NP-ROC bands will help choose $\alpha$
in a data adaptive way and compare different NP classifiers. We demonstrate the
use and properties of the NP umbrella algorithm and NP-ROC bands, available in
the R package nproc, through simulation and real data case studies.


title:
Non-Maxwellian electron distribution functions due to self-generated
  turbulence in collisionless guide-field reconnection

abstract:
  Non-Maxwellian electron velocity space distribution functions (EVDF) are
useful signatures of plasma conditions and non-local consequences of
collisionless magnetic reconnection. In the past, EVDFs were obtained mainly
for antiparallel reconnection and under the influence of weak guide-fields in
the direction perpendicular to the reconnection plane. EVDFs are, however, not
well known, yet, for oblique (or component-) reconnection in dependence on
stronger guide-magnetic fields and for the exhaust (outflow) region of
reconnection away from the diffusion region. In view of the multi-spacecraft
Magnetospheric Multiscale Mission (MMS), we derived the non-Maxwellian EVDFs of
collisionless magnetic reconnection in dependence on the guide-field strength
$b_g$ from small ($b_g\approx0$) to very strong ($b_g=8$) guide-fields, taking
into account the feedback of the self-generated turbulence. For this sake, we
carried out 2.5D fully-kinetic Particle-in-Cell simulations using the ACRONYM
code. We obtained anisotropic EVDFs and electron beams propagating along the
separatrices as well as in the exhaust region of reconnection. The beams are
anisotropic with a higher temperature in the direction perpendicular rather
than parallel to the local magnetic field. The beams propagate in the direction
opposite to the background electrons and cause instabilities. We also obtained
the guide-field dependence of the relative electron-beam drift speed, threshold
and properties of the resulting streaming instabilities including the strongly
non-linear saturation of the self-generated plasma turbulence. This turbulence
and its non-linear feedback cause non-adiabatic parallel electron acceleration
and EVDFs well beyond the limits of the quasi-linear approximation, producing
phase space holes and an isotropizing pitch-angle scattering.


title:
Chiral extrapolation of nucleon axial charge $g_A$ in effective field
  theory

abstract:
  The extrapolation of nucleon axial charge $g_A$ is investigated within the
framework of heavy baryon chiral effective field theory. The intermediate octet
and decuplet baryons are included in the one loop calculation. Finite range
regularization is applied to improve the convergence in the quark-mass
expansion. The lattice data from three different groups are used for the
extrapolation. At physical pion mass, the extrapolated $g_A$ are all smaller
than the experimental value.


title: Iwasawa theory of Rubin-Stark units and class group

abstract:
  Let $K$ be a totally real number field of degree $r=[K:\mathbb{Q}]$ and let
$p$ be an odd rational prime. Let $K_{\infty}$ denote the cyclotomic
$\mathbb{Z}_{p}$-extension of $K$ and let $L_{\infty}$ be a finite extension of
$K_{\infty}$, abelian over $K$. In this article, we extend results of
\cite{Kazim109} relating characteristic ideal of the $\chi$-quotient of the
projective limit of the ideal class groups to the $\chi$-quotient of the
projective limit of the $r$-th exterior power of units modulo Rubin-Stark
units, in the non semi-simple case, for some
$\overline{\mathbb{Q}_{p}}$-irreductible characters $\chi$ of
$\mathrm{Gal}(L_{\infty}/K_{\infty})$.


title: Machine Protection and Operation for LHC

abstract:
  Since 2010 the Large Hadron Collider (LHC) is the accelerator with the
highest stored energy per beam, with a record of 140 MJ at a beam energy of 4
TeV, almost a factor of 50 higher than other accelerators. With such a high
stored energy, machine protection aspects set the boundary conditions for
operation during all phases of the machine cycle. Only the low-intensity
commissioning beams can be considered as relatively safe. This document
discusses the interplay of machine operation and machine protection at the LHC,
from commissioning to regular operation.


title:
Structural attributes and photo-dynamics of visible spectrum quantum
  emitters in hexagonal boron nitride

abstract:
  Newly discovered van der Waals materials like MoS$_2$, WSe$_2$, hexagonal
boron nitride (h-BN), and recently $\mathrm{C}_2\mathrm{N}$ have sparked
intensive research to unveil the quantum behavior associated with their 2D
structure. Of great interest are 2D materials that host single quantum
emitters. h-BN, with a band gap of 5.95 eV, has been shown to host single
quantum emitters which are stable at room temperature in the UV and visible
spectral range. In this paper we investigate correlations between h-BN
structural features and emitter location from bulk down to the monolayer at
room temperature. We demonstrate that chemical etching and ion irradiation can
generate emitters in h-BN. We analyze the emitters' spectral features and show
that they are dominated by the interaction of their electronic transition with
a single Raman active mode of h-BN. Photodynamics analysis reveals diverse
rates between the electronic states of the emitter. The emitters show excellent
photo stability even under ambient conditions and in monolayers. Comparing the
excitation polarization between different emitters unveils a connection between
defect orientation and the h-BN hexagonal structure. The sharp spectral
features, color diversity, room-temperature stability, long-lived metastable
states, ease of fabrication, proximity of the emitters to the environment,
outstanding chemical stability, and biocompatibility of h-BN provide a
completely new class of systems that can be used for sensing and quantum
photonics applications.


title: Optimality conditions in convex multiobjective SIP

abstract:
  The purpose of this paper is to characterize the weak efficient solutions,
the efficient solutions, and the isolated efficient solutions of a given vector
optimization problem with finitely many convex objective functions and
infinitely many convex constraints. To do this, we introduce new and already
known data qualifications (conditions involving the constraints and/or the
objectives) in order to get optimality conditions which are expressed in terms
of either Karusk-Kuhn-Tucker multipliers or a new gap function associated with
the given problem.


title: Semilattice Indecomposable Finite Semigroups With Large Subsemilattices

abstract:
  In this paper we show that if $Y$ is a subsemilattice of a finite semilattice
indecomposable semigroup $S$ then $|Y|\leq 2\left\lfloor
\frac{|S|-1}{4}\right\rfloor+1$. We also characterize finite semilattice
indecomposable semigroups $S$ which contains a subsemilattice $Y$ with
$|S|=4k+1$ and $|Y|=2\left\lfloor \frac{|S|-1}{4}\right\rfloor+1=2k+1$. They
are special inverse semigroups. Our investigation is based on our new result
proved in this paper which characterize finite semilattice indecomposable
semigroups with a zero by only use the properties of its semigroup algebra.


title: Ring polymers in confined geometries

abstract:
  The investigation of a dilute solution of phantom ideal ring polymers and
ring polymers with excluded volume interactions (EVI) in a good solvent
confined in a slit geometry of two parallel repulsive walls and in a solution
of colloidal particles of big size was performed. Taking into account the
correspondence between the field theoretical $\phi^4$ $O(n)$-vector model in
the limit $n\to 0$ and the behaviour of long-flexible polymers in a good
solvent, the correspondent depletion forces and the forces which exert phantom
ideal ring polymers and ring polymers with EVI on the walls were obtained in
the framework of the massive field theory approach at fixed space dimensions
$d$=3 up to one-loop order. Besides, taking into account the Derjaguin
approximation, the depletion forces between big colloidal particle and a wall
and in the case of two big colloidal particles were calculated. The obtained
results indicate that phantom ideal ring polymers and ring polymers with EVI
due to the complexity of chain topology and for entropical reasons demonstrate
a completely different behaviour in confined geometries compared with linear
polymers.


title:
The Sparse Awakens: Streaming Algorithms for Matching Size Estimation in
  Sparse Graphs

abstract:
  Estimating the size of the maximum matching is a canonical problem in graph
algorithms, and one that has attracted extensive study over a range of
different computational models. We present improved streaming algorithms for
approximating the size of maximum matching with sparse (bounded arboricity)
graphs.
  * Insert-Only Streams: We present a one-pass algorithm that takes O(c log^2
n) space and approximates the size of the maximum matching in graphs with
arboricity c within a factor of O(c). This improves significantly on the
state-of-the-art O~(cn^{2/3})-space streaming algorithms.
  * Dynamic Streams: Given a dynamic graph stream (i.e., inserts and deletes)
of edges of an underlying c-bounded arboricity graph, we present a one-pass
algorithm that uses space O~(c^{10/3}n^{2/3}) and returns an O(c)-estimator for
the size of the maximum matching. This algorithm improves the state-of-the-art
O~(cn^{4/5})-space algorithms, where the O~(.) notation hides logarithmic in
$n$ dependencies.
  In contrast to the previous works, our results take more advantage of the
streaming access to the input and characterize the matching size based on the
ordering of the edges in the stream in addition to the degree distributions and
structural properties of the sparse graphs.


title:
Observation of room-temperature spontaneous superradiance from single
  diamond nanocrystals

abstract:
  We report the observation of room-temperature superradiance from single,
highly luminescent diamond nanocrystals with spatial dimensions much smaller
than the wavelength of light, and each containing a large number (~10^3) of
embedded nitrogen-vacancy (NV) centres. After excitation of the nanodiamonds
with an off-resonant, green laser pulse, we observe i) ultrafast radiative
lifetimes down to ~ 1 ns, and ii) super-Poissonian photon bunching in the
autocorrelation function of the light emitted from the fastest nanodiamonds. We
explain our findings with a detailed theoretical model based on collective
Dicke states and well-known properties of NV centres. Using a minimal set of
fit parameters, the model captures both the wide range of different lifetimes
and the nontrivial photon correlations found in the experiments. The results
pave the way towards a systematic study of superradiance in a well controlled,
solid-state quantum system at room temperature. Ultimately, quantum engineering
of superradiance in diamond has the potential for advancing applications in
quantum sensing, energy harvesting, and efficient photon detection.


title:
Tristable and multiple bistable activity in complex random binary
  networks of two-state units

abstract:
  We study complex networks of stochastic two-state units. Our aim is to model
discrete stochastic excitable dynamics with a rest and an excited state. Both
states are assumed to possess different waiting time distributions. The rest
state is treated as an activation process with an exponentially distributed
life time, whereas the latter in the excited state shall have a constant mean
which may originate from any distribution. The activation rate of any single
unit is determined by its neighbors according to a random complex network
structure. In order to treat this problem in an analytical way, we use a
heterogeneous mean-field approximation yielding a set of equations general
valid for uncorrelated random networks. Based on this derivation we focus on
random binary networks where the network is solely comprised of nodes with
either of two degrees. The ratio between the two degrees is shown to be a
crucial parameter. Dependent on the composition of the network the steady
states show the usual transition from disorder to homogeneous ordered
bistability as well as new scenarios that include inhomogeneous ordered and
disordered bistability as well as tristability. The various steady states
differ in their spiking activity expressed by a state dependent spiking rate.
Numerical simulations agree with analytic results of the heterogeneous
mean-field approximation.


title: New methods for creating superoscillations

abstract:
  Superoscillating functions, i.e., functions that locally oscillate at a rate
faster than their highest Fourier component, are of interest for applications
from fundamental physics to engineering. Here, we develop a new method which
allows one to construct superoscillations of arbitrarily high frequency and
arbitrarily long duration in a computationally efficient way. We also present a
method for constructing non-singular Schr\"odinger potentials whose ground
state is a superoscillating wave function.


title:
Pisot units, Salem numbers and higher dimensional projective manifolds
  with primitive automorphisms of positive entropy

abstract:
  We show that, in any dimension greater than one, there are an abelian
variety, a smooth rational variety and a Calabi-Yau manifold, with primitive
birational automorphisms of first dynamical degree $>1$. We also show that
there are smooth complex projective Calabi-Yau manifolds and smooth rational
manifolds, of any even dimension, with primitive biregular automorphisms of
positive topological entropy.


title:
Escaping Local Optima using Crossover with Emergent or Reinforced
  Diversity

abstract:
  Population diversity is essential for avoiding premature convergence in
Genetic Algorithms (GAs) and for the effective use of crossover. Yet the
dynamics of how diversity emerges in populations are not well understood. We
use rigorous runtime analysis to gain insight into population dynamics and GA
performance for the ($\mu$+1) GA and the $\text{Jump}_k$ test function. We show
that the interplay of crossover and mutation may serve as a catalyst leading to
a sudden burst of diversity. This leads to improvements of the expected
optimisation time of order $\Omega(n/\log n)$ compared to mutation-only
algorithms like (1+1) EA. Moreover, increasing the mutation rate by an
arbitrarily small constant factor can facilitate the generation of diversity,
leading to speedups of order $\Omega(n)$. We also compare seven commonly used
diversity mechanisms and evaluate their impact on runtime bounds for the
($\mu$+1) GA. All previous results in this context only hold for
unrealistically low crossover probability $p_c=O(k/n)$, while we give analyses
for the setting of constant $p_c < 1$ in all but one case.
  For the typical case of constant $k > 2$ and constant $p_c$, we can compare
the resulting expected runtimes for different diversity mechanisms assuming an
optimal choice of $\mu$: $O(n^{k-1})$ for duplicate elimination/minim.,
$O(n^2\log n)$ for maximising the convex hull, $O(n\log n)$ for deterministic
crowding (assuming $p_c = k/n$), $O(n\log n)$ for maximising Hamming distance,
$O(n\log n)$ for fitness sharing, $O(n\log n)$ for single-receiver island
model.
  This proves a sizeable advantage of all variants of the ($\mu$+1) GA compared
to (1+1) EA, which requires time $\Theta(n^k)$. Experiments complement our
theoretical findings and further highlight the benefits of crossover and
diversity on $\text{Jump}_k$.


title:
The Hubble Space Telescope UV Legacy Survey of Galactic Globular
  Clusters. X. The radial distribution of stellar populations in NGC 2808

abstract:
  Due to their extreme helium abundance, the multiple stellar populations of
the globular cluster NGC 2808 have been widely investigated from a photometric,
spectroscopic, and kinematic perspective. The most striking feature of the
color-magnitude diagram of NGC 2808 is the triple main sequence (MS), with the
red MS corresponding to a stellar population with primordial helium, and the
middle and the blue MS being enhanced in helium up to Y$\sim$0.32 and
$\sim$0.38, respectively. A recent study has revealed that this massive cluster
hosts at least five distinct stellar populations (A, B, C, D, and E). Among
them populations A, B, and C correspond to the red MS, while populations C and
D are connected to the middle and the blue MS. In this paper we exploit
Hubble-Space-Telescope photometry to investigate the radial distribution of the
red, the middle and the blue MS from the cluster center out to about 8.5
arcmin. Our analysis shows that the radial distribution of each of the three
MSs is different. In particular, as predicted from multiple-population
formation models, both the blue MS and the middle MS appears to be more
concentrated than the red MS with a significance level for this result wich is
above 3{\sigma}.


title: A Note on the Expressiveness of BIP

abstract:
  We extend our previous algebraic formalisation of the notion of
component-based framework in order to formally define two forms, strong and
weak, of the notion of full expressiveness. Our earlier result shows that the
BIP (Behaviour-Interaction-Priority) framework does not possess the strong full
expressiveness. In this paper, we show that BIP has the weak form of this
notion and provide results detailing weak and strong full expressiveness for
classical BIP and several modifications, obtained by relaxing the constraints
imposed on priority models.


title: Higher-order Processes with Parameterization over Names and Processes

abstract:
  Parameterization extends higher-order processes with the capability of
abstraction and application (like those in lambda-calculus). This extension is
strict, i.e., higher-order processes equipped with parameterization is
computationally more powerful. This paper studies higher-order processes with
two kinds of parameterization: one on names and the other on processes
themselves. We present two results. One is that in presence of
parameterization, higher-order processes can encode first-order (name-passing)
processes in a quite neat fashion, in contrast to the fact that higher-order
processes without parameterization cannot encode first-order processes at all.
In the other result, we provide a simpler characterization of the (standard)
context bisimulation for higher-order processes with parameterization, in terms
of the normal bisimulation that stems from the well-known normal
characterization for higher-order calculus. These two results demonstrate more
essence of the parameterization method in the higher-order paradigm toward
expressiveness and behavioural equivalence.


title: Self-Similarity Breeds Resilience

abstract:
  Self-similarity is the property of a system being similar to a part of
itself. We posit that a special class of behaviourally self-similar systems
exhibits a degree of resilience to adversarial behaviour. We formalise the
notions of system, adversary and resilience in operational terms, based on
transition systems and observations. While the general problem of proving
systems to be behaviourally self-similar is undecidable, we show, by casting
them in the framework of well-structured transition systems, that there is an
interesting class of systems for which the problem is decidable. We illustrate
our prescriptive framework for resilience with some small examples, e.g.,
systems robust to failures in a fail-stop model, and those avoiding
side-channel attacks.


title: Unique Parallel Decomposition for the Pi-calculus

abstract:
  A (fragment of a) process algebra satisfies unique parallel decomposition if
the definable behaviours admit a unique decomposition into indecomposable
parallel components. In this paper we prove that finite processes of the
pi-calculus, i.e. processes that perform no infinite executions, satisfy this
property modulo strong bisimilarity and weak bisimilarity. Our results are
obtained by an application of a general technique for establishing unique
parallel decomposition using decomposition orders.


title: Reversible Multiparty Sessions with Checkpoints

abstract:
  Reversible interactions model different scenarios, like biochemical systems
and human as well as automatic negotiations. We abstract interactions via
multiparty sessions enriched with named checkpoints. Computations can either go
forward or roll back to some checkpoints, where possibly different choices may
be taken. In this way communications can be undone and different conversations
may be tried. Interactions are typed with global types, which control also
rollbacks. Typeability of session participants in agreement with global types
ensures session fidelity and progress of reversible communications.


title:
Ghost features in Doppler-broadened spectra of rovibrational transitions
  in trapped HD$^+$ ions

abstract:
  Doppler broadening plays an important role in laser rovibrational
spectroscopy of trapped deuterated molecular hydrogen ions (HD$^+$), even at
the millikelvin temperatures achieved through sympathetic cooling by
laser-cooled beryllium ions. Recently, Biesheuvel \textit{et al.}
\cite{Biesheuvel2016} presented a theoretical lineshape model for such
transitions which not only considers linestrengths and Doppler broadening, but
also the finite sample size and population redistribution by blackbody
radiation, which are important in view of the long storage and probe times
achievable in ion traps. Here, we employ the rate equation model developed by
Biesheuvel \textit{et al.} to theoretically study the Doppler-broadened
hyperfine structure of the $(v,L):(0,3)\rightarrow(4,2)$ rovibrational
transition in HD$^+$ at 1442~nm. We observe prominent yet hitherto unrecognized
ghost features in the simulated spectrum, whose positions depend on the Doppler
width, transition rates, and saturation levels of the hyperfine components
addressed by the laser. We explain the origin and behavior of such features,
and we provide a simple quantitative guideline to assess whether ghost features
may appear. As such ghost features may be common to saturated Doppler-broadened
spectra of rotational and vibrational transitions in trapped ions composed of
partly overlapping lines, our work illustrates the necessity to use lineshape
models that take into account all the relevant physics.


title: Proceedings 9th Interaction and Concurrency Experience

abstract:
  This volume contains the proceedings of ICE 2016, the 9th Interaction and
Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th
of June 2016 as a satellite event of DisCoTec 2016. The ICE procedure for paper
selection allows PC members to interact, anonymously, with authors. During the
review phase, each submitted paper is published on a discussion forum whose
access is restricted to the authors and to all the PC members not declaring a
conflict of interest. The PC members post comments and questions that the
authors reply to. For the first time, the 2016 edition of ICE included a
feature targeting review transparency: reviews of accepted papers were made
public on the workshop website and workshop participants in particular were
able to access them during the workshop. Each paper was reviewed by three PC
members, and altogether nine papers were accepted for publication (the workshop
also featured three brief announcements which are not part of this volume). We
were proud to host two invited talks, by Alexandra Silva and Uwe Nestmann. The
abstracts of these two talks are included in this volume together with the
regular papers.


title:
NEBULAR: A simple synthesis code for the hydrogen and helium nebular
  spectrum

abstract:
  NEBULAR is a lightweight code to synthesize the spectrum of an ideal, mixed
hydrogen and helium gas in ionization equilibrium, over a useful range of
densities, temperatures and wavelengths. Free-free, free-bound and two-photon
continua are included as well as parts of the HI, HeI and HeII line series.
NEBULAR interpolates over publicly available data tables; it can be used to
easily extract information from these tables without prior knowledge about
their data structure. The resulting spectra can be used to e.g. determine
equivalent line widths, constrain the contribution of the nebular continuum to
a bandpass, and for educational purposes. NEBULAR can resample the spectrum on
a user-defined wavelength grid for direct comparison with an observed spectrum;
however, it can not be used to fit an observed spectrum.


title:
Do Black Holes Exist in a Finite Universe Having the Topology of a Flat
  3-Torus?

abstract:
  Based on perturbation theory, we present the exact first-order solution to
the Einstein equations for the exterior static gravitational field of an
isolated non-rotating star in a spatially finite universe having the topology
of a flat 3-torus. Since the method of images leads to a divergent Poincare'
series, one needs a regularization which we achieve by using the Appell
respectively the Epstein zeta function. The solution depends on a new positive
constant which is completely fixed by the mass of the star and the spatial
volume of the universe. The physical interpretation is that a stable or
metastable equilibrium requires a topological dark energy which fills the whole
universe with positive energy density and negative pressure. The properties of
the gravitational field are discussed in detail. In particular, its anisotropy
is made explicit by deriving an exact multipole expansion which shows that in
this case Birkhoff's theorem does not hold. While the monopole describes the
Newtonian potential, there is no dipole but always a non-vanishing quadrupole
which leads to a repulsive force experienced by a planet at rest. Finally, we
put forward the conjecture that black holes exist in a toroidal universe and
that their gravitational field is in the weak-field limit well approximated by
the first-order field.


title: Some unified integrals associated with generalized struve function

abstract:
  This paper is devoted for the study of a new generalization of Struve
function type. In this paper , We establish four new integral formulas
involving the Galue type Struve function, which are express in term of the
generalized (Wright) hypergeometric functions. The result established here are
general in nature and are likely to find useful in applied problem of Sciences,
engineering and technology.


title: Local duality for structured ring spectra

abstract:
  We use the abstract framework constructed in our earlier paper to study local
duality for Noetherian $\mathbb{E}_{\infty}$-ring spectra. In particular, we
compute the local cohomology of relative dualizing modules for finite morphisms
of ring spectra, thereby generalizing the local duality theorem of Benson and
Greenlees. We then explain how our results apply to the modular representation
theory of compact Lie groups and finite group schemes, which recovers the
theory previously developed by Benson, Iyengar, Krause, and Pevtsova.


title:
Local Well-Posedness for the Derivative Nonlinear Schr\"odinger
  Equations with $L^2$ Subcritical Data

abstract:
  We will show its local well-posedness in modulation spaces
$M^{1/2}_{2,q}({\Real})$ $(2\leq q<\infty) $. It is well-known that $H^{1/2}$
is a critical Sobolev space of DNLS so that it is locally well-posedness in
$H^s$ for $s\geq 1/2$ and ill-posed in $H^{s'}$ with $s'<1/2.$ Noticing that
that $M^{1/2}_{2,q} \subset B^{1/q}_{2,q}$ is a sharp embedding and $L^2
\subset B^0_{2,\infty}$, our result contains all of the subcritical data in
$M^{1/2}_{2,q}$, which contains a class of functions in $L^2\setminus H^{1/2}$.


title: On the structure of virtually nilpotent compact $p$-adic analytic groups

abstract:
  Let $G$ be a compact $p$-adic analytic group. We recall the well-understood
finite radical $\Delta^+$ and FC-centre $\Delta$, and introduce a $p$-adic
analogue of Roseblade's subgroup $\mathrm{nio}(G)$, the unique largest
orbitally sound open normal subgroup of $G$. Further, when $G$ is
nilpotent-by-finite, we introduce the finite-by-(nilpotent $p$-valuable)
radical $\mathbf{FN}_p(G)$, an open characteristic subgroup of $G$ contained in
$\mathrm{nio}(G)$. By relating the already well-known theory of isolators with
Lazard's notion of $p$-saturations, we introduce the isolated lower central
(resp. isolated derived) series of a nilpotent (resp. soluble) $p$-valuable
group of finite rank, and use this to study the conjugation action of
$\mathrm{nio}(G)$ on $\mathbf{FN}_p(G)$. We emerge with a structure theorem for
$G$, $$1 \leq \Delta^+ \leq \Delta \leq \mathbf{FN}_p(G) \leq \mathrm{nio}(G)
\leq G,$$ in which the various quotients of this series of groups are well
understood. This sheds light on the ideal structure of the Iwasawa algebras
(i.e. the completed group rings $kG$) of such groups, and will be used in
future work to study the prime ideals of these rings.


title: Linear evolution equations in scales of Banach spaces

abstract:
  This work is devoted to the study of a class of linear time-inhomogeneous
evolution equations in a scale of Banach spaces. Existence, uniquenss and
stability for classical solutions is provided. We study also the associated
dual Cauchy problem for which we prove uniqueness in the dual scale of Banach
spaces. The results are applied to an infinite system of ordinary differential
equations but also to the Fokker-Planck equation associated with the spatial
logistic model in the continuum.


title:
Liquid crystal defects in the Landau-de Gennes theory in two
  dimensions-beyond the one-constant approximation

abstract:
  We consider the two-dimensional Landau-de Gennes energy with several elastic
constants, subject to general $k$-radially symmetric boundary conditions. We
show that for generic elastic constants the critical points consistent with the
symmetry of the boundary conditions exist only in the case $k=2$. In this case
we identify three types of radial profiles: with two, three of full five
components and numerically investigate their minimality and stability depending
on suitable parameters. We also numerically study the stability properties of
the critical points of the Landau-de Gennes energy and capture the intricate
dependence of various qualitative features of these solutions on the elastic
constants and the physical regimes of the liquid crystal system.


title: A Mid-level Planning System for Object Reorientation

abstract:
  This paper presents a mid-level planning system for object reorientation. It
includes a grasp planner, a placement planner, and a regrasp sequence solver.
Given the initial and goal poses of an object, the mid-level planning system
finds a sequence of hand configurations that reorient the object from the
initial to the goal. This mid-level planning system is open to low-level motion
planning algorithm by providing two end-effector poses as the input. It is also
open to high-level symbolic planners by providing interface functions like
placing an object to a given position at a given rotation. The planning system
is demonstrated with several simulation examples and real-robot executions
using a Kawada Hiro robot and Robotiq 85 grippers.


title: Fermion Bag Approach for Massive Thirring Model at Finite Density

abstract:
  We consider the 2+1 dimensional massive Thirring model with one flavor at
finite density. Two numerical methods, fermion bag approach and complex
Langevin dynamics, are used to calculate the chiral condensate and fermion
density of this model. The numerical results obtained by fermion bag approach
are compared with those obtained by complex Langevin dynamics. They are also
compared with those obtained under phase quenched approximation. We show that
in some range of fermion coupling strength and chemical potential the sign
problem in fermion bag approach is mild, while it becomes severe for the
complex Langevin dynamics.


title: On the irreducibility of associated varieties of W-algebras

abstract:
  We investigate the irreducibility of the nilpotent Slodowy slices that appear
as the associated variety of W-algebras. Furthermore, we provide new examples
of vertex algebras whose associated variety has finitely many symplectic
leaves.


title: Some notes on Morita equivalence of Operator Algebras

abstract:
  In this paper we present some key moments in the history of Morita
equivalence for operator algebras.


title:
The multiplicity problem for periodic orbits of magnetic flows on the
  2-sphere

abstract:
  We consider magnetic Tonelli Hamiltonian systems on the cotangent bundle of
the 2-sphere, where the magnetic form is not necessarily exact. It is known
that, on very low and on high energy levels, these systems may have only
finitely many periodic orbits. Our main result asserts that almost all energy
levels in a precisely characterized intermediate range $(e_0,e_1)$ possess
infinitely many periodic orbits. Such a range of energies is non-empty, for
instance, in the physically relevant case where the Tonelli Lagrangian is a
kinetic energy and the magnetic form is oscillating (in which case, $e_0=0$ is
the minimal energy of the system).


title: Physical model of the genotype-to-phenotype map of proteins

abstract:
  How DNA is mapped to functional proteins is a basic question of living
matter. We introduce and study a physical model of protein evolution which
suggests a mechanical basis for this map. Many proteins rely on large-scale
motion to function. We therefore treat protein as learning amorphous matter
that evolves towards such a mechanical function: Genes are binary sequences
that encode the connectivity of the amino acid network that makes a protein.
The gene is evolved until the network forms a shear band across the protein,
which allows for long-range, soft modes required for protein function. The
evolution reduces the high-dimensional sequence space to a low-dimensional
space of mechanical modes, in accord with the observed dimensional reduction
between genotype and phenotype of proteins. Spectral analysis of the space of
$10^6$ solutions shows a strong correspondence between localization around the
shear band of both mechanical modes and the sequence structure. Specifically,
our model shows how mutations of the gene and their correlations occur at amino
acids whose interactions determine the functional mode.


title: SPM Bulletin 39

abstract:
  With the approaching TOPOSYM'16 (http://www.toposym.cz/programme.php), it is
a pleasure to see selection principles gain increasing attention and becoming a
standard part of topology and set theory. At least eight of the 28 speakers,
and a good number of the contributed lecture speakers, made substantial
contributions to this topic in their career. For some of these, SPs constitute
the main topic of research in the last few years. This is in accordance with
the continuous progress on the topic, some of which reported in this bulletin.


title: Spirals in protoplanetary disks from photon travel time

abstract:
  Spiral structures are a common feature in scattered-light images of
protoplanetary disks, and of great interest as possible tracers of the presence
of planets. However, other mechanisms have been put foward to explain them,
including self-gravity, disk-envelope interactions, and dead zone boundaries.
These mechanisms explain many spirals very well, but are unable to easily
account for very loosely wound spirals and single spiral arms. We study the
effect of light travel time on the shape of a shadow cast by a clump orbiting
close (within ${\sim}1\,$au) of the central star, where there can be
significant orbital motion during the light travel time from the clump to the
outer disk and then to the sky plane. This delay in light rays reaching the sky
plane gives rise to a variety of spiral- and arc-shaped shadows, which we
describe with a general fitting formula for a flared, inclined disk.


title:
New perspective for black hole thermodynamics in
  Gauss-Bonnet-Born-Infeld massive gravity

abstract:
  Following earlier study regarding Einstein-Gauss-Bonnet-massive black holes
in the presence of Born-Infeld nonlinear electromagnetic field [S. H. Hendi, B.
Eslam Panah and S. Panahiyan, arXiv:1510.00108], we study thermodynamical
structure and critical behavior of these black holes through various methods in
this paper. Geometrical thermodynamics is employed to give a picture regarding
phase transition of these black holes. Next, a new method is used to derive
critical pressure and horizon radius of these black holes. In addition, Maxwell
equal area law is employed to study the Van der Waals like behavior of these
black holes. Moreover, the critical exponents are calculated and by using
Ehrenfest equations, the type of the phase transitions are determined.


title:
Ejector and propeller spin-down: How might a superluminous supernova
  millisecond magnetar become the 6.67 hr pulsar in RCW103

abstract:
  The X-ray source 1E 161348-5055 in the supernova remnant RCW 103 recently
exhibited X-ray activity typical of magnetars, i.e. neutron stars with magnetic
fields > 10^14-10^15 G. However, 1E 161348-5055 has an observed period of 6.67
hr, in contrast to magnetars which have a spin period of seconds. Here we
describe a simple model which can explain the spin evolution of 1E 161348-5055,
as well as other magnetars, from an initial period of milliseconds that would
be required for dynamo generation of magnetar-strength magnetic fields. We
propose that the key difference between 1E 161348-5055 and other magnetars is
the persistence of a remnant disk of small total mass. This disk caused 1E
161348-5055 to undergo ejector and propeller phases in its life, during which
strong torques caused a rapid increase of its spin period. By matching its
observed spin period and ~1-3 kyr age, we find that 1E 161348-5055 has the
(slightly) highest magnetic field of all known magnetars, with B~5x10^15 G, and
that its disk had a mass of ~10^24 g, comparable to that of the asteroid Ceres.


title:
Spatio-Temporal Steering for Testing Nonclassical Correlations in
  Quantum Networks

abstract:
  We introduce the concept of spatio-temporal steering (STS), which reduces, in
special cases, to Einstein-Podolsky-Rosen steering and the recently-introduced
temporal steering. We describe two measures of this effect referred to as the
STS weight and robustness. We suggest that these STS measures enable a new way
to assess nonclassical correlations in an open quantum network, such as quantum
transport through nano-structures or excitation transfer in a complex
biological system. As one of our examples, we apply STS to check nonclassical
correlations among sites in a photosynthetic pigment-protein complex in the
Fenna-Matthews-Olson model.


title: Squareness for the Monopole-Dimer model

abstract:
  The monopole-dimer model introduced recently is an exactly-solvable signed
generalisation of the dimer model. We show that the partition function of the
monopole-dimer model on a graph invariant under a fixed-point free involution
is a perfect square. We give a combinatorial interpretation of the square-root
of the partition function for such graphs in terms of a monopole-dimer model on
a new kind of graph with two types of edges which we call a dicot. The
partition function of the latter can be written as a determinant, this time of
a complex adjacency matrix. This formulation generalises T. T. Wu's assignment
of imaginary orientation for the grid graph to planar dicots. As an
application, we compute the partition function for a family of non-planar
dicots with positive weights.


title:
Antiferromagnetic spin cantings as a driving force of ferroelectricity
  in multiferroic Cu2OSeO3

abstract:
  Ferroelectric properties of cubic chiral magnet Cu2OSeO3 can emerge due to
the spin noncollinearity induced by antiferromagnetic cantings. These cantings
are the result of the Dzyaloshinskii-Moriya interaction and in many ways
similar to the ferromagnetic cantings in weak ferromagnets. An expression for
the local electric polarization is derived, including terms with gradients of
magnetization M(r). When averaged over the crystal the electric polarization
has a non-vanishing part associated with the anisotropy of the crystal point
group 23. In the framework of the microscopic theory, it is shown that both
scalar and vector products of spins, (s1 . s2) and [s1 x s2], can give
contributions of the same order in the electric polarization.


title: Fast approximate delivery of fluence maps: the VMAT case

abstract:
  In this article we provide a method to generate the trade-off between
delivery time and fluence map matching quality for volumetric modulated arc
therapy (VMAT). At the heart of our method lies a mathematical programming
model that, for a given duration of delivery, optimizes leaf trajectories and
dose rates such that the desired fluence map is reproduced as well as possible.
This model was presented for the single map case in a companion paper (Fast
approximate delivery of fluence maps: the single map case). The resulting
large-scale, non-convex optimization problem was solved using a heuristic
approach. The single-map approach cannot directly be applied to the full arc
case due to the large increase in model size, the issue of allocating delivery
times to each of the arc segments, and the fact that the ending leaf positions
for one map will be the starting leaf positions for the next map. In this
article the method proposed in \cite{dm1} is extended to solve the full map
treatment planning problem. We test our method using a prostate case and a head
and neck case, and present the resulting trade-off curves. Analysis of the leaf
trajectories reveal that short time plans have larger leaf openings in general
than longer delivery time plans. Our method allows one to explore the continuum
of possibilities between coarse, large segment plans characteristic of direct
aperture approaches and narrow field plans produced by sliding window
approaches. Exposing this trade off will allow for an informed choice between
plan quality and solution time. Further research is required to speed up the
optimization process to make this method clinically implementable.


title:
Modelling, simulation and inference for multivariate time series of
  counts

abstract:
  This article presents a new continuous-time modelling framework for
multivariate time series of counts which have an infinitely divisible marginal
distribution. The model is based on a mixed moving average process driven by
L\'{e}vy noise - called a trawl process - where the serial correlation and the
cross-sectional dependence are modelled independently of each other. Such
processes can exhibit short or long memory. We derive a stochastic simulation
algorithm and a statistical inference method for such processes. The new
methodology is then applied to high frequency financial data, where we
investigate the relationship between the number of limit order submissions and
deletions in a limit order book.


title:
Classification of $\mathfrak{sl}_3$ relations in the Witt group of
  nondegenerate braided fusion categories

abstract:
  The Witt group of nondegenerate braided fusion categories $\mathcal{W}$
contains a subgroup $\mathcal{W}_\text{un}$ consisting of Witt equivalence
classes of pseudo-unitary nondegenerate braided fusion categories. For each
finite-dimensional simple Lie algebra $\mathfrak{g}$ and positive integer $k$
there exists a pseudo-unitary category $\mathcal{C}(\mathfrak{g},k)$ consisting
of highest weight integerable $\hat{g}$-modules of level $k$ where
$\hat{\mathfrak{g}}$ is the corresponding affine Lie algebra. Relations between
the classes $[\mathcal{C}(\mathfrak{sl}_2,k)]$, $k\geq1$ have been completely
described in the work of Davydov, Nikshych, and Ostrik. Here we give a complete
classification of relations between the classes
$[\mathcal{C}(\mathfrak{sl}_3,k)]$, $k\geq1$ with a view toward extending these
methods to arbitrary simple finite dimensional Lie algebras $\mathfrak{g}$ and
positive integer levels $k$.


title: Kinetic small angle neutron scattering of the Skyrmion lattice in MnSi

abstract:
  We report a kinetic small angle neutron scattering study of the skyrmion
lattice (SL) in MnSi. Induced by an oscillatory tilting of the magnetic field
direction, the elasticity and relaxation of the SL along the magnetic field
direction have been measured with microsecond resolution. For the excitation
frequency of 325 Hz the SL begins to track the tilting motion of the applied
magnetic field under tilting angles exceeding $\alpha_c$ > 0.4{\deg}.
Empirically the associated angular velocity of the tilting connects
quantitatively with the critical charge carrier velocity of approx. 0.1mm/s
under current driven spin transfer torques, for which the SL unpins. In
addition, a pronounced temperature dependence of the skyrmion motion is
attributed to the variation of the skyrmion stiffness. Taken together our study
highlights the power of kinetic small angle neutron scattering as a new
experimental tool to explore, in a rather general manner, the elasticity and
impurity pinning of magnetic textures across a wide parameter space without
parasitic signal interferences due to ohmic heating or Oersted magnetic fields.


title:
A Multi-Index Quasi-Monte Carlo Algorithm for Lognormal Diffusion
  Problems

abstract:
  We present a Multi-Index Quasi-Monte Carlo method for the solution of
elliptic partial differential equations with random coefficients. By combining
the multi-index sampling idea with randomly shifted rank-1 lattice rules, the
algorithm constructs an estimator for the expected value of some functional of
the solution. The efficiency of this new method is illustrated on a
three-dimensional subsurface flow problem with lognormal diffusion coefficient
with underlying Mat\'ern covariance function. This example is particularly
challenging because of the small correlation length considered, and thus the
large number of uncertainties that must be included. We show numerical evidence
that it is possible to achieve a cost inversely proportional to the requested
tolerance on the root-mean-square error, for problems with a smoothly varying
random field


title:
Impact of ADC non-linearities on the sensitivity to sterile keV
  neutrinos with a KATRIN-like experiment

abstract:
  ADC non-linearities are a major systematic effect in the search for keV-scale
sterile neutrinos with tritium $\beta$-decay experiments like KATRIN. They can
significantly distort the spectral shape and thereby obscure the tiny kink-like
signature of a sterile neutrino. In this work we demonstrate various mitigation
techniques to reduce the impact of ADC non-linearities on the tritium
$\beta$-decay spectrum to a level of $<$ ppm. The best results are achieved
with a multi-pixel ($\geq10^4$ pixels) detector using full waveform
digitization. In this case, active-to-sterile mixing angles of the order of
$\sin^2 \theta = 10^{-7}$ would be accessible from the viewpoint of ADC
non-linearities. With purely peak-sensing ADCs a comparable sensitivity could
be reached with highly linear ADCs, sufficient non-linearity corrections or by
increasing the number of pixels to $\geq 10^5$.


title: Beam Cleaning and Collimation Systems

abstract:
  Collimation systems in particle accelerators are designed to dispose of
unavoidable losses safely and efficiently during beam operation. Different
roles are required for different types of accelerator. The present state of the
art in beam collimation is exemplified in high-intensity, high-energy
superconducting hadron colliders, like the CERN Large Hadron Collider (LHC),
where stored beam energies reach levels up to several orders of magnitude
higher than the tiny energies required to quench cold magnets. Collimation
systems are essential systems for the daily operation of these modern machines.
In this document, the design of a multistage collimation system is reviewed,
taking the LHC as an example case study. In this case, unprecedented cleaning
performance has been achieved, together with a system complexity comparable to
no other accelerator. Aspects related to collimator design and operational
challenges of large collimation systems are also addressed.


title: Weyl-Majorana solenoid

abstract:
  A Weyl semimetal wire with an axial magnetization has metallic surface states
(Fermi arcs) winding along its perimeter, connecting bulk Weyl cones of
opposite topological charge (Berry curvature). We investigate what happens to
this "Weyl solenoid" if the wire is covered with a superconductor, by
determining the dispersion relation of the surface modes propagating along the
wire. Coupling to the superconductor breaks up the Fermi arc into a pair of
Majorana modes, separated by an energy gap. Upon variation of the coupling
strength along the wire there is a gap inversion that traps the Majorana
fermions.


title:
Minimax Design of Nonlinear Phase FIR Filters with Optimality
  Certificates

abstract:
  The Parks-McClellan algorithm provides an efficient method for designing a
linear phase FIR filter with a pre-specified weight function on the
approximation error. For the given filter order and the specified weight
function, the filter designed with this algorithm will have the unique optimal
frequency response that approximates a desired filter response as certified by
the alternation theorem. In this paper, a nonlinear phase FIR filter design
algorithm is provided that allows the specification of a piecewise constant
weight function on the approximation error in an analogous manner to linear
phase FIR filters. For the given filter order and weight function, the
resulting filter will provably have the unique optimal magnitude response that
approximates a desired filter response, where the certification of optimality
is given and is also based on the alternations that the weighted error function
exhibits. Furthermore, the method is applicable to designing filters with both
real- and complex-valued coefficients, which in turn determines the number of
required alternations.


title: Glassy Dynamics of Brownian Particles with Velocity-Dependent Friction

abstract:
  We consider a two-dimensional model system of Brownian particles in which
slow particles are accelerated while fast particles are damped. The motion of
the individual particles are described by a Langevin equation with
Rayleigh-Helmholtz velocity dependent friction. In case of noninteracting
particles, the time evolution equations lead to a non-Gaussian velocity
distribution. The velocity dependent friction allows negative values of the
friction or energy intakes by slow particles which we consider as active
motion, and also causes breaking of the fluctuation dissipation relation.
Defining the effective temperature proportional to the second moment of
velocity, it is shown that for a constant effective temperature the higher the
noise strength, the lower are the number of active particles in the system.
Using the Mori-Zwanzig formalism and the mode-coupling approximation, the
equation of motion for the density auto-correlation function are derived. The
equations are solved using the equilibrium structure factors. The
integration-through-transients approach is used to derive a relation between
the structure factor in the stationary state considering the interacting
forces, and the conventional equilibrium static structure factor.


title: Strongly not relatives Kaehler manifolds

abstract:
  In this paper we study Kaehler manifolds that are strongly not relative to
any projective Kaehler manifold, i.e. those Kaehler manifolds that do not share
a Kaehler submanifold with any projective Kaehler manifold even when their
metric is rescaled by the multiplication by a positive constant. We prove two
results which highlight some relations between this property and the existence
of a full Kaehler immersion into the infinite dimensional complex projective
space. As application we get that the 1-parameter families of Bergman-Hartogs
and Fock-Bargmann-Hartogs domains are strongly not relative to projective
Kaehler manifolds.


title: Beyond lensing by the cosmological constant

abstract:
  The long-standing problem of whether the cosmological constant affects
directly the deflection of light caused by a gravitational lens is
reconsidered. We use a new approach based on the Hawking quasilocal mass of a
sphere grazed by light rays and on its splitting into local and cosmological
parts. Previous literature restricted to the cosmological constant is extended
to any form of dark energy accelerating the universe in which the gravitational
lens is embedded.


title:
Linear Programming based Converses for Finite Blocklength Lossy Joint
  Source-Channel Coding

abstract:
  A linear programming (LP) based framework is presented for obtaining
converses for finite blocklength lossy joint source-channel coding problems.
The framework applies for any loss criterion, generalizes certain previously
known converses, and also extends to multi-terminal settings. The finite
blocklength problem is posed equivalently as a nonconvex optimization problem
and using a lift-and-project-like method, a close but tractable LP relaxation
of this problem is derived. Lower bounds on the original problem are obtained
by the construction of feasible points for the dual of the LP relaxation. A
particular application of this approach leads to new converses which recover
and improve on the converses of Kostina and Verdu for finite blocklength lossy
joint source-channel coding and lossy source coding. For finite blocklength
channel coding, the LP relaxation recovers the converse of Polyanskiy, Poor and
Verdu and leads to a new improvement on the converse of Wolfowitz, showing
thereby that our LP relaxation is asymptotically tight with increasing
blocklengths for channel coding, lossless source coding and joint
source-channel coding with the excess distortion probability as the loss
criterion. Using a duality based argument, a new converse is derived for finite
blocklength joint source-channel coding for a class of source-channel pairs.
Employing this converse, the LP relaxation is also shown to be tight for all
blocklengths for the minimization of the expected average symbol-wise Hamming
distortion of a $q$-ary uniform source over a $q$-ary symmetric memoryless
channel for any $q \in N$. The optimization formulation and the
lift-and-project method are extended to networked settings and demonstrated by
obtaining an improvement on a converse of Zhou et al. for the successive
refinement problem for successively refinable source-distortion measure
triplets.


title: Ehrhart Theory of Spanning Lattice Polytopes

abstract:
  A lattice polytope is called spanning if its lattice points affinely span the
ambient lattice. We show as a corollary to a general result in the Ehrhart
theory of lattice polytopes that the $h^*$-vector of a spanning lattice
polytope has no gaps, i. e., $h^*_i =0$ implies $h^*_{i+1}=0$. This generalizes
a recent result by Blekherman, Smith, and Velasco, and implies a polyhedral
consequence of the Eisenbud-Goto conjecture. We also discuss how this relates
to unimodality questions of lattice polytopes and previously achieved
decomposition results on lattice polytopes of given degree.


title:
Molecular electric moments calculated by using natural orbital
  functional theory

abstract:
  The molecular electric dipole, quadrupole and octupole moments of a selected
set of 21 spin-compensated molecules are determined employing the extended
version of the Piris natural orbital functional 6 (PNOF6), using the
triple-$\zeta$ Gaussian basis set with polarization functions developed by
Sadlej, at the experimental geometries. The performance of the PNOF6 is
established by carrying out a statistical analysis of the mean absolute errors
with respect to the experiment. The calculated PNOF6 electric moments agree
satisfactorily with the corresponding experimental data, and are in good
agreement with the values obtained by accurate ab initio methods, namely, the
coupled-cluster single and doubles (CCSD) and multi-reference single and double
excitation configuration interaction (MRSD-CI) methods.


title:
Numerical simulation of the interactions of domain walls with breathers
  in two-dimensional O(3) nonlinear sigma model

abstract:
  By methods of numerical simulation the interaction of 180-degree domain walls
with oscillating solitons in (2+1)-dimensional O(3) nonlinear sigma model is
investigated. A model of the collisions in which there is observed a reflection
of solitons from each other, long-range interactions, as well as the decay of
the oscillating soliton are obtained.


title:
CMB Lensing Beyond the Power Spectrum: Cosmological Constraints from the
  One-Point PDF and Peak Counts

abstract:
  Unprecedentedly precise cosmic microwave background (CMB) data are expected
from ongoing and near-future CMB Stage-III and IV surveys, which will yield
reconstructed CMB lensing maps with effective resolution approaching several
arcminutes. The small-scale CMB lensing fluctuations receive non-negligible
contributions from nonlinear structure in the late-time density field. These
fluctuations are not fully characterized by traditional two-point statistics,
such as the power spectrum. Here, we use $N$-body ray-tracing simulations of
CMB lensing maps to examine two higher-order statistics: the lensing
convergence one-point probability distribution function (PDF) and peak counts.
We show that these statistics contain significant information not captured by
the two-point function, and provide specific forecasts for the ongoing
Stage-III Advanced Atacama Cosmology Telescope (AdvACT) experiment. Considering
only the temperature-based reconstruction estimator, we forecast 9$\sigma$
(PDF) and 6$\sigma$ (peaks) detections of these statistics with AdvACT. Our
simulation pipeline fully accounts for the non-Gaussianity of the lensing
reconstruction noise, which is significant and cannot be neglected. Combining
the power spectrum, PDF, and peak counts for AdvACT will tighten cosmological
constraints in the $\Omega_m$-$\sigma_8$ plane by $\approx 30\%$, compared to
using the power spectrum alone.


title:
A Convergent Adaptive Finite Element Method for Electrical Impedance
  Tomography

abstract:
  In this work we develop and analyze an adaptive finite element method for
efficiently solving electrical impedance tomography -- a severely ill-posed
nonlinear inverse problem for recovering the conductivity from boundary voltage
measurements. The reconstruction technique is based on Tikhonov regularization
with a Sobolev smoothness penalty and discretizing the forward model using
continuous piecewise linear finite elements. We derive an adaptive finite
element algorithm with an a posteriori error estimator involving the concerned
state and adjoint variables and the recovered conductivity. The convergence of
the algorithm is established, in the sense that the sequence of discrete
solutions contains a convergent subsequence to a solution of the optimality
system for the continuous formulation. Numerical results are presented to
verify the convergence and efficiency of the algorithm.


title: Scalable $M$-Channel Critically Sampled Filter Banks for Graph Signals

abstract:
  We investigate a scalable $M$-channel critically sampled filter bank for
graph signals, where each of the $M$ filters is supported on a different
subband of the graph Laplacian spectrum. For analysis, the graph signal is
filtered on each subband and downsampled on a corresponding set of vertices.
However, the classical synthesis filters are replaced with interpolation
operators. For small graphs, we use a full eigendecomposition of the graph
Laplacian to partition the graph vertices such that the $m^{th}$ set comprises
a uniqueness set for signals supported on the $m^{th}$ subband. The resulting
transform is critically sampled, the dictionary atoms are orthogonal to those
supported on different bands, and graph signals are perfectly reconstructable
from their analysis coefficients. We also investigate fast versions of the
proposed transform that scale efficiently for large, sparse graphs. Issues that
arise in this context include designing the filter bank to be more amenable to
polynomial approximation, estimating the number of samples required for each
band, performing non-uniform random sampling for the filtered signals on each
band, and using efficient reconstruction methods. We empirically explore the
joint vertex-frequency localization of the dictionary atoms, the sparsity of
the analysis coefficients for different classes of signals, the reconstruction
error resulting from the numerical approximations, and the ability of the
proposed transform to compress piecewise-smooth graph signals. The proposed
filter bank also yields a fast, approximate graph Fourier transform with a
coarse resolution in the spectral domain.


title: Topological Nodal Line Semimetals in CaP3 family of materials

abstract:
  We propose that CaP3 family of materials, which include CaP3, CaAs3, SrP3,
SrAs3 and BaAs3 can host a three-dimensional topological nodal line semimetal
states. Based on first-principle calculations and kp model analysis, we show
that a closed topological nodal line exists near the Fermi energy, which is
protected by the coexistence of time-reversal and spatial inversion symmetry
when the band inversion happens. A drumhead-like surface states are also
obtained on the c-direction surface of these materials.


title: Magnetic Reconnection on Jet-Accretion disk Systems

abstract:
  Fast Magnetic Reconnection is currently regarded as an important process also
beyond the solar system, specially in magnetically dominated regions of
galactic and extragalactic sources like the surrounds of black holes and
relativistic jets. In this lecture we discuss briefly the theory of fast
magnetic reconnection, specially when driven by turbulence which is very
frequent in Astrophysical flows, and its implications for relativistic particle
acceleration. Then we discuss these processes in the context of the sources
above, showing recent analytical and multidimensional numerical MHD studies
that indicate that fast reconnection can be a powerful process to accelerate
particles to relativistic velocities, produce the associated high energy
non-thermal emission, and account for efficient conversion of magnetic into
kinetic energy in these flows.


title: A formula for $\zeta$(2n + 1) and some related expressions

abstract:
  Using a polylogarithmic identity, we express the values of $\zeta$ at odd
integers $2n+1$ as integrals over unit $n-$dimensional hypercubes of simple
functions involving products of logarithms. We also prove a useful property of
those functions as some of their variables are raised to a power. In the case
$n=2$, we prove two closed-form expressions concerning related integrals.
Finally, another family of related one-dimensional integrals is studied.


title: Similarity Search on Automata Processors

abstract:
  Similarity search is a critical primitive for a wide variety of applications
including natural language processing, content-based search, machine learning,
computer vision, databases, robotics, and recommendation systems. At its core,
similarity search is implemented using the k-nearest neighbors (kNN) algorithm,
where computation consists of highly parallel distance calculations and a
global top-k sort. In contemporary von-Neumann architectures, kNN is
bottlenecked by data movement which limits throughput and latency. In this
paper, we present and evaluate a novel automata-based algorithm for kNN on the
Micron Automata Processor (AP), which is a non-von Neumann near-data processing
architecture. By employing near-data processing, the AP minimizes the data
movement bottleneck and is able to achieve better performance. Unlike prior
work in the automata processing space, our work combines temporal encodings
with automata design to augment the space of applications for the AP. We
evaluate our design's performance on the AP and compare to state-of-the-art
CPU, GPU, and FPGA implementations; we show that the current generation of AP
hardware can achieve over 50x speedup over CPUs while maintaining competitive
energy efficiency gains. We also propose several automata optimization
techniques and simple architectural extensions that highlight the potential of
the AP hardware.


title: Electronic, Optical and Mechanical Properties of Silicene Derivatives

abstract:
  Successful isolation of graphene from graphite opened a new era for material
science and con- densed matter physics. Due to this remarkable achievement,
there has been an immense interest to synthesize new two dimensional materials
and to investigate their novel physical properties. Silicene, form of Si atoms
arranged in a buckled honeycomb geometry, has been successfully synthesized and
emerged as a promising material for nanoscale device applications. However, the
major obstacle for using silicene in electronic applications is the lack of a
band gap similar to the case of graphene. Therefore, tuning the electronic
properties of silicene by using chemical functionalization methods such as
hydrogenation, halogenation or oxidation has been a focus of interest in
silicene research. In this paper, we review the recent studies on the
structural, electronic, optical and mechanical proper- ties of
silicene-derivative structures. Since these derivatives have various band gap
energies, they are promising candidates for the next generation of electronic
and optoelectronic device applications.


title:
Sampling bipartite graphs with given vertex degrees and fixed edges and
  non-edges

abstract:
  We consider the problem of sampling a bipartite graph with given vertex
degrees where a set $F$ of edges and non-edges which need to be contained is
predefined. Our general result shows that the repeated swap of edges and
non-edges in alternating cycles of at most size $2\ell-2$ ('$j$-swaps' with $j
\leq 2 \ell-2$) in a current graph lead to an ergodic Metropolis Markov chain
whenever $F$ does not contain a cycle of length $2 \ell$ with $\ell \geq 4.$
This leads to useful Markov chains whenever $\ell$ is not too large. If $F$ is
a forest, $4$- and $6$-swaps are sufficient. Furthermore, we prove that
$4$-swaps are sufficient when $F$ does not contain a matching of size $3.$ We
extend the Curveball algorithm of Strona et al. \cite{Strona2014b} to our
cases.


title: Energy-Efficient Small Cell with Spectrum-Power Trading

abstract:
  In this paper, we investigate spectrum-power trading between a small cell
(SC) and a macro cell (MC), where the SC consumes power to serve the macro cell
users (MUs) in exchange for some bandwidth from the MC. Our goal is to maximize
the system energy efficiency (EE) of the SC while guaranteeing the quality of
service of each MU as well as small cell users (SUs). Specifically, given the
minimum data rate requirement and the bandwidth provided by the MC, the SC
jointly optimizes MU selection, bandwidth allocation, and power allocation
while guaranteeing its own minimum required system data rate. The problem is
challenging due to the binary MU selection variables and the fractional- form
objective function. We first show that the bandwidth of an MU is shared with at
most one SU in the SC. Then, for a given MU selection, the optimal bandwidth
and power allocation is obtained by exploiting the fractional programming. To
perform MU selection, we first introduce the concept of the trading EE to
characterize the data rate obtained as well as the power consumed for serving
an MU. We then reveal a sufficient and necessary condition for serving an MU
without considering the total power constraint and the minimum data rate
constraint: the trading EE of the MU should be higher than the system EE of the
SC. Based on this insight, we propose a low complexity MU selection method and
also investigate the optimality condition. Simulation results verify our
theoretical findings and demonstrate that the proposed resource allocation
achieves near-optimal performance.


title:
High-rate axial-field ionization chamber for particle identification of
  radioactive beams

abstract:
  The design, construction and performance characteristics of a simple
axial-field ionization chamber suitable for identifying ions in a radioactive
beam are presented. Optimized for use with low-energy radioactive beams (< 5
MeV/A) the detector presents only three 0.5 $\mu$m/cm$^2$ foils to the beam in
addition to the detector gas. A fast charge sensitive amplifier (CSA)
integrated into the detector design is also described. Coupling this fast CSA
to the axial field ionization chamber produces an output pulse with a risetime
of 60-70 ns and a fall time of 100 ns, making the detector capable of
sustaining a relatively high rate. Tests with an $\alpha$ source establish the
detector energy resolution as $\sim$8 $\%$ for an energy deposit of $\sim$3.5
MeV. The energy resolution with beams of 2.5 and 4.0 MeV/A $^{39}$K ions and
the dependence of the energy resolution on beam intensity is measured. At an
instantaneous rate of 3 x 10$^5$ ions/s the energy resolution has degraded to
14% with a pileup of 12%. The good energy resolution of this detector at rates
up to 3 x 10$^5$ ions/s makes it an effective tool in the characterization of
low-energy radioactive beams.


title:
Cyclical Multiple Access in UAV-Aided Communications: A Throughput-Delay
  Tradeoff

abstract:
  This letter studies a wireless system consisting of distributed ground
terminals (GTs) communicating with an unmanned aerial vehicle (UAV) that serves
as a mobile base station (BS). The UAV flies cyclically above the GTs at a
fixed altitude, which results in a cyclical pattern of the strength of the
UAV-GT channels. To exploit such periodic channel variations, we propose a new
cyclical multiple access (CMA) scheme to schedule the communications between
the UAV and GTs in a cyclical time-division manner based on the flying UAV's
position. The time allocations to different GTs are optimized to maximize their
minimum throughput. It is revealed that there is a fundamental tradeoff between
throughput and access delay in the proposed CMA. Simulation results show
significant throughput gains over the case of a static UAV BS in delay-tolerant
applications.


title: Uncertainty-Driven Black-Box Test Data Generation

abstract:
  We can never be certain that a software system is correct simply by testing
it, but with every additional successful test we become less uncertain about
its correctness. In absence of source code or elaborate specifications and
models, tests are usually generated or chosen randomly. However, rather than
randomly choosing tests, it would be preferable to choose those tests that
decrease our uncertainty about correctness the most. In order to guide test
generation, we apply what is referred to in Machine Learning as "Query Strategy
Framework": We infer a behavioural model of the system under test and select
those tests which the inferred model is "least certain" about. Running these
tests on the system under test thus directly targets those parts about which
tests so far have failed to inform the model. We provide an implementation that
uses a genetic programming engine for model inference in order to enable an
uncertainty sampling technique known as "query by committee", and evaluate it
on eight subject systems from the Apache Commons Math framework and JodaTime.
The results indicate that test generation using uncertainty sampling
outperforms conventional and Adaptive Random Testing.


title:
On the limitations of deterministic de-randomizations for online
  bipartite matching and max-sat

abstract:
  The surprising results of Karp, Vazirani and Vazirani and (respectively)
Buchbinder et al are examples where rather simple randomizations provide
provably better approximations than the corresponding deterministic
counterparts for online bipartite matching and (respectively) unconstrained
non-monotone submodular maximization. We show that seemingly strong extensions
of the deterministic online computation model can at best match the performance
of naive randomization. More specifically, for bipartite matching, we show that
in the priority model (allowing very general ways to order the input stream),
we cannot improve upon the trivial 1/2-approximation achieved by any greedy
maximal matching algorithm and likewise cannot improve upon this approximation
by any log n/log log n number of online algorithms running in parallel. The
latter result yields an improved log log n - log log log n lower bound for the
number of advice bits needed. For max-sat, we adapt the recent de-randomization
approach of Buchbinder and Feldman applied to the Buchbinbder et al algorithm
for max-sat to obtain a deterministic 3/4-approximation algorithm using width
2n parallelism. In order to improve upon this approximation, we show that
exponential width parallelism of online algorithms is necessary (in a model
that is more general than what is needed for the width 2n algorithm).


title:
Potential energy curves for P2 and P2+ constructed from a strictly
  N-representable natural orbital functional

abstract:
  The potential energy curves of P2 and P2+ have been calculated using an
approximate, albeit strictly N-representable, energy functional of the
one-particle reduced density matrix: PNOF5. Quite satisfactory accord is found
for the equilibrium bond lengths and dissociation energies for both species.
The predicted vertical ionization energy for P2 by means of the extended
Koopmans' theorem is 10.57 eV in good agreement with the experimental data.
Comparison of the vibrational energies and anharmonicities with their
corresponding experimental values supports the quality of the resultant
potential energy curves.


title: Theoretical estimates for flat voids coalescence by internal necking

abstract:
  Coalescence of voids by internal necking is in most cases the last
microscopic event related to ductile fracture and corresponds to a localized
plastic flow between adjacent voids. Macroscopic load associated to the onset
of coalescence is classically estimated based on limit analysis. However, a
rigorous upper-bound mathematical expression for the limitload required for
flat voids coalescence that remains finite for penny-shaped voids/cracks is
still unavailable. Therefore, based on limit analysis, theoretical upper-bound
estimates - both integral expression and closed-form formula - are obtained for
the limit-load of cylindrical flat voids in cylindrical unit-cell subjected to
boundary conditions allowing the assessment of coalescence, for axisymmetric
stress state. These estimates, leading to finite limit-loads for pennyshaped
cracks, are shown to be in very good agreement with numerical limit analysis,
for both cylindrical and spheroidal voids. Approximate formula is also given
for coalescence under combined tension and shear loading. These coalescence
criteria can thus be used to predict onset of coalescence of voids by internal
necking in ductile fracture modelling.