title: Project X: Broader Impacts

abstract:
  Part-3 of "Project X: Accelerator Reference Design, Physics Opportunities,
Broader Impacts". The proposed Project X proton accelerator at Fermilab, with
multi-MW beam power and highly versatile beam formatting, will be a unique
world-class facility to explore particle physics at the intensity frontier.
Concurrently, however, it can also facilitate important scientific research
beyond traditional particle physics and provide unprecedented opportunities in
applications to problems of great national importance in the nuclear energy and
security sector. Part 1 is available as arXiv:1306.5022 [physics.acc-ph] and
Part 2 is available as arXiv:1306.5009 [hep-ex].


title: The dynamics of generic Kuperberg flows

abstract:
  In this work, we study the dynamical properties of Krystyna Kuperberg's
aperiodic flows on $3$-manifolds. We introduce the notion of a ``zippered
lamination'', and with suitable generic hypotheses, show that the unique
minimal set for such a flow is an invariant zippered lamination. We obtain a
precise description of the topology and dynamical properties of the minimal
set, including the presence of non-zero entropy-type invariants and chaotic
behavior. Moreover, we show that the minimal set does not have stable shape,
yet satisfies the Mittag-Leffler condition for homology groups.


title: Regular independent sets

abstract:
  The regular independence number, introduced by Albertson and Boutin in 1990,
is the size of a largest set of independent vertices with the same degree.
Lower bounds were proven for this invariant, in terms of the order, for trees
and planar graphs. In this article, we generalize and extend these results to
find lower bounds for the regular $k$-independence number for trees, forests,
planar graphs, $k$-trees and $k$-degenerate graphs.


title: Specific Heat and Upper Critical Field of Sc5Ir4Si10 Superconductor

abstract:
  Temperature and magnetic field dependent specific heat of textured Sc5Ir4Si10
superconductor was investigated in detail. Based on the fitting of zero-field
electronic specific heat by different gap structures as well as the discussion
on field-induced specific heat coefficient, Sc5Ir4Si10 is proved to be an
anisotropic s-wave superconductor with a gap anisotropy of 0.53. The anisotropy
of upper critical field suggests the weakly one-dimensional Fermi surface, and
the value is consistent with the gap anisotropy result obtained from the
specific heat data.


title:
Inviscid damping and the asymptotic stability of planar shear flows in
  the 2D Euler equations

abstract:
  We prove asymptotic stability of shear flows close to the planar Couette flow
in the 2D inviscid Euler equations on $\Torus \times \Real$. That is, given an
initial perturbation of the Couette flow small in a suitable regularity class,
specifically Gevrey space of class smaller than 2, the velocity converges
strongly in L^2 to a shear flow which is also close to the Couette flow. The
vorticity is asymptotically driven to small scales by a linear evolution and
weakly converges as $t \rightarrow \pm\infty$. The strong convergence of the
velocity field is sometimes referred to as inviscid damping, due to the
relationship with Landau damping in the Vlasov equations. This convergence was
formally derived at the linear level by Kelvin in 1887 and it occurs at an
algebraic rate first computed by Orr in 1907; our work appears to be the first
rigorous confirmation of this behavior on the nonlinear level.


title: Optimal Color Range Reporting in One Dimension

abstract:
  Color (or categorical) range reporting is a variant of the orthogonal range
reporting problem in which every point in the input is assigned a \emph{color}.
While the answer to an orthogonal point reporting query contains all points in
the query range $Q$, the answer to a color reporting query contains only
distinct colors of points in $Q$. In this paper we describe an O(N)-space data
structure that answers one-dimensional color reporting queries in optimal
$O(k+1)$ time, where $k$ is the number of colors in the answer and $N$ is the
number of points in the data structure. Our result can be also dynamized and
extended to the external memory model.


title: Quaternifiations and extensions of current algebras on S^3

abstract:
  Let $H$ be the quaternion algebra. Let $g$ be a complex Lie algebra and let
$U(g)$ be the enveloping algebra of $g$. We define a Lie algebra structure on
the tensor product space of $H$ and $U(g)$, and obtain the quaternification
$g^H$ of $g$. Let $S^3g^H$ be the set of $g^H$-valued smooth mappings over
$S^3$. The Lie algebra structure on $S^3g^H$ is induced naturally from that of
$g^H$. On $S^3$ exists the space of Laurent polynomial spinors spanned by a
complete orthogonal system of eigen spinors of the tangential Dirac operator on
$S^3$. Tensoring $U(g)$ we have the space of $U(g)$-valued Laurent polynomial
spinors, which is a Lie subalgebra of $S^3g^H$. We introduce a 2-cocycle on the
space of $U(g)$-valued Laurent polynomial spinors by the aid of a tangential
vector field on $S^3$. Then we have the corresponding central extension $\hat
g(a)$ of the Lie algebra of $U(g)$-valued Laurent polynomial spinors. Finally
we have the a Lie algebra $\hat g=\hat g(a)+Cd$ which is obtained by adding to
$\hat g(a)$ a derivation $d$ which acts on $\hat g(a)$ as the radial
derivation. When $g$ is a simple Lie algebra with its Cartan subalgebra $h$, We
shall investigate the weight space decomposition of $(\hat g, ad(\hat h))$,
where $\hat h=h+Ca+Cd$ . The previous versions (v1-v7) of this article
contained several incorrect assertions and here we have corrected them.


title: C_2-cofiniteness of cyclic-orbifold models

abstract:
  We prove an orbifold conjecture for a solvable automorphism group. Namely, we
show that if V is a C_2-cofinite simple vertex operator algebra and G is a
finite solvable automorphism group of V, then the fixed point vertex operator
subalgebra V^G is also C_2-cofinite. This offers a mathematically rigorous
background to orbifold theories of finite type with solvable automorphism
groups.


title: \psi^\prime Production and B Decay in Heavy Ion Collisions at LHC

abstract:
  In comparison with J/\psi, the excited charmonium state \psi^\prime is
loosely bounded and its yield is dominantly from the B-hadron decay. Based on
the transport approach, we study the double ratio of N(\psi^\prime)/N(J/\psi)
from A+A collisions to that from p+p collisions at LHC energy. We found that
the primordial production in the initial stage and the regeneration in the hot
medium are not significant for \psi^\prime production in heavy ion collisions
at LHC and the double ratio in semi-central and central collisions is
controlled by the B decay.


title:
Probing active/passive bands by quasiparticle interference in
  Sr$_{2}$RuO$_{4}$

abstract:
  The quasiparticle interference (QPI) in Sr$_{2}$RuO$_{4}$ is theoretically
studied based on two different pairing models in order to propose an
experimental method to test them. For a recently proposed two-dimensional model
with pairing primarily from the $\gamma$ band, we found clear QPI peaks
evolving with energy and their locations can be determined from the tips of the
constant-energy contour (CEC). On the other hand, for a former
quasi-one-dimensional model with pairing on the $\alpha$ and $\beta$ bands, the
QPI spectra are almost dispersionless and may involve off-shell contributions
to the scatterings beyond the CEC. The different behaviors of the QPI in these
two models may help to resolve the controversy of active/passive bands and
whether Sr$_{2}$RuO$_{4}$ is a topological superconductor.


title: Interacting length scales in the reactive-infiltration instability

abstract:
  The reactive-infiltration instability, which develops when a porous matrix is
dissolved by a flowing fluid, contains two important length scales. Here we
outline a linear stability analysis that simultaneously incorporates both
scales. We show that the commonly used "thin-front" model is a limiting case of
a more general theory, which also includes convection-dominated dissolution as
another special case. The wavelength of the instability is bounded from below,
and lies in the range 1mm to 1km for physically reasonable flow rates and
reaction rates. We obtain a closed form for the growth rate when the change in
porosity is small.


title: A non-linear rod model for folded elastic strips

abstract:
  We consider the equilibrium shapes of a thin, annular strip cut out in an
elastic sheet. When a central fold is formed by creasing beyond the elastic
limit, the strip has been observed to buckle out-of-plane. Starting from the
theory of elastic plates, we derive a Kirchhoff rod model for the folded strip.
A non-linear effective constitutive law incorporating the underlying
geometrical constraints is derived, in which the angle the ridge appears as an
internal degree of freedom. By contrast with traditional thin- walled beam
models, this constitutive law captures large, non-rigid deformations of the
cross-sections, including finite variations of the dihedral angle at the ridge.
Using this effective rod theory, we identify a buckling instability that
produces the out-of-plane configurations of the folded strip, and show that the
strip behaves as an elastic ring having one frozen mode of curvature. In
addition, we point out two novel buckling patterns: one where the centerline
remains planar and the ridge angle is modulated; another one where the bending
deformation is localized. These patterns are observed experimentally, explained
based on stability analyses, and reproduced in simulations of the post-buckled
configurations.


title:
Inertia groups of a toric DM stack, fake weighted projective spaces, and
  labelled sheared simplices

abstract:
  This paper determines the inertia groups (isotropy groups) of the points of a
