title:
The Energy Spectrum of Ultra-High-Energy Cosmic Rays Measured by the
  Telescope Array FADC Fluorescence Detectors in Monocular Mode

abstract:
  We present a measurement of the energy spectrum of ultra-high-energy cosmic
rays performed by the Telescope Array experiment using monocular observations
from its two new FADC-based fluorescence detectors. After a short description
of the experiment, we describe the data analysis and event reconstruction
procedures. Since the aperture of the experiment must be calculated by Monte
Carlo simulation, we describe this calculation and the comparisons of simulated
and real data used to verify the validity of the aperture calculation. Finally,
we present the energy spectrum calculated from the merged monocular data sets
of the two FADC-based detectors, and also the combination of this merged
spectrum with an independent, previously published monocular spectrum
measurement performed by Telescope Array's third fluorescence detector
(Abu-Zayyad {\it et al.}, {Astropart. Phys.} 39 (2012), 109). This combined
spectrum corroborates the recently published Telescope Array surface detector
spectrum (Abu-Zayyad {\it et al.}, {Astrophys. Journ.} 768 (2013), L1) with
independent systematic uncertainties.


title: A machine that knows its own code

abstract:
  We construct a machine that knows its own code, at the price of not knowing
its own factivity.


title: Determination of Delta resonance parameters from lattice QCD

abstract:
  A method suitable for extracting resonance parameters of unstable baryons in
lattice QCD is examined. The method is applied to the strong decay of the Delta
to a pion-nucleon state, extracting the pion-nucleon - Delta coupling constant
and Delta decay width.


title: Time-resolved magnetic sensing with electronic spins in diamond

abstract:
  Quantum probes can measure time-varying fields with high sensitivity and
spatial resolution, enabling the study of biological, material, and physical
phenomena at the nanometer scale. In particular, nitrogen-vacancy centers in
diamond have recently emerged as promising sensors of magnetic and electric
fields. Although coherent control techniques have measured the amplitude of
constant or oscillating fields, these techniques are not suitable for measuring
time-varying fields with unknown dynamics. Here we introduce a coherent
acquisition method to accurately reconstruct the temporal profile of
time-varying fields using Walsh sequences. These decoupling sequences act as
digital filters that efficiently extract spectral coefficients while
suppressing decoherence, thus providing improved sensitivity over existing
strategies. We experimentally reconstruct the magnetic field radiated by a
physical model of a neuron using a single electronic spin in diamond and
discuss practical applications. These results will be useful to implement
time-resolved magnetic sensing with quantum probes at the nanometer scale.


title: Unimodality of partitions with distinct parts inside Ferrers shapes

abstract:
  We investigate the rank-generating function $F_{\lambda}$ of the poset of
partitions contained inside a given shifted Ferrers shape $\lambda$. When
$\lambda $ has four parts, we show that $F_{\lambda}$ is unimodal when $\lambda
=\langle n,n-1,n-2,n-3 \rangle$, for any $n\ge 4$, and that unimodality fails
for the doubly-indexed, infinite family of partitions of the form
$\lambda=\langle n,n-t,n-2t,n-3t \rangle$, for any given $t\ge 2$ and $n$ large
enough with respect to $t$.
  When $\lambda $ has $b\le 3$ parts, we show that our rank-generating
functions $F_{\lambda}$ are all unimodal. However, the situation remains mostly
obscure for $b\ge 5$. In general, the type of results that we obtain present
some remarkable similarities with those of the 1990 paper of D. Stanton, who
considered the case of partitions inside ordinary (straight) Ferrers shapes.
  Along the way, we also determine some interesting $q$-analogs of the binomial
coefficients, which in certain instances we conjecture to be unimodal. We state
several other conjectures throughout this note, in the hopes to stimulate
further work in this area. In particular, one of these will attempt to place
into a much broader context the unimodality of the posets $M(n)$ of staircase
partitions, for which determining a combinatorial proof remains an outstanding
open problem.


title: Gigapixel inline digital holographic microscopy using a consumer scanner

abstract:
  We demonstrate a gigapixel inline digital holographic microscopy using a
consumer scanner. The consumer scanner can maximally scan an A4 size image
(297mm x 210mm) with 4800 dpi (= 5.29 um), theoretically achieving a resolution
of 56,144 x 39,698 = 2.22 gigapixels. The system using a consumer scanner has a
simple structure, compared with synthetic aperture digital holography using a
camera mounted on a two-dimensional moving stage. In this demonstration, we
captured an inline hologram with 23,602 x 18,023 pixels (= 0.43 gigapixels). In
addition, to accelerate the reconstruction time of the gigapixel hologram and
decrease the amount of memory for the reconstruction, we applied the
band-limited double-step Fresnel diffraction to the reconstruction.


title: Energy Coupled Mode Theory for an arbitrary number of resonators

abstract:
  There is recent interest in the inter and intra element interactions of
metamaterial unit cells. To calculate the effects of these interactions which
can be substantial, an ab initio general coupled mode equation, in the form of
an eigenvalue problem, is derived. The solution of the master equation gives
the coupled frequencies and fields in terms of the uncoupled modes. By doing
so, the problem size is limited to the number of modes rather than the, usually
large, discretized spatial and temporal domains obtained by fullwave solvers.
Therefore, the method can be considered as a numerical recipe which determines
the behavior of a complex system once its simpler ingredients are known.
Besides quantitative analysis, the coupled mode equation proposes a pictorial
view of the split rings hybridization. It can be regarded as the
electromagnetic analog of molecular orbital theory. The solution of the
eigenvalue problem for different configurations gives valued information and
insight about the coupling of metamaterials unit cells. For instance, it is
shown that the behavior of split rings as a function of the relative position
and orientation can be systematically explained. This is done by singling out
the effect of each relevant parameter such as the coupling coefficient and
coupled induced frequency shift coefficients.


title: Direct Experimental Simulation of the Yang-Baxter Equation

abstract:
  Introduced in the field of many-body statistical mechanics, Yang-Baxter
equation has become an important tool in a variety fields of physics. In this
work, we report the first direct experimental simulation of the Yang-Baxter
equation using linear quantum optics. The equality between the two sides of the
Yang-Baxter equation in two dimension has been demonstrated directly, and the
spectral parameter transformation in the Yang-Baxter equation is explicitly
confirmed.


title:
Current conservation in charge conjugation parity time reversal symmetry
  (CPT) violating gauge-invariant nonlocal Thirring model

abstract:
  Charge conjugation, parity transformation and time reversal symmetry (CPT)
violation and Lorentz invariance can coexist in the framework of non-local
field theory. In this article we have proposed a class of Charge conjugation,
parity transformation and time reversal symmetry (CPT) violating Lorentz
invariant nonlocal gauge-invariant models, which can be termed as non-local
Thirring models. The conserved currents in this aspect are obtained.


title: The local Langlands correspondence for GSp_4 over local function fields

abstract:
  We prove the local Langlands correspondence for GSp_4(F), where F is a
non-archimedean local field of positive characteristic with residue
characteristic > 2.


title:
Three-band tight-binding model for monolayers of group-VIB transition
  metal dichalcogenides

abstract:
  We present a three-band tight-binding (TB) model for describing the
low-energy physics in monolayers of group-VIB transition metal dichalcogenides
$MX_2$ ($M$=Mo, W; $X$=S, Se, Te). As the conduction and valence band edges are
predominantly contributed by the $d_{z^{2}}$, $d_{xy}$, and $d_{x^{2}-y^{2}}$
orbitals of $M$ atoms, the TB model is constructed using these three orbitals
based on the symmetries of the monolayers. Parameters of the TB model are
fitted from the first-principles energy bands for all $MX_2$ monolayers. The TB
model involving only the nearest-neighbor $M$-$M$ hoppings is sufficient to
capture the band-edge properties in the $\pm K$ valleys, including the energy
dispersions as well as the Berry curvatures. The TB model involving up to the
third-nearest-neighbor $M$-$M$ hoppings can well reproduce the energy bands in
the entire Brillouin zone. Spin-orbit coupling in valence bands is well
accounted for by including the on-site spin-orbit interactions of $M$ atoms.
The conduction band also exhibits a small valley-dependent spin splitting which
has an overall sign difference between Mo$X_{2}$ and W$X_{2}$. We discuss the
origins of these corrections to the three-band model. The three-band TB model
developed here is efficient to account for low-energy physics in $MX_2$
monolayers, and its simplicity can be particularly useful in the study of
many-body physics and physics of edge states.


title:
Classical and modern power spectrum estimation for tune measurement in
  CSNS RCS

abstract:
  Precise measurement of betatron tune is required for good operating condition
of CSNS RCS. The fractional part of betatron tune is important and it can be
measured by analyzing the signals of beam position from the appointed BPM.
Usually these signals are contaminated during the acquisition process,
therefore several power spectrum methods are used to improve the frequency
resolution. In this article classical and modern power spectrum methods are
used. In order to compare their performance, the results of simulation data and
IQT data from J-PARC RCS are discussed. It is shown that modern power spectrum
estimation has better performance than the classical ones, though the
calculation is more complex.


title: Robust power allocation for energy-efficient location aware networks

abstract:
  In wireless location-aware networks, mobile nodes (agents) typically obtain
their positions through ranging with respect to nodes with known positions
(anchors). Transmit power allocation not only affects network lifetime,
throughput, and interference, but also determines localization accuracy. In
this paper, we present an optimization framework for robust power allocation in
network localization to tackle imperfect knowledge of network parameters. In
particular, we formulate power allocation problems to minimize the squared
position error bound (SPEB) and the maximum directional position error bound
(mDPEB), respectively, for a given power budget. We show that such formulations
can be efficiently solved via conic programming. Moreover, we design an
efficient power allocation scheme that allows distributed computations among
agents. The simulation results show that the proposed schemes significantly
outperform uniform power allocation, and the robust schemes outperform their
non-robust counterparts when the network parameters are subject to uncertainty.


title:
Mass transfer in eccentric binary systems using the binary evolution
  code BINSTAR

abstract:
  We present the first calculations of mass transfer via RLOF for a binary
