title:
Neutrino mass hierarchy determination and other physics potential of
  medium-baseline reactor neutrino oscillation experiments

abstract:
  Medium-baseline reactor neutrino oscillation experiments (MBRO) have been
proposed to determine the neutrino mass hierarchy (MH) and to make precise
measurements of the neutrino oscillation parameters. With sufficient
statistics, better than ~3%/\sqrt{E} energy resolution and well understood
energy non-linearity, MH can be determined by analyzing oscillation signals
driven by the atmospheric mass-squared difference in the survival spectrum of
reactor antineutrinos. With such high performance MBRO detectors, oscillation
parameters, such as \sin^22\theta_{12}, \Delta m^2_{21}, and \Delta m^2_{32},
can be measured to sub-percent level, which enables a future test of the PMNS
matrix unitarity to ~1% level and helps the forthcoming neutrinoless double
beta decay experiments to constrain the allowed <m_{\beta \beta}> values.
Combined with results from the next generation long-baseline beam neutrino and
atmospheric neutrino oscillation experiments, the MH determination sensitivity
can reach higher levels. In addition to the neutrino oscillation physics, MBRO
detectors can also be utilized to study geoneutrinos, astrophysical neutrinos
and proton decay. We propose to start a U.S. R&D program to identify, quantify
and fulfill the key challenges essential for the success of MBRO experiments.


title:
The Lower Dimensional Busemann-Petty Problem in the Complex Hyperbolic
  Space

abstract:
  The lower dimensional Busemann-Petty problem asks whether origin-symmetric
convex bodies in R^n with smaller volume of all k-dimensional sections
necessarily have smaller volume. The answer is negative for k>3. The problem is
still open for k=2,3. We study this problem in the complex hyperbolic n-space
and prove that the answer is affirmative only for sections of complex dimension
one and negative for sections of higher dimensions.


title: On Thermodynamical Behaviors of Kerr-Newman AdS Black Holes

abstract:
  We reconsider the study of critical behaviors of Kerr-Newman AdS black holes
in four dimensions. The study is made in terms of the moduli space
parameterized by the charge Q and the rotation parameter a, relating the mass M
of the black hole and its angular momentum J via the relation a=J/M.
Specifically, we discuss such thermodynamical behaviors in the presence of a
positive cosmological constant considered as a thermodynamic pressure and its
conjugate quantity as a thermodynamic volume. The equation of state for a
charged RN-AdS black hole predicts a critical universal number depending on the
(Q,a) moduli space. In the vanishing limit of the a parameter, this prediction
recovers the usual universal number in four dimensions. Then, we find the
bounded regions of the moduli space allowing the consistency of the model with
real thermodynamical variables.


title: Very ample and Koszul segmental fibrations

abstract:
  In the hierarchy of structural sophistication for lattice polytopes, normal
polytopes mark a point of origin; very ample and Koszul polytopes occupy bottom
and top spots in this hierarchy, respectively. In this paper we explore a
simple construction for lattice polytopes with a twofold aim. On the one hand,
we derive an explicit series of very ample 3-dimensional polytopes with
arbitrarily large deviation from the normality property, measured via the
highest discrepancy degree between the corresponding Hilbert functions and
Hilbert polynomials. On the other hand, we describe a large class of Koszul
polytopes of arbitrary dimensions, containing many smooth polytopes and
extending the previously known class of Nakajima polytopes.


title:
Vacuum Instability in Electric Fields via AdS/CFT: Euler-Heisenberg
  Lagrangian and Planckian Thermalization

abstract:
  We analyze vacuum instability of strongly coupled gauge theories in a
constant electric field using AdS/CFT correspondence. The model is the N=2
1-flavor supersymmetric large N_c QCD in the strong 't Hooft coupling limit. We
calculate the Euler-Heisenberg effective Lagrangian L(E), which encodes the
nonlinear response and the quantum decay rate of the vacuum in a background
electric field E, from the complex D-brane action in AdS/CFT. We find that the
decay rate given by Im L(E) becomes nonzero above a critical electric field set
by the confining force between quarks. A large-E expansion of Im L(E) is found
to coincide with that of the Schwinger effects in QED, replacing its electron
mass by the confining force. Then, the time-dependent response of the system in
a strong electric field is solved non-perturbatively, and we observe a
universal thermalization at a shortest timescale "Planckian thermalization
time" t ~ 1/T ~ E^{-1/2}. Here, T is an effective temperature which quarks feel
in the nonequilibrium state with nonzero electric current, calculated in
AdS/CFT as a Hawking temperature. Stronger electric fields accelerate the
thermalization, and for a realistic value of the electric field in RHIC
experiment, we obtain t ~ 1 [fm/c], which is consistent with the believed
value.


title:
Triplet states in the Be atom: bound state spectrum and hyperfine
  structure

abstract:
  The bound state spectrum of low-lying triplet states in the Be atom is
investigated. In particular, we perform accurate computations of various bound
triplet S, P, D, F, and G states in the four-electron Be atom. For the 23S(L=0)
state in the Be atom we determine the hyperfine structure and a number of bound
states properties by using results of highly accurate computations. The
energies of the hyperfine structure levels for this state are {\epsilon}(F=12)
= -13725.927(7) MHz, {\epsilon}(F=32) = -5490.371(7) MHz and {\epsilon}(F=52) =
8235.556(7) MHz, respectively. The observed hyperfine structure splittings for
the the 23S(L=0) state in the 9Be atom must be {\Delta}12 = 8235.556(7) MHz and
{\Delta}23 = 13725.927(7) MHz, respectively.


title:
Quarkonium at the Frontiers of High Energy Physics: A Snowmass White
  Paper

abstract:
  In this Snowmass White Paper, we discuss physics opportunities involving
heavy quarkonia at the intensity and energy frontiers of high energy physics.
We focus primarily on two specific aspects of quarkonium physics for which
significant advances can be expected from experiments at both frontiers. The
first aspect is the spectroscopy of charmonium and bottomonium states above the
open-heavy-flavor thresholds. Experiments at e^+ e^- colliders and at hadron
colliders have discovered many new, unexpected quarkonium states in the last 10
years. Many of these states are surprisingly narrow, and some have electric
charge. The observations of these charged quarkonium states are the first
definitive discoveries of manifestly exotic hadrons. These results challenge
our understanding of the QCD spectrum. The second aspect is the production of
heavy quarkonium states with large transverse momentum. Experiments at the LHC
are measuring quarkonium production with high statistics at unprecedented
values of p_T. Recent theoretical developments may provide a rigorous
theoretical framework for inclusive production of quarkonia at large p_T.
Experiments at the energy frontier will provide definitive tests of this
framework. Experiments at the intensity frontier also provide an opportunity to
understand the exclusive production of quarkonium states.


title: Kondo signature in heat transfer via a local two-state system

abstract:
  We study the Kondo effect in heat transport via a local two-state system.
This system is described by the spin-boson Hamiltonian with Ohmic dissipation,
which can be mapped onto the Kondo model with anisotropic exchange coupling. We
calculate thermal conductance by the Monte Carlo method based on the exact
formula. Thermal conductance has a scaling form \kappa = (k_B^2 T_K/\hbar)
f(\alpha,T/T_K ), where T_K and \alpha indicate the Kondo temperature and
dimensionless coupling strength, respectively. Temperature dependence of
conductance is classified by the Kondo temperature as \kappa\propto (T/T_K )^3
for T\ll T_K and \kappa\propto (k_B T / \hbar\omega_c)^{2\alpha-1} for T\gg
T_K. Similarities to the Kondo signature in electric transport are discussed.


title:
Theoretical Study of Spin-Torque Oscillator with Perpendicularly
  Magnetized Free Layer

abstract:
  The magnetization dynamics of spin torque oscillator (STO) consisting of a
perpendicularly magnetized free layer and an in-plane magnetized pinned layer
was studied by solving the Landau-Lifshitz-Gilbert equation. We derived the
analytical formula of the relation between the current and the oscillation
frequency of the STO by analyzing the energy balance between the work done by
the spin torque and the energy dissipation due to the damping. We also found
that the field-like torque breaks the energy balance, and change the
oscillation frequency.


title:
Exciton propagation via quantum walks based on non-Hermitian coin flip
  operations

abstract:
  We examine the coherent propagation of the one-dimensional Frenkel exciton
(correlated electron-hole pair system) based on a model of a quantum walker in
multi-dimensional Hilbert space. The walk is governed by a non-Hermitian coin
flip operation coupled to a generalized shift process. The dissipative coin
flip operation is associated with amplitude leakages at occupied sites, typical
of processes which occur when an exciton is transferred along dimer sites in
photosynthetic protein complexes. We analyze the characteristics probability
distribution of the one-dimensional quantum walk for various system parameters,
and examine the complex interplay between non-Markovian signatures and
amplitude leakages within the Hilbert position subspace. The visibility of
topological defects such as exceptional points, and non-Markovian signatures
via quantum tomography based spectroscopic measurements are discussed.


title: Participation anticipating in elections using data mining methods

abstract:
  Anticipating the political behavior of people will be considerable help for
election candidates to assess the possibility of their success and to be
acknowledged about the public motivations to select them. In this paper, we
provide a general schematic of the architecture of participation anticipating
system in presidential election by using KNN, Classification Tree and Na\"ive
Bayes and tools orange based on crisp which had hopeful output. To test and
assess the proposed model, we begin to use the case study by selecting 100
qualified persons who attend in 11th presidential election of Islamic republic
of Iran and anticipate their participation in Kohkiloye & Boyerahmad. We
indicate that KNN can perform anticipation and classification processes with
high accuracy in compared with two other algorithms to anticipate
participation.


title: Holographic Algorithms Beyond Matchgates

abstract:
  Holographic algorithms introduced by Valiant are composed of two ingredients:
matchgates, which are gadgets realizing local constraint functions by weighted
planar perfect matchings, and holographic reductions, which show equivalences
among problems with different descriptions via certain basis transformations.
In this paper, we replace matchgates in the paradigm above by the affine type
and the product type constraint functions, which are known to be tractable in
general (not necessarily planar) graphs. More specifically, we present
polynomial-time algorithms to decide if a given counting problem has a
holographic reduction to another problem defined by the affine or product-type
functions. Our algorithms also find a holographic transformation when one
exists. We further present polynomial-time algorithms of the same decision and
search problems for symmetric functions, where the complexity is measured in
terms of the (exponentially more) succinct representations. The algorithm for
the symmetric case also shows that the recent dichotomy theorem for Holant
problems with symmetric constraints is efficiently decidable. Our proof
techniques are mainly algebraic, e.g., using stabilizers and orbits of group
actions.