toric Deligne-Mumford stack [Z/G] (considered over the category of smooth
manifolds) that is realized from a quotient construction using a stacky fan or
stacky polytope. The computation provides an explicit correspondence between
certain geometric and combinatorial data. In particular, we obtain a
computation of the connected component of the identity element $G_0 \subset G$
and the component group $G/G_0$ in terms of the underlying stacky fan, enabling
us to characterize the toric DM stacks which are global quotients. As another
application, we obtain a characterization of those stacky polytopes that yield
stacks equivalent to weighted projective stacks and, more generally, to `fake'
weighted projective stacks. Finally, we illustrate our results in detail in the
special case of labelled sheared simplices, where explicit computations can be
made in terms of the facet labels.


title: Structure of nonstationary Gabor frames and their dual systems

abstract:
  We investigate the structural properties of dual systems for nonstationary
Gabor frames. In particular, we prove that some inverse nonstationary Gabor
frame operators admit a Walnut-like representation, i.e. the operator acting on
a function can be described by weighted translates of that function, even when
the original frame operator is not diagonal. In this case, which only occurs
when compactly supported window functions are used, the canonical dual frame
partially inherits the structure of the original frame, with differences that
we describe in detail. Moreover, we determine a sufficient condition for a pair
of nonstationary Gabor frames to form dual frames. The equivalence of this
condition to the duality of the involved systems is shown under some weak
restrictions. It is then applied in a simple setup, to prove the existence of
dual pairs of nonstationary Gabor systems with non-diagonal frame operator.
  A discussion of the results, restricted to the classical case of regular
Gabor systems, precedes the statement of the general results. Here, we also
explore a connection to recent work of Christensen, Kim and Kim on Gabor frames
with compactly supported window function.


title: A chargeless complex vector matter field in supersymmetric scenario

abstract:
  In this paper we construct and study a formulation of a chargeless complex
vector matter field in a supersymmetric framework. To this aim we combine two
no-chiral scalar superfields in order to take the vector component field to
build the chargeless complex vector superpartner where the respective field
strength transforms as matter fields by a global $U(1)$ gauge symmetry. To the
aim to deal with consistent terms without breaking the global $U(1)$ symmetry
it imposes a choice to the complex combination revealing a kind of symmetry
between the choices and eliminate the extra degrees of freedom consistently
with the supersymmetry. As the usual case the mass supersymmetric sector
contributes as a complement to dynamics of the model. We obtain the equations
of motion of the Proca's type field, for the chiral spinor fields and for the
scalar field on the mass-shell which show the same mass as expected. This work
establishes the firsts steps to extend the analysis of charged massive vector
field in a supersymmetric scenario.


title: On Quantum Algorithm for Binary Search and Its Computational Complexity

abstract:
  A new quantum algorithm for a search problem and its computational complexity
are discussed. It is shown in the search problem containing 2^n objects that
our algorithm runs in polynomial time.


title: Radio-transparent multi-layer insulation for radiowave receivers

abstract:
  In the field of radiowave detection, enlarging the receiver aperture to
enhance the amount of light detected is essential for greater scientific
achievements. One challenge in using radio transmittable apertures is keeping
the detectors cool. This is because transparency to thermal radiation above the
radio frequency range increases the thermal load. A technology that maintains
cold conditions while allowing larger apertures has been long-awaited. We
propose radio-transparent multi-layer insulation (RT-MLI), composed from a set
of stacked insulating layers. The insulator is transparent to radio
frequencies, but not transparent to infrared radiation. The basic idea for
cooling is similar to conventional multi-layer insulation. It leads to a
reduction in thermal radiation while maintaining a uniform surface temperature.
The advantage of this technique over other filter types is that no thermal
links are required. As insulator material, we used foamed polystyrene; its low
index of refraction makes an anti-reflection coating unnecessary. We measured
the basic performance of RT-MLI to confirm that thermal loads are lowered with
more layers. We also confirmed that our RT-MLI has high transmittance to
radiowaves, but blocks infrared radiation. For example, RT-MLI with 12 layers
has a transmittance greater than 95% (lower than 1%) below 200 GHz (above 4
THz). We demonstrated its effects in a system with absorptive-type filters,
where aperture diameters were 200 mm. Low temperatures were successfully
maintained for the filters. We conclude that this technology significantly
enhances the cooling of radiowave receivers, and is particularly suitable for
large-aperture systems. This technology is expected to be applicable to various
fields, including radio astronomy, geo-environmental assessment, and radar
systems.


title: (Total) Vector Domination for Graphs with Bounded Branchwidth

abstract:
  Given a graph $G=(V,E)$ of order $n$ and an $n$-dimensional non-negative
vector $d=(d(1),d(2),\ldots,d(n))$, called demand vector, the vector domination
(resp., total vector domination) is the problem of finding a minimum
$S\subseteq V$ such that every vertex $v$ in $V\setminus S$ (resp., in $V$) has
at least $d(v)$ neighbors in $S$. The (total) vector domination is a
generalization of many dominating set type problems, e.g., the dominating set
problem, the $k$-tuple dominating set problem (this $k$ is different from the
solution size), and so on, and its approximability and inapproximability have
been studied under this general framework. In this paper, we show that a
(total) vector domination of graphs with bounded branchwidth can be solved in
polynomial time. This implies that the problem is polynomially solvable also
for graphs with bounded treewidth. Consequently, the (total) vector domination
problem for a planar graph is subexponential fixed-parameter tractable with
respectto $k$, where $k$ is the size of solution.


title: Identifying Influential Spreaders by Weighted LeaderRank

abstract:
  Identifying influential spreaders is crucial for understanding and
controlling spreading processes on social networks. Via assigning
degree-dependent weights onto links associated with the ground node, we
proposed a variant to a recent ranking algorithm named LeaderRank [L. Lv et
al., PLoS ONE 6 (2011) e21202]. According to the simulations on the standard
SIR model, the weighted LeaderRank performs better than LeaderRank in three
aspects: (i) the ability to find out more influential spreaders, (ii) the
higher tolerance to noisy data, and (iii) the higher robustness to intentional
attacks.


title:
Prediction of A2 to B2 Phase Transition in the High Entropy Alloy
  MoNbTaW

abstract:
  In this paper we show that an effective Hamiltonian fit with first principles
calculations predicts an order/disorder transition occurs in the high entropy
alloy MoNbTaW. Using the Alloy Theoretic Automated Toolset, we find T=0K
enthalpies of formation for all binaries containing Mo, Nb, Ta, and W, and in
particular we find the stable structures for binaries at equiatomic
concentrations are close in energy to the associated B2 structure, suggesting
that at intermediate temperatures a B2 phase is stabilized in MoNbTaW. Our
previously published hybrid Monte Carlo/molecular dynamics results for the
MoNbTaW system are analyzed to identify certain preferred chemical bonding
types. A mean field free energy model incorporating nearest neighbor bonds is
derived, allowing us to predict the mechanism of the order/disorder transition.
We find the temperature evolution of the system is driven by strong Mo-Ta
bonding. Comparison of the free energy model and our hybrid Monte
Carlo/molecular dynamics results suggest the existence of additional
low-temperature phase transitions in the system likely ending with phase
segregation into binary phases.


title: Multi-Agent Consensus With Relative-State-Dependent Measurement Noises

abstract:
  In this note, the distributed consensus corrupted by relative-state-dependent
measurement noises is considered. Each agent can measure or receive its
neighbors' state information with random noises, whose intensity is a vector
function of agents' relative states. By investigating the structure of this
interaction and the tools of stochastic differential equations, we develop
several small consensus gain theorems to give sufficient conditions in terms of
the control gain, the number of agents and the noise intensity function to
ensure mean square (m. s.) and almost sure (a. s.) consensus and quantify the
convergence rate and the steady-state error. Especially, for the case with
homogeneous communication and control channels, a necessary and sufficient
condition to ensure m. s. consensus on the control gain is given and it is
shown that the control gain is independent of the specific network topology,
but only depends on the number of nodes and the noise coefficient constant. For
symmetric measurement models, the almost sure convergence rate is estimated by
the Iterated Logarithm Law of Brownian motions.


title: Quicksilver Solutions of a q-difference first Painlev\'e equation

abstract:
  In this paper, we present new, unstable solutions, which we call quicksilver
solutions, of a $q$-difference Painlev\'e equation in the limit as the
independent variable approaches infinity. The specific equation we consider in
this paper is a discrete version of the first Painlev\'e equation ($q\Pon$),
whose phase space (space of initial values) is a rational surface of type
$A_7^{(1)}$. We describe four families of almost stationary behaviours, but
focus on the most complicated case, which is the vanishing solution. We derive
this solution's formal power series expansion, describe the growth of its
coefficients and show that, while the series is divergent, there exist true
analytic solutions asymptotic to such a series in a certain $q$-domain. The
method, while demonstrated for $q\Pon$, is also applicable to other
$q$-difference Painlev\'e equations.


title: Classification of actions of discrete Kac algebras on injective factors

abstract:
  We will study two kinds of actions of a discrete amenable Kac algebra. The
first one is an action whose modular part is normal. We will construct a new
invariant which generalizes a characteristic invariant for a discrete group
action, and we will present a complete classification. The second is a
centrally free action. By constructing a Rohlin tower in an asymptotic
centralizer, we will show that the Connes-Takesaki module is a complete
invariant.


title: Kinetics of Phase Transitions in Quark Matter

abstract:
  We study the kinetics of chiral transitions in quark matter using a
phenomenological framework (Ginzburg-Landau model). We focus on the effect of
inertial terms on the coarsening dynamics subsequent to a quench from the
massless quark phase to the massive quark phase. The domain growth process
shows a crossover from a fast inertial regime [with $L(t) \sim t (\ln
t)^{1/2}$] to a diffusive Cahn-Allen regime [with $L(t)\sim t^{1/2}$].


title: Composite random search strategies based on non-directional sensory cues

abstract:
  Many foraging animals find food using composite random search strategies,
which consist of intensive and extensive search modes. Models of composite
search can generate predictions about how optimal foragers should behave in
each search mode, and how they should determine when to switch between search
modes. Most of these models assume that foragers use resource encounters to
decide when to switch between search modes. Empirical observations indicate
that a variety of organisms use non-directional sensory cues to identify areas
that warrant intensive search. These cues are not precise enough to allow a
forager to directly orient itself to a resource, but can be used as a criterion
to determine the appropriate search mode. As a potential example, a forager
might use olfactory information, which could help it determine if an area is
worth searching carefully. We developed a model of composite search based on
non-directional sensory cues. With simulations, we compared the search
efficiencies of composite foragers that use resource encounters as their
mode-switching criterion with those that use non-directional sensory cues. We
identified optimal search patterns and mode-switching criteria on a variety of
resource distributions, characterized by different levels of resource
aggregation and density. On all resource distributions, foraging strategies
based on the non-directional sensory criterion were more efficient than those
based on the resource encounter criterion. Strategies based on the
non-directional sensory criterion were also more robust to changes in resource
distribution. Our results suggest that current assumptions about the role of
resource encounters in models of optimal composite search should be
re-examined. The search strategies predicted by our model can help bridge the
gap between random search theory and traditional patch-use foraging theory.


title:
Electronic and Magnetic Properties of Zigzag Boron-Nitride Nanoribbons
  with Even and Odd-line Stone-Wales (5-7 pair) Defects

abstract:
  Spin-polarized first-principles calculations have been performed on zigzag
Boron-Nitride Nanoribbons (z-BNNRs) with lines of alternating fused pentagon
(P) and heptagon (H) rings (Pentagon-Heptagon-line-defect) at single edge as
well as at both edges. The number of line (n) of the Pentagon-Heptagon-defect
has been varied from 1 to 8 for 10-zBNNRs. Among the different
spin-configurations which we have studied, we find that, the spin-configuration
with ferromagnetic ordering at each edge and anti-ferromagnetic ordering across
the edges is quite interesting. For this spin-configuration, we find that, if
the introduced PH-line-defect is odd numbered, the systems behave as
spin-polarized semi-conductors, but, for even numbered, all the systems show
interesting anti-ferromagnetic half-metallic behavior. Robustness of these
results has been cross checked by the variation of the line-defect position and
also by the variation of the width [from ~ 1.1 nm (6-zBNNR) to ~ 3.3 nm
(16-zBNNR)] of the ribbon. Density of States (DOS), projected-DOS and
band-structure analysis have been accomplished to understand the reasons for
these differences between even and odd-line-defects. The main reason for many
of the observed changes was traced back to the change in edge nature of the
BNNR, which indeed dictates the properties of the systems.


title:
Computational Studies on Structural and Excited State Properties of
  Modified Chlorophyll f with Various Axial Ligands

abstract:
  Time Dependent Density Functional Theory (TDDFT) calculations have been used
to understand the excited state properties of "modified-chlorophyll" f
('Chlide' f), Chlide a, Chlide b and axial ligated (with Imidazole, H2O, CH3OH,
CH3COOH, C6H5OH) Chlide f molecules. The computed differences among the Qx, Qy,
Bx and By band absorbance wavelengths of Chlide a, b and f molecules are found
to be comparable with the experimentally observed shifts for these bands in
'chlorophyll' a ('chl' a), chl b and chl f molecules. Our computations provide
an evidence that the red shift in Qy band of chl f is due to the extended
delocaliztion of macrocycle chlorin ring due to the presence of -CHO group. The
local contribution from the -CHO substituent to the macrocycle chlorin ring
stabilizes the corresponding molecular orbitals (LUMO of the Chlide f and
LUMO-1 of the Chlide b). All the absorption bands of Chlide f shift to higher
wavelengths on the addition of axial ligands. Computed redox potentials show
that, among the axial ligated Chlide f molecules, Chlide f -Imidazole acts as a
good electron donor and Chlide f -CH3COOH acts as a good electron acceptor.


title:
Monte Carlo investigation into feasibility and dosimetry of flat
  Flattening Filter Free beams

abstract:
  Flattening filter free (FFF) beams due to their non-uniformity, are
sub-optimal for larger field sizes. The purpose of this study was to
investigate the incident electron beam distributions that would produce flat
FFF beams without the use of flattening filter. Monte Carlo (MC) simulations
with BEAMnrc and DOSXYZnrc codes have been performed to evaluate the
feasibility of this approach. The dose distributions in water for open 6MV
beams were simulated using Varian 21EX linac head model, which will be called
flattening filter (FF) model. Flattening filter has then been removed from FF
model, and MC simulations were performed using (1) 6 MeV electrons incident on
the target, (2) 6 MeV electron beam with electron angular distributions
optimized to provide as flat dose profiles as possible. Configuration (1)
represents FFF beam while configuration (2) allowed producing a flat FFF (F4)
beam. Optimizations have also been performed to produce flattest profiles for a
set of dose rates (DRs) in the range from 1.25 to 2.4 of the DR of FF beam.
Profiles and percentage depth doses PDDs from 6MV F4 beams have been calculated
and compared to those from FF beam. Calculated profiles demonstrated improved
flatness of the FFF beams. In fact, up to field sizes within the circle of 35
cm diameter the flatness of F4 beam at dmax was better or comparable to that of
FF beam. At 20 cm off-axis the dose increased from 52% for FFF to 92% for F4
beam. Also, profiles of F4 beams did not change considerably with depth, and
for large fields out-of-field dose was reduced by about a factor of two
compared to FF beam. PDDs from F4 beams were similar to those of FFF beam. The
DR for the largest modeled (44 cm diameter) F4 beam was higher than the DR from
FF beam by a factor of 1.25. It was shown that the DR can be increased while
maintaining beam flatness, but at the cost of reduced field size.


title: On the neutron-antineutron oscillations

abstract:
  This is a draft of my brief note on the early history of $n\bar{n}$
oscillations written for the Project X at the request of Chris Quigg in March
2013.


title: Breaking Symmetry with Different Orderings

abstract:
  We can break symmetry by eliminating solutions within each symmetry class.
For instance, the Lex-Leader method eliminates all but the smallest solution in
the lexicographical ordering. Unfortunately, the Lex-Leader method is
intractable in general. We prove that, under modest assumptions, we cannot
reduce the worst case complexity of breaking symmetry by using other orderings
on solutions. We also prove that a common type of symmetry, where rows and
columns in a matrix of decision variables are interchangeable, is intractable
to break when we use two promising alternatives to the lexicographical
ordering: the Gray code ordering (which uses a different ordering on
solutions), and the Snake-Lex ordering (which is a variant of the
lexicographical ordering that re-orders the variables). Nevertheless, we show
experimentally that using other orderings like the Gray code to break symmetry
can be beneficial in practice as they may better align with the objective
function and branching heuristic.


title: Geometry and Spectrum in 2D Magnetic Wells

abstract:
  This paper is devoted to the classical mechanics and spectral analysis of a
pure magnetic Hamiltonian in $\R^2$. It is established that both the dynamics
and the semiclassical spectral theory can be treated through a Birkhoff normal
form and reduced to the study of a family of one dimensional Hamiltonians. As a
corollary, recent results by Helffer-Kordyukov are extended to higher energies.


title:
The high hydrogen adsorption rate material based on graphane decorated
  with alkali metals

abstract:
  The graphane with chemically bonded alkali metals (Li, Na, K) was considered
as potential material for hydrogen storage. The ab initio calculations show
that such material can adsorb as many as 4 hydrogen molecules per Li, Na and K
metal atoms. These values correspond to 12.20 wt%, 10.33 wt% and 8.56 wt% of
hydrogen, respectively and exceed the DOE requirements. The thermodynamic
analysis shows that Li-graphane complex is the most promising for hydrogen
storage with ability to adsorb 3 hydrogen molecules per metal atom at 300 K and
pressure in the range from 5 to 250 atm.


title:
Class Proportion Estimation with Application to Multiclass Anomaly
  Rejection

abstract:
  This work addresses two classification problems that fall under the heading
of domain adaptation, wherein the distributions of training and testing
examples differ. The first problem studied is that of class proportion
estimation, which is the problem of estimating the class proportions in an
unlabeled testing data set given labeled examples of each class. Compared to
previous work on this problem, our approach has the novel feature that it does
not require labeled training data from one of the classes. This property allows
us to address the second domain adaptation problem, namely, multiclass anomaly
rejection. Here, the goal is to design a classifier that has the option of
assigning a "reject" label, indicating that the instance did not arise from a
class present in the training data. We establish consistent learning strategies
for both of these domain adaptation problems, which to our knowledge are the
first of their kind. We also implement the class proportion estimation
technique and demonstrate its performance on several benchmark data sets.


title: Black Hole Firewalls Require Huge Energy of Measurement

abstract:
  The unitary moving mirror model is one of the best quantum systems for
checking the reasoning of the original firewall paradox of AMPS in quantum
black holes. Though the late-time part of radiations emitted from the mirror is
fully entangled with the early-part, no firewall exists with a deadly, huge
average energy flux in this model. This is because high-energy entanglement
structure of the discretized systems in almost maximally entangled states is
modified so as to yield the correct description of low-energy effective field
theory. Furthermore, the strong subadditivity paradox of firewalls is resolved
using non-locality of general one-particle states and zero-point fluctuation
entanglement. Due to the Reeh-Schlieder theorem in quantum field theory,
another firewall paradox is inevitably raised with quantum remote measurements
in the model. We resolve this paradox from the viewpoint of the energy cost of
measurements. No firewall appears, as long as the energy for the measurement is
much smaller than the ultraviolet cutoff scale.


title:
Conservation of nuclear SSR loci reveals high affinity of Quercus
  infectoria ssp. veneris A. Kern (Fagaceae) to section Robur

abstract:
  Conservation of 16 nuclear microsatellite loci, originally developed for
Quercus macrocarpa (section Albae), Q. petraea, Q. robur (section Robur) and Q.
myrsinifolia, (subgenus Cyclobalanopsis) was tested in a Q. infectoria ssp.
veneris population from Cyprus. All loci could be amplified successfully and
displayed allele size and diversity patterns that match those of oak species
belonging to the section Robur. At least in one case, limited amplification and
high levels of homozygosity support the occurrence of 'null alleles', caused by
a possible mutation in the highly conserved primer areas, thus hindering PCR.
The sampled population exhibited high levels of diversity despite the very
limited distribution of this species in Cyprus and extended population
fragmentation. Allele sizes of Q. infectoria at locus QpZAG9 partially match
those of Q. alnifolia and Q. coccifera from neighboring populations. However,
sequencing showed homoplasy, excluding a case of interspecific introgression
with the latter, phylogenetically remote species. Q. infectoria ssp. veneris
sequences at this locus were concordant to those of other species of section
Robur, while sequences of Quercus alnifolia and Quercus coccifera were almost
identical to Q. cerris.


title: Critical Higher Order Gravities in Higher Dimensions

abstract:
  We show that the higher order gravity model proposed by Meissner and
Olechowski has a graviton mode, a massive spin-two excitation and no scalar
mode in a maximally symmetric spacetime; therefore, by choosing the
coefficients, we can construct a Lagrangian for `critical gravity' from higher
order terms of curvatures in higher dimensions. We also give a comment on
construction of the theory with multi-criticality in higher order gravities.