system with a significant eccentricity using our new binary stellar evolution
code. The study focuses on a 1.50+1.40 Msun main sequence binary with an
eccentricity of 0.25, and an orbital period of about 0.7 d. The reaction of the
stellar components due to mass transfer is analyzed, and the evolution of mass
transfer during the periastron passage is compared to recent smooth particle
hydrodynamics (SPH) simulations. The impact of asynchronism and non-zero
eccentricity on the Roche lobe radius, and the effects of tidal and rotational
deformation on the stars' structures, are also investigated. Calculations were
performed using the state-of-the-art binary evolution code BINSTAR, which
calculates simultaneously the structure of the two stars and the evolution of
the orbital parameters. The evolution of the mass transfer rate during an orbit
has a Gaussian-like shape, with a maximum at periastron, in qualitative
agreement with SPH simulations. The Roche lobe radius is modified by the donor
star's spin and the orbital eccentricity. This has a significant impact on both
the duration and the rate of mass transfer. We find that below some critical
rotation rate, mass transfer never occurs, while above some threshold, mass is
transferred over the entire orbit. Tidal and rotational deformation of the
donor star causes it to become over-sized, enhancing the mass transfer rate
further by about a factor of ten, leading to non-conservative mass transfer.
The modulation of mass transfer rate with orbital phase produces short-term
variability in the surface luminosity and radius of each star. The longer-term
behaviour shows, in accordance with studies of circular systems with radiative
stars, that the donor becomes ever small and under-luminous, while the converse
is the case for the accretor.


title: On universal structural characteristics of granular packs

abstract:
  Dependence of structural self-organization of granular materials on
preparation and grain parameters is key to predictive modelling. We study 60
different mechanically equilibrated polydisperse disc packs, generated
numerically by two protocols. We show that, for same-variance disc size
distributions (DSDs): 1. the mean coordination number of rattler-free packs vs.
the packing fraction is a function independent of initial conditions, friction
and the DSD: 2. all quadron volume and cell order distributions collapse to
universal forms, also independent of the above. We conclude that, contrary to
common wisdom, equilibrated granular structures are determined mainly by the
packing protocol and higher moments of the DSD.


title: Physical limit of prediction for chaotic motion of three-body problem

abstract:
  A half century ago, Lorenz found the "butterfly effect" of chaotic dynamic
systems and made his famous claim that long-term prediction of chaos is
impossible. However, the meaning of the "long-term" in his claim is not very
clear. In this article, a new concept, i.e. the physical limit of prediction
time, denoted by $T_p^{max}$, is put forwarded to provide us a time-scale for
at most how long mathematically reliable (numerical) simulations of
trajectories of a chaotic dynamic system are physically correct. A special case
of three-body problem is used as an example to illustrate that, due to the
inherent, physical uncertainty of initial positions in the (dimensionless)
micro-level of $10^{-60}$, the chaotic trajectories are essentially uncertain
in physics after $t > T_p^{max}$, where $T_p^{max}\approx 810$ for this special
case of the three body problem. Thus, physically, it has no sense to talk about
the "accurate, deterministic prediction" of chaotic trajectories of the three
body problem after $t > T_p^{max}$. In addition, our mathematically reliable
simulations of the chaotic trajectories of the three bodies suggest that, due
to the butterfly effect of chaotic dynamic systems, the micro-level physical
uncertainty of initial conditions might transfer into macroscopic uncertainty.
This suggests that micro-level uncertainty might be an origin of some
macroscopic uncertainty. Besides, it might provide us a theoretical explanation
about the origin of uncertainty (or randomness) of many macroscopic phenomena
such as turbulent flows, the random distribution of stars in the universe, and
so on.


title: Faster Compact On-Line Lempel-Ziv Factorization

abstract:
  We present a new on-line algorithm for computing the Lempel-Ziv factorization
of a string that runs in $O(N\log N)$ time and uses only $O(N\log\sigma)$ bits
of working space, where $N$ is the length of the string and $\sigma$ is the
size of the alphabet. This is a notable improvement compared to the performance
of previous on-line algorithms using the same order of working space but
running in either $O(N\log^3N)$ time (Okanohara & Sadakane 2009) or
$O(N\log^2N)$ time (Starikovskaya 2012). The key to our new algorithm is in the
utilization of an elegant but less popular index structure called Directed
Acyclic Word Graphs, or DAWGs (Blumer et al. 1985). We also present an
opportunistic variant of our algorithm, which, given the run length encoding of
size $m$ of a string of length $N$, computes the Lempel-Ziv factorization
on-line, in $O\left(m \cdot \min \left\{\frac{(\log\log m)(\log \log
N)}{\log\log\log N}, \sqrt{\frac{\log m}{\log \log m}} \right\}\right)$ time
and $O(m\log N)$ bits of space, which is faster and more space efficient when
the string is run-length compressible.


title:
A Multiscale Factorization Method for Simulating Mesoscopic Systems with
  Atomic Precision

abstract:
  Mesoscopic $N-$atom systems derive their structural and dynamical properties
from processes coupled across multiple scales in space and time. An efficient
method for understanding these systems in the friction dominated regime from
the underlying N-atom formulation is presented. The method integrates notions
of multiscale analysis, Trotter factorization, and a hypothesis that the
momenta conjugate to coarse-grained variables can be treated as a stationary
random process. The method is demonstrated for Lactoferrin, Nudaurelia Capensis
Omega Virus, and Cowpea Chlorotic Mottle Virus to assess its accuracy and
scaling with system size.


title: Permutonestohedra

abstract:
  There are several real spherical models associated with a root arrangement,
depending on the choice of a building set. The connected components of these
models are manifolds with corners which can be glued together to obtain the
corresponding real De Concini-Procesi models. In this paper, starting from any
root system Phi with finite Coxeter group W and any W-invariant building set,
we describe an explicit realization of the real spherical model as a union of
polytopes (nestohedra) which lie inside the chambers of the arrangement. The
main point of this realization is that the convex hull of these nestohedra is a
larger polytope, a permutonestohedron, equipped with an action of W or also,
depending on the building set, of Aut(Phi). The permutonestohedra are natural
generalizations of Kapranov's permutoassociahedra.


title:
Computation of the Hochschild Cohomology Algebra of the Down-Up Algebra
  $A(0,1,0)$

abstract:
  This document is supplementary material for the author's paper \emph{The cup
product on hochschild cohomology for localizations of filtered koszul
algebras}, arXiv:1304.0527. We give a detailed computation of the Hochschild
cohomology algebra for the Down-Up algebra with parameters $(0,1,0)$.


title:
Supplementary Appendix for "Inference on Treatment Effects After
  Selection Amongst High-Dimensional Controls"

abstract:
  In this supplementary appendix we provide additional results, omitted proofs
and extensive simulations that complement the analysis of the main text
(arXiv:1201.0224).


title: The homology of $\mathrm{tmf}$

abstract:
  We compute the mod $2$ homology of the spectrum $\mathrm{tmf}$ of topological
modular forms by proving a 2-local equivalence $\mathrm{tmf} \wedge DA(1)
\simeq \mathrm{tmf}_1(3) \simeq BP\left \langle 2\right\rangle$, where $DA(1)$
is an eight cell complex whose cohomology "doubles" the subalgebra
$\mathcal{A}(1)$ of the Steenrod algebra generated by $\mathrm{Sq}^1$ and
$\mathrm{Sq}^2$. To do so, we give, using the language of stacks, a modular
description of the elliptic homology of $DA(1)$ via level three structures. We
briefly discuss analogs at odd primes and recover the stack-theoretic
description of the Adams-Novikov spectral sequence for $\mathrm{tmf}$.


title:
Photoproduction of $\pi^+p$ Pairs on the $^{16}$O Nucleus and Isobar
  Configurations

abstract:
  The yield of the $^{16}$O$(\gamma ,\pi^{+} p)$ reaction has been measured in
the region of the excitation of the $\Delta(1232)$ isobar at high momentum
transfers to the residual nuclear system. The experimental data are interpreted
within the model taking into account of isobar configurations in the ground
state of the $^{16}$O nucleus. Direct and exchange mechanisms of the production
of pions with emission of one and two nucleons, which follow from the
structures of the density matrices for these reactions, have been considered.
The probability of the production of the $\Delta$ isobar in the ground state of
the $^{16}$O nucleus has been empirically estimated as $P_ {\Delta} = 0.019 \pm
0.003 \pm 0.003$.


title:
A two-dimensional lattice of blue detuned atom traps using a projected
  Gaussian beam array

abstract:
  We describe a new type of blue detuned optical lattice for atom trapping
which is intrinsically two dimensional, while providing three-dimensional atom
localization. The lattice is insensitive to optical phase fluctuations since it
does not depend on field interference between distinct optical beams. The array
is created using a novel arrangement of weakly overlapping Gaussian beams that
creates a two-dimensional array of dark traps which are suitable for magic
trapping of ground and Rydberg states. We analyze the spatial localization that
can be achieved and demonstrate trapping and detection of single Cs atoms in 6
and 49 site two-dimensional arrays.


title: Revisiting $K\pi$ puzzle in the pQCD factorization approach

abstract:
  In this paper, we calculated the branching ratios and direct CP violation of
the four $B\to K\pi$ decays with the inclusion of all currently known
next-to-leading order (NLO) contributions by employing the perturbative QCD
(pQCD) factorization approach. We found that (a) Besides the 10% enhancement
from the NLO vertex corrections, the quark-loops and magnetic penguins, the NLO
contributions to the form factors can provide an additional $\sim 15%$
enhancement to the branching ratios, and lead to a very good agreement with the
data; (b) The NLO pQCD predictions are $\acp^{dir}(B^0\to K^+\pi^-)=(-6.5\pm
3.1)%$ and $\acp^{dir}(B^+\to K^+ \pi^0)=(2.2\pm 2.0)%$, become well consistent
with the data due to the inclusion of the NLO contributions.


title: On node distributions for interpolation and spectral methods

abstract:
  A scaled Chebyshev node distribution is studied in this paper. It is proved
that the node distribution is optimal for interpolation in $C_M^{s+1}[-1,1]$,
the set of $(s+1)$-time differentiable functions whose $(s+1)$-th derivatives
are bounded by a constant $M>0$. Node distributions for computing spectral
differentiation matrices are proposed and studied. Numerical experiments show
that the proposed node distributions yield results with higher accuracy than
the most commonly used Chebyshev-Gauss-Lobatto node distribution.


title:
Pairing of Zeros and Critical Points for Random Meromorphic Functions on
  Riemann Surfaces

abstract:
  We prove that zeros and critical points of a random polynomial $p_N$ of
degree $N$ in one complex variable appear in pairs. More precisely, if $p_N$ is
conditioned to have $p_N(\xi)=0$ for a fixed $\xi \in \C\backslash\set{0},$ we
prove that there is a unique critical point z in the annulus
$N^{-1-\ep}<\abs{z-\xi}< N^{-1+\ep}}$ and no critical points closer to $\xi$
with probability at least $1-O(N^{-3/2+3\ep}).$ We also prove an analogous
statement in the more general setting of random meromorphic functions on a
closed Riemann surface.


title: Risk-Aware Management of Distributed Energy Resources

abstract:
  High wind energy penetration critically challenges the economic dispatch of