title:
C\'omo obtener curvas con formas predeterminadas a partir de
  circunferencias

abstract:
  We produce several algebraic curves, some well--known, some new, out of
circles, by means of two classical (mutually reciprocal) algebraic methods:
blow--down and blow--up.


title:
Data mining application for cyber space users tendency in blog writing:
  a case study

abstract:
  Blogs are the recent emerging media which relies on information technology
and technological advance. Since the mass media in some less-developed and
developing countries are in government service and their policies are developed
based on governmental interests, so blogs are provided for ideas and exchanging
opinions. In this paper, we highlighted performed simulations from obtained
information from 100 users and bloggers in Kohkiloye and Boyer Ahmad Province
and using Weka 3.6 tool and c4.5 algorithm by applying decision tree with more
than %82 precision for getting future tendency anticipation of users to
blogging and using in strategically areas.


title: PS-TRUST: Provably Secure Solution for Truthful Double Spectrum Auctions

abstract:
  Truthful spectrum auctions have been extensively studied in recent years.
Truthfulness makes bidders bid their true valuations, simplifying greatly the
analysis of auctions. However, revealing one's true valuation causes severe
privacy disclosure to the auctioneer and other bidders. To make things worse,
previous work on secure spectrum auctions does not provide adequate security.
In this paper, based on TRUST, we propose PS-TRUST, a provably secure solution
for truthful double spectrum auctions. Besides maintaining the properties of
truthfulness and special spectrum reuse of TRUST, PS-TRUST achieves provable
security against semi-honest adversaries in the sense of cryptography.
Specifically, PS-TRUST reveals nothing about the bids to anyone in the auction,
except the auction result. To the best of our knowledge, PS-TRUST is the first
provably secure solution for spectrum auctions. Furthermore, experimental
results show that the computation and communication overhead of PS-TRUST is
modest, and its practical applications are feasible.


title: Notes and Remarks on certain logarithmic integrals

abstract:
  Logarithmic integrals revisited. We consider integrals of the form $\int_0^1
\ln{\ln{(\frac{1}{x})}}R{(x)}{\rm d}x$ again, where $R{(x)}$ is a rational
function, and we will explain a way to obtain their values.


title:
A new approach in dynamic traveling salesman problem: a hybrid of ant
  colony optimization and descending gradient

abstract:
  Nowadays swarm intelligence-based algorithms are being used widely to
optimize the dynamic traveling salesman problem (DTSP). In this paper, we have
used mixed method of Ant Colony Optimization (AOC)and gradient descent to
optimize DTSP which differs with ACO algorithm in evaporation rate and
innovative data. This approach prevents premature convergence and scape from
local optimum spots and also makes it possible to find better solutions for
algorithm. In this paper, we are going to offer gradient descent and ACO
algorithm which in comparison to some former methods it shows that algorithm
has significantly improved routes optimization.


title: Stability of Cosmic Ray Modified Shocks: Two-Fluid Approach

abstract:
  The stability of the cosmic ray modified shock (CRMS) is studied by means of
numerical simulations. Owing to the nonlinear feedback of cosmic-ray (CR)
acceleration, a downstream state of the modified shock can no longer be
uniquely determined for given upstream parameters. It is known that up to three
distinct solutions exist, which are characterized by the CR production
efficiency as "efficient", "intermediate" and "inefficient" branches. The
stability of these solutions is investigated by performing direct
time-dependent simulations of a two-fluid model. It is found that both the
efficient and inefficient branches are stable even against a large-amplitude
perturbation, while the intermediate one is always unstable and evolves into
the inefficient state as a result of nonlinear time development. This bistable
feature is robust in a wide range of parameters and does not depend on the
injection model. Fully nonlinear time evolution of a hydrodynamic shock with
injection results in the least efficient state in terms of the CR production,
consistent with the bistable feature. This suggests that the CR production
efficiency at supernova remnant shocks may be lower than previously discussed
in the framework of the nonlinear shock acceleration theory considering the
efficient solution of the CRMS.


title: Dynamical 3-Space: Gravitational Wave Detection and the Shnoll Effect

abstract:
  Shnoll has investigated the non-Poisson scatter of rate measurements in
various phenomena such as biological and chemical reactions, radioactive decay,
photodiode current leakage and germanium semiconductor noise, and attributed
the scatter to cosmophysical factors. While Shnoll didn't pinpoint the nature
of the cosmophysical factors the Process Physics model of reality leads to a
description of space, which is dynamic and fractal and exhibits reverberation
effects, and which offers an explanation for the scattering anomaly. The work
presented here shows a new way of generating the effects Shnoll discovered,
through studying the phase difference of RF EM waves travelling through a dual
coaxial cable Gravitational Wave Detector experiment.


title:
Linear differential equations on the Riemann sphere and representations
  of quivers

abstract:
  Our interest in this paper is a generalization of the additive
Deligne-Simpson problem which is originally defined for Fuchsian differential
equations on the Riemann sphere. We shall extend this problem to differential
equations having an arbitrary number of unramified irregular singular points
and determine the existence of solutions of the generalized additive
Deligne-Simpson problems. Moreover we apply this result to the geometry of the
moduli spaces of stable meromorphic connections of trivial bundles on the
Riemann sphere. Namely, open embedding of the moduli spaces into quiver
varieties is given and the non-emptiness condition of the moduli spaces is
determined. Furthermore the connectedness of the moduli spaces is shown.


title: Imaging of the CO Snow Line in a Solar Nebula Analog

abstract:
  Planets form in the disks around young stars. Their formation efficiency and
composition are intimately linked to the protoplanetary disk locations of "snow
lines" of abundant volatiles. We present chemical imaging of the CO snow line
in the disk around TW Hya, an analog of the solar nebula, using high spatial
and spectral resolution Atacama Large Millimeter/Submillimeter Array (ALMA)
observations of N2H+, a reactive ion present in large abundance only where CO
is frozen out. The N2H+ emission is distributed in a large ring, with an inner
radius that matches CO snow line model predictions. The extracted CO snow line
radius of ~ 30 AU helps to assess models of the formation dynamics of the Solar
System, when combined with measurements of the bulk composition of planets and
comets.


title: Towards Meta-Reasoning in the Concurrent Logical Framework CLF

abstract:
  The concurrent logical framework CLF is an extension of the logical framework
LF designed to specify concurrent and distributed languages. While it can be
used to define a variety of formalisms, reasoning about such languages within
CLF has proved elusive. In this paper, we propose an extension of LF that
allows us to express properties of CLF specifications. We illustrate the
approach with a proof of safety for a small language with a parallel semantics.


title: Adding Priority to Event Structures

abstract:
  Event Structures (ESs) are mainly concerned with the representation of causal
relationships between events, usually accompanied by other event relations
capturing conflicts and disabling. Among the most prominent variants of ESs are
Prime ESs, Bundle ESs, Stable ESs, and Dual ESs, which differ in their
causality models and event relations. Yet, some application domains require
further kinds of relations between events. Here, we add the possibility to
express priority relationships among events.
  We exemplify our approach on Prime, Bundle, Extended Bundle, and Dual ESs.
Technically, we enhance these variants in the same way. For each variant, we
then study the interference between priority and the other event relations.
From this, we extract the redundant priority pairs-notably differing for the
types of ESs-that enable us to provide a comparison between the extensions. We
also exhibit that priority considerably complicates the definition of partial
orders in ESs.


title: Compositionality of Approximate Bisimulation for Probabilistic Systems

abstract:
  Probabilistic transition system specifications using the rule format
ntmuft-ntmuxt provide structural operational semantics for Segala-type systems
and guarantee that probabilistic bisimilarity is a congruence. Probabilistic
bisimilarity is for many applications too sensitive to the exact probabilities
of transitions. Approximate bisimulation provides a robust semantics that is
stable with respect to implementation and measurement errors of probabilistic
behavior. We provide a general method to quantify how much a process combinator
expands the approximate bisimulation distance. As a direct application we
derive an appropriate rule format that guarantees compositionality with respect
to approximate bisimilarity. Moreover, we describe how specification formats
for non-standard compositionality requirements may be derived.


title:
A Unifying Approach to Decide Relations for Timed Automata and their
  Game Characterization

abstract:
  In this paper we present a unifying approach for deciding various
bisimulations, simulation equivalences and preorders between two timed automata
states. We propose a zone based method for deciding these relations in which we
eliminate an explicit product construction of the region graphs or the zone
graphs as in the classical methods. Our method is also generic and can be used
to decide several timed relations. We also present a game characterization for
these timed relations and show that the game hierarchy reflects the hierarchy
of the timed relations. One can obtain an infinite game hierarchy and thus the
game characterization further indicates the possibility of defining new timed
relations which have not been studied yet. The game characterization also helps
us to come up with a formula which encodes the separation between two states
that are not timed bisimilar. Such distinguishing formulae can also be
generated for many relations other than timed bisimilarity.


title: Algebraic Meta-Theory of Processes with Data

abstract:
  There exists a rich literature of rule formats guaranteeing different
algebraic properties for formalisms with a Structural Operational Semantics.
Moreover, there exist a few approaches for automatically deriving
axiomatizations characterizing strong bisimilarity of processes. To our
knowledge, this literature has never been extended to the setting with data
(e.g. to model storage and memory). We show how the rule formats for algebraic
properties can be exploited in a generic manner in the setting with data.
Moreover, we introduce a new approach for deriving sound and ground-complete
axiom schemata for a notion of bisimilarity with data, called stateless
bisimilarity, based on intuitive auxiliary function symbols for handling the
store component. We do restrict, however, the axiomatization to the setting
where the store component is only given in terms of constants.


title: The categorical limit of a sequence of dynamical systems

abstract:
  Modeling a sequence of design steps, or a sequence of parameter settings,
yields a sequence of dynamical systems. In many cases, such a sequence is
intended to approximate a certain limit case. However, formally defining that
limit turns out to be subject to ambiguity. Depending on the interpretation of
the sequence, i.e. depending on how the behaviors of the systems in the
sequence are related, it may vary what the limit should be. Topologies, and in
particular metrics, define limits uniquely, if they exist. Thus they select one
interpretation implicitly and leave no room for other interpretations. In this
paper, we define limits using category theory, and use the mentioned relations
between system behaviors explicitly. This resolves the problem of ambiguity in
a more controlled way. We introduce a category of prefix orders on executions
and partial history preserving maps between them to describe both discrete and
continuous branching time dynamics. We prove that in this category all
projective limits exist, and illustrate how ambiguity in the definition of
limits is resolved using an example. Moreover, we show how various problems
with known topological approaches are now resolved, and how the construction of
projective limits enables us to approximate continuous time dynamics as a
sequence of discrete time systems.


