title:
Bounds on Double-Sided Myopic Algorithms for Unconstrained Non-monotone
  Submodular Maximization

abstract:
  Unconstrained submodular maximization captures many NP-hard combinatorial
optimization problems, including Max-Cut, Max-Di-Cut, and variants of facility
location problems. Recently, Buchbinder et al. presented a surprisingly simple
linear time randomized greedy-like online algorithm that achieves a constant
approximation ratio of 1/2, matching optimally the hardness result of Feige et
al.. Motivated by the algorithm of Buchbinder et al., we introduce a precise
algorithmic model called double-sided myopic algorithms. We show that while the
algorithm of Buchbinder et al. can be realized as a randomized online
double-sided myopic algorithm, no such deterministic algorithm, even with
adaptive ordering, can achieve the same approximation ratio. With respect to
the Max-Di-Cut problem, we relate the Buchbinder et al. algorithm and our
myopic framework to the online algorithm and inapproximation of Bar-Noy and
Lampis.


title: A comparison of parallel and anti-parallel two qubit mixed states

abstract:
  We investigate the correlation properties of separable two qubit states with
maximally mixed marginals. These states are divided to two sets with the same
geometric quantum correlation. However a closer scrutiny of these states
reveals a profound difference between their quantum correlations as measured by
more probing measures. Although these two sets of states are prepared by the
same type of quantum operations acting on classically correlated states with
equal classical correlations, the amount of final quantum correlation is
different. We investigate this difference and trace it back to the hidden
classical correlation which exists in their preparation process. We also
compare these states with regard to their usefulness for entanglement
distribution and their robustness against noise.


title:
Ant Colony based Routing for Mobile Ad-Hoc Networks towards Improved
  Quality of Services

abstract:
  Mobile Ad Hoc Network (MANET) is a dynamic multihop wireless network which is
established by a set of mobile nodes on a shared wireless channel. One of the
major issues in MANET is routing due to the mobility of the nodes. Routing
means the act of moving information across an internet work from a source to a
destination. When it comes to MANET, the complexity increases due to various
characteristics like dynamic topology, time varying QoS requirements, limited
resources and energy etc. QoS routing plays an important role for providing QoS
in wireless ad hoc networks. The most complex issue in this kind of networks is
to find a path between the communication end points satisfying QoS requirement
for the user. Nature-inspired algorithms (swarm intelligence) such as ant
colony optimization ACO)algorithms have shown to be a good technique for
developing routing algorithms for MANETs.
  In this paper, a new QoS algorithm for mobile ad hoc network has been
proposed. The proposed algorithm combines the idea of Ant Colony Optimization
(ACO) with Optimized Link State Routing (OLSR) protocol to identify multiple
stable paths between source and destination nodes.


title: Does Considering Quantum Correlations Resolve the Information Paradox?

abstract:
  In this paper, we analyze whether quantum correlations between successive
steps of evaporation can open any way to resolve the black hole information
paradox. Recently a celebrated result in literature shows that `small'
correction to leading order Hawking analysis fails to restore unitarity in
black hole evaporation. We study a toy qubit model of evaporation allowing
small quantum correlations between successive steps and verify the previous
result. Then we generalize the concept of correction to Hawking state by
relaxing the `smallness' condition. Our result generates a nontrivial upper and
lower bound on change in entanglement entropy in the evaporation process. This
gives us a quantitative measure of correction that would mathematically
facilitate restoration of unitarity in black hole evaporation. We then
investigate whether this result is compatible to the established physical
constraints of unitary evolution of a state in a subsystem. We find that the
generalized bound on entanglement entropy leads to significant deviation from
Page curve. This leads us to agree with the recent claim in literature that no
amount of correction in the form of Bell pair states would lead to any
resolution to the information paradox.


title: Machine Learning Techniques for Intrusion Detection

abstract:
  An Intrusion Detection System (IDS) is a software that monitors a single or a
network of computers for malicious activities (attacks) that are aimed at
stealing or censoring information or corrupting network protocols. Most
techniques used in today's IDS are not able to deal with the dynamic and
complex nature of cyber attacks on computer networks. Hence, efficient adaptive
methods like various techniques of machine learning can result in higher
detection rates, lower false alarm rates and reasonable computation and
communication costs. In this paper, we study several such schemes and compare
their performance. We divide the schemes into methods based on classical
artificial intelligence (AI) and methods based on computational intelligence
(CI). We explain how various characteristics of CI techniques can be used to
build efficient IDS.


title: On particle oscillations

abstract:
  It has been firmly established, that neutrinos change their flavour during
propagation. This feature is attributed to the fact, that each flavour
eigenstate is a superposition of three mass eigenstates, which propagate with
different frequencies. This picture, although widely accepted, is wrong in the
simplest approach and requires quite sophisticated treatment based on the
wave-packet description within quantum field theory. In this communication we
present a novel, much simpler explanation and show, that oscillations among
massive particles can be obtained in a natural way. We use the framework of
quantum mechanics with time being a physical observable, not just a parameter.


title: On the implicit interest rate in the Yunus equation

abstract:
  In his book with Alan Jolis, Vers un monde sans pauvret\'e (1997) Yunus gives
the example of a microcredit loan of 1000BDT reimbursed via 50 weekly
settlements of 22BDT and correctly claims that this corresponds to the annual
interest rate of 20%. But this is without taking into account that if the
borrower has good reasons not to pay at one installment, she can postpone of
one week all remaining settlements, under the same conditions, so without extra
cost. This of course leads to a lower implicit interest rate. Introducing a
simple geometric law model for the time between settlements, this turns the
implicit interest rate into a random variable, whose laws is still unknown but
for which we provide simulated empirical distribution density function. De ning
by actuarial expected rate the real number r that satis es the expectation of
the random Yunus equation, we compute this number as a function of the
probability p of in-time installment. This allows in turn to compute the
implicit probability p which is to the value of p corresponding to the observed
3% default rate, where in practice, \default" means \more than four weeks
delay". The mathematical tool used is the probability generating function, the
computer tool is the Scilab algebraic equation solver.


title: Set-valued solutions for non-ideal detonation

abstract:
  The existence and structure of steady gaseous detonation propagating in a
packed bed of solid inert particles are analyzed in the one-dimensional
approximation by taking into consideration frictional and heat losses between
the gas and the particles. A new formulation of the governing equations is
introduced that eliminates the well-known difficulties with numerical
integration across the sonic singularity in the reactive Euler equations. The
new algorithm allows us to determine that the detonation solutions as the loss
factors are varied have a set-valued nature at low detonation velocities when
the sonic constraint disappears from the solutions. These set-valued solutions
correspond to a continuous spectrum of the eigenvalue problem that determines
the velocity of the detonation.


title:
Carrier-number fluctuations in the 2-dimensional electron gas at the
  LaAlO3/SrTiO3 interface

abstract:
  The voltage-spectral density SV(f) of the 2-dimensional electron gas formed
at the interface of LaAlO3 /SrTiO3 has been thoroughly investigated. The
low-frequency component has a clear 1/f behavior with a quadratic bias current
dependence, attributed to resistance fluctuations. However, its temperature
dependence is inconsistent with the classical Hooge model, based on
carrier-mobility fluctuations. The experimental results are, instead, explained
in terms of carrier-number fluctuations, due to an excitation-trapping
mechanism of the 2-dimensional electron gas.


title:
Solve of problems of mathematical theory of learning with using computer
  modeling methods

abstract:
  Analyzed models of learning, which take into account that: 1) the rate of
increase of student's knowledge is proportional to the difference between
levels of teacher's requirements and prior knowledge; 2) if the requirements
are too high, then student motivation decreases and he stops learning. Was
proposed: 1) a one component model, coming from the fact that the training
information consists of equal elements; 2) a two component model that takes
into account that knowledge is assimilated with varying strength, 'trustworthy'
knowledge forgotten much slower then 'weak'; 3) two component model, which
takes into account the transition of 'weak' knowledge in 'trustworthy'
knowledge. The solution of the five predictors and optimization problems of
learning theory are represented.


title:
Maximum Likelihood Estimation from Sign Measurements with Sensing Matrix
  Perturbation

abstract:
  The problem of estimating an unknown deterministic parameter vector from sign
measurements with a perturbed sensing matrix is studied in this paper. We
analyze the best achievable mean square error (MSE) performance by exploring
the corresponding Cram\'{e}r-Rao Lower Bound (CRLB). To estimate the parameter,
the maximum likelihood (ML) estimator is utilized and its consistency is
proved. We show that the perturbation on the sensing matrix exacerbates the
performance of ML estimator in most cases. However, suitable perturbation may
improve the performance in some special cases. Then we reformulate the original
ML estimation problem as a convex optimization problem, which can be solved
efficiently. Furthermore, theoretical analysis implies that the
perturbation-ignored estimation is a scaled version with the same direction of
the ML estimation. Finally, numerical simulations are performed to validate our
theoretical analysis.


title: Inverse coefficient problem for Grushin-type parabolic operators

abstract:
  The approach to Lipschitz stability for uniformly parabolic equations
introduced by Imanuvilov and Yamamoto in 1998 based on Carleman estimates,
seems hard to apply to the case of Grushin-type operators studied in this
paper. Indeed, such estimates are still missing for parabolic operators
degenerating in the interior of the space domain. Nevertheless, we are able to
prove Lipschitz stability results for inverse coefficient problems for such
operators, with locally distributed measurements in arbitrary space dimension.
For this purpose, we follow a strategy that combines Fourier decomposition and
Carleman inequalities for certain heat equations with nonsmooth coefficients
(solved by the Fourier modes).


title: Geometric graphs on convex point sets

abstract:
  In this note, we introduce a family of bipartite graphs called path
restricted ordered bipartite graphs and present it as an abstract
generalization of some well known geometric graphs like unit distance graphs on
convex point sets. In the framework of convex point sets, we also focus on a
generalized version of Gabriel graphs known as locally Gabriel graphs or
$LGGs$. $LGGs$ can also be seen as the generalization of unit distance graphs.
The path restricted ordered bipartite graph is also a generalization of $LGGs$.
We study some structural properties of the path restricted ordered bipartite
graphs and also show that such graphs have the maximum edge complexity of
$\theta(n \log n)$. It gives an alternate proof to the well known result that
$UDGs$ and $LGGs$ on convex points have $O(n \log n)$ edges.


title: Geodesic Bases for Lie Algebras

abstract:
  For finite dimensional real Lie algebras, we investigate the existence of an
inner product having a basis comprised of geodesic elements. We give several
existence and non-existence results in certain cases: unimodular solvable Lie
algebras having an abelian nilradical, algebras having an abelian derived
algebra, algebras having a codimension one ideal of a particular kind,
nonunimodular algebras of dimension \$\leq 4\$, and unimodular algebras of
dimension 5.