current and future power systems. Supply and demand must be balanced at every
bus of the grid, while respecting transmission line ratings and accounting for
the stochastic nature of renewable energy sources. Aligned to that goal, a
network-constrained economic dispatch is developed in this paper. To account
for the uncertainty of renewable energy forecasts, wind farm schedules are
determined so that they can be delivered over the transmission network with a
prescribed probability. Given that the distribution of wind power forecasts is
rarely known, and/or uncertainties may yield non-convex feasible sets for the
power schedules, a scenario approximation technique using Monte Carlo sampling
is pursued. Upon utilizing the structure of the DC optimal power flow (OPF), a
distribution-free convex problem formulation is derived whose complexity scales
well with the wind forecast sample size. The efficacy of this novel approach is
evaluated over the IEEE 30-bus power grid benchmark after including real
operation data from seven wind farms.


title:
On a non-local problem for mixed parabolic-hyperbolic type equation with
  non-smooth line of type changing

abstract:
  In the present article we investigate a boundary problem with non-local
conditions for mixed parabolic-hyperbolic type equation with three lines of
type changing. Considered mixed domain contains a rectangle as a parabolic part
and three domains bounded by smooth curves and by type-changing lines as a
hyperbolic part of the mixed domain. We prove the uniqueness applying energy
integral method. The proof of the existence will be done by reducing the
original problem into the system of the second kind Volterra integral
equations.


title: Bounded Choice Queries for Logic Programming

abstract:
  Adding versatile interactions to goals and queries in logic programming is an
essential task. Unfortunately, existing logic languages can take input from the
user only via the $read$ construct.
  We propose to add a new interactive goal to allow for more controlled and
more guided participation from the user. We illustrate our idea via \muprolog,
an extension of Prolog with bounded choice goals.


title:
On the isotope effects of ZrX2 (X = H, D and T): A First-principles
  study

abstract:
  Zirconium hydride is an important material for storage of hydrogen isotopes.
Here we report the structural, electronic, vibrational and thermodynamic
properties of ZrH2, ZrD2 and ZrT2 using density functional theory (DFT). The
structural optimization was carried out by the plane-wave based
pseudo-potential method under the generalized gradient approximation (GGA)
scheme. The electronic structure of the ZrH2 compound was illustrated in terms
of the electronic density of states, charge density distribution and the
electron localization function. The phonon dispersion curves, phonon density of
states and thermodynamic properties of ZrX2 (X= H, D, T) compounds were
evaluated based on frozen phonon method. Both the Raman and infrared active
vibrational modes of ZrX2 at {\Gamma}-point were analyzed which showed
significant isotopic effect on ZrX2 compounds. For example, the energy gap
between optical and acoustic modes reduces for ZrT2 than ZrD2 and ZrH2. The
formation energies of ZrX2 compounds, including the ZPE contributions, were
-113.97, -126.50 and -132.04 kJ/(mole of compound) for X = H, D and T,
respectively.


title: On a New Notion of Partial Refinement

abstract:
  Formal specification techniques allow expressing idealized specifications,
which abstract from restrictions that may arise in implementations. However,
partial implementations are universal in software development due to practical
limitations. Our goal is to contribute to a method of program refinement that
allows for partial implementations. For programs with a normal and an
exceptional exit, we propose a new notion of partial refinement which allows an
implementation to terminate exceptionally if the desired results cannot be
achieved, provided the initial state is maintained. Partial refinement leads to
a systematic method of developing programs with exception handling.


title: Data refinement for true concurrency

abstract:
  The majority of modern systems exhibit sophisticated concurrent behaviour,
where several system components modify and observe the system state with
fine-grained atomicity. Many systems (e.g., multi-core processors, real-time
controllers) also exhibit truly concurrent behaviour, where multiple events can
occur simultaneously. This paper presents data refinement defined in terms of
an interval-based framework, which includes high-level operators that capture
non-deterministic expression evaluation. By modifying the type of an interval,
our theory may be specialised to cover data refinement of both discrete and
continuous systems. We present an interval-based encoding of forward
simulation, then prove that our forward simulation rule is sound with respect
to our data refinement definition. A number of rules for decomposing forward
simulation proofs over both sequential and parallel composition are developed.


title: Modelling and Refinement in CODA

abstract:
  This paper provides an overview of the CODA framework for modelling and
refinement of component-based embedded systems. CODA is an extension of Event-B
and UML-B and is supported by a plug-in for the Rodin toolset. CODA augments
Event-B with constructs for component-based modelling including components,
communications ports, port connectors, timed communications and timing
triggers. Component behaviour is specified through a combination of UML-B state
machines and Event-B. CODA communications and timing are given an Event-B
semantics through translation rules. Refinement is based on Event-B refinement
and allows layered construction of CODA models in a consistent way.


title: Refining SCJ Mission Specifications into Parallel Handler Designs

abstract:
  Safety-Critical Java (SCJ) is a recent technology that restricts the
execution and memory model of Java in such a way that applications can be
statically analysed and certified for their real-time properties and safe use
of memory. Our interest is in the development of comprehensive and sound
techniques for the formal specification, refinement, design, and implementation
of SCJ programs, using a correct-by-construction approach. As part of this
work, we present here an account of laws and patterns that are of general use
for the refinement of SCJ mission specifications into designs of parallel
handlers used in the SCJ programming paradigm. Our notation is a combination of
languages from the Circus family, supporting state-rich reactive models with
the addition of class objects and real-time properties. Our work is a first
step to elicit laws of programming for SCJ and fits into a refinement strategy
that we have developed previously to derive SCJ programs.


title: Relaxing Behavioural Inheritance

abstract:
  Object-oriented (OO) inheritance allows the definition of families of classes
in a hierarchical way. In behavioural inheritance, a strong version, it should
be possible to substitute an object of a subclass for an object of its
superclass without any observable effect on the system. Behavioural inheritance
is related to formal refinement, but, as observed in the literature, the
refinement constraints are too restrictive, ruling out many useful OO
subclassings. This paper studies behavioural inheritance in the context of ZOO,
an object-oriented style for Z. To overcome refinement's restrictions, this
paper proposes relaxations to the behavioural inheritance refinement rules. The
work is presented for Z, but the results are applicable to any OO language that
supports design-by-contract.


title: Bisimilarity and refinement for hybrid(ised) logics

abstract:
  The complexity of modern software systems entails the need for
reconfiguration mechanisms gov- erning the dynamic evolution of their execution
configurations in response to both external stimulus or internal performance
measures. Formally, such systems may be represented by transition systems whose
nodes correspond to the different configurations they may assume. Therefore,
each node is en- dowed with, for example, an algebra, or a first-order
structure, to precisely characterise the semantics of the services provided in
the corresponding configuration. Hybrid logics, which add to the modal
description of transition structures the ability to refer to specific states,
offer a generic framework to approach the specification and design of this sort
of systems. Therefore, the quest for suitable notions of equivalence and
refinement between models of hybrid logic specifications becomes fundamental to
any design discipline adopting this perspective. This paper contributes to this
effort from a distinctive point of view: instead of focussing on a specific
hybrid logic, the paper introduces notions of bisimilarity and refinement for
hybridised logics, i.e. standard specification logics (e.g. propositional,
equational, fuzzy, etc) to which modal and hybrid features were added in a
systematic way.


title: Mid-infrared Spectral Properties of Post-Starburst Quasars

abstract:
  We present Spitzer InfraRed Spectrograph (IRS) low-resolution spectra of 16
spectroscopically selected post-starburst quasars (PSQs) at z ~ 0.3. The
optical spectra of these broad-lined active galactic nuclei (AGNs)
simultaneously show spectral signatures of massive intermediate-aged stellar
populations making them good candidates for studying the connections between
AGNs and their hosts. The resulting spectra show relatively strong polycyclic
aromatic hydrocarbon (PAH) emission features at 6.2 and 11.3\micron and a very
weak silicate feature, indicative of ongoing star formation and low dust
obscuration levels for the AGNs. We find that the mid-infrared composite
spectrum of PSQs has spectral properties between ULIRGs and QSOs, suggesting
that PSQs are hybrid AGN and starburst systems as also seen in their optical
spectra. We also find that PSQs in early-type host galaxies tend to have
relatively strong AGN activities, while those in spiral hosts have stronger PAH
emission, indicating more star formation.


title:
Pion form factor and reactions e^+e^---> omega pi^0 and e^+e^---> pi^+
  pi^- pi^+ pi^- at energies up to 2-3 GeV in the many-channel approach

abstract:
  Using the field-theory-inspired expression for the pion electromagnetic form
factor F_\pi, a good description of the data in the range -10<s<1 GeV^2 is
obtained upon taking into account the pseudoscalar-pseudoscalar (PP) loops.
When the vector-pseudoscalar (VP) and the axial vector-pseudoscalar (AP) loops
are taken into account in addition to the PP ones, a good description of the
BABAR data on the reaction e^+e^--->pi^+ pi^- is obtained at energies up to 3
GeV. The inclusion of the VP and AP loops demands the treatment of the
reactions e^+e^---> omega pi^0 and e^+e^---> pi^+ pi^- pi^+ pi^-. This task is
also made, with the SND data on the omega pi^0 production and the BABAR data on
the pi^+ pi^- pi^+ pi^- production, both in e^+e^- annihilation, upon taking
into account \rho(770) and the heavier \rho(1450), \rho(1700), and \rho(2100)
resonances. The problems with inclusion of the VP and AP loops are pointed out
and discussed.


title: Graded Lie algebras of type FP

abstract:
  It will be shown that every N-graded Lie algebra generated in degree 1 of
type FP with entropy less or equal to 1 must be finite-dimensional (cf. Thm.
A). As a consequence every Koszul Lie algebra with entropy less or equal to 1
must be abelian (cf. Cor. C). These results are obtained from a generalized
Witt formula (cf. Thm. D) for N-graded Lie algebras of type FP and the analysis
of necklace polynomials at roots of unity.


title:
Study on the multi-pass, multi-bunch beam breakup for 9-cell TESLA
  cavities in ERL

abstract:
  Generally, Energy Recovery Linac (ERL) needs special designed high current
superconducting RF cavities. In this paper, the threshold current of BBU for
compact ERL facilities with 9-cell Tesla type cavities are investigated. The
results show that it is feasible to adopt 9-cell Tesla cavity for compact ERL
test facilities with just a few cavities and beam current around tens mA.


title: Kinetics of Deposition of Oriented Superdisks

abstract:
  We use numerical Monte Carlo simulation to study kinetics of deposition of
oriented superdisks, bounded by the Lame curves of the form
$|x|^{2p}+|y|^{2p}=1$, on regular planar substrate. It was recently shown that
the maximum packing density, as well as jamming density $\rho_{J}$, exhibit
discontinuous derivative at $p=0.5$, when the shape changes from convex to
concave form. By careful examination of the late-stage approach to the jamming
limit, we find that the leading term in temporal development is also
nonanalytic at $p=0.5$, and offer heuristic excluded-area arguments for this
behavior.