title: Meta SOS - A Maude Based SOS Meta-Theory Framework

abstract:
  Meta SOS is a software framework designed to integrate the results from the
meta-theory of structural operational semantics (SOS). These results include
deriving semantic properties of language constructs just by syntactically
analyzing their rule-based definition, as well as automatically deriving sound
and ground-complete axiomatizations for languages, when considering a notion of
behavioural equivalence. This paper describes the Meta SOS framework by
blending aspects from the meta-theory of SOS, details on their implementation
in Maude, and running examples.


title:
Wireless Information and Power Transfer in Two-Way Amplify-and-Forward
  Relaying Channels

abstract:
  The various wireless networks have made the ambient radio frequency signals
around the world. Wireless information and power transfer enables the devices
to recycle energy from these ambient radio frequency signals and process
information simultaneously. In this paper, we develop a wireless information
and power transfer protocol in two-way amplify-and-forward relaying channels,
where two sources exchange information via an energy harvesting relay node. The
relay node collects energy from the received signals and uses it to provide the
transmission power to forward the received signals. We analytically derive the
exact expressions of the outage probability, the ergodic capacity and the
finite-SNR diversity-multiplexing trade-off (DMT). Furthermore, the tight
closed-form upper and lower bounds of the outage probability and the ergodic
capacity are then developed. Moreover, the impact of the power splitting ratio
is also evaluated and analyzed. Finally, we show that compared to the
non-cooperative relaying scheme, the proposed protocol is a green solution to
offer higher transmission rate and more reliable communication without
consuming additional resource.


title: Large-scale magnetic fields from inflation in teleparallel gravity

abstract:
  Generation of large-scale magnetic fields in inflationary cosmology is
studied in teleparallelism, where instead of the scalar curvature in general
relativity, the torsion scalar describes the gravity theory. In particular, we
investigate a coupling of the electromagnetic field to the torsion scalar
during inflation, which leads to the breaking of conformal invariance of the
electromagnetic field. We demonstrate that for a power-law type coupling, the
current magnetic field strength of $\sim 10^{-9}$ G on 1 Mpc scale can be
generated, if the backreaction effects and strong coupling problem are not
taken into consideration.


title:
Boundary and scattering rigidity problems in the presence of a magnetic
  field and a potential

abstract:
  In this paper, we consider a compact Riemannian manifold with boundary,
endowed with a magnetic potential $\alpha$ and a potential $U$. For brevity,
this type of systems are called $\MP$-systems. On simple $\MP$-systems, we
consider both the boundary rigidity problem and scattering rigidity problem,
see the introduction for details. We show that these two problems are
equivalent on simple $\MP$-systems. Unlike the cases of geodesic or magnetic
systems, knowing boundary action functions or scattering relations for only one
energy level is insufficient to uniquely determine a simple $\MP$-system, even
under the assumption that we know the restriction of the system on the boundary
$\p M$, and we provide some counterexamples. These problems can only be solved
up to an isometry and a gauge transformations of $\alpha$ and $U$. We prove
rigidity results for metrics in a given conformal class, for simple real
analytic $\MP$-systems and for simple two-dimensional $\MP$-systems.


title: Hyperon Stars in Strong Magnetic Fields

abstract:
  We investigate the effects of strong magnetic fields on the properties of
hyperon stars. The matter is described by a hadronic model with parametric
coupling. The matter is considered to be at zero temperature, charge neutral,
beta-equilibrated, containing the baryonic octet, electrons and muons. The
charged particles have their orbital motions Landau-quantized in the presence
of strong magnetic fields (SMF). Two parametrisations of a chemical potential
dependent static magnetic field are considered, reaching $1-2 \times
10^{18}\,G$ in the center of the star. Finally, the Tolman-Oppenheimer-Volkov
(TOV) equations are solved to obtain the mass-radius relation and population of
the stars.


title:
RepFlow: Minimizing Flow Completion Times with Replicated Flows in Data
  Centers

abstract:
  Short TCP flows that are critical for many interactive applications in data
centers are plagued by large flows and head-of-line blocking in switches.
Hash-based load balancing schemes such as ECMP aggravate the matter and result
in long-tailed flow completion times (FCT). Previous work on reducing FCT
usually requires custom switch hardware and/or protocol changes. We propose
RepFlow, a simple yet practically effective approach that replicates each short
flow to reduce the completion times, without any change to switches or host
kernels. With ECMP the original and replicated flows traverse distinct paths
with different congestion levels, thereby reducing the probability of having
long queueing delay. We develop a simple analytical model to demonstrate the
potential improvement of RepFlow. Extensive NS-3 simulations and Mininet
implementation show that RepFlow provides 50%--70% speedup in both mean and
99-th percentile FCT for all loads, and offers near-optimal FCT when used with
DCTCP.


title: A Vision on the Status and Evolution of HEP Physics Software Tools

abstract:
  This paper represents the vision of the members of the Fermilab Scientific
Computing Division's Computational Physics Department (SCD-CPD) on the status
and the evolution of various HEP software tools such as the Geant4 detector
simulation toolkit, the Pythia and GENIE physics generators, and the ROOT data
analysis framework. The goal of this paper is to contribute ideas to the
Snowmass 2013 process toward the composition of a unified document on the
current status and potential evolution of the physics software tools which are
essential to HEP.


title:
A dense Bose fluid at zero temperature: condensation and clusters in
  liquid He-4

abstract:
  We present a full set of wave equations describing a dense Bose fluid,
applicable both to non- ideal gases and to liquid 4He. The phonon spectrum in
liquid 4He is found and the fraction of condensed particles is calculated at
zero temperature for a wide range of densities. The theory also yields the
ground-state energy for the quantum liquid 4He in agreement to high accuracy
with Monte Carlo simulations and experimental data at low pressure. We also
present the derivation of a generalized Hartree-Fock equation describing roton
clusters in low temperature liquid 4He, allowing us to confirm that, at low
enough temperatures and for a wide range of pressures, the stable clusters
consist of 13 bound atoms.


title: Relative Errors for Deterministic Low-Rank Matrix Approximations

abstract:
  We consider processing an n x d matrix A in a stream with row-wise updates
according to a recent algorithm called Frequent Directions (Liberty, KDD 2013).
This algorithm maintains an l x d matrix Q deterministically, processing each
row in O(d l^2) time; the processing time can be decreased to O(d l) with a
slight modification in the algorithm and a constant increase in space. We show
that if one sets l = k+ k/eps and returns Q_k, a k x d matrix that is the best
rank k approximation to Q, then we achieve the following properties: ||A -
A_k||_F^2 <= ||A||_F^2 - ||Q_k||_F^2 <= (1+eps) ||A - A_k||_F^2 and where
pi_{Q_k}(A) is the projection of A onto the rowspace of Q_k then ||A -
pi_{Q_k}(A)||_F^2 <= (1+eps) ||A - A_k||_F^2.
  We also show that Frequent Directions cannot be adapted to a sparse version
in an obvious way that retains the l original rows of the matrix, as opposed to
a linear combination or sketch of the rows.


title: Resolvable Mendelsohn designs and finite Frobenius groups

abstract:
  We prove the existence and give constructions of a $(p(k)-1)$-fold perfect
resolvable $(v, k, 1)$-Mendelsohn design for any integers $v > k \ge 2$ with $v
\equiv 1 \mod k$ such that there exists a finite Frobenius group whose kernel
$K$ has order $v$ and whose complement contains an element $\phi$ of order $k$,
where $p(k)$ is the least prime factor of $k$. Such a design admits $K \rtimes
\langle \phi \rangle$ as a group of automorphisms and is perfect when $k$ is a
prime. As an application we prove that for any integer $v = p_{1}^{e_1} \ldots
p_{t}^{e_t} \ge 3$ in prime factorization, and any prime $k$ dividing
$p_{i}^{e_i} - 1$ for $1 \le i \le t$, there exists a resolvable perfect $(v,
k, 1)$-Mendelsohn design that admits a Frobenius group as a group of
automorphisms. We also prove that, if $k$ is even and divides $p_{i} - 1$ for
$1 \le i \le t$, then there are at least $\varphi(k)^t$ resolvable $(v, k,
1)$-Mendelsohn designs that admit a Frobenius group as a group of
automorphisms, where $\varphi$ is Euler's totient function.


title:
Rigid isotopy classification of real degree-4 planar rational curves
  with only real nodes (An elementary approach)

abstract:
  We prove an elementary method to classify, up to rigid isotopy, all nodal
degree 4 real rational curves in $\mathbb{RP}^2$ that have only real double
points. We show how to associate a chord diagram to a nodal real degree 4
planar rational curve and prove that such curves are defined up to rigid
isotopy by their chord diagrams.


title: High-statistics study of K^0_S pair production in two-photon collisions

abstract:
  We report a high-statistics measurement of the differential cross section of
the process gamma gamma --> K^0_S K^0_S in the range 1.05 GeV <= W <= 4.00 GeV,
where W is the center-of-mass energy of the colliding photons, using 972
fb^{-1} of data collected with the Belle detector at the KEKB asymmetric-energy
e^+ e^- collider operated at and near the Upsilon-resonance region. The
differential cross section is fitted by parameterized S-, D_0-, D_2-, G_0- and
G_2-wave amplitudes. In the D_2 wave, the f_2(1270), a_2(1320) and f_2'(1525)
are dominant and a resonance, the f_2(2200), is also present. The f_0(1710) and
possibly the f_0(2500) are seen in the S wave. The mass, total width and
product of the two-photon partial decay width and decay branching fraction to
the K bar{K} state Gamma_{gamma gamma}B(K bar{K}) are extracted for the
f_2'(1525), f_0(1710), f_2(2200) and f_0(2500). The destructive interference
between the f_2(1270) and a_2(1320) is confirmed by measuring their relative
phase. The parameters of the charmonium states chi_{c0} and chi_{c2} are
updated. Possible contributions from the chi_{c0}(2P) and chi_{c2}(2P) states
are discussed. A new upper limit for the branching fraction of the P- and
CP-violating decay channel eta_c --> K^0_S K^0_S is reported. The detailed
behavior of the cross section is updated and compared with QCD-based
calculations.


title:
Phenomenology of an Extended Higgs Portal Inflation Model after Planck
  2013

abstract:
  We consider an extended inflation model in the frame of Higgs portal model,