title:
First measurement of the helicity asymmetry for $\gamma p\rightarrow
  p\pi^0$ in the resonance region

abstract:
  The first measurement of the helicity dependence of the photoproduction cross
section of single neutral pions off protons is reported for photon energies
from 600 to 2300\,MeV, covering nearly the full solid angle. The data are
compared to predictions from the SAID, MAID, and BnGa partial wave analyses.
Strikingly large differences between data and predictions are observed which
are traced to differences in the helicity amplitudes of well known and
established resonances. Precise values for the helicity amplitudes of several
resonances are reported.


title:
Cross-layer Design of CSMA/CA with Spectrum Sensing for Cognitive Radio
  Networks

abstract:
  We devise a cross-layer design (CLD) of carrier sensing multiple access with
collision avoidance (CSMA/CA) at the medium access control (MAC) layer with
spectrum sensing (SpSe) at the physical layer for cognitive radio networks
(CRNs). The proposed CLD relies on a Markov chain model with a state pair
containing both the SpSe and the CSMA/CA with exponential backoff from which we
derive the transmission and collision probabilities. Due to the 2-dimensions of
CSMA/CA model with exponential backoff, the resulted Markov chain is obtained
with 3-dimensions. Simulation and numerical results are derived and illustrated
highlighting the impact of SpSe in CSMA/CA with exponential backoff. The
obtained results could be used as performance criteria to evaluate the
performance of specific CRNs when they are deployed in a distributed
coordination fashion that is prone to collisions.


title:
Peculiarities of clusters formation in true ternary fission of
  $^{252}$Cf and $^{236}$U$^*$

abstract:
  The existence of a new type of cluster decay called "collinear cluster
tri-partition" (CCT) is discussed by an analysis of the landscape of the
potential energy surface (PES). The total energy of the ternary system is found
as a sum the binding energies of fragments and nucleus-nucleus interaction
between them. The pre-scission state of the ternary system is assumed to be
arranged as a chain of the three fragments along a straight line. Minima and
valleys of the PES are determined by variation of the proton and neutron
distributions between them. Pre-scission prompt emission of neutrons is assumed
and PES is calculated for the cases of emission of 2---4 neutrons. The presence
of the valley corresponding to the formation of the isotopes of Sn with masses
$A$=130---136 is inherent for all PES calculated for CCT for spontaneous
fission of $^{252}$Cf and fission induced by neutrons of $^{235}$U. There are
local minima indicating the formation of Ca, Fe, Ni, Ge and Se isotopes having
magic proton or/and neutron numbers, such as 20, 28, and 50. The analysis shows
that the experimentally observed $^{68}$Ni is formed as the edge fragment of
the ternary system connecting to Sn by Si and Ca isotopes at fission of
$^{236}$U and $^{252}$Cf, respectively.


title: Linear flags and Koszul filtrations

abstract:
  We show that the graded maximal ideal of a graded $K$-algebra $R$ has linear
quotients for a suitable choice and order of its generators if the defining
ideal of $R$ has a quadratic Gr\"obner basis with respect to the reverse
lexicographic order, and show that this linear quotient property for algebras
defined by binomial edge ideals characterizes closed graphs. Furthermore, for
algebras defined by binomial edge ideals attached to a closed graph and for
join-meet rings attached to a finite distributive lattice we present explicit
Koszul filtrations.


title: A structure theorem for 2-stretched Gorenstein algebras

abstract:
  In this paper we study the isomorphism classes of local, Artinian, Gorenstein
k-algebras A whose maximal ideal M satisfies dim_k(M^3/M^4)=1 by means of
Macaulay's inverse system generalizing a recent result by J. Elias and M.E.
Rossi. Then we use such results in order to complete the description of the
singular locus of the Gorenstein locus of the punctual Hilbert scheme of degree
11.


title:
Einstein's cosmic model of 1931 revisited: an analysis and translation
  of a forgotten model of the universe

abstract:
  We present a translation and analysis of a cosmic model published by Einstein
in 1931. The paper, which is not widely known, features a model of a universe
that undergoes an expansion followed by a contraction, quite different to his
static model of 1917 or the monotonic Einstein-de Sitter model of 1932. The
paper offers many insights into the cosmology of Albert Einstein in the light
of the first evidence for an expanding universe, and we discuss his views of
issues such as the curvature of space, the cosmological constant, the
singularity and the timespan of the expansion. We argue that retrospective
descriptions of this model as cyclic or periodic are not historically or
mathematically accurate. We find that calculations in the paper of the matter
density and radius of the universe contain a numerical error, a finding that is
supported by writing on a blackboard used by Einstein during a lecture at
Oxford University in May 1931. Our article concludes with a general discussion
of his philosophy of cosmology.


title: Continuum EoS for QCD with Nf=2+1 flavors

abstract:
  We report on a continuum extrapolated result [arXiv:1309.5258] for the
equation of state (EoS) of QCD with $N_f=2+1$ dynamical quark flavors. In this
study, all systematics are controlled, quark masses are set to their physical
values, and the continuum limit is taken using at least three lattice spacings
corresponding to temporal extents up to $N_t=16$. A Symanzik improved gauge and
stout-link improved staggered fermion action is used. Our results are available
online [ancillary file to arXiv:1309.5258].


title:
On Kinetic Delaunay Triangulations: A Near Quadratic Bound for Unit
  Speed Motions

abstract:
  Let $P$ be a collection of $n$ points in the plane, each moving along some
straight line at unit speed. We obtain an almost tight upper bound of
$O(n^{2+\epsilon})$, for any $\epsilon>0$, on the maximum number of discrete
changes that the Delaunay triangulation $\mathbb{DT}(P)$ of $P$ experiences
during this motion. Our analysis is cast in a purely topological setting, where
we only assume that (i) any four points can be co-circular at most three times,
and (ii) no triple of points can be collinear more than twice; these
assumptions hold for unit speed motions.


title: Supercongruences for sporadic sequences

abstract:
  We prove two-term supercongruences for generalizations of recently discovered
sporadic sequences of Cooper. We also discuss recent progress and future
directions concerning other types of supercongruences.


title:
Some Generalizations of the Hellinger Theorem for Second Order
  Difference Equations with Matrix Elements

abstract:
  We obtain several generalizations the Hellinger theorem about $l^2$ solutions
of difference equations: instead of second order equations and $
l^2$-solutions, we consider second-order equations with matrix coefficients and
their solutions in $l^p,\; 1\le p\le \infty$. In particular it is shown that
for a certain class of symmetric difference equations an analog of this theorem
holds for $1\le p \le 2$, but it does not hold for $p>2$.


title:
Robust two-qubit gates for donors in silicon controlled by hyperfine
  interactions

abstract:
  We present two strategies for performing two-qubit operations on the electron
spins of an exchange-coupled pair of phosphorus donors in silicon, using the
ability to set the donor nuclear spins in arbitrary states. The effective
magnetic detuning of the two electron qubits is provided by the hyperfine
interaction when the $^{31}$P nuclei are prepared in opposite spin states. This
can be exploited to switch on and off SWAP operations with modest tuning of the
electron exchange interaction. Furthermore, the hyperfine detuning enables
high-fidelity conditional rotation gates based on selective resonant
excitation. The latter requires no dynamic tuning of the exchange interaction
at all, and offers a very attractive scheme to implement two-qubit logic gates
under realistic experimental conditions.


title:
An obstruction to the smoothability of singular nonpositively curved
  metrics on 4-manifolds by patterns of incompressible tori

abstract:
  We give new examples of closed smooth 4-manifolds which support singular
metrics of nonpositive curvature, but no smooth ones, thereby answering
affirmatively a question of Gromov. The obstruction comes from patterns of
incompressible 2-tori sufficiently complicated to force branching of geodesics
for nonpositively curved metrics.


title: Evidence for cosmic neutrino background form CMB circular polarization

abstract:
  The primordial anisotropies of the cosmic microwave background are linearly
polarized via Compton-scattering. On the other hand, a primordial degree of
circular polarization of the Cosmic Microwave Background is not observationally
excluded. In this work, we discuss the generation of the circular polarization
of CMB via their scattering on the cosmic neutrino background since the epoch
of recombination. We show that photon-neutrino interaction can transform plane
polarization into circular polarization through processes
$\gamma+\nu\rightarrow\gamma+\nu$ and the Stokes-V parameter of CMB has linear
dependence on the wavelength and square dependence on the average pressure and
shear stress perturbations of cosmic neutrino background and also the maximum
value of $C^V$ is estimated in range of a few Nano-Kelvin square.


title: Potential Examples for Non-Additivity of the Minimal Output Entropy

abstract:
  In this paper, we study the minimal output entropy of EPOSIC channels. We
determine the cases where their minimal output entropy is zero, and obtain some
partial results on the fulfillment of their entanglement breaking property.Our
results show that these channels provide potential examples for non-additivity
of the minimal output entropy.


title:
Harmonic functions and stationary distributions for asymptotically
  homogeneous transition kernels on $Z^+$

abstract:
  We suggest a method for constructing positive harmonic functions for a wide
class of transition kernels on $Z^+$. We also find natural conditions under
which these functions have positive finite limits at infinity. Further, we
apply our results on harmonic functions to asymptotically homogeneous Markov
chains on $Z^+$ with asymptotically negative drift. More precisely, assuming
that Markov chain satisfy Cram\'er's condition, we study the tail asymptotics
of the stationary distribution. In particular, we clarify the influence of the
rate of convergence of jumps of the chain towards the limiting distribution.


title: Compact Homogeneous Locally Conformally Kaehler Manifolds

abstract:
  In this paper we show as main results two structure theorems of a compact
homogeneous locally conformally Kaehler (or shortly l.c.K.) manifold, a
holomorphic structure theorem asserting that it has a structure of holomorphic
principal fiber bundle over a flag manifold with fiber a 1-dimensional complex
torus, and a metric structure theorem asserting that it is necessarily of
Vaisman type. We also discuss and determine l.c.K. reductive Lie groups and
compact locally homogeneous l.c.K. manifolds of reductive Lie groups.


title:
Research on fresh agriculture product based on overconfidence of the
  retailer under options and spot markets dominated

abstract:
  In this article, we analyze the application of options contract in special
commodity supply chain such as fresh agricultural products. This problem is
discussed in the point of the retailer. When spot market and future market are
both available, we discuss how the retailer chooses the optimal production.
Furthermore, overconfidence is introduced to the supply chain of the fresh
agricultural products, which has not happened before. Then,based on the
overconfidence of the retailer, we explore how overconfidence affects the
supply chain system under different circumstances. At last, we get the
conclusion that different overconfidence level has different affection on
retailer's optimal ordering quantity and profit.