title:
Direct photon production and interferometry in $\sqrt{s}_{NN}$=200 GeV
  Au+Au and in $\sqrt{s}_{NN}$=2.76 TeV Pb+Pb collisions

abstract:
  Direct photon production, in $\sqrt{s_{NN}}$=200 GeV Au+Au and in
$\sqrt{s_{NN}}$=2.76 TeV Pb+Pb collisions, are studied in a hydrodynamic model.
  Ideal hydrodynamic model, initialised to reproduce experimentally charged
particle spectra in RHIC and LHC energy, also reproduces the PHENIX and ALICE
measurements for the direct photon spectra in Au+Au collisions at RHIC and
Pb+Pb collisions at LHC. The model however produces less elliptic flow than in
experiment. Discrepancy between experiment and hydrodynamic simulation is
comparatively less in Pb+Pb collisions at LHC than in Au+Au collisions at RHIC.
We also studied direct photon correlation and determined the HBT radii. In
0-10%-50-60% collisions, HBT radii in Au+Au or in Pb+Pb collisions do not show
large centrality dependence. Energy dependence of the HBT radii for direct
photons is also not large.


title:
Regularity and projective dimension of edge ideal of $C_5$-free vertex
  decomposable graphs

abstract:
  In this paper, we explain the regularity, projective dimension and depth of
edge ideal of some classes of graphs in terms of invariants of graphs. We show
that for a $C_5$-free vertex decomposable graph $G$, $\T{reg}(R/I(G))= c_G$,
where $c_G$ is the maximum number of 3-disjoint edges in $G$. Moreover for this
class of graphs we characterize $\T{pd}(R/I(G))$ and $\T{depth}(R/I(G))$. As a
corollary we describe these invariants in forests and sequentially
Cohen-Macaulay bipartite graphs.


title: Building Internal Cloud at NIC : A Preview

abstract:
  The most of computing environments in the IT support organization like NIC
are designed to run in centralized datacentre. The centralized infrastructure
of various development projects are used to deploy their services on it and
connecting remotely to that datacentre from all the stations of organization.
Currently these servers are mostly underutilized due to the static and
conventional approaches used for accessing and utilizing of these resources.
The cloud patterns is much needful for optimizing resource utilization and
reducing the investments on unnecessary costs. So, we build up and prototyped a
private cloud system called nIC(NIC Internal Cloud) to leverage the benefits of
cloud environment. For this system we adopted the combination of various
techniques from open source software community. The user-base of nIC consists
developers, web and database admins, service providers and desktop users from
various projects in NIC. We can optimize the resource usage by customizing the
user based template services on these virtualized infrastructure. It will also
increases the flexibility of the managing and maintenance of the operations
like archiving, disaster recovery and scaling of resources. The open-source
approach is further decreases the enterprise costs. In this paper, we describe
the design and analysis of implementing issues on internal cloud environments
in NIC and similar organizations.


title:
Wigner-von Neumann type perturbations of periodic Schr\"odinger
  Operators

abstract:
  We consider decaying oscillatory perturbations of periodic Schr\"odinger
operators on the half line. More precisely, the perturbations we study satisfy
a generalized bounded variation condition at infinity and an $L^p$ decay
condition. We show that the absolutely continuous spectrum is preserved, and
give bounds on the Hausdorff dimension of the singular part of the resulting
perturbed measure. Under additional assumptions, we instead show that the
singular part embedded in the essential spectrum is contained in an explicit
countable set. Finally, we demonstrate that this explicit countable set is
optimal. That is, for every point in this set there is an open and dense class
of periodic Schr\"odinger operators for which an appropriate perturbation will
result in the spectrum having an embedded eigenvalue at that point.


title:
Euclidian crystals in many-body systems: breakdown of Goldstone's
  theorem

abstract:
  In accord with Nambu-Goldstone theorem spontaneous breaking of a global
continuous symmetry of the system by a mean-field order parameter causes
appearance of massless Goldstone bosons, called also gapless Goldstone modes.
It is demonstrated below that the theorem can be violated, i.e. the Goldstone
modes possess finite gap, in the case of a novel "Euclidian crystal" (quantum
ordered) state of interacting fermions, that was proposed recently {mukhin
2011}. This result may lead to the important consequences when considered in
combination with another peculiar properties of the quantum order parameter
(QOP) that where recently found: QOP's Green's function is finite and periodic
along the Matsubara's axis, but Wick-rotated to the axis of real frequencies,
possesses infinite periodic "chain" of \it{second order poles} along this axis
{mukhin 2011}. This property of QOP leads to a remarkable physical consequence:
\it{QOP does not scatter anything in Minkowski world} ! Hence, the present
theory, we believe, may naturally indicate that two effects: "hidden order"
revealed in ARPES spectra of fermi-excitations and "neutron resonance" feature
at finite frequency in the magnetic (bosonic) excitations spectrum in lightly
hole-doped copper oxides, could be emerging fingerprints of the Euclidian
crystal state. A peculiar manifestation of the QOP self-consistent solution in
the form of non-classical phonon states is described for an "electromagnetic
Euclidian crystal" predicted recently {mukhin,fistul 2013} in the array of
Josephson junctions coupled via electromagnetic field in the superconducting
resonator. It is demonstrated that it may constitute a stable state of the
system, that, for a particular quantum disordering model, exists inside the
stability domain of the classical photonic condensate delimited by the critical
value of the quantum disordering strength.


title: Problems on q-Analogs in Coding Theory

abstract:
  The interest in $q$-analogs of codes and designs has been increased in the
last few years as a consequence of their new application in error-correction
for random network coding. There are many interesting theoretical, algebraic,
and combinatorial coding problems concerning these q-analogs which remained
unsolved. The first goal of this paper is to make a short summary of the large
amount of research which was done in the area mainly in the last few years and
to provide most of the relevant references. The second goal of this paper is to
present one hundred open questions and problems for future research, whose
solution will advance the knowledge in this area. The third goal of this paper
is to present and start some directions in solving some of these problems.


title:
Fast and robust population transfer in two-level quantum systems with
  dephasing noise and/or systematic frequency errors

abstract:
  We design, by invariant-based inverse engineering, driving fields that invert
the population of a two-level atom in a given time, robustly with respect to
dephasing noise and/or systematic frequency shifts. Without imposing
constraints, optimal protocols are insensitive to the perturbations but need an
infinite energy. For a constrained value of the Rabi frequency, a flat $\pi$
pulse is the least sensitive protocol to phase noise but not to systematic
frequency shifts, for which we describe and optimize a family of protocols.


title: Homogeneous Ricci soliton hypersurfaces in the complex hyperbolic spaces

abstract:
  A Lie hypersurface in the complex hyperbolic space is an orbit of a
cohomogeneity one action without singular orbit. In this paper, we classify
Ricci soliton Lie hypersurfaces in the complex hyperbolic spaces.


title:
Information-Theoretic Approach to Efficient Adaptive Path Planning for
  Mobile Robotic Environmental Sensing

abstract:
  Recent research in robot exploration and mapping has focused on sampling
environmental hotspot fields. This exploration task is formalized by Low,
Dolan, and Khosla (2008) in a sequential decision-theoretic planning under
uncertainty framework called MASP. The time complexity of solving MASP
approximately depends on the map resolution, which limits its use in
large-scale, high-resolution exploration and mapping. To alleviate this
computational difficulty, this paper presents an information-theoretic approach
to MASP (iMASP) for efficient adaptive path planning; by reformulating the
cost-minimizing iMASP as a reward-maximizing problem, its time complexity
becomes independent of map resolution and is less sensitive to increasing robot
team size as demonstrated both theoretically and empirically. Using the
reward-maximizing dual, we derive a novel adaptive variant of maximum entropy
sampling, thus improving the induced exploration policy performance. It also
allows us to establish theoretical bounds quantifying the performance advantage
of optimal adaptive over non-adaptive policies and the performance quality of
approximately optimal vs. optimal adaptive policies. We show analytically and
empirically the superior performance of iMASP-based policies for sampling the
log-Gaussian process to that of policies for the widely-used Gaussian process
in mapping the hotspot field. Lastly, we provide sufficient conditions that,
when met, guarantee adaptivity has no benefit under an assumed environment
model.


title:
Intrinsic Geometry and Analysis of Diffusion Processes and
  $L^\infty$-Variational Problems

abstract:
  The aim of this paper is two-fold:
  First, we obtain a better understanding of the intrinsic distance of
diffusion processes. Precisely, (i) for all $n\ge1$, the diffusion matrix $A$
is weak upper semicontinuous on $\Omega$ if and only if the intrinsic
differential and the local intrinsic distance structures coincide; (ii) if
$n=1$, or if $n\ge2$ and $A$ is weak upper semicontinuous on $\Omega$, the
intrinsic distance and differential structures always coincide; (iii) if
$n\ge2$ and $A$ fails to be weak upper semicontinuous on $\Omega$, the (non-)
coincidence of the intrinsic distance and differential structures depend on the
geometry of the non-weak-upper-semicontinuity set of $A$.
  Second, for an arbitrary diffusion matrix $A$, we show that the intrinsic
distance completely determines the absolute minimizer of the corresponding
$L^\infty$-variational problem, and then obtain the existence and uniqueness
for given boundary data. We also give an example of a diffusion matrix $A$ for
which there is an absolute minimizer that is not of class $C^1$. When $A$ is
continuous, we also obtain the linear approximation property of the absolute
minimizer.


title:
Measurement of the proton-proton total, elastic, inelastic and
  diffractive cross sections at 2, 7, 8 and 57 TeV

abstract:
  The measurement of the total $pp$ cross section and its various
sub-components (elastic, inelastic and diffractive) is a very powerful tool to
understand the proton macro structure and fundamental QCD dynamics. In this
contribution I first provide a theoretical introduction to the topic, then a
summary of the experimental techniques and finally I review the new results
from AUGER and LHC experiments.


title: Fission process of low excited nuclei with Langevin approach

abstract:
  Fragment mass distributions from the fission of U and Pu isotopes at low
excitation energies are studied using a dynamical model based on the
fluctuation-dissipation theorem formulated as Langevin equations. The present
calculations reproduced the overall trend of the asymmetric mass distribution
without parameter adjustment for the first time using the Langevin approach.
The Langevin trajectories show a complicated time evolution on the potential
surface, which causes the time delay of fission, showing that dynamical
treatment is vital. It was found that the shell effect of the potential energy
landscape has a dominant role in determining the mass distribution, although it
is rather insensitive to the strength of dissipation. Nevertheless, it is
essential to include the effect of dissipation, since it has a crucial role in
giving "fluctuation" to Langevin trajectories as well as for explaining the
multiplicities of pre-scission neutrons as the excitation energy increases.
Therefore, the present approach can serve as a basis for more refined analysis.