assuming a nonminimal coupling of the scalar field to the gravity. Using the
new data from Planck $2013$ and other relevant astrophysical data, we obtain
the relation between the nonminimal coupling $\xi$ and the self-coupling
$\lambda$ needed to drive the inflation, and find that this inflationary model
is favored by the astrophysical data. Furthermore, we discuss the constraints
on the model parameters from the experiments of particle physics, especially
the recent Higgs data at the LHC.


title:
Dynamical evolution of the electromagnetic perturbation with Weyl
  corrections

abstract:
  We present firstly the master equation of an electromagnetic perturbation
with Weyl correction in the four-dimensional black hole spacetime, which
depends not only on the Weyl correction parameter, but also on the parity of
the electromagnetic field. It is quite different from that of the usual
electromagnetic perturbation without Weyl correction in the four-dimensional
spacetime. And then we have investigated numerically the dynamical evolution of
the electromagnetic perturbation with Weyl correction in the background of a
four-dimensional Schwarzschild black hole spacetime. Our results show that the
Weyl correction parameter $\alpha$ and the parities imprint in the wave
dynamics of the electromagnetic perturbation. For the odd parity
electromagnetic perturbation, we find it grows with exponential rate if the
value of $\alpha$ is below the negative critical value $\alpha_c$. However, for
the electromagnetic perturbation with even parity, we find that there does not
exist such a critical threshold value and the electromagnetic field always
decays in the allowed range of $\alpha$.


title: Fixing numbers for matroids

abstract:
  Motivated by work in graph theory, we define the fixing number for a matroid.
We give upper and lower bounds for fixing numbers for a general matroid in
terms of the size and maximum orbit size (under the action of the matroid
automorphism group). We prove the fixing numbers for the cycle matroid and
bicircular matroid associated with 3-connected graphs are identical. Many of
these results have interpretations through permutation groups, and we make this
connection explicit.


title: Levels of Integration between Low-Level Reasoning and Task Planning

abstract:
  We provide a systematic analysis of levels of integration between discrete
high-level reasoning and continuous low-level reasoning to address hybrid
planning problems in robotics. We identify four distinct strategies for such an
integration: (i) low-level checks are done for all possible cases in advance
and then this information is used during plan generation, (ii) low-level checks
are done exactly when they are needed during the search for a plan, (iii) first
all plans are computed and then infeasible ones are filtered, and (iv) by means
of replanning, after finding a plan, low-level checks identify whether it is
infeasible or not; if it is infeasible, a new plan is computed considering the
results of previous low- level checks. We perform experiments on hybrid
planning problems in robotic manipulation and legged locomotion domains
considering these four methods of integration, as well as some of their
combinations. We analyze the usefulness of levels of integration in these
domains, both from the point of view of computational efficiency (in time and
space) and from the point of view of plan quality relative to its feasibility.
We discuss advantages and disadvantages of each strategy in the light of
experimental results and provide some guidelines on choosing proper strategies
for a given domain.


title:
Spectral Distribution of Cu Nuclear Spin-Lattice Relaxation Time in
  Superconducting Bi2Sr2CaCu2O8+d

abstract:
  We successfully observed the frequency distribution of Cu nuclear
spin-lattice relaxation time in the superconducting state of single crystals
Bi2212, which we believe corresponds to a theoretical suggestion from the
analysis of the energy gap distribution in STM/STS (Mori et al., Phys. Rev.
Lett. 101 (2008) 247003).


title: Three term recurrence and residue completeness

abstract:
  We study the three term recurrence modulo m. In particular, we prove that
Pell numbers modulo m is residue complete if and only m is 2, a power of 3, or
a power of 5. Pell-Lucas numbers modulo m is residue complete if and only if m
is a power of 3.


title:
Real-time Peer-to-Peer Botnet Detection Framework based on Bayesian
  Regularized Neural Network

abstract:
  Over the past decade, the Cyberspace has seen an increasing number of attacks
coming from botnets using the Peer-to-Peer (P2P) architecture. Peer-to-Peer
botnets use a decentralized Command & Control architecture. Moreover, a large
number of such botnets already exist, and newer versions- which significantly
differ from their parent bot- are also discovered practically every year. In
this work, the authors propose and implement a novel hybrid framework for
detecting P2P botnets in live network traffic by integrating Neural Networks
with Bayesian Regularization. Bayesian Regularization helps in achieving better
generalization of the dataset, thereby enabling the detection of botnet
activity even of those bots which were never used in training the Neural
Network. Hence such a framework is suitable for detection of newer and unseen
botnets in live traffic of a network. This was verified by testing the
Framework on test data unseen to the Detection module (using untrained botnet
dataset), and the authors were successful in detecting this activity with an
accuracy of 99.2 %.


title: Energy transfers and magnetic energy growth in small-scale dynamo

abstract:
  In this letter we investigate the dynamics of magnetic energy growth in
small-scale dynamo by studying energy transfers, mainly energy fluxes and
shell-to-shell energy transfers. We perform dynamo simulations for magnetic
Prandtl number $\mathrm{Pm}=20$ on $1024^3$ grid using pseudospectral method.
We demonstrate that the magnetic energy growth is caused by nonlocal energy
transfers from the large-scale or forcing-scale velocity field to small-scale
magnetic field. The peak of these energy transfers move towards lower
wavenumbers as dynamo evolves, which is the reason why the integral scale of
the magnetic field increases with time. The energy transfers $U2U$ (velocity to
velocity) and $B2B$ (magnetic to magnetic) are forward and local.


title:
Integration of 3D Object Recognition and Planning for Robotic
  Manipulation: A Preliminary Report

abstract:
  We investigate different approaches to integrating object recognition and
planning in a tabletop manipulation domain with the set of objects used in the
2012 RoboCup@Work competition. Results of our preliminary experiments show
that, with some approaches, close integration of perception and planning
improves the quality of plans, as well as the computation times of feasible
plans.


title:
Generalized integral formulation of electromagnetic Cartesian multipole
  moments

abstract:
  We study integral expressions of electromagnetic multipole moments of
arbitrary order in Cartesian coordinates. The volume and surface integrals of
charge-induced and current-induced multipole moment tensors are formulated and
the relationship between them is discussed. Full surface integral expressions
for the multipole moment are also obtained. We further extend the formulation
to introduce another kind of dipole moment, which is similar to the
charge-induced and current-induced multipole moments and is found in a vector
decomposition formula.


title: Magnetic Field Effects in Fermion Pairings

abstract:
  This paper considers various fermion pairings of interest for the QCD phases.
The effects of an external magnetic field on the pairing mechanisms, on the
realization of new condensates, and on the properties of the magnetized phases
are all explored and discussed.


title:
Feebly Self-Interacting Cold Dark Matter: New theory for the Core-Halo
  structure in GLSB Galaxies

abstract:
  We explore the low energy cosmological dynamics of feebly self-interacting
cold dark matter and propose a new simple explanation for the rotation curves
of the core-halo model in massive LSB (Low Surface brightness)galaxies. We
argue in favor of the truly collisionless nature of cold dark matter,which is
feebly,self-interacting at small scales between epochs of equality and
recombination.For this, we assume a model, wherein strongly coupled
baryon-radiation plasma ejects out of small regions of concentrated cold dark
matter without losing its equilibrium. We use the Merscerskii equation i.e. the
variable mass formalism of classical dynamics.We obtain new results relating
the oscillations in the CMB anisotropy to the ejection velocity of the
baryon-radiation plasma,which can be useful tool for numerical work for
exploring the second peak of CMB. Based on this model, we discuss the growth of
perturbations in such a feebly self-interacting,cold dark matter both in the
Jeans theory and in the expanding universe using Newton's theory.We obtain an
expression for the growth of fractional perturbations in cold dark matter,which
reduce to the standard result of perturbation theory for late recombination
epochs. We see the effect of the average of the perturbations in the cold dark
matter potential on the cosmic microwave background temperature anisotropy that
originated at redshifts between equality and recombination i.e. 1100 < z <
z_{eq}. Also we obtain an expression for the Sachs-Wolfe effect,i.e. the CMB
temperature anisotropy at decoupling in terms of the average of the
perturbations in cold dark matter potential.


title: Si$\Lambda$ViO: A Trigger for $\Lambda$-Hyperons

abstract:
  As online trigger for events containing $\Lambda$ hyperons in p+p collisions
at $\mathrm{3.1\,GeV}$ a silicon-based device has been designed and built. This
system has been integrated close to the target region within the FOPI
spectrometer at GSI and was also employed as a tracking device to improve the
vertex reconstruction of secondary decays. The design of the detector
components, read-out, the trigger capability as well as the tracking
performance are presented. An enrichment factor of about 14 was achieved for
events containing a $\Lambda$-hyperon candidate.


title:
Analyzing propagation of low-frequency dissipative oscillations in the
  upper atmosphere

abstract:
  At a horizontally homogeneous isothermal atmosphere approximation, we derive
an ordinary six-order differential equation describing linear disturbances with
consideration for heat conductivity and viscosity of medium. The wave problem
may be solved analytically by representing the solution through generalized
hypergeometric functions only at a nonviscous heat-conducting isothermal
atmosphere approximation. The analytical solution may be used to qualitatively
analyze propagation of acoustic and internal gravity waves (AGWs) in the real
atmosphere: a) to classify waves of different frequencies and horizontal scales
according to a degree of attenuation and thus according to their ability to
appear in observations and in general dynamics of the upper atmosphere; b) to
describe variations in amplitude and phase characteristics of disturbances
propagating in a height region with dominant dissipation; c) to analyze
applicability of quasi-classical wave description to a medium with
exponentially growing dissipation. In this paper, we also present wave and
quasi-classical methods for deriving waveguide solutions (dissipative ones
corresponding to a range of internal gravity waves (IGWs)) with consideration
of wave leakage into the upper atmosphere. We propose a qualitative scheme
which formally connects the wave leakage solution to the wave solution in the
upper dissipative atmosphere. Spatial and frequency characteristics of
dissipative disturbances generated by a waveguide leakage effect in the upper
atmosphere are demonstrated to agree well with observed characteristics of
middle-scale traveling ionospheric disturbances (TIDs).


title:
Improved Service Delivery and Cost Effective Framework for e-Governance
  in India

abstract:
  In current era, the involvement of technologies like virtualization,
consolidation and cloud computing, and adoption of free and open source
software in designing and deploying e-governance that can reduce the total cost
associated with and hence the financial burden abide by the state and central
governments. The success of any e-governance project depends upon its
utilization by the intended group and so there accessibility needs to be
enhanced drastically by reengineered framework. Here, we design an Improved
Service Delivery and Cost Effective Framework for e-Governance that will be
useful for success of e-governance projects and the delivery mechanism in India
by using free and open access software for development and deployment of
e-governance applications, virtualization and consolidation techniques for
management of e-services and cloud computing for enhancing the accessibility of
services.