title: Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity Topoi

abstract:
  We develop a universal framework to study smooth higher orbifolds on the one
hand and higher Deligne-Mumford stacks (as well as their derived and spectral
variants) on the other, and use this framework to obtain a completely
categorical description of which stacks arise as the functor of points of such
objects. We choose to model higher orbifolds and Deligne-Mumford stacks as
infinity-topoi equipped with a structure sheaf, thus naturally generalizing the
work of Lurie, but our approach applies not only to different settings of
algebraic geometry such as classical algebraic geometry, derived algebraic
geometry, and the algebraic geometry of commutative ring spectra as in Lurie's
work, but also to differential topology, complex geometry, the theory of
supermanifolds, derived manifolds etc., where it produces a theory of higher
generalized orbifolds appropriate for these settings. This universal framework
yields new insights into the general theory of Deligne-Mumford stacks and
orbifolds, including a representability criterion which gives a categorical
characterization of such generalized Deligne-Mumford stacks. This specializes
to a new categorical description of classical Deligne-Mumford stacks, a result
sketched in previous work of the author, which extends to derived and spectral
Deligne-Mumford stacks as well.


title:
Optimization of BaF 2 PAL-spectrometer geometry on basis of the Geant4
  simulations

abstract:
  Incorrect choice of measuring geometry and signal discrimination thresholds
for the BaF2 PAL spectrometer can lead to a significant distortion in the
measured spectrum of positron lifetime. The contribution of the distorted
events for non-optimal geometry (e.g. "face to face") can exceed 50%. It
reduces the lifetime of the spectral components and redistributes intensities.
Geant4 simulation permits to evaluate influence of measuring geometry on
spectrum distortion and to choose the most appropriate discrimination
thresholds. Optimal geometry with a lead absorber between the detectors permits
to reduce contribution of distorted coincidences to less than 1% and to provide
sufficiently high count rate of true events.


title:
Exact analytical solution for one nonlinear variational problem of the
  cavitation theory

abstract:
  In this paper we investigate the limiting values of the lift and drag
coefficients of profiles in the Helmholtz--Kirchhoff (infinite cavity) flow.
The coefficients are based on the wetted arc length of profile surfaces.
Namely, for a given value of the lift coefficient we find minimum and maximum
values of the drag coefficient. Thereby, we determine maximum and minimum
values of the lift-to-drag ratios.


title: A Cache Energy Optimization Technique for STT-RAM Last Level Cache

abstract:
  Last level caches (LLCs) occupy a large chip-area and there size is expected
to grow further to offset the limitations of memory bandwidth and speed. Due to
high leakage consumption of SRAM device, caches designed with SRAM consume
large amount of energy. To address this, use of emerging technologies such as
spin torque transfer RAM (STT-RAM) has been investigated which have lower
leakage power dissipation. However, the high write latency and power of it may
lead to large energy consumption which present challenges in its use. In this
report, we propose a cache reconfiguration based technique for improving the
energy efficiency of STT-RAM based LLCs. Our technique dynamically adjusts the
active cache size to reduce the cache leakage energy consumption with minimum
performance loss. We choose a suitable value of STT-RAM retention time for
avoiding refresh overhead and gaining performance. Single-core simulations have
been performed using SPEC2006 benchmarks and Sniper x86-64 simulator. The
results show that while, compared to an STT-RAM LLC of similar area, an SRAM
LLC incurs nearly 100% loss in energy and 7.3% loss in performance; our
technique using STT-RAM cache saves 21.8% energy and incurs only 1.7% loss in
performance.


title:
A general correlation inequality and the Almost Sure Local Limit Theorem
  for random sequences in the domain of attraction of a stable law

abstract:
  In the present paper we obtain a new correlation inequality and use it for
the purpose of extending the theory of the Almost Sure Local Limit Theorem to
the case of lattice random sequences in the domain of attraction of a stable
law. In particular, we prove ASLLT in the case of the normal domain of
attraction of $\alpha$--stable law, $\alpha\in(1,2)$.


title: Construct Graph Logic

abstract:
  In this paper, author uses set theory to construct a logic model of abstract
figure from binary relation. Based on the uniform quantified structure, author
gives two logic system for graph traversal and graph coloring respectively,
moreover shows a new method of cutting graph. Around this model, there are six
algorithms in this paper including exact graph traversal, Algebra calculation
of natural number, graph partition and graph coloring.


title:
A Supplement to the Classification of Flat Homogeneous Spaces of
  Signature (m,2)

abstract:
  Duncan and Ihrig (1993) gave a classification of the flat homogeneous spaces
of metric signature (m,2), provided that a certain condition on the development
image of these spaces holds. In this note we show that this condition can be
dropped, so that Duncan and Ihrig's classification is in fact the full
classification for signature (m,2).


title: Index Distribution of Cauchy Random Matrices

abstract:
  Using a Coulomb gas technique, we compute analytically the probability
$\mathcal{P}_\beta^{(C)}(N_+,N)$ that a large $N\times N$ Cauchy random matrix
has $N_+$ positive eigenvalues, where $N_+$ is called the index of the
ensemble. We show that this probability scales for large $N$ as
$\mathcal{P}_\beta^{(C)}(N_+,N)\approx \exp\left[-\beta N^2
\psi_C(N_+/N)\right]$, where $\beta$ is the Dyson index of the ensemble. The
rate function $\psi_C(\kappa)$ is computed in terms of single integrals that
are easily evaluated numerically and amenable to an asymptotic analysis. We
find that the rate function, around its minimum at $\kappa=1/2$, has a
quadratic behavior modulated by a logarithmic singularity. As a consequence,
the variance of the index scales for large $N$ as $\mathrm{Var}(N_+)\sim
\sigma_C\ln N$, where $\sigma_C=2/(\beta\pi^2)$ is twice as large as the
corresponding prefactor in the Gaussian and Wishart cases. The analytical
results are checked by numerical simulations and against an exact finite $N$
formula which, for $\beta=2$, can be derived using orthogonal polynomials.

categories: cond-mat.stat-mech math-ph math.MP stat.OT


title: Neutron in Strong Magnetic Fields

abstract:
  Relativistic world-line Hamiltonian for strongly interacting 3q systems in
magnetic field is derived from the path integral for the corresponding Green's
function. The neutral baryon Hamiltonian in magnetic field obeys the
pseudomomentum conservation and allows a factorization of the c.m. and internal
motion. The resulting expression for the baryon mass in magnetic field is
written explicitly with the account of hyperfine, OPE and OGE (color Coulomb)
interaction. The neutron mass is fast decreasing with magnetic field, losing
1/2 of its value at eB~0.25 GeV^2 and is nearly zero at eB~0.5 GeV^2. Possible
physical consequences of the calculated mass trajectory of the neutron, M_n(B),
are presented and discussed.


title: Scaling Properties of Parallelized Multicanonical Simulations

abstract:
  We implemented a parallel version of the multicanonical algorithm and applied
it to a variety of systems with phase transitions of first and second order.
The parallelization relies on independent equilibrium simulations that only
communicate when the multicanonical weight function is updated. That way, the
Markov chains efficiently sample the temporary distributions allowing for good
estimations of consecutive weight functions.
  The systems investigated range from the well known Ising and Potts spin
systems to bead-spring polymers. We estimate the speedup with increasing number
of parallel processes. Overall, the parallelization is shown to scale quite
well. In the case of multicanonical simulations of the $q$-state Potts model
($q\ge6$) and multimagnetic simulations of the Ising model, the optimal
performance is limited due to emerging barriers.


title: Nonperturbative calculations in truncated Fock space in LFD

abstract:
  A non-perturbative approach based on the Fock decomposition of the state
vector and its truncation is discussed. In order the non-perturbative
renormalization procedure after truncation could eliminate infinities, it
should be the sector dependent. We clarify the meaning of this procedure in a
toy model. Then we demonstrate stability, relative to the increasing cutoff, of
the anomalous magnetic moment found using the sector dependent renormalization
scheme in Yukawa model.


title: The Onset of Spiral Structure in the Universe

abstract:
  The onset of spiral structure in galaxies appears to occur between redshifts
1.4 and 1.8 when disks have developed a cool stellar component, rotation
dominates over turbulent motions in the gas, and massive clumps become less
frequent. During the transition from clumpy to spiral disks, two unusual types
of spirals are found in the Hubble Ultra Deep Field that are massive, clumpy
and irregular like their predecessor clumpy disks, yet spiral-like or sheared
like their descendants. One type is ``woolly'' with massive clumpy arms all
over the disk and is brighter than other disk galaxies at the same redshift,
while another type has irregular multiple arms with high pitch angles, star
formation knots and no inner symmetry like today's multiple-arm galaxies. The
common types of spirals seen locally are also present in a redshift range
around z~1, namely grand design with two symmetric arms, multiple arm with
symmetry in the inner parts and several long, thin arms in the outer parts, and
flocculent, with short, irregular and patchy arms that are mostly from star
formation. Normal multiple arm galaxies are found only closer than z~0.6 in the
UDF. Grand design galaxies extend furthest to z~1.8, presumably because
interactions can drive a two-arm spiral in a disk that would otherwise have a
more irregular structure. The difference between these types is understandable
in terms of the usual stability parameters for gas and stars, and the ratio of
the velocity dispersion to rotation speed.


title:
Proceedings Second Workshop on Trends in Functional Programming In
  Education

abstract:
  The Second International Workshop on Trends in Functional Programming in
Education, TFPIE 2013, was held on May 13, 2013 at Brigham Young University in
Provo, Utah, USA. The goal of TFPIE is to gather researchers, professors,
teachers, and all professionals interested in functional programming in
education. Submissions were vetted by the TFPIE 2013 program committee using
prevailing academic standards. The 2 articles in this volume were selected for
publication as the result of this process. Tobin-Hochstadt and Van Horn report
on their solution to the difficult transition between the first semester course
in functional programming (using languages, programming environment, etc.
intended for teaching) to the second semester course in object-oriented
programming (with a production-oriented language, environment, etc.). Finding
that this confusing circumstance made the key concepts hard to grasp for
students, the authors present and evaluate a new introduction to the second
semester course, based on the environment and languages the students used
before, that focusses on key object-oriented concepts. Caldwell lays out an
education narrative that focusses on reasoning about programs, using structural
induction principles. He argues that more such formal reasoning should get more
emphasis in programming education and demonstrates the feasibility thereof by
reporting on his experiences using this narrative in the functional programming
course at the University of Wyoming.


title:
New tabulation and sparse dynamic programming based techniques for
  sequence similarity problems