title: Perfect transfer of coherent state-based qubits via coupled cavities

abstract:
  Motivated by the need for communication of coherent state-based qubits in
quantum computers, we introduce a method for perfect transferring of an
arbitrary superposition of coherent states between two distant nodes of a
linear array of three semiconductor QDs. The QDs trapped in a system of coupled
cavities. In this method, the field mode of the cavities, as the resource of
transferring of quantum states, are only virtually excited which minimizes the
effect of decoherence due to photon loss.


title: Division problem for spatially periodic distributions

abstract:
  We give a sufficient condition for the surjectivity of partial differential
operators with constant coefficients on a class of distributions on R^{n+1}
(here we think of there being n space directions and one time direction), that
are periodic in the spatial directions and tempered in the time direction.


title: Predicting a Prior for Planck

abstract:
  The quantum state of the universe combined with the structure of the
landscape potential implies a prior that specifies predictions for
observations. We compute the prior for CMB related observables given by the
no-boundary wave function (NBWF) in a landscape model that includes a range of
inflationary patches representative of relatively simple single-field models.
In this landscape the NBWF predicts our classical cosmological background
emerges from a region of eternal inflation associated with a plateau-like
potential. The spectra of primordial fluctuations on observable scales are
characteristic of concave potentials, in excellent agreement with the Planck
data. By contrast, alternative theories of initial conditions that strongly
favor inflation at high values of the potential are disfavored by observations
in this landscape.


title:
Ultra-high-energy head-on collisions without horizons or naked
  singulrities: general approach

abstract:
  Recently, alternatives to the Ba\~nados, Silk and West (BSW) effect were
proposed which are (i) due to the existence of naked singularities instead of
the horizon, (ii) require neither horizon nor naked singularity. We reveal the
main features of such alternatives in a model-independent way. The metric
should be close to that of the extremal black hole but the horizon should not
form. Then, one can gain unbound the energy E_{c.m.} in the centre of mass
frame due to head-on collision of particles near the would-be horizon. The
energy measured at infinity can also be unbound. If instead of particles
self-gravitating shells collide, the underlying reason leading to unbound
E_{c.m.} is the same.


title:
On the Decidability and Complexity of Some Fragments of Metric Temporal
  Logic

abstract:
  Metric Temporal Logic, $\mtlfull$ is amongst the most studied real-time
logics. It exhibits considerable diversity in expressiveness and decidability
properties based on the permitted set of modalities and the nature of time
interval constraints $I$. \oomit{The classical results of Alur and Henzinger
showed that $\mtlfull$ is undecidable where as $\mitl$ which uses only
non-singular intervals $NS$ is decidable. In a surprizing result, Ouaknine and
Worrell showed that the satisfiability of $\mtl$ is decidable over finite
pointwise models, albeit with NPR decision complexity, whereas it remains
undecidable for infinite pointwise models or for continuous time.} In this
paper, we sharpen the decidability results by showing that the satisfiability
of $\mtlsns$ (where $NS$ denotes non-singular intervals) is also decidable over
finite pointwise strictly monotonic time. We give a satisfiability preserving
reduction from the logic $\mtlsns$ to decidable logic $\mtl$ of Ouaknine and
Worrell using the technique of temporal projections. We also investigate the
decidability of unary fragment $\mtlfullunary$ (a question posed by A.
Rabinovich) and show that $\mtlfut$ over continuous time as well as
$\mtlfullunary$ over finite pointwise time are both undecidable. Moreover,
$\mathsf{MTL}^{pw}[\fut_I]$ over finite pointwise models already has NPR lower
bound for satisfiability checking. We also compare the expressive powers of
some of these fragments using the technique of EF games for $\mathsf{MTL}$.


title: Inflation and Quantum Gravity in a Born-Oppenheimer Context

abstract:
  A general equation, describing the lowest order corrections coming from
quantum gravitational effects to the spectrum of cosmological scalar
fluctuations is obtained. These corrections are explicitly estimated for the
case of a de Sitter evolution.


title:
CO Cameron band and CO2+ UV doublet emissions in the dayglow of Venus:
  Role of CO in the Cameron band production

abstract:
  Present study deals with the model calculations of CO Cameron band and CO2+
ultraviolet doublet emissions in the dayglow of Venus. The overhead and limb
intensities of CO Cameron band and CO2+ UV doublet emissions are calculated for
low, moderate, and high solar activity conditions. Using updated cross
sections, the impact of dierent e-CO cross section for Cameron band production
is estimated. The electron impact on CO is the major source mechanism of
Cameron band, followed by electron and photon impact dissociation of CO2. The
overhead intensities of CO Cameron band and CO2+ UV doublet emissions are about
a factor of 2 higher in solar maximum than those in solar minimum condition.
The effect of solar EUV flux models on the emission intensity is ~30-40% in
solar minimum condition and ~2-10% in solar maximum condition. At the altitude
of emission peak (135 km), the model predicted limb intensity of CO Cameron
band and CO2+ UV doublet emissions in moderate (F10.7 = 130) solar activity
condition is about 2400 and 300 kR, respectively, which is in agreement with
the very recently published SPICAV/Venus Express observation. The model limb
intensity profiles of CO Cameron band and CO2+ UV doublet are compared with
SPICAV observation. We also calculated intensities of N2 Vegard-Kaplan UV bands
and OI 2972 {\AA} emissions during moderate and high solar activity conditions.


title:
Diverging dc conductivity due to a flat band in disordered pseudospin-1
  Dirac-Weyl fermions

abstract:
  Several lattices, such as the dice or the Lieb lattice, possess Dirac cones
and a flat band crossing the Dirac point, whose effective model is the
pseudospin-1 Dirac-Weyl equation. We investigate the fate of the flat band in
the presence of disorder by focusing on the density of states (DOS) and dc
conductivity. While the central hub-site does not reveal the presence of the
flat band, the sublattice resolved DOS on the non-central sites exhibits a
narrow peak with height ~ 1/\sqrt{g} with g the dimensionless disorder
variance. Although the group velocity is zero on the flat band, the dc
conductivity diverges as ln(1/g) with decreasing disorder due to interband
transitions around the band touching point between the propagating and the flat
band. Generalizations to higher pseudospin are given.


title: Fundamental relations in multialgebras. Applications

abstract:
  Based on the properties of the poset of those equivalence relations of a
multialgebra for which the factor multialgebra is a universal algebra, we give
a characterization for the fundamental relations of a multialgebra. We point
out the benefits of our approach by giving two applications. One of them
provides a new characterization of the commutative fundamental relation of a
hyperring, and the other will give a general category theoretical property of
the construction of the fundamental algebras (both in the general case and in
the hyperring case).


title: Dark-matter admixed white dwarfs

abstract:
  We study the equilibrium structures of white dwarfs with dark matter cores
formed by non-self-annihilating dark matter DM particles with mass ranging from
1 GeV to 100 GeV, which are assumed to form an ideal degenerate Fermi gas
inside the stars. For DM particles of mass 10 GeV and 100 GeV, we find that
stable stellar models exist only if the mass of the DM core inside the star is
less than O(10^-3) Msun and O(10^-6) Msun, respectively. The global properties
of these stars, and in particular the corresponding Chandrasekhar mass limits,
are essentially the same as those of traditional white dwarf models without DM.
Nevertheless, in the 10 GeV case, the gravitational attraction of the DM core
is strong enough to squeeze the normal matter in the core region to densities
above neutron drip, far above those in traditional white dwarfs. For DM with
particle mass 1 GeV, the DM core inside the star can be as massive as around
0.1 Msun and affects the global structure of the star significantly. In this
case, the radius of a stellar model with DM can be about two times smaller than
that of a traditional white dwarf. Furthermore, the Chandrasekhar mass limit
can also be decreased by as much as 40%. Our results may have implications on
to what extent type Ia supernovae can be regarded as standard candles - a key
assumption in the discovery of dark energy.


title:
Fast and accurate sentiment classification using an enhanced Naive Bayes
  model

abstract:
  We have explored different methods of improving the accuracy of a Naive Bayes
classifier for sentiment analysis. We observed that a combination of methods
like negation handling, word n-grams and feature selection by mutual
information results in a significant improvement in accuracy. This implies that
a highly accurate and fast sentiment classifier can be built using a simple
Naive Bayes model that has linear training and testing time complexities. We
achieved an accuracy of 88.80% on the popular IMDB movie reviews dataset.


title:
Lognormal intensity distribution of the FUV continuum background
  shortward of Ly-alpha

abstract:
  The diffuse far-ultraviolet (FUV) continuum radiation "longward" of Ly-alpha
(1216A) is well known to correlate with the dust emission at 100 um. However,
it has been claimed that the FUV continuum background "shortward" of Ly-alpha
shows very weak or no correlation with the 100 um emission. In this paper, the
observational data of the diffuse FUV radiation by the Far Ultraviolet
Spectroscopic Explorer is reexamined in order to investigate the correlation
between the diffuse FUV radiation shortward of Ly-alpha and the 100 um
emission. Large fluctuations were confirmed in the linear-linear correlation
plots, but good correlations were found in the log-log plots. The large
fluctuations in the linear-linear plots, and thus poor correlations, between
the FUV and 100 um intensities were attributed to the lognormal property of the
FUV intensity distribution. The standard deviation of the intensity
distribution of the FUV radiation shortward of Ly-alpha was found to be
sigma_log I = 0.16-0.25. The result is consistent with that obtained not only
for the FUV radiation longward of 1216A, but also with the dust column density
measurements of various molecular clouds. This implies that most of the diffuse
FUV radiation shortward of Ly-alpha is dust-scattered light in the turbulent
interstellar medium. The diffuse FUV data obtained from the Voyager missions
was also investigated. However, much wider random fluctuations were found
compared with the FUSE data, which is most likely due to the systematic
difficulties in data reduction of the Voyager data.


title:
Through thick and thin: Structure of the Galactic thick disc from
  extragalactic surveys

abstract:
  We aim to understand the accretion history of the Milky Way by exploring the
vertical and radial properties of the Galactic thick disc.
  We study the chemical and kinematic properties of roughly a thousand spectra
of faint magnitude foreground Galactic stars observed serendipitously during
extra-galactic surveys in four lines-of-sight: three in the southern Galactic
hemisphere (surveys of the Carina, Fornax and Sculptor dwarf spheroidal
galaxies) and one in the northern Galactic hemisphere (a survey of the Sextans
dwarf spheroidal galaxy). The foreground stars span distances up to 3kpc from
the Galactic plane and Galactocentric radii up to 11kpc.
  Only three lines-of-sight have a sufficient number of foreground stars for a