title: $L^1$-Uniqueness of the Fokker-Planck equation on a Riemannian manifold

abstract:
  In this paper, we obtain a necessary and sufficient condition for
$L^{\infty}$-uniqueness of Sturm-Liouville operator $a(x)\frac{d^2}{dx^2} +
b(x) \frac d{dx} -V$ on an open interval of $\rr$, which is equivalent to the
$L^1$-uniqueness of the associated Fokker-Planck equation. For a general
elliptic operator $\LL^V:=\Delta +b \cdot\nabla -V$ on a Riemannian manifold,
we obtain sharp sufficient conditions for the $L^1$-uniqueness of the
Fokker-Planck equation associated with $\LL^V$, via comparison with a
one-dimensional Sturm-Liouville operator. Furthermore the $L^1$-Liouville
property is derived as a direct consequence of the $L^\infty$-uniqueness of
$\LL^V$.


title:
Automatic Mammogram image Breast Region Extraction and Removal of
  Pectoral Muscle

abstract:
  Currently Mammography is a most effective imaging modality used by
radiologists for the screening of breast cancer. Finding an accurate, robust
and efficient breast region segmentation technique still remains a challenging
problem in digital mammography. Extraction of the breast profile region and the
removal of pectoral muscle are essential pre-processing steps in Computer Aided
Diagnosis (CAD) system for the diagnosis of breast cancer. Primarily it allows
the search for abnormalities to be limited to the region of the breast tissue
without undue influence from the background of the mammogram. The presence of
pectoral muscle in mammograms biases detection procedures, which recommends
removing the pectoral muscle during mammogram image pre-processing. The
presence of pectoral muscle in mammograms may disturb or influence the
detection of breast cancer as the pectoral muscle and mammographic parenchymas
appear similar. The goal of breast region extraction is reducing the image size
without losing anatomic information, it improve the accuracy of the overall CAD
system. The main objective of this study is to propose an automated method to
identify the pectoral muscle in Medio-Lateral Oblique (MLO) view mammograms. In
this paper, we proposed histogram based 8-neighborhood connected component
labelling method for breast region extraction and removal of pectoral muscle.
The proposed method is evaluated by using the mean values of accuracy and
error. The comparative analysis shows that the proposed method identifies the
breast region more accurately.


title: How geometry determines the coalescence of low-viscosity drops

abstract:
  The coalescence of water drops on a substrate is studied experimentally. We
focus on the rapid growth of the bridge connecting the two drops, which very
quickly after contact ensues from a balance of surface tension and liquid
inertia. For drops with contact angles below $90^\circ$, we find that the
bridge grows with a self-similar dynamics that is characterized by a height
$h\sim t^{2/3}$. By contrast, the geometry of coalescence changes dramatically
for contact angles at $90^\circ$, for which we observe $h\sim t^{1/2}$, just as
for freely suspended spherical drops in the inertial regime. We present a
geometric model that quantitatively captures the transition from 2/3 to 1/2
exponent, and unifies the inertial coalescence of sessile drops and freely
suspended drops.


title:
Theoretical model and experimental setup for 3D imaging of cavity vacuum
  with single atoms confined by a nanohole aperture

abstract:
  Supplementary information is presented on the recent work by Moonjoo Lee et
al. on the sub-wavelength 3D imaging of the vacuum-field intensity in a cavity
by using single atoms confined by a nanohole aperture as a nanoscopic probe.


title: Manipulation of Stable Matchings using Minimal Blacklists

abstract:
  Gale and Sotomayor (1985) have shown that in the Gale-Shapley matching
algorithm (1962), the proposed-to side W (referred to as women there) can
strategically force the W-optimal stable matching as the M-optimal one by
truncating their preference lists, each woman possibly blacklisting all but one
man. As Gusfield and Irving have already noted in 1989, no results are known
regarding achieving this feat by means other than such preference-list
truncation, i.e. by also permuting preference lists.
  We answer Gusfield and Irving's open question by providing tight upper bounds
on the amount of blacklists and their combined size, that are required by the
women to force a given matching as the M-optimal stable matching, or, more
generally, as the unique stable matching. Our results show that the coalition
of all women can strategically force any matching as the unique stable
matching, using preference lists in which at most half of the women have
nonempty blacklists, and in which the average blacklist size is less than 1.
This allows the women to manipulate the market in a manner that is far more
inconspicuous, in a sense, than previously realized. When there are less women
than men, we show that in the absence of blacklists for men, the women can
force any matching as the unique stable matching without blacklisting anyone,
while when there are more women than men, each to-be-unmatched woman may have
to blacklist as many as all men. Together, these results shed light on the
question of how much, if at all, do given preferences for one side a priori
impose limitations on the set of stable matchings under various conditions. All
of the results in this paper are constructive, providing efficient algorithms
for calculating the desired strategies.


title:
Building on the Case Teaching Method to Generate Learning Games Relevant
  to Numerous Educational Fields

abstract:
  University teachers often feel the need to try innovative learning
technologies such as Learning Games to motivate the new generation of students.
However, the typically limited resources of universities coupled with the high
cost of designing and developing Learning Games result in it rarely being
feasible to meet this need. To address this challenging problem, we have
designed a framework that allows teachers to create their own Learning Games
with very little or no help from developers and graphic designers. This
framework, tested and validated by several university teachers, is suited to a
wide variety of educational fields because it generates Learning Games based on
the widely-used case teaching method.


title: Phase operators and blurring time of a pair-condensed Fermi gas

abstract:
  Due to atomic interactions and dispersion in the total atom number, the order
parameter of a pair-condensed Fermi gas experiences a collapse in a time that
we derive microscopically. As in the bosonic case, this blurring time depends
on the derivative of the gas chemical potential with respect to the atom number
and on the variance of that atom number. The result is obtained first using
linearized time-dependent Bogoliubov-de Gennes equations, then in the Random
Phase Approximation, and then it is generalized to beyond mean field. In this
framework, we construct and compare two phase operators for the paired
fermionic field: The first one, issued from our study of the dynamics, is the
infinitesimal generator of adiabatic translations in the total number of pairs.
The second one is the phase operator of the amplitude of the field of pairs on
the condensate mode. We explain that these two operators differ due to the
dependence of the condensate wave function on the atom number.


title:
Non-Perturbative Regularization of 1+1D Anomaly-Free Chiral Fermions and
  Bosons: On the equivalence of anomaly matching conditions and boundary
  gapping rules

abstract:
  A non-perturbative lattice regularization of chiral fermions and bosons with
anomaly-free symmetry $G$ in 1+1D spacetime is proposed. More precisely, we ask
"whether there is a local short-range quantum Hamiltonian with a finite Hilbert
space for a finite system realizing onsite symmetry $G$ defined on a 1D spatial
lattice with continuous time, such that its low energy physics produces a 1+1D
anomaly-free chiral matter theory of symmetry $G$?" In particular, we show that
the 3$_L$-5$_R$-4$_L$-0$_R$ U(1) chiral fermion theory, with two left-moving
fermions of charge-3 and 4, and two right-moving fermions of charge-5 and 0 at
low energy, can be put on a 1D spatial lattice where the U(1) symmetry is
realized as an onsite symmetry, if we include properly designed multi-fermion
interactions with intermediate strength. In general, we propose that any 1+1D
U(1)-anomaly-free chiral matter theory can be defined as a finite system on a
1D lattice with onsite symmetry by using a quantum Hamiltonian with continuous
time, but without suffered from Nielsen-Ninomiya theorem's fermion-doubling, if
we include properly-designed interactions between matter fields. We propose how
to design such interactions by looking for extra symmetries via
bosonization/fermionization. We comment on the new ingredients and the
differences of ours compared to Ginsparg-Wilson fermion, Eichten-Preskill, and
Chen-Giedt-Poppitz (CGP) models, and suggest modifying CGP model to have
successful mirror-decoupling. As an additional remark, we show a topological
non-perturbative proof on the equivalence relation between the 't Hooft anomaly
matching conditions and the boundary fully gapping rules (e.g. Haldane's
stability conditions for Luttinger liquid) of U(1) symmetry. Our proof holds
universally independent from Hamiltonian or Lagrangian/path integral
formulation of quantum theory.

categories: hep-lat cond-mat.str-el hep-ph hep-th quant-ph


title:
Instability of the ferrofluid layer on a magnetizable substrate in a
  perpendicular magnetic field

abstract:
  The paper presents an experimental study of the instability of a magnetic
fluid layer of finite thickness covering a magnetizable metal plate exposed to
a perpendicular magnetic field. The critical field strength and the instability
wave number have been measured.


title: Fano hypersurfaces and their birational geometry

abstract:
  We survey some results on the nonrationality and birational rigidity of
certain hypersurfaces of Fano type. The focus is on hypersurfaces of Fano index
one, but hypersurfaces of higher index are also discussed.


title:
Physical Realizability Conditions for Mixed Bilinear-Linear Quantum
  Cascades with Pure Field Coupling

abstract:
  This paper aims to provide conditions under which a quantum stochastic
differential equation can serve as a model for interconnection of a bilinear
system evolving on an operator group SU(2) and a linear quantum system
representing a quantum harmonic oscillator. To answer this question we derive
algebraic conditions for the preservation of canonical commutation relations
(CCRs) of quantum stochastic differential equations (QSDE) having a subset of
system variables satisfying the harmonic oscillator CCRs, and the remaining
variables obeying the CCRs of SU(2). Then, it is shown that from the physical
realizability point of view such QSDEs correspond to bilinear-linear quantum
cascades.


title: Absence of Aharonov-Bohm effect of chiral Majorana fermion edge states

abstract:
  Majorana fermions in a superconductor hybrid system are charge neutral
zero-energy states. For the detection of this unique feature, we propose an
interferometry of a chiral Majorana edge channel, formed along the interface
between a superconductor and a topological insulator under an external magnetic
field. The superconductor is of a ring shape and has a Josephson junction that
allows the Majorana state to enclose continuously tunable magnetic flux.
Zero-bias differential electron conductance between the Majorana state and a
normal lead is found to be independent of the flux at zero temperature,
manifesting the Majorana feature of a charge neutral zero-energy state. In
contrast, the same setup on graphene has no Majorana state and shows
Aharonov-Bohm effects.


title:
Time-dependent CP-violations of B(Bs) decays in the perturbative QCD
  approach