abstract:
  Calculating the length of a longest common subsequence (LCS) of two strings
$A$ and $B$ of length $n$ and $m$ is a classic research topic, with many
worst-case oriented results known. We present two algorithms for LCS length
calculation with respectively $O(mn \log\log n / \log^2 n)$ and $O(mn / \log^2
n + r)$ time complexity, the latter working for $r = o(mn / (\log n \log\log
n))$, where $r$ is the number of matches in the dynamic programming matrix. We
also describe conditions for a given problem sufficient to apply our
techniques, with several concrete examples presented, namely the edit distance,
LCTS and MerLCS problems.


title:
Proceedings 5th Workshop on Programming Language Approaches to
  Concurrency and Communication-cEntric Software

abstract:
  PLACES 2013 (full title: Programming Language Approaches to Concurrency- and
Communication-cEntric Software) was the sixth edition of the PLACES workshop
series. After the first PLACES, which was affiliated to DisCoTec in 2008, the
workshop has been part of ETAPS every year since 2009 and is now an established
part of the ETAPS satellite events. This year, PLACES was the best attended
workshop at ETAPS 2013.
  The workshop series was started in order to promote the application of novel
programming language ideas to the increasingly important problem of developing
software for systems in which concurrency and communication are intrinsic
aspects. This includes software for multi- and many-core systems, accelerators
and large-scale distributed and/or service-oriented systems. The scope of
PLACES includes new programming language features, whole new programming
language designs, new type systems, new semantic approaches, new program
analysis techniques, and new implementation mechanisms.


title:
Asymptotics of spectral gaps of 1D Dirac operator with two exponential
  terms potential

abstract:
  The one-dimensional Dirac operator \begin{equation*} L = i \begin{pmatrix} 1
& 0 \\ 0 & -1 \end{pmatrix} \frac{d}{dx} +\begin{pmatrix} 0 & P(x) \\ Q(x) & 0
\end{pmatrix}, \quad P,Q \in L^2 ([0,\pi]), \end{equation*} considered on
$[0,\pi]$ with periodic and antiperiodic boundary conditions, has discrete
spectra. For large enough $|n|,\, n \in \mathbb{Z}, $ there are two (counted
with multiplicity) eigenvalues $\lambda_n^-,\lambda_n^+ $ (periodic if $n$ is
even, or antiperiodic if $n$ is odd) such that $|\lambda_n^\pm - n |<1/2.$
  We study the asymptotics of spectral gaps $\gamma_n =\lambda_n^+ -
\lambda_n^-$ in the case $$P(x)=a e^{-2ix} + A e^{2ix}, \quad Q(x)=b e^{-2ix} +
B e^{2ix},$$ where $a, A, b, B$ are nonzero complex numbers. We show, for large
enough $m,$ that $\gamma_{\pm 2m}=0 $ and \begin{align*} \gamma_{2m+1} = \pm 2
\frac{\sqrt{(Ab)^m (aB)^{m+1}}}{4^{2m} (m!)^2 } \left[ 1 + O \left(
\frac{\log^2 m}{m^2}\right) \right], \end{align*} \begin{align*}
\gamma_{-(2m+1)} = \pm 2\frac{\sqrt{(Ab)^{m+1} (aB)^m}}{4^{2m} (m!)^2} \left[ 1
+ O \left( \frac{\log^2 m}{m^2}\right) \right]. \end{align*}


title: Present status of the Bethe-Salpeter approach in Minkowski space

abstract:
  Recently developed methods allowing to find the solutions of the
Bethe-Salpeter equations in Minkowski space, both for the bound and scattering
states, are reviewed. For the bound states, one obtains the bound state mass
and the corresponding BS amplitude. For the scattering states, the phase shifts
(complex above the meson creation threshold) and the half-off-shell BS
amplitude are found. Using these solutions, the elastic and transition
electromagnetic form factors are calculated.


title:
Microtubule dynamic instability: the role of cracks between
  protofilaments

abstract:
  Microtubules (MTs) are cytoplasmic protein polymers that are essential for
fundamental cellular processes including the maintenance of cell shape,
organelle transport and formation of the mitotic spindle. Microtubule dynamic
instability is critical for these processes, but it remains poorly understood,
in part because the relationship between the structure of the MT tip and the
growth/depolymerization transitions is enigmatic. What are the functionally
significant aspects of a tip structure that is capable of promoting MT growth,
and how do changes in these characteristics cause the transition to
depolymerization (catastrophe)? Here we use computational models to investigate
the connection between cracks (laterally unbonded regions) between
protofilaments and dynamic instability. Our work indicates that it is not the
depth of the cracks per se that governs MT dynamic instability. Instead it is
whether the cracks terminate in GTP-rich or GDP-rich areas of the MT that
governs whether a particular MT tip structure is likely to grow, shrink, or
transition: the identity of the crack-terminating subunit pairs has a profound
influence on the moment-by-moment behavior of the MT.


title: A Stability Result for Sparse Convolutions

abstract:
  We will establish in this note a stability result for sparse convolutions on
torsion-free additive (discrete) abelian groups. Sparse convolutions on
torsion-free groups are free of cancellations and hence admit stability, i.e.
injectivity with a universal lower bound $\alpha=\alpha(s,f)$, only depending
on the cardinality $s$ and $f$ of the supports of both input sequences. More
precisely, we show that $\alpha$ depends only on $s$ and $f$ and not on the
ambient dimension. This statement follows from a reduction argument which
involves a compression into a small set preserving the additive structure of
the supports.


title: Nilpotent Sabinin algebras

abstract:
  In this note we establish several basic properties of nilpotent Sabinin
algebras. Namely, we show that nilpotent Sabinin algebras (1) can be integrated
to produce nilpotent loops, (2) satisfy an analogue of the Ado theorem, (3)
have nilpotent Lie envelopes. We also give a new set of axioms for Sabinin
algebras. These axioms reflect the fact that a complementary subspace to a Lie
subalgebra in a Lie algebra is a Sabinin algebra. Finally, we note that the
non-associative version of the Jennings theorem produces a version of Ado
theorem for loops whose commutator-associator filtration is of finite length.


title: Stability of Einstein metrics under Ricci flow

abstract:
  We prove dynamical stability and instability theorems for compact Einstein
metrics under the Ricci flow. We give a nearly complete charactarization of
dynamical stability and instability in terms of the conformal Yamabe invariant
and the Laplace spectrum. In particular, we prove dynamical stability of some
classes of Einstein manifolds for which it was previously not known.
Additionally, we show that the complex projective space with the Fubini-Study
metric is surprisingly dynamically unstable.


title: VoIP Technology: Security Issues Analysis

abstract:
  Voice over IP (VoIP) is the technology allowing voice and multimedia
transmissions as data packets over a private or a public IP network. Thanks to
the benefits that it may provide, the VoIP technology is increasingly
attracting attention and interest in the industry. Actually, VoIP allows
significant benefits for customers and communication services providers such as
cost savings, rich media service, phone and service portability, mobility, and
the integration with other applications. Nevertheless, the deployment of the
VoIP technology encounters many challenges such as architecture complexity,
interoperability issues, QoS issues, and security concerns. Among these
disadvantages, VoIP security issues are becoming more serious because
traditional security devices, protocols, and architectures cannot adequately
protect VoIP systems from recent intelligent attacks. The aim of this paper is
carry out a deep analysis of the security concerns of the VoIP technology.
Firstly, we present a brief overview about the VoIP technology. Then, we
discuss security attacks and vulnerabilities related to VoIP protocols and
devices. After that, we talk about the security profiles of the VoIP protocols,
and we present the main security components designed to help the deployment of
a reliable and secured VoIP systems.


title: On two Algorithmic Problems about Synchronizing Automata

abstract:
  Under the assumption $\mathcal{P} \neq \mathcal{NP}$, we prove that two
natural problems from the theory of synchronizing automata cannot be solved in
polynomial time. The first problem is to decide whether a given reachable
partial automaton is synchronizing. The second one is, given an $n$-state
binary complete synchronizing automaton, to compute its reset threshold within
performance ratio less than $d \ln{(n)}$ for a specific constant $d>0$.


title: Decision Fusion with Unknown Sensor Detection Probability

abstract:
  In this correspondence we study the problem of channel-aware decision fusion
when the sensor detection probability is not known at the decision fusion
center. Several alternatives proposed in the literature are compared and new
fusion rules (namely 'ideal sensors' and 'locally-optimum detection') are
proposed, showing attractive performance and linear complexity. Simulations are
provided to compare the performance of the aforementioned rules.


title:
Testing the nature of the black hole candidate in GRO J1655-40 with the
  relativistic precession model

abstract:
  Quasi-periodic oscillations (QPOs) are a common feature in the X-ray flux of
stellar-mass black hole candidates, but their exact origin is not yet known.
Recently, some authors have pointed out that data of GRO J1655-40
simultaneously show three QPOs that nicely fit in the relativistic precession
model. However, they find an estimate of the spin parameter that disagrees with
the measurement of the disk's thermal spectrum. In the present work, I explore
the possibility of using the relativistic precession model to test the nature
of the black hole candidate in GRO J1655-40. If properly understood, QPOs may
become a quite powerful tool to probe the spacetime geometry around black hole
candidates, especially if used in combination with other techniques. It turns
out that the measurements of the relativistic precession model and of the
disk's thermal spectrum may be consistent if we admit that the black hole
candidate in GRO J1655-40 is not of the Kerr type.


title: On BMS Invariance of Gravitational Scattering

abstract:
  BMS+ transformations act nontrivially on outgoing gravitational scattering
data while preserving intrinsic structure at future null infinity (I+). BMS-
transformations similarly act on ingoing data at past null infinity (I-). In
this paper we apply - within a suitable finite neighborhood of the Minkowski
vacuum - results of Christodoulou and Klainerman to link I+ to I- and thereby
identify "diagonal" elements BMS0 of (BMS+)X(BMS-). We argue that BMS0 is a
nontrivial infinite-dimensional symmetry of both classical gravitational
scattering and the quantum gravity S-matrix. It implies the conservation of net
accumulated energy flux at every angle on the conformal S2 at I+. The
associated Ward identity is shown to relate S-matrix elements with and without
soft gravitons. Finally, BMS0 is recast as a U(1) Kac-Moody symmetry and an
expression for the Kac-Moody current is given in terms of a certain soft
graviton operator on the boundary of null infinity.


title:
Equivalence of two diagram representations of links in lens spaces and
  essential invariants

abstract:
  In this paper we study the relation between two diagrammatic representations