robust analysis. Towards Sextans in the Northern Galactic hemisphere and
Sculptor in the South, we measure a consistent decrease in mean metallicity
with height from the Galactic plane, suggesting a chemically symmetric thick
disc. This decrease can either be due to an intrinsic thick disc metallicity
gradient, or simply due to a change in the thin disc/thick disc population
ratio and no intrinsic metallicity gradients for the thick disc. We favour the
latter explanation. In contrast, we find evidence of an unpredicted metal-poor
population in the direction of Carina. This population was earlier detected by
Wyse et al. (2006), but our more detailed analysis provides robust estimates of
its location (|Z|<1kpc), metallicity (-2<[M/H]<-1 dex) and azimuthal orbital
velocity (V_phi ~120 km/s).
  Given the chemo-dynamical properties of the over-density towards the Carina
line-of-sight, we suggest that it represents the metal-poor tail of the
canonical thick disc. In spite of the small number of stars available, we
suggest that this metal-weak thick disc follows the often suggested thick disc
velocity-metallicity correlation of dV_phi/d[M/H]~40-50km/s/dex.


title:
Streamforce: outsourcing access control enforcement for stream data to
  the clouds

abstract:
  As tremendous amount of data being generated everyday from human activity and
from devices equipped with sensing capabilities, cloud computing emerges as a
scalable and cost-effective platform to store and manage the data. While
benefits of cloud computing are numerous, security concerns arising when data
and computation are outsourced to a third party still hinder the complete
movement to the cloud. In this paper, we focus on the problem of data privacy
on the cloud, particularly on access controls over stream data. The nature of
stream data and the complexity of sharing data make access control a more
challenging issue than in traditional archival databases. We present
Streamforce - a system allowing data owners to securely outsource their data to
the cloud. The owner specifies fine-grained policies which are enforced by the
cloud. The latter performs most of the heavy computations, while learning
nothing about the data. To this end, we employ a number of encryption schemes,
including deterministic encryption, proxy-based attribute based encryption and
sliding-window encryption. In Streamforce, access control policies are modeled
as secure continuous queries, which entails minimal changes to existing stream
processing engines, and allows for easy expression of a wide-range of policies.
In particular, Streamforce comes with a number of secure query operators
including Map, Filter, Join and Aggregate. Finally, we implement Streamforce
over an open source stream processing engine (Esper) and evaluate its
performance on a cloud platform. The results demonstrate practical performance
for many real-world applications, and although the security overhead is
visible, Streamforce is highly scalable.


title:
Valeur propre minimale d'une matrice de Toeplitz et d'un produit de
  matrices de Toeplitz

abstract:
  This paper is essentially devoted to the study of the minimal eigenvalue
$\lambda_{N,\alpha}$ of the Toepllitz matrice $T_N(\varphi_{\alpha})$ where
$\varphi_{\alpha}(e^{i \theta})=|1- e^{i \theta} |^{2\alpha} c_{1}(e^{i
\theta})$ with $c_{1}$ a positive sufficiently smooth function and
$0<\alpha<\frac{1}{2}$. We obtain $\lambda_{N,\alpha}\sim
c_{\alpha}N^{-2\alpha}c_{1}(1)$ when $N$ goes to the infinity and we have the
bounds of $c_{\alpha}$. To obtain the asymptotic of $\lambda_{N,\alpha}$ we
give a theorem which suggests that the entries of $T_N^{-1}(\varphi_{\alpha})$
and $T_N (\varphi^{-1}_\alpha)$ are closely related. If $\alpha_1 + \alpha_2 >
\frac{1}{2}$ we obtain the asymptotic of the minimal eigenvalue of $T_N
(\varphi_{\alpha_1}) T_N (\varphi_{\alpha_2}).$


title:
Goodhart, Charles A.E. and Tsomocos, Dimitros P.: The challenge of
  financial stability: a new model and its applications

abstract:
  This review of the book "The Challenge of Financial Stability: A New Model
and its Applications" by Goodhart C.A.E. and Tsomocos D.P. highlights the
potential of the framework of strategic partial default of banks with credit
chain on the interbank market for further theoretical and applied research on
financial stability.


title:
A versatile simulator for specular reflectivity study of multi-layer
  thin films

abstract:
  A versatile X-ray/neutron reflectivity (specular) simulator using
LabVIEW(National Instruments Corp.) for structural study of a multi-layer thin
film having any combination, including the repetitions, of nano-scale layers of
different materials is presented here (available to download from the link
provided at the end of the paper). Inclusion of absorption of individual
layers, inter-layer roughnesses, background counts, beam width, instrumental
resolution and footprint effect due to finite size of the sample makes the
simulated reflectivity close to practical one. The effect of multiple
reflection is compared with simulated curves following the exact dynamical
theory and approximated kinematical theory. The applicability of further
approximation (Born theory) that the incident angle does not change
significantly from one layer to another due to refraction is also considered.
Brief discussion about reflection from liquid surface/interface and
reflectivity study using polarized neutron are also included as a part of the
review. Auto-correlation function in connection with the data inversion
technique is discussed with possible artifacts for phase-loss problem. An
experimental specular reflectivity data of multi-layer erbium stearate
Langmuir-Blodgett (LB) film is considered to estimate the parameters by
simulating the reflectivity curve.


title:
Measurement of physical parameters with a weight function method and its
  application to the Higgs boson mass reconstruction

abstract:
  We propose a new method to measure various physical parameters, using
characteristic weight functions. This method requires only lepton energy
distribution and ideally it does not depend on the velocity of the parent
particle. We demonstrate an application of this method by simulating a
reconstruction of the Higgs boson mass in the H-> WW -> lnu lnu decay mode at
the LHC. We show that systematic errors are suppressed compared to statistical
errors. In the vector boson fusion channel, the statistical accuracy of the
mass determination is estimated to be +12% and -14% at an integrated luminosity
of 100fb^{-1}, assuming the Higgs boson mass to be 125GeV and root{s}=14TeV.


title: Effects of Channel Aging in Massive MIMO Systems

abstract:
  MIMO communication may provide high spectral efficiency through the
deployment of a very large number of antenna elements at the base stations. The
gains from massive MIMO communication come from the use of multi-user MIMO on
the uplink and downlink, but with a large excess of antennas at the base
station compared to the number of served users. Initial work on massive MIMO
did not fully address several practical issues associated with its deployment.
This paper considers the impact of channel aging on the performance of massive
MIMO systems. The effects of channel variation are characterized as a function
of different system parameters assuming a simple model for the channel time
variations at the transmitter. Channel prediction is proposed to overcome
channel aging effects. The analytical results on aging show how capacity is
lost due to time variation in the channel. Numerical results in a multicell
network show that massive MIMO works even with some channel variation and that
channel prediction could partially overcome channel aging effects.


title: Cauchy integrals for the p-Laplace equation in planar Lipschitz domains

abstract:
  We construct solutions to p-Laplace type equations in unbounded Lipschitz
domains in the plane with prescribed boundary data in appropriate fractional
Sobolev spaces. Our approach builds on a Cauchy integral representation formula
for solutions.


title: On the geometric phase and the scattering at the LHC

abstract:
  We discuss appearance at the LHC energies of the geometric phase, which in
its turn can reflect a presence of the non-factorizable background geometry
proposed in the RS-scenario with extra spatial dimensions.


title:
Comparison of HI and optical redshifts of galaxies - The impact of
  redshift uncertainties on spectral line stacking

abstract:
  Accurate optical redshifts will be critical for spectral co-adding techniques
used to extract detections from below the noise level in ongoing and upcoming
surveys for HI, which will extend our current understanding of gas reservoirs
in galaxies to lower column densities and higher redshifts. We have used
existing, high quality optical and radio data from the SDSS and ALFALFA surveys
to investigate the relationship between redshifts derived from optical
spectroscopy and neutral hydrogen (HI) spectral line observations. We find that
the two redshift measurements agree well, with a negligible systematic offset
and a small distribution width. Employing simple simulations, we determine how
the width of an ideal stacked HI profile depends on these redshift offsets, as
well as larger redshift errors more appropriate for high redshift galaxy
surveys. The width of the stacked profile is dominated by the width
distribution of the input individual profiles when the redshift errors are less
than the median width of the input profiles, and only when the redshift errors
become large, ~150 km/s, do they significantly affect the width of the stacked
profile. This redshift accuracy can be achieved with moderate resolution
optical spectra. We provide guidelines for the number of spectra required for
stacking to reach a specified mass sensitivity, given telescope and survey
parameters, which will be useful for planning optical spectroscopy observing
campaigns to supplement the radio data.


title:
7Be charge exchange between 7Be3+ ion and exotic long-lived negatively
  charged massive particle in big bang nucleosynthesis

abstract:
  The existence of an exotic long-lived negatively charged massive particle,
i.e., X-, during big bang nucleosynthesis can affect primordial light element
abundances. Especially, the final abundance of 7Li, mainly originating from the
electron capture of 7Be, has been suggested to reduce by the 7Be destruction
via the radiative X- capture of 7Be followed by the radiative proton capture of
the bound state of 7Be and X- (7BeX). We suggest a new route of 7BeX formation,
that is the 7Be charge exchange at the reaction of 7Be3+ ion and X-. The
formation rate depends on the number fraction of 7Be3+ ion, the charge exchange
cross section of 7Be3+, and the probability that produced excited states 7BeX*
are converted to the ground state. We estimate respective quantities affecting
the 7BeX formation rate, and find that this reaction pathway can be more
important than ordinary radiative recombination of 7Be and X-. The effect of
the charge exchange reaction is then shown in a latest nuclear reaction network
calculation. Quantum physical model calculations for related reactions are
needed to precisely estimate the efficiency of this pathway in future.


title:
Estimating Average Causal Effects Under General Interference, with
  Application to a Social Network Experiment

abstract:
  This paper presents a randomization-based framework for estimating causal
effects under interference between units, motivated by challenges that arise in
analyzing experiments on social networks. The framework integrates three
components: (i) an experimental design that defines the probability
distribution of treatment assignments, (ii) a mapping that relates experimental
treatment assignments to exposures received by units in the experiment, and
(iii) estimands that make use of the experiment to answer questions of
substantive interest. We develop the case of estimating average unit-level
causal effects from a randomized experiment with interference of arbitrary but
known form. The resulting estimators are based on inverse probability
weighting. We provide randomization-based variance estimators that account for
the complex clustering that can occur when interference is present. We also
establish consistency and asymptotic normality under local dependence
assumptions. We discuss refinements including covariate-adjusted effect
estimators and ratio estimation. We evaluate empirical performance in realistic
settings with a naturalistic simulation using social network data from American
schools. We then present results from a field experiment on the spread of
anti-conflict norms and behavior among school students.


title: Uniqueness results for semilinear elliptic systems on $\R^n$