title:
A max-plus based fundamental solution for a class of discrete time
  linear regulator problems

abstract:
  Efficient Riccati equation based techniques for the approximate solution of
discrete time linear regulator problems are restricted in their application to
problems with quadratic terminal payoffs. Where non-quadratic terminal payoffs
are required, these techniques fail due to the attendant non-quadratic value
functions involved. In order to compute these non-quadratic value functions, it
is often necessary to appeal directly to dynamic programming in the form of
grid- or element-based iterations for the value function. These iterations
suffer from poor scalability with respect to problem dimension and time
horizon. In this paper, a new max-plus based method is developed for the
approximate solution of discrete time linear regulator problems with
non-quadratic payoffs. This new method is underpinned by the development of new
fundamental solutions to such linear regulator problems, via max-plus duality.
In comparison with a typical grid-based approach, a substantial reduction in
computational effort is observed in applying this new max-plus method. A number
of simple examples are presented that illustrate this and other observations.


title: Towards Tree Automata-based Success Types

abstract:
  Error detection facilities for dynamic languages are often based on unit
testing. Thus, the advantage of rapid prototyping and flexibility must be
weighed against cumbersome and time consuming test suite development. Lindahl
and Sagonas' success typings provide a means of static must-fail detection in
Erlang. Due to the constraint-based nature of the approach, some errors
involving nested tuples and recursion cannot be detected.
  We propose an approach that uses an extension of model checking for