of links in lens spaces: the disk diagram and the grid diagram and we find how
to pass from one to the other. We also investigate whether the HOMFLY-PT
invariant and the Link Floer Homology are essential invariants, that is, we try
to understand if these invariants are able to distinguish links in $L(p,q)$
covered by the same link in $\mathbf{S}^3$. In order to do so, we generalize
the combinatorial definition of Knot Floer Homology in lens spaces to the case
of links and we analyze how both the invariants change when we switch the
orientation of the link.


title: RPV SUSY effects in $\tau^- \to e^-(\mu^-) K\bar{K}$ Decays

abstract:
  In this paper, we investigate $\tau^- \to e^-(\mu^-) K\bar{K}(K\bar{K}=K
^+K^-,K^0\bar{K}^0)$ decays in the framework of the RPV SUSY model. We discuss
the tree level contribution of the sparticles $\tilde{\nu}$ and $\tilde{u}$ to
these decay branching ratios. In the two channels, the $\tilde{\nu}$-mediated
channel is more sensitive to the parameter product
$|\lambda^{'*}_{i22}\lambda_{i31(2)}|$ than the $\tilde{u}$-mediated channel to
$|\lambda^{'*}_{1(2)j2}\lambda'_{3j2}|$. And the parameter product
$|\lambda^{'*}_{i22}\lambda_{i31(2)}|$ is severely constrained to the order of
${\cal O}(10^{-5})$ by the experiment data with $m_{\tilde{\nu}}=100 GeV$,
which is one order of magnitude more stringent than before. In the calculation
of hadronic matrix elements, the resonant effects are large than those of
non-resonant terms. Especially, the resonant contribution of scalar meson
$f_{(980)}$ plays a dominate role in $\tilde{\nu}$-mediated channel.


title:
Algorithms for Joint Phase Estimation and Decoding for MIMO Systems in
  the Presence of Phase Noise

abstract:
  In this work, we derive the maximum a posteriori (MAP) symbol detector for a
multiple-input multiple-output system in the presence of Wiener phase noise due
to noisy local oscillators. As in single-antenna systems, the computation of
the optimal receiver is an infinite dimensional problem and is thus
unimplementable in practice. In this purview, we propose three suboptimal,
low-complexity algorithms for approximately implementing the MAP symbol
detector, which involve joint phase noise estimation and data detection. Our
first algorithm is obtained by means of the sum-product algorithm, where we use
the multivariate Tikhonov canonical distribution approach. In our next
algorithm, we derive an approximate MAP symbol detector based on the
smoother-detector framework, wherein the detector is properly designed by
incorporating the phase noise statistics from the smoother. The third algorithm
is derived based on the variational Bayesian framework. By simulations, we
evaluate the performance of the proposed algorithms for both uncoded and coded
data transmissions, and we observe that the proposed techniques significantly
outperform the other algorithms proposed in the literature.


title: Invariant games and non-homogeneous Beatty sequences

abstract:
  We characterize all the pairs of complementary non-homogenous Beatty
sequences $(A_n)_{n\ge 0}$ and $(B_n)_{n\ge 0}$ for which there exists an
invariant game having exactly $\{(A_n,B_n)\mid n\ge 0\}\cup \{(B_n,A_n)\mid
n\ge 0\}$ as set of $\mathcal{P}$-positions. Using the notion of Sturmian word
and tools arising in symbolic dynamics and combinatorics on words, this
characterization can be translated to a decision procedure relying only on a
few algebraic tests about algebraicity or rational independence. Given any four
real numbers defining the two sequences, up to these tests, we can therefore
decide whether or not such an invariant game exists.


title:
Three-dimensional Multiscale Model of Deformable Platelets Adhesion to
  Vessel Wall in Blood Flow

abstract:
  When a blood vessel ruptures or gets inflamed, the human body responds by
rapidly forming a clot to restrict the loss of blood. Platelets aggregation at
the injury site of the blood vessel occurring via platelet-platelet adhesion,
tethering and rolling on the injured endothelium is a critical initial step in
blood clot formation. A novel three-dimensional multiscale model is introduced
and used in this paper to simulate receptor-mediated adhesion of deformable
platelets at the site of vascular injury under different shear rates of blood
flow. The novelty of the model is based on a new approach of coupling submodels
at three biological scales crucial for the early clot formation: novel hybrid
cell membrane submodel to represent physiological elastic properties of a
platelet, stochastic receptor-ligand binding submodel to describe cell adhesion
kinetics and Lattice Boltzmann submodel for simulating blood flow. The model
implementation on the GPUs cluster significantly improved simulation
performance. Predictive model simulations revealed that platelet deformation,
interactions between platelets in the vicinity of the vessel wall as well as
the number of functional GPIb{\alpha} platelet receptors played significant
roles in the platelet adhesion to the injury site. Variation of the number of
functional GPIb{\alpha} platelet receptors as well as changes of platelet
stiffness can represent effects of specific drugs reducing or enhancing
platelet activity. Therefore, predictive simulations can improve the search for
new drug targets and help to make treatment of thrombosis patient specific.

categories: q-bio.TO math.NA physics.bio-ph q-bio.CB


title: High energy bosons do not propagate

abstract:
  We discuss the propagation of bosons (scalars, gauge fields and gravitons) at
high energy in the context of the spectral action. Using heat kernel
techniques, we find that in the high-momentum limit the quadratic part of the
action does not contain positive powers of the derivatives. We interpret this
as the fact that the two point Green functions vanish for nearby points, where
the proximity scale is given by the inverse of the cutoff.


title: Peltier effect in strongly driven quantum wires

abstract:
  We study a microscopic model of a thermocouple device with two connected
correlated quantum wires driven by a constant electric field. In such isolated
system we follow the time-- and position--dependence of the entropy density
using the concept of the reduced density matrix. At weak driving, the initial
changes of the entropy at the junctions can be described by the linear Peltier
response. At longer times the quasiequilibrium situation is reached with well
defined local temperatures which increase due to an overall Joule heating. On
the other hand, strong electric field induces nontrivial nonlinear
thermoelectric response, e.g. the Bloch oscillations of the energy current.
Moreover, we show for the doped Mott insulators that strong driving can reverse
the Peltier effect.


title: Clustering online social network communities using genetic algorithms

abstract:
  To analyze the activities in an Online Social network (OSN), we introduce the
concept of "Node of Attraction" (NoA) which represents the most active node in
a network community. This NoA is identified as the origin/initiator of a
post/communication which attracted other nodes and formed a cluster at any
point in time. In this research, a genetic algorithm (GA) is used as a data
mining method where the main objective is to determine clusters of network
communities in a given OSN dataset. This approach is efficient in handling
different type of discussion topics in our studied OSN - comments, emails, chat
expressions, etc. and can form clusters according to one or more topics. We
believe that this work can be useful in finding the source for spread of this
GA-based clustering of online interactions and reports some results of
experiments with real-world data and demonstrates the performance of proposed
approach.


title:
Nonthermal Filamentary Radio Features Within 20 pc of the Galactic
  Center

abstract:
  Deep imaging of the Sgr A complex at 6 cm wavelength with the B and C
configurations of the Karl G. Jansky VLA has revealed a new population of faint
radio filaments. Like their brighter counterparts that have been observed
throughout the Galactic Center on larger scales, these filaments can extend up
to ~10 parsecs, and in most cases are strikingly uniform in brightness and
curvature. Comparison with a survey of Paschen-alpha emission reveals that some
of the filaments are emitting thermally, but most of these structures are
nonthermal: local magnetic flux tubes illuminated by synchrotron emission. The
new image reveals considerable filamentary substructure in previously known
nonthermal filaments (NTFs). Unlike NTFs previously observed on larger scales,
which tend to show a predominant orientation roughly perpendicular to the
Galactic plane, the NTFs in the vicinity of the Sgr A complex are relatively
randomly oriented. Two well-known radio sources to the south of Sgr A - sources
E and F - consist of numerous quasi-parallel filaments that now appear to be
particularly bright portions of a much larger, strongly curved, continuous,
nonthermal radio structure that we refer to as the "Southern Curl". It is
therefore unlikely that sources E and F are HII regions or pulsar wind nebulae.
The Southern Curl has a smaller counterpart on the opposite side of the
Galactic Center - the Northern Curl - that, except for its smaller scale and
smaller distance from the center, is roughly point-reflection symmetric with
respect to the Southern Curl. The curl features indicate that some field lines
are strongly distorted, presumably by mass flows. The point symmetry about the
center then suggests that the flows originate near the center and are somewhat
collimated.


title: Probability, Random Variables, and Selectivity

abstract:
  This is a chapter for the forthcoming New Handbook of Mathematical
Psychology, to be published by Cambridge University Press. A systematic theory
of random variables and joint distributions under varying conditions is
presented. This is a Kolmogorovian theory most generally understood, in which
random variables recorded under mutually exclusive conditions do not possess
joint distributions but can be coupled in multiple ways.


title:
Testing for residual correlation of any order in the autoregressive
  process

abstract:
  We are interested in the implications of a linearly autocorrelated driven
noise on the asymptotic behavior of the usual least squares estimator in a
stable autoregressive process. We show that the least squares estimator is not
consistent and we suggest a sharp analysis of its almost sure limiting value as
well as its asymptotic normality. We also establish the almost sure convergence
and the asymptotic normality of the estimated serial correlation parameter of
the driven noise. Then, we derive a statistical procedure enabling to test for
correlation of any order in the residuals of an autoregressive modelling,
giving clearly better results than the commonly used portmanteau tests of
Ljung-Box and Box-Pierce, and appearing to outperform the Breusch-Godfrey
procedure on small-sized samples.


title:
ABMQ: An Agent-Based Modeler and Simulator for Self-Organization in
  MANETs using Qt

abstract:
  Agent-Based Modeling and Simulation (ABMS) is a simple and yet powerful
method for simulation of interactions among individual agents. Using ABMS,
different phenomena can be modeled and simulated without spending additional
time on unnecessary complexities. Although ABMS is well-matured in many
different fields such as economic, social, and natural phenomena, it has not
received much attention in the context of mobile ad-hoc networks (MANETs). In
this paper, we present ABMQ, a powerful Agent-Based platform suitable for
modeling and simulation of self-organization in wireless networks, and
particularly MANETs. By utilizing the unique potentials of Qt Application
Framework, ABMQ provides the ability to easily model and simulate
self-organizing algorithms, and then reuse the codes and models developed
during simulation process for building real third-party applications for
several desktop and mobile platforms, which substantially decreases the
development time and cost, and prevents probable bugs that can happen as a
result of rewriting codes.


title:
CLIC: A Framework for Distributed, On-Demand, Human-Machine Cognitive
  Systems

abstract:
  Traditional Artificial Cognitive Systems (for example, intelligent robots)
share a number of limitations. First, they are usually made up only of machine
components; humans are only playing the role of user or supervisor. And yet,
there are tasks in which the current state of the art of AI has much worse
performance or is more expensive than humans: thus, it would be highly
beneficial to have a systematic way of creating systems with both human and
machine components, possibly with remote non-expert humans providing
short-duration real-time services. Second, their components are often dedicated
to only one system, and underutilized for a big part of their lifetime. Third,
there is no inherent support for robust operation, and if a new better
component becomes available, one cannot easily replace the old component.
Fourth, they are viewed as a resource to be developed and owned, not as a
utility. Thus, we are presenting CLIC: a framework for constructing cognitive
systems that overcome the above limitations. The architecture of CLIC provides
specific mechanisms for creating and operating cognitive systems that fulfill a
set of desiderata: First, that are distributed yet situated, interacting with
the physical world though sensing and actuation services, and that are also
combining human as well as machine services. Second, that are made up of
components that are time-shared and re-usable. Third, that provide increased
robustness through self-repair. Fourth, that are constructed and reconstructed
on the fly, with components that dynamically enter and exit the system during
operation, on the basis of availability, pricing, and need. Importantly, fifth,
the cognitive systems created and operated by CLIC do not need to be owned and
can be provided on demand, as a utility; thus transforming human-machine
situated intelligence to a service, and opening up many interesting
opportunities.


title:
Business and technical requirements of Software-as-a-Service:
  Implications in portuguese enterprise business context

abstract:
  Software-as-a-Service (SaaS) is a viable option for some companies bearing
their business processes. There is a considerable adoption rate, with companies
already using more than two services for over two years. However, while some
companies have plans to put more business processes supported by these services
in the near future, others do not know if they will. They have several concerns
regarding the software providers service level. These concerns are mainly
technical and functional issues, service availability and payment models. There
are major changes compared to the traditional software that have implications
on how the software is developed and made available to the users. The existing
research addresses specific aspects and few studies give a broader view of the
implications of SaaS for anyone who develops and provides software, and also
for those who consumes it as an end user. What are the real needs of the
Portuguese market? What fears and what is being done to mitigate them? Where
should we focus our attention related to the SaaS offering in order to create
more value? Thus, to analyze these questions four exploratory case studiesare
used to assess the possible implications of SaaS on software developers or
software providers based in Portugal and also on end-users. This article
appears in the context of a realistic and deep research that includes the
involvement of managers, leaders and decision makers of Portuguese companies,
to realize what actually constitutes a problem in SaaS and what effectively
companies would like to have available in this offer. The results of this study
reveal that SaaS effectively constitutes a very interesting and solid solution
for the development of Portuguese companies, however there is a lack for
greater efforts particularly in terms of customization for each customer
(tenant) and integration with the back-end on-premise applications.


title: Time-dependent Hierarchical Dirichlet Model for Timeline Generation

abstract:
  Timeline Generation aims at summarizing news from different epochs and
telling readers how an event evolves. It is a new challenge that combines
salience ranking with novelty detection. For long-term public events, the main
topic usually includes various aspects across different epochs and each aspect
has its own evolving pattern. Existing approaches neglect such hierarchical
topic structure involved in the news corpus in timeline generation. In this
paper, we develop a novel time-dependent Hierarchical Dirichlet Model (HDM) for
timeline generation. Our model can aptly detect different levels of topic
information across corpus and such structure is further used for sentence
selection. Based on the topic mined fro HDM, sentences are selected by
considering different aspects such as relevance, coherence and coverage. We
develop experimental systems to evaluate 8 long-term events that public
concern. Performance comparison between different systems demonstrates the
effectiveness of our model in terms of ROUGE metrics.


title: Edge-disjoint spanning trees and eigenvalues of regular graphs

abstract:
  Partially answering a question of Paul Seymour, we obtain a sufficient
eigenvalue condition for the existence of $k$ edge-disjoint spanning trees in a
regular graph, when $k\in \{2,3\}$. More precisely, we show that if the second
largest eigenvalue of a $d$-regular graph $G$ is less than
$d-\frac{2k-1}{d+1}$, then $G$ contains at least $k$ edge-disjoint spanning
trees, when $k\in \{2,3\}$. We construct examples of graphs that show our
bounds are essentially best possible. We conjecture that the above statement is
true for any $k<d/2$.


title:
E-Governance, International Cooperation and Security - New Millennium
  Challenges for a Small Country

abstract:
  In the paper we analyze the Information and Communication Technologies (ICT)
and their impact on developing countries (DCs), making a criticism of different
views on the supposed role of ICT for the future of human society. This
criticism is seen from the point of view of a small developing post-communist
country as Albania, hoping that the conclusions would throw some light for
developing countries in general, especially those in a transition stage. We
examine some aspects of international collaboration and security, where the ICT
implemented in the public administration may have an important impact. The
development policies and practices are examined, including relations between
public and private sectors. Following arguments of many authors, we identify or
redefine some crucial factors that negatively impact the role of ICT in the
development of the country, its relations with the international community, and
ways to push forward its development.


title: The spectrum and toughness of regular graphs

abstract:
  In 1995, Brouwer proved that the toughness of a connected $k$-regular graph
$G$ is at least $k/\lambda-2$, where $\lambda$ is the maximum absolute value of
the non-trivial eigenvalues of $G$. Brouwer conjectured that one can improve
this lower bound to $k/\lambda-1$ and that many graphs (especially graphs
attaining equality in the Hoffman ratio bound for the independence number) have
toughness equal to $k/\lambda$. In this paper, we improve Brouwer's spectral
bound when the toughness is small and we determine the exact value of the
toughness for many strongly regular graphs attaining equality in the Hoffman
ratio bound such as Lattice graphs, Triangular graphs, complements of
Triangular graphs and complements of point-graphs of generalized quadrangles.
For all these graphs with the exception of the Petersen graph, we confirm
Brouwer's intuition by showing that the toughness equals $k/(-\lambda_{min})$,
where $\lambda_{min}$ is the smallest eigenvalue of the adjacency matrix of the
graph.


title:
Basic univariate and bivariate statistics for symbolic data: a critical
  review

abstract:
  Some proofs of the problems of the basic statistics proposed for numeric
symbolic data.


title: Scalable Object Detection using Deep Neural Networks

abstract:
  Deep convolutional neural networks have recently achieved state-of-the-art
performance on a number of image recognition benchmarks, including the ImageNet
Large-Scale Visual Recognition Challenge (ILSVRC-2012). The winning model on
the localization sub-task was a network that predicts a single bounding box and
a confidence score for each object category in the image. Such a model captures
the whole-image context around the objects but cannot handle multiple instances
of the same object in the image without naively replicating the number of
outputs for each instance. In this work, we propose a saliency-inspired neural
network model for detection, which predicts a set of class-agnostic bounding
boxes along with a single score for each box, corresponding to its likelihood
of containing any object of interest. The model naturally handles a variable
number of instances for each class and allows for cross-class generalization at
the highest levels of the network. We are able to obtain competitive
recognition performance on VOC2007 and ILSVRC2012, while using only the top few
predicted locations in each image and a small number of neural network
evaluations.


title: Exact quasi-normal modes for the near horizon Kerr metric

abstract:
  We study the quasi-normal modes of a massless scalar field in a general
sub-extreme Kerr back- ground by exploiting the hidden SL(2, R) x SL(2, R) x
SO(3) symmetry of the subtracted geometry approximation. This faithfully models
the near horizon geometry but locates the black hole in a confining
asymptotically conical box analogous to the anti-de-Sitter backgrounds used in
string the- ory. There are just two series of modes, given in terms of
hypergeometric functions and spherical harmonics, reminiscent of the
left-moving and right-moving degrees in string theory: one is over- damped, the
other is underdamped and exhibits rotational splitting. The remarkably simple
exact formulae for the complex frequencies would in principle allow the
determination of the mass and angular momentum from observations of a black
hole. No black hole bomb is possible because the Killing field which co-rotates
with the horizon is everywhere timelike outside the black hole.


title: A solution of the Gaussian optimizer conjecture

abstract:
  The long-standing conjectures of the optimality of Gaussian inputs for
Gaussian channel and Gaussian additivity are solved for a broad class of
covariant or contravariant Bosonic Gaussian channels (which includes in
particular thermal, additive classical noise, and amplifier channels)
restricting to the class of states with finite second moments. We show that the
vacuum is the input state which minimizes the entropy at the output of such
channels. This allows us to show also that the classical capacity of these
channels (under the input energy constraint) is additive and is achieved by
Gaussian encodings.


title:
A functional analysis of speed profiles: smoothing using derivative
  information, curve registration, and functional boxplot

abstract:
  In this paper, we propose a functional analysis of a set of individual
space-speed profiles corresponding to speed as function of the distance
traveled by the vehicle from an initial point. This functional analysis begins
with a functional modeling of space-speed profiles and the study of
mathematical properties of these functions. Then, in a first step, a smoothing
procedure based on spline smoothing is developed in order to convert the raw
data into functional objets and to filter out the measurement noise as
efficiently as possible. It is shown that this smoothing step leads to a
complex nonparametric regression problem that needs to take into account two
constraints: the use of the derivative information, and a monotonicity
constraint. The performance of the proposed two-step estimator (smooth, and
then monotonize) is illustrated on simulation studies and a real data example.
In a second step, we use a curve registration method based on landmarks
alignment in order to construct an average speed profile representative of a
set of individual speed profiles. Finally, the variability of such a set is
explored by the use of functional boxplots.


title: Scalable and Quasi-Contractive Markov Coupling of Maxwell Collision

abstract:
  This paper considers space homogenous Boltzmann kinetic equations in
dimension $d$ with Maxwell collisions (and without Grad's cut-off). An explicit
Markov coupling of the associated conservative (Nanbu) stochastic $N$-particle
system is constructed, using plain parallel coupling of isotropic random walks
on the sphere of two-body collisional directions. The resulting coupling is
almost surely decreasing, and the $L_2$-coupling creation is computed
explicitly. Some quasi-contractive and uniform in $N$ coupling / coupling
creation inequalities are then proved, relying on $2+\alpha$-moments ($\alpha
>0$) of velocity distributions; upon $N$-uniform propagation of moments of the
particle system, it yields a $N$-scalable $\alpha$-power law trend to
equilibrium. The latter are based on an original sharp inequality, which bounds
from above the coupling distance of two centered and normalized random
variables $(U,V)$ in $\R^d$, with the average square parallelogram area spanned
by $(U-U_\ast,V-V_\ast)$, $(U_\ast,V_\ast)$ denoting an independent copy. Two
counter-examples proving the necessity of the dependance on $>2$-moments and
the impossibility of strict contractivity are provided. The paper, (mostly)
self-contained, does not require any propagation of chaos property and uses
only elementary tools.


title: Ideal Independence, Free Sequences, and the Ultrafilter Number

abstract:
  We make use of a forcing technique for extending Boolean algebras. The same
type of forcing was employed in [BK81], [Kos99], and elsewhere. Using and
modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, A such
that f(A) = smm(A) < u(A), answering questions raised by [Mon08] and [Mon11].


title:
Orthosymplectic Lie superalgebras, Koszul duality, and a complete
  intersection analogue of the Eagon-Northcott complex

abstract:
  We study the ideal of maximal minors in Littlewood varieties, a class of
quadratic complete intersections in spaces of matrices. We give a geometric
construction for a large class of modules, including all powers of this ideal,
and show that they have a linear free resolution over the complete intersection
and that their Koszul dual is an infinite-dimensional irreducible
representation of the orthosymplectic Lie superalgebra. We calculate the
algebra of cohomology operators acting on this free resolution. We prove
analogous results for powers of the ideals of maximal minors in the variety of
length 2 complexes when it is a complete intersection, and show that their
Koszul dual is an infinite-dimensional irreducible representation of the
general linear Lie superalgebra.
  This generalizes work of Akin, J\'ozefiak, Pragacz, Weyman, and the author on
resolutions of determinantal ideals in polynomial rings to the setting of
complete intersections and provides a new connection between representations of
classical Lie superalgebras and commutative algebra. As a curious application,
we prove that the cohomology of a class of reducible homogeneous bundles on
symplectic and orthogonal Grassmannians and 2-step flag varieties can be
calculated by an analogue of the Borel-Weil-Bott theorem.


title:
A Stable Numerical Algorithm for the Brinkman Equations by Weak Galerkin
  Finite Element Methods

abstract:
  This paper presents a stable numerical algorithm for the Brinkman equations
by using weak Galerkin (WG) finite element methods. The Brinkman equations can
be viewed mathematically as a combination of the Stokes and Darcy equations
which model fluid flow in a multi-physics environment, such as flow in complex
porous media with a permeability coefficient highly varying in the simulation
domain. In such applications, the flow is dominated by Darcy in some regions
and by Stokes in others. It is well known that the usual Stokes stable elements
do not work well for Darcy flow and vise versa. The challenge of this study is
on the design of numerical schemes which are stable for both the Stokes and the
Darcy equations. This paper shows that the WG finite element method is capable
of meeting this challenge by providing a numerical scheme that is stable and
accurate for both Darcy and the Stokes dominated flows. Error estimates of
optimal order are established for the corresponding WG finite element
solutions. The paper also presents some numerical experiments that demonstrate
the robustness, reliability, flexibility and accuracy of the WG method for the
Brinkman equations.


title:
MoS2/MX2 heterobilayers: Bandgap engineering via tensile strain or
  external electrical field

abstract:
  We have performed a comprehensive first-principles study of the electronic
and magnetic properties of two-dimensional (2D) transition-metal dichalcogenide
(TMD) heterobilayers MX2/MoS2 (M = Mo, Cr, W, Fe, V; X = S, Se). For M = Mo,
Cr, W; X=S, Se, all heterobilayers show semiconducting characteristics with an
indirect bandgap with the exception of the WSe2/MoS2 heterobilayer which
retains the direct-band-gap character of the constituent monolayer. For M = Fe,
V; X = S, Se, the MX2/MoS2 heterobilayers exhibit metallic characters.
Particular attention of this study has been focused on engineering bandgap of
the TMD heterobilayer materials via application of either a tensile strain or
an external electric field. We find that with increasing either the biaxial or
uniaxial tensile strain, the MX2/MoS2 (M=Mo, Cr, W; X=S, Se) heterobilayers can
undergo a semiconductor-to-metal transition. For the WSe2/MoS2 heterobilayer, a
direct-to-indirect bandgap transition may occur beyond a critical biaxial or
uniaxial strain. For M (=Fe, V) and X (=S, Se), the magnetic moments of both
metal and chalcogen atoms are enhanced when the MX2/MoS2 heterobilayers are
under a biaxial tensile strain. Moreover, the bandgap of MX2/MoS2 (M=Mo, Cr, W;
X=S, Se) heterobilayers can be reduced by the electric field. For two
heterobilayers MSe2/MoS2 (M=Mo, Cr), PBE calculations suggest that the
indirect-to-direct bandgap transition may occur under an external electric
field. The transition is attributed to the enhanced spontaneous polarization.
The tunable bandgaps in general and possible indirect-direct bandgap
transitions due to tensile strain or external electric field endow the TMD
heterobilayer materials a viable candidate for optoelectronic applications.


title: Electricity generation using molten salt technology

abstract:
  The anodic release of carbon dioxide gas in the molten salt Hall-Heroult
process can be used to power a turbine for electricity generation. The
application of this new concept in molten salt reprocessing in the nuclear
industry is considered because it could facilitate the suitability of carbon
dioxide cycles to certain types of nuclear reactor. The theoretical power of
27.8 MW generated by a molten salt Hall-Heroult reactor is comparable with a
next-generation biomass plant that sources low-grade wood fuel to generate
renewable heat and power using CHP steam turbine technology.


title: Tridiagonal substitution Hamiltonians

abstract:
  We consider a family of discrete Jacobi operators on the one-dimensional
integer lattice with Laplacian and potential terms modulated by a primitive
invertible two-letter substitution. We investigate the spectrum and the
spectral type, the fractal structure and fractal dimensions of the spectrum,
exact dimensionality of the integrated density of states, and the gap
structure. We present a review of previous results, some applications, and open
problems. Our investigation is based largely on the dynamics of trace maps.
This work is an extension of similar results on Schroedinger operators,
although some of the results that we obtain differ qualitatively and
quantitatively from those for the Schoedinger operators. The nontrivialities of
this extension lie in the dynamics of the associated trace map as one attempts
to extend the trace map formalism from the Schroedinger cocycle to the Jacobi
one. In fact, the Jacobi operators considered here are, in a sense, a test
item, as many other models can be attacked via the same techniques, and we
present an extensive discussion on this.


title:
$^{110,116}$Cd($\alpha,\alpha$)$^{110,116}$Cd elastic scattering and
  systematic investigation of elastic $\alpha$ scattering cross sections along
  the $Z$ = 48 isotopic and $N$ = 62 isotonic chains

abstract:
  The elastic scattering cross sections for the reactions
$^{110,116}$Cd($\alpha,\alpha$)$^{110,116}$Cd at energies above and below the
Coulomb barrier are presented to provide a sensitive test for the alpha-nucleus
optical potential parameter sets. Additional constraints for the optical
potential are taken from the analysis of elastic scattering excitation
functions at backward angles which are available in literature. Moreover, the
variation of the elastic alpha scattering cross sections along the $Z = 48$
isotopic and $N = 62$ isotonic chain is investigated by the study of the ratios
of the of $^{106,110,116}$Cd($\alpha,\alpha$)$^{106,110,116}$Cd scattering
cross sections at E$_{c.m.} \approx$ 15.6 and 18.8 MeV and the ratio of the
$^{110}$Cd($\alpha,\alpha$)$^{110}$Cd and $^{112}$Sn($\alpha,\alpha$)$^{112}$Sn
reaction cross sections at E$_{c.m.} \approx$ 18.8 MeV, respectively. These
ratios are sensitive probes for the alpha-nucleus optical potential
parameterizations. The potentials under study are a basic prerequisite for the
prediction of $\alpha$-induced reaction cross sections, e.g.\ for the
calculation of stellar reaction rates in the astrophysical $p$- or
$\gamma$-process.


title:
Electric hyperscaling violating solutions in Einstein-Maxwell-dilaton
  gravity with R^2 corrections

abstract:
  In the context of holography applied to condensed matter physics, we study
Einstein-Maxwell-dilaton theory with curvature squared corrections. This theory
has three couplings eta_i for the three R^2 invariants and two theory
functions: a dilaton potential V(phi) and a dilaton-dependent gauge coupling
f(phi). We find hyperscaling violating solutions of this theory, parametrized
by dynamical critical exponent z and HSV parameter theta. We obtain
restrictions on the form of the theory functions required to support HSV-type
solutions using three physical inputs: the null energy condition, causality z
$\leq$ 1, and d_eff = d - theta lying in the range 0 < d_eff $\leq$ d. The NEC
constraints are linear in the eta_i and (quartic) polynomial in d,z,theta. The
allowed ranges of z,theta change depending on the signs of eta_i. For the case
of Einstein-Weyl gravity, we further narrow down the theory functions and
solution parameters required for crossover solutions interpolating between HSV,
AdS_d+2 near the boundary, and AdS_2 x R^d in the deep interior.


title: On complex points of codimension 2 submanifolds

abstract:
  In this paper we study the structure of complex points of codimension 2 real
submanifolds in complex $n$ dimensional manifolds. We show that the local
structure of a complex point up to isotopy only depends on their type (either
elliptic or hyperbolic). We also show that any such submanifold can be smoothly
isotoped into a submanifold that has 2-strictly pseudoconvex neighborhood
basis.


title: Protons in High Density Neutron Matter

abstract:
  We discuss the possible implication of the recent predictions of two new
properties of high momentum distribution of nucleons in asymmetric nuclei for
neutron star dynamics. The first property is about the approximate scaling
relation between proton and neutron high momentum distributions weighted by
their relative fractions ($x_p$ and $x_n$) in the nucleus. The second is the
existence of inverse proportionality of the high momentum distribution strength
of protons and neutrons to $x_{p/n}$. Based on these predictions we model the
high momentum distribution functions for asymmetric nuclei and demonstrate that
it describes reasonably well the high momentum characteristics of light nuclei.
We also extrapolate our results to heavy nuclei as well as infinite nuclear
matter and calculate the relative fractions of protons and neutrons with
momenta above $k_{F}$. Our results indicate that for neutron stars starting at
{\em three} nuclear saturation densities the protons with $x_p = {1\over 9}$
will populate mostly the high momentum tail of the momentum distribution while
only $2\%$ of the neutrons will do so. Such a situation may have many
implications for different observations of neutron stars which we discuss.


title: AGN X-ray variability in the XMM-COSMOS survey

abstract:
  We took advantage of the observations carried out by XMM in the COSMOS field
during 3.5 years, to study the long term variability of a large sample of AGN
(638 sources), in a wide range of redshift (0.1<z<3.5) and X-ray luminosity
($10^{41}<$L(2-10)$<10^{45.5}$). Both a simple statistical method to asses the
significance of variability, and the Normalized Excess Variance
($\sigma^{2}_{rms}$) parameter, where used to obtain a quantitative measurement
of the variability. Variability is found to be prevalent in most AGN, whenever
we have good statistic to measure it, and no significant differences between
type-1 and type-2 AGN were found. A flat (slope -0.23+/-0.03) anti-correlation
between $\sigma^{2}_{rms}$ and X-ray luminosity is found, when significantly
variable sources are considered all together. When divided in three redshift
bins, the anti-correlation becomes stronger and evolving with z, with higher
redshift AGN being more variable. We prove however that this effect is due to
the pre-selection of variable sources: considering all the sources with
available $\sigma^{2}_{rms}$ measurement, the evolution in redshift disappears.
For the first time we were also able to study the long term X-ray variability
as a function of $M_{\rm BH}$ and Eddington ratio, for a large sample of AGN
spanning a wide range of redshift. An anti-correlation between
$\sigma^{2}_{rms}$ and $M_{\rm BH}$ is found, with the same slope of the
anti-correlation between $\sigma^{2}_{rms}$ and X-ray luminosity, suggesting
that the latter can be a byproduct of the former one. No clear correlation is
found between $\sigma^{2}_{rms}$ and the Eddington ratio in our sample.
Finally, no correlation is found between the X-ray $\sigma^{2}_{rms}$ and the
optical variability.


title: Nondegeneracy of the Ground State for Nonrelativistic Lee Model

abstract:
  In the present work, we first briefly sketch construction of the
nonrelativistic Lee model on Riemannian manifolds, introduced in our previous
works. In this approach, the renormalized resolvent of the system is expressed
in terms of a well-defined operator, called the principal operator, so as to
obtain a finite formulation. Then, we show that the ground state of the
nonrelativistic Lee model on a compact Riemannian manifolds is nondegenerate
using the explicit expression of the principal operator that we obtained. This
is achieved by combining heat kernel methods with positivity improving
semi-group approach and then applying these tools directly to the principal
operator, rather than the Hamiltonian, without using cut-offs.


title: The deal.II Library, Version 8.1

abstract:
  This paper provides an overview of the new features of the finite element
library deal.II version 8.1.


title:
IRCI Free Range Reconstruction for SAR Imaging with Arbitrary Length
  OFDM Pulse

abstract:
  Our previously proposed OFDM with sufficient cyclic prefix (CP) synthetic
aperture radar (SAR) imaging algorithm is inter-range-cell interference (IRCI)
free and achieves ideally zero range sidelobes for range reconstruction. In
this OFDM SAR imaging algorithm, the minimum required CP length is almost equal
to the number of range cells in a swath, while the number of subcarriers of an
OFDM signal needs to be more than the CP length. This makes the length of a
transmitted OFDM sequence at least almost twice of the number of range cells in
a swath and for a wide swath imaging, the transmitted OFDM pulse length becomes
long, which may cause problems in some radar applications. In this paper, we
propose a CP based OFDM SAR imaging with arbitrary pulse length, which has IRCI
free range reconstruction and its pulse length is independent of a swath width.
We then present a novel design method for our proposed arbitrary length OFDM
pulses. Simulation results are presented to illustrate the performances of the
OFDM pulse design and the arbitrary pulse length CP based OFDM SAR imaging.


title: Finite automata with advice tapes

abstract:
  We define a model of advised computation by finite automata where the advice
is provided on a separate tape. We consider several variants of the model where
the advice is deterministic or randomized, the input tape head is allowed
real-time, one-way, or two-way access, and the automaton is classical or
quantum. We prove several separation results among these variants, demonstrate
an infinite hierarchy of language classes recognized by automata with
increasing advice lengths, and establish the relationships between this and the
previously studied ways of providing advice to finite automata.


title:
On the exit probability of the one dimensional q-voter model. Analytical
  results and simulations for large networks

abstract:
  We discuss the exit probability of the one dimensional $q$-voter model and
present tools to obtain estimates about this probability both through
simulations in large networks (around $10^7$ sites) and analyticaly in the
limit where the network is infinetely large. We argue that the result $E(\rho)
= \frac{\rho^q}{\rho^q + (1-\rho)^q}$, that was found in 3 previous works (2008
EPL 82 18006 and 2008 EPL 82 18007, for the case $q=2$ and 2011 PRE 84 031117,
for $q>2$) using small networks (around $10^3$ sites), is a good approximation,
but there are noticeable deviations for larger system sizes. We also show that,
under some simple and intuitive hypothesis, the exit probability must obey the
inequality, $\frac{\rho^q}{\rho^q + (1-\rho)} \leq E(\rho) \leq
\frac{\rho}{\rho + (1-\rho)^q}$, in the infinite size limit. We believe this
settles in the negative the suggestion made (2011 EPL 95 48005) that this
result would be a finite size effect, with the exit probability actualy being a
step function. We also show how the result, that the exit probability cannot be
a step function, can be reconciled with the Galam unified frame, which was also
a source of controversy.


title: Methods for Calculating the Pressure Field in the Tube Flow

abstract:
  In this paper we outline methods for calculating the pressure field inside
flow conduits in the one-dimensional flow models where the pressure is
dependent on the axial coordinate only. The investigation is general with
regard to the tube mechanical properties (rigid or distensible), and with
regard to the cross sectional variation along the tube length (constant or
variable). The investigation is also general with respect to the fluid rheology
as being Newtonian or non-Newtonian.


title:
Probing semiconductor quantum dot state and manipulation with
  superconducting transmission line resonator

abstract:
  A coupled system of a superconducting transmission line resonator with a
semiconductor double quantum dot is analyzed. We simulate the phase shift of
the microwave signal in the resonator, which is sensitive to the quantum dot
qubit state and manipulation. The measurement quality is sufficiently high and
the results demonstrate a solid-state quantum processor based on this type of
circuit can be envisioned.


title:
On the kinematic separation of field and cluster stars across the Bulge
  globular NGC 6528

abstract:
  We present deep and precise multi-band photometry of the Galactic Bulge
globular cluster NGC6528. The current dataset includes optical and
near-infrared images collected with ACS/WFC, WFC3/UVIS, and WFC3/IR on board
the Hubble Space Telescope. The images cover a time interval of almost ten
years and we have been able to carry out a proper-motion separation between
cluster and field stars. We performed a detailed comparison in the m_F814W,
m_F606W - m_F814W Color-Magnitude Diagram with two empirical calibrators
observed in the same bands. We found that NGC6528 is coeval with and more
metal-rich than 47Tuc. Moreover, it appears older and more metal-poor than the
super-metal-rich open cluster NGC6791. The current evidence is supported by
several diagnostics (red horizontal branch, red giant branch bump, shape of the
sub-giant branch, slope of the main sequence) that are minimally affected by
uncertainties in reddening and distance. We fit the optical observations with
theoretical isochrones based on a scaled-solar chemical mixture and found an
age of 11 +- 1 Gyr and an iron abundance slightly above solar ([Fe/H = +0.20).
The iron abundance and the old cluster age further support the recent
spectroscopic findings suggesting a rapid chemical enrichment of the Galactic
Bulge.


title: Elimination of generalised imaginaries and Galois cohomology

abstract:
  The objective of this article is to characterise elimination of finite
generalised imaginaries (as defined by Hrushovski) in terms of group
cohomology. As an application, I consider series of Zariski geometries
constructed by Hrushovski and Zilber, and indicate how their non-definability
in algebraically closed fields and other theories is connected to eliminability
of certain generalised imaginaries.


title: Nonperturbative Quantum Field Evolution

abstract:
  We introduce a nonperturbative, first-principles approach to time-dependent
problems in quantum field theory. In this approach, the time-evolution of
quantum field configurations is calculated in real time and at the amplitude
level. This method is particularly suitable for treating systems interacting
with a time-dependent background field. As a test problem, we apply this
approach to QED and study electron acceleration and the associated photon
emission in a time- and space-dependent electromagnetic background field.


title:
Theoretical prediction of the importance of the 3B2 state in the
  dynamics of sulfur dioxide

abstract:
  While, the sulfur dioxide molecule has been extensively studied over the last
decades, its photoexcitation dynamics is still unclear, due to its complexity,
combining conical intersections and spin-orbit coupling between a manifold of
states. We present for the first time a comprehensive ab initio study of the
intersystem crossing of the molecule in the low energy domain, based on a
wave-packet propagation on the manifold of the lowest singlet and triplet
states. Furthermore, spin-orbit couplings are evaluated on a geometry-dependent
grid, and diabatized along with the different conical intersections. Our
results show for the first time the primordial role of the triplet $^3$B$_2$
state which has not been discussed before, giving new insights into the
dynamics of the intersystem crossing in $SO_2$.


title:
Charge doping induced phase transitions in hydrogenated and fluorinated
  graphene

abstract:
  We show that charge doping can induce transitions between three distinct
adsorbate phases in hydrogenated and fluorinated graphene. By combining ab
initio, approximate density functional theory and tight binding calculations we
identify a transition from islands of C$_8$H$_2$ and C$_8$F$_2$ to random
adsorbate distributions around a doping level of $\pm 0.05$ e/C-atom.
Furthermore, in situations with random adsorbate coverage, charge doping is
shown to trigger an ordering transition where the sublattice symmetry is
spontaneously broken when the doping level exceeds the adsorbate concentration.
Rehybridization and lattice distortion energies make graphene which is
covalently functionalized from one side only most susceptible to these two
kinds of phase transitions. The energy gains associated with the clustering and
ordering transitions exceed room temperature thermal energies.


title:
Strong limit of the extreme eigenvalues of a symmetrized auto-cross
  covariance matrix

abstract:
  The auto-cross covariance matrix is defined as \[\mathbf{M}_n=\frac{1}
{2T}\sum_{j=1}^T\bigl(\mathbf{e}_j\mathbf{e}_{j+\tau}^*+\mathbf{e}_{j+
\tau}\mathbf{e}_j^*\bigr),\] where $\mathbf{e}_j$'s are $n$-dimensional vectors
of independent standard complex components with a common mean 0, variance
$\sigma^2$, and uniformly bounded $2+\eta$th moments and $\tau$ is the lag. Jin
et al. [Ann. Appl. Probab. 24 (2014) 1199-1225] has proved that the LSD of
$\mathbf{M}_n$ exists uniquely and nonrandomly, and independent of $\tau$ for
all $\tau\ge 1$. And in addition they gave an analytic expression of the LSD.
As a continuation of Jin et al. [Ann. Appl. Probab. 24 (2014) 1199-1225], this
paper proved that under the condition of uniformly bounded fourth moments, in
any closed interval outside the support of the LSD, with probability 1 there
will be no eigenvalues of $\mathbf{M}_n$ for all large $n$. As a consequence of
the main theorem, the limits of the largest and smallest eigenvalue of
$\mathbf{M}_n$ are also obtained.