abstract:
  In this paper we establish uniqueness criteria for positive radially
symmetric finite energy solutions of semilinear elliptic systems of the form
  \begin{align*}
  \begin{aligned}
  - \Delta u &= f(|x|,u,v)\quad\text{in}\R^n,
  - \Delta v &= f(|x|,v,u)\quad\text{in}\R^n.
  \end{aligned}
  \end{align*}
  As an application we consider the following nonlinear Schr\"odinger system
  \begin{align*}
  \begin{aligned}
  - \Delta u + u &= u^{2q-1} + b u^{q-1}v^q\quad\text{in}\R^n,
  - \Delta v + v &= v^{2q-1} + b v^{q-1}u^q \quad\text{in}\R^n.
  \end{aligned}
  \end{align*}
  for $b>0$ and exponents $q$ which satisfy $1<q<\infty$ in case $n\in\{1,2\}$
and
  $1<q<\frac{n}{n-2}$ in case $n\geq 3$. Generalizing the results of Wei and
Yao dealing with the case $q=2$ we find new sufficient conditions and necessary
conditions on $b,q,n$ such that precisely one positive solution exists. Our
results dealing with the special case $n=1$ are optimal.


title: A Geometric Approach to Combinatorial Fixed-Point Theorems

abstract:
  We develop a geometric framework that unifies several different combinatorial
fixed-point theorems related to Tucker's lemma and Sperner's lemma, showing
them to be different geometric manifestations of the same topological
phenomena. In doing so, we obtain (1) new Tucker-like and Sperner-like
fixed-point theorems involving an exponential-sized label set; (2) a
generalization of Fan's parity proof of Tucker's Lemma to a much broader class
of label sets; and (3) direct proofs of several Sperner-like lemmas from
Tucker's lemma via explicit geometric embeddings, without the need for
topological fixed-point theorems. Our work naturally suggests several
interesting open questions for future research.


title:
Observation of Higher-Order Sideband Transitions and First-Order
  Sideband Rabi Oscillations in a Superconducting Flux Qubit Coupled to a SQUID
  Plasma Mode

abstract:
  We report results of spectroscopic measurements and time-domain measurements
of a superconducting flux qubit. The dc superconducting quantum interference
device (SQUID), used for readout of the qubit, and a shunt capacitor formed an
LC resonator generating a SQUID plasma mode. Higher-order red and blue
sidebands were observed in a simple measurement scheme because the resonant
energy of the resonator, 600 MHz, was comparable to the thermal energy. We also
observed Rabi oscillations on the carrier transition and the first-order
sideband transitions. Because the qubit was coupled to a single arm of the dc
SQUID, the qubit-SQUID coupling was significant at zero bias current, where
these phenomena were observed. The ratios between the Rabi periods for the
carrier transition and the sideband transitions are compared with those
estimated from the coupling constant, which was separately determined. The
result may be explained by assuming initial excitation of the resonator.


title: Electron-phonon interaction on the surface of a 3D topological insulator

abstract:
  We analyze the role of a Rayleigh surface phonon mode in the electron-phonon
interaction at the surface of a 3D topological insulator. A strong
renormalization of the phonon dispersion, leading eventually to the
disappearance of Rayleigh phonons, is ruled out in the ideal case of a
continuum long-wavelength limit, which is only justified if the surface is
clean and defect free. The absence of backscattering for Dirac electrons at the
Fermi surface is partly responsible for the reduced influence of the
electron-phonon interaction. A pole in the dielectric response function due to
the Rayleigh phonon dispersion could drive the electron-electron interaction
attractive at low frequencies. However, the average pairing interaction within
the weak coupling approach is found to be too small to induce a surface
superconducting instability.


title:
Power Control for D2D Underlaid Cellular Networks: Modeling, Algorithms
  and Analysis

abstract:
  This paper considers a device-to-device (D2D) underlaid cellular network
where an uplink cellular user communicates with the base station while multiple
direct D2D links share the uplink spectrum. This paper proposes a random
network model based on stochastic geometry and develops centralized and
distributed power control algorithms. The goal of the proposed power control
algorithms is two-fold: ensure the cellular users have sufficient coverage
probability by limiting the interference created by underlaid D2D users, while
also attempting to support as many D2D links as possible. For the distributed
power control method, expressions for the coverage probabilities of cellular
and D2D links are derived and a lower bound on the sum rate of the D2D links is
provided. The analysis reveals the impact of key system parameters on the
network performance. For example, the bottleneck of D2D underlaid cellular
networks is the cross-tier interference between D2D links and the cellular
user, not the D2D intra-tier interference. Numerical results show the gains of
the proposed power control algorithms and accuracy of the analysis.


title:
Categorification of tensor powers of the vector representation of
  $U_q(\mathfrak{gl}(1|1))$

abstract:
  We consider the monoidal subcategory of finite dimensional representations of
$U_q(\mathfrak{gl}(1|1))$ generated by the vector representation, and we
provide a diagram calculus for the intertwining operators, which allows to
compute explicitly the canonical basis. We construct then a categorification of
these representations and of the action of both $U_q(\mathfrak{gl}(1|1))$ and
the intertwining operators using subquotient categories of the BGG category
$\mathcal{O}(\mathfrak{gl}_n)$.


title:
First results from a study of DIBs with thousands of high-quality
  massive-star spectra

abstract:
  We are using five different surveys to compile the largest sample of diffuse
interstellar band (DIB) measurements ever collected. GOSSS is obtaining
intermediate-resolution blue-violet spectroscopy of ~2500 OB stars, of which
60% have already been observed and processed. The other four surveys have
already collected multi-epoch high-resolution optical spectroscopy of 700 OB
stars with different telescopes, including the 9 m Hobby-Eberly Telescope in
McDonald Observatory. Some of our stars are highly-extinguished targets for
which no good-quality optical spectra have ever been published. For all of the
targets in our sample we have obtained accurate spectral types, measured
non-DIB ISM lines, and compiled information from the literature to calculate
the extinction. Here we present the first results of the project, the
properties of twenty DIBs in the 4100-5500 {\AA} range. We clearly detect a
couple of previously elusive DIBs at 4170 {\AA} and 4591 {\AA}; the latter
could have coronene and ovalene cations as carriers.


title: On a Generalization of the Ryser-Brualdi-Stein Conjecture

abstract:
  A rainbow matching for (not necessarily distinct) sets F_1,...,F_k of
hypergraph edges is a matching consisting of k edges, one from each F_i. The
aim of the paper is twofold - to put order in the multitude of conjectures that
relate to this concept (some of them first presented here), and to present some
partial results on one of these conjectures, that seems central among them.


title:
A comparison of high order explicit Runge-Kutta, extrapolation, and
  deferred correction methods in serial and parallel

abstract:
  We compare the three main types of high-order one-step initial value solvers:
extrapolation, spectral deferred correction, and embedded Runge--Kutta pairs.
We consider orders four through twelve, including both serial and parallel
implementations. We cast extrapolation and deferred correction methods as
fixed-order Runge--Kutta methods, providing a natural framework for the
comparison. The stability and accuracy properties of the methods are analyzed
by theoretical measures, and these are compared with the results of numerical
tests. In serial, the 8th-order pair of Prince and Dormand (DOP8) is most
efficient. But other high order methods can be more efficient than DOP8 when
implemented in parallel. This is demonstrated by comparing a parallelized
version of the well-known ODEX code with the (serial) DOP853 code. For an
$N$-body problem with $N=400$, the experimental extrapolation code is as fast
as the tuned Runge--Kutta pair at loose tolerances, and is up to two times as
fast at tight tolerances.


title:
Reconstruction of a Rotational Wavepacket of Inverted Molecular Ions in
  an Intense Femtosecond Laser Field

abstract:
  We report on generation of a rotational wavepacket in the ground vibronic
state (v = 0) of excited electronic B2{\Sigma}u+ state of N2+ in a femtosecond
laser induced plasma spark. Decoding of the rotational wavepacket is achieved
with the frequency-resolved seed-amplified air laser spectrum resulting from
the population inversion between the B2{\Sigma}u+-X2{\Sigma}g+ states of N2+ in
the plasma. We also observe that the rotational wave-packet leads to modulation
of the amplified seed signals in the time domain using a pump-probe scheme,
which can be well reproduced by theoretical calculation. Our results
demonstrate that the air laser provides an ideal probe for remote
characterization of molecular rotational states distribution in a femtosecond
laser induced filament.


title:
Obscured AGN at z~1 from the zCOSMOS-Bright Survey I. Selection and
  Optical Properties of a [Ne v]-selected sample

abstract:
  A sample of 94 narrow line AGN with 0.65<z<1.20 has been selected from the
20k-Bright zCOSMOS galaxy sample by detection of the high-ionization [NeV]3426
line. Taking advantage of the large amount of data available in the COSMOS
field, the properties of the [NeV]-selected Type-2 AGN have been investigated,
focusing on their host galaxies, X-ray emission, and optical line flux ratios.
Finally, the diagnostic developed by Gilli et al. (2010), based on the X-ray to
[NeV] luminosity ratio, has been exploited to search for the more heavily
obscured AGN. We found that [Ne v]-selected narrow line AGN have Seyfert 2-like
optical spectra, although with emission line ratios diluted by a star-forming
component. The ACS morphologies and stellar component in the optical spectra
indicate a preference for our Type-2 AGN to be hosted in early-spirals with
stellar masses greater than 10^(9.5-10)Msun, on average higher than those of
the galaxy parent sample. The fraction of galaxies hosting [NeV]-selected
obscured AGN increases with the stellar mass, reaching a maximum of about 3% at
2x10^11 Msun. A comparison with other selection techniques at z~1 shows that
the detection of the [Ne v] line is an effective method to select AGN in the
optical band, in particular the most heavily obscured ones, but can not provide
by itself a complete census of AGN2. Finally, the high fraction of
[NeV]-selected Type-2 AGN not detected in medium-deep Chandra observations
(67%) is suggestive of the inclusion of Compton-thick sources in our sample.
The presence of a population of heavily obscured AGN is corroborated by the
X-ray to [NeV] ratio; we estimated, by mean of X-ray stacking technique and
simulations, that the Compton-thick fraction in our sample of Type-2 AGN is
43+-4%, in good agreement with standard assumptions by the XRB synthesis
models.


title:
Are collapse models testable with quantum oscillating systems? The case
  of neutrinos, kaons, chiral molecules

abstract:
  Collapse models provide a theoretical framework for understanding how