abstract:
  We study the decay modes of B_{s}^{0}(\bar{B}_{s}^{0})-->D_{s}^{\pm} K^{\mp},
B_{s}^{0}(\bar{B}_{s}^{0})-->D^{\pm} \pi^{\mp} and B^{0}(\bar{B}^{0})-->D^{\pm}
\pi^{\mp} in the perterbative QCD approach based on k_T factorization,
including the branching ratios and CP violation parameters which provide a
clear way to extract the Cabibbo-Kobayashi-Maskawa angle \gamma. Our results of
branching ratios of B_{s}^{0}(\bar{B}_{s}^{0})-->D_{s}^{\pm} K^{\mp} and
B^{0}(\bar{B}^{0})--> D^{\pm} \pi^{\mp} and the CP asymmetry of
B^{0}(\bar{B}^{0})--> D^{\pm} \pi^{\mp} agree well with the experimental data.
We also give the predictions of the other observables, which provide some
guidance for experiments in the future, especially for LHCb experiment.


title: Toat Dominator Chromatic number of a Graph

abstract:
  Given a graph $G$, the total dominator coloring problem seeks a proper
coloring of $G$ with the additional property that every vertex in the graph is
adjacent to all vertices of a color class. We seek to minimize the number of
color classes. We study this problem on several classes of graphs, as well as
finding general bounds and characterizations. We also show the relation between
total dominator chromatic number and chromatic number and total domination
number.


title:
Detecting and estimating continuous-variable entanglement by local
  orthogonal observables

abstract:
  Entanglement detection and estimation are fundamental in quantum information
science. Compared with discrete-variable states, for which lots of efficient
entanglement detection criteria and lower bounds of entanglement measures have
been proposed, the continuous-variable entanglement is much less understood.
Here we shall present a family of entanglement witnesses based on
continuous-variable local orthogonal observables (CVLOOs) to detect and
estimate entanglement of Gaussian and non-Gaussian states, especially for bound
entangled states. By choosing an optimal set of CVLOOs our entanglement witness
is equivalent to the realignment criterion and can be used to detect bound
entanglement of a class of 2+2 mode Gaussian states. Via our entanglement
witness, lower bounds of two typical entanglement measures for arbitrary
two-mode continuous-variable states are obtained.


title: Measures of quantum computing speedup

abstract:
  We introduce the concept of strong quantum speedup. We prove that
approximating the ground state energy of an instance of the time-independent
Schr\"odinger equation, with $d$ degrees of freedom, $d$ large, enjoys strong
exponential quantum speedup. It can be easily solved on a quantum computer.
Some researchers in discrete complexity theory believe that quantum computation
is not effective for eigenvalue problems. One of our goals in this paper is to
explain this dissonance.


title:
Shock-ionization in the Extended Emission-Line Region of 3C~305. The
  last piece of the (optical) puzzle

abstract:
  We present new Gemini spectroscopical data of the Extended Emission-Line
Region of 3C~305 radio galaxy in order to achieve the final answer of the
long-standing question about the ionizing mechanism. The spectra show strong
kinematic disturbances within the most intense line-emitting region. The
relative intensities amongst the emission lines agree with the gas being
shocked during the interaction of the powerful radio jets with the ambient
medium. The emission from the recombination region acts as a very effective
cooling mechanism, which is supported by the presence of a neutral outflow.
However, the observed intensity is almost an order of magnitude lower than
expected in a pure shock model. So auto-ionizing shock models, in low-density
and low-abundance regime, are required in order to account for the observed
emission within the region. This scenario also supports the hypothesis that the
optical emitting gas and the X-ray plasma are in pressure balance.


title: Symmetric Birkhoff sums in infinite ergodic theory

abstract:
  We show that the absolutely normalized, symmetric Birkhoff sums of positive
integrable functions in infinite, ergodic systems never converge pointwise even
though they may be almost surely bounded away from zero and infinity.


title:
On inverse spectral problems for self-adjoint Dirac operators with
  general boundary conditions

abstract:
  We consider the self-adjoint Dirac operators on a finite interval with
summable matrix-valued potentials and general boundary conditions. For such
operators, we study the inverse problem of reconstructing the potential and the
boundary conditions of the operator from its eigenvalues and suitably defined
norming matrices.


title: A New Look at Linear (Non-?) Symplectic Ion Beam Optics in Magnets

abstract:
  We take a new look at the details of symplectic motion in solenoid and
bending magnets and rederive known (but not always well-known) facts. We start
with a comparison of the general Lagrangian and Hamiltonian formalism of the
harmonic oscillator and analyze the relation between the canonical momenta and
the velocities (i.e. the first derivatives of the canonical coordinates). We
show that the seemingly non-symplectic transfer maps at entrance and exit of
solenoid magnets can be re-interpreted as transformations between the canonical
and the mechanical momentum, which differ by the vector potential.
  In a second step we rederive the transfer matrix for charged particle motion
in bending magnets from the Lorentz force equation in cartesic coordinates. We
rediscover the geometrical and physical meaning of the local curvilinear
coordinate system. We show that analog to the case of solenoids - also the
transfer matrix of bending magnets can be interpreted as a symplectic product
of 3 non-symplectic matrices, where the entrance and exit matrices are
transformations between local cartesic and curvilinear coordinate systems.
  We show that these matrices are required to compare the second moment
matrices of distributions obtained by numerical tracking in cartesic
coordinates with those that are derived by the transfer a matrix method.


title:
On the interplay of basis smoothness and specific range conditions
  occurring in sparsity regularization

abstract:
  The convergence rates results in $\ell^1$-regularization when the sparsity
assumption is narrowly missed, presented by Burger et al. (2013 Inverse
Problems 29 025013), are based on a crucial condition which requires that all
basis elements belong to the range of the adjoint of the forward operator.
Partly it was conjectured that such a condition is very restrictive. In this
context, we study sparsity-promoting varieties of Tikhonov regularization for
linear ill-posed problems with respect to an orthonormal basis in a separable
Hilbert space using $\ell^1$ and sublinear penalty terms. In particular, we
show that the corresponding range condition is always satisfied for all basis
elements if the problems are well-posed in a certain weaker topology and the
basis elements are chosen appropriately related to an associated Gelfand
triple. The Radon transform, Symm's integral equation and linear integral
operators of Volterra type are examples for such behaviour, which allows us to
apply convergence rates results for non-sparse solutions, and we further extend
these results also to the case of non-convex $\ell^q$-regularization with
0<q<1.


title: ReAct! An Interactive Tool for Hybrid Planning in Robotics

abstract:
  We present ReAct!, an interactive tool for high-level reasoning for cognitive
robotic applications. ReAct! enables robotic researchers to describe robots'
actions and change in dynamic domains, without having to know about the
syntactic and semantic details of the underlying formalism in advance, and
solve planning problems using state-of-the-art automated reasoners, without
having to learn about their input/output language or usage. In particular,
ReAct! can be used to represent sophisticated dynamic domains that feature
concurrency, indirect effects of actions, and state/transition constraints. It
allows for embedding externally defined calculations (e.g., checking for
collision-free continuous trajectories) into representations of hybrid domains
that require a tight integration of (discrete) high-level reasoning with
(continuous) geometric reasoning. ReAct! also enables users to solve planning
problems that involve complex goals. Such variety of utilities are useful for
robotic researchers to work on interesting and challenging domains, ranging
from service robotics to cognitive factories. ReAct! provides sample
formalizations of some action domains (e.g., multi-agent path planning, Tower
of Hanoi), as well as dynamic simulations of plans computed by a
state-of-the-art automated reasoner (e.g., a SAT solver or an ASP solver).


title: Universal Polarization

abstract:
  A method to polarize channels universally is introduced. The method is based
on combining two distinct channels in each polarization step, as opposed to
Arikan's original method of combining identical channels. This creates an equal
number of only two types of channels, one of which becomes progressively better
as the other becomes worse. The locations of the good polarized channels are
independent of the underlying channel, guaranteeing universality. Polarizing
the good channels further with Arikan's method results in universal polar codes
of rate 1/2. The method is generalized to construct codes of arbitrary rates.
  It is also shown that the less noisy ordering of channels is preserved under
polarization, and thus a good polar code for a given channel will perform well
over a less noisy one.


title:
A fast direct solver for scattering from periodic structures with
  multiple material interfaces in two dimensions

abstract:
  We present a new integral equation method for the calculation of
two-dimensional scattering from periodic structures involving triple-points
(multiple materials meeting at a single point). The combination of a robust and
high-order accurate integral representation and a fast direct solver permits
the efficient simulation of scattering from fixed structures at multiple angles
of incidence. We demonstrate the performance of the scheme with several
numerical examples.


title: Reducing the number of counterterms with new minimally doubled actions

abstract:
  We study a class of nearest-neighbor minimally doubled actions which depend
on 2 continuous parameters. We calculate the contributions of the 3 possible
counterterms in perturbation theory, and we find that for each counterterm
there are curves in the parameter space on which its coefficient vanishes. One
can thus construct renormalized actions that contain only 2 counterterms
instead of the 3 of the standard Karsten-Wilczek or Borici-Creutz actions.
  Our investigations suggest the usefulness of analogous nonperturbative
searches for values of the parameters for which the number of counterterms can
be reduced. They can also be an inspiration to undertake a search for
ultralocal minimally doubled actions with even better counterterm-reducing
properties, including the optimal case in which all counterterms can be
removed. Simulations of the latter actions will be much cheaper than the cases
in which one needs to add counterterms to the bare actions, like the already
conveniently inexpensive standard Karsten-Wilczek fermions.
  Finally, we also introduce minimally doubled fermions with
next-to-nearest-neighbor interactions, which depend on 4 continuous parameters,
as a further possibility in the search for renormalized actions with no
counterterms.


title: The normalization of citation counts based on classification systems

abstract:
  If we want to assess whether the paper in question has had a particularly
high or low citation impact compared to other papers, the standard practice in
bibliometrics is to normalize citations in respect of the subject category and
publication year. A number of proposals for an improved procedure in the
normalization of citation impact have been put forward in recent years. Against
the background of these proposals this study describes an ideal solution for
the normalization of citation impact: in a first step, the reference set for
the publication in question is collated by means of a classification scheme,
where every publication is associated with a single principal research field or
subfield entry (e. g. via Chemical Abstracts sections) and a publication year.
In a second step, percentiles of citation counts are calculated for this set
and used to assign the normalized citation impact score to the publications
(and also to the publication in question).


title: Markov chains for promotion operators

abstract:
  We consider generalizations of Schuetzenberger's promotion operator on the
