title: Realignment in the NHL, MLB, the NFL, and the NBA

abstract:
  Sports leagues consist of conferences subdivided into divisions. Teams play a
number of games within their divisions and fewer games against teams in
different divisions and conferences. Usually, a league structure remains stable
from one season to the next. However, structures change when growth or
contraction occurs, and realignment of the four major professional sports
leagues in North America has occurred more than twenty-five times since 1967.
In this paper, we describe a method for realigning sports leagues that is
flexible, adaptive, and that enables construction of schedules that minimize
travel while satisfying other criteria. We do not build schedules; we develop
league structures which support the subsequent construction of efficient
schedules. Our initial focus is the NHL, which has an urgent need for
realignment following the recent move of the Atlanta Thrashers to Winnipeg, but
our methods can be adapted to virtually any situation. We examine a variety of
scenarios for the NHL, and apply our methods to the NBA, MLB, and NFL. We find
the biggest improvements for MLB and the NFL, where adopting the best solutions
would reduce league travel by about 20%.


title: Heavy Solitons in a Fermionic Superfluid

abstract:
  Topological excitations are found throughout nature, in proteins and DNA, as
dislocations in crystals, as vortices and solitons in superfluids and
superconductors, and generally in the wake of symmetry-breaking phase
transitions. In fermionic systems, topological defects may provide bound states
for fermions that often play a crucial role for the system's transport
properties. Famous examples are Andreev bound states inside vortex cores,
fractionally charged solitons in relativistic quantum field theory, and the
spinless charged solitons responsible for the high conductivity of polymers.
However, the free motion of topological defects in electronic systems is
hindered by pinning at impurities. Here we create long-lived solitons in a
strongly interacting fermionic superfluid by imprinting a phase step into the
superfluid wavefunction, and directly observe their oscillatory motion in the
trapped superfluid. As the interactions are tuned from the regime of
Bose-Einstein condensation (BEC) of tightly bound molecules towards the
Bardeen-Cooper-Schrieffer (BCS) limit of long-range Cooper pairs, the effective
mass of the solitons increases dramatically to more than 200 times their bare
mass. This signals their filling with Andreev states and strong quantum
fluctuations. For the unitary Fermi gas, the mass enhancement is more than
fifty times larger than expectations from mean-field Bogoliubov-de Gennes
theory. Our work paves the way towards the experimental study and control of
Andreev bound states in ultracold atomic gases. In the presence of spin
imbalance, the solitons created here represent one limit of the long
sought-after Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) state of mobile Cooper
pairs.


title:
Constitutive relations and Schroedinger's formulation of nonlinear
  electromagnetic theories

abstract:
  We present a systematic study of nonlinear and higher derivatives extensions
of electromagnetism. We clarify when action functionals S[F] can be explicitly
obtained from arbitrary (not necessarily self-dual) nonlinear equations of
motion. We show that the "Deformed twisted self-duality condition" proposal
originated in the context of supergravity counterterms is actually the general
framework needed to discuss self-dual theories starting from a variational
principle.
  We generalize to nonlinear and higher derivatives theories Schroedinger
formulation of Born-Infeld theory, and for the latter, and more in general for
nonlinear theories, we derive a closed form expression of the corresponding
deformed twisted self-duality conditions. This implies that the hypergeometric
expression entering these duality conditions and leading to Born-Infeld theory
satisfies a hidden quartic equation.


title:
Imaginary geometry IV: interior rays, whole-plane reversibility, and
  space-filling trees

abstract:
  We establish existence and uniqueness for Gaussian free field flow lines
started at {\em interior} points of a planar domain. We interpret these as rays
of a random geometry with imaginary curvature and describe the way distinct
rays intersect each other and the boundary.
  Previous works in this series treat rays started at {\em boundary} points and
use Gaussian free field machinery to determine which chordal
\SLE_\kappa(\rho_1; \rho_2) processes are time-reversible when \kappa < 8. Here
we extend these results to whole-plane \SLE_\kappa(\rho) and establish
continuity and transience of these paths. In particular, we extend ordinary
whole-plane SLE reversibility (established by Zhan for \kappa \in [0,4]) to all
\kappa \in [0,8].
  We also show that the rays of a given angle (with variable starting point)
