title:
A 'Darboux Theorem' for shifted symplectic structures on derived Artin
  stacks, with applications

abstract:
  This is the fifth in a series arXiv:1304.4508, arXiv:1305,6302,
arXiv:1211.3259, arXiv:1305.6428 on the '$k$-shifted symplectic derived
algebraic geometry' of Pantev, Toen, Vaquie and Vezzosi, arXiv:1111.3209. This
paper extends the previous three from (derived) schemes to (derived) Artin
stacks. We prove four main results:
  (a) If $(X,\omega)$ is a $k$-shifted symplectic derived Artin stack for $k<0$
in the sense of arXiv:1111.3209, then near each $x\in X$ we can find a
'minimal' smooth atlas $\varphi:U\to X$ with $U$ an affine derived scheme, such
that $(U,\varphi^*(\omega))$ may be written explicitly in coordinates in a
standard 'Darboux form'.
  (b) If $(X,\omega)$ is a $-1$-shifted symplectic derived Artin stack and $X'$
the underlying classical Artin stack, then $X'$ extends naturally to a
'd-critical stack' $(X',s)$ in the sense of arXiv:1304.4508.
  (c) If $(X,s)$ is an oriented d-critical stack, we can define a natural
perverse sheaf $P^\bullet_{X,s}$ on $X$, such that whenever $T$ is a scheme and
$t:T\to X$ is smooth of relative dimension $n$, then $T$ is locally modelled on
a critical locus Crit$(f:U\to{\mathbb A}^1)$ for $U$ smooth, and
$t^*(P^\bullet_{X,s})[n]$ is locally modelled on the perverse sheaf of
vanishing cycles $PV_{U,f}^\bullet$ of $f$.
  (d) If $(X,s)$ is a finite type oriented d-critical stack, we can define a
natural motive $MF_{X,s}$ in a ring of motives $\bar{\mathcal
M}^{st,\hat\mu}_X$ on $X$, such that whenever $T$ is a finite type scheme and
$t:T\to X$ is smooth of dimension $n$, then $T$ is locally modelled on a
critical locus Crit$(f:U\to{\mathbb A}^1)$ for $U$ smooth, and ${\mathbb
L}^{-n/2}\odot t^*(MF_{X,s})$ is locally modelled on the motivic vanishing
cycle $MF^{mot,\phi}_{U,f}$ of $f$ in $\bar{\mathcal M}^{st,\hat\mu}_T$.
  Our results have applications to categorified and motivic extensions of
Donaldson-Thomas theory of Calabi-Yau 3-folds


title: Asymmetrical bloch branes and the hierarchy problem

abstract:
  We investigate a two scalar fields split braneworld model which leads to a
possible approach to the hierarchy problem within the thick brane scenario. The
model exhibits a resulting asymmetric warp factor suitable for this purpose.
The solution is obtained by means of the orbit equation approach for a specific
value of one of the parameters. Besides, we analyze the model qualitative
behaviour for arbitrary parameters by inspecting the underlying dynamical
system defined by the equations which give rise to the braneworld model. We
finalize commenting on the metric fluctuation and stability issues.


title: Turbulence in quantum fluids

abstract:
  This paper reviews briefly the recent important developments in the physics
of quantum turbulence (QT) in superfluid helium and atomic Bose-Einstain
condensates (BECs). After giving basics of quantum hydrodynamics, we discuss
energy spectrum, QT created by vibrating structures, visualization among topics
on superfluid helium. For atomic BECs we review three-dimensional QT,
two-component BECs, and spin turbulence in spinor BECs. The last part is
devoted to some perspectives of this issue.


title: Expansion of a Bose-Einstein Condensate with Vortices

abstract:
  The expansion of Bose-Einstein condensates (BECs) is numerically studied.
Usually, the aspect ratio of a condensate is inverted due to the anisotropy of
the uncertainty principle. In turbulent BECs, however, the aspect ratio remains
constant. The reason for this phenomenon is still unknown, being a challenging
topic in the study of quantum turbulence. Here, the two-dimensional
Gross-Pitaevskii equation is solved and the time development of the aspect
ratio and of the radii of the condensates are calculated in the presence of
vortices. The results indicate that vortex pairs must be added to a condensate
in order to expand it while maintaining its aspect ratio. The anisotropy due to
the vortex pairs competes with that due to the uncertainty principle so that
the aspect ratio remains constant.


title:
Ion-atom radiative processes in the solar atmosphere: quiet Sun and
  sunspots

abstract:
  In the previous works the significance of the symmetric and non-symmetric
ion-atom absorption processes in far UV and EUV regions within a model of the
quiet Sun atmosphere, has been studied. The considered processes were the
processes of the photo-dissociation of the molecular ions H$_{2}^{+}$ and
H$X^{+}$ and absorption processes in H+H$^{+}$ and H$+X^{+}$ collisions, where
$X$ denotes the metal atom. As the continuation of the previous investigation,
these processes are considered also within the corresponding sunspot model. In
this work the non-symmetric ion-atom absorption processes are considered with
$X=$ Mg, Si, etc. It was analyzed the significance of such processes in far UV
and EUV regions in comparison with the concurrent absorption processes,
especially with the processes of the photo-ionization of the metal atoms (Na,
Mg, Ca, etc.) which were not included in the consideration in the case of the
quiet Sun atmosphere. From our analysis it follows that the non-symmetric
ion-atom absorption processes considered here, are significant not only for
quiet Sun modeling but also for sunspots and should be included {\it ab initio}
in both cases.


title:
Ferroelectric Rashba Semiconductors as a novel class of multifunctional
  materials

abstract:
  The discovery of novel properties, effects or microscopic mechanisms in
modern materials science is often driven by the quest for combining, into a
single compound, several functionalities: not only the juxtaposition of the
latter functionalities, but especially their coupling, can open new horizons in
basic condensed matter physics as well as in technology. Semiconductor
spintronics makes no exception. In this context, we have discovered by means of
density-functional simulations that, when a sizeable spin-orbit coupling is
combined with ferroelectricity, such as in GeTe, one obtains novel
multifunctional materials - called Ferro-Electric Rashba Semi-Conductors
(FERSC) - where, thanks to a giant Rashba spin-splitting, the spin texture is
controllable and switchable via an electric field. This peculiar spin-electric
coupling can find a natural playground in small-gap insulators, such as
chalcogenides, and can bring brand new assets into the field of
electrically-controlled semiconductor spintronics


title:
An example in concern with holomorphicity of meromorphic mappings along
  real hypersurfaces

abstract: Replaced by a shorter version which appeared in press.


title:
Embedding Quantum into Classical: Contextualization vs
  Conditionalization

abstract:
  We compare two approaches to embedding joint distributions of random
variables recorded under different conditions (such as spins of entangled
particles for different settings) into the framework of classical,
Kolmogorovian probability theory. In the contextualization approach each random
variable is "automatically" labeled by all conditions under which it is
recorded, and the random variables across a set of mutually exclusive
conditions are probabilistically coupled (imposed a joint distribution upon).
Analysis of all possible probabilistic couplings for a given set of random
variables allows one to characterize various relations between their separate
distributions (such as Bell-type inequalities or quantum-mechanical
constraints). In the conditionalization approach one considers the conditions
under which the random variables are recorded as if they were values of another
random variable, so that the observed distributions are interpreted as
conditional ones. This approach is uninformative with respect to relations
between the distributions observed under different conditions, because any set
of such distributions is compatible with any distribution assigned to the
conditions.


title: The 3-rainbow index of graph operations

abstract:
  A tree $T$, in an edge-colored graph $G$, is called {\em a rainbow tree} if
no two edges of $T$ are assigned the same color. A {\em $k$-rainbow coloring}of
$G$ is an edge coloring of $G$ having the property that for every set $S$ of
$k$ vertices of $G$, there exists a rainbow tree $T$ in $G$ such that
$S\subseteq V(T)$. The minimum number of colors needed in a $k$-rainbow
coloring of $G$ is the {\em $k$-rainbow index of $G$}, denoted by $rx_k(G)$.
Graph operations, both binary and unary, are an interesting subject, which can
be used to understand structures of graphs. In this paper, we will study the
$3$-rainbow index with respect to three important graph product operations
(namely cartesian product, strong product, lexicographic product) and other
graph operations. In this direction, we firstly show if $G^*=G_1\Box
G_2\cdots\Box G_k$ ($k\geq 2$), where each $G_i$ is connected, then
$rx_3(G^*)\leq \sum_{i=1}^{k} rx_3(G_i)$. Moreover, we also present a condition
and show the above equality holds if every graph $G_i (1\leq i\leq k)$ meets
the condition. As a corollary, we obtain an upper bound for the 3-rainbow index
of strong product. Secondly, we discuss the 3-rainbow index of the
lexicographic graph $G[H]$ for connected graphs $G$ and $H$. The proofs are
constructive and hence yield the sharp bound. Finally, we consider the
relationship between the 3-rainbow index of original graphs and other simple
graph operations : the join of $G$ and $H$, split a vertex of a graph and
subdivide an edge.


title:
Optimal designs for parameters of shifted Ornstein-Uhlenbeck sheets
  measured on monotonic sets

abstract:
  Measurement on sets with a specific geometric shape can be of interest for
many important applications (e.g. measurement along the isotherms in structural
engineering). In the present paper the properties of optimal designs for
estimating the parameters of shifted Ornstein-Uhlenbeck sheets, that is
Gaussian two-variable random fields with exponential correlation structures,
are investigated when the processes are observed on monotonic sets. Substantial
differences are demonstrated between the cases when one is interested only in
trend parameters and when the whole parameter set is of interest. The
theoretical results are illustrated by computer experiments and simulated
examples from the field of structure engineering. From the design point of view
the most interesting finding of the paper is the loss of efficiency of the
regular grid design compared to the optimal monotonic design.


title: Magnetic instability of the orbital-selective Mott phase

abstract:
  We characterize the low-energy physics of the two-orbital Hubbard model in
the orbital-selective Mott phase, in which one band is metallic and the other
insulating. Using dynamical mean-field theory with the numerical
renormalization group at zero temperature, we show that this phase has a
ferromagnetic instability for any nonzero Hund's rule exchange interaction,
which can be understood in terms of an effective spin-1 Kondo Hamiltonian. The
metallic band therefore behaves as a singular Fermi liquid for which the
self-energy has a logarithmic singularity at the Fermi energy.


title: Locating the first nodal set in higher dimensions

abstract:
  This paper estimates the location and the width of the nodal set of the first
Neumann eigenfunctions on a smooth convex domain $\Omega \subset \mathbb R^n$,
whose length is normalized to be 1 and whose cross-section is contained in a
ball of radius $\epsilon$. In \cite{CJK2009}, an $O(\epsilon)$ bound was
obtained by constructing a coordinate system. In this paper, we present a
simpler method that does not require such a coordinate system. Moreover, in the
special case $n = 2$, we obtain an $O(\epsilon^2)$ bound on the width of the
nodal set, in analogy to the corresponding result in the Dirichlet case
obtained in \cite{GJ1995}.


title:
Nature of finite temperature and density phase transitions in
  many-flavor QCD

abstract:
  We investigate the phase structure of (2+Nf)-flavor QCD, where two light
flavors and Nf massive flavors exist, to discuss the feasibility of the
electroweak baryogenesis in realistic technicolor scenario and to understand
properties of finite density QCD. Because an appearance of a first order phase
transition at finite temperature is a necessary condition for the baryogenesis,
it is important to study the nature of finite temperature phase transition.
Applying the reweighting method, the probability distribution function of the
plaquette is calculated in the many-flavor QCD. Through the shape of the
distribution function, we determine the critical mass of heavy flavors
terminating the first order region, and find it to become larger with Nf. We
moreover study the critical line at finite density and the first order region
is found to become wider as increasing the chemical potential. We discuss how
the properties of real (2+1)-flavor QCD at finite temperature and density can
be extracted from simulations of many-flavor QCD.


title: Gate sequence for continuous variable one-way quantum computation

abstract:
  Measurement-based one-way quantum computation (QC) using cluster states as
resources provides an efficient model to perform computation and information
processing of quantum codes. Arbitrary Gaussian QC can be implemented by
sufficiently long single-mode and two-mode gate sequences. However, continuous
variable (CV) gate sequences have not been realized so far due to an absence of
cluster states larger than four submodes. Here we present the first CV gate
sequence consisting of a single-mode squeezing gate and a two-mode
controlled-phase gate based on a six-mode cluster state. The quantum property
of this gate sequence is confirmed by the fidelities and the quantum
entanglement of two output modes, which depend on both the squeezing and
controlled-phase gates. The experiment demonstrates the feasibility of
implementing Gaussian QC by means of accessible gate sequences.


title: Search for neutrino-induced particle showers with IceCube-40

abstract:
  We report on the search for neutrino-induced particle-showers, so-called
cascades, in the IceCube-40 detector. The data for this search was collected
between April 2008 and May 2009 when the first 40 IceCube strings were deployed
and operational. Three complementary searches were performed, each optimized
for different energy regimes. The analysis with the lowest energy threshold (2
TeV) targeted atmospheric neutrinos. A total of 67 events were found,
consistent with the expectation of 41 atmospheric muons and 30 atmospheric
neutrino events. The two other analyses targeted a harder, astrophysical
neutrino flux. The analysis with an intermediate threshold of 25 TeV lead to
the observation of 14 cascade-like events, again consistent with the prediction
of 3.0 atmospheric neutrino and 7.7 atmospheric muon events. We hence set an
upper limit of $E^2 \Phi_{lim} \leq 7.46\times10^{-8}\,\mathrm{GeV sr^{-1}
s^{-1} cm^{-2}}$ (90% C.L.) on the diffuse flux from astrophysical neutrinos of
all neutrino flavors, applicable to the energy range 25 TeV to 5 PeV, assuming
an $E_{\nu}^{-2}$ spectrum and a neutrino flavor ratio of 1:1:1 at the Earth.
The third analysis utilized a larger and optimized sample of atmospheric muon
background simulation, leading to a higher energy threshold of 100 TeV. Three
events were found over a background prediction of 0.04 atmospheric muon events
and 0.21 events from the flux of conventional and prompt atmospheric neutrinos.
Including systematic errors this corresponds to a $2.7\sigma$ excess with
respect to the background-only hypothesis. Our observation of neutrino event
candidates above 100 TeV complements IceCube's recently observed evidence for
high-energy astrophysical neutrinos.


title: Dark Matter in the Local Universe

abstract:
  We review how dark matter is distributed in our local neighbourhood from an
observational and theoretical perspective. We will start by describing first
the dark matter halo of our own galaxy and in the Local Group. Then we proceed
to describe the dark matter distribution in the more extended area known as the
Local Universe. Depending on the nature of dark matter, numerical simulations
predict different abundances of substructures in Local Group galaxies, in the
number of void regions and in the abundance of low rotational velocity galaxies
in the Local Universe. By comparing these predictions with the most recent
observations, strong constrains on the physical properties of the dark matter
particles can be derived. We devote particular attention to the results from
the Constrained Local UniversE Simulations (CLUES) project, a special set of
simulations whose initial conditions are constrained by observational data from
the Local Universe. The resulting simulations are designed to reproduce the
observed structures in the nearby universe. The CLUES provides a numerical
laboratory for simulating the Local Group of galaxies and exploring the physics
of galaxy formation in an environment designed to follow the observed Local
Universe. It has come of age as the numerical analogue of Near-Field Cosmology.


title: Towards a Jordan decomposition of blocks of finite reductive groups

abstract:
  \input amssym.def \input amssym.tex Let $G$ be a connected algebraic
reductive group over an algebraic closure of a prime field ${\Bbb F}_p$,
defined over ${\Bbb F}_q$ thanks to a Frobenius $F$. Let $\ell$ be a prime
different from $p$. Let $B$ be an $\ell$-block of the subgroup of rational
points $G^F$. Under mild restrictions on $\ell$, we show the existence of an
algebraic reductive group $H$ defined over ${\Bbb F}_q$ {\it via} a Frobenius
$F$, and of a unipotent $\ell$-block $b$ of $H^F$ such that : the respective
defect groups of $b$ and $B$ are isomorphic, the associated Brauer categories
are isomorphic and there is a height preserving one-to-one map from the set of
irreducible representations of $b$ onto the set of irreducible representations
of $B$. \end


title: Galaxy formation

abstract:
  Galaxy formation is at the forefront of observation and theory in cosmology.
An improved understanding is essential for improving our knowledge both of the
cosmological parameters, of the contents of the universe, and of our origins.
In these lectures intended for graduate students, galaxy formation theory is
reviewed and confronted with recent observational issues. In Lecture 1, the
following topics are presented: star formation considerations, including IMF,
star formation efficiency and star formation rate, the origin of the galaxy
luminosity function, and feedback in dwarf galaxies. In Lecture 2, we describe
formation of disks and massive spheroids, including the growth of supermassive
black holes, negative feedback in spheroids, the AGN-star formation connection,
star formation rates at high redshift and the baryon fraction in galaxies.


title: Gauss Sphere Problem with Polynomials

abstract:
  This paper provides an estimate of the sum of a homogeneous polynomial $P$ of
degree $\nu$ and mean zero over the lattice points inside a sphere of radius
$R$. It is proved that $$ \sum_{\mathbf x \in \mathbb Z^3 \atop |\mathbf x| \le
R} P(\mathbf x) = O_{\epsilon,P}(R^{\nu + 83/64 + \epsilon}) $$


title: Fiber integration on the Demailly tower

abstract:
  The goal of this work is to provide a fiber integration formula on the
Demailly tower, that avoids step-by-step elimination of horizontal cohomology
classes, and that yields computational effectivity. A natural twist of the
Demailly tower is introduced and a recursive formula for the total Segre class
at k-th level is obtained. Then, by interpreting single Segre classes as
coefficients, an iterated residue formula is derived.


title:
Density functional study of X monodoped and codoped (X=C, N, S, F)
  anatase TiO2

abstract:
  Using density-functional theory calculations within the generalized gradient
corrected approximation, the models that nonmetallic impurities X substituted
for O or Ti sites in anatase TiO2 were investigated. The conclusion of the
valence states of nonmetallic impurities X substituted for O or Ti sites in
TiO2 is also supported by the results of optimized cell parameters and the
local structures. Furthermore, an effective nonmetallic passivated codoping
approach to modify the band edges of TiO2 is proposed.


title:
Optimal control theory for a unitary operation under dissipative
  evolution

abstract:
  We show that optimizing a quantum gate for an open quantum system requires
the time evolution of only three states irrespective of the dimension of
Hilbert space. This represents a significant reduction in computational
resources compared to the complete basis of Liouville space that is commonly
believed necessary for this task. The reduction is based on two observations:
The target is not a general dynamical map but a unitary operation; and the time
evolution of two properly chosen states is sufficient to distinguish any two
unitaries. We illustrate gate optimization employing a reduced set of states
for a controlled phasegate with trapped atoms as qubit carriers and a
$\sqrt{i\text{SWAP}}$ gate with superconducting qubits.


title:
A stochastic model of the influence of buffer gas collisions on Mollow
  spectra

abstract:
  In this paper we consider the influence of collisional fluctuations on the
Mollow spectra of resonance fluorescence (RF). The fluctuations are taken into
account by a simple shift of the constant detuning, involved in a set of
optical Bloch equations by collision frequency noise which is modelled by a
two-step random telegraph signal (RTS). We consider in detail the Mollow
spectra for RF in the case of an arbitrary detuning of the laser frequency,
where the emitter is a member of a statistical ensemble in thermodynamic
equilibrium with the buffer gas at temperature $T$ which is treated as a
colored environment, and velocity $v$ is distributed with the Maxwell-Boltzmann
density.


title:
Long range correlations in high multiplicity hadron collisions:building
  bridges with ridges

abstract:
  We discuss the physics of the ridge -- azimuthally collimated long range
rapidity correlations -- in high multiplicity proton-proton and proton-nucleus
collisions. We outline some of the theoretical discussions in the literature
that address the systematics of these ridge correlations.


title: Extended Role Based Access Control with Blob Service on Cloud

abstract:
  Role-based access control (RBAC) models have generated a great interest in
the security community as a powerful and generalized approach to security
management and ability to model organizational structure and their capability
to reduce administrative expenses. In this paper, we highlight the drawbacks of
latest developed RBAC models in terms of access control and authorization and
later provide a more viable extended-RBAC model, which enhances and extends its
powers to make any system more secure by adding valuable constraints. Later the
Blobs are stored on cloud server which is then accessed by the end users via
this Extended RBAC model.


title: Fluctuation Spectra and Coarse Graining in Stochastic Dynamics

abstract:
  Fluctuations in small biological systems can be crucial for their function.
Large-deviation theory characterizes such rare events from the perspective of
stochastic processes. In most cases it is very difficult to directly determine
the large-deviation functions. Circumventing this necessity, I present a method
to quantify the fluctuation spectra for arbitrary Markovian models with finite
state space. Under non-equilibrium conditions, current-like observables are of
special interest. The space of all current-like observables has a natural
decomposition into orthogonal complements. Remarkably, the fluctuation spectrum
of any observable is entirely determined by only one of these components. The
method is applied to study differences of fluctuations in setups sampling the
same dynamics at different resolutions. Coarse graining relates these models
and can be done in a way that preserves expectation values of observables.
However, the effects of the coarse graining on the fluctuations are not
obvious. These differences are explicitly worked out for a simple model system.


title:
Communication Through Collisions: Opportunistic Utilization of Past
  Receptions

abstract:
  When several wireless users are sharing the spectrum, packet collision is a
simple, yet widely used model for interference. Under this model, when
transmitters cause interference at any of the receivers, their collided packets
are discarded and need to be retransmitted. However, in reality, that receiver
can still store its analog received signal and utilize it for decoding the
packets in the future (for example, by successive interference cancellation
techniques). In this work, we propose a physical layer model for wireless
packet networks that allows for such flexibility at the receivers. We assume
that the transmitters will be aware of the state of the channel (i.e. when and
where collisions occur, or an unintended receiver overhears the signal) with
some delay, and propose several coding opportunities that can be utilized by
the transmitters to exploit the available signal at the receivers for
interference management (as opposed to discarding them). We analyze the
achievable throughput of our strategy in a canonical interference channel with
two transmitter-receiver pairs, and demonstrate the gain over conventional
schemes. By deriving an outer-bound, we also prove the optimality of our scheme
for the corresponding model.


title: Stochastic manifolds

abstract:
  Malliavin Calculus can be seen as a differential calculus on Wiener spaces.
We present the notion of stochastic manifold for which the Malliavin Calculus
plays the same role as the classical differential calculus for the differential
manifolds. The set of the paths in a Riemmanian compact manifold is then seen
as a particular case of the above structure.


title: Quantum scissors - finite-dimensional states engineering

abstract:
  This work discusses quantum states defined in a finite-dimensional Hilbert
space. In particular, after the presentation of some of them and their basic
properties the work concentrates on the group of the quantum optical models
that can be referred to as \textit{quantum optical scissors}. Such "devices"
can generate on their outputs states that are finite-dimensional, and
simultaneously use for such preparation quantum states that are defined in the
infinity-dimensional space. The work concentrates on two groups of models: the
first one, comprising linear elements and the second one -- models for which
optical, Kerr-like nonlinear elements were applied.


title: Chiral phase transition of $N_f$=2+1 QCD with the HISQ action

abstract:
  We present studies of universal properties of the chiral phase transition in
$N_f$=2+1 QCD based on the simulations using Highly Improved Staggered fermions
on lattices with temporal extent $N_\tau$=6. We analyze the quark mass and
volume dependence of the chiral condensates and chiral susceptibilities in QCD
with two degenerate light quarks and a strange quark. The strange quark mass is
chosen to be fixed to its physical value ($m^{phy}_s$) and five values of light
quark masses ($m_l$) that are varied in the interval 1/20$\gtrsim m_l/m^{phy}_s
\gtrsim$1/80. Here various quark masses correspond to pseudo Goldstone pion
masses ranging from about 160 MeV to about 80 MeV. The O(N) scaling of chiral
observables and the influence of universal scaling on physical observables in
the region of physical quark mass values are also discussed.


title:
Polynomial properties of Jack connection coefficients and generalization
  of a result by D\'enes

abstract:
  This article is devoted to the computation of Jack connection coefficients, a
generalization of the connection coefficients of two classical commutative
subalgebras of the group algebra of the symmetric group: the class algebra and
the double coset algebra. The connection coefficients of these two algebraic
structures are of significant interest in the study of Schur and zonal
polynomials as well as the irreducible characters of the symmetric group and
the zonal spherical functions. Furthermore they play an important role in
combinatorics as they give the number of factorizations of a permutation into a
product of permutations with given cyclic properties. Usually studied
separately, these two families of coefficients share strong similar properties.
First (partially) introduced by Goulden and Jackson in 1996, Jack connection
coefficients provide a natural unified approach closely related to the theory
of Jack polynomials, a family of bases in the ring of symmetric functions
indexed by a parameter \alpha that generalizes both Schur (case \alpha = 1) and
zonal polynomials (case \alpha = 2). Jack connection coefficients are also
directly linked to Jack characters, a general view of the characters of the
symmetric group and the zonal spherical functions. Goulden and Jackson
conjectured that these coefficients are polynomials in \alpha with nice
combinatorial properties, the so-called Matchings-Jack conjecture. In this
paper, we use the theory of Jack symmetric functions and the Laplace Beltrami
operator to show the polynomial properties of Jack connection coefficients in
some important cases. We also provide explicit formulations including notably a
generalization of a classical formula of D\'enes for the number of minimal
factorizations of a permutation into transpositions.


title: Semantics of Interaction

abstract:
  This is an introduction to Game Semantics based on some lecture notes given
at the CLiCS II summer school in Cambridge in 1995. We will focus on the recent
(1994) work on Game semantics, which has led to some striking advances in the
Full Abstraction problem for PCF and other programming languages. Our aim is to
give a genuinely elementary first introduction; we therefore present a
simplified version of game semantics, which nonetheless contains most of the
essential concepts. The more complex game semantics used by Abramsky,
Jagadeesan and Malacaria and by Hyland and Ong to construct fully abstract
models for PCF can be seen as refinements of what we present. Some background
in category theory, type theory and linear logic would be helpful in reading
these notes.


title: Twistor construction of asymptotically hyperbolic Einstein--Weyl spaces

abstract:
  Starting from a real analytic conformal Cartan connection on a real analytic
surface $S$, we construct a complex surface $T$ containing a family of pairs of
projective lines. Using the structure on $S$ we also construct a complex
$3$-space $Z$, such that $Z$ is a twistor space of a self-dual conformal
$4$-fold and $T$ is a quotient of $Z$ by a holomorphic local $\mathbb{C}^*$
action. We prove that $T$ is a minitwistor space of an asymptotically
hyperbolic Einstein-Weyl space with $S$ as an asymptotic boundary.


title:
Observation of quasiperiodic dynamics in a one-dimensional quantum walk
  of single photons in space

abstract:
  We realize quasi-periodic dynamics of a quantum walker over 2.5 quasi-periods
by realizing the walker as a single photon passing through a quantum-walk
optical-interferometer network. We introduce fully controllable
polarization-independent phase shifters in each optical path to realize
arbitrary site-dependent phase shifts, and we employ large clear-aperture beam
displacers, while maintaining high-visibility interference, to enable reaching
10 quantum-walk steps. By varying the half-wave-plate setting, we control the
quantum-coin bias thereby observing a transition from quasi-periodic dynamics
to ballistic diffusion.


title:
New Results on the 3-Loop Heavy Flavor Corrections in Deep-Inelastic
  Scattering

abstract:
  We report on recent progress in the calculation of the 3-loop massive Wilson
coefficients in deep-inelastic scattering at general values of $N$ for neutral
and charged current reactions in the asymptotic region $Q^2 \gg m^2$. Four new
out of eight massive operator matrix elements and Wilson coefficients have been
obtained recently. We also discuss recent results on Feynman graphs containing
two-massive fermion lines and present complete results for the bubble
topologies for all processes.


title: Phase Diagram of Spiking Neural Networks

abstract:
  In computer simulations of spiking neural networks, often it is assumed that
every two neurons of the network are connected by a probability of 2\%, 20\% of
neurons are inhibitory and 80\% are excitatory. These common values are based
on experiments, observations, and trials and errors, but here, I take a
different perspective, inspired by evolution, I systematically simulate many
networks, each with a different set of parameters, and then I try to figure out
what makes the common values desirable. I stimulate networks with pulses and
then measure their: dynamic range, dominant frequency of population activities,
total duration of activities, maximum rate of population and the occurrence
time of maximum rate. The results are organized in phase diagram. This phase
diagram gives an insight into the space of parameters -- excitatory to
inhibitory ratio, sparseness of connections and synaptic weights. This phase
diagram can be used to decide the parameters of a model. The phase diagrams
show that networks which are configured according to the common values, have a
good dynamic range in response to an impulse and their dynamic range is robust
in respect to synaptic weights, and for some synaptic weights they oscillate in
$\alpha$ or $\beta$ frequencies, even in absence of external stimuli.


title:
Second-order cosmological perturbations in two-field inflation and
  predictions for non-Gaussianity

abstract:
  Inflationary predictions for the power spectrum of the curvature perturbation
have been verified to an excellent degree, leaving many models compatible with
observations. In this thesis we studied third-order correlations, that might
allow one to further distinguish between inflationary models. From all the
possible extensions of the standard inflationary model, we chose to study
two-field models with canonical kinetic terms and flat field space. The new
feature is the presence of the so-called isocurvature perturbation. Its
interplay with the adiabatic perturbation outside the horizon gives birth to
non-linearities characteristic of multiple-field models. In this context, we
established the second-order gauge-invariant form of the adiabatic and
isocurvature perturbation and found the third-order action that describes their
interactions. Furthermore, we built on and elaborated the long-wavelength
formalism in order to acquire an expression for the parameter of
non-Gaussianity fNL as a function of the potential of the fields. We next used
this formula to study analytically, within the slow-roll hypothesis, general
classes of potentials and verified our results numerically for the exact
theory. From this study, we deduced general conclusions about the properties of
fNL, its magnitude depending on the characteristics of the field trajectory and
the isocurvature component, as well as its dependence on the magnitude and
relative size of the three momenta of which the three-point correlator is a
function.


title:
Characterizing and Extending Answer Set Semantics using Possibility
  Theory

abstract:
  Answer Set Programming (ASP) is a popular framework for modeling
combinatorial problems. However, ASP cannot easily be used for reasoning about
uncertain information. Possibilistic ASP (PASP) is an extension of ASP that
combines possibilistic logic and ASP. In PASP a weight is associated with each
rule, where this weight is interpreted as the certainty with which the
conclusion can be established when the body is known to hold. As such, it
allows us to model and reason about uncertain information in an intuitive way.
In this paper we present new semantics for PASP, in which rules are interpreted
as constraints on possibility distributions. Special models of these
constraints are then identified as possibilistic answer sets. In addition,
since ASP is a special case of PASP in which all the rules are entirely
certain, we obtain a new characterization of ASP in terms of constraints on
possibility distributions. This allows us to uncover a new form of disjunction,
called weak disjunction, that has not been previously considered in the
literature. In addition to introducing and motivating the semantics of weak
disjunction, we also pinpoint its computational complexity. In particular,
while the complexity of most reasoning tasks coincides with standard
disjunctive ASP, we find that brave reasoning for programs with weak
disjunctions is easier.


title:
CCPs, Central Clearing, CSA, Credit Collateral and Funding Costs
  Valuation FAQ: Re-hypothecation, CVA, Closeout, Netting, WWR, Gap-Risk,
  Initial and Variation Margins, Multiple Discount Curves, FVA?

abstract:
  We present a dialogue on Funding Costs and Counterparty Credit Risk modeling,
inclusive of collateral, wrong way risk, gap risk and possible Central Clearing
implementation through CCPs. This framework is important following the fact
that derivatives valuation and risk analysis has moved from exotic derivatives
managed on simple single asset classes to simple derivatives embedding the new
or previously neglected types of complex and interconnected nonlinear risks we
address here. This dialogue is the continuation of the "Counterparty Risk,
Collateral and Funding FAQ" by Brigo (2011). In this dialogue we focus more on
funding costs for the hedging strategy of a portfolio of trades, on the
non-linearities emerging from assuming borrowing and lending rates to be
different, on the resulting aggregation-dependent valuation process and its
operational challenges, on the implications of the onset of central clearing,
on the macro and micro effects on valuation and risk of the onset of CCPs, on
initial and variation margins impact on valuation, and on multiple discount
curves. Through questions and answers (Q&A) between a senior expert and a
junior colleague, and by referring to the growing body of literature on the
subject, we present a unified view of valuation (and risk) that takes all such
aspects into account.


title: Subnormal subgroups in free groups, their growth and cogrowth

abstract:
  In this paper, the author (1) compares subnormal closures of finite sets in
free groups; (2) proves that the exponential growth rate (e.g.r.), i.e., the
limit of the n-th roots of g(n), where g(n) is the growth function of a
subgroup H with respect to a finite free basis of F, exists for any subgroup H
of the free group F; (3) gives sharp estimates from below for the e.g.r. of
subnormal subgroups in free groups; and (4) finds cogrowth for the subnormal
closures of free generators in F.


title:
Integration of a city GIS data with Google Map API and Google Earth API
  for a web based 3D Geospatial Application

abstract:
  Geospatial applications are becoming indispensible part of information
systems, they provides detailed informations regarding the attribute data of
spatial objects in real world. Due to the rapid technological developments in
web based geographical information systems, the uses of web based geospatial
application varies from Geotagging to Geolocation capabilities. Therefore,
effective utilization of web based information system can only be realized by
representing the world in its original view, where attributes data of spatial
objects are integrated with spatial object and available for the user on the
web, using integrated Google API and Google Earth API. In this study a city in
the south-western part of Nigeria called EDE is examined and used as a case
study. Using Google Map API and Google Earth API, the attribute data of the
study area stored in XML databases will be integrated with the corresponding
existing spatial data of the study area; to create a web based 3D geospatial
application. We envisage that this system will enhance the effectiveness of
web-based Geographical Information System (GIS) and the overall user
experience.


title: The Mn-O bonds dependence of the lattice distortion in LaMnO3

abstract:
  We have investigated the volume collapse occurring in LaMnO3 unit cell using
the anisotropic Potts model modified by two types of anisotropic interactions
which has been used to study the change of Mn-O bonds lengths as function of
temperature. The bond lengths are related to the occupation of the orbits. The
lattice parameters and the distortion modes have been investigated as well. We
have shown that the collapse is due to the change of Mn-O bonds lengths change
as the temperature is raised through the transition. It has been shown that all
the parameters studied here decrease with increasing temperature in a narrow
temperature range below TJT, and then undergoes a collapse at TJT. These
results are in a good agreement with the published experimental results.


title: Critical Graphs in Index Coding

abstract:
  In this paper we define critical graphs as minimal graphs that support a
given set of rates for the index coding problem, and study them for both the
one-shot and asymptotic setups. For the case of equal rates, we find the
critical graph with minimum number of edges for both one-shot and asymptotic
cases. For the general case of possibly distinct rates, we show that for
one-shot and asymptotic linear index coding, as well as asymptotic non-linear
index coding, each critical graph is a union of disjoint strongly connected
subgraphs (USCS). On the other hand, we identify a non-USCS critical graph for
a one-shot non-linear index coding problem. Next, we identify a few graph
structures that are critical. We also generalize some of our results to the
groupcast problem. In addition, we show that the capacity region of the index
coding is additive for union of disjoint graphs.


title:
Effects of Cooperation Policy and Network Topology on Performance of
  In-Network Caching

abstract:
  We model the cooperation policy with only two parameters -- search radius $r$
and number of copies in the network $N_{copy}$. These two parameters represent
the range of cooperation and tolerance of duplicates. We show how cooperation
policy impacts content distribution, and further illustrate the relation
between content popularity and topological properties. Our work leads many
implications on how to take advantage of topological properties in in-network
caching strategy design.


title: On the $q$-Pell sequences and sums of tails

abstract:
  We examine the $q$-Pell sequences and their applications to weighted
partition theorems and values of $L$-functions. We also put them into
perspective with sums of tails.


title: On annulus containing all the zeros of a polynomial

abstract:
  In this paper, we obtain an annulus containing all the zeros of the
polynomial involving binomial coefficients and generalized Fibonacci numbers.
Our result generalize some of the recently obtained results in this direction.


title:
Radiative corrections to semi-inclusive deep inelastic scattering
  induced by lepton and photon pair electroproduction

abstract:
  The contribution of lepton and photon pair production in ep-scattering to the
cross section of semi-inclusive deep inelastic scattering ep-> e'p'X has been
calculated. The numerical results showed a large contribution of this processes
at $\phi_h=180^o$, in a good agreement with preliminary experimental data.


title:
Approximation Algorithms for Non-Single-minded Profit-Maximization
  Problems with Limited Supply

abstract:
  We consider {\em profit-maximization} problems for {\em combinatorial
auctions} with {\em non-single minded valuation functions} and {\em limited
supply}.
  We obtain fairly general results that relate the approximability of the
profit-maximization problem to that of the corresponding {\em
social-welfare-maximization} (SWM) problem, which is the problem of finding an
allocation $(S_1,\ldots,S_n)$ satisfying the capacity constraints that has
maximum total value $\sum_j v_j(S_j)$. For {\em subadditive valuations} (and
hence {\em submodular, XOS valuations}), we obtain a solution with profit
$\OPT_\swm/O(\log c_{\max})$, where $\OPT_\swm$ is the optimum social welfare
and $c_{\max}$ is the maximum item-supply; thus, this yields an $O(\log
c_{\max})$-approximation for the profit-maximization problem. Furthermore,
given {\em any} class of valuation functions, if the SWM problem for this
valuation class has an LP-relaxation (of a certain form) and an algorithm
"verifying" an {\em integrality gap} of $\al$ for this LP, then we obtain a
solution with profit $\OPT_\swm/O(\al\log c_{\max})$, thus obtaining an
$O(\al\log c_{\max})$-approximation.
  For the special case, when the tree is a path, we also obtain an incomparable
$O(\log m)$-approximation (via a different approach) for subadditive
valuations, and arbitrary valuations with unlimited supply. Our approach for
the latter problem also gives an $\frac{e}{e-1}$-approximation algorithm for
the multi-product pricing problem in the Max-Buy model, with limited supply,
improving on the previously known approximation factor of 2.


title: The bitwise operations related to a fast sorting algorithm

abstract:
  In the work we discuss the benefit of using bitwise operations in
programming. Some interesting examples in this respect have been shown. What is
described in detail is an algorithm for sorting an integer array with the
substantial use of the bitwise operations. Besides its correctness we strictly
prove that the described algorithm works in time O(n). In the work during the
realisation of each of the examined algorithms we use the apparatus of the
object-oriented programming with the syntax and the semantics of the
programming language C++.


title:
A Derivation of Conductivities of Signed Determinants in Response
  Matrices

abstract:
  We give a derivation of conductivities in certain classes of graphs based on
knowing certain subdeterminants of the response matrix, mainly utilizing the
boundary edge and boundary spike formulas given in Curtis' and Morrow's book.


title: An Explicit Formula for the Spherical Curves with Constant Torsion

abstract:
  The purpose of this article is to give an explicit formula for all curves of
constant torsion $\tau$ in the unit two-sphere $S^2(1)$. These curves and their
basic properties have been known since the 1890's, and some of these properties
are discussed in the Appendix. Some example curves, computed with a standard
ODE package, with $\tau=.1,.5,1,2$ are shown in Figure \ref{peter}. Though
their existence and some of their general properties were known, our explicit
formulas for them, in terms of hypergeometric functions, are new.


title: Silicon Avalanche Pixel Sensor for High Precision Tracking

abstract:
  The development of an innovative position sensitive pixelated sensor to
detect and measure with high precision the coordinates of the ionizing
particles is proposed. The silicon avalanche pixel sensors (APiX) is based on
the vertical integration of avalanche pixels connected in pairs and operated in
coincidence in fully digital mode and with the processing electronics embedded
on the chip. The APiX sensor addresses the need to minimize the material budget
and related multiple scattering effects in tracking systems requiring a high
spatial resolution in the presence of a large occupancy. The expected operation
of the new sensor features: low noise, low power consumption and suitable
radiation tolerance. The APiX device provides on-chip digital information on
the position of the coordinate of the impinging charged particle and can be
seen as the building block of a modular system of pixelated arrays,
implementing a sparsified readout. The technological challenges are the 3D
integration of the device under CMOS processes and integration of processing
electronics.


title: Rate-optimal posterior contraction for sparse PCA

abstract:
  Principal component analysis (PCA) is possibly one of the most widely used
statistical tools to recover a low-rank structure of the data. In the
high-dimensional settings, the leading eigenvector of the sample covariance can
be nearly orthogonal to the true eigenvector. A sparse structure is then
commonly assumed along with a low rank structure. Recently, minimax estimation
rates of sparse PCA were established under various interesting settings. On the
other side, Bayesian methods are becoming more and more popular in
high-dimensional estimation, but there is little work to connect frequentist
properties and Bayesian methodologies for high-dimensional data analysis. In
this paper, we propose a prior for the sparse PCA problem and analyze its
theoretical properties. The prior adapts to both sparsity and rank. The
posterior distribution is shown to contract to the truth at optimal minimax
rates. In addition, a computationally efficient strategy for the rank-one case
is discussed.


title:
Extracting the effective Polyakov line action from SU(2) and SU(3)
  lattice gauge theories

abstract:
  We describe the "relative weights" method used to compute the effective
Polyakov line action corresponding to a given lattice gauge theory, and present
some results that have been obtained so far. The main motivation is the sign
problem, which may be easier to address in the effective theory than in the
underlying gauge theory.


title: Knowing Whether

abstract:
  Knowing whether a proposition is true means knowing that it is true or
knowing that it is false. In this paper, we study logics with a modal operator
Kw for knowing whether but without a modal operator K for knowing that. This
logic is not a normal modal logic, because we do not have Kw (phi -> psi) ->
(Kw phi -> Kw psi). Knowing whether logic cannot define many common frame
properties, and its expressive power less than that of basic modal logic over
classes of models without reflexivity. These features make axiomatizing knowing
whether logics non-trivial. We axiomatize knowing whether logic over various
frame classes. We also present an extension of knowing whether logic with
public announcement operators and we give corresponding reduction axioms for
that. We compare our work in detail to two recent similar proposals.


title: Intrinsic Isometric Embeddings of Pro-Euclidean Spaces

abstract:
  Petrunin proves that a metric space $\mathcal{X}$ admits an intrinsic
isometry into $\mathbb{E}^n$ if and only if $\mathcal{X}$ is a pro-Euclidean
space of rank at most $n$. He then shows that either case implies that
$\mathcal{X}$ has covering dimension $\leq \, n$. In this paper we extend this
result to include embeddings. Namely, we first prove that any pro-Euclidean
space of rank at most $n$ admits an intrinsic isometric embedding into
$\mathbb{E}^{2n+1}$. We then discuss how Petrunin's result implies a partial
converse to this result.


title:
Impact of Co-Channel Interference on Performance of Multi-Hop Relaying
  over Nakagami-$m$ Fading Channels

abstract:
  This paper studies the impact of co-channel interferences (CCIs) on the
system performance of multi-hop amplify-and-forward (AF) relaying, in a simple
and explicit way. For generality, the desired channels along consecutive
relaying hops and the CCIs at all nodes are subject to Nakagami-$m$ fading with
different shape factors. This study reveals that the diversity gain is
determined only by the fading shape factor of the desired channels, regardless
of the interference and the number of relaying hops. On the other hand,
although the coding gain is in general a complex function of various system
parameters, if the desired channels are subject to Rayleigh fading, the coding
gain is inversely proportional to the accumulated interference at the
destination, i.e. the product of the number of relaying hops and the average
interference-to-noise ratio, irrespective of the fading distribution of the
CCIs.


title:
Quantum probes of timelike naked singularities in $2+1-$ dimensional
  power - law spacetimes

abstract:
  The formation of naked singularities in $2+1-$ dimensional power - law
spacetimes in linear Einstein-Maxwell and Einstein-scalar theories sourced by
azimuthally symmetric electric field and a self-interacting real scalar field
respectively, are considered in view of quantum mechanics. Quantum test fields
obeying the Klein-Gordon and Dirac equations are used to probe the classical
timelike naked singularities developed at $r=0$. We show that when the
classically singular spacetimes probed with scalar waves, the considered
spacetimes remains singular. However, the spinorial wave probe of the
singularity in the metric of a self-interacting real scalar field remains
quantum regular. The notable outcome in this study is that the quantum
regularity/singularity can not be associated with the energy conditions.


title:
On Replacing PID Controller with ANN Controller for DC Motor Position
  Control

abstract:
  The process industry implements many techniques with certain parameters in
its operations to control the working of several actuators on field. Amongst
these actuators, DC motor is a very common machine. The angular position of DC
motor can be controlled to drive many processes such as the arm of a robot. The
most famous and well known controller for such applications is PID controller.
It uses proportional, integral and derivative functions to control the input
signal before sending it to the plant unit. In this paper, another controller
based on Artificial Neural Network (ANN) control is examined to replace the PID
controller for controlling the angular position of a DC motor to drive a robot
arm. Simulation is performed in MATLAB after training the neural network
(supervised learning) and it is shown that results are acceptable and
applicable in process industry for reference control applications. The paper
also indicates that the ANN controller can be less complicated and less costly
to implement in industrial control applications as compared to some other
proposed schemes.


title:
Charmed and strange pseudoscalar meson decay constants from HISQ
  simulations

abstract:
  We update our determinations of $f_{D^+}$, $f_{D_s}$, $f_K$, and quark mass
ratios from simulations with four flavors of HISQ dynamical quarks. The
availability of ensembles with light quarks near their physical mass means that
we can extract physical results with only small corrections for valence- and
sea-quark mass mistunings instead of a chiral extrapolation. The adjusted
valence-quark masses and lattice spacings may be determined from an
ensemble-by-ensemble analysis, and the results for the quark mass ratios then
extrapolated to the continuum limit. Our central values of the charmed meson
decay constants, however, come from an alternative analysis, which uses
staggered chiral perturbation theory for the heavy-light mesons, and allows us
to incorporate data at unphysical quark masses where statistical errors are
often smaller. A jackknife analysis propagated through all of these steps takes
account of the correlations among all the quantities used in the analysis.
Systematic errors from the finite spatial size and EM effects are estimated by
varying the parameters in the analysis, and systematic errors from the
assumptions in the continuum extrapolation are estimated from the spread of
values from different extrapolations.


title:
Matrix Orthogonal Laurent Polynomials on the Unit Circle and Toda Type
  Integrable Systems

abstract:
  Matrix orthogonal Laurent polynomials in the unit circle and the theory of
Toda-like integrable systems are connected using the Gauss--Borel factorization
of two, left and a right, Cantero-Morales-Velazquez block moment matrices,
which are constructed using a quasi-definite matrix measure. A block
Gauss-Borel factorization problem of these moment matrices leads to two sets of
biorthogonal matrix orthogonal Laurent polynomials and matrix Szeg\H{o}
polynomials, which can be expressed in terms of Schur complements of bordered
truncations of the block moment matrix. The corresponding block extension of
the Christoffel-Darboux theory is derived. Deformations of the quasi-definite
matrix measure leading to integrable systems of Toda type are studied. The
integrable theory is given in this matrix scenario; wave and adjoint wave
functions, Lax and Zakharov-Shabat equations, bilinear equations and discrete
flows --connected with Darboux transformations--. We generalize the integrable
flows of the Cafasso's matrix extension of the Toeplitz lattice for the
Verblunsky coefficients of Szeg\H{o} polynomials. An analysis of the Miwa
shifts allows for the finding of interesting connections between
Christoffel--Darboux kernels and Miwa shifts of the matrix orthogonal Laurent
polynomials.


title:
A Parametric Modeling Approach to Measuring the Gas Masses of
  Circumstellar Disks

abstract:
  The disks that surround young stars are mostly composed of molecular gas,
which is harder to detect and interpret than the accompanying dust. Disk mass
measurements have therefore relied on large and uncertain extrapolations from
the dust to the gas. We have developed a grid of models to study the
dependencies of isotopologue CO line strengths on disk structure and
temperature parameters and find that a combination of 13CO and C18O
observations provides a robust measure of the gas mass. We apply this technique
to Submillimeter Array observations of nine circumstellar disks and published
measurements of six well studied disks. We find evidence for selective
photodissociation of C18O and determine masses to within a factor of about
three. The inferred masses for the nine disks in our survey range from 0.7-6
M_Jup, and all are well below the extrapolation from the interstellar medium
gas-to-dust ratio of 100. This is consistent with the low masses of planets
found around such stars, and may be due to accretion or photoevaporation of a
dust-poor upper atmosphere. However, the masses may be underestimated if there
are more efficient CO depletion pathways than those known in molecular clouds
and cold cores.


title:
Electronic Transport in Composites of Graphite Oxide with Carbon
  Nanotubes

abstract:
  We show that the presence of electrically insulating graphite oxide (GO)
within a single wall carbon nanotube network strongly enhances electrical
conductivity, whereas reduced graphite oxide, even though electrically
conductive, suppresses electrical conductivity within a composite network with
single wall carbon nanotubes. Measurements of Young modulus and of Raman
spectra strongly support our interpretation of the indirect role of the oxide
groups, present in graphite oxide within the single wall carbon
nanotubes/graphite oxide composite, through electronic doping of metallic
single wall carbon nanotubes.


title:
An observational investigation of the identity of B11244
  ($l$-C$_3$H$^+$/C$_3$H$^-$)

abstract:
  Pety et al. (2012) have reported the detection of eight transitions of a
closed-shell, linear molecule (B11244) in observations toward the Horsehead
PDR, which they attribute to the $l$-C$_3$H$^+$ cation. Recent high-level
\textit{ab initio} calculations have called this assignment into question; the
anionic C$_3$H$^-$ molecule has been suggested as a more likely candidate.
Here, we examine observations of the Horsehead PDR, Sgr B2(N), TMC-1, and
IRC+10216 in the context of both $l$-C$_3$H$^+$ and C$_3$H$^-$. We find no
observational evidence of $K_a = 1$ lines which should be present were the
carrier indeed C$_3$H$^-$. Additionally, we find a strong anti-correlation
between the presence of known molecular anions and B11244 in these regions.
Finally, we discuss the formation and destruction chemistry of C$_3$H$^-$ in
the context of the physical conditions in the regions. Based on these results,
we conclude there is little evidence to support the carrier is C$_3$H$^-$.


title:
The Propagation-Separation Approach: Consequences of model
  misspecification

abstract:
  The article presents new results on the Propagation-Separation Approach by
Polzehl and Spokoiny [2006]. This iterative procedure provides a unified
approach for nonparametric estimation, sup- posing a local parametric model.
The adaptivity of the estimator ensures sensitivity to structural changes.
Originally, an additional memory step was included into the algorithm, where
most of the theoretical prop- erties were based on. However, in practice, a
simplified version of the algorithm is used, where the mem- ory step is
omitted. Hence, we aim to justify this simplified procedure by means of a
theoretical study and numerical simulations. In our previous study [Becker and
Math\'e, 2013], we analyzed the simplified Propagation-Separation Approach,
supposing piecewise constant parameter functions with sharp discon- tinuities.
Here, we consider the case of a misspecified model.


title: Semileptonic decays $B\rightarrow D^{(*)}l\nu$ at nonzero recoil

abstract:
  We have analyzed the semileptonic decays $B\rightarrow D\ell\nu$ and
$B\rightarrow D^*\ell\nu$ on the full suite of MILC (2+1)-flavor asqtad
ensembles with lattice spacings as small as 0.045 fm and light-to-strange-quark
mass ratios as low as 1/20. We use the Fermilab interpretation of the clover
action for heavy valence quarks and the asqtad action for light valence quarks.
We compute the hadronic form factors for $B\rightarrow D$ at both zero and
nonzero recoil and for $B\rightarrow D^*$ at zero recoil. We report our results
for $|V_{cb}|$.


title: Datom: Towards modular data management

abstract:
  Recent technology breakthroughs have enabled data collection of unprecedented
scale, rate, variety and complexity that has led to an explosion in data
management requirements. Existing theories and techniques are not adequate to
fulfil these requirements. We endeavour to rethink the way data management
research is being conducted and we propose to work towards modular data
management that will allow for unification of the expression of data management
problems and systematization of their solution. The core of such an approach is
the novel notion of a datom, i.e. a data management atom, which encapsulates
generic data management provision. The datom is the foundation for comparison,
customization and re-usage of data management problems and solutions. The
proposed approach can signal a revolution in data management research and a
long anticipated evolution in data management engineering.


title:
On the Optimal Solutions of the Infinite-Horizon Linear Sensor
  Scheduling Problem

abstract:
  This paper studies the infinite-horizon sensor scheduling problem for linear
Gaussian processes with linear measurement functions. Several important
properties of the optimal infinite-horizon schedules are derived. In
particular, it is proved that under some mild conditions, both the optimal
infinite-horizon average-per-stage cost and the corresponding optimal sensor
schedules are independent of the covariance matrix of the initial state. It is
also proved that the optimal estimation cost can be approximated arbitrarily
closely by a periodic schedule with a finite period. Moreover, it is shown that
the sequence of the average-per-stage costs of the optimal schedule must
converge. These theoretical results provide valuable insights into the design
and analysis of various infinite-horizon sensor scheduling algorithms.


title: An algebraic characterization of injectivity in phase retrieval

abstract:
  A complex frame is a collection of vectors that span $\mathbb{C}^M$ and
define measurements, called intensity measurements, on vectors in
$\mathbb{C}^M$. In purely mathematical terms, the problem of phase retrieval is
to recover a complex vector from its intensity measurements, namely the modulus
of its inner product with these frame vectors. We show that any vector is
uniquely determined (up to a global phase factor) from $4M-4$ generic
measurements. To prove this, we identify the set of frames defining
non-injective measurements with the projection of a real variety and bound its
dimension.


title: Fabrication and characterisation of nanospintronic devices

abstract:
  We report an improved fabrication scheme for carbon based nanospintronic
devices and demonstrate the necessity for a careful data analysis to
investigate the fundamental physical mechanisms leading to magnetoresistance.
The processing with a low-density polymer and an optimised recipe allows us to
improve the electrical, magnetic and structural quality of ferromagnetic
Permalloy contacts on lateral carbon nanotube (CNT) quantum dot spin valve
devices, with comparable results for thermal and sputter deposition of the
material. We show that spintronic nanostructures require an extended data
analysis, since the magnetisation can affect all characteristic parameters of
the conductance features and lead to seemingly anomalous spin transport. In
addition, we report measurements on CNT quantum dot spin valves that seem not
to be compatible with the orthodox theories for spin transport in such
structures.


title: Control of open quantum systems: Case study of the central spin model

abstract:
  We study the controllability of a central spin guided by a classical field
and interacting with a spin bath, showing that the central spin is fully
controllable independently of the number of bath spins. Additionally we find
that for unequal system-bath couplings even the bath becomes controllable by
acting on the central spin alone. We then analyze numerically how the time to
implement gates on the central spin scales with the number of bath spins and
conjecture that for equal system-bath couplings it reaches a saturation value.
We provide evidence that sometimes noise can be effectively suppressed through
control.


title: Science and the Future: Introduction

abstract:
  The contradiction between physical and economical sciences concerning the
growth of the production/consumption mechanism is analyzed. It is then shown
that if one wishes to keep the security level stable or to enhance it in a
growing economy the cost of security grows faster than the gross wealth. The
result is a typical evolution in which the net wealth increases up to a
maximum, then abruptly collapses. Besides this, any system of relations based
on a growing volume of exchanges is bound to go progressively out of control.
The voluntary blindness of the ruling classes toward these facts is leading our
societies to a disaster. This fate is not inescapable provided we learn to
dismantle the myth of perpetual growth.


title: A Typology of Collaboration Platform Users

abstract:
  In this paper we present a review of the existing typologies of Internet
service users. We zoom in on social networking services including blogs and
crowdsourcing websites. Based on the results of the analysis of the considered
typologies obtained by means of FCA we developed a new user typology of a
certain class of Internet services, namely a collaboration innovation platform.
Cluster analysis of data extracted from the collaboration platform Witology was
used to divide more than 500 participants into six groups based on three
activity indicators: idea generation, commenting, and evaluation (assigning
marks) The obtained groups and their percentages appear to follow the "90 - 9 -
1" rule.


title: Induced modules for modular Lie algebras

abstract:
  Let $L$ be a finite-dimensional Lie algebra over a field of non-zero
characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of
finite-dimensional $L$-modules. Let $D$ be the category of all
finite-dimensional $S$-modules. Then there exists a category $C$ of
finite-dimensional $L$-modules containing the modules in $X$ such that the
restriction functor Res$:C \to D$ has a left adjoint Ind$:D \to C$.


title:
Mapping the unconventional orbital texture in topological crystalline
  insulators

abstract:
  The newly discovered topological crystalline insulators (TCIs) harbor a
complex band structure involving multiple Dirac cones. These materials are
potentially highly tunable by external electric field, temperature or strain
and could find future applications in field-effect transistors, photodetectors,
and nano-mechanical systems. Theoretically, it has been predicted that
different Dirac cones, offset in energy and momentum-space, might harbor vastly
different orbital character, a unique property which if experimentally
realized, would present an ideal platform for accomplishing new spintronic
devices. However, the orbital texture of the Dirac cones, which is of immense
importance in determining a variety of materials properties, still remains
elusive in TCIs. Here, we unveil the orbital texture in a prototypical TCI
Pb$_{1-x}$Sn$_x$Se. By using Fourier-transform (FT) scanning tunneling
spectroscopy (STS) we measure the interference patterns produced by the
scattering of surface state electrons. We discover that the intensity and
energy dependences of FTs show distinct characteristics, which can directly be
attributed to orbital effects. Our experiments reveal the complex band topology
involving two Lifshitz transitions and establish the orbital nature of the
Dirac bands in this new class of topological materials, which could provide a
different pathway towards future quantum applications.


title: Fault tolerance for holonomic quantum computation

abstract:
  We review an approach to fault-tolerant holonomic quantum computation on
stabilizer codes. We explain its workings as based on adiabatic dragging of the
subsystem containing the logical information around suitable loops along which
the information remains protected.


title: Trajectory Dynamics of Gas Molecules and Galaxy Formation

abstract:
  The probability distribution of the velocity of gas molecules in a closed
container is described by the kinetic theory of gases. When molecules collide
or impact the walls of a container, they exchange energy and momentum in
accordance with Newton's laws of motion. Between collisions, the trajectory of
individual molecules is a straight line, neglecting gravity. During the
formation of a galaxy, the stars are constrained to a region of space and
exchange energy and momentum in a manner similar to molecules. In this paper,
an exact model of an ideal gas is derived and analyzed to determine the
probability distribution of the molecular velocities, which are then compared
with the probability distribution of velocities associated with stars during
galaxy formation.


title: Spectral Determinants on Mandelstam Diagrams

abstract:
  We study the regularized determinant of the Laplacian as a functional on the
space of Mandelstam diagrams (noncompact translation surfaces glued from finite
and semi-infinite cylinders). A Mandelstam diagram can be considered as a
compact Riemann surface equipped with a conformal flat singular metric
$|\omega|^2$, where $\omega$ is a meromorphic one-form with simple poles such
that all its periods are pure imaginary and all its residues are real. The main
result is an explicit formula for the determinant of the Laplacian in terms of
the basic objects on the underlying Riemann surface (the prime form,
theta-functions, canonical meromorphic bidifferential) and the divisor of the
meromorphic form $\omega$. As an important intermediate result we prove a
decomposition formula of the type of Burghelea-Friedlander-Kappeler for the
determinant of the Laplacian for flat surfaces with cylindrical ends and
conical singularities.


title:
Formation of quasi-free and bubble positronium states in water and
  aqueous solutions

abstract:
  It is shown that in aqueous solutions a positronium atom is first formed in
the quasi-free state, and, after 50-100 ps, becomes localized in a nanobubble.
Analysis of the annihilation spectra of NaNO3 aqueous solutions shows that the
hydrated electron is not involved in the positronium (Ps) formation.


title: Entropy and the Predictability of Online Life

abstract:
  Using mobile phone records and information theory measures, our daily lives
have been recently shown to follow strict statistical regularities, and our
movement patterns are to a large extent predictable. Here, we apply entropy and
predictability measures to two data sets of the behavioral actions and the
mobility of a large number of players in the virtual universe of a massive
multiplayer online game. We find that movements in virtual human lives follow
the same high levels of predictability as offline mobility, where future
movements can to some extent be predicted well if the temporal correlations of
visited places are accounted for. Time series of behavioral actions show
similar high levels of predictability, even when temporal correlations are
neglected. Entropy conditional on specific behavioral actions reveals that in
terms of predictability negative behavior has a wider variety than positive
actions. The actions which contain information to best predict an individual's
subsequent action are negative, such as attacks or enemy markings, while
positive actions of friendship marking, trade and communication contain the
least amount of predictive information. These observations show that predicting
behavioral actions requires less information than predicting the mobility
patterns of humans for which the additional knowledge of past visited locations
is crucial, and that the type and sign of a social relation has an essential
impact on the ability to determine future behavior.


title: On topological complexity of twisted products

abstract:
  We provide an upper bound on the topological complexity of twisted products.
We use it to give an estimate $$TC(X)\le TC(\pi_1(X))+\dim X$$ of the
topological complexity of a space in terms of its dimension and the complexity
of its fundamental group.


title:
Complex networks as an emerging property of hierarchical preferential
  attachment

abstract:
  Real complex systems are not rigidly structured; no clear rules or blueprints
exist for their construction. Yet, amidst their apparent randomness, complex
structural properties universally emerge. We propose that an important class of
complex systems can be modeled as an organization of many embedded levels
(potentially infinite in number), all of them following the same universal
growth principle known as preferential attachment. We give examples of such
hierarchy in real systems, for instance in the pyramid of production entities
of the film industry. More importantly, we show how real complex networks can
be interpreted as a projection of our model, from which their scale
independence, their clustering, their hierarchy, their fractality and their
navigability naturally emerge. Our results suggest that complex networks,
viewed as growing systems, can be quite simple, and that the apparent
complexity of their structure is largely a reflection of their unobserved
hierarchical nature.


title: Spatial Search on Grids with Minimum Memory

abstract:
  We study quantum algorithms for spatial search on finite dimensional grids.
Patel et al. and Falk have proposed algorithms based on a quantum walk without
a coin, with different operators applied at even and odd steps. Until now, such
algorithms have been studied only using numerical simulations. In this paper,
we present the first rigorous analysis for an algorithm of this type, showing
that the optimal number of steps is $O(\sqrt{N\log N})$ and the success
probability is $O(1/\log N)$, where $N$ is the number of vertices. This matches
the performance achieved by algorithms that use other forms of quantum walks.


title:
Asymptotic Analysis for Markovian Queues with Two Types of Nonpersistent
  Retrial Customers

abstract:
  We consider Markovian multiserver retrial queues where a blocked customer has
two opportunities for abandonment: at the moment of blocking or at the
departure epoch from the orbit. In this queueing system, the number of
customers in the system (servers and buffer) and that in the orbit form a
level-dependent quasi-birth-and-death (QBD) process whose stationary
distribution is expressed in terms of a sequence of rate matrices. Using a
simple perturbation technique and a matrix analytic method, we derive Taylor
series expansion for nonzero elements of the rate matrices with respect to the
number of customers in the orbit. We also obtain explicit expressions for all
the coefficients of the expansion. Furthermore, we derive tail asymptotic
formulae for the joint stationary distribution of the number of customers in
the system and that in the orbit. Numerical examples reveal that the tail
probability of the model with two types of nonpersistent customers is greater
than that of the corresponding model with one type of nonpersistent customers.


title: Isotope Frequency Shifts of BH Local Pair Modes in Crystalline Silicon

abstract:
  Isotope frequency shifts of local pair modes due to B$^{10}$ (B$^{11}$)
substitutional and H (D) interstitial in crystalline silicon are calculated as
a many body problem with a simple model and found to be in agreement with
experiment. A comparison of the obtained results is made with other theoretical
calculations.


title:
On Even Linear Indexed Languages with a Reduction to the Learning of
  Context-Free Languages

abstract:
  This paper presents a restricted form of linear indexed grammars, called even
linear indexed grammars, which yield the even linear indexed languages. These
languages properly contain the context-free languages and are contained in the
set of linear indexed languages. We show that several patterns found in natural
languages are also generated by these grammars, including crossing
dependencies, copying, and multiple agreements. We discuss the learning problem
for even linear indexed languages and show that it is reducible to that of the
context-free languages. The closure properties for this class of languages are
also presented.


title: Infinite Statistics Condensate as a Model of Dark Matter

abstract:
  In some models, dark matter is considered as a condensate bosonic system. In
this paper, we prove that condensation is also possible for particles that obey
infinite statistics and derive the critical condensation temperature. We argue
that a condensed state of a gas of very weakly interacting particles obeying
infinite statistics could be considered as a consistent model of dark matter.


title: Canonical Agler Decompositions and Transfer Function Realizations

abstract:
  A seminal result of Agler proves that the natural de Branges-Rovnyak kernel
function associated to a bounded analytic function on the bidisk can be
decomposed into two shift-invariant pieces. Agler's decomposition is
non-constructive-a problem remedied by work of Ball-Sadosky-Vinnikov, which
uses scattering systems to produce Agler decompositions through concrete
Hilbert space geometry. This method, while constructive, so far has not
revealed the rich structure shown to be present for special classes of
functions-inner and rational inner functions. In this paper, we show that most
of the important structure present in these special cases extends to general
bounded analytic functions. We give characterizations of all Agler
decompositions, we prove the existence of coisometric transfer function
realizations with natural state spaces, and we characterize when Schur
functions on the bidisk possess analytic extensions past the boundary in terms
of associated Hilbert spaces.


title: Generalized Hopf-Ore extensions

abstract:
  We derive necessary and sufficient conditions for an Ore extension of a Hopf
algebra to have a Hopf algebra structure of a certain type. This construction
generalizes the notion of Hopf-Ore extension, called a generalized Hopf-Ore
extension. We describe the generalized Hopf-Ore extensions of the enveloping
algebras of Lie algebras. For some Lie algebras g, the generalized Hopf-Ore
extensions of U(g) are classified.


title: Bandlimited Wavelets on the Heisenberg Group

abstract:
  Let $\mathbb{H}$ be the three-dimensional Heisenberg group. We introduce a
structure on the Heisenberg group which consists of the biregular
representation of $\mathbb{H\times H}$ restricted to some discrete subset of
$\mathbb{H\times H}$ and a free group of automorphisms $H$ singly generated and
acting semi-simply on $\mathbb{H}$. Using well-known theorems borrowed from
Gabor theory, we are able to construct simple and computable bandlimited
discrete wavelets on the Heisenberg group. Moreover, we provide necessary and
sufficient conditions for the existence of these wavelets.


title:
Graph-valued invariants of virtual and classical links and minimality
  problem

abstract:
  In the present paper, we construct the generalized Kuperberg bracket for
two-component links with one component fibred. We consider a new geometrical
complexity for such links and establish minimality of diagrams in a strong
sense.


title: Mass Hierarchies with $m_{h}=125$ GeV from Natural SUSY

abstract:
  Our study starts with a sequence of puzzles that include $(a)$ at which level
$\mu$ problem involving electroweak symmetry breaking can be solved; $(b)$ in
which paradigm masses of superpartners in the third family can be lighter than
in the first two families; $(c)$ whether it is possible to accommodate 125 GeV
Higgs boson simultaneously; and $(d)$ how natural such paradigm is. These
issues are considered in the context of two-site SUSY models. Both the MSSM and
NMSSM as low-energy effective theory below the scale of two-site gauge symmetry
breaking are investigated. We find that the fine tuning can be indeed reduced
in comparison with ordinary MSSM with $m_{h}=125$ GeV. In general, the fine
tuning parameter $\Delta$ is in the range of $20-400$.


title: Query Segmentation for Relevance Ranking in Web Search

abstract:
  In this paper, we try to answer the question of how to improve the
state-of-the-art methods for relevance ranking in web search by query
segmentation. Here, by query segmentation it is meant to segment the input
query into segments, typically natural language phrases, so that the
performance of relevance ranking in search is increased. We propose employing
the re-ranking approach in query segmentation, which first employs a generative
model to create top $k$ candidates and then employs a discriminative model to
re-rank the candidates to obtain the final segmentation result. The method has
been widely utilized for structure prediction in natural language processing,
but has not been applied to query segmentation, as far as we know. Furthermore,
we propose a new method for using the result of query segmentation in relevance
ranking, which takes both the original query words and the segmented query
phrases as units of query representation. We investigate whether our method can
improve three relevance models, namely BM25, key n-gram model, and dependency
model. Our experimental results on three large scale web search datasets show
that our method can indeed significantly improve relevance ranking in all the
three cases.


title: Subspaces of Multisymplectic Vector Spaces

abstract:
  A notion of orthogonality in multisymplectic geometry has been developed by
Cantrijn, Ibort and de Le\'on and used by many authors. In this paper, we
review this concept and propose a new type of orthogonality in multisymplectic
geometry; we prove a number of results regarding this orthogonality and its
associated subspaces. We end by calculating the various subspaces of a
G_2-vector space based on both types of orthogonality.


title:
Revisit of constraints on holographic dark energy: SNLS3 dataset with
  the effects of time-varying $\beta$ and different light-curve fitters

abstract:
  Previous studies have shown that for the Supernova Legacy Survey three-year
(SNLS3) data there is strong evidence for the redshift-evolution of
color-luminosity parameter $\beta$ of type Ia supernovae (SN Ia). In this
paper, we explore the effects of varying $\beta$ on the cosmological
constraints of holographic dark energy (HDE) model. In addition to the SNLS3
data, we also use Planck distance prior data of cosmic microwave background
(CMB), as well as galaxy clustering (GC) data extracted from Sloan Digital Sky
Survey (SDSS) data release 7 and Baryon Oscillation Spectroscopic Survey
(BOSS). We find that, for the both cases of using SN data alone and using
SN+CMB+GC data, involving an additional parameter of $\beta$ can reduce
$\chi^2$ by $\sim$ 36; this shows that $\beta$ deviates from a constant at
6$\sigma$ confidence levels. Adopting SN+CMB+GC data, we find that compared to
the constant $\beta$ case, varying $\beta$ yields a larger fractional matter
density $\Omega_{m0}$ and a smaller reduced Hubble constant $h$; moreover,
varying $\beta$ significantly increases the value of HDE model parameter $c$,
leading to $c\approx 0.8$, consistent with the constraint results obtained
before Planck. These results indicate that the evolution of $\beta$ should be
taken into account seriously in the cosmological fits. In addition, we find
that relative to the differences between the constant $\beta$ and varying
$\beta(z)$ cases, the effects of different light-curve fitters on parameter
estimation are very small.


title:
Baryon-anti-baryon Flavor Correlation in Quark Combination Models in
  Heavy Ion Collisions

abstract:
  We extend the study of hadron yield correlation in combination models in a
recent publication to baryon-anti-baryon flavor correlations in heavy ion
collisions. We show that the universal behaviors of the anti-baryon to baryon
yield ratios as functions of that of $K^-$ to $K^+$ are naturally explained. We
study also the "mixed ratios" and propose other measurements that might be
sensitive to the hadronization mechanism.


title:
On an Algorithm for Obtaining All Binary Matrices of Special Class
  Related to V. E. Tarakanov's Formula

abstract:
  An algorithm for obtaining all n\times n binary matrices having exactly 2
units in every row and every column is described in the paper. After analysing
the work of the algorithm a formula for calculating the number of these
matrices has been obtained. This formula is known and has been obtained using
other methods, which by their nature are purely analytical and not
constructive. Thus a new, constructive proof of this known formula has been
obtained.


title:
Search for solar axions produced by Compton process and bremsstrahlung
  using the resonant absorption and axioelectric effect

abstract:
  The search for resonant absorption of Compton and bremsstrahlung solar axions
by $^{169}$Tm nuclei have been performed. Such an absorption should lead to the
excitation of low-lying nuclear energy level: $A+^{169}$Tm $\rightarrow
^{169}$Tm$^*$ $\rightarrow ^{169}$Tm $+ \gamma$ (8.41 keV). Additionally the
axio-electric effect in silicon atoms is sought. The axions are detected using
a Si(Li) detectors placed in a low-background setup. As a result, a new model
independent restrictions on the axion-electron and the axion-nucleon coupling:
$g_{Ae}\times|g^0_{AN}+ g^3_{AN}|\leq 2.1\times10^{-14}$ and the axion-electron
coupling constant: $|g_{Ae}| \leq 2.2\times 10^{-10}$ has been obtained. The
limits leads to the bounds $m_{A}\leq$ 7.9 eV and $m_{A}\leq$ 1.3 keV for the
mass of the axion in the DFSZ and KSVZ models, respectively ($90\%$ C.L.).


title:
Dissipative creation of three-dimensional entangled state in optical
  cavity via spontaneous emission

abstract:
  We present a dissipative protocol to engineer two $^{87}Rb$ atoms into a form
of three-dimensional entangled state via spontaneous emission. The combination
of coupling between ground states via microwave fields and dissipation induced
by spontaneous emission make the current scheme deterministic and a stationary
entangled state can always be achieved without state initialization. Moreover,
this scheme can be straightforwardly generalized to preparation of an
$N$-dimensional entangled state in principle.


title: Empowering Evolving Social Network Users with Privacy Rights

abstract:
  Considerable concerns exist over privacy on social networks, and huge debates
persist about how to extend the artifacts users need to effectively protect
their rights to privacy. While many interesting ideas have been proposed, no
single approach appears to be comprehensive enough to be the front runner. In
this paper, we propose a comprehensive and novel reference conceptual model for
privacy in constantly evolving social networks and establish its novelty by
briefly contrasting it with contemporary research. We also present the contours
of a possible query language that we can develop with desirable features in
light of the reference model, and refer to a new query language, {\em PiQL},
developed on the basis of this model that aims to support user driven privacy
policy authoring and enforcement. The strength of our model is that such
extensions are now possible by developing appropriate linguistic constructs as
part of query languages such as SQL, as demonstrated in PiQL.


title: Inclusion of regular and linear languages in group languages

abstract:
  Let $\Sigma = X\cup X^{-1} = \{ x_1 ,x_2 ,..., x_m ,x_1^{-1} ,x_2^{-1} ,...,
x_m^{-1} \}$ and let $G$ be a group with set of generators $\Sigma$. Let
$\mathfrak{L} (G) =\left\{ \left. \omega \in \Sigma^* \; \right\vert \;\omega
\equiv e \; (\textrm{mod} \; G) \right\} \subseteq \Sigma^*$ be the group
language representing $G$, where $\Sigma^*$ is a free monoid over $\Sigma$ and
$e$ is the identity in $G$. The problem of determining whether a context-free
language is subset of a group language is discussed. Polynomial algorithms are
presented for testing whether a regular language, or a linear language is
included in a group language. A few finite sets are built, such that each of
them is included in the group language $\mathfrak{L} (G)$ if and only if the
respective context-free language is included in $\mathfrak{L} (G)$.


title: Metric Dimension of Amalgamation of Graphs

abstract:
  A set of vertices $S$ resolves a graph $G$ if every vertex is uniquely
determined by its vector of distances to the vertices in $S$. The metric
dimension of $G$ is the minimum cardinality of a resolving set of $G$.
  Let $\{G_1, G_2, \ldots, G_n\}$ be a finite collection of graphs and each
$G_i$ has a fixed vertex $v_{0_i}$ or a fixed edge $e_{0_i}$ called a terminal
vertex or edge, respectively. The \emph{vertex-amalgamation} of $G_1, G_2,
\ldots, G_n$, denoted by $Vertex-Amal\{G_i;v_{0_i}\}$, is formed by taking all
the $G_i$'s and identifying their terminal vertices. Similarly, the
\emph{edge-amalgamation} of $G_1, G_2, \ldots, G_n$, denoted by
$Edge-Amal\{G_i;e_{0_i}\}$, is formed by taking all the $G_i$'s and identifying
their terminal edges.
  Here we study the metric dimensions of vertex-amalgamation and
edge-amalgamation for finite collection of arbitrary graphs. We give lower and
upper bounds for the dimensions, show that the bounds are tight, and construct
infinitely many graphs for each possible value between the bounds.


title: Random Permutations, Random Sudoku Matrices and Randomized Algorithms

abstract:
  Some randomized algorithms, used to obtain a random $n^2 \times n^2$ Sudoku
matrix, where $n$ is a natural number, is reviewed in this study. Below is
described the set $\Pi_n$ of all $(2n) \times n$ matrices, consisting of
elements of the set $\mathbb{Z}_n =\{ 1,2,\ldots ,n\}$, such that every row is
a permutation. It is proved that such matrices would be particularly useful in
developing efficient algorithms in generating Sudoku matrices. An algorithm to
obtain random $\Pi_n$ matrices is presented in this paper. The algorithms are
evaluated according to two criteria - probability evaluation, and time
evaluation. This type of criteria is interesting from both theoretical and
practical point of view because they are particularly useful in the analysis of
computer programs.


title:
NOMAD: Non-locking, stOchastic Multi-machine algorithm for Asynchronous
  and Decentralized matrix completion

abstract:
  We develop an efficient parallel distributed algorithm for matrix completion,
named NOMAD (Non-locking, stOchastic Multi-machine algorithm for Asynchronous
and Decentralized matrix completion). NOMAD is a decentralized algorithm with
non-blocking communication between processors. One of the key features of NOMAD
is that the ownership of a variable is asynchronously transferred between
processors in a decentralized fashion. As a consequence it is a lock-free
parallel algorithm. In spite of being an asynchronous algorithm, the variable
updates of NOMAD are serializable, that is, there is an equivalent update
ordering in a serial implementation. NOMAD outperforms synchronous algorithms
which require explicit bulk synchronization after every iteration: our
extensive empirical evaluation shows that not only does our algorithm perform
well in distributed setting on commodity hardware, but also outperforms
state-of-the-art algorithms on a HPC cluster both in multi-core and distributed
memory settings.


title: Some Combinatorial Problems on Binary Matrices in Programming Courses

abstract:
  The study proves the existence of an algorithm to receive all elements of a
class of binary matrices without obtaining redundant elements, e. g. without
obtaining binary matrices that do not belong to the class. This makes it
possible to avoid checking whether each of the objects received possesses the
necessary properties. This significantly improves the efficiency of the
algorithm in terms of the criterion of time. Certain useful educational effects
related to the analysis of such problems in programming classes are also
pointed out.


title:
Upscaled Lattice Boltzmann Method for Simulations of Flows in
  Heterogeneous Porous Media

abstract:
  A upscaled lattice Boltzmann method (LBM) for flow simulations in
heterogeneous porous media, at both pore and Darcy scales, is proposed in this
paper. In the micro-scale simulations, we model flows using LBM with the
modified Guo et al. algorithm where we replace the force model with a simple
Shan-Chen force model. The proposed upscaled LBM uses coarser grids to
represent the effects of the fine-grid (pore-scale) simulations. For the
upscaled LBM, effective properties and reduced-order models are proposed as we
coarsen the grid. The effective properties are computed using solutions of
local problems (e.g., by performing local LBM simulations) subject to some
boundary conditions. A upscaled LBM that can reduce the computational
complexity of existing LBM and transfer the information between different
scales is implemented. The results of coarse-grid, reduced-order, simulations
agree very well with averaged results obtained using a fine grid.


title: Modeling of aging processes in the insertion compounds

abstract:
  The aging phenomena occurring in the course of cycling processes in the
insertion host-guest compounds are discussed in the framework of a simple
model. It takes into account two types of effects. One can be attributed to
modifications of the host/guest solution interface in a form of an effective
energetic barrier. The other is associated with the host matrix disordering
that is translated into a change in the distribution of the host site energies
as a function of the applied potential or the concentration of the guest
species. It is found that the aging properties depend on the preparation mode,
the cycling conditions and the insertion induced transformations. The impact of
these transformations on the aging is determined by the matrix sensibility.


title:
Optimal estimates and asymptotics for the stress concentration between
  closely located stiff inclusions

abstract:
  If stiff inclusions are closely located, then the stress, which is the
gradient of the solution, may become arbitrarily large as the distance between
two inclusions tends to zero. In this paper we investigate the asymptotic
behavior of the stress concentration factor, which is the normalized magnitude
of the stress concentration, as the distance between two inclusions tends to
zero. For that purpose we show that the gradient of the solution to the case
when two inclusions are touching decays exponentially fast near the touching
point. We also prove a similar result when two inclusions are closely located
and there is no potential difference on boundaries of two inclusions. We then
use these facts to show that the stress concentration factor converges to a
certain integral of the solution to the touching case as the distance between
two inclusions tends to zero. We then present an efficient way to compute this
integral.


title: Phase behavior under the averaging over disorder realizations

abstract:
  Effects of the averaging over disorder realizations (samples) on the phase
behavior are analyzed in terms of the mean field approximation for the random
field Ising model with infinite range interactions. It is found that the
averaging is equivalent to a drastic modification in the statistics of the
quenched variables. In its turn, this lowers the critical temperature of a
second-order phase transition or, depending on the sampling, even suppresses
the ordered phase. Possible first order transitions are shown to be softened by
the sample averaging. Common issues and differences in the interpretation of
these effects in the context of the simulation and experimental studies are
discussed.


title:
Lattice-Boltzmann simulations of the drag force on a sphere approaching
  a superhydrophobic striped plane

abstract:
  By means of lattice-Boltzmann simulations the drag force on a sphere of
radius R approaching a superhydrophobic striped wall has been investigated as a
function of arbitrary separation h. Superhydrophobic (perfect-slip vs. no-slip)
stripes are characterized by a texture period L and a fraction of the gas area
$\phi$. For very large values of h/R we recover the macroscopic formulae for a
sphere moving towards a hydrophilic no-slip plane. For h/R=O(1) and smaller the
drag force is smaller than predicted by classical theories for hydrophilic
no-slip surfaces, but larger than expected for a sphere interacting with a
uniform perfectly slipping wall. At a thinner gap, $h\ll R$ the force reduction
compared to a classical result becomes more pronounced, and is maximized by
increasing $\phi$. In the limit of very small separations our simulation data
are in quantitative agreement with an asymptotic equation, which relates a
correction to a force for superhydrophobic slip to texture parameters. In
addition, we examine the flow and pressure field and observe their oscillatory
character in the transverse direction in the vicinity of the wall, which
reflects the influence of the heterogeneity and anisotropy of the striped
texture. Finally, we investigate the lateral force on the sphere, which is
detectable in case of very small separations and is maximized by stripes with
$\phi=0.5$.