pattern-matching recursion schemes with context-aware ranked tree automata to
provide improved success typings for a constructor-based first-order prototype
language.


title: Nanosecond laser treatment of graphene

abstract:
  Laser processing of graphene is of great interest for cutting, patterning and
structural engineering purposes. Tunable nanosecond lasers have the advantage
of being relatively widespread (compared to e.g. femtosecond or high-power
continuous wave lasers). Hereby we have conducted an investigation of the
impact of nanosecond laser pulses on CVD graphene. The damage produced by
sufficiently strong single shots (pulse width 5 ns, wavelength 532 or 266 nm)
from tunable optical parametric oscillator was investigated by the methods of
scanning electron microscopy and optical microspectroscopy (Raman and
fluorescence). Threshold of energy density for producing visible damage was
found to be ~200 mJ/cm2. For UV irradiation the threshold could be notably less
depending on the origin of sample. Surprisingly strong fluorescence signal was
recorded from damaged areas and is attributed to the residues of oxidized
graphene.


title: Entropy from near-horizon geometries of Killing horizons

abstract:
  We derive black hole entropy based on the near-horizon symmetries of black
hole space-times. To derive these symmetries we make use of an $(R,T)$-plane
close to a Killing horizon. We identify a set of vector fields that preserves
this plane and forms a Witt algebra. The corresponding algebra of Hamiltonians
is shown to have a non-trivial central extension. Using the Cardy formula and
the central charge we obtain the Bekenstein-Hawking entropy.


title: Likelihood of the Power Spectrum in Cosmological Parameter Estimation

abstract:
  The likelihood function is a crucial element of parameter estimation. In
analyses of galaxy overdensities and weak lensing shear, one often approximates
the likelihood of the power spectrum with a Gaussian distribution. The
posterior probability derived from such a likelihood deviates considerably from
the exact posterior on the largest scales probed by any survey, where the
central limit theorem does not apply. We show that various forms of Gaussian
likelihoods can have a significant impact on the estimation of the primordial
non-Gaussianity parameter f_NL from the galaxy angular power spectrum. The
Gaussian plus log-normal likelihood, which has been applied successfully in
analyses of the cosmic microwave background, outperforms the Gaussian
likelihoods. Nevertheless, even if the exact likelihood of the power spectrum
is used, the estimated parameters may be still biased. As such, the likelihoods
and estimators need to be thoroughly examined for potential systematic errors.


title: Quantum Metrology in Correlated Environments

abstract:
  We analytically obtain the precision bounds of frequency measurements in
correlated Markovian and non-Markovian environments by using a variational
approach. It is verified that in standard Ramsey spectroscopy setup, the
metrological equivalence of product and maximally entangled states persists in
maximally correlated Markovian and non-Markovian environments. We find that the
optimal measurement can achieve a much higher resolution than standard Ramsey
spectroscopy in the correlated environments. When the number of particles in
the maximally entangled states is even, the precision bound decreases with
interrogation time; and when the number is odd, the precision bound is
independent of interrogation time, both in correlated Markovian and general
non-Markovian environments. In addition, the opposite case can appear in some
special non-Markovian environments.


title: Document watermarking based on digital holographic principle

abstract:
  A new method for document watermarking based on the digital Fourier hologram
is proposed. It applies the methods of digital image watermarking based on
holographic principle presented previously in several papers into printed
documents. Experimental results show that the proposed method can not only meet
the demand on invisibility, robustness and non-reproducibility of the document
watermark, and but also has other advantages compared with the conventional
methods for document securities such as embossed hologram, Lippmann photograph
and halftone modulation.


title:
Micro-joule sub-10-fs VUV pulse generation by MW pump pulse using highly
  efficient chirped-four-wave mixing in hollow-core photonic crystal fibers

abstract:
  We theoretically study chirped four-wave mixing for VUV pulse generation in
hollow-core photonic crystal fibers. We predict the generation of sub-10-fs VUV
pulses with energy of up to hundreds of microjoule by broad-band chirped idler
pulses at 830 nm and MW pump pulses with narrow-band at 277 nm. MW pump could
be desirable to reduce the complexity of the laser system or use a high
repetition rate-laser system. The energy conversion efficiency from pump pulse
to VUV pulse reaches to 30%. This generation can be realized in kagome-lattice
hollow-core PCF filled with noble gas of high pressure with core-diameter less
than 40 micrometers which would enable technically simple or highly efficient
coupling to fundamental mode of the fiber.


title:
Comments on "Near-field interference for the unidirectional excitation
  of electromagnetic guided modes"

abstract:
  Rodriguez-Fortuno et al. (19 April 2013, p. 330) reported the unidirectional
excitation of electromagnetic guided modes via the oblique illumination of a
circularly polarized light. This comment points out that the same scheme was
addressed in our a-year-ahead paper and that magnetic dipoles play a key role
in the unidirectional excitation which was neglected in Rodriguez-Fortuno et
al.'s report.


title: Coverage Problem Revisited

abstract:
  Motivated by some problems in genome assembling, we investigate properties of
spacings from absolutely continuous distributions. Several results on the
asymptotic behavior of the maximal uniform and non-uniform $k$-spacings are
presented. Applications of these results to the coverage problem for the
prediction stage in genome assembling are also provided.


title: 3-SAT Problem A New Memetic-PSO Algorithm

abstract:
  3-SAT problem is of great importance to many technical and scientific
applications. This paper presents a new hybrid evolutionary algorithm for
solving this satisfiability problem. 3-SAT problem has the huge search space
and hence it is known as a NP-hard problem. So, deterministic approaches are
not applicable in this context. Thereof, application of evolutionary processing
approaches and especially PSO will be very effective for solving these kinds of
problems. In this paper, we introduce a new evolutionary optimization technique
based on PSO, Memetic algorithm and local search approaches. When some
heuristics are mixed, their advantages are collected as well and we can reach
to the better outcomes. Finally, we test our proposed algorithm over some
benchmarks used by some another available algorithms. Obtained results show
that our new method leads to the suitable results by the appropriate time.
Thereby, it achieves a better result in compared with the existent approaches
such as pure genetic algorithm and some verified types


title:
Uniqueness in weighted Lebesgue spaces for a class of fractional
  parabolic and elliptic equations

abstract:
  We investigate uniqueness, in suitable weighted Lebesgue spaces, of solutions
to a class of fractional parabolic and elliptic equations.


title: Nuclear Shadowing in the Holographic Framework

abstract:
  The nucleon structure function $F_2^N$ computed in a holographic framework
can be used to describe nuclear deep inelastic scattering effects provided that
a rescaling of the $Q^2$ momentum and of the IR hard-wall parameter $z_0$ is
made. The ratios $R_A=F_2^A/F_2^N$ can be obtained in terms of a single
rescaling parameter $\lambda_A$ for each nucleus. The resulting ratios agree
with experiment in a wide range of the shadowing region.


title:
Symmetry reduction for tunneling defects due to strong couplings to
  phonons

abstract:
  Tunneling two-level systems are ubiquitous in amorphous solids, and form a
major source of noise in systems such as nano-mechanical oscillators, single
electron transistors, and superconducting qubits. Occurance of defect tunneling
despite their coupling to phonons is viewed as a hallmark of weak defect-phonon
coupling. This is since strong coupling to phonons results in significant
phonon dressing and suppresses tunneling in two-level tunneling defects
effectively. Here we determine the dynamics of a crystalline tunnelling defect
strongly coupled to phonons incorporating the full 3D geometry in our
description. We find that inversion symmetric tunnelling is not dressed by
phonons whereas other tunnelling pathways are dressed by phonons and, thus, are
suppressed by strong defect-phonon coupling. We provide the linear acoustic and
dielectric response functions for a crystalline tunnelling defect for strong
defect-phonon coupling. This allows direct experimental determination of the
defect-phonon coupling. The singling out of inversion-symmetric tunneling
states in single tunneling defects is complementary to their dominance of the
low energy excitations in strongly disordered solids as a result of
inter-defect interactions for large defect concentrations. This suggests that
inversion symmetric two-level systems play a unique role in the low energy
properties of disordered solids.


title:
A simultaneous decomposition of five real quaternion matrices with
  applications

abstract:
  In this paper, we construct a simultaneous decomposition of five real
quaternion matrices in which three of them have the same column numbers,
meanwhile three of them have the same row numbers. Using the simultaneous
matrix decomposition, we derive the maximal and minimal ranks of some real
quaternion matrices expressions. We also show how to choose the variable real
quaternion matrices such that the real quaternion matrix expressions achieve
their maximal and minimal ranks. As an application, we give a solvability
condition and the general solution to the real quaternion matrix equation
$BXD+CYE=A$. Moreover, we give a simultaneous decomposition of seven real
quaternion matrices.


title:
A maximum likelihood based technique for validating detrended
  fluctuation analysis (ML-DFA)

abstract:
  Detrended Fluctuation Analysis (DFA) is widely used to assess the presence of
long-range temporal correlations in time series. Signals with long-range
temporal correlations are typically defined as having a power law decay in
their autocorrelation function. The output of DFA is an exponent, which is the
slope obtained by linear regression of a log-log fluctuation plot against
window size. However, if this fluctuation plot is not linear, then the
underlying signal is not self-similar, and the exponent has no meaning. There
is currently no method for assessing the linearity of a DFA fluctuation plot.
Here we present such a technique, called ML-DFA. We scale the DFA fluctuation
plot to construct a likelihood function for a set of alternative models
including polynomial, root, exponential, logarithmic and spline functions. We
use this likelihood function to determine the maximum likelihood and thus to
calculate values of the Akaike and Bayesian information criteria, which
identify the best fit model when the number of parameters involved is taken
into account and over-fitting is penalised. This ensures that, of the models
that fit well, the least complicated is selected as the best fit. We apply
ML-DFA to synthetic data from FARIMA processes and sine curves with DFA
fluctuation plots whose form has been analytically determined, and to
experimentally collected neurophysiological data. ML-DFA assesses whether the
hypothesis of a linear fluctuation plot should be rejected, and thus whether
the exponent can be considered meaningful. We argue that ML-DFA is essential to
obtaining trustworthy results from DFA.


title: Bank Conflict Free Comparison-based Sorting On GPUs

abstract:
  In this paper we present a framework for designing algorithms in shared