form a space-filling planar tree. Each branch is a form of SLE_\kappa for some
\kappa \in (0, 4), and the curve that traces the tree in the natural order
(hitting x before y if the branch from x is left of the branch from y) is a
space-filling form of \SLE_{\kappa'} where \kappa':= 16/\kappa \in (4, \infty).
By varying the boundary data we obtain, for each \kappa'>4, a family of
space-filling variants of \SLE_{\kappa'}(\rho) whose time reversals belong to
the same family. When \kappa' \geq 8, ordinary \SLE_{\kappa'} belongs to this
family, and our result shows that its time-reversal is \SLE_{\kappa'}(\kappa'/2
- 4; \kappa'/2 - 4).
  As applications of this theory, we obtain the local finiteness of
\CLE_{\kappa'}, for \kappa' \in (4,8), and describe the laws of the boundaries
of \SLE_{\kappa'} processes stopped at stopping times.


title: Generating Non-Linear Interpolants by Semidefinite Programming

abstract:
  Interpolation-based techniques have been widely and successfully applied in
the verification of hardware and software, e.g., in bounded-model check- ing,
CEGAR, SMT, etc., whose hardest part is how to synthesize interpolants. Various
work for discovering interpolants for propositional logic, quantifier-free
fragments of first-order theories and their combinations have been proposed.
However, little work focuses on discovering polynomial interpolants in the
literature. In this paper, we provide an approach for constructing non-linear
interpolants based on semidefinite programming, and show how to apply such
results to the verification of programs by examples.


title:
Comparison of hot-electron transmission in ferromagnetic Ni on epitaxial
  and polycrystalline Schottky interfaces

abstract:
  The hot-electron attenuation length in Ni is measured as a function of energy
across two different Schottky interfaces viz. a polycrystalline Si(111)/Au and
an epitaxial Si(111)/NiSi_2 interface using ballistic electron emission
microscopy (BEEM). For similarly prepared Si(111) substrates and identical Ni
thickness, the BEEM transmission is found to be lower for the polycrystalline
interface than for the epitaxial interface. However, in both cases, the
hot-electron attenuation length in Ni is found to be the same. This is
elucidated by the temperature-independent inelastic scattering, transmission
probabilities across the Schottky interface, and scattering at dissimilar
interfaces.


title: The Host Galaxies of Long-Duration Gamma-Ray Bursts

abstract:
  Long-duration gamma-ray bursts (LGRBs) are the signatures of extraordinarily
high-energy events occurring in our universe. Since their discovery, we have
determined that these events are produced during the core-collapse deaths of
rare young massive stars. The host galaxies of LGRBs are an excellent means of
probing the environments and populations that produce their unusual
progenitors. In addition, these same young stellar progenitors makes LGRBs and
their host galaxies valuable potentially powerful tracers of star formation and
metallicity at high redshifts. However, properly utilizing LGRBs as probes of
the early universe requires a thorough understanding of their formation and the
host environments that they sample. This review looks back at some of the
recent work on LGRB host galaxies that has advanced our understanding of these
events and their cosmological applications, and considers the many new
questions that we are poised to pursue in the coming years.


title:
Calibrating stellar velocity dispersions based on spatially-resolved
  h-band spectra for improving the m-sigma relation

abstract:
  To calibrate stellar velocity dispersion measurements from optical and
near-IR stellar lines, and to improve the black hole mass (MBH)- stellar
velocity dispersion (sigma) relation, we measure stellar velocity dispersions
based on high quality H-band spectra for a sample of 31 nearby galaxies, for
which dynamical MBH is available in the literature. By comparing velocity
dispersions measured from stellar lines in the H-band with those measured from
optical stellar lines, we find no significant difference, suggesting that
optical and near-IR stellar lines represent the same kinematics and that dust
effect is negligible for early-type galaxies. Based on the spatially-resolved
rotation and velocity dispersion measurements along the major axis of each
galaxy, we find that a rotating stellar disk is present for 80% of galaxies in
the sample. For galaxies with a rotation component, velocity dispersions
measured from a single aperture spectrum can vary by up to ~20%, depending on
the size of the adopted extraction aperture. To correct for the rotational
broadening, we derive luminosity-weighted velocity dispersion within the
effective radius of each galaxy, providing uniformly measured velocity
dispersions to improve the MBH-sigma relation.


title: Secondary Heavy Quark Production in Jets through Mass Modes

abstract:
  We present an effective field theory method to determine secondary massive
quark effects in jet production taking the thrust distribution for e+ e-
collisions in the dijet limit as a concrete example. The method is based on the
field theoretic treatment of collinear and soft mass modes which have to be
separated coherently from the collinear and ultrasoft modes related to massless
quarks and gluons. For thrust the structure of the conceptual setup is closely
related to the production of massive gauge bosons and involves four different
effective field theories to describe all possible kinematic situations. The
effective field theories merge into each other continuously and thus allow for
a continuous description from infinitely heavy to arbitrarily small masses
keeping the exact mass dependence of the most singular terms treated through
factorization. The mass mode field theory method we present here is in the
spirit of the variable fermion number scheme originally proposed by Aivazis,
Collins, Olness and Tung and can also be applied in hadron collisions.


title:
Chirality Sensitive Domain Wall Motion in Spin-Orbit Coupled
  Ferromagnets

abstract:
  Using the Lagrangian formalism, we solve analytically the equations of motion
for current-induced domain-wall dynamics in a ferromagnet with Rashba
spin-orbit coupling. An exact solution for the domain wall velocity is
provided, including the effect of non-equilibrium conduction electron
spin-density, Gilbert damping, and the Rashba interaction parameter. We
demonstrate explicitly that the influence of spin-orbit interaction can be
qualitatively different from the role of non-adiabatic spin-torque in the sense
that the former is sensitive to the chirality of the domain wall whereas the
latter is not: the domain wall velocity shows a reentrant behavior upon
changing the chirality of the domain wall. This could be used to experimentally
distinguish between the spin-orbit and non-adiabatic contribution to the wall
speed. A quantitative estimate for the attainable domain wall velocity is
given, based on an experimentally relevant set of parameters for the system.


title:
Interferometric Upper Limits on Millimeter Polarization of the Disks
  around DG Tau, GM Aur, and MWC 480

abstract:
  Millimeter-wavelength polarization measurements offer a promising method for
probing the geometry of magnetic fields in circumstellar disks. Single dish
observations and theoretical work have hinted that magnetic field geometries
might be predominantly toroidal, and that disks should exhibit millimeter
polarization fractions of 2-3%. While subsequent work has not confirmed these
high polarization fractions, either the wavelength of observation or the target
sources differed from the original observations. Here we present new
polarimetric observations of three nearby circumstellar disks at 2" resolution
with the Submillimeter Array (SMA) and the Combined Array for Research in
Millimeter Astronomy (CARMA). We reobserve GM Aur and DG Tau, the systems in
which millimeter polarization detections have been claimed. Despite higher
resolution and sensitivity at wavelengths similar to the previous observations,
the new observations do not show significant polarization. We also add
observations of a new HAeBe system, MWC 480. These observations demonstrate
that a very low (<0.5%) polarization fraction is probably common at large (>100
AU) scales in bright circumstellar disks. We suggest that high-resolution
observations may be worthwhile to probe magnetic field structure on linear
distances smaller than the disk scale height, as well as in regions closer to
the star that may have larger MRI-induced magnetic field strengths.


title: Chemical enrichment and physical conditions in I Zw 18

abstract:
  Abridged.
  Low-metallicity star-forming dwarf galaxies are prime targets to understand
the chemical enrichment of the interstellar medium. The HI region provides
important constraints on the dispersal and mixing of heavy elements released by
successive star-formation episodes. Our primary objective is to study the
enrichment of the HI region and the interplay between star-formation history
and metallicity evolution.
  We observed the most metal-poor star-forming galaxy in the Local Universe, I
Zw 18, with Hubble/COS. The abundances in the neutral gas are derived from
far-UV absorption-lines (HI, CII, CII*, NI, OI, ...) and are compared to the
abundances in the HII region. Models are constructed to calculate the
ionization structure and the thermal processes. We investigate the gas cooling
in the HI region through physical diagnostics drawn from the fine-structure
level of C+.
  We find that HI region abundances are lower by a factor of ~2 as compared to
the HII region. There is no differential depletion on dust between the HI and
HII region. Using sulfur as a metallicity tracer, we calculate a metallicity of
1/46 solar (vs. 1/31 in the HII region). From the study of abundance ratios, we
propose that C, N, O, and Fe are mainly produced in massive stars. We argue
that the HI envelope may contain pockets of pristine gas with a metallicity
essentially null. Finally, we derive the physical conditions in the HI region
by investigating the CII* absorption line. The cooling rate derived from CII*
is consistent with collisions with H atoms in the diffuse neutral gas. We
calculate the star-formation rate from the CII* cooling rate assuming that
photoelectric effect on dust is the dominant gas heating mechanism. Our
determination is in good agreement with the values in the literature if we
assume a low dust-to-gas ratio (~2000 times lower than the Milky Way value).


title:
Thermodynamic signatures for topological phase transitions to Majorana
  and Weyl superfluids in ultracold Fermi gases

abstract:
  We discuss the thermodynamic signatures for the topological phase transitions
into Majorana and Weyl superfluid phases in ultracold Fermi gases in two and
three dimensions in the presence of Rashba spin-orbit coupling and a Zeeman
field. We analyze the thermodynamic properties exhibiting the distinct nature
of the topological phase transitions linked with the Majorana fermions (2D
Fermi gas) and Weyl fermions (3D Fermi gas) which can be observed
experimentally, including pressure, chemical potential, isothermal
compressibility, entropy, and specific heat, as a function of the interaction
and the Zeeman field at both zero and finite temperatures. We conclude that
among the various thermodynamic quantities, the isothermal compressibility and
the chemical potential as a function of the artificial Zeeman field have the
strongest signatures of the topological transitions in both two and three
dimensions.


title:
Improper s-wave symmetry for the electronic pairing in iron-based
  superconductors by first-principles calculation

abstract:
  By means of space-group symmetry arguments, we argue that the electronic
pairing in iron-based high temperature superconductors shows a structure which
is a linear combination of planar s-wave and d-wave symmetry channels, both
preserving the 3-dimensional A_1g irreducible representation of the
corresponding crystal point-group. We demonstrate that the s- and d-wave
channels are determined by the parity under reflection of the electronic
orbitals through the iron planes, and by improper rotations around the iron
sites. We provide evidence of these general properties by performing accurate
quantum Monte Carlo ab-initio calculations of the pairing function, for a FeSe
lattice with tetragonal experimental geometry at ambient pressure. We find that
this picture survives even in the FeSe under pressure and at low temperatures,
when the tetragonal point-group symmetry is slightly broken. In order to
achieve a higher resolution in momentum space we introduce a BCS model that
faithfully describes our QMC variational pairing function on the simulated 4x4
FeSe unit cell. This allows us to provide a k-resolved image of the pairing
function, and show that non-isotropic contributions in the BCS gap function are
related to the improper s-wave symmetry. Our theory can rationalize and explain
a series of contradictory experimental findings, such as the observation of
twofold symmetry in the FeSe superconducting phase, the anomalous drop of T_c
with Co-impurity in LaFeAsO_(1-x)F_x, the s-to-d-wave gap transition in
BaFe_2As_2 under K doping, and the nodes appearing in the LiFeAs
superconducting gap upon P isovalent substitution.


title: Orbital Resonance Mode in Superconducting Iron Pnictides

abstract:
  We show that the fluctuations associated with ferro orbital order in the
$d_{xz}$ and $d_{yz}$ orbitals can develop a sharp resonance mode in the
superconducting state with a nodeless gap on the Fermi surface. This orbital
resonance mode appears below the particle-hole continuum and is analogous to
the magnetic resonance mode found in various unconventional superconductors. If
the pairing symmetry is $s_{\pm}$, a dynamical coupling between the orbital
ordering and the d-wave subdominant pairing channels is present by symmetry.
Therefore the nature of the resonance mode depends on the relative strengths of
the fluctuations in these two channels, which could vary significantly for
different families of the iron based superconductors. The application of our
theory to a recent observation of a new $\delta$-function-like peak in the
B$_{1g}$ Raman spectrum of Ba$_{0.6}$K$_{0.4}$Fe$_2$As$_2$ is discussed.


title:
LHC Missing-Transverse-Energy Constraints on Models with Universal Extra
  Dimensions

abstract:
  We consider the performance of the ATLAS and CMS searches for events with
missing transverse energy, which were originally motivated by supersymmetry, in
constraining extensions of the Standard Model based on extra dimensions, in
which the mass differences between recurrences at the same level are
generically smaller than the mass hierarchies in typical supersymmetric models.
We consider first a toy model with pair-production of a single vector-like
quark U1 decaying into a spin-zero stable particle A1 and jet, exploring the
sensitivity of the CMS alphaT and ATLAS meff analysis to U1 mass and the U1-A1
mass difference. For this purpose we use versions of the Delphes generic
detector simulation with CMS and ATLAS cards, which have been shown to
reproduce the published results of CMS and ATLAS searches for supersymmetry. We
then explore the sensitivity of these searches to a specific model with two
universal extra dimensions, whose signal is dominated by the pair production of
quark recurrences, including searches with leptons. We find that the LHC
searches have greater sensitivity to this more realistic model, due partly to
the contributions of signatures with leptons, and partly to events with large
missing transverse energy generated by the decays of higher-level Kaluza-Klein
recurrences. We find that the CMS alphaT analysis with ~5/fb of data at 7 TeV
excludes a recurrence scale of 600 GeV at a confidence level above 99%,
increasing to 99.9% when combined with the CMS single-lepton search, whereas a
recurrence scale of 700 GeV is disfavoured at the 72% confidence level.


title: Noncommutative stable homotopy theory

abstract:
  We construct Kasparov's bifunctor $KK$ and $E$-theory by stable homotopy
theoretic methods. This is motivated by results concerning constructions of
bivariant theories on more general categories such as, for example,
bornological algebras. The details of the construction have interesting
applications to groups of extensions.


title:
Tuning up the performance of GaAs-based solar cells by inelastic
  scattering on quantum dots and doping of AlyGa1-ySb type-II dots and
  AlxGa1-xAs spacers between dots

abstract:
  We used AlGaSb/AlGaAs material system for a theoretical study of photovoltaic
performance of the proposed GaAs-based solar cell in which the type-II quantum
dot (QDs) absorber is spatially separated from the depletion region. Due to
inelastic scattering of photoelectrons on QDs and proper doping of both QDs and
their spacers, concentrated sunlight is predicted to quench recombination
through QDs. Our calculation shows that 500-sun concentration can increase the
Shockley-Queisser limit from 35% to 40% for GaAs single-junction solar cells.


title: Perturbed Recombination from Dark Matter Annihilation

abstract:
  We show that dark matter annihilation around the time of recombination can
lead to growing ionization fraction perturbations, that track the linear
collapse of matter over-densities. This amplifies small scale cosmological
perturbations to the free electron density by a significant amount compared to
the usual acoustic oscillations. Electron density perturbations distort the
CMB, inducing secondary non-gaussianity. We calculate the CMB bispectrum from
recombination, that is marginally observable by Planck. Even though electron
perturbations can be markedly boosted compared with the Standard Model
prediction, the dark matter effect in the CMB bispectrum turns out to be small
and will be difficult to disentangle from the standard model in the foreseeable
future.


title: Testing Dark Matter Clustering with Redshift Space Distortions

abstract:
  The growth rate of large scale structure can probe whether dark matter
clusters at gravitational strength or deviates from this, e.g. due to self
interactions. Measurement of the growth rate through redshift space distortions
in galaxy redshift surveys constrains the clustering strength, and its redshift
dependence. We compare such effects on growth to those from high redshift
deviations (e.g. early dark energy) or modified gravity, and give a simple,
highly accurate analytic prescription. Current observations can constrain the
dark matter clustering strength to F_{cl}=0.99\pm0.02 of standard, if all other
parameters are held fixed, but substantial covariances exist. Future galaxy
redshift surveys may constrain an evolving clustering strength to 28%,
marginalizing over the other parameters, or 4% if the dark energy parameters
are held fixed while fitting for dark matter growth. Tighter constraints on the
nature of dark matter could be obtained by combining cosmological and
astrophysical probes.


title: Channel-Aware Random Access in the Presence of Channel Estimation Errors

abstract:
  In this work, we consider the random access of nodes adapting their
transmission probability based on the local channel state information (CSI) in
a decentralized manner, which is called CARA. The CSI is not directly available
to each node but estimated with some errors in our scenario. Thus, the impact
of imperfect CSI on the performance of CARA is our main concern. Specifically,
an exact stability analysis is carried out when a pair of bursty sources are
competing for a common receiver and, thereby, have interdependent services. The
analysis also takes into account the compound effects of the multipacket
reception (MPR) capability at the receiver. The contributions in this paper are
twofold: first, we obtain the exact stability region of CARA in the presence of
channel estimation errors; such an assessment is necessary as the errors in
channel estimation are inevitable in the practical situation. Secondly, we
compare the performance of CARA to that achieved by the class of stationary
scheduling policies that make decisions in a centralized manner based on the
CSI feedback. It is shown that the stability region of CARA is not necessarily
a subset of that of centralized schedulers as the MPR capability improves.


title: The exceptional set and the Green-Griffiths locus do not always coincide

abstract:
  We give a very simple criterion in order to ensure that the Green-Griffiths
locus of a projective manifold is the whole manifold. Next, we use it to show
that the Green-Griffiths locus of any projective manifold uniformized by a
bounded symmetric domain of rank greater than one is the whole manifold. In
particular, this clarifies an old example given by M. Green to S. Lang.


title: The Schur-Horn theorem for operators with finite spectrum

abstract:
  We characterize the set of diagonals of the unitary orbit of a self-adjoint
operator with a finite spectrum. Our result extends the Schur-Horn theorem from
a finite dimensional setting to an infinite dimensional Hilbert space analogous
to Kadison's theorem for orthogonal projections and the second author's result
for operators with three point spectrum.


title: Long range trap models on Z and quasistable processes

abstract:
  Let $\mathcal X=\{\mathcal X_t:\, t\geq0,\, \mathcal X_0=0\}$ be a mean zero
$\beta$-stable random walk on $\mathbb{Z}$ with inhomogeneous jump rates
$\{\tau_i^{-1}: i\in\mathbb{Z}\}$, with $\beta\in(1,2]$ and $\{\tau_i:
i\in\mathbb{Z}\}$ a family of independent random variables with common marginal
distribution in the basin of attraction of an $\alpha$-stable law,
$\alpha\in(0,1)$. In this paper we derive results about the long time behavior
of this process, in particular its scaling limit, given by a $\beta$-stable
process time-changed by the inverse of another process, involving the local
time of the $\beta$-stable process and an independent $\alpha$-stable
subordinator; we call the resulting process a quasistable process. Another such
result concerns aging. We obtain an (integrated) aging result for $\mathcal X$.


title: A Homological Approach to Factorization

abstract:
  Mott noted a one-to-one correspondence between saturated multiplicatively
closed subsets of a domain D and directed convex subgroups of the group of
divisibility D. With this, we construct a functor between inclusions into
saturated localizations of D and projections onto partially ordered quotient
groups of G(D). We use this functor to construct many cochain complexes of
o-homomorphisms of po-groups. These complexes naturally lead to some
fundamental structure theorems and some natural homology theory that provide
insight into the factorization behavior of D.


title: Predicting Intermediate Storage Performance for Workflow Applications

abstract:
  Configuring a storage system to better serve an application is a challenging
task complicated by a multidimensional, discrete configuration space and the
high cost of space exploration (e.g., by running the application with different
storage configurations). To enable selecting the best configuration in a
reasonable time, we design an end-to-end performance prediction mechanism that
estimates the turn-around time of an application using storage system under a
given configuration. This approach focuses on a generic object-based storage
system design, supports exploring the impact of optimizations targeting
workflow applications (e.g., various data placement schemes) in addition to
other, more traditional, configuration knobs (e.g., stripe size or replication
level), and models the system operation at data-chunk and control message
level.
  This paper presents our experience to date with designing and using this
prediction mechanism. We evaluate this mechanism using micro- as well as
synthetic benchmarks mimicking real workflow applications, and a real
application.. A preliminary evaluation shows that we are on a good track to
meet our objectives: it can scale to model a workflow application run on an
entire cluster while offering an over 200x speedup factor (normalized by
resource) compared to running the actual application, and can achieve, in the
limited number of scenarios we study, a prediction accuracy that enables
identifying the best storage system configuration.


title:
Finite-time Consensus for Multi-agent Networks with Unknown Inherent
  Nonlinear Dynamics

abstract:
  This paper focuses on analyzing the finite-time convergence of a nonlinear
consensus algorithm for multi-agent networks with unknown inherent nonlinear
dynamics. Due to the existence of the unknown inherent nonlinear dynamics, the
stability analysis and the finite-time convergence analysis of the closed-loop
system under the proposed consensus algorithm are more challenging than those
under the well-studied consensus algorithms for known linear systems. For this
purpose, we propose a novel stability tool based on a generalized comparison
lemma. With the aid of the novel stability tool, it is shown that the proposed
nonlinear consensus algorithm can guarantee finite-time convergence if the
directed switching interaction graph has a directed spanning tree at each time
interval. Specifically, the finite-time convergence is shown by comparing the
closed-loop system under the proposed consensus algorithm with some
well-designed closed-loop system whose stability properties are easier to
obtain. Moreover, the stability and the finite-time convergence of the
closed-loop system using the proposed consensus algorithm under a (general)
directed switching interaction graph can even be guaranteed by the stability
and the finite-time convergence of some special well-designed nonlinear
closed-loop system under some special directed switching interaction graph,
where each agent has at most one neighbor whose state is either the maximum of
those states that are smaller than its own state or the minimum of those states
that are larger than its own state. This provides a stimulating example for the
potential applications of the proposed novel stability tool in the stability
analysis of linear/nonlinear closed-loop systems by making use of known results
in linear/nonlinear systems. For illustration of the theoretical result, we
provide a simulation example.


title:
Carbon-19 in Halo EFT: Effective-range parameters from
  Coulomb-dissociation experiments

abstract:
  We study the Coulomb dissociation of the 19C nucleus in an effective field
theory that uses the 18C core and the neutron as effective degrees of freedom
and exploits the separation of scales in this halo system. We extract the
effective-range parameters and the separation energy of the halo neutron from
the experimental data taken at RIKEN by Nakamura et al. We obtain a value of
(575 +/- 55(stat.) +/- 20(EFT)) keV for the one-neutron separation energy of
19C, and (7.75 +/- 0.35(stat.) +/- 0.3(EFT)) fm for the 18C-neutron scattering
length. The width of the longitudinal momentum distribution predicted by EFT
using this separation energy agrees well with the experimental data taken at
NSCL by Bazin et al., reaffirming the dominance of the s-wave configuration of
the valence neutron.


title: Compactness of powers of \omega

abstract:
  We characterize exactly the compactness properties of the product of \kappa\
copies of the space \omega\ with the discrete topology. The characterization
involves uniform ultrafilters, infinitary languages, and the existence of
nonstandard elements in elementary estensions. We also have results involving
products of possibly uncountable regular cardinals.


title:
An Algorithm for Precise Aperture Photometry of Critically Sampled
  Images

abstract:
  We present an algorithm for performing precise aperture photometry on
critically sampled astrophysical images. The method is intended to overcome the
small-aperture limitations imposed by point-sampling. Aperture fluxes are
numerically integrated over the desired aperture, with sinc-interpolation used
to reconstruct values between pixel centers. Direct integration over the
aperture is computationally intensive, but the integrals in question are shown
to be convolution integrals and can be computed ~10000x faster as products in
the wave-number domain. The method works equally well for annular and
elliptical apertures and could be adapted for any geometry. A sample of code is
provided to demonstrate the method.


title: Design Features for the Social Web: The Architecture of Deme

abstract:
  We characterize the "social Web" and argue for several features that are
desirable for users of socially oriented web applications. We describe the
architecture of Deme, a web content management system (WCMS) and extensible
framework, and show how it implements these desired features. We then compare
Deme on our desiderata with other web technologies: traditional HTML, previous
open source WCMSs (illustrated by Drupal), commercial Web 2.0 applications, and
open-source, object-oriented web application frameworks. The analysis suggests
that a WCMS can be well suited to building social websites if it makes more of
the features of object-oriented programming, such as polymorphism, and class
inheritance, available to non-programmers in an accessible vocabulary.


title: Elasticity in polynomial-type extensions

abstract:
  The elasticity of an atomic integral domain is, in some sense, a measure of
how far the domain is from being a unique factorization domain (or, more
properly, a half-factorial domain). We consider the relationship between the
elasticity of a domain, R, and the elasticity of its polynomial ring R[x]. For
example, if R has at least one atom, a sufficient condition for the polynomial
ring R[x] to have elasticity 1 is that every nonconstant irreducible polynomial
f in R[x] be irreducible in K[x]. We will determine the integral domains R
whose polynomial rings satisfy this condition.


title: Low-power Secret-key Agreement over OFDM

abstract:
  Information-theoretic secret-key agreement is perhaps the most practically
feasible mechanism that provides unconditional security at the physical layer
to date. In this paper, we consider the problem of secret-key agreement by
sharing randomness at low power over an orthogonal frequency division
multiplexing (OFDM) link, in the presence of an eavesdropper. The low power
assumption greatly simplifies the design of the randomness sharing scheme, even
in a fading channel scenario. We assess the performance of the proposed system
in terms of secrecy key rate and show that a practical approach to key sharing
is obtained by using low-density parity check (LDPC) codes for information
reconciliation. Numerical results confirm the merits of the proposed approach
as a feasible and practical solution. Moreover, the outage formulation allows
to implement secret-key agreement even when only statistical knowledge of the
eavesdropper channel is available.


title:
The single-electron transport in a three-ion magnetic molecule modulated
  by a transverse field

abstract:
  We study single-electron transport in a three-ion molecule with strong
uniaxial anisotropy and in the presence of a transverse magnetic field. Two
magnetic ions are connected to each other through a third, nonmagnetic ion. The
magnetic ions are coupled to ideal metallic leads and a back gate voltage is
applied to the molecule, forming a field-effect transistor. The microscopic
Hamiltonian describing this system includes inter-ion hopping, on-site
repulsions, and magnetic anisotropies. For a range of values of the parameters
of the Hamiltonian, we obtain an energy spectrum similar to that of
single-molecule magnets in the giant-spin approximation where the two states
with maximum spin projection along the uniaxial anisotropy axis are well
separated from other states. In addition, upon applying an external in-plane
magnetic field, the energy gap between the ground and first excited states of
the molecule oscillates, going to zero at certain special values of the field,
in analogy to the diabolical points resulting from Berry phase interference in
the giant spin model. Thus, our microscopic model provides the same
phenomenological behavior expected from the giant spin model of a
single-molecule magnet but with direct access to the internal structure of the
molecule, thus making it more appropriate for realistic electronic transport
studies. To illustrate this point, the nonlinear electronic transport in the
sequential tunneling regime is evaluated for values of the field near these
degeneracy points. We show that the existence of these points has a clear
signature in the I-V characteristics of the molecule, most notably the
modulation of excitation lines in the differential conductance.


title: Degenerations of Complex Dynamical Systems

abstract:
  We show that the weak limit of the maximal measures for any degenerating
sequence of rational maps on the Riemann sphere must be a countable sum of
atoms. For a 1-parameter family f_t of rational maps, we refine this result by
showing that the measures of maximal entropy have a unique limit on the Riemann
sphere as the family degenerates. The family f_t may be viewed as a single
rational function on the Berkovich projective line over the completion of the
field of formal Puiseux series in t, and the limiting measure on the Riemann
sphere is the "residual measure" associated to the equilibrium measure on the
Berkovich line. For the proof, we introduce a new technique for quantizing
measures on the Berkovich projective line and demonstrate the uniqueness of
solutions to a quantized version of the pullback formula for the equilibrium
measure there.


title: Optimization of spin-torque switching using AC and DC pulses

abstract:
  We explore spin-torque induced magnetic reversal in magnetic tunnel junctions
using combined AC and DC spin-current pulses. We calculate the optimal pulse
times and current strengths for both AC and DC pulses as well as the optimal AC
signal frequency, needed to minimize the Joule heat lost during the switching
process. The results of this optimization are compared against numeric
simulations. Finally we show how this optimization leads to different dynamic
regimes, where switching is optimized by either a purely AC or DC spin-current,
or a combination AC/DC spin-current, depending on the anisotropy energies and
the spin-current polarization.


title:
A Comment on Continuous Spin Representations of the Poincar\'e Group and
  Perturbative String Theory

abstract:
  We make a simple observation that the massless continuous spin
representations of the Poincar\'e group are not present in perturbative string
theory constructions. This represents one of the very few model-independent
low-energy consequences of these models.


title: Time-dependent information transmission in a model regulatory circuit

abstract:
  Many biological regulatory systems process signals out of steady state and
respond with a physiological delay. A simple model of regulation which respects
these features shows how the ability of a delayed output to transmit
information is limited: at short times by the timescale of the dynamic input,
at long times by that of the dynamic output. We find that topologies of
maximally informative networks correspond to commonly occurring biological
circuits linked to stress response and that circuits functioning out of steady
state may exploit absorbing states to transmit information optimally.


title:
Optimal Discriminant Functions Based On Sampled Distribution Distance
  for Modulation Classification

abstract:
  In this letter, we derive the optimal discriminant functions for modulation
classification based on the sampled distribution distance. The proposed method
classifies various candidate constellations using a low complexity approach
based on the distribution distance at specific testpoints along the cumulative
distribution function. This method, based on the Bayesian decision criteria,
asymptotically provides the minimum classification error possible given a set
of testpoints. Testpoint locations are also optimized to improve classification
performance. The method provides significant gains over existing approaches
that also use the distribution of the signal features.


title:
A theoretical framework for conducting multi-level studies of complex
  social systems with agent-based models and empirical data

abstract:
  A formal but intuitive framework is introduced to bridge the gap between data
obtained from empirical studies and that generated by agent-based models. This
is based on three key tenets. Firstly, a simulation can be given multiple
formal descriptions corresponding to static and dynamic properties at different
levels of observation. These can be easily mapped to empirically observed
phenomena and data obtained from them. Secondly, an agent-based model generates
a set of closed systems, and computational simulation is the means by which we
sample from this set. Thirdly, properties at different levels and statistical
relationships between them can be used to classify simulations as those that
instantiate a more sophisticated set of constraints. These can be validated
with models obtained from statistical models of empirical data (for example,
structural equation or multi-level models) and hence provide more stringent
criteria for validating the agent-based model itself.


title: Antiferromagnetism in hexagonal graphene structures: Rings vs dots

abstract:
  The mean-field Hubbard model is used to investigate the formation of the
antiferromagnetic phase in hexagonal graphene rings with inner zigzag edges.
The outer edge of the ring was taken to be either zigzag or armchair, and we
found that both types of structures can have a larger antiferromagnetic
interaction as compared with hexagonal dots. This difference could be partially
ascribed to the larger number of zigzag edges per unit area in rings than in
dots. Furthermore, edge states localized on the inner ring edge are found to
hybridize differently than the edge states of dots, which results in important
differences in the magnetism of graphene rings and dots. The largest staggered
magnetization is found when the outer edge has a zigzag shape. However, narrow
rings with armchair outer edge are found to have larger staggered magnetization
than zigzag hexagons. The edge defects are shown to have the least effect on
magnetization when the outer ring edge is armchair shaped.


title: Universal Outlier Hypothesis Testing

abstract:
  Outlier hypothesis testing is studied in a universal setting. Multiple
sequences of observations are collected, a small subset of which are outliers.
A sequence is considered an outlier if the observations in that sequence are
distributed according to an ``outlier'' distribution, distinct from the
``typical'' distribution governing the observations in all the other sequences.
Nothing is known about the outlier and typical distributions except that they
are distinct and have full supports. The goal is to design a universal test to
best discern the outlier sequence(s). It is shown that the generalized
likelihood test is universally exponentially consistent under various settings.
The achievable error exponent is also characterized. In the other settings, it
is also shown that there cannot exist any universally exponentially consistent
test.


title:
The temperature dependence of quantum spin pumping generated using
  electron spin resonance with three-magnon splittings

abstract:
  On the basis of the Schwinger-Keldysh formalism, we have closely investigated
the temperature dependence of quantum spin pumping by electron spin resonance.
We have clarified that three-magnon splittings excite non-zero modes of magnons
and characterize the temperature dependence of quantum spin pumping. Our
theoretical result qualitatively agrees with the experiment by Czeschka et al.
that the mixing conductance is little influenced by temperature [F. D. Czeschka
et al., Phys. Rev. Lett., 107, 046601 (2011)].

categories: cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Bi-Lipschitz A-equivalence of K-equivalent map germs

abstract:
  In this paper, two sufficient conditions are provided for given two
K-equivalent map-germs to be bi-Lipschitz A-equivalent. These are Lipschitz
analogues of the known results on C^r-A-equivalence $(0 \leq r \leq \infty)$
for given two K-equivalent map-germs. As a corollary of one of our results, a
Lipschitz version of the well-known Fukuda-Fukuda theorem is provided.


title: Failure Data Analysis of HPC Systems

abstract:
  Continuous availability of HPC systems built from commodity components have
become a primary concern as system size grows to thousands of processors. In
this paper, we present the analysis of 8-24 months of real failure data
collected from three HPC systems at the National Center for Supercomputing
Applications (NCSA) during 2001-2004. The results show that the availability is
98.7-99.8% and most outages are due to software halts. On the other hand, the
downtime are mostly contributed by hardware halts or scheduled maintenance. We
also used failure clustering analysis to identify several correlated failures.


title:
Proceedings 10th International Workshop on Formal Engineering Approaches
  to Software Components and Architectures

abstract:
  These are the proceedings of the 10th International Workshop on Formal
Engineering approaches to Software Components and Architectures (FESCA). The
workshop was held on March 23, 2013 in Rome (Italy) as a satellite event to the
European Joint Conference on Theory and Practice of Software (ETAPS'13).
  The aim of the FESCA workshop is to bring together both young and senior
researchers from formal methods, software engineering, and industry interested
in the development and application of formal modelling approaches as well as
associated analysis and reasoning techniques with practical benefits for
component-based software engineering.
  FESCA aims to address the open question of how formal methods can be applied
effectively to these new contexts and challenges. FESCA is interested in both
the development and application of formal methods in component-based
development and tries to cross-fertilize their research and application.


title: Electroweak Baryogenesis And The Fermi Gamma-Ray Line

abstract:
  Many particle physics models attempt to explain the 130 GeV gamma-ray feature
that the Fermi-LAT observes in the Galactic Center. Neutralino dark matter in
non-minimal supersymmetric models, such as the NMSSM, is an especially
well-motivated theoretical setup which can explain the line. We explore the
possibility that regions of the NMSSM consistent with the 130 GeV line can also
produce the observed baryon asymmetry of the universe via electroweak
baryogenesis. We find that such regions can in fact accommodate a strongly
first-order electroweak phase transition (due to the singlet contribution to
the effective potential), while also avoiding a light stop and producing a
Standard Model-like Higgs in the observed mass range. Simultaneously,
CP-violation from a complex phase in the wino-higgsino sector can account for
the observed baryon asymmetry through resonant sources at the electroweak phase
transition, while satisfying current constraints from dark matter, collider,
and electric dipole moment (EDM) experiments. This result is possible by virtue
of a relatively light pseudoscalar Higgs sector with a small degree of mixing,
which yields efficient s-channel resonant neutralino annihilation consistent
with indirect detection constraints, and of the moderate values of $\mu$
required to obtain a bino-like LSP consistent with the line. The wino mass is
essentially a free parameter which one can tune to satisfy electroweak
baryogenesis. Thus, the NMSSM framework can potentially explain the origins of
both baryonic and dark matter components in the Universe. The tightness of the
constraints we impose on this scenario makes it extraordinarily predictive, and
conclusively testable in the near future by modest improvements in EDM and dark
matter search experiments.


title:
High-power mid-infrared frequency comb source based on a femtosecond
  Er:fiber oscillator

abstract:
  We report on a high-power mid-infrared frequency comb source based on a
femtosecond Er:fiber oscillator with a stabilized repetition rate at 250 MHz.
The mid-infrared frequency comb is produced through difference frequency
generation in a periodically poled MgO-doped lithium niobate crystal. The
output power is about 120 mW with a pulse duration of about 80 fs, and spectrum
coverage from 2.9 to 3.6 um. The coherence properties of the produced
high-power broadband mid-infrared frequency comb are maintained, which was
verified by heterodyne measurements. As the first application, the spectrum of
a ~200 ppm methane-air mixture in a short 20 cm glass cell at ambient
atmospheric pressure and temperature was measured.


title: A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

abstract:
  We present a labelled sequent calculus for Boolean BI, a classical variant of
O'Hearn and Pym's logic of Bunched Implication. The calculus is simple, sound,
complete, and enjoys cut-elimination. We show that all the structural rules in
our proof system, including those rules that manipulate labels, can be
localised around applications of certain logical rules, thereby localising the
handling of these rules in proof search. Based on this, we demonstrate a free
variable calculus that deals with the structural rules lazily in a constraint
system. A heuristic method to solve the constraints is proposed in the end,
with some experimental results.


title:
An Optical Watermarking Solution for Color Personal Identification
  Pictures

abstract:
  This paper presents a new approach for embedding authentication information
into image on printed materials based on optical projection technique. Our
experimental setup consists of two parts, one is a common camera, and the other
is a LCD projector, which project a pattern on personnel's body (especially on
the face). The pattern, generated by a computer, act as the illumination light
source with sinusoidal distribution and it is also the watermark signal. For a
color image, the watermark is embedded into the blue channel. While we take
pictures (256 *256 and 512*512, 567*390 pixels, respectively), an invisible
mark is embedded directly into magnitude oefficients of Discrete Fourier
transform (DFT) at exposure moment. Both optical an d digital correlation is
suitable for detection of this type of watermark. The decoded watermark is a
set of concentric circles or sectors in the DFT domain (middle frequencies
region) which is robust to photographing, printing and scanning. The unlawful
people modify or replace the original photograph, and make fake passport
(drivers' license and so on). Experiments show, it is difficult to forge
certificates in which a watermark was embedded by our projector-camera
combination based on analogue watermark method rather than classical digital
method.


title:
A Distributed Approach to Interference Alignment in OFDM-based
  Two-tiered Networks

abstract:
  In this contribution, we consider a two-tiered network and focus on the
coexistence between the two tiers at physical layer. We target our efforts on a
long term evolution advanced (LTE-A) orthogonal frequency division multiple
access (OFDMA) macro-cell sharing the spectrum with a randomly deployed second
tier of small-cells. In such networks, high levels of co-channel interference
between the macro and small base stations (MBS/SBS) may largely limit the
potential spectral efficiency gains provided by the frequency reuse 1. To
address this issue, we propose a novel cognitive interference alignment based
scheme to protect the macro-cell from the cross-tier interference, while
mitigating the co-tier interference in the second tier. Remarkably, only local
channel state information (CSI) and autonomous operations are required in the
second tier, resulting in a completely self-organizing approach for the SBSs.
The optimal precoder that maximizes the spectral efficiency of the link between
each SBS and its served user equipment is found by means of a distributed
one-shot strategy. Numerical findings reveal non-negligible spectral efficiency
enhancements with respect to traditional time division multiple access
approaches at any signal to noise (SNR) regime. Additionally, the proposed
technique exhibits significant robustness to channel estimation errors,
achieving remarkable results for the imperfect CSI case and yielding consistent
performance enhancements to the network.


title: Cognitive Orthogonal Precoder for Two-tiered Networks Deployment

abstract:
  In this work, the problem of cross-tier interference in a two-tiered
(macro-cell and cognitive small-cells) network, under the complete spectrum
sharing paradigm, is studied. A new orthogonal precoder transmit scheme for the
small base stations, called multi-user Vandermonde-subspace frequency division
multiplexing (MU-VFDM), is proposed. MU-VFDM allows several cognitive small
base stations to coexist with legacy macro-cell receivers, by nulling the
small- to macro-cell cross-tier interference, without any cooperation between
the two tiers. This cleverly designed cascaded precoder structure, not only
cancels the cross-tier interference, but avoids the co-tier interference for
the small-cell network. The achievable sum-rate of the small-cell network,
satisfying the interference cancelation requirements, is evaluated for perfect
and imperfect channel state information at the transmitter. Simulation results
for the cascaded MU-VFDM precoder show a comparable performance to that of
state-of-the-art dirty paper coding technique, for the case of a dense cellular
layout. Finally, a comparison between MU-VFDM and a standard complete spectrum
separation strategy is proposed. Promising gains in terms of achievable
sum-rate are shown for the two-tiered network w.r.t. the traditional bandwidth
management approach.


title:
Anomalous metallic state above the upper critical field of the
  conventional three-dimensional superconductor AgSnSe2 with strong intrinsic
  disorder

abstract:
  We report superconducting properties of AgSnSe2 which is a conventional
type-II superconductor in the very dirty limit due to intrinsically strong
electron scatterings. While this material is an isotropic three-dimensional
(3D) superconductor with a not-so-short coherence length where strong vortex
fluctuations are NOT expected, we found that the magnetic-field-induced
resistive transition at fixed temperatures becomes increasingly broader toward
zero temperature and, surprisingly, that this broadened transition is taking
place largely ABOVE the upper critical field determined thermodynamically from
the specific heat. This result points to the existence of an anomalous metallic
state possibly caused by quantum phase fluctuations in a strongly-disordered 3D
superconductor.


title:
Layered Interference Networks with Delayed CSI: DoF Scaling with
  Distributed Transmitters

abstract:
  The layered interference network is investigated with delayed channel state
information (CSI) at all nodes. It is demonstrated how multi-hopping can be
utilized to increase the achievable degrees of freedom (DoF). In particular, a
multi-phase transmission scheme is proposed for the $K$-user $2K$-hop
interference network in order to systematically exploit the layered structure
of the network and delayed CSI to achieve DoF values that scale with $K$. This
result provides the first example of a network with distributed transmitters
and delayed CSI whose DoF scales with the number of users.


title:
Numerical formulation of three-dimensional scattering problems for
  optical structures

abstract:
  This paper describes a numerical formulation for calculating wave propagation
with high precision in a three-dimensional system. Yee's discretization scheme
is used to formulate a frequency domain method that is compatible with the
finite-difference time-domain (FDTD) procedure. When the S-matrix satisfies a
unitarity (power flow conservation) condition, the method enables arbitrary
S-matrix elements to be obtained within a numerical error of less than
$10^{-8}$ ($2 \times 10^{-13}$) for double precision format.


title: A possible NN*(1440) quasi-molecular state

abstract:
  Inspired by the recent observation of a narrow resonance-like structure
around 2360 MeV in the p+n to d + \pi 0 + \pi 0 cross section, the possibility
of forming a NN*(1440) quasi-molecular state is investigated by using a meson
exchange model in which the \pi, \sigma, \rho\ and \omega\ exchanges in t- and
u-channels are considered. By adopting the coupling constants extracted from
the relevant NN scattering and N*(1440) decay data, it is found that a
deuteron-like quasi-molecular state of NN*(1440) with a binding energy in the
range of from 2 to 67MeV can be formed. Therefore, it is speculated that the
observed structure around 2360 MeV might be or may have a large component of
the NN*(1440) quasi-molecular state.


title: Non-metallic, non-Fermi-liquid resistivity of FeCrAs from 0 to 17 GPa

abstract:
  An unusual, non-metallic resistivity of the 111 iron-pnictide compound FeCrAs
is shown to be relatively unchanged under pressures of up to 17 GPa. Combined
with our previous finding that this non-metallic behaviour persists from at
least 80 mK to 800 K, this shows that the non-metallic phase is exceptionally
robust. Antiferromagnetic order, with a Neel temperature T_N ~ 125 K at ambient
pressure, is suppressed at a rate of 7.1 +/- 0.1 K/GPa, falling to below 50 K
at 10 GPa. We conclude that formation of a spin-density wave gap at T_N does
not play an important role in the non-metallic resistivity of FeCrAs at low
temperatures.


title: Coherence properties of nanofiber-trapped cesium atoms

abstract:
  We experimentally study the ground state coherence properties of cesium atoms
in a nanofiber-based two-color dipole trap, localized 200 nm away from the
fiber surface. Using microwave radiation to coherently drive the clock
transition, we record Ramsey fringes as well as spin echo signals and infer a
reversible dephasing time $T_2^\ast=0.6$ ms and an irreversible dephasing time
$T_2^\prime=3.7$ ms. By theoretically modelling the signals, we find that, for
our experimental parameters, $T_2^\ast$ and $T_2^\prime$ are limited by the
finite initial temperature of the atomic ensemble and the heating rate,
respectively. Our results represent a fundamental step towards establishing
nanofiber-based traps for cold atoms as a building block in an optical fiber
quantum network.


title: Opportunistic Wireless Energy Harvesting in Cognitive Radio Networks

abstract:
  Wireless networks can be self-sustaining by harvesting energy from ambient
radio-frequency (RF) signals. Recently, researchers have made progress on
designing efficient circuits and devices for RF energy harvesting suitable for
low-power wireless applications. Motivated by this and building upon the
classic cognitive radio (CR) network model, this paper proposes a novel method
for wireless networks coexisting where low-power mobiles in a secondary
network, called secondary transmitters (STs), harvest ambient RF energy from
transmissions by nearby active transmitters in a primary network, called
primary transmitters (PTs), while opportunistically accessing the spectrum
licensed to the primary network. We consider a stochastic-geometry model in
which PTs and STs are distributed as independent homogeneous Poisson point
processes (HPPPs) and communicate with their intended receivers at fixed
distances. Each PT is associated with a guard zone to protect its intended
receiver from ST's interference, and at the same time delivers RF energy to STs
located in its harvesting zone. Based on the proposed model, we analyze the
transmission probability of STs and the resulting spatial throughput of the
secondary network. The optimal transmission power and density of STs are
derived for maximizing the secondary network throughput under the given
outage-probability constraints in the two coexisting networks, which reveal key
insights to the optimal network design. Finally, we show that our analytical
result can be generally applied to a non-CR setup, where distributed wireless
power chargers are deployed to power coexisting wireless transmitters in a
sensor network.


title:
Search for narrow resonances using the dijet mass spectrum in pp
  collisions at sqrt(s) = 8 TeV

abstract:
  Results are presented of a search for the production of new particles
decaying to pairs of partons (quarks, antiquarks, or gluons), in the dijet mass
spectrum in proton-proton collisions at sqrt(s) = 8 TeV. The data sample
corresponds to an integrated luminosity of 4.0 inverse femtobarns, collected
with the CMS detector at the LHC in 2012. No significant evidence for narrow
resonance production is observed. Upper limits are set at the 95% confidence
level on the production cross section of hypothetical new particles decaying to
quark-quark, quark-gluon, or gluon-gluon final states. These limits are then
translated into lower limits on the masses of new resonances in specific
scenarios of physics beyond the standard model. The limits reach up to 4.8 TeV,
depending on the model, and extend previous exclusions from similar searches
performed at lower collision energies. For the first time mass limits are set
for the Randall-Sundrum graviton model in the dijet channel.


title:
Finite Time Ruin Probabilities for Tempered Stable Insurance Risk
  Processes

abstract:
  We study the probability of ruin before time $t$ for the family of tempered
stable L\'evy insurance risk processes, which includes the spectrally positive
inverse Gaussian processes. Numerical approximations of the ruin time
distribution are derived via the Laplace transform of the asymptotic ruin time
distribution, for which we have an explicit expression. These are benchmarked
against simulations based on importance sampling using stable processes.
Theoretical consequences of the asymptotic formulae are found to indicate some
potential drawbacks to the use of the inverse Gaussian process as a risk
reserve process. We offer as alternatives natural generalizations which fall
within the tempered stable family of processes.


title: End to End Verification and Validation with SPIN

abstract:
  Over the last several years the tools used for model checking have become
more efficient and usable. This has enabled users to apply model checking to
industrial-scale problems, however the task of validating the implementation of
the model is usually much harder. In this paper we present an approach to do
end to end verification and validation of a real time system using the SPIN
model checker. Taking the example of the cardiac pacemaker system proposed in
the SQRL Pacemaker Formal Methods Challenge we demonstrate our framework by
building a formal model for the cardiac pacemaker in SPIN, checking for
desirable temporal properties of the model (expressed as LTL formulas),
generating C code from the model (by refinement of PROMELA) and validating the
generated implementation (using SPIN). We argue that a state of the art model
checking tool like SPIN can be used to do formal specification as well as
validation of the implementation. To evaluate our approach we show that our
pacemaker model is expressive enough to derive consistent operating modes and
that the refinement rules preserve LTL properties.


title:
Kronecker product in terms of Hubbard operators and the Clebsch-Gordan
  decomposition of SU(2)xSU(2)

abstract:
  We review the properties of the Kronecker (direct, or tensor) product of
square matrices $A \otimes B \otimes C \cdots$ in terms of Hubbard operators.
In its simplest form, a Hubbard operator $X_n^{i,j}$ can be expressed as the
$n$-square matrix which has entry 1 in position $(i,j)$ and zero in all other
entries. The algebra and group properties of the observables that define a
multipartite quantum system are notably straightforward in such a framework. In
particular, we use the Kronecker product in Hubbard notation to get the
Clebsch-Gordan decomposition of the product group $SU(2) \times SU(2)$.
Finally, the $n$-dimensional irreducible representations so obtained are used
to derive closed forms of the Clebsch-Gordan coefficients that rule the
addition of angular momenta. Our results can be further developed in many
different directions.


title: An Empirical Study of Path Feasibility Queries

abstract:
  In this paper we present a comparative study of path feasibility queries
generated during path exploration based software engineering methods. Symbolic
execution based methods are gaining importance in different aspects of software
engineering e.g. proving properties about programs, test case generation,
comparing different executions of programs. These methods use SMT solvers to
check the satisfiability of path feasibility queries written as a formula in
the supported theories. We study the performance of solving such path
feasibility queries using SMT solvers for real world programs. Our path
condition formulas are generated in a theory of quantifier free bit vectors
with arrays (QF_ABV). We show that among the different SMT solvers, STP is
better than Z3 by an order of magnitude for such kind of queries. As an
application we design a new program analysis (Change Value Analysis) based on
our study which exploits undefined behaviors in programs. We have implemented
our analysis in LLVM and tested it with the benchmark of SIR programs. It
reduces the time taken for solving path feasibility queries by 48%. The study
can serve as guidance to practitioners using path feasibility queries to create
scalable software engineering methods based on symbolic execution.


title: Two Beyond-Primitive Extrasolar Planetesimals

abstract:
  Using the Cosmic Origins Spectrograph onboard the Hubble Space Telescope, we
have obtained high-resolution ultraviolet observations of GD 362 and PG
1225-079, two helium-dominated, externally-polluted white dwarfs. We determined
or placed useful upper limits on the abundances of two key volatile elements,
carbon and sulfur, in both stars; we also constrained the zinc abundance in PG
1225-079. In combination with previous optical data, we find strong evidence
that each of these two white dwarfs has accreted a parent body that has evolved
beyond primitive nebular condensation. The planetesimal accreted onto GD 362
had a bulk composition roughly similar to that of a mesosiderite meteorite
based on a reduced chi-squared comparison with solar system objects; however,
additional material is required to fully reproduce the observed mid-infrared
spectrum for GD 362. No single meteorite can reproduce the unique abundance
pattern observed in PG 1225-079; the best fit model requires a blend of
ureilite and mesosiderite material. From a compiled sample of 9 well-studied
polluted white dwarfs, we find evidence for both primitive planetesimals, which
are a direct product from nebular condensation, as well as beyond-primitive
planetesimals, whose final compositions were mainly determined by post-nebular
processing.


title: Redundancies in Nambu-Goldstone Bosons

abstract:
  We propose a simple criterion to identify when Nambu-Goldstone bosons (NGBs)
for different symmetries are redundant. It solves an old mystery why crystals
have phonons for spontaneously broken translations but no gapless excitations
for equally spontaneously broken rotations. Similarly for a superfluid, the NGB
for spontaneously broken Galilean symmetry is redundant with phonons. The most
nontrivial example is Tkachenko mode for a vortex lattice in a superfluid,
where phonons are redundant to the Tkachenko mode which is identified as the
Boboliubov mode.


title: Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group

abstract:
  We present a number of observables-based proofs of the Kochen-Specker (KS)
theorem based on the N-qubit Pauli group for N >= 4, thus adding to the proofs
that have been presented earlier for the two- and three-qubit groups. These
proofs have the attractive feature that they can be presented in the form of
diagrams from which they are obvious by inspection. They are also irreducible
in the sense that they cannot be reduced to smaller proofs by ignoring some
subset of qubits and/or observables in them. A simple algorithm is given for
transforming any observables-based KS proof into a large number of
projectors-based KS proofs; if the observables-based proof has O observables,
with each observable occurring in exactly two commuting sets and any two
commuting sets having at most one observable in common, the number of
associated projectors-based parity proofs is 2^O. We introduce symbols for the
observables- and projectors-based KS proofs that capture their important
features and also convey a feeling for the enormous variety of both these types
of proofs within the N-qubit Pauli group. We discuss an infinite family of
observables-based proofs, whose members apply to all numbers of qubits from two
up, and show how it can be used to generate projectors-based KS proofs
involving only nine bases (or experimental contexts) in any dimension of the
form 2^N for N >= 2. Some implications of our results are discussed.


title: On twisted large N=4 conformal superalgebras

abstract:
  We explicitly compute the automorphism group of the large N = 4 conformal
superalgebra and classify the twisted loop conformal superalgebras based on the
large N = 4 conformal superalgebra. By considering the corresponding
superconformal Lie algebras, we validate the existence of only two (up to
isomorphism) such algebras as described in the Physics literature.


title:
Topological Response Theory of Abelian Symmetry-Protected Topological
  Phases in Two Dimensions

abstract:
  It has been shown that the symmetry-protected topological (SPT) phases with
finite Abelian symmetries can be described by Chern-Simons field theory. We
propose a topological response theory to uniquely identify the SPT orders,
which allows us to obtain a systematic scheme to classify bosonic SPT phases
with any finite Abelian symmetry group. We point out that even for finite
Abelian symmetry, there exist bosonic SPT phases beyond the current
Chern-Simons theory framework. We also apply the theory to fermionic SPT phases
with $\mathbb{Z}_m$ symmetry and find the classification of SPT phases depends
on the parity of $m$: for even $m$ there are $2m$ classes, $m$ out of which is
intrinsically fermionic SPT phases and can not be realized in any bosonic
system. Finally we propose a classification scheme of fermionic SPT phases for
any finite, Abelian symmetry.


title: Stability of genus five canonical curves

abstract:
  We analyze GIT stability of nets of quadrics in $\mathbb{P}^4$ up to
projective equivalence. Since a general net of quadrics defines a canonically
embedded smooth curve of genus five, the resulting GIT quotient gives a
birational model of the moduli space of genus 5 curves. We study the geometry
of the associated contraction and prove that the constructed GIT quotient is
the final step of the log minimal model program for the moduli space of genus 5
curves.


title:
Energy-Efficient Optimization for Physical Layer Security in
  Multi-Antenna Downlink Networks with QoS Guarantee

abstract:
  In this letter, we consider a multi-antenna downlink network where a secure
user (SU) coexists with a passive eavesdropper. There are two design
requirements for such a network. First, the information should be transferred
in a secret and efficient manner. Second, the quality of service (QoS), i.e.
delay sensitivity, should be take into consideration to satisfy the demands of
real-time wireless services. In order to fulfill the two requirements, we
combine the physical layer security technique based on switched beam
beamforming with an energy-efficient power allocation. The problem is
formulated as the maximization of the secrecy energy efficiency subject to
delay and power constraints. By solving the optimization problem, we derive an
energy-efficient power allocation scheme. Numerical results validate the
effectiveness of the proposed scheme.


title:
Topological phase transitions driven by magnetic phase transitions in
  FexBi2Te3 (0 < x < 0.1) single crystals

abstract:
  We propose a phase diagram for FexBi2Te3 (0 < x < 0.1) single crystals, which
belong to a class of magnetically bulk-doped topological insulators. The
evolution of magnetic correlations from ferromagnetic- to antiferromagnetic-
gives rise to topological phase transitions, where the paramagnetic topological
insulator of Bi2Te3 turns into a band insulator with ferromagnetic-cluster
glassy behaviours around x ~ 0.025, and it further evolves to a topological
insulator with valence-bond glassy behaviours, which spans over the region
between x ~ 0.03 up to x ~ 0.1. This phase diagram is verified by measuring
magnetization, magnetotransport, and angle-resolved photoemission spectra with
theoretical discussions.


title:
Electronic Structures of Graphene Layers on Metal Foil: Effect of Point
  Defects

abstract:
  Here we report a facile method to generate a high density of point defects in
graphene on metal foil and show how the point defects affect the electronic
structures of graphene layers. Our scanning tunneling microscopy (STM)
measurements, complemented by first principle calculations, reveal that the
point defects result in both the intervalley and intravalley scattering of
graphene. The Fermi velocity is reduced in the vicinity area of the defect due
to the enhanced scattering. Additionally, our analysis further points out that
periodic point defects can tailor the electronic properties of graphene by
introducing a significant bandgap, which opens an avenue towards all-graphene
electronics.


title:
Verifying the Consistency of Remote Untrusted Services with
  Conflict-Free Operations

abstract:
  A group of mutually trusting clients outsources a computation service to a
remote server, which they do not fully trust and that may be subject to
attacks. The clients do not communicate with each other and would like to
verify the correctness of the remote computation and the consistency of the
server's responses. This paper presents the Conflict-free Operation
verification Protocol (COP) that ensures linearizability when the server is
correct and preserves fork-linearizability in any other case. All clients that
observe each other's operations are consistent, in the sense that their own
operations and those operations of other clients that they see are
linearizable. If the server forks two clients by hiding an operation, these
clients never again see operations of each other. COP supports wait-free client
operations in the sense that when executed with a correct server,
non-conflicting operations can run without waiting for other clients, allowing
more parallelism than earlier protocols. A conflict arises when an operation
causes a subsequent operation to produce a different output value for the
client who runs it. The paper gives a precise model for the guarantees of COP
and includes a formal analysis that these are achieved.


title:
On a Solution of the Self-Interaction Problem in Kohn-Sham Density
  Functional Theory

abstract:
  We report on a methodology for the treatment of the Coulomb energy and
potential in Kohn-Sham density functional theory that is free from
self-interaction effects. Specifically, we determine the Coulomb potential
given as the functional derivative of the Coulomb energy with respect to the
density, where the Coulomb energy is calculated explicitly in terms of the pair
density of the Kohn-Sham orbitals. This is accomplished by taking advantage of
an orthonormal and complete basis that is an explicit functional of the density
that then allows for the functional differentiation of the pair density with
respect to the density to be performed explicitly. This approach leads to a new
formalism that provides an analytic, closed-form determination of the exchange
potential. This method is applied to one-dimensional model systems and to the
atoms Helium through Krypton based on an exchange only implementation.
Comparison of our total energies (denoted SIF) to those obtained using the
usual Hartree-Fock (HF) and optimized effective potential (OEP) methods reveals
the hierarchy
  $E_{\rm HF} \le E_{\rm OEP} \le E_{\rm SIF}$ that is indicative of the
greater variation freedom implicit in the former two methods.


title: Anisotropy of the Superconducting State in Sr2RuO4

abstract:
  Despite intense studies the exact nature of the order parameter in
superconducting Sr2RuO4 remains unresolved. We have used small-angle neutron
scattering to study the vortex lattice in Sr2RuO4 with the field applied close
to the basal plane, taking advantage of the transverse magnetization. We
measured the intrinsic superconducting anisotropy between the c axis and the
Ru-O basal plane (~60), which greatly exceeds the upper critical field
anisotropy (~20). Our result imposes significant constraints on possible models
of triplet pairing in Sr2RuO4 and raises questions concerning the direction of
the zero spin projection axis.


title:
Towards a Semantic-based Approach for Modeling Regulatory Documents in
  Building Industry

abstract:
  Regulations in the Building Industry are becoming increasingly complex and
involve more than one technical area. They cover products, components and
project implementation. They also play an important role to ensure the quality
of a building, and to minimize its environmental impact. In this paper, we are
particularly interested in the modeling of the regulatory constraints derived
from the Technical Guides issued by CSTB and used to validate Technical
Assessments. We first describe our approach for modeling regulatory constraints
in the SBVR language, and formalizing them in the SPARQL language. Second, we
describe how we model the processes of compliance checking described in the
CSTB Technical Guides. Third, we show how we implement these processes to
assist industrials in drafting Technical Documents in order to acquire a
Technical Assessment; a compliance report is automatically generated to explain
the compliance or noncompliance of this Technical Documents.


title: A real-time beam current density meter

abstract:
  We have developed a real-time beam current density meter for charged particle
beams. It measures the mean current density by collimating a uniform and large
diameter primary beam. The suppression of the secondary electrons and the
deflection of the beam were simulated, and it was tested with a 105 keV Ar7+
ion beam.


title: Probabilistic Frame Induction

abstract:
  In natural-language discourse, related events tend to appear near each other
to describe a larger scenario. Such structures can be formalized by the notion
of a frame (a.k.a. template), which comprises a set of related events and
prototypical participants and event transitions. Identifying frames is a
prerequisite for information extraction and natural language generation, and is
usually done manually. Methods for inducing frames have been proposed recently,
but they typically use ad hoc procedures and are difficult to diagnose or
extend. In this paper, we propose the first probabilistic approach to frame
induction, which incorporates frames, events, participants as latent topics and
learns those frame and event transitions that best explain the text. The number
of frames is inferred by a novel application of a split-merge method from
syntactic parsing. In end-to-end evaluations from text to induced frames and
extracted facts, our method produced state-of-the-art results while
substantially reducing engineering effort.


title: NLP and CALL: integration is working

abstract:
  In the first part of this article, we explore the background of
computer-assisted learning from its beginnings in the early XIXth century and
the first teaching machines, founded on theories of learning, at the start of
the XXth century. With the arrival of the computer, it became possible to offer
language learners different types of language activities such as comprehension
tasks, simulations, etc. However, these have limits that cannot be overcome
without some contribution from the field of natural language processing (NLP).
In what follows, we examine the challenges faced and the issues raised by
integrating NLP into CALL. We hope to demonstrate that the key to success in
integrating NLP into CALL is to be found in multidisciplinary work between
computer experts, linguists, language teachers, didacticians and NLP
specialists.


title:
Contemporaneous aggregation of triangular array of random-coefficient
  AR(1) processes

abstract:
  We discuss contemporaneous aggregation of independent copies of a triangular
array of random-coefficient AR(1) processes with i.i.d. innovations belonging
to the domain of attraction of an infinitely divisible law W. The limiting
aggregated process is shown to exist, under general assumptions on W and the
mixing distribution, and is represented as a mixed infinitely divisible
moving-average. Partial sums process of $ is discussed under the assumption
E(W^2) is finite and a mixing density regularly varying at the "unit root" x=1
with exponent \beta >0. We show that the above partial sums process may exhibit
four different limit behaviors depending on \beta and the L\'evy triplet of W.
Finally, we study the disaggregation problem in spirit of Leipus et al. (2006)
and obtain the weak consistency of the corresponding estimator of the mixing
distribution in a suitable L_2-space.


title:
Angular dependence of resonant inelastic x-ray scattering: a spherical
  tensor expansion

abstract:
  A spherical tensor expansion is carried out to express the resonant inelastic
scattering cross-section as a sum of products of fundamental spectra with
tensors involving wavevectors and polarization vectors of incident and
scattered photons. The expression presented in this paper differs from that of
the influential article by Carra et al. (Phys. Rev. Lett. 74, 3700, 1995)
because it does not omit interference terms between electric dipole and
quadrupole contributions when coupling each photon to itself. Some specific
cases of the spherical tensor expansion are discussed. For example the case of
isotropic samples is considered and the cross-section is expressed as a
combination of only three fundamental spectra for the situation where electric
dipole or electric quadrupole transitions in the absorption process are
followed by electric dipole transitions in the emission. This situation
includes the case of untextured powder samples, which corresponds to the most
frequent situation met experimentally. Finally, it is predicted that some
circular dichroism may be observed on isotropic samples provided that the
circular polarization of the scattered beam can be detected.


title: Bistable transition fronts in R^N

abstract:
  This paper is chiefly concerned with qualitative properties of some
reaction-diffusion fronts. The recently defined notions of transition fronts
generalize the standard notions of traveling fronts. In this paper, we show the
existence and the uniqueness of the global mean speed of bistable transition
fronts in R^N. This speed is proved to be independent of the shape of the level
sets of the fronts. The planar fronts are also characterized in the more
general class of almost-planar fronts with any number of transition layers.
These qualitative properties show the robustness of the notions of transition
fronts. But we also prove the existence of new types of transition fronts in
R^N that are not standard traveling fronts, thus showing that the notions of
transition fronts are broad enough to include other relevant propagating
solutions.


title: Uniqueness property for quasiharmonic functions

abstract:
  In this paper we consider class of continuous functions, called
quasiaharmonic functions, admitting best approximations by harmonic
polynomials. In this class we prove a uniqueness theorem by analogy with the
analytic functions.


title: Harmonic Chain with Weak Dissipation

abstract:
  We consider finite harmonic chain (consisting of N classical particles) plus
dissipative force acting on one particle (called dissipating particle) only. We
want to prove that "in the generic case" the energy (per particle) for the
whole system tends to zero in the large time limit and then in the large N
limit. "In the generic case" means: for almost all initial conditions and for
almost any choice of the dissipating particle, in the thermodynamic limit.


title: Linear Hamiltonian Systems under Microscopic Random Influence

abstract:
  It is known that a linear hamiltonian system has too many invariant measures,
thus the problem of convergence to Gibbs measure has no sense. We consider
linear hamiltonian systems of arbitrary finite dimension and prove that, under
the condition that one distinguished coordinate is subjected to dissipation and
white noise, then, for almost any hamiltonians and almost any initial
conditions, there exists the unique limiting distribution. Moreover, this
distribution is Gibbsian with the temperature depending on the dissipation and
of the variance of the white noise.


title:
Search for correlations between morphological characteristics and the
  crystallite sizes in thin zinc oxide films

abstract:
  Size-property relations in plasma-modified ZnO thin films have been
investigated as a function of plasma treatment duration. The correlations
between crystallite sizes and the morphological characteristics of films have
been extracted on the basis of the frontier computational analysis of the
scanning probe microscope (SPM) data matrices. The nanocluster structure of
oxide films have been studied in detail with high accuracy. The strong
plasma-induced changes in crystallite sizes have been interpreted as a
size-structure phase transition. Direct measurements of X-ray diffraction and
optical transmittance spectra have confirmed the results obtained with
computational approaches. The discovery size-morphology correlations in thin
oxide films might open new avenues ultimately leading towards deeper insight
into unsolved problems of evaluation of optimal technological conditions for
thin oxide film designing.


title: Modular cryostat for ion trapping with surface-electrode ion traps

abstract:
  We present a simple cryostat purpose built for use with surface-electrode ion
traps, designed around an affordable, large cooling power commercial pulse tube
refrigerator. A modular vacuum enclosure with a single vacuum space facilitates
interior access, and enables rapid turnaround and flexiblity for future
modifications. Long rectangular windows provide nearly 360 degrees of optical
access in the plane of the ion trap, while a circular bottom window near the
trap enables NA 0.4 light collection without the need for in-vacuum optics. We
evaluate the system's mechanical and thermal characteristics, and we quantify
ion trapping performance by trapping 40Ca+, finding small stray electric
fields, long ion lifetimes, and low ion heating rates.


title: Flavor mixings and textures of the fermion mass matrices

abstract:
  A comprehensive review of several aspects of fermion mixing phenomenon and
texture specific mass matrices have been presented. Regarding fermion mixings,
implications of unitarity and certain new developments for the CKM paradigm
have been discussed. In the leptonic sector, the question of possibility of CP
violation has been discussed in detail from the unitarity triangle perspective.
In the case of texture specific mass matrices, the issues of viability of
Fritzsch-like as well as non Fritzsch-like mass matrices have been detailed for
both the quark and leptonic sectors. The relationship of textures, naturalness
and weak basis rotations has also been looked into. The issue of the
compatibility of texture specific mass matrices with the SO(10) based GUT mass
matrices has also been discussed.


title:
Non-stationary extremal eigenvalue approximations in iterative solutions
  of linear systems and estimators for relative error

abstract:
  Non-stationary approximations of the final value of a converging sequence are
discussed, and we show that extremal eigenvalues can be reasonably estimated
from the CG iterates without much computation at all. We introduce estimators
of relative error for conjugate gradient (CG)methods that adopt past work on
computationally efficient bounds of the absolute errors using quadrature
formulas. The evaluation of the Gauss quadrature based estimates though,
depends on a priori knowledge of extremal eigenvalues; and the upper bounds in
particular that are useful as a stopping criterion fail in the absence of a
reasonable underestimate of smallest eigenvalue. Estimators for relative errors
in A-norm and their extension to errors in l2 norm are presented with numerical
results. Estimating the relative error from the residue in an iterative
solution is required for efficient solution of a large problem with even a
moderately high condition. Specifically, in a problem of solving for vector x
in Ax=b, the uncertainty between the strict upper bound in relative error
[{\kappa}*||r(i)||/||b||] and its strict lower bound
[||r(i)||/({\kappa}*||b||)] is a factor of {\kappa}^2 (given residue r(i)=
b-Ax(i) is the residual vector at ith iteration and {\kappa} the condition
number of the square matrix A).


title: Recognizability by spectrum of alternating groups

abstract:
  The spectrum of a group is the set of its element orders. A finite group $G$
is said to be recognizable by spectrum if every finite group that has the same
spectrum as $G$ is isomorphic to $G$. We prove that the simple alternating
groups $A_n$ are recognizable by spectrum when $n\neq 6, 10$. This implies that
every finite group with the same spectrum as that of a finite nonabelian simple
group, has at most one nonabelian composition factor


title:
Application of a $\mathbb{Z}_{3}$-orbifold construction to the lattice
  vertex operator algebras associated to Niemeier lattices

abstract:
  By applying Miyamoto's $\mathbb{Z}_{3}$-orbifold construction to the lattice
vertex operator algebras associated to Niemeier lattices and their
automorphisms of order 3, we construct holomorphic vertex operator algebras of
central charge 24 whose Lie algebras of the weight one spaces are of types
$A_{2,3}^6$, $E_{6,3}G_{2,1}^{3}$, and $A_{5,3}D_{4,3}A_{1,1}^{3}$, which
correspond to No.6, No.17, and No.32 on Schellekens' list, respectively.


title:
Spin-Triplet Superconductivity Induced by Longitudinal Ferromagnetic
  Fluctuations in UCoGe: Theoretical Aspect

abstract:
  Identification of pairing mechanisms leading to the unconventional
superconductivity realized in copper-oxide, heavy-fermions, and organic
compounds is one of the most challenging issues in condensed-matter physics.
Clear evidence for an electron-phonon mechanism in conventional superconductors
is seen by the isotope effect on the superconducting transition temperatures
$T_{\rm SC}$, since isotopic substitution varies the phonon frequency without
affecting the electronic states. In unconventional superconductors, magnetic
fluctuations have been proposed to mediate superconductivity, and considerable
efforts have been made to unravel relationships between normal-state magnetic
fluctuations and superconductivity. Here, we show that characteristic
experimental results on the ferromagnetic (FM) superconductor UCoGe ($T_{\rm
Curie} \sim 2.5 $ K and $T_{\rm SC} \sim 0.6$ K) can be understood consistently
within a scenario of the spin-triplet superconductivity induced by FM spin
fluctuations. Temperature and angle dependencies of the upper critical magnetic
field of the superconductivity ($H_{c2}$) are calculated on the basis of the
above scenario by solving the Eliashberg equation. Calculated $H_{c2}$ well
agrees with the characteristic experimental results observed in UCoGe. This is
a first example that FM fluctuations are shown to be a pairing glue of
superconductivity.


title:
Thermal Mass Spectra of Scalar and Pseudo-Scalar Mesons in IR-improved
  Soft-Wall AdS/QCD Model with Finite Chemical Potential

abstract:
  The thermal mass spectra of scalar and pseudo scalar mesons are studied in an
IR-improved soft-wall AdS/QCD model. The Reissner-Nordstrom AdS black hole
metric is introduced to describe both the finite temperature and density
effects. The thermal spectral function is computed, which shows that the
position of peak moves towards a smaller value and the width of peak also
broadens to a larger value as the temperature increases. The critical
temperature at which the peaks are completely dissolved has been found to be
around $T_{c}\simeq 160\sim 200\MeV$. The effect of chemical potential is shown
to be the same as the one caused by the temperature. It is found that when the
temperature approaches to zero $T\approx 0$, the melting down of mesons occurs
at the scaled critical chemical potential $\mu_0/\kappa\approx 2.2\sim 2.4
\GeV$.


title:
The effect of electron--hole scattering on the transport properties of a
  2D semimetal in a HgTe quantum well

abstract:
  The influence of e-h scattering on the conductivity and magnetotransport of
2D semimetallic HgTe is studied both theoretically and experimentally. The
presence of e-h scattering leads to the friction between electron and holes
resulting in a large temperature-dependent contribution to the transport
coefficients. The coefficient of friction between electrons and holes is
determined. The comparison of experimental data with the theory shows that the
interaction between electrons and holes based on the long - range Coulomb
potential strongly underestimates the e-h friction. The experimental results
are in agreement with the model of strong short-range e-h interaction.


title:
The radiation energy component of the Hubble function and a LCDM
  cosmological simulation

abstract:
  We study some effects the inclusion of the radiation energy component in the
universe, Omega_r, can have on several quantities of interest for the
large-scale structure of the universe in a LCDM cosmological simulation;
started at a very high redshift (z=500). In particular we compute the power
spectrum density, the halo mass function, and the concentration-mass relation
for haloes. We find that Omega_r has an important contribution in the long-term
nonlinear evolution of structures in the universe. For instance, a lower matter
density power, by approx 50%, in all scales is obtained when compared with a
simulation without the radiation term. Also, haloes formed with the Omega_r
taken into account are approx 20% less concentrated than when not included in
the Hubble function.


title: Modified gravity: walk through accelerating cosmology

abstract:
  We review the accelerating (mainly, dark energy) cosmologies in modified
gravity. Special attention is paid to cosmologies leading to finite-time future
singularities in $F(R)$, $F(G)$ and $\mathcal{F}(R,G)$ modified gravities. The
removal of the finite-time future singularities via addition of $R^2$-term
which simultaneously unifies the early-time inflation with late-time
acceleration is also briefly mentioned. Accelerating cosmology including the
scenario unifying inflation with dark energy is considered in $F(R)$ gravity
with Lagrange multipliers. In addition, we examine domain wall solutions in
$F(R)$ gravity. Furthermore, covariant higher derivative gravity with scalar
projectors is explored.


title: Convergence to Gibbs equilibrium - unveiling the mystery

abstract:
  We consider general hamiltonian systems with quadratic interaction potential
and $N<\infty$ degrees of freedom, only $m$ of which have contact with external
world, that is subjected to damping and random stationary external forces. We
show that, as $t\to\infty$, already for $m=1$, the unique limiting distribution
exists for almost all interactions. Moreover, it is Gibbs if the external force
is the white noise, but typically not Gibbs for gaussian processes with smooth
trajectories. This conclusion survives also in the thermodynamic limit
$N\to\infty$.


title:
Antikaons in neutron star studied with recent versions of relativistic
  mean-field models

abstract:
  We study the impact of additional couplings in the relativistic mean field
(RMF) models, in conjunction with antikaon condensation, on various neutron
star properties. We analyze different properties such as in-medium antikaon and
nucleon effective masses, antikaon energies, chemical potentials and the
mass-radius relations of neutron star (NS). We calculate the NS properties with
the RMF (NL3), E-RMF (G1, G2) and FSU2.1 models, which are quite successful in
explaining several finite nuclear properties. Our results show that the onset
of kaon condensation in NS strongly depends on the parameters of the
Lagrangian, especially the additional couplings which play a significant role
at higher densities where antikaons dominate the behavior of equation of state.


title:
Robustness of Gapless Interface State in a Junction of Two Topological
  Insulators

abstract:
  We theoretically study subgap states appearing at the interface between two
three-dimensional topological insulators which have different configurations in
the spin-orbit interactions from each other. The coupling of spin
$\boldsymbol{\sigma}$ with momenta $\boldsymbol{p}$ is configured by a material
dependent $3\times 3$ matrix $\boldsymbol{\Lambda}$ as ${\sigma}^\mu
{\Lambda}_\mu^\nu p_\nu$. We show that the spectra of the interface suggap
states depend strongly on the relative choices of $\boldsymbol{\Lambda}$ in the
two topological insulators. In particular, we focus on properties of gapless
states which appear when $\boldsymbol{\Lambda}$ in two topological insulators
are connected by the inversion in momentum space. We also discuss the
robustness of the gapless states under perturbations breaking the time-reversal
symmetry or the band-inversion symmetry by the numerical simulation.