set L of linear extensions of a finite poset. This gives rise to a strongly
connected graph on L. In earlier work (arXiv:1205.7074), we studied
promotion-based Markov chains on these linear extensions which generalizes
results on the Tsetlin library. We used the theory of R-trivial monoids in an
essential way to obtain explicitly the eigenvalues of the transition matrix in
general when the poset is a rooted forest. We first survey these results and
then present explicit bounds on the mixing time and conjecture eigenvalue
formulas for more general posets. We also present a generalization of promotion
to arbitrary subsets of the symmetric group.


title: Field-effect transistors made of individual colloidal PbS nanosheets

abstract:
  Two-dimensional materials are considered for future quantum devices and are
usually produced by extensive methods like molecular beam epitaxy. We report on
the fabrication of field-effect transistors using individual ultra-thin lead
sulfide nanostructures with lateral dimensions in the micrometer range and a
height of a few nanometers as conductive channel produced by a comparatively
fast, inexpensive, and scalable colloidal chemistry approach. Contacted with
gold electrodes, such devices exhibit p-type behavior and temperature-dependent
photoconductivity. Trap states play a crucial role in the conduction mechanism.
The performance of the transistors is among the ones of the best devices based
on colloidal nanostructures.


title:
Elliptic differential operators on Lipschitz domains and abstract
  boundary value problems

abstract:
  This paper consists of two parts. In the first part, which is of more
abstract nature, the notion of quasi boundary triples and associated Weyl
functions is developed further in such a way that it can be applied to elliptic
boundary value problems on non-smooth domains. A key feature is the extension
of the boundary maps by continuity to the duals of certain range spaces, which
directly leads to a description of all self-adjoint extensions of the
underlying symmetric operator with the help of abstract boundary values. In the
second part of the paper a complete description is obtained of all self-adjoint
realizations of the Laplacian on bounded Lipschitz domains, as well as
Kre\u{\i}n type resolvent formulas and a spectral characterization in terms of
energy dependent Dirichlet-to-Neumann maps. These results can be viewed as the
natural generalization of recent results from Gesztesy and Mitrea for
quasi-convex domains. In this connection we also characterize the maximal range
spaces of the Dirichlet and Neumann trace operators on a bounded Lipschitz
domain in terms of the Dirichlet-to-Neumann map. The general results from the
first part of the paper are also applied to higher order elliptic operators on
smooth domains, and particular attention is paid to the second order case which
is illustrated with various examples.


title: Universal Predictability of Mobility Patterns in Cities

abstract:
  Despite the long history of modelling human mobility, we continue to lack a
highly accurate approach with low data requirements for predicting mobility
patterns in cities. Here, we present a population-weighted opportunities model
without any adjustable parameters to capture the underlying driving force
accounting for human mobility patterns at the city scale. We use various
mobility data collected from a number of cities with different characteristics
to demonstrate the predictive power of our model. We find that insofar as the
spatial distribution of population is available, our model offers universal
prediction of mobility patterns in good agreement with real observations,
including distance distribution, destination travel constraints and flux. In
contrast, the models that succeed in modelling mobility patterns in countries
are not applicable in cities, which suggests that there is a diversity of human
mobility at different spatial scales. Our model has potential applications in
many fields relevant to mobility behaviour in cities, without relying on
previous mobility measurements.


title: Steenbrink vanishing extended

abstract:
  The notion of DB index, a measure of how far a singularity of a pair is from
being Du Bois, is introduced and used to generalize vanishing theorems of
Steenbrink and others with simpler and more natural proofs than the originals.


title: Non-removable term ergodic action semigroups/groups

abstract:
  In this work, we introduce the concept of term ergodicity for action
semigroups and construct semigroups on two dimensional manifolds which are
$C^{1+\alpha}$-robustly term ergodic. Moreover, we illustrate the term
ergodicity by some exciting examples. At last, we study a problem in the
context of circle packing which is concerned to term ergodic.


title: Interactive Logic Programming via Choice-Disjunctive Clauses

abstract:
  Adding interaction to logic programming is an essential task. Expressive
logics such as linear logic provide a theoretical basis for such a mechanism.
Unfortunately, none of the existing linear logic languages can model
interactions with the user. This is because they uses provability as the sole
basis for computation. We propose to use the game semantics instead of
provability as the basis for computation to allow for more active participation
from the user. We illustrate our idea via muprolog, an extension of Prolog with
choice-disjunctive clauses.


title: Transport through nanostructures: Finite time vs. finite size

abstract:
  Numerical simulations and experiments on nanostructures out of equilibrium
usually exhibit strong finite size and finite measuring time $t_m$ effects. We
discuss how these affect the determination of the full counting statistics for
a general quantum impurity problem. We find that, while there are many methods
available to improve upon finite-size effects, any real-time simulation or
experiment will still be subject to finite time effects: in short size matters,
but time is limiting. We show that the leading correction to the cumulant
generating function (CGF) at zero temperature for single-channel quantum
impurity problems goes as $\ln t_m$ and is universally related to the steady
state CGF itself for non-interacting systems. We then give detailed numerical
evidence for the case of the self-dual interacting resonant level model that
this relation survives the addition of interactions. This allows the
extrapolation of finite measuring time in our numerics to the long-time limit,
to excellent agreement with Bethe-ansatz results.


title:
An Information-Theoretical Approach to Image Resolution Applied to
  Neutron Imaging Detectors based upon Individual Discriminator Signals

abstract:
  1D or 2D neutron imaging detectors with individual wire or strip readout
using discriminators have the advantage of being able to treat several neutron
impacts partially overlapping in time, hence reducing global dead time. A
single neutron impact usually gives rise to several discriminator signals. In
this paper, we introduce an information-theoretical definition of image
resolution. Two point-like spots of neutron impacts with a given distance
between them act as a source of information (each neutron hit belongs to one
spot or the other), and the detector plus signal treatment is regarded as an
imperfect communication channel that transmits this information. The maximal
mutual information obtained from this channel as a function of the distance
between the spots allows to define a calibration-independent measure of
resolution. We then apply this measure to quantify the power of resolution of
different algorithms treating these individual discriminator signals which can
be implemented in firmware. The method is then applied to different detectors
existing at the ILL. Center-of-gravity methods usually improve the resolution
over best-wire algorithms which are the standard way of treating these signals.


title: Cosmologically inspired Kastor-Traschen solution

abstract:
  Kastor-Traschen (KT) type solution in a cosmological set up is studied in
this article. We examine a hybrid of a KT metric and a
Friedmann-Robertson-Walker-Lemaitre (FRWL) solution. The problem is treated in
a general number of dimensions D>=4 and we include the cosmological constant
Lambda parameter into the Einstein-Maxwell equations.
  The matter source consists of two fluids - charged dust and neutral fluid
with non-vanishing pressure.
  The equations of motion for the fluid and electromagnetic (EM) field are
written down and an exact solution generalising extremely charged
Reissner-Nordstr\"{o}m black hole to arbitrary spatial curvature parameter is
presented. We examine metric and curvature scalars singularities, trapped
horizons as well as energy conditions.


title:
Elastic Bending Modulus of Single-Layer Molybdenum Disulphide (MoS2):
  Finite Thickness Effect

abstract:
  We derive, from an empirical interaction potential, an analytic formula for
the elastic bending modulus of single-layer MoS2 (SLMoS2). By using this
approach, we do not need to define or estimate a thickness value for SLMoS2,
which is important due to the substantial controversy in defining this value
for two-dimensional or ultrathin nanostructures such as graphene and nanotubes.
The obtained elastic bending modulus of 9.61 eV in SLMoS2 is significantly
higher than the bending modulus of 1.4 eV in graphene, and is found to be
within the range of values that are obtained using thin shell theory with
experimentally obtained values for the elastic constants of SLMoS2. This
increase in bending modulus as compared to monolayer graphene is attributed,
through our analytic expression, to the finite thickness of SLMoS2.
Specifically, while each monolayer of S atoms contributes 1.75 eV to the
bending modulus, which is similar to the 1.4 eV bending modulus of monolayer
graphene, the additional pairwise and angular interactions between out of plane
Mo and S atoms contribute 5.84 eV to the bending modulus of SLMoS2.


title: The twisted Satake isomorphism and Casselman-Shalika formula

abstract:
  For an arbitrary split adjoint group we identify the unramified Whittaker
space with the space of skew-invariant functions on the lattice of coweights
and deduce from it the Casselman-Shalika formula.


title:
Spatiotemporally complete condensation in a non-Poissonian exclusion
  process

abstract:
  We investigate a non-Poissonian version of the asymmetric simple exclusion
process, motivated by the observation that coarse-graining the interactions
between particles in complex systems generically leads to a stochastic process
with a non-Markovian (history-dependent) character. We characterize a large
family of one-dimensional hopping processes using a waiting-time distribution
for individual particle hops. We find that when its variance is infinite, a
real-space condensate forms that is complete in space (involves all particles)
and time (exists at almost any given instant) in the thermodynamic limit. The
mechanism for the onset and stability of the condensate are both rather subtle,
and depends on the microscopic dynamics subsequent to a failed particle hop
attempts.


title: Shock dynamics of phase diagrams

abstract:
  A thermodynamic phase transition denotes a drastic change of state of a
physical system due to a continuous change of thermodynamic variables, as for
instance pressure and temperature. The classical van der Waals equation of
state is the simplest model that predicts the occurrence of a critical point
associated with the gas-liquid phase transition. Nevertheless, below the
critical temperature, theoretical predictions of the van der Waals theory
significantly depart from the observed physical behaviour. We develop a novel
approach to classical thermodynamics based on the solution of Maxwell relations
for a generalised family of nonlocal entropy functions. This theory provides an
exact mathematical description of discontinuities of the order parameter within
the phase transition region, it explains the universal form of the equations of
state and the occurrence of triple points in terms of the dynamics of nonlinear
shock wave fronts.

categories: math-ph math.MP nlin.PS physics.class-ph


title:
An Approach Finding Frequent Items In Text Or Transactional Data Base By
  Using BST To Improve The Efficiency Of Apriori Algorithm

abstract:
  Data mining techniques have been widely used in various applications. Binary
search tree based frequent items is an effective method for automatically
recognize the most frequent items, least frequent items and average frequent
items. This paper presents a new approach in order to find out frequent items.
The word frequent item refers to how many times the item appeared in the given
input. This approach is used to find out item sets in any order using familiar
approach binary search tree. The method adapted here is in order to find out
frequent items by comparing and incrementing the counter variable in existing
transactional data base or text data. We are also representing different
approaches in frequent item sets and also propose an algorithmic approach for
the problem solving