memory of GPUs without incurring memory bank conflicts. Using our framework we
develop the first comparison-based shared memory sorting algorithm that incurs
no bank conflicts. It can be used as a subroutine for GPU sorting algorithms to
replace current use of sorting networks in shared memory. Using our bank
conflict free shared memory sorting subroutine as a black box, we design
BCFMergesort, an algorithm for merging sorted streams of data that are larger
than shared memory. Our algorithm performs all accesses to global memory in
coalesced manner and incurs no bank conflicts during the merge.


title:
Preliminary study on CAD-based method of characteristics for neutron
  transport calculation

abstract:
  The method of characteristics (MOC) is widely used for neutron transport
calculation in recent decades. However, the key problem determining whether MOC
can be applied in highly heterogeneous geometry is how to combine an effective
geometry modeling method with it. Most of the existing MOC codes conventionally
describe the geometry model just by lines and arcs with extensive input data.
Thus they have difficulty in geometry modeling and ray tracing for complicated
geometries. In this study, a new method making use of a CAD-based automatic
modeling tool MCAM which is a CAD/Image-based Automatic Modeling Program for
Neutronics and Radiation Transport developed by FDS Team in China was
introduced for geometry modeling and ray tracing of particle transport to
remove those limitations. The diamond -difference scheme was applied to MOC to
reduce the spatial discretization errors of the flat flux approximation. Based
on MCAM and MOC, a new MOC code was developed and integrated into SuperMC
system, whic h is a Super Multi-function Computational system for neutronics
and radiation simulation. The numerical results demonstrated the feasibility
and effectiveness of the new method for neutron transport calculation in MOC.


title:
Unified Boltzmann-transport theory for the drag resistivity close to a
  second-order phase transition

abstract:
  We present a unified Boltzmann-transport theory for the drag resistivity in
two-component systems close to a second-order phase transition. We find general
expressions for the drag resistivity in two and three spatial dimensions, for
arbitrary population and mass imbalance, for particle- and hole-like bands, and
show how to incorporate, at the Gaussian level, the effect of fluctuations
close to a phase transition. We find that the proximity to the phase transition
enhances the drag resistivity upon approaching the critical temperature from
above, and we qualitatively derive the temperature dependence of this
enhancement for various cases. In addition, we present numerical results for
two concrete experimental systems: i) three-dimensional cold atomic Fermi gases
close to a Stoner transition and ii) two-dimensional spatially-separated
electron and hole systems in semiconductor double quantum wells.


title: Comparison Theorems for Manifold with Mean Convex Boundary

abstract:
  Let $M^n$ be an $n$-dimensional Riemannian manifold with boundary $\partial
M$. Assume that Ricci curvature is bounded from below by $(n-1)k$, for $k\in
\RR$, we give a sharp estimate of the upper bound of $\rho(x)=\dis(x, \partial
M)$, in terms of the mean curvature bound of the boundary. When $\partial M$ is
compact, the upper bound is achieved if and only if $M$ is isometric to a disk
in space form. A Kaehler version of estimation is also proved. Moreover we
prove a Laplace comparison theorem for distance function to the boundary of
Kaehler manifold and also estimate the first eigenvalue of the real Laplacian.


title: Quark sector CP violation of the universal seesaw model

abstract:
  We study the CP violation of universal seesaw model, especially its quark
sector. The model is based on SU(2)_L \times SU(2)_R \times U(1)_{Y^\prime}. In
order to count the number of parameters in quark sector, we use the degree of
freedom of weak basis transformation. For N(3)-generation model, the number of
CP violating phase in quark sector is identified as 3N^2-3N+1 (19). We also
construct nineteen CP violating weak basis invariants of Yukawa coupling
matrices and SU(2) singlet quark mass matrices in the three-generation
universal seesaw model. The quark interaction terms induced by neutral currents
are given as an exact formula. Both of the charged current and the neutral
current are expressed in terms of the mass basis by finding the transformations
from weak basis to mass basis. Finally, we calculate the mixing matrix element
approximately assuming that the SU(2)_R breaking scale v_R is much larger than
the electro-weak breaking scale v_L.


title: Empty triangles in good drawings of the complete graph

abstract:
  A good drawing of a simple graph is a drawing on the sphere or, equivalently,
in the plane in which vertices are drawn as distinct points, edges are drawn as
Jordan arcs connecting their end vertices, and any pair of edges intersects at
most once. In any good drawing, the edges of three pairwise connected vertices
form a Jordan curve which we call a triangle. We say that a triangle is empty
if one of the two connected components it induces does not contain any of the
remaining vertices of the drawing of the graph. We show that the number of
empty triangles in any good drawing of the complete graph $K_n$ with $n$
vertices is at least $n$.


title: Non-Equivalent Beliefs and Subjective Equilibrium Bubbles

abstract:
  This paper develops a dynamic equilibrium model where agents exhibit a strong
form of belief heterogeneity: they disagree about zero probability events. It
is shown that, somewhat surprisingly, equilibrium exists in this setting, and
that the disagreement about nullsets naturally leads to equilibrium asset
pricing bubbles. The bubbles are subjective in the sense that they are
perceived by some but not necessarily all agents. In contrast to existing
models, bubbles arise with no restrictions on trade beyond a standard solvency
constraint.


title: Life at the Interface of Particle Physics and String Theory

abstract:
  If the results of the first LHC run are not betraying us, many decades of
particle physics are culminating in a complete and consistent theory for all
non-gravitational physics: the Standard Model. But despite this monumental
achievement there is a clear sense of disappointment: many questions remain
unanswered. Remarkably, most unanswered questions could just be environmental,
and disturbingly (to some) the existence of life may depend on that
environment. Meanwhile there has been increasing evidence that the seemingly
ideal candidate for answering these questions, String Theory, gives an answer
few people initially expected: a huge "landscape" of possibilities, that can be
realized in a multiverse and populated by eternal inflation. At the interface
of "bottom-up" and "top-down" physics, a discussion of anthropic arguments
becomes unavoidable. We review developments in this area, focusing especially
on the last decade.


title: The background in the neutrinoless double beta decay experiment GERDA

abstract:
  The GERmanium Detector Array (GERDA) experiment at the Gran Sasso underground
laboratory (LNGS) of INFN is searching for neutrinoless double beta decay of
76Ge. The signature of the signal is a monoenergetic peak at 2039 keV, the
Q-value of the decay, Q_bb. To avoid bias in the signal search, the present
analysis does not consider all those events, that fall in a 40 keV wide region
centered around Q_bb. The main parameters needed for the neutrinoless double
beta decay analysis are described. A background model was developed to describe
the observed energy spectrum. The model contains several contributions, that
are expected on the basis of material screening or that are established by the
observation of characteristic structures in the energy spectrum. The model
predicts a flat energy spectrum for the blinding window around Q_bb with a
background index ranging from 17.6 to 23.8*10^{-3} counts/(keV kg yr). A part
of the data not considered before has been used to test if the predictions of
the background model are consistent. The observed number of events in this
energy region is consistent with the background model. The background at Q-bb
is dominated by close sources, mainly due to 42K, 214Bi, 228Th, 60Co and alpha
emitting isotopes from the 226Ra decay chain. The individual fractions depend
on the assumed locations of the contaminants. It is shown, that after removal
of the known gamma peaks, the energy spectrum can be fitted in an energy range
of 200 kev around Q_bb with a constant background. This gives a background
index consistent with the full model and uncertainties of the same size.


title: Strict unimodality of q-binomial coefficients

abstract:
  We prove strict unimodality of the q-binomial coefficients \binom{n}{k}_q as
polynomials in q. The proof is based on the combinatorics of certain Young
tableaux and the semigroup property of Kronecker coefficients of S_n
representations.


title: Carrier density modulation in graphene underneath Ni electrode

abstract:
  We investigate the transport properties of graphene underneath metal to
reveal whether the carrier density in graphene underneath source/drain
electrodes in graphene field-effect transistors is fixed. The resistance of the
graphene/Ni double-layered structure has shown a graphene-like back-gate bias
dependence. In other words, the electrical properties of graphene are not
significantly affected by its contact with Ni. This unexpected result may be
ascribed to resist residuals at the metal/graphene interface, which may reduce
the interaction between graphene and metals. In a back-gate device fabricated
using the conventional lithography technique with an organic resist, the
carrier density modulation in the graphene underneath the metal electrodes
should be considered when discussing the metal/graphene contact.


title:
The effect of z^prime boson on same-sign dimuon charge asymmetry in $
  b_q^0 - bar b_q^0$ system

abstract:
  The recent observation of the same-sign dimuon charge asymmetry in the B
system by the D0 collaboration has 3.9 sigma deviation from the standard model
prediction. However, the recent LHCb data on B-s neutral-meson mixing do not
accommodate the D0 collaboration result. In this paper, considering the effect
of Z'-mediated flavour-changing neutral currents in the $ B_q^0 - bar B_q^0$ (q
= d, s) mixing, the same-sign dimuon charge asymmetry is calculated. We find
the same-sign dimuon charge asymmetry is enhanced from its SM prediction and
provides signals for new physics beyond the SM


title: The Complexity of Clausal Fragments of LTL

abstract:
  We introduce and investigate a number of fragments of propo- sitional
temporal logic LTL over the flow of time (Z, <). The fragments are defined in
terms of the available temporal operators and the structure of the clausal
normal form of the temporal formulas. We determine the computational complexity
of the satisfiability problem for each of the fragments, which ranges from
NLogSpace to PTime, NP and PSpace.


title: Normalisation of a Non-deterministic Type Isomorphic {\lambda}-calculus

abstract:
  We provide a proof of strong normalisation for lambda+, a recently
introduced, explicitly typed, non-deterministic lambda-calculus where
isomorphic propositions are identified. Such a proof is a non-trivial
adaptation of the reducibility candidates technique.


title: Cosmology with nonminimal kinetic coupling and a power-law potential

abstract:
  We consider cosmological dynamics in the theory of gravity with the scalar
field possessing a nonminimal kinetic coupling to gravity, $\kappa
G_{\mu\nu}\phi^{\mu}\phi^{\nu}$, and the power-law potential
$V(\phi)=V_0\phi^N$. Using the dynamical system method, we analyze all possible
asymptotical regimes of the model under investigation and show that for sloping
potentials with $0<N<2$ there exists a quasi-de Sitter asymptotic
$H={1}/{\sqrt{9\kappa}}$ corresponding to an early inflationary Universe. In
contrast to the standard inflationary scenario, the kinetic coupling inflation
does not depend on a scalar field potential and is only determined by the
coupling parameter $\kappa$. We obtain that there exist two different late-time
asymptotical regimes. The first one leads to the usual power-like cosmological
evolution with $H=1/3t$, while the second one represents the late-time
inflationary Universe with $H=1/\sqrt{3\kappa}$. This secondary inflationary
phase depends only on $\kappa$ and is a specific feature of the model with
nonminimal kinetic coupling. Additionally, an asymptotical analysis shows that
for the quadric potential with N=2 the asymptotical regimes remain
qualitatively the same, while the kinetic coupling inflation is impossible for
steep potentials with N>2. Using a numerical analysis, we also construct exact
cosmological solutions and find initial conditions leading to the initial
kinetic coupling inflation followed either by a "graceful" oscillatory exit or
by the secondary inflation.