classical world emerges from quantum mechanics. Their dynamics preserves
(practically) quantum linearity for microscopic systems, while it becomes
strongly nonlinear when moving towards macroscopic scale. The conventional
approach to test collapse models is to create spatial superpositions of
mesoscopic systems and then examine the loss of interference, while
environmental noises are engineered carefully. Here we investigate a different
approach: We study systems that naturally oscillate --creating quantum
superpositions-- and thus represent a natural case-study for testing quantum
linearity: neutrinos, neutral mesons, and chiral molecules. We will show how
spontaneous collapses affect their oscillatory behavior, and will compare them
with environmental decoherence effects. We will show that, contrary to what
previously predicted, collapse models cannot be tested with neutrinos. The
effect is stronger for neutral mesons, but still beyond experimental reach.
Instead, chiral molecules can offer promising candidates for testing collapse
models.


title:
On Properties of the Intrinsic Geometry of Submanifolds in a Riemannian
  Manifold

abstract:
  In the paper we study the properties of a metric function which is the
extension by continuity of the intrinsic metric of the interior of a
submanifold to its boundary. This approach is the development of the classical
intrinsic geometry of surfaces studied by A.D. Alexandrov and his school.


title:
Observation of modulation instability in a nonlinear magnetoinductive
  waveguide

abstract:
  We report numerical and experimental investigations into modulation
instability in a nonlinear magnetoinductive waveguide. By numerical simulation
we find that modulation instability occurs in an electrical circuit model of a
magnetoinductive waveguide with third-order nonlinearity. We fabricate the
nonlinear magnetoinductive waveguide for microwaves using varactor-loaded
split-ring resonators and observe the generation of modulation instability in
the waveguide. The condition for generating modulation instability in the
experiment roughly agrees with that in the numerical analysis.


title:
Why isolated streamer discharges hardly exist above the breakdown field
  in atmospheric air

abstract:
  We investigate streamer formation in the troposphere, in electric fields
above the breakdown threshold. With fully three-dimensional particle
simulations, we study the combined effect of natural background ionization and
of photoionization on the discharge morphology. In previous investigations
based on deterministic fluid models without background ionization, so-called
double-headed streamers emerged. But in our improved model, many electron
avalanches start to grow at different locations. Eventually the avalanches
collectively screen the electric field in the interior of the discharge. This
happens after what we call the `ionization screening time', for which we give
an analytical estimate. As this time is comparable to the streamer formation
time, we conclude that isolated streamers are unlikely to exist in fields well
above breakdown in atmospheric air.


title:
Symmetry breaking in a bulk-surface reaction-diffusion model for
  signaling networks

abstract:
  Signaling molecules play an important role for many cellular functions. We
investigate here a general system of two membrane reaction-diffusion equations
coupled to a diffusion equation inside the cell by a Robin-type boundary
condition and a flux term in the membrane equations. A specific model of this
form was recently proposed by the authors for the GTPase cycle in cells. We
investigate here a putative role of diffusive instabilities in cell
polarization. By a linearized stability analysis we identify two different
mechanisms. The first resembles a classical Turing instability for the membrane
subsystem and requires (unrealistically) large differences in the lateral
diffusion of activator and substrate. The second possibility on the other hand
is induced by the difference in cytosolic and lateral diffusion and appears
much more realistic. We complement our theoretical analysis by numerical
simulations that confirm the new stability mechanism and allow to investigate
the evolution beyond the regime where the linearization applies.


title:
Ultra-large Mode Area Microstructured Core Chalcogenide Fiber Design for
  Mid-IR Beam Delivery

abstract:
  An all solid large modearea (LMA) chalcogenide based microstructured core
optical fiber (MCOF) is designed and proposed for high power handling in the
mid IR spectral regime, covering the entire second transparency window of the
atmosphere (3 to 5 microns). The core of the proposed specialty fiber is
composed of a few rings of high index rods arranged in a pattern of hexagon.
Dependence of effective mode area on the pitch and radius of high index rods
are studied. Ultra high effective mode area up to 75000 micron square can be
achieved over this specific wavelength range while retaining its single mode
characteristic. A negligible confinement loss along with a low dispersion slope
(near 0.03 ps/km-nm square) and a good beam quality factor (M2 1.17) should
make this LMA fiber design attractive for fabrication as a potential candidate
suitable for high power, passive applications at the mid IR wavelength regime.


title: Disorder induced loss of magnetization in Lieb's graphene quantum dots

abstract:
  The stability of the magnetization in Lieb graphene quantum dots (GQD)
against disorder is studied. Such systems exhibit the degenerate shell of edge
states in the middle of the energy gap occupied by spin polarized electrons.
Disorder affects the energy spectrum and leads to the removal of the
degeneracy, and in a consequence the loss of the magnetization. We find that
there is a critical value of disorder strength over which the magnetization
starts dropping. We first consider GQDs with different shapes and edge
termination and compare the effect of bulk and edge disorder. We find that bulk
disorder influences the energy spectrum far away from the Fermi level while
edge disorder affects states in the vicinity of it. We next focus on Lieb GQDs
with a single zigzag edge. The stability of the ferromagnetic order against
disorder strength is analyzed for structures with a different edge length. The
probability of getting maximal spin polarization is determined.


title:
New Construction of Authentication Codes with Arbitration from
  Pseudo-Symplectic Geometry over Finite Fields

abstract:
  A new construction of authentication codes with arbitration from
pseudo-symplectic geometry over finite fields is given. The parameters and the
probabilities of deceptions of the codes are also computed.


title: Hopfian and co-hopfian subsemigroups and extensions

abstract:
  This paper investigates the preservation of hopficity and co-hopficity on
passing to finite-index subsemigroups and extensions. It was already known that
hopficity is not preserved on passing to finite Rees index subsemigroups, even
in the finitely generated case. We give a stronger example to show that it is
not preserved even in the finitely presented case. It was also known that
hopficity is not preserved in general on passing to finite Rees index
extensions, but that it is preserved in the finitely generated case. We show
that, in contrast, hopficity is not preserved on passing to finite Green index
extensions, even within the class of finitely presented semigroups. Turning to
co-hopficity, we prove that within the class of finitely generated semigroups,
co-hopficity is preserved on passing to finite Rees index extensions, but is
not preserved on passing to finite Rees index subsemigroups, even in the
finitely presented case. Finally, by linking co-hopficity for graphs to
co-hopficity for semigroups, we show that without the hypothesis of finite
generation, co-hopficity is not preserved on passing to finite Rees index
extensions.


title: On Snake cones, Alternating cones and related constructions

abstract:
  We show that the Snake on a square $SC(S^1)$ is homotopy equivalent to the
space $AC(S^1)$ which was investigated in the previous work by Eda, Karimov and
Repov\vs. We also introduce related constructions $CSC(-)$ and $CAC(-)$ and
investigate homotopical differences between these four constructions. Finally,
we explicitly describe the second homology group of the Hawaiian tori wedge.


title:
The precision of line position measurements of unresolved quasar
  absorption lines and its influence on the search for variations of
  fundamental constants

abstract:
  Optical quasar spectra can be used to trace variations of the fine-structure
constant alpha. Controversial results that have been published in last years
suggest that in addition to to wavelength calibration problems systematic
errors might arise because of insufficient spectral resolution. The aim of this
work is to estimate the impact of incorrect line decompositions in fitting
procedures due to asymmetric line profiles. Methods are developed to
distinguish between different sources of line position shifts and thus to
minimize error sources in future work. To simulate asymmetric line profiles,
two different methods were used. At first the profile was created as an
unresolved blend of narrow lines and then, the profile was created using a
macroscopic velocity field of the absorbing medium. The simulated spectra were
analysed with standard methods to search for apparent shifts of line positions
that would mimic a variation of fundamental constants. Differences between
position shifts due to an incorrect line decomposition and a real variation of
constants were probed using methods that have been newly developed or adapted
for this kind of analysis. The results were then applied to real data. Apparent
relative velocity shifts of several hundred meters per second are found in the
analysis of simulated spectra with asymmetric line profiles. It was found that
each system has to be analysed in detail to distinguish between different
sources of line position shifts. A set of 16 FeII systems in seven quasar
spectra was analysed. With the methods developed, the mean alpha variation that
appeared in these systems was reduced from the original
Dalpha/alpha=(2.1+/-2.0)x10^-5 to Dalpha/alpha=(0.1+/-0.8)x10^-5. We thus
conclude that incorrect line decompositions can be partly responsible for the
conflicting results published so far.


title:
The atmospheric structure and fundamental parameters of the red
  supergiants AH Sco, UY Sct and KW Sgr

abstract:
  We present the atmospheric structure and the fundamental properties of the
red supergiants (RSGs) AH Sco, UY Sct, and KW Sgr based on VLTI/AMBER
observations. We carried out spectro-interferometric observations of AH Sco, UY
Sct, and KW Sgr in the near-infrared K band with the VLTI/AMBER instrument, and
compared the data to a new grid of hydrostatic PHOENIX model atmospheres.
  In our visibility data, we observe molecular layers of water and CO in
extended atmospheres. For a uniform disk modeling, we observe size increases at
the water band of 10% to 25% and at the CO bandheads of 20%-35% with respect to
the near continuum bandpass. The PHOENIX atmosphere models predict the spectra
and the continuum visibility values, but cannot reproduce the large extensions
of the molecular layers. This indicates that the opacities of the molecular
bands are included, but that the model atmospheres are too compact compared to
the observations. The observed extended layers may be levitated by processes
such as pulsation or convection, which are not included in the hydrostatic
atmospheric models. Comparing the continuum visibility values to PHOENIX
models, we estimate the Rosseland-mean photospheric angular diameters. Together
with the distance and the spectro-photometry, we calculate radii and effective
temperatures. The location of the targets in the HR-diagram is confirmed to be
close to, and possibly slightly to the right of, the Hayashi limit of recent
evolutionary tracks corresponding to masses between about 20 Msun and 40 Msun


title:
A Model Construction of Self-similarity based Double Parton Distribution
  Functions for proton-proton collision at LHC

abstract:
  We construct a model for double parton distribution functions (dPDFs) based
on the notion of self-similarity, pursued earlier for small \textit{x} physics
at HERA. The most general form of dPDFs contains total thirteen parameters to
be fitted from data of proton-proton collision at LHC. It is shown that the
constructed dPDF does not factorize into two single PDFs in conformity with QCD
expectation, and it satisfies the condition that at the kinematic boundary
$x_{1}+x_{2}=1 $ (where $x_{1}$ and $x_{2}$ are the longitudinal fractional
momenta of two partons), the dPDF vanishes.


title: Importance of Q-values in astrophysical rp-proces

abstract:
  The importance of measuring Q-values in rapid proton capture process has been
investigated. The microscopic optical model, derived using a nucleon nucleon
interaction and densities from relativistic mean field calculations, has been
utilized to calculate the reaction rates. It has been observed that the
Q-values involved in the reactions at waiting points at A = 60 and 64 are very
important in determining the final abundance of the process. Some other
Q-values also play a crucial role in the final abundance of nuclei near the end
point of the process.