title:
Application of Differential Transform Method for El Nino Southern
  Oscillation (ENSO) Model with compared Adomian Decomposition and Variational
  Iteration Methods

abstract:
  We consider two nonlinear El Nino Southern Oscillation (ENSO) model to obtain
approximate solutions with differential transform method for the first time.
Efficiency, accuracy and error rates of solutions are compared with analytic
solution, variational iteration and adomian decomposition solutions on the
given tables and figures.


title: The Kerr rotation in the unconventional superconductor Sr$_2$RuO$_4$

abstract:
  The interpretation of Kerr rotation measurements in the superconducting phase
of Sr$_2$RuO$_4$ is a controversial topic. Both intrinsic and extrinsic
mechanisms have been proposed, and it has been argued that the intrinsic
response vanishes by symmetry. We focus on the intrinsic contribution and
clarify several conflicting results in the literature. On the basis of symmetry
considerations and detailed calculations we show that the intrinsic Kerr signal
is not forbidden in a general multi- band system but has a rich structure in
the near infrared regime. We distinguish different optical transitions
determined by the superconducting gap (far infrared) and the inter orbital
coupling of the normal state (near infrared). We argue that the low frequency
transitions do not contribute to the Hall conductivity while only the
inter-orbital transitions in the near infrared regime contribute. Finally, we
discuss the difficulties to connect the calculations for the optical Hall
conductivity to the experimental measurement of the Kerr angle. We will compare
different approximations which might lead to conflicting results.


title: The affine invariant of generalized semitoric systems

abstract:
  A generalized semitoric system F:=(J,H): M --> R^2 on a symplectic 4-manifold
is an integrable system whose essential properties are that F is a proper map,
its set of regular values is connected, J generates an S^1-action and is not
necessarily proper. These systems can exhibit focus-focus singularities, which
correspond to fibers of F which are topologically multipinched tori. The image
F(M) is a singular affine manifold which contains a distinguished set of
isolated points in its interior: the focus-focus values {(x_i,y_i)} of F. By
performing a vertical cutting procedure along the lines {x:=x_i}, we construct
a homeomorphism f : F(M) --> f(F(M)), which restricts to an affine
diffeomorphism away from these vertical lines, and generalizes a construction
of Vu Ngoc. The set \Delta:=f(F(M)) in R^2 is a symplectic invariant of
(M,\omega,F), which encodes the affine structure of F. Moreover, \Delta may be
described as a countable union of planar regions of four distinct types, where
each type is defined as the region bounded between the graphs of two functions
with various properties (piecewise linear, continuous, convex, etc). If F is a
toric system, \Delta is a convex polygon (as proven by Atiyah and
Guillemin-Sternberg) and f is the identity.


title:
Physical Properties of Asteroid (308635) 2005 YU55 derived from
  multi-instrument infrared observations during a very close Earth-Approach

abstract:
  The near-Earth asteroid (308635) 2005 YU55 is a potentially hazardous
asteroid which was discovered in 2005 and passed Earth on November 8th 2011 at
0.85 lunar distances. This was the closest known approach by an asteroid of
several hundred metre diameter since 1976 when a similar size object passed at
0.5 lunar distances. We observed 2005 YU55 from ground with a recently
developed mid-IR camera (miniTAO/MAX38) in N- and Q-band and with the
Submillimeter Array (SMA) at 1.3 mm. In addition, we obtained space
observations with Herschel/PACS at 70, 100, and 160 micron. Our thermal
measurements cover a wide range of wavelengths from 8.9 micron to 1.3 mm and
were taken after opposition at phase angles between -97 deg and -18 deg. We
performed a radiometric analysis via a thermophysical model and combined our
derived properties with results from radar, adaptive optics, lightcurve
observations, speckle and auxiliary thermal data. We find that (308635) 2005
YU55 has an almost spherical shape with an effective diameter of 300 to 312 m
and a geometric albedo pV of 0.055 to 0.075. Its spin-axis is oriented towards
celestial directions (lam_ecl, beta_ecl) = (60 deg +/- 30deg, -60 deg +/- 15
deg), which means it has a retrograde sense of rotation. The analysis of all
available data combined revealed a discrepancy with the radar-derived size. Our
radiometric analysis of the thermal data together with the problem to find a
unique rotation period might be connected to a non-principal axis rotation. A
low to intermediate level of surface roughness (r.m.s. of surface slopes in the
range 0.1 - 0.3) is required to explain the available thermal measurements. We
found a thermal inertia in the range 350-800 Jm^-2s^-0.5K^-1, very similar to
the rubble-pile asteroid (25143) Itokawa and indicating a mixture of low
conductivity fine regolith with larger rocks and boulders of high thermal
inertia on the surface.


title:
Dynamical versus diffraction spectrum for structures with finite local
  complexity

abstract:
  It is well-known that the dynamical spectrum of an ergodic measure dynamical
system is related to the diffraction measure of a typical element of the
system. This situation includes ergodic subshifts from symbolic dynamics as
well as ergodic Delone dynamical systems, both via suitable embeddings. The
connection is rather well understood when the spectrum is pure point, where the
two spectral notions are essentially equivalent. In general, however, the
dynamical spectrum is richer. Here, we consider (uniquely) ergodic systems of
finite local complexity and establish the equivalence of the dynamical spectrum
with a collection of diffraction spectra of the system and certain factors.
This equivalence gives access to the dynamical spectrum via these diffraction
spectra. It is particularly useful as the diffraction spectra are often simpler
to determine and, in many cases, only very few of them need to be calculated.


title: On the maximum angle between copositive matrices

abstract:
  Hiriart-Urruty and Seeger have posed the problem of finding the maximal
possible angle $\theta_{\max}(\mathcal{C}_{n})$ between two copositive matrices
of order $n$. They have proved that
$\theta_{\max}(\mathcal{C}_{2})=\frac{3}{4}\pi$ and conjectured that
$\theta_{\max}(\mathcal{C}_{n})$ is equal to $\frac{3}{4}\pi$ for all $n \geq
2$. In this note we disprove their conjecture by showing that $\lim_{n
\rightarrow \infty}{\theta_{\max}(\mathcal{C}_{n})}=\pi$. Our proof uses a
construction from algebraic graph theory. We also consider the related problem
of finding the maximal angle between a nonnegative matrix and a positive
semidefinite matrix of the same order.


title:
Transverse-Momentum Resummation for Gauge Boson Pair Production at the
  Hadron Collider

abstract:
  We perform the transverse-momentum resummation for $W^{+}W^{-}$, $ZZ$, and
$W^{\pm}Z$ pair productions at the next-to-next-to-leading logarithmic accuracy
using soft-collinear effective theory for $\sqrt{S}=8 \text{TeV}$ and
$\sqrt{S}=14 \text{TeV}$ at the LHC, respectively. Especially, this is the
first calculation of $W^{\pm}Z$ transverse-momentum resummation. We also
include the non-perturbative effects and discussions on the PDF uncertainties.
Comparing with the next-to-leading logarithmic results, the
next-to-next-to-leading logarithmic resummation can reduce the dependence of
the transverse-momentum distribution on the factorization scales significantly.
Finally, we find that our numerical results are consistent with data measured
by CMS collaboration for the $ZZ$ production, which have been only reported by
the LHC experiments for the unfolded transverse-momentum distribution of the
gauge boson pair production so far, within theoretical and experimental
uncertainties.


title: Union of Low-Rank Subspaces Detector

abstract:
  The problem of signal detection using a flexible and general model is
considered. Due to applicability and flexibility of sparse signal
representation and approximation, it has attracted a lot of attention in many
signal processing areas. In this paper, we propose a new detection method based
on sparse decomposition in a union of subspaces (UoS) model. Our proposed
detector uses a dictionary that can be interpreted as a bank of matched
subspaces. This improves the performance of signal detection, as it is a
generalization for detectors. Low-rank assumption for the desired signals
implies that the representations of these signals in terms of some proper bases
would be sparse. Our proposed detector exploits sparsity in its decision rule.
We demonstrate the high efficiency of our method in the cases of voice activity
detection in speech processing.


title: Polynomial Separating Algebras and Reflection Groups

abstract:
  This note considers a finite algebraic group $G$ acting on an affine variety
$X$ by automorphisms. Results of Dufresne on polynomial separating algebras for
linear representations of $G$ are extended to this situation. For that purpose,
we show that the Cohen-Macaulay defect of a certain ring is greater than or
equal to the minimal number $k$ such that the group is generated by
$(k+1)$-reflections. Under certain rather mild assumptions on $X$ and $G$ we
deduce that a separating set of invariants of the smallest possible size $n =
\dim(X)$ can exist only for reflection groups.


title:
Constituent Quarks and Gluons, Polyakov loop and the Hadron Resonance
  Gas Model

abstract:
  Based on first principle QCD arguments, it has been argued in
arXiv:1204.2424[hep-ph] that the vacuum expectation value of the Polyakov loop
can be represented in the hadron resonance gas model. We study this within the
Polyakov-constituent quark model by implementing the quantum and local nature
of the Polyakov loop hep-ph/0412308, hep-ph/0607338. The existence of exotic
states in the spectrum is discussed.


title: Quadrangulations with no pendant vertices

abstract:
  We prove that the metric space associated with a uniformly distributed planar
quadrangulation with n faces and no pendant vertices converges modulo a
suitable rescaling to the Brownian map. This is a first step towards the
extension of recent convergence results for random planar maps to the case of
graphs satisfying local constraints.


title: Microwave Response of Coaxial Cavities Made of Bulk Magnesium Diboride

abstract:
  We report on the microwave (mw) properties of coaxial cavities built by using
bulk MgB2 superconductor prepared by reactive liquid Mg infiltration
technology. We have assembled a homogeneous cavity, by using an outer MgB2
cylinder and an inner MgB2 rod, and a hybrid cavity by using an outer copper
cylinder and the same MgB2 rod as inner conductor. By the analysis of the
resonance curves, in the different resonant modes, we have determined the
microwave surface resistance, Rs, of the MgB2 materials as a function of the
temperature and the frequency, in the absence of DC magnetic fields. At T = 4.2
K and f = 2.5 GHz, by a mw pulsed technique, we have determined the quality
factor of the homogeneous cavity as a function of the input power up to a
maximum level of about 40 dBm (corresponding to a maximum peak magnetic field
of about 100 Oe). Contrary to what occurs in many films, Rs of the MgB2
material used does not exhibit visible variations up to an input power level of
about 10 dBm and varies less than a factor of 2 on further increasing the input
power of 30 dB.