title:
Students' Comparison of Their Trigonometric Answers with the Answers of
  a Computer Algebra System

abstract:
  Comparison of answers offered by a computer algebra system (CAS) with answers
derived by a student without a CAS is relevant, for instance, in the context of
computer-aided assessment (CAA). The issues of identity, equivalence and
correctness emerge in different ways and are important for CAA. These issues
are also interesting if a student is charged with the task of comparing the
answers. What will happen when students themselves are encouraged to analyse
differences, equivalence and correctness of their own answers and CAS answers?
What differences do they notice foremost? Would they recognise
equivalence/non-equivalence? How do they explain equivalence/non-equivalence?
The paper discusses these questions on the basis of lessons where the students
solved trigonometric equations. Ten equations were chosen with the aim to
ensure that the expected school answer and the CAS answer would differ in
various ways. Three of them are discussed more thoroughly in this paper.


title:
Physical design of a wavelength tunable fully coherent VUV source using
  self-seeding free electron laser

abstract:
  In order to meet requirements of the synchrotron radiation users, a fully
coherent VUV free electron laser (FEL) has been preliminarily designed. One
important goal of this design is that the radiation wavelength can be easily
tuned in a broad range (70-170 nm). In the light of the users' demand and our
actual conditions, the self-seeding scheme is adopted for this proposal.
Firstly, we attempt fixing the electron energy and only changing the undulator
gap to varying the radiation wavelength, but the analysis implies that it is
difficult because of the great difference of the power gain length and FEL
efficiency at different wavelength. Therefore, dividing the wavelength range
into three subareas is considered. In each subarea, a constant electron energy
is used and the wavelength tuning is realized only by adjusting the undulator
gap. The simulation results shows that this scheme has an acceptable
performance.


title:
Performance Analysis and Design of Maximum Ratio Combining in
  Channel-Aware MIMO Decision Fusion

abstract:
  In this paper we present a theoretical performance analysis of the maximum
ratio combining (MRC) rule for channel-aware decision fusion over
multiple-input multiple-output (MIMO) channels for (conditionally) dependent
and independent local decisions. The system probabilities of false alarm and
detection conditioned on the channel realization are derived in closed form and
an approximated threshold choice is given. Furthermore, the channel-averaged
(CA) performances are evaluated in terms of the CA system probabilities of
false alarm and detection and the area under the receiver operating
characteristic (ROC) through the closed form of the conditional moment
generating function (MGF) of the MRC statistic, along with Gauss-Chebyshev (GC)
quadrature rules. Furthermore, we derive the deflection coefficients in closed
form, which are used for sensor threshold design. Finally, all the results are
confirmed through Monte Carlo simulations.


title: Probing Deconfinement with Polyakov Loop Susceptibilities

abstract:
  The susceptibilities of the real and imaginary parts, as well as of the
modulus of the Polyakov loop, are computed in SU(3) lattice gauge theory. We
show that the ratios of these susceptibilities are excellent probes of the
deconfinement transition, independent of the renormalization of the Polyakov
loop and only weakly dependent on the system size. The ratios are almost
temperature independent above and below the transition and exhibit a
discontinuity at the transition temperature. This characteristic behavior can
be understood in terms of the global Z(3) symmetry of the Yang-Mills Lagrangian
and the general properties of the Polyakov loop probability distribution.


title: Scaling limit for Brownian motions with one-sided collisions

abstract:
  We consider Brownian motions with one-sided collisions, meaning that each
particle is reflected at its right neighbour. For a finite number of particles
a Sch\"{u}tz-type formula is derived for the transition probability. We
investigate an infinite system with periodic initial configuration, that is,
particles are located at the integer lattice at time zero. The joint
distribution of the positions of a finite subset of particles is expressed as a
Fredholm determinant with a kernel defining a signed determinantal point
process. In the appropriate large time scaling limit, the fluctuations in the
particle positions are described by the Airy$_1$ process.


title: Computer Aided ECG Analysis - State of the Art and Upcoming Challenges

abstract:
  In this paper we present current achievements in computer aided ECG analysis
and their applicability in real world medical diagnosis process. Most of the
current work is covering problems of removing noise, detecting heartbeats and
rhythm-based analysis. There are some advancements in particular ECG segments
detection and beat classifications but with limited evaluations and without
clinical approvals. This paper presents state of the art advancements in those
areas till present day. Besides this short computer science and signal
processing literature review, paper covers future challenges regarding the ECG
signal morphology analysis deriving from the medical literature review. Paper
is concluded with identified gaps in current advancements and testing, upcoming
challenges for future research and a bullseye test is suggested for morphology
analysis evaluation.


title:
Enhanced tunneling conductivity induced by gelation of attractive
  colloids

abstract:
  We show that the formation of a gel by conducting colloidal particles leads
to a dramatic enhancement in bulk conductivity, due to inter-particle electron
tunneling, combining predictions from molecular dynamics simulations with
structural measurements in an experimental colloid system. Our results show how
colloidal gelation can be used as a general route to huge enhancements of
conductivity, and suggest a feasible way for developing cheap materials with
novel properties and low metal content.


title: Wisdom of Crowds Algorithm for Stock Market Predictions

abstract:
  In this paper we present a mathematical model for collaborative filtering
implementation in stock market predictions. In popular literature collaborative
filtering, also known as Wisdom of Crowds, assumes that group has a greater
knowledge than the individual while each individual can improve group's
performance by its specific information input. There are commercially available
tools for collaborative stock market predictions and patent protected web-based
software solutions. Mathematics that lies behind those algorithms is not
disclosed in the literature, so the presented model and algorithmic
implementation are the main contributions of this work.


title: SVM based on personal identification system using Electrocardiograms

abstract:
  This paper presents a new algorithm for personal identification from their
Electrocardiograms (ECG) which is based on morphological descriptors and
Hermite Polynomials Expansion coefficients (HPEc). After preprocessing, we
extracted ten morphological descriptors which were divided into homogeneous
groups (amplitude, surface interval and slope) and we extracted sixty Hermite
Polynomials Expansion coefficients(HPEc) from each heartbeat. For the
classification, we employed a binary Support Vector Machines with Gaussian
kernel and we adopted a particular strategy: we first classified groups of
morphological descriptors separately then we combined them in one system. On
the other hand, we classified the Hermite Polynomials Expansion coefficients
apart and we associated them with all groups of morphological descriptors in a
single system in order to improve overall performance. We tested our algorithm
on 18 different healthy signals of the MIT_BIH database. The analysis of
different groups separately showed that the best recognition performance is
96.45% for all morphological descriptors and the results of experiments showed
that the proposed hybrid approach has led to an overall maximum of 98.97%.


title:
Convergence and Quasi-Optimality of Adaptive FEM with Inhomogeneous
  Dirichlet Data

abstract:
  We consider the solution of a second order elliptic PDE with inhomogeneous
Dirichlet data by means of adaptive lowest-order FEM. As is usually done in
practice, the given Dirichlet data are discretized by nodal interpolation. As
model example serves the Poisson equation with mixed Dirichlet-Neumann boundary
conditions. For error estimation, we use an edge-based residual error estimator
which replaces the volume residual contributions by edge oscillations. For 2D,
we prove convergence of the adaptive algorithm even with quasi-optimal
convergence rate. For 2D and 3D, we show convergence if the nodal interpolation
operator is replaced by the L^2-projection or the Scott-Zhang
quasi-interpolation operator. As a byproduct of the proof, we show that the
Scott-Zhang operator converges pointwise to a limiting operator as the mesh is
locally refined. This property might be of independent interest besides the
current application. Finally, numerical experiments conclude the work.


title: Fingering to fracturing transition in a transient gel

abstract:
  Fracture processes are ubiquitous in soft materials, even in complex fluids,
subjected to stresses. To investigate these processes in a simple geometry, we
use a model self-assembled transient gel and study the instability patterns
obtained in a radial Hele-Shaw cell when a low viscosity oil pushes the more
viscous transient gel. Thanks to an analysis of the morphology of the patterns,
we find a discontinuous transition between the standard Saffman-Taylor
fingering instability and a fracturing instability as the oil injection rate
increases. Our data suggest that the flow properties of the gel ahead of the
finger tip controls the transition towards fracturing. By analyzing the
displacement field of the gel in the vicinity of the fingers and cracks, we
show that in the fingering regime, the oil gently pushes the gel, whereas in
the fracturing regime, the crack tears apart the gel, resulting in a strong
drop of the gel velocity ahead of the crack tip as compared to the tip
velocity. We find a unique behavior for the whole displacement field of a gel
around a crack, which is drastically different from that around a finger, and
reveals the solid-like behavior of the gel at short time. Our experiments and
analysis provide quantitative yet simple tools to unambiguously discriminate a
finger from a crack in a visco-elastic material.


title: Frobenius lifts and point counting for smooth curves

abstract:
  We describe an algorithm to compute the zeta-function of a proper, smooth
curve over a finite field, when the curve is given together with some auxiliary
data. Our method is based on computing the matrix of the action of a
semi-linear Frobenius on the first cohomology group of the curve by means of
Serre duality. The cup product involved can be computed locally, after first
computing local expansions of a globally defined lift of Frobenius. The
resulting algorithm's complexity is softly cubic in the field degree, which is
also the case with Kedlaya's algorithm in the hyperelliptic case.


title:
The Kalman-Bucy Filter for Integrable L\'{e}vy Processes With Infinite
  Second Moment

abstract:
  We extend the Kalman-Bucy filter to the case where both the system and
observation processes are driven by finite dimensional L\'{e}vy processes, but
whereas the process driving the system dynamics is square-integrable, that
driving the observations is not; however it remains integrable. The key
technique used is approximation by processes having bounded jumps.


title: Preference for meat is not innate in dogs

abstract:
  Indian free ranging dogs live in a carbohydrate rich environment as
scavengers in and around human settlements. They rarely hunt and consequently
do not encounter rich sources of protein. Instead they have adapted to a diet
of primarily carbohydrates. As descendants of the exclusively carnivorous
wolves, they are subjected to the evolutionary load of a physiological demand
for proteins. To meet their protein needs they resort to a thumb rule, if it
smells like meat, eat it. Pups face high competition from group and non group
members and are in a phase of rapid growth with high protein demands. Following
the thumb rule, then they can acquire more protein at the cost of increased
competition and reduced supplementary non protein nutrition. However, if the
mother supplements their diet with protein rich regurgitates and milk, then the
pups can benefit by being generalists. Using a choice test in the field we show
that while adults have a clear preference for meat, pups have no such
preference, and they even eat degraded protein eagerly. Thus the thumb rule
used by adult dogs for efficient scavenging is not innate, and needs to be
learned. The thumb rule might be acquired by cultural transmission, through
exposure to meat in the regurgitate of the mother, or while accompanying her on
foraging trips.


title:
COSMOGRAIL: the COSmological MOnitoring of GRAvItational Lenses XIV.
  Time delay of the doubly lensed quasar SDSS J1001+5027

abstract:
  This paper presents optical R-band light curves and the time delay of the
doubly imaged gravitationally lensed quasar SDSS J1001+5027 at a redshift of
1.838. We have observed this target for more than six years, between March 2005
and July 2011, using the 1.2-m Mercator Telescope, the 1.5-m telescope of the
Maidanak Observatory, and the 2-m Himalayan Chandra Telescope. Our resulting
light curves are composed of 443 independent epochs, and show strong intrinsic
quasar variability, with an amplitude of the order of 0.2 magnitudes. From this
data, we measure the time delay using five different methods, all relying on
distinct approaches. One of these techniques is a new development presented in
this paper. All our time-delay measurements are perfectly compatible. By
combining them, we conclude that image A is leading B by 119.3 +/- 3.3 days (1
sigma, 2.8% uncertainty), including systematic errors. It has been shown
recently that such accurate time-delay measurements offer a highly
complementary probe of dark energy and spatial curvature, as they independently
constrain the Hubble constant. The next mandatory step towards using SDSS
J1001+5027 in this context will be the measurement of the velocity dispersion
of the lensing galaxy, in combination with deep Hubble Space Telescope imaging.


title:
The AdS3 x S3 x S3 x S1 Hernandez-Lopez Phases: a Semiclassical
  Derivation

abstract:
  This note calculates the Hernandez-Lopez phases for strings in AdS3 x S3 x S3
x S1 by semiclassical methods using the d(2,1;\alpha)^2 algebraic curve. By
working at general \alpha\ we include modes absent from previous semiclassical
calculations of this phase in AdS3 x S3 x T4, and in particular can study the
scattering of particles of different mass. By carefully re-deriving the
semiclassical formula we clarify some issues of antisymmetrisation, cutoffs and
surface terms which could safely be ignored in AdS5 x S5, and some issues about
the terms c_1,s which were absent there. As a result we see agreement with the
recently calculated all-loop dressing phase in the AdS3 x S3 x T4 case, and
exactly 1/2 this in the general case AdS3 x S3 x S3 x S1 for any \alpha\ and
any (light) polarisations.


title:
Schwinger-Keldysh theory for Bose-Einstein condensation of photons in a
  dye-filled optical microcavity

abstract:
  We consider Bose-Einstein condensation of photons in an optical cavity filled
with dye molecules that are excited by laser light. By using the
Schwinger-Keldysh formalism we derive a Langevin field equation that describes
the dynamics of the photon gas, and in particular its equilibrium properties
and relaxation towards equilibrium. Furthermore we show that the finite
lifetime effects of the photons are captured in a single dimensionless damping
parameter, that depends on the power of the external laser pumping the dye.
Finally, as applications of our theory we determine spectral functions and
collective modes of the photon gas in both the normal and the Bose-Einstein
condensed phase.


title:
The photoevaporation of a neutral structure by an EUV+FUV radiation
  field

abstract:
  The EUV photoionizing radiation and FUV dissociating radiation from newly
born stars photoevaporate their parental neutral cloud, leading to the
formation of dense clumps that could eventually form additional stars. We study
the effects of including a photodissociating FUV flux in models of the
fragmentation of a photoevaporating, self-gravitating molecular cloud. We
compute 3D simulations of the interaction of an inhomogeneous, neutral,
self-gravitating cloud with external EUV and FUV radiation fields, and
calculate the number of collapsing clumps and their mass. We find that the
presence of an outer photodissociation region has an important effect on the
formation of dense structures due to the expansion of an HII region. In
particular, including a FUV field leads to the earlier formation of a larger
number of dense clumps, which might lead to the formation of more stars.


title:
Complex Morlet Wavelet Analysis of the DNA Frequency Chaos Game Signal
  and Revealing Specific Motifs of Introns in C.elegans

abstract:
  Nowadays, studying introns is becoming a very promising field in the
genomics. Even though they play a role in the dynamic regulation of gene and in
the organism's evolution, introns have not attracted enough attention like
exons did; especially of digital signal processing researchers. Thus, we focus
on analysis of the C.elegans introns. In this paper, we propose the complex
Morlet wavelet analysis to investigate introns' characterization in the
C.elegans genes. However, catching the change in frequency response with
respect to time of the gene sequences is hindered by their presence in the form
of strings of characters. This can only be counteracted by assigning numerical
values to each of the DNA characters. This operation defines the so called "DNA
coding approach". In this context, we propose a new coding technique based on
the Frequency Chaos Game Representation (FCGR) that we name the "Frequency
Chaos Game Signal" (FCGS). Results of the complex Morlet wavelet Analysis
applied to the Celegans FCGS are showing a very distinguished texture. The
visual interpretation of the colour scalograms is proved to be an efficient
tool for revealing significant information about intronic sequences.


title: Genome-wide inference of ancestral recombination graphs

abstract:
  The complex correlation structure of a collection of orthologous DNA
sequences is uniquely captured by the "ancestral recombination graph" (ARG), a
complete record of coalescence and recombination events in the history of the
sample. However, existing methods for ARG inference are computationally
intensive, highly approximate, or limited to small numbers of sequences, and,
as a consequence, explicit ARG inference is rarely used in applied population
genomics. Here, we introduce a new algorithm for ARG inference that is
efficient enough to apply to dozens of complete mammalian genomes. The key idea
of our approach is to sample an ARG of n chromosomes conditional on an ARG of
n-1 chromosomes, an operation we call "threading." Using techniques based on
hidden Markov models, we can perform this threading operation exactly, up to
the assumptions of the sequentially Markov coalescent and a discretization of
time. An extension allows for threading of subtrees instead of individual
sequences. Repeated application of these threading operations results in highly
efficient Markov chain Monte Carlo samplers for ARGs. We have implemented these
methods in a computer program called ARGweaver. Experiments with simulated data
indicate that ARGweaver converges rapidly to the true posterior distribution
and is effective in recovering various features of the ARG for dozens of
sequences generated under realistic parameters for human populations. In
applications of ARGweaver to 54 human genome sequences from Complete Genomics,
we find clear signatures of natural selection, including regions of unusually
ancient ancestry associated with balancing selection and reductions in allele
age in sites under directional selection. Preliminary results also indicate
that our methods can be used to gain insight into complex features of human
population structure, even with a noninformative prior distribution.


title:
Low-Density Parity-Check Codes From Transversal Designs With Improved
  Stopping Set Distributions

abstract:
  This paper examines the construction of low-density parity-check (LDPC) codes
from transversal designs based on sets of mutually orthogonal Latin squares
(MOLS). By transferring the concept of configurations in combinatorial designs
to the level of Latin squares, we thoroughly investigate the occurrence and
avoidance of stopping sets for the arising codes. Stopping sets are known to
determine the decoding performance over the binary erasure channel and should
be avoided for small sizes. Based on large sets of simple-structured MOLS, we
derive powerful constraints for the choice of suitable subsets, leading to
improved stopping set distributions for the corresponding codes. We focus on
LDPC codes with column weight 4, but the results are also applicable for the
construction of codes with higher column weights. Finally, we show that a
subclass of the presented codes has quasi-cyclic structure which allows
low-complexity encoding.


title: Non-Abelian discrete R symmetries

abstract:
  We discuss non-Abelian discrete R symmetries which might have some
conceivable relevance for model building. The focus is on settings with N=1
supersymmetry, where the superspace coordinate transforms in a one-dimensional
representation of the non-Abelian discrete symmetry group. We derive anomaly
constraints for such symmetries and find that novel patterns of Green-Schwarz
anomaly cancellation emerge. In addition we show that perfect groups, also in
the non-R case, are always anomaly-free. An important property of models with
non-Abelian discrete R symmetries is that superpartners come in different
representations of the group. We present an example model, based on a
semidirect product of a Z_3 and a Z_8^R symmetry, to discuss generic features
of models which unify discrete R symmetries, entailing solutions to the mu and
proton decay problems of the MSSM, with non-Abelian discrete flavor symmetries.


title:
Switching from Crossed Andreev Reflection to Electron Teleportation via
  Quantum dot

abstract:
  We study electron transport through a normal lead-quantum dot-topological
superconductor-quantum dot-normal lead (N-QD-TS-QD-N) junction. Due to the
non-local nature of Majorana fermions (MFs) in the topological superconductor,
there are two types of single electron transport processes in the junction:
crossed Andreev reflection (CAR) and electron teleportation (ET). When the
coupling energy of MFs is much larger than the coupling between MFs and QDs,
electron can tunnel through topological superconductor either via CAR or ET
depending on the energy levels of QDs. For instance, when both energies of QDs
(labeled as $\epsilon_1$ and $\epsilon_2$) are equal to the coupling energy of
MFs (denoted as $E_M$), the electron in the left lead can teleport to the right
lead via MFs while when $\epsilon_1=-\epsilon_2=E_M$ is satisfied, the electron
in the left lead can combine one electron in the right lead to form a cooper
pair and tunnel into the topological superconductor via MFs. Since both
electron teleportation and crossed Andreev reflection manifest the non-local
properties of MFs, they can be used to examine the nature of MFs.


title: Nutrient Loading Increases Red Snapper Production in the Gulf of Mexico

abstract:
  A large, annually recurring region of hypoxia in the northern Gulf of Mexico
has been attributed to water stratification and nutrient loading of nitrogen
and phosphorus delivered by the Mississippi and Atchafalaya rivers. This
nutrient loading increased nearly 300% since 1950, primarily due to increased
use of agricultural fertilizers. Over this same time period, the red snapper
(Lutjanus campechanus) population in the Gulf of Mexico has shifted strongly
from being dominated by the eastern Gulf of Mexico to being dominated by the
northern and western Gulf of Mexico, with the bulk of the current population in
the same regions with significant nutrient loading from the Mississippi and
Atchafalaya rivers and in or near areas with development of mid-summer hypoxic
zones. The population decline of red snapper in the eastern Gulf is almost
certainly attributable to overfishing, but the cause of the population increase
in the northern and western Gulf is subject to broad debate, with the impact of
artificial reefs (primarily oil platforms which have incr eased greatly since
the 1960s) being the most contentious point. Nutrient loading has been shown to
positively impact secondary production of fish in many marine systems. The
present paper offers the hypothesis that increased nutrient loading has
contributed significantly to increased red snapper population in the northern
and western Gulf of Mexico. Nutrient loading may be working in synergy with the
abundant oil platforms both increasing primary production and providing
structure encouraging red snapper to feed throughout the water column.


title:
Each H^{1/2}-stable projection yields convergence and quasi-optimality
  of adaptive FEM with inhomogeneous Dirichlet data in R^d

abstract:
  We consider the solution of second order elliptic PDEs in $\R^d$ with
inhomogeneous Dirichlet data by means of an $h$-adaptive FEM with fixed
polynomial order $p\in\N$. As model example serves the Poisson equation with
mixed Dirichlet-Neumann boundary conditions, where the inhomogeneous Dirichlet
data are discretized by use of an $H^{1/2}$-stable projection, for instance,
the $L^2$-projection for $p=1$ or the Scott-Zhang projection for general
$p\ge1$. For error estimation, we use a residual error estimator which includes
the Dirichlet data oscillations. We prove that each $H^{1/2}$-stable projection
yields convergence of the adaptive algorithm even with quasi-optimal
convergence rate. Numerical experiments with the $L^2$- and Scott-Zhang
projection conclude the work.


title: On the positive eigenvalues and eigenvectors of a non-negative matrix

abstract:
  The paper develops the general theory for the items in the title, assuming
that the matrix is countable and cofinal.


title:
On topological properties of the group of the null sequences valued in
  an Abelian topological group

abstract:
  Following [23], denote by $\mathfrak{F}_0$ the functor on the category
$\mathbf{TAG}$ of all Hausdorff Abelian topological groups and continuous
homomorphisms which passes each $X\in \mathbf{TAG}$ to the group of all
$X$-valued null sequences endowed with the uniform topology. We prove that if
$X\in \mathbf{TAG}$ is an $(E)$-space (respectively, a strictly angelic space
or a \v{S}-space), then $\mathfrak{F}_0 (X)$ is an $(E)$-space (respectively, a
strictly angelic space or a \v{S}-space). We study respected properties for
topological groups in particular from categorical point of view. Using this
investigation we show that for a locally compact Abelian (LCA) group $X$ the
following are equivalent: 1) $X$ is totally disconnected, 2) $\mathfrak{F}_0
(X)$ is a Schwartz group, 3) $\mathfrak{F}_0 (X)$ respects compactness, 4)
$\mathfrak{F}_0(X)$ has the Schur property. So, if a LCA group $X$ has non-zero
connected component, the group $\mathfrak{F}_0(X)$ is a reflexive non-Schwartz
group which does not have the Schur property. We prove also that for every
compact connected metrizable Abelian group $X$ the group $\mathfrak{F}_0 (X)$
is monothetic that generalizes a result by Rolewicz for $X=\mathbb{T}$.


title: KMS weights on groupoid and graph C*-algebras

abstract:
  The paper contains a description of the KMS weights for the one-parameter
action on the reduced C*-algebra of a second countable locally compact
Hausdorff etale groupoid, arising from a continuous real valued homomorphism
satisfying two conditions. The results are subsequently applied to identify the
KMS weights for the gauge action on a simple graph algebra. The von Neumann
algebra generated by the GNS-representation of an extremal KMS weight is a
factor, and tools are developed to determine its type. The paper concludes with
three examples to illustrate the results.


title:
Asymmetric superradiant scattering and abnormal mode amplification
  induced by atomic density distortion

abstract:
  The superradiant Rayleigh scattering using a pump laser incident along the
short axis of a Bose-Einstein condensate with a density distortion is studied,
where the distortion is formed by shocking the condensate utilizing the
residual magnetic force after the switching-off of the trapping potential. We
find that very small variation of the atomic density distribution would induce
remarkable asymmetrically populated scattering modes by the matter-wave
superradiance with long time pulse. The optical field in the diluter region of
the atomic cloud is more greatly amplified, which is not an ordinary mode
amplification with the previous cognition. Our numerical simulations with the
density envelop distortion are consistent with the experimental results. This
supplies a useful method to reflect the geometric symmetries of the atomic
density profile by the superradiance scattering.


title:
ZZ-type aposteriori error estimators for adaptive boundary element
  methods on a curve

abstract:
  In the context of the adaptive finite element method (FEM), ZZ-error
estimators named after Zienkiewicz and Zhu are mathematically well-established
and widely used in practice. In this work, we propose and analyze ZZ-type error
estimators for the adaptive boundary element method (BEM). We consider
weakly-singular and hyper-singular integral equations and prove, in particular,
convergence of the related adaptive mesh-refining algorithms.


title:
The canonical superenergy tensors and stability of the solutions to the
  Einstein equations

abstract:
  Here we present a new method to study stability of the solutions to the
Einstein equations. This method uses the canonical superenergy tensors which
have been introduced in past in our papers.


title: Type IIP supernova 2008in: the explosion of a normal red supergiant

abstract:
  The explosion energy and the ejecta mass of a type IIP supernova make up the
basis for the theory of explosion mechanism. So far, these parameters have only
been determined for seven events. Type IIP supernova 2008in is another
well-observed event for which a detailed hydrodynamic modeling can be used to
derive the supernova parameters. Hydrodynamic modeling was employed to describe
the bolometric light curve and the expansion velocities at the photosphere
level. A time-dependent model for hydrogen ionization and excitation was
applied to model the Halpha and Hbeta line profiles. We found an ejecta mass of
13.6 Msun, an explosion energy of 5.05x10^50 erg, a presupernova radius of 570
Rsun, and a radioactive Ni-56 mass of 0.015 Msun. The estimated progenitor mass
is 15.5 Msun. We uncovered a problem of the Halpha and Hbeta description at the
early phase, which cannot be resolved within a spherically symmetric model. The
presupernova of SN 2008in was a normal red supergiant with the minimum mass of
the progenitor among eight type IIP supernovae explored by means of the
hydrodynamic modeling. The problem of the absence of type IIP supernovae with
the progenitor masses <15 Msun in this sample remains open.


title: Homogeneous TIP4P/2005 ice nucleation at low supercooling

abstract:
  We present a partial free energy profile for the homogeneous nucleation of
ice using an all-atom model of water at low supercooling, at which ice growth
dynamics are reasonably accessible to simulation. We demonstrate that the free
energy profile is well described by classical nucleation theory, and that the
nucleation barrier is entropic in origin. We also estimate to first order the
temperature dependence of the interfacial free energy.


title:
Evidence for Intra-Unit-Cell magnetic order in the pseudo-gap state of
  high-Tc cuprates

abstract:
  The existence of the mysterious pseudo-gap state in the phase diagram of
copper oxide superconductors and its interplay with unconventional {\it d-wave}
superconductivity has been a long standing issue for more than a decade. There
is now a growing number of experimental indications that the pseudo-gap phase
actually corresponds to a symmetry breaking state. In his theory for cuprates,
C. M. Varma proposes that the pseudo-gap is a new state of matter associated
with the spontaneous appearance of circulating current loops within $\rm CuO_2$
unit cell. This intra-unit-cell order breaks time reversal symmetry, but
preserves lattice translation invariance. Polarized elastic neutron scattering
measurements provide evidence for an intra-unit-cell magnetic order inside the
pseudo-gap state. This order could be produced by the orbital-like magnetic
moments induced by the circulating current loops. The magnetic order displays
the same characteristic features in $\rm HgBa_2CuO_{4+\delta}$, $\rm
YBa_2Cu_3O_{6+x}$ and $\rm Bi_2Sr_2CaCu_2O_{8+\delta}$ demonstrating that this
genuine phase is ubiquitous of the pseudo-gap of high temperature copper oxide
materials. We review the main properties characterizing this intra-unit-cell
magnetic order and discuss its interplay or competition with other spin and
charge instabilities.


title: Suspended nanowires as mechanically-controlled Rashba spin-splitters

abstract:
  Suspended nanowires are shown to provide mechanically-controlled coherent
mixing/splitting of the spin states of transmitted electrons, caused by the
Rashba spin-orbit interaction. The sensitivity of the latter to mechanical
bending makes the wire a tunable nano-electro-mechanical (NEM) weak link
between reservoirs. When the reservoirs are populated with misbalanced "spin
up/down" electrons, the wire becomes a source of split spin currents, which are
not associated with electric charge transfer and which do not depend on
temperature or driving voltages. The mechanical vibrations of the bended wires
allow for additional tunability of these splitters by applying a magnetic field
and varying the temperature. Clean metallic carbon nanotubes of a few microns
length are good candidates for generating spin conductance of the same order as
the charge conductance (divided by $e^2$) which would have been induced by
electric driving voltages.


title: Study of ambiguities in $\pi^-p\to \Lambda K^0$ scattering amplitudes

abstract:
  Amplitudes for the reaction $\pi^-p\to \Lambda K^0$ are reconstructed from
data on the differential cross section $d\sigma/d\Omega$, the recoil
polarization $P$, and on the spin rotation parameter $\beta$. At low energies,
no data on $\beta$ exist, resulting in ambiguities. An approximation using $S$
and $P$ waves leads only to a fair description of the data on $d\sigma/d\Omega$
and $P$; in this case, there are two sets of amplitudes. Including $D$ waves,
the data on $d\sigma/d\Omega$ and $P$ are well reproduced by the fit but now,
there are several distinct solutions which describe the data with identical
precision. In the range where the spin rotation parameter $\beta$ was measured,
a full and unambiguous reconstruction of the partial wave amplitudes is
possible. The energy-independent amplitudes are compared to the energy
dependent amplitudes which resulted from a coupled channel fit (BnGa2011-02) to
a large data set including both pion and photo-induced reactions. Significant
deviations are observed. Consistency between energy dependent and energy
independent solutions by choosing the energy independent solution which is
closest to the energy dependent solution. In a second step, the {\it known}
energy dependent solution for low (or high) partial waves is imposed and only
the high (or low) partial waves are fitted leading to smaller uncertainties.