title: Effect of the Interconnected Network Structure on the Epidemic Threshold

abstract:
  Most real-world networks are not isolated. In order to function fully, they
are interconnected with other networks, and this interconnection influences
their dynamic processes. For example, when the spread of a disease involves two
species, the dynamics of the spread within each species (the contact network)
differs from that of the spread between the two species (the interconnected
network). We model two generic interconnected networks using two adjacency
matrices, A and B, in which A is a 2N*2N matrix that depicts the connectivity
within each of two networks of size N, and B a 2N*2N matrix that depicts the
interconnections between the two. Using an N-intertwined mean-field
approximation, we determine that a critical susceptable-infected-susceptable
(SIS) epidemic threshold in two interconnected networks is
1/{\lambda}1(A+\alpha B), where the infection rate is \beta within each of the
two individual networks and \alpha\beta in the interconnected links between the
two networks and {\lambda}1(A+\alpha B) is the largest eigenvalue of the matrix
A+\alpha B. In order to determine how the epidemic threshold is dependent upon
the structure of interconnected networks, we analytically derive
{\lambda}1(A+\alpha B) using perturbation approximation for small and large
\alpha, the lower and upper bound for any \alpha as a function of the adjacency
matrix of the two individual networks, and the interconnections between the two
and their largest eigenvalues/eigenvectors. We verify these approximation and
boundary values for {\lambda}1(A+\alpha B) using numerical simulations, and
determine how component network features affect {\lambda}1(A+\alpha B).


title:
Statistics of the work done by splitting a one-dimensional
  quasi-condensate

abstract:
  Motivated by experiments on splitting one-dimensional quasi-condensates, we
study the statistics of the work done by a quantum quench in a bosonic system.
We discuss the general features of the probability distribution of the work and
focus on its behaviour at the lowest energy threshold, which develops an edge
singularity. A formal connection between this probability distribution and the
critical Casimir effect in thin classical films shows that certain features of
the edge singularity are universal as the post-quench gap tends to zero. Our
results are quantitatively illustrated by an exact calculation for
non-interacting bosonic systems. The effects of finite system size,
dimensionality, and non-zero initial temperature are discussed in detail.


title: Epidemic threshold in directed networks

abstract:
  Epidemics have so far been mostly studied in undirected networks. However,
many real-world networks, such as the social network Twitter and the WWW
networks, upon which information, emotion or malware spreads, are shown to be
directed networks, composed of both unidirectional links and bidirectional
links. We define the directionality as the percentage of unidirectional links.
The epidemic threshold for the susceptible-infected-susceptible (SIS) epidemic
has been proved to be 1/lambda_{1} in directed networks by N-intertwined
Mean-field Approximation, where lambda_{1}, also called as spectral radius, is
the largest eigenvalue of the adjacency matrix. Here, we propose two algorithms
to generate directed networks with a given degree distribution, where the
directionality can be controlled. The effect of directionality on the spectral
radius lambda_{1}, principal eigenvector x_{1}, spectral gap
lambda_{1}-|lambda_{2}|) and algebraic connectivity |mu_{N-1}| is studied.
Important findings are that the spectral radius lambda_{1} decreases with the
directionality, and the spectral gap and the algebraic connectivity increase
with the directionality. The extent of the decrease of the spectral radius
depends on both the degree distribution and the degree-degree correlation
rho_{D}. Hence, the epidemic threshold of directed networks is larger than that
of undirected networks, and a random walk converges to its steady-state faster
in directed networks than in undirected networks with degree distribution.


title:
The Nielsen and the Reidemeister numbers of maps on infra-solvmanifolds
  of type (R)

abstract:
  We prove the rationality, the functional equations and calculate the radii of
convergence of the Nielsen and the Reidemeister zeta functions of continuous
maps on infra-solvmanifolds of type $\R$. We find a connection between the
Reidemeister and Nielsen zeta functions and the Reidemeister torsions of the
corresponding mapping tori. We show that if the Reidemeister zeta function is
defined for a homeomorphism on an infra-solvmanifold of type $\R$, then this
manifold is an infra-nilmanifold. We also prove that a map on an
infra-solvmanifold of type $\R$ induced by an affine map minimizes the
topological entropy in its homotopy class and it has a rational Artin-Mazur
zeta function. Finally we prove the Gauss congruences for the Reidemeister and
Nielsen numbers of any map on an infra-solvmanifolds of type $\R$ whenever all
the Reidemeister numbers of iterates of the map are finite. Our main technical
tool is the averaging formulas for the Lefschetz, the Nielsen and the
Reidemeister numbers on infra-solvmanifolds of type $\R$.


title: On electromagnetic induction in electric conductors

abstract:
  Experimental validation of the Faraday's law of electromagnetic induction
(EMI) is performed when an electromotive force is generated in thin copper
turns, located inside a large magnetic coil. It has been established that the
electromotive force (emf) value should be dependent not only on changes of the
magnetic induction flux through a turn and on symmetry of its crossing by
magnetic power lines also. The law of EMI is applicable in sufficient
approximation in case of the changes of the magnetic field near the turn are
symmetrical. Experimental study of the induced emf in arcs and a direct section
of the conductor placed into the variable field has been carried out. Linear
dependence of the induced emf on the length of the arc has been ascertained in
case of the magnetic field distribution symmetry about it. Influence of the
magnetic field symmetry on the induced emf in the arc has been observed. The
curve of the induced emf in the direct section over period of current pulse is
similar to this one for the turns and arcs. The general law of EMI for a
curvilinear conductor has been deduced. Calculation of the induced emf in the
turns wrapped over it and comparison with the experimental data has been made.
The proportionality factor has been ascertained for the law. Special conditions
have been described, when the induced emf may not exist in the presence of
inductive current. Theoretical estimation of the inductive current has been
made at a induced low voltage in the turn. It has been noted the necessity to
take into account the concentration of current carriers in calculation of the
induced emf in semiconductors and ionized conductors.


title: Functional Dependence in Strategic Games (extended abstract)

abstract:
  The paper studies properties of functional dependencies between strategies of
players in Nash equilibria of multi-player strategic games. The main focus is
on the properties of functional dependencies in the context of a fixed
dependency graph for pay-off functions. A logical system describing properties
of functional dependence for any given graph is proposed and is proven to be
complete.


title:
Restricted Manipulation in Iterative Voting: Convergence and Condorcet
  Efficiency

abstract:
  In collective decision making, where a voting rule is used to take a
collective decision among a group of agents, manipulation by one or more agents
is usually considered negative behavior to be avoided, or at least to be made
computationally difficult for the agents to perform. However, there are
scenarios in which a restricted form of manipulation can instead be beneficial.
In this paper we consider the iterative version of several voting rules, where
at each step one agent is allowed to manipulate by modifying his ballot
according to a set of restricted manipulation moves which are computationally
easy and require little information to be performed. We prove convergence of
iterative voting rules when restricted manipulation is allowed, and we present
experiments showing that most iterative voting rules have a higher Condorcet
efficiency than their non-iterative version.


title: Infinite games with uncertain moves

abstract:
  We study infinite two-player games where one of the players is unsure about
the set of moves available to the other player. In particular, the set of moves
of the other player is a strict superset of what she assumes it to be. We
explore what happens to sets in various levels of the Borel hierarchy under
such a situation. We show that the sets at every alternate level of the
hierarchy jump to the next higher level.


title:
How to Be Both Rich and Happy: Combining Quantitative and Qualitative
  Strategic Reasoning about Multi-Player Games (Extended Abstract)

abstract:
  We propose a logical framework combining a game-theoretic study of abilities
of agents to achieve quantitative objectives in multi-player games by
optimizing payoffs or preferences on outcomes with a logical analysis of the
abilities of players for achieving qualitative objectives of players, i.e.,
reaching or maintaining game states with desired properties. We enrich
concurrent game models with payoffs for the normal form games associated with
the states of the model and propose a quantitative extension of the logic ATL*
enabling the combination of quantitative and qualitative reasoning.


title: Lossy Channel Games under Incomplete Information

abstract:
  In this paper we investigate lossy channel games under incomplete
information, where two players operate on a finite set of unbounded FIFO
channels and one player, representing a system component under consideration
operates under incomplete information, while the other player, representing the
component's environment is allowed to lose messages from the channels. We argue
that these games are a suitable model for synthesis of communication protocols
where processes communicate over unreliable channels. We show that in the case
of finite message alphabets, games with safety and reachability winning
conditions are decidable and finite-state observation-based strategies for the
component can be effectively computed. Undecidability for (weak) parity
objectives follows from the undecidability of (weak) parity perfect information
games where only one player can lose messages.


title: Strategic Analysis of Trust Models for User-Centric Networks

abstract:
  We present a strategic analysis of a trust model that has recently been
proposed for promoting cooperative behaviour in user-centric networks. The
mechanism for cooperation is based on a combination of reputation and virtual
currency schemes in which service providers reward paying customers and punish
non-paying ones by adjusting their reputation, and hence the price they pay for
services. We model and analyse this system using PRISM-games, a tool that
performs automated verification and strategy synthesis for stochastic
multi-player games using the probabilistic alternating-time temporal logic with
rewards (rPATL). We construct optimal strategies for both service users and
providers, which expose potential risks of the cooperation mechanism and which
we use to devise improvements that counteract these risks.


title: Concurrent Game Structures with Roles

abstract:
  In the following paper we present a new semantics for the well-known
strategic logic ATL. It is based on adding roles to concurrent game structures,
that is at every state, each agent belongs to exactly one role, and the role
specifies what actions are available to him at that state. We show advantages
of the new semantics, provide motivating examples based on sensor networks, and
analyze model checking complexity.


title:
Reasoning about Strategies under Partial Observability and Fairness
  Constraints

abstract:
  A number of extensions exist for Alternating-time Temporal Logic; some of
these mix strategies and partial observability but, to the best of our
knowledge, no work provides a unified framework for strategies, partial
observability and fairness constraints. In this paper we propose ATLK^F_po, a
logic mixing strategies under partial observability and epistemic properties of
agents in a system with fairness constraints on states, and we provide a model
checking algorithm for it.


title: Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

abstract:
  We propose a validity preserving translation from a subset of epistemic
Alternating-time Temporal Logic (ATL) to epistemic Computation Tree Logic
(CTL). The considered subset of epistemic ATL is known to have the finite model
property and decidable model-checking. This entails the decidability of
validity but the implied algorithm is unfeasible. Reducing the validity problem
to that in a corresponding system of CTL makes the techniques for automated
deduction for that logic available for the handling of the apparently more
complex system of ATL.


title: Towards an Updatable Strategy Logic

abstract:
  This article is about temporal multi-agent logics. Several of these
formalisms have been already presented (ATL-ATL*, ATLsc, SL). They enable to
express the capacities of agents in a system to ensure the satisfaction of
temporal properties. Particularly, SL and ATLsc enable several agents to
interact in a context mixing the different strategies they play in a semantical
game. We generalize this possibility by proposing a new formalism, Updating
Strategy Logic (USL). In USL, an agent can also refine its own strategy. The
gain in expressive power rises the notion of "sustainable capacities" for
agents.
  USL is built from SL. It mainly brings to SL the two following modifications:
semantically, the successor of a given state is not uniquely determined by the
data of one choice from each agent. Syntactically, we introduce in the language
an operator, called an "unbinder", which explicitely deletes the binding of a
strategy to an agent. We show that USL is strictly more expressive than SL.


title: A rewriting point of view on strategies

abstract:
  This paper is an expository contribution reporting on published work. It
focusses on an approach followed in the rewriting community to formalize the
concept of strategy. Based on rewriting concepts, several definitions of
strategy are reviewed and connected: in order to catch the higher-order nature
of strategies, a strategy is defined as a proof term expressed in the rewriting
logic or in the rewriting calculus; to address in a coherent way deduction and
computation, a strategy is seen as a subset of derivations; and to recover the
definition of strategy in sequential path-building games or in functional
programs, a strategy is considered as a partial function that associates to a
reduction-in-progress, the possible next steps in the reduction sequence.


title:
Synthesizing Structured Reactive Programs via Deterministic Tree
  Automata

abstract:
  Existing approaches to the synthesis of reactive systems typically involve
the construction of transition systems such as Mealy automata. However, in
order to obtain a succinct representation of the desired system, structured
programs can be a more suitable model. In 2011, Madhusudan proposed an
algorithm to construct a structured reactive program for a given omega-regular
specification without synthesizing a transition system first. His procedure is
based on two-way alternating omega-automata on finite trees that recognize the
set of "correct" programs.
  We present a more elementary and direct approach using only deterministic
bottom-up tree automata that compute so-called signatures for a given program.
In doing so, we extend Madhusudan's results to the wider class of programs with
bounded delay, which may read several input symbols before producing an output
symbol (or vice versa). As a formal foundation, we inductively define a
semantics for such programs.


title: The Complexity of Synthesizing Uniform Strategies

abstract:
  We investigate uniformity properties of strategies. These properties involve
sets of plays in order to express useful constraints on strategies that are not
\mu-calculus definable. Typically, we can state that a strategy is
observation-based. We propose a formal language to specify uniformity
properties, interpreted over two-player turn-based arenas equipped with a
binary relation between plays. This way, we capture e.g. games with winning
conditions expressible in epistemic temporal logic, whose underlying
equivalence relation between plays reflects the observational capabilities of
agents (for example, synchronous perfect recall). Our framework naturally
generalizes many other situations from the literature. We establish that the
problem of synthesizing strategies under uniformity constraints based on
regular binary relations between plays is non-elementary complete.


title: Crowdsourced Judgement Elicitation with Endogenous Proficiency

abstract:
  Crowdsourcing is now widely used to replace judgement by an expert authority
with an aggregate evaluation from a number of non-experts, in applications
ranging from rating and categorizing online content to evaluation of student
assignments in massively open online courses via peer grading. A key issue in
these settings, where direct monitoring is infeasible, is incentivizing agents
in the `crowd' to put in effort to make good evaluations, as well as to
truthfully report their evaluations. This leads to a new family of information
elicitation problems with unobservable ground truth, where an agent's
proficiency- the probability with which she correctly evaluates the underlying
ground truth- is endogenously determined by her strategic choice of how much
effort to put into the task.
  Our main contribution is a simple, new, mechanism for binary information
elicitation for multiple tasks when agents have endogenous proficiencies, with
the following properties: (i) Exerting maximum effort followed by truthful
reporting of observations is a Nash equilibrium. (ii) This is the equilibrium
with maximum payoff to all agents, even when agents have different maximum
proficiencies, can use mixed strategies, and can choose a different strategy
for each of their tasks. Our information elicitation mechanism requires only
minimal bounds on the priors, asks agents to only report their own evaluations,
and does not require any conditions on a diverging number of agent reports per
task to achieve its incentive properties. The main idea behind our mechanism is
to use the presence of multiple tasks and ratings to identify and penalize
low-effort agreement: the mechanism rewards agents for agreeing with a
`reference' rater on a task but also penalizes for blind agreement by
subtracting out a statistic term designed so that agents obtain reward only
when they put effort into their observations.


title:
A Light Supersymmetric Higgs Sector Hidden by a Standard Model-like
  Higgs

abstract:
  Extending the Higgs sector of the MSSM by triplets alleviates the little
hierarchy problem and naturally allows for enhancements in the diphoton decay
rate of the lightest CP-even Higgs h. In the present paper we analyze in detail
the Higgs phenomenology of this theory with m_h~126 GeV. We mostly focus on a
light Higgs sector where the pseudoscalar A, the next-to-lightest CP-even
scalar H and the charged H^\pm Higgses are naturally at the electroweak scale.
It turns out that for any value m_A > m_h there is a parameter region at small
tan(beta) where the CP-even Higgs sector appears at colliders as the SM one,
except for loop-induced corrections. Notably the existence of this SM-like
point, which is absent in the MSSM, is shared with supersymmetric theories
where there are extra singlets. We also highlight a second parameter region at
small m_A and small tan(beta) where the h signal strengths, diphoton channel
included, are SM-like except those of bottoms and taus which can have at most a
10-15 % splitting. Improvements in the A and H^\pm searches are worthwhile in
order to discriminate this scenario from the SM.


title: One-dimensional quantum channel in a graphene line defect

abstract:
  Using a tight-binding model, we study a line defect in graphene where a bulk
energy gap is opened by sublattice symmetry breaking. It is found that
sublattice symmetry breaking may induce many configurations that correspond to
different band spectra. In particular, a gapless state is observed for a
configuration which hold a mirror symmetry with respect to the line defect. We
find that this gapless state originates from the line defect and is independent
of the width of the graphene ribbon, the location of the line defect, and the
potentials in the edges of the ribbon. In particular, the gapless state can be
controlled by the gate voltage embedded below the line defect. Finally, this
result is supported with conductance calculations. This study shows how a
quantum channel could be constructed using a line defect, and how the quantum
channel can be controlled by tuning the gate voltage embedded below the line
defect.


title:
On Frobenius and separable algebra extensions in monoidal categories.
  Applications to wreaths

abstract:
  We characterize Frobenius and separable monoidal algebra extensions $i: R\ra
S$ in terms given by $R$ and $S$. For instance, under some conditions, we show
that the extension is Frobenius, respectively separable, if and only if $S$ is
a Frobenius, respectively separable, algebra in the category of bimodules over
$R$. In the case when $R$ is separable we show that the extension is separable
if and only if $S$ is a separable algebra. Similarly, in the case when $R$ is
Frobenius and separable in a sovereign monoidal category we show that the
extension is Frobenius if and only if $S$ is a Frobenius algebra and the
restriction at $R$ of its Nakayama automorphism is equal to the Nakayama
automorphism of $R$. As applications, we obtain several characterizations for
an algebra extension associated to a wreath to be Frobenius, respectively
separable.


title: A Guide to the Design of Electronic Properties of Graphene Nanoribbons

abstract:
  Graphene nanoribbons (GNRs) are one-dimensional nanostructures predicted to
display a rich variety of electronic behaviors. Depending on their structure,
GNRs realize metallic and semiconducting electronic structures with band gaps
that can be tuned across broad ranges. Certain GNRs also exhibit a peculiar
gapped magnetic phase for which the half-metallic state can be induced as well
as the topologically non-trivial quantum spin Hall electronic phase. Because
their electronic properties are highly tunable, GNRs have quickly become a
popular subject of research toward the design of graphene-based nanostructures
for technological applications. This Account presents a pedagogical overview of
the various degrees of freedom in the atomic structure and interactions that
researchers can use to tailor the electronic structure of these materials. The
Account provides a broad picture of relevant physical concepts that would
facilitate the rational design of GNRs with desired electronic properties
through synthetic techniques.


title: A controllable valley polarization in Graphene

abstract:
  The electron transport of different conical valleys is investigated in
graphene with extended line-defects. Intriguingly, the electron with a definite
incident angle can be completely modulated into one conical valley by a
resonator which consists of several paralleling line-defects. The related
incident angle can be controlled easily by tuning the parameters of the
resonator. Therefore, a controllable 100% valley polarization, as well as the
detection of the valley polarization, can be realized conveniently by tuning
the number of line-defects and the distance between two nearest neighbouring
line-defects. This fascinating finding opens a way to realize the valley
polarization by line-defects. With the advancement of experimental
technologies, this resonator is promising to be realized and thus plays a key
role in graphene valleytronics.


title:
Deleterious synonymous mutations hitchhike to high frequency in HIV-1
  env evolution

abstract:
  Intrapatient HIV-1 evolution is dominated by selection on the protein level
in the arms race with the adaptive immune system. When cytotoxic CD8+ T-cells
or neutralizing antibodies target a new epitope, the virus often escapes via
nonsynonymous mutations that impair recognition. Synonymous mutations do not
affect this interplay and are often assumed to be neutral. We analyze
longitudinal intrapatient data from the C2-V5 part of the envelope gene (env)
and observe that synonymous derived alleles rarely fix even though they often
reach high frequencies in the viral population. We find that synonymous
mutations that disrupt base pairs in RNA stems flanking the variable loops of
gp120 are more likely to be lost than other synonymous changes, hinting at a
direct fitness effect of these stem-loop structures in the HIV-1 RNA.
Computational modeling indicates that these synonymous mutations have a
(Malthusian) selection coefficient of the order of -0.002 and that they are
brought up to high frequency by hitchhiking on neighboring beneficial
nonsynonymous alleles. The patterns of fixation of nonsynonymous mutations
estimated from the longitudinal data and comparisons with computer models
suggest that escape mutations in C2-V5 are only transiently beneficial, either
because the immune system is catching up or because of competition between
equivalent escapes.


title: Generalization of the three-term recurrence formula and its applications

abstract:
  The history of linear differential equations is over 350 years. By using
Frobenius method and putting the power series expansion into linear
differential equations, the recursive relation of coefficients starts to
appear. There can be between two and infinity number of coefficients in the
recurrence relation in the power series expansion. During this period
mathematicians developed analytic solutions of only two term recursion relation
in closed forms. Currently the analytic solution of three term recurrence
relation is unknown. In this paper I will generalize the three term recurrence
relation in the linear differential equation. This paper is 2nd out of 10 in
series "Special functions and three term recurrence formula (3TRF)". The next
paper in series deals with the power series expansion in closed forms of Heun
function by Choun [arXiv:1303.0830]. The rest of the papers in the series show
how to solve mathematical equations having three term recursion relations and
go on producing the exact solutions of some of the well known special functions
including: Mathieu, Heun, Biconfluent Heun and Lame equations. See section IX
for all the papers and short descriptions in the series.


title:
Lexicographic Product vs $\mathbb Q$-perfect and $\mathbb H$-perfect
  Pseudo Effect Algebras

abstract:
  We study the Riesz Decomposition Property types of the lexicographic product
of two po-groups. Then we apply them to the study of pseudo effect algebras
which can be decomposed to a comparable system of non-void slices indexed by
some subgroup of real numbers. Finally, we present their representation by the
lexicographic product.


title: Sequential decoding of a general classical-quantum channel

abstract:
  Since a quantum measurement generally disturbs the state of a quantum system,
one might think that it should not be possible for a sender and receiver to
communicate reliably when the receiver performs a large number of sequential
measurements to determine the message of the sender. We show here that this
intuition is not true, by demonstrating that a sequential decoding strategy
works well even in the most general "one-shot" regime, where we are given a
single instance of a channel and wish to determine the maximal number of bits
that can be communicated up to a small failure probability. This result follows
by generalizing a non-commutative union bound to apply for a sequence of
general measurements. We also demonstrate two ways in which a receiver can
recover a state close to the original state after it has been decoded by a
sequence of measurements that each succeed with high probability. The second of
these methods will be useful in realizing an efficient decoder for fully
quantum polar codes, should a method ever be found to realize an efficient
decoder for classical-quantum polar codes.


title:
A Study on the Universality and Linearity of the Leavitt Law in the LMC
  and SMC Galaxies

abstract:
  The universality and linearity of the Leavitt law are hypotheses commonly
adopted in studies of galaxy distances using Cepheid variables as standard
candles. In order to test these hypotheses, we obtain slopes of the Leavitt law
using linear regressions of fundamental-mode Cepheids observed by the Optical
Gravitational Lensing Experiment project in the Magellanic Clouds. We find that
the slopes in $VI$-bands and in the Wesenheit index behave exponentially,
indicating non-linearity. We also find that the slopes obtained using
long-period Cepheids can be considered as universal in the $VI$-bands, but not
in the Wesenheit index.


title:
Multivariate Survival Mixed Models for Genetic Analysis of Longevity
  Traits

abstract:
  A class of multivariate mixed survival models for continuous and discrete
time with a complex covariance structure is introduced in a context of
quantitative genetic applications. The methods introduced can be used in many
applications in quantitative genetics although the discussion presented
concentrates on longevity studies. The framework presented allows to combine
models based on continuous time with models based on discrete time in a joint
analysis. The continuous time models are approximations of the frailty model in
which the hazard function will be assumed to be piece-wise constant. The
discrete time models used are multivariate variants of the discrete relative
risk models. These models allow for regular parametric likelihood-based
inference by exploring a coincidence of their likelihood functions and the
likelihood functions of suitably defined multivariate generalized linear mixed
models. The models include a dispersion parameter, which is essential for
obtaining a decomposition of the variance of the trait of interest as a sum of
parcels representing the additive genetic effects, environmental effects and
unspecified sources of variability; as required in quantitative genetic
applications. The methods presented are implemented in such a way that large
and complex quantitative genetic data can be analyzed.


title: On the dimension datum problem and the linear dependence problem

abstract:
  The dimension datum of a closed subgroup of a compact Lie group is the
sequence of invariant dimensions of irreducible representations by restriction.
In this article we classify closed connected subgroups with equal dimension
data or linearly dependent dimension data. This classification should have
applications to the isospectral geometry and automorphic form theory. We also
study the equality/linear dependence of not necessarily connected subgroups of
unitary group acting irreducibly on the natural representation.


title: A rigidity result for dimension data

abstract:
  The dimension datum of a closed subgroup of a compact Lie group is a sequence
by assigning the invariant dimension of each irreducible representation
restricting to the subgroup. We prove that any sequence of dimension data
contains a converging sequence with limit the dimension datum of a subgroup
interrelated to subgroups giving this sequence. This rigidity has an immediate
corollary that the space of dimension data of closed subgroups in a given
compact Lie group is sequentially compact.


title: Analytic solution for grand confluent hypergeometric function

abstract:
  In previous paper I construct an approximative solution of the power series
expansion in closed forms of Grand Confluent Hypergeometric (GCH) function only
up to one term of A_n's [4]. And I obtain normalized constant and orthogonal
relation of GCH function.
  In this paper I will apply three term recurrence formula [3] to the power
series expansion in closed forms of GCH function (infinite series and
polynomial) including all higher terms of A_n's.
  In general most of well-known special function with two recursive
coefficients only has one eigenvalue for the polynomial case. However this new
function with three recursive coefficients has infinite eigenvalues that make
B_n's term terminated at specific value of index n because of three term
recurrence formula [3].
  This paper is 9th out of 10 in series "Special functions and three term
recurrence formula (3TRF)". See section 6 for all the papers in the series.
Previous paper in series deals with generating functions of Lame polynomial in
the Weierstrass's form [28]. The next paper in the series describes the
integral formalism and the generating function of GCH function [30].


title:
Probing the local density of states in three dimensions with a scanning
  single quantum emitter

abstract:
  Their intrinsic properties render single quantum systems as ideal tools for
quantum enhanced sensing and microscopy. As an additional benefit, their size
is typically on an atomic scale which enables sensing with very high spatial
resolution. Here, we report on utilizing a single nitrogen vacancy center in
nanodiamond for performing three-dimensional scanning-probe fluorescence
lifetime imaging microscopy. By measuring changes of the single emitter's
lifetime information on the local density of optical states is acquired at the
nanoscale. This technique to gather information on the local density of optical
states is important for the understanding of fundamental quantum optical
processes as well as for the engineering of novel photonic and plasmonic
devices.


title:
Products of sequentially compact spaces and compactness with respect to
  a set of filters

abstract:
  Let $X$ be a product of topological spaces. $X$ is sequentially compact if
and only if all subproducts by $\leq \mathfrak s$ factors are sequentially
compact. If $\mathfrak s = \mathfrak h$, then $X$ is sequentially compact if
and only if all factors are sequentially compact and all but at most
$<\mathfrak s$ factors are ultraconnected. We give a topological proof of the
inequality $cf \mathfrak s \geq \mathfrak h$. Recall that $\mathfrak s$ denotes
the splitting number, and $\mathfrak h$ the distributivity number.
  Parallel results are obtained for final $ \omega_n$-compactness and for other
properties, as well as in the general context of a formerly introduced notion
of compactness with respect to a set of filters. Some corresponding invariants
are introduced.


title:
Studying the emergence of the red sequence through galaxy clustering:
  host halo masses at z > 2

abstract:
  We use the UKIDSS Ultra-Deep Survey, the deepest degree-scale near-infrared
survey to date, to investigate the clustering of star-forming and passive
galaxies to z ~ 3.5. Our new measurements include the first determination of
the clustering for passive galaxies at z > 2, which we achieve using a
cross-correlation technique. We find that passive galaxies are the most
strongly clustered, typically hosted by massive dark matter halos with M_halo >
5 x 10^12 M_sun irrespective of redshift or stellar mass. Our findings are
consistent with models in which a critical halo mass determines the transition
from star-forming to passive galaxies. Star-forming galaxies show no strong
correlation between stellar mass and halo mass, but passive galaxies show
evidence for an anti-correlation; low-mass passive galaxies appear, on average,
to be located in the most massive halos. These results can be understood if the
termination of star formation is most efficient for galaxies of low stellar
mass in very dense environments.


title: On Cooperation in Multi-Terminal Computation and Rate Distortion

abstract:
  A receiver wants to compute a function of two correlated sources separately
observed by two transmitters. One of the transmitters may send a possibly
private message to the other transmitter in a cooperation phase before both
transmitters communicate to the receiver. For this network configuration this
paper investigates both a function computation setup, wherein the receiver
wants to compute a given function of the sources exactly, and a rate distortion
setup, wherein the receiver wants to compute a given function within some
distortion.
  For the function computation setup, a general inner bound to the rate region
is established and shown to be tight in a number of cases: partially invertible
functions, full cooperation between transmitters, one-round point-to-point
communication, two-round point-to-point communication, and the cascade setup
where the transmitters and the receiver are aligned. In particular it is shown
that the ratio of the total number of transmitted bits without cooperation and
the total number of transmitted bits with cooperation can be arbitrarily large.
Furthermore, one bit of cooperation suffices to arbitrarily reduce the amount
of information both transmitters need to convey to the receiver.
  For the rate distortion version, an inner bound to the rate region is
exhibited which always includes, and sometimes strictly, the convex hull of
Kaspi-Berger's related inner bounds. The strict inclusion is shown via two
examples.


title: Riemannian metrics for neural networks I: feedforward networks

abstract:
  We describe four algorithms for neural network training, each adapted to
different scalability constraints. These algorithms are mathematically
principled and invariant under a number of transformations in data and network
representation, from which performance is thus independent. These algorithms
are obtained from the setting of differential geometry, and are based on either
the natural gradient using the Fisher information matrix, or on Hessian
methods, scaled down in a specific way to allow for scalability while keeping
some of their key mathematical properties.


title:
The integral formalism and the generating function of grand confluent
  hypergeometric function

abstract:
  Biconfluent Heun (BCH) function, a confluent form of Heun function, is the
special case of Grand Confluent Hypergeometric (GCH) function: this has a
regular singularity at x=0, and an irregular singularity at infinity of rank 2.
  In this paper I apply three term recurrence formula (3TRF) [arXiv:1303.0806]
to the integral formalism of GCH function including all higher terms of A_n's
and the generating function for the GCH polynomial which makes B_n term
terminated. I show how to transform power series expansion in closed forms of
GCH equation to its integral representation analytically.
  This paper is 10th out of 10 in series "Special functions and three term
recurrence formula (3TRF)". See section 6 for all the papers in the series. The
previous paper in the series describes the power series expansion in closed
forms of GCH equation and its asymtotic behaviours. [arXiv:1303.0813]


title:
The power series expansion of Mathieu function and its integral
  formalism

abstract:
  Mathieu ordinary differential equation is of Fuchsian types with the two
regular and one irregular singularities. In contrast, Heun equation of Fuchsian
types has the four regular singularities. Heun equation has the four kind of
confluent forms: (1) Confluent Heun (two regular and one irregular
singularities), (2) Doubly confluent Heun (two irregular singularities), (3)
Biconfluent Heun (one regular and one irregular singularities), (4)
Triconfluent Heun equations (one irregular singularity). Mathieu equation in
algebraic forms is also derived from the Confluent Heun equation by changing
all coefficients.
  In this paper I apply three term recurrence formula [arXiv:1303.0806] to the
power series expansion in closed forms of Mathieu equation for infinite series
and its integral forms including all higher terms of A_n's. One interesting
observation resulting from the calculations is the fact that a modified Bessel
function recurs in each of sub-integral forms: the first sub-integral form
contains zero term of A_n's, the second one contains one term of A_n's, the
third one contains two terms of A_n's, etc. Section 5 contains two additional
examples of Mathieu function.
  This paper is 5th out of 10 in series "Special functions and three term
recurrence formula (3TRF)". See section 6 for all the papers in the series.
Previous paper in series deals with asymptotic behavior of Heun function and
its integral formalism [arXiv:1303.0876]. The next paper in the series
describes the power series expansion in closed forms of Lame equation in the
algebraic form and its integral forms [arXiv:1303.0873].


title: Simple Curve Embedding

abstract:
  Given a curve f and a surface S, how hard is it to find a simple curve f' in
S that is the most similar to f?
  We introduce and study this simple curve embedding problem for piecewise
linear curves and surfaces in R^2 and R^3, under Hausdorff distance, weak
Frechet distance, and Frechet distance as similarity measures for curves.
Surprisingly, while several variants of the problem turn out to have
polynomial-time solutions, we show that in R^3 the simple curve embedding
problem is NP-hard under Frechet distance even if S is a plane, as well as
under weak Frechet distance if S is a terrain. Additionally, these results give
insight into the difficulty of computing the Frechet distance between surfaces,
and they imply that the partial Frechet distance between non-planar surfaces is
NP-hard as well.


title:
Nonlinear PDEs with modulated dispersion I: Nonlinear Schr\"odinger
  equations

abstract:
  We start a study of various nonlinear PDEs under the effect of a modulation
in time of the dispersive term. In particular in this paper we consider the
modulated non-linear Schr\"odinger equation (NLS) in dimension 1 and 2 and the
derivative NLS in dimension 1. We introduce a deterministic notion of
"irregularity" for the modulation and obtain local and global results similar
to those valid without modulation. In some situations, we show how the
irregularity of the modulation improves the well--posedness theory of the
equations. We develop two different approaches to the analysis of the effects
of the modulation. A first approach is based on novel estimates for the
regularising effect of the modulated dispersion on the non-linear term using
the theory of controlled paths. A second approach is an extension of a
Strichartz estimated first obtained by Debussche and Tsutsumi in the case of
the Brownian modulation for the quintic NLS.


title: Combined search for the Higgs boson with the D0 experiment

abstract:
  We perform a combination of searches for standard model Higgs boson
production in $p\bar{p}$ collisions recorded by the D0 detector at the Fermilab
Tevatron Collider at a center of mass energy of $\sqrt{s}=1.96$ TeV. The
different production and decay channels have been analyzed separately, with
integrated luminosities of up to 9.7 fb$^{-1}$ and for Higgs boson masses
$90\leq M_H \leq 200$ GeV. We combine these final states to achieve optimal
sensitivity to the production of the Higgs boson. We also interpret the
combination in terms of models with a fourth generation of fermions, and models
with suppressed Higgs boson couplings to fermions. The result excludes a
standard model Higgs boson at 95% C.L. in the ranges $90 < M_H < 101$ GeV and
$157 <M_H< 178$ GeV, with an expected exclusion of $155 <M_H<175$ GeV. In the
range $120 < M_H < 145$ GeV, the data exhibit an excess over the expected
background of up to two standard deviations, consistent with the presence of a
standard model Higgs boson of mass 125 GeV.


title:
Photon isolation effects at NLO in gamma gamma + jet final states in
  hadronic collisions

abstract:
  We present the NLO QCD corrections to diphoton plus jet production at hadron
colliders. Our calculation includes contributions from the fragmentation of a
hadronic jet into a highly energetic photon, and consequently allows the
implementation of arbitrary infrared-safe photon isolation definitions. We
compare different photon isolation criteria and perform a detailed study of the
dependence of the diphoton plus jet cross section on the photon isolation
parameters.


title: Precision measurements of the Planck and Avogadro constants

abstract:
  Precision measurements of the fundamental constants are tour de force of
basic metrology, where the useful information is usually beyond the last digit
of the measured value. They challenge theoretical models and measurement
technologies and set a network of measurement equations on which a universal
system of units can be built, which stems from the most basic concepts of
physics. Because of their connection with the mass unit, the Avogadro and
Planck constants are on the spotlight.


title:
Results of magnetic field measurements in young stars DO Tau, DR Tau, DS
  Tau

abstract:
  Results of measurements of the longitudinal magnetic field in a hot accretion
spot in three classical T Tauri stars (CTTS) are presented. The magnetic field
in the formation region of the narrow component of the emission line HeI 5876
{\AA} was found for each star in our sample at a level of more than 2\sigma. In
case of DS Tau we have found the field in the narrow components of NaI D lines,
which was equal to +0.8 \pm 0.3 kG, i.e. it was equal to the field measured on
the narrow component of HeI 5876 \AA. Our results indicate that the magnetic
field in the hot spots can be studied for CTTS down to 13^m that allow in the
future to double a number of CTTS with measured field in the accretion zone.


title: Critical metrics on connected sums of Einstein four-manifolds

abstract:
  We develop a gluing procedure designed to obtain canonical metrics on
connected sums of Einstein four-manifolds. The main application is an existence
result, using two well-known Einstein manifolds as building blocks: the
Fubini-Study metric on $\mathbb{CP}^2$ and the product metric on $S^2 \times
S^2$. Using these metrics in various gluing configurations, critical metrics
are found on connected sums for a specific Riemannian functional, which depends
on the global geometry of the factors. Furthermore, using certain quotients of
$S^2 \times S^2$ as one of the gluing factors, critical metrics on several
non-simply-connected manifolds are also obtained.


title: On the local Langlands correspondence for non-tempered representations

abstract:
  Let G be a reductive p-adic group. We study how a local Langlands
correspondence for irreducible tempered G-representations can be extended to a
local Langlands correspondence for all irreducible smooth representations of G.
We prove that, under a natural condition involving compatibility with
unramified twists, this is possible in a canonical way.
  To this end we introduce analytic R-groups associated to non-tempered
essentially square-integrable representations of Levi subgroups of G. We
establish the basic properties of these new R-groups, which generalize
Knapp--Stein R-groups.


title: Modular transformations and topological orders in two dimensions

abstract:
  The string-net approach by Levin and Wen and the local unitary transformation
approach by Chen, Gu and Wen provided ways to systematically label non-chiral
topological orders in 2D. In those approaches, different topologically ordered
many-body wave functions were characterized by different fixed-point tensors.
Though extremely powerful, the resulting fixed-point tensors were mathematical
abstractions and thus lacked a physical interpretation. As a result it was hard
to judge if two different fixed-point tensors described the same quantum phase
or not. We want to improve that approach by giving a more physical description
of the topological orders. We find that the non-Abelian Berry's phases, $T$-
and $S$-matrices, of the topological protected degenerate ground states on a
torus give rise to a more physical description of topological orders. Using the
Verlinde conjecture, we can even choose the canonical basis for the $T$- and
$S$-matrices. It is conjectured that the $T$ and $S$-matrices form a complete
and one-to-one characterization of non-chiral topological orders and can
replace the fixed-point tensor description to give us a more physical label for
topological orders. As a result, all the topological properties can be obtained
from the $T$- and $S$-matrices, such as number of quasiparticle types (from the
dimension of $T$ or $S$), the quasiparticle statistics (from the diagonal
elements of $T$), the quantum dimensions of quasiparticles (from the first row
of $S$), \etc.


title: The analytic solution for the power series expansion of Heun function

abstract:
  The Heun function generalizes all well-known special functions such as
Spheroidal Wave, Lame, Mathieu, and hypergeometric_2F_1,_1F_1 and_0F_1
functions. Heun functions are applicable to diverse areas such as theory of
black holes, lattice systems in statistical mechanics, solution of the
Schrodinger equation of quantum mechanics, and addition of three quantum spins.
  In this paper I will apply three term recurrence formula (Choun, Y.S.,
arXiv:1303.0806., 2013) to the power series expansion in closed forms of Heun
function (infinite series and polynomial) including all higher terms of A_n's.
Section three contains my analysis on applying the power series expansions of
Heun function to a recent paper. (R.S. Maier, Math. Comp. 33, 2007) Due to
space restriction final equations for the 192 Heun functions are not included
in the paper, but feel free to contact me for the final solutions. Section four
contains two additional examples using the power series expansions of Heun
function.
  This paper is 3rd out of 10 in series "Special functions and three term
recurrence formula (3TRF)". See section 5 for all the papers in the series. The
previous paper in series deals with three term recurrence formula (3TRF). The
next paper in the series describes the integral forms of Heun function and its
asymptotic behaviors analytically.


title: Lie Derivations of Dual Extension Algebras

abstract:
  Let $K$ be a field and $\Gamma$ a finite quiver without oriented cycles. Let
$\Lambda$ be the path algebra $K(\Gamma, \rho)$ and let $\mathscr{D}(\Lambda)$
be the dual extension of $\Lambda$. In this paper, we prove that each Lie
derivation of $\mathscr{D}(\Lambda)$ is of the standard form.


title: Model of Trace Gas Flux in Boundary Layer

abstract:
  Mathematical model of the turbulent flux in the three-layer boundary system
is presented. Turbulence is described as a presence of the nonzero vorticity.
Generalized advection-diffusion-reaction equation is derived for arbitrary
number components in the flux. The fluxes in the layers are objects for
matching requirements on the boundaries between the layers.


title:
Transverse oscillations in solar spicules induced by propagating
  Alfvenic pulses

abstract:
  The excitation of Alfvenic waves in the solar spicules due to the localized
Alfvenic pulse is investigated. A set of incompressible MHD equations in two
dimensional $x-z$ plane with steady flows and sheared magnetic fields is
solved. Stratification due to gravity and transition region between
chromosphere and corona are taken into account. An initially localized Alfvenic
pulse launched below the transition region can penetrate from transition region
into the corona. We show that the period of transversal oscillations is in
agreement with those observed in spicules. Moreover, it is found that the
excited Alfvenic waves spread during propagation along the spicule length, and
suffer efficient damping of the oscillations amplitude. The damping time of
transverse oscillations elongated with decrease in k_b values.


title: The Most Precise Extra-Galactic Black-Hole Mass Measurement

abstract:
  I use archival data to measure the mass of the central black hole in NGC
4526, M = (4.70 +- 0.14) X 10^8 Msun. This 3% error bar is the most precise for
an extra-galactic black hole and is close to the precision obtained for Sgr A*
in the Milky Way. The factor 7 improvement over the previous measurement is
entirely due to correction of a mathematical error, an error that I suggest may
be common among astronomers.


title:
The impact of systematic uncertainties in N-body simulations on the
  precision cosmology from galaxy clustering: a halo model approach

abstract:
  Dark matter N-body simulations provide a powerful tool to model the
clustering of galaxies and help interpret the results of galaxy redshift
surveys. However, the galaxy properties predicted from N-body simulations are
not necessarily representative of the observed galaxy populations; for example,
theoretical uncertainties arise from the absence of baryons in N-body
simulations. In this work, we assess how the uncertainties in N-body
simulations impact the cosmological parameters inferred from galaxy redshift
surveys. Applying the halo model framework, we find that the velocity bias of
galaxies in modeling the redshift-space distortions is likely to be the
predominant source of systematic bias. For a deep, wide survey like BigBOSS,
current 10 per cent uncertainties in the velocity bias limit k_max to 0.14
h/Mpc. In contrast, we find that the uncertainties related to the density
profiles and the galaxy occupation statistics lead to relatively insignificant
systematic biases. Therefore, the ability to calibrate the velocity bias
accurately -- from observations as well as simulations -- will likely set the
ultimate limit on the smallest length scale that can be used to infer
cosmological information from galaxy clustering.


title: New N=1 Dualities

abstract:
  We show that the N=1 supersymmetric SU(N) gauge theory with 2N flavors
without superpotential has not only the standard Seiberg dual description but
also another dual description involving two copies of the so-called T_N theory.
This is a natural generalization to N>2 of a dual description of SU(2) gauge
theory with 4 flavors found by Csaki, Schmaltz, Skiba and Terning. We also
study dualities of other N=1 SCFTs involving copies of T_N theories. Our
duality is the basic operation from which a recently-found web of N=1 dualities
obtained by compactifying M5-branes on Riemann surfaces can be derived
field-theoretically.


title:
Numerical Relativity Simulations of Magnetized Black Hole-Neutron Star
  Mergers

abstract:
  We present new numerical techniques we developed for launching the first
parameter study of {\it magnetized} black hole--neutron star (BHNS) mergers,
varying the magnetic fields seeded in the initial neutron star. We found that
magnetic fields have a negligible impact on the gravitational waveforms and
bulk dynamics of the system during merger, regardless of magnetic field
strength or BH spin. In a recent simulation, we seeded the remnant disk from an
unmagnetized BHNS merger simulation with large-scale, purely poloidal magnetic
fields, which are otherwise absent in the full simulation. The outcome appears
to be a viable sGRB central engine.


title:
Fractional Quantum Hall Phase Transitions and Four-flux Composite
  Fermions in Graphene

abstract:
  Graphene and its multilayers have attracted considerable interest owing to
the fourfold spin and valley degeneracy of their charge carriers, which enables
the formation of a rich variety of broken-symmetry states and raises the
prospect of controlled phase transitions among them. In especially clean
samples, electron-electron interactions were recently shown to produce
surprising patterns of symmetry breaking and phase transitions in the integer
quantum Hall regime. Although a series of robust fractional quantum Hall states
was also recently observed in graphene, their rich phase diagram and tunability
have yet to be fully explored. Here we report local electronic compressibility
measurements of ultraclean suspended graphene that reveal a multitude of
fractional quantum Hall states surrounding filling factors v = -1/2 and -1/4.
In several of these states, we observe phase transitions that indicate abrupt
changes in the underlying order and are marked by a narrow region of negative
compressibility that cuts across the incompressible peak. Remarkably, as
filling factor approaches v = -1/2, we observe additional oscillations in
compressibility that appear to be related to the phase transitions and persist
to within 2.5% of v = -1/2. We use a simple model based on crossing Landau
levels of composite particles with different internal degrees of freedom to
explain many qualitative features of the experimental data. Our results add to
the diverse array of correlated states observed in graphene and demonstrate
substantial control over their order parameters, showing that graphene serves
as an excellent platform to study correlated electron phases of matter.


title: Halo Mass Function and the Free Streaming Scale

abstract:
  The nature of structure formation around the particle free streaming scale is
still far from understood. Many attempts to simulate hot, warm, and cold dark
matter cosmologies with a free streaming cutoff have been performed with
cosmological particle-based simulations, but they all suffer from spurious
structure formation at scales below their respective free streaming scales --
i.e. where the physics of halo formation is most affected by free streaming. We
perform a series of high resolution numerical simulations of different WDM
models, and develop an approximate method to subtract artificial structures in
the measured halo mass function. The corrected measurements are then used to
construct and calibrate an extended Press-Schechter (EPS) model with sharp-$k$
window function and adequate mass assignment. The EPS model gives accurate
predictions for the low redshift halo mass function of CDM and WDM models, but
it significantly under-predicts the halo abundance at high redshifts. By taking
into account the ellipticity of the initial patches and connecting the
characteristic filter scale to the smallest ellipsoidal axis, we are able to
eliminate this inconsistency and obtain an accurate mass function over all
redshifts and all dark matter particle masses covered by the simulations. As an
additional application we use our model to predict the microhalo abundance of
the standard neutralino-CDM scenario and we give the first quantitative
prediction of the mass function over the full range of scales of CDM structure
formation.


title:
Halpha3: an Halpha imaging survey of HI selected galaxies from ALFALFA.
  IV. Structure of galaxies in the Local and Coma Superclusters

abstract:
  We present the analysis of the galaxy structural parameters from Halpha3, an
Halpha narrow-band imaging follow-up survey of ~800 galaxies selected from the
HI ALFALFA Survey in the Local and Coma Superclusters. Taking advantage of
Halpha3 which provides the complete census of the recent star-forming, HI-rich
galaxies in the local universe, we aim to investigate the structural parameters
of both the young (<10 Myr) and the old (>1 Gyr) stellar populations. By
comparing the sizes of these stellar components we investigated the spatial
scale on which galaxies are growing at the present cosmological epoch and the
role of the environment in quenching the star-formation activity. We computed
the concentration, asymmetry, and clumpiness structural parameters. To quantify
the sizes we computed half-light radii and a new parameter dubbed EW/r. The
concentration index computed in the r band depends on the stellar mass and on
the Hubble type, these variables being related since most massive galaxies are
bulge dominated thus most concentrated. Going toward later spirals and
irregulars both the concentration index and the stellar mass decrease. Blue
Compact dwarfs represent an exception since they have similar stellar mass but
they are more concentrated than dwarf irregulars. The asymmetry and the
clumpiness increase along the spiral sequence then they decrease going into the
dwarf regime, where the light distribution is smooth and more symmetric. When
measured on Halpha images, the CAS parameters do not exhibit obvious
correlations with Hubble type. We found that the concentration index is the
main parameter that describes the current growth of isolated galaxies but, for
a fixed concentration, the stellar mass plays a second order role. At the
present epoch, massive galaxies are growing inside-out, conversely the dwarfs
are growing on the scale of their already assembled mass.


title: Almost BPS but still not renormalized

abstract:
  A key feature of BPS multi-center solutions is that the equations controlling
the positions of these centers are not renormalized as one goes from weak to
strong coupling. In particular, this means that brane probes can capture the
same information as the fully back-reacted supergravity solution. We
investigate this non-renormalization property for non-supersymmetric, extremal
"almost-BPS" solutions at intermediate coupling when one of the centers is
considered as a probe in the background created by the other centers. We find
that despite the lack of supersymmetry, the probe action reproduces exactly the
equations underlying the fully back-reacted solution, which indicates that
these equations also do not receive quantum corrections. In the course of our
investigation we uncover the relation between the charge parameters of
almost-BPS supergravity solutions and their quantized charges, which solves an
old puzzle about the quantization of the charges of almost-BPS solutions.


title: Positivity bounds on double parton distributions

abstract:
  Double hard scattering in proton-proton collisions is described in terms of
double parton distributions. We derive bounds on these distributions that
follow from their interpretation as probability densities, taking into account
all possible spin correlations between two partons in an unpolarized proton.
These bounds constrain the size of the polarized distributions and can for
instance be used to set upper limits on the effects of spin correlations in
double hard scattering. We investigate the stability of the bounds under
leading-order DGLAP evolution to higher scales.


title: Calibration of X-ray absorption in our Galaxy

abstract:
  Prediction of the soft X-ray absorption along lines of sight through our
Galaxy is crucial for understanding the spectra of extragalactic sources, but
requires a good estimate of the foreground column density of photoelectric
absorbing species. Assuming uniform elemental abundances this reduces to having
a good estimate of the total hydrogen column density, N(Htot)=N(HI)+2N(H2). The
atomic component, N(HI), is reliably provided using the mapped 21 cm radio
emission but estimating the molecular hydrogen column density, N(H2), expected
for any particular direction, is difficult. The X-ray afterglows of GRBs are
ideal sources to probe X-ray absorption in our Galaxy because they are
extragalactic, numerous, bright, have simple spectra and occur randomly across
the entire sky. We describe an empirical method, utilizing 493 afterglows
detected by the Swift XRT, to determine N(Htot) through the Milky Way which
provides an improved estimate of the X-ray absorption in our Galaxy and thereby
leads to more reliable measurements of the intrinsic X-ray absorption and,
potentially, other spectral parameters, for extragalactic X-ray sources. We
derive a simple function, dependent on the product of the atomic hydrogen
column density, N(HI), and dust extinction, E(B-V), which describes the
variation of the molecular hydrogen column density, N(H2), of our Galaxy, over
the sky. Using the resulting N(Htot) we show that the dust-to-hydrogen ratio is
correlated with the carbon monoxide emission and use this ratio to estimate the
fraction of material which forms interstellar dust grains. Our resulting recipe
represents a significant revision in Galactic absorption compared to previous
standard methods, particularly at low Galactic latitudes.


title:
X-ray absorption evolution in Gamma-Ray Bursts: intergalactic medium or
  evolutionary signature of their host galaxies?

abstract:
  The intrinsic X-ray emission of Gamma-Ray Bursts (GRBs) is often found to be
absorbed over and above the column density through our own galaxy. The extra
component is usually assumed to be due to absorbing gas lying within the host
galaxy of the GRB itself. There is an apparent correlation between the
equivalent column density of hydrogen, N(H,intrinsic) (assuming it to be at the
GRB redshift), and redshift, z, with the few z>6 GRBs showing the greatest
intrinsic column densities. We investigate the N(H,intrinsic) - z relation
using a large sample of Swift GRBs, as well as active galactic nuclei (AGN) and
quasar samples, paying particular attention to the spectral energy
distributions of the two highest redshift GRBs. Various possible sample biases
and systematics that might produce such a correlation are considered, and we
conclude that the correlation is very likely to be real. This may indicate
either an evolutionary effect in the host galaxy properties, or a contribution
from gas along the line-of-sight, in the diffuse intergalactic medium (IGM) or
intervening absorbing clouds. Employing a more realistic model for IGM
absorption than in previous works, we find that this may explain much of the
observed opacity at z>~3 providing it is not too hot, likely between 10^5 K and
10^6.5 K, and moderately metal enriched, Z~0.2 Z_sun. This material could
therefore constitute the Warm Hot Intergalactic Medium. However, a comparable
level of absorption is also expected from the cumulative effect of intervening
cold gas clouds, and given current uncertainties it is not possible to say
which, if either, dominates. At lower redshifts, we conclude that gas in the
host galaxies must be the dominant contributor to the observed X-ray
absorption.


title: Looking for leptogluons

abstract:
  We present search results based on next-to-leading order predictions for the
pair production of color-adjoint leptons at the LHC. Quantum effects are
sizable, dominated by pure QCD corrections, and sensitive to threshold effects.
We illustrate the stabilization of scale dependences and confirm an excellent
agreement between fixed-order and multi-jet predictions for representative
distributions. Finally, we examine the trademark collider signatures of
leptogluon pairs. Based on the CMS leptoquark search we derive a mass bound of
1.2-1.3 TeV for charged leptogluons, significantly improving the constraints
available in the literature.


title:
Extraction of the CP-violating phase $\gamma$ using $B \to K \pi \pi$
  and $B \to K K {\bar K}$ decays

abstract:
  Using the B{\sc a}B{\sc ar}\ measurements of the Dalitz plots for $B^0 \to
K^+\pi^0\pi^-$, $B^0 \to K^0\pi^+\pi^-$, $B^+ \to K^+\pi^+\pi^-$, $B^0 \to K^+
K^0 K^-$, and $B^0 \to K^0 K^0 {\bar K}^0$ decays, we demonstrate that it is
possible to cleanly extract the weak phase $\gamma$. We find four possible
solutions. Three of these -- $32^\circ$, $259^\circ$, and $315^\circ$ -- are in
disagreement with the SM, while one -- $77^\circ$ -- is consistent with the SM.
An advantage of this Dalitz-plot method is that one can obtain many independent
measurements of $\gamma$, thereby reducing its statistical error. An accurate
determination of the errors, however, requires detailed knowledge of the data.


title: Logarithmic Conformal Field Theory: Beyond an Introduction

abstract:
  This article aims to review a selection of central topics and examples in
logarithmic conformal field theory. It begins with a pure Virasoro example,
critical percolation, then continues with a detailed exposition of symplectic
fermions, the fractional level WZW model on SL(2;R) at level -1/2 and the WZW
model on the Lie supergroup GL(1|1). It concludes with a general discussion of
the so-called staggered modules that give these theories their logarithmic
structure, before outlining a proposed strategy to understand more general
logarithmic conformal field theories. Throughout, the emphasis is on continuum
methods and their generalisation from the familiar rational case. In
particular, the modular properties of the characters of the spectrum play a
central role and Verlinde formulae are evaluated with the results compared to
the known fusion rules. Moreover, bulk modular invariants are constructed, the
structures of the corresponding bulk state spaces are elucidated, and a
formalism for computing correlation functions is discussed.


title: Hurwitz-type bound, knot surgery, and smooth $\s^1$-four-manifolds

abstract:
  In this paper we prove several related results concerning smooth $\Z_p$ or
$\s^1$ actions on 4-manifolds. We show that there exists an infinite sequence
of smooth 4-manifolds $X_n$, $n\geq 2$, which have the same integral homology
and intersection form and the same Seiberg-Witten invariant, such that each
$X_n$ supports no smooth $\s^1$-actions but admits a smooth $\Z_n$-action. In
order to construct such manifolds, we devise a method for annihilating smooth
$\s^1$-actions on 4-manifolds using Fintushel-Stern knot surgery, and apply it
to the Kodaira-Thurston manifold in an equivariant setting. Finally, the method
for annihilating smooth $\s^1$-actions relies on a new obstruction we derived
in this paper for existence of smooth $\s^1$-actions on a 4-manifold: the
fundamental group of a smooth $\s^1$-four-manifold with nonzero Seiberg-Witten
invariant must have infinite center. We also include a discussion on various
analogous or related results in the literature, including locally linear
actions or smooth actions in dimensions other than four.


title:
Twistor Construction of Higher-Dimensional Black Holes - Part II:
  Examples

abstract:
  We apply the twistor construction for higher-dimensional black holes to known
examples in five space-time dimensions. First the patching matrices are
calculated from the explicit metric for these examples. Then an ansatz is
proposed for obtaining the patching matrix instead from the data of rod
structure and angular momenta. The ansatz is tested on examples with up to
three nuts, and these are shown to give flat space, the Myers-Perry solution
and the black ring, as expected. Rules for the transition between different
adaptations of the patching matrix and for the elimination of conical
singularities are developed and seen to work.


title: Twistor Theory of Higher-Dimensional Black Holes - Part I: Theory

abstract:
  The correspondence between stationary, axisymmetric, asymptotically flat
space-times and bundles over a reduced twistor space has been established in
four dimensions. The main impediment for an application of this correspondence
to examples in higher dimensions has been the lack of a higher-dimensional
equivalent of the Ernst potential. This article will propose such a generalized
Ernst potential, point out where the rod structure of the space-time can be
found in the twistor picture and thereby provide a procedure for generating
solutions to the Einstein equations in higher dimensions from the rod structure
and other asymptotic data. An important result for the study of
five-dimensional examples will be the theorem which relates the patching
matrices on the outer semi-infinite rods.


title:
Phase transitions in three-dimensional topological lattice models with
  surface anyons

abstract:
  We study the phase diagrams of a family of 3D "Walker-Wang" type lattice
models, which are not topologically ordered but have deconfined anyonic
excitations confined to their surfaces. We add a perturbation (analogous to
that which drives the confining transition in Z_p lattice gauge theories) to
the Walker-Wang Hamiltonians, driving a transition in which all or some of the
variables associated with the loop gas or string-net ground states of these
models become confined. We show that in many cases the location and nature of
the phase transitions involved is exactly that of a generalized Z_p lattice
gauge theory, and use this to deduce the basic structure of the phase diagram.
We further show that the relationship between the phases on opposite sides of
the transition is fundamentally different than in conventional gauge theories:
in the Walker-Wang case, the number of species of excitations that are
deconfined in the bulk can increase across a transition that confines only some
of the species of loops or string-nets. The analogue of the confining
transition in the Walker-Wang models can therefore lead to bulk deconfinement
and topological order.


title: Fixed-point free circle actions on 4-manifolds

abstract:
  This paper is concerned with fixed-point free $S^1$-actions (smooth or
locally linear) on orientable 4-manifolds. We show that the fundamental group
plays a predominant role in the equivariant classification of such 4-manifolds.
In particular, it is shown that for any finitely presented group with infinite
center, there are at most finitely many distinct smooth (resp. topological)
4-manifolds which support a fixed-point free smooth (resp. locally linear)
$S^1$-action and realize the given group as the fundamental group. A similar
statement holds for the number of equivalence classes of fixed-point free
$S^1$-actions under some further conditions on the fundamental group. The
connection between the classification of the $S^1$-manifolds and the
fundamental group is given by a certain decomposition, called fiber-sum
decomposition, of the $S^1$-manifolds. More concretely, each fiber-sum
decomposition naturally gives rise to a Z-splitting of the fundamental group.
There are two technical results in this paper which play a central role in our
considerations. One states that the Z-splitting is a canonical JSJ
decomposition of the fundamental group in the sense of Rips and Sela. Another
asserts that if the fundamental group has infinite center, then the homotopy
class of principal orbits of any fixed-point free $S^1$-action on the
4-manifold must be infinite, unless the 4-manifold is the mapping torus of a
periodic diffeomorphism of some elliptic 3-manifold. The paper ends with two
questions concerning the topological nature of the smooth classification and
the Seiberg-Witten invariants of 4-manifolds admitting a smooth fixed-point
free $S^1$-action.


title: Index Theory and Supersymmetry of 5D Horizons

abstract:
  We prove that the near-horizon geometries of minimal gauged five-dimensional
supergravity preserve at least half of the supersymmetry. If the near-horizon
geometries preserve a larger fraction, then they are locally isometric to
$AdS_5$. Our proof is based on Lichnerowicz type theorems for two horizon Dirac
operators constructed from the supercovariant connection restricted to the
horizon sections, and on an application of the index theorem. An application is
that all half-supersymmetric five-dimensional horizons admit an
$\mathfrak{sl}(2, {\mathbb{R}})$ symmetry subalgebra.


title: Quadrant marked mesh patterns in 132-avoiding permutations III

abstract:
  Given a permutation $\sg = \sg_1 \ldots \sg_n$ in the symmetric group $S_n$,
we say that $\sg_i$ matches the marked mesh pattern $MMP(a,b,c,d)$ in $\sg$ if
there are at least $a$ points to the right of $\sg_i$ in $\sg$ which are
greater than $\sg_i$, at least $b$ points to the left of $\sg_i$ in $\sg$ which
are greater than $\sg_i$, at least $c$ points to the left of $\sg_i$ in $\sg$
which are smaller than $\sg_i$, and at least $d$ points to the right of $\sg_i$
in $\sg$ which are smaller than $\sg_i$.
  This paper is continuation of the systematic study of the distribution of
quadrant marked mesh patterns in 132-avoiding permutations started in
\cite{kitremtie} and \cite{kitremtieII} where we studied the distribution of
the number of matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where at
most two elements of of $a,b,c,d$ are greater than zero and the remaining
elements are zero. In this paper, we study the distribution of the number of
matches of $MMP(a,b,c,d)$ in 132-avoiding permutations where at least three of
$a,b,c,d$ are greater than zero. We provide explicit recurrence relations to
enumerate our objects which can be used to give closed forms for the generating
functions associated with such distributions. In many cases, we provide
combinatorial explanations of the coefficients that appear in our generating
functions.


title:
Measuring the redshift of standard sirens using the neutron star
  deformability

abstract:
  A recent study has shown that redshift information can be directly extracted
from gravitational wave sources. This can be done by exploiting the tidal
phasing contributions to the waveform during the inspiral phase of binary
neutron stars coalescences. The original study investigated the viability of
this idea in the context of the Einstein Telescope using a Fisher Matrix
approach and in this paper, we further explore this idea using realistic
simulations and Bayesian inference techniques. We find that the fractional
accuracy with which the redshift can be measured is in the order of tens of
percent, in agreement with Fisher Matrix predictions. Moreover, no significant
bias is found. We conclude that, when tidal phasing contributions are included
in the analysis, inference of the cosmological parameters from gravitational
waves is possible


title:
Deformation of the CP(1) model leading to fixed size solitons in 2+1
  dimensions

abstract:
  We discuss static particle-like solitons in the 2+1 dimensional CP(1) model
with a small mass deformation $m$ preserving a $U(1) \times Z_2$ symmetry in
the Lagrangian. Due to the breaking of scale invariance, the energy function
becomes a strictly increasing function of the soliton size $\rho$, and
therefore no classical finite size solution exists in this model. To remedy
this we employ a well known technique of introducing a forth-order derivative
term in the Lagrangian to force the soliton action to diverge at small values
of $\rho$. With this additional term the action exhibits a stable minimum at
fixed size $\rho$.


title: Longitudinal Analysis of Android Ad Library Permissions

abstract:
  This paper investigates changes over time in the behavior of Android ad
libraries. Taking a sample of 100,000 apps, we extract and classify the ad
libraries. By considering the release dates of the applications that use a
specific ad library version, we estimate the release date for the library, and
thus build a chronological map of the permissions used by various ad libraries
over time. We find that the use of most permissions has increased over the last
several years, and that more libraries are able to use permissions that pose
particular risks to user privacy and security.


title: Confirmation of Hot Jupiter Kepler-41b via Phase Curve Analysis

abstract:
  We present high precision photometry of Kepler-41, a giant planet in a 1.86
day orbit around a G6V star that was recently confirmed through radial velocity
measurements. We have developed a new method to confirm giant planets solely
from the photometric light curve, and we apply this method herein to Kepler-41
to establish the validity of this technique. We generate a full phase
photometric model by including the primary and secondary transits, ellipsoidal
variations, Doppler beaming and reflected/emitted light from the planet. Third
light contamination scenarios that can mimic a planetary transit signal are
simulated by injecting a full range of dilution values into the model, and we
re-fit each diluted light curve model to the light curve. The resulting
constraints on the maximum occultation depth and stellar density combined with
stellar evolution models rules out stellar blends and provides a measurement of
the planet's mass, size, and temperature. We expect about two dozen Kepler
giant planets can be confirmed via this method.


title: New criteria for a ring to have a semisimple left quotient ring

abstract:
  Goldie's Theorem (1960), which is one of the most important results in Ring
Theory, is a criterion for a ring to have a semisimple left quotient ring. The
aim of the paper is to give four new criteria (using a completely different
approach and new ideas). The first one is based on the recent fact that for an
arbitrary ring $R$ the set $\CM$ of maximal left denominator sets of $R$ is a
non-empty set:
  Theorem (The First Criterion). A ring $R$ has a semisimple left quotient ring
$Q$ iff $\CM $ is a finite set, $\bigcap_{S\in \CM} \ass (S) =0$ and, for each
$S\in \CM$, the ring $S^{-1}R$ is a simple left Artinian ring. In this case,
$Q\simeq \prod_{S\in \CM} S^{-1}R$.
  The Second Criterion is given via the minimal primes of $R$ and goes further
then the First one %and Goldie's Theorem in the sense that it describes
explicitly the maximal left denominator sets $S$ via the minimal primes of $R$.
The Third Criterion is close to Goldie's Criterion but it is easier to check in
applications (basically, it reduces Goldie's Theorem to the prime case). The
Fourth Criterion is given via certain left denominator sets.


title:
Isospin Decomposition of the Photoproduced \Sigma\pi\ System Near the
  \Lambda(1405)

abstract:
  Recent experimental results for the reaction \gamma + p \to K^+ + \Sigma +
\pi\ from CLAS at Jefferson Lab are discussed. It was found that the mass
distributions or "line shapes" of the three charge combinations \Sigma^+ \pi^-,
\Sigma^0 \pi^0 and \Sigma^- \pi^+ differ significantly. Our results show that
the \Lambda(1405), as the I=0 constituent of the reaction, must be accompanied
by an I > 0 component. We discuss phenomenological fits to the data to test the
possible forms and magnitudes of these amplitudes. A two-amplitude I=0 fit of
Breit-Wigner form to the \Sigma^0\pi^0 channel alone works quite well. The
addition of a single I=1 amplitude works fairly well to model all the line
shapes simultaneously.


title:
Structural and Cognitive Bottlenecks to Information Access in Social
  Networks

abstract:
  Information in networks is non-uniformly distributed, enabling individuals in
certain network positions to get preferential access to information. Social
scientists have developed influential theories about the role of network
structure in information access. These theories were validated through numerous
studies, which examined how individuals leverage their social networks for
competitive advantage, such as a new job or higher compensation. It is not
clear how these theories generalize to online networks, which differ from
real-world social networks in important respects, including asymmetry of social
links. We address this problem by analyzing how users of the social news
aggregator Digg adopt stories recommended by friends, i.e., users they follow.
We measure the impact different factors, such as network position and activity
rate; have on access to novel information, which in Digg's case means set of
distinct news stories. We show that a user can improve his information access
by linking to active users, though this becomes less effective as the number of
friends, or their activity, grows due to structural network constraints. These
constraints arise because users in structurally diverse position within the
follower graph have topically diverse interests from their friends. Moreover,
though in most cases user's friends are exposed to almost all the information
available in the network, after they make their recommendations, the user sees
only a small fraction of the available information. Our study suggests that
cognitive and structural bottlenecks limit access to novel information in
online social networks.


title: Harrington's results on arithmetical singletons

abstract:
  We exposit two previously unpublished theorems of Leo Harrington. The first
theorem says that there exist arithmetical singletons which are arithmetically
incomparable. The second theorem says that there exists a ranked point which is
not an arithmetical singleton. Unlike Harrington's proofs of these theorems,
our proofs do not use the finite- or infinite-injury priority method. Instead
they use an oracle construction adapted from the standard proof of the
Friedberg Jump Theorem.


title: Do SGRs/AXPs and radio AXPs have the same nature?

abstract:
  SGRs/AXPs are assumed to be a class of neutron stars (NS) powered by magnetic
energy and not by rotation, as normal radio pulsars. However, the recent
discovery of radio-pulsed emission in four of this class of sources, where the
spin-down rotational energy lost $\dot{E}_{\rm rot}$ is larger than the X-ray
luminosity $L_X$ during the quiescent state - as in normal pulsars - opens the
question of the nature of these radio AXPs in comparison to the others of this
class. In this work, we show that the radio AXPs obey a linear log-log relation
between $L_X$ and $\dot{E}_{\rm rot}$, very similar to the one of normal X-ray
pulsars, a correlation not seen for the others SGRs/AXPs. This result suggests
a different nature between the radio AXPs comparing to the others SGRs/AXPs.


title: Tidal damping of the mutual inclination in hierachical systems

abstract:
  Hierarchical two-planet systems, in which the inner body's semi-major axis is
between 0.1 and 0.5 AU, usually present high eccentricity values, at least for
one of the orbits. As a result of the formation process, one may expect that
planetary systems with high eccentricities also have high mutual inclinations.
However, here we show that tidal effects combined with gravitational
interactions damp the initial mutual inclination to modest values in timescales
that are shorter than the age of the system. This effect is not a direct
consequence of tides on the orbits, but it results from a secular forcing of
the inner planet's flattening. We then conclude that these hierarchical
planetary systems are unlikely to present very high mutual inclinations, at
least as long as the orbits remain outside the Lidov-Kozai libration areas. The
present study can also be extended to systems of binary stars and to
planet-satellite systems.


title:
Performing private database queries in a real-world environment using a
  quantum protocol

abstract:
  In the well-studied cryptographic primitive 1-out-of-N oblivious transfer, a
user retrieves a single element from a database of size N without the database
learning which element was retrieved. While it has previously been shown that a
secure implementation of 1-out-of-N oblivious transfer is impossible against
arbitrarily powerful adversaries, recent research has revealed an interesting
class of private query protocols based on quantum mechanics in a cheat
sensitive model. Specifically, a practical protocol does not need to guarantee
that database cannot learn what element was retrieved if doing so carries the
risk of detection. The latter is sufficient motivation to keep a database
provider honest. However, none of the previously proposed protocols could cope
with noisy channels. Here we present a fault-tolerant private query protocol,
in which the novel error correction procedure is integral to the security of
the protocol. Furthermore, we present a proof-of-concept demonstration of the
protocol over a deployed fibre.


title:
Adaptive Partitioning and its Applicability to a Highly Scalable and
  Available Geo-Spatial Indexing Solution

abstract:
  Satellite Tracking of People (STOP) tracks thousands of GPS-enabled devices
24 hours a day and 365 days a year. With locations captured for each device
every minute, STOP servers receive tens of millions of points each day. In
addition to cataloging these points in real-time, STOP must also respond to
questions from customers such as, "What devices of mine were at this location
two months ago?" They often then broaden their question to one such as, "Which
of my devices have ever been at this location?" The processing requirements
necessary to answer these questions while continuing to process inbound data in
real-time is non-trivial.
  To meet this demand, STOP developed Adaptive Partitioning to provide a
cost-effective and highly available hardware platform for the geographical and
time-spatial indexing capabilities necessary for responding to customer data
requests while continuing to catalog inbound data in real-time.


title: Rank 2 ACM bundles on complete intersection Calabi-Yau threefolds

abstract:
  The aim of this paper is to classify indecomposable rank 2 arithmetically
Cohen-Macaulay (ACM) bundles on compete intersection Calabi-Yau (CICY)
threefolds and prove the existence of some of them. New geometric properties of
the curves corresponding to rank 2 ACM bundles (by Serre correspondence) are
obtained. These follow from minimal free resolutions of curves in suitably
chosen fourfolds (containing Calabi-Yau threefolds as hypersurfaces). Also the
existence of an indecomposable vector bundle of higher rank on a CICY threefold
of type (2,4) is proved.


title:
LabelRank: A Stabilized Label Propagation Algorithm for Community
  Detection in Networks

abstract:
  An important challenge in big data analysis nowadays is detection of cohesive
groups in large-scale networks, including social networks, genetic networks,
communication networks and so. In this paper, we propose LabelRank, an
efficient algorithm detecting communities through label propagation. A set of
operators is introduced to control and stabilize the propagation dynamics.
These operations resolve the randomness issue in traditional label propagation
algorithms (LPA), stabilizing the discovered communities in all runs of the
same network. Tests on real-world networks demonstrate that LabelRank
significantly improves the quality of detected communities compared to LPA, as
well as other popular algorithms.


title: Index theory and dynamical symmetry enhancement of M-horizons

abstract:
  We show that near-horizon geometries of 11-dimensional supergravity preserve
an even number of supersymmetries. The proof follows from Lichnerowicz type
theorems for two horizon Dirac operators, the field equations and Bianchi
identities, and the vanishing of the index of a Dirac operator on the
9-dimensional horizon sections. As a consequence of this, we also prove that
all M-horizons with non-vanishing fluxes admit a sl(2,R) subalgebra of
symmetries.


title: Phenomenology of General Gauge Mediation in light of a 125 GeV Higgs

abstract:
  We explore the phenomenology of the full General Gauge Mediation parameter
space in the MSSM focusing on the consequences of having a fundamental Higgs
around 125 GeV. Assuming GUT-complete structure of the hidden sector, we allow
for deviations from the strict definition of gauge mediated SUSY-breaking
coming from mild violations of messenger-parity and from extra couplings
between the Higgs multiplets and the hidden sector. Relaxing the GUT
assumption, our parameter space is defined by the property of having vanishing
A-terms at the messenger scale. In this extended setup we focus on the
possibility of splitting the SU(3) mass parameters of GGM. In all these
scenarios we investigate the possible spectra, discussing to what extent having
an Higgs mass around 125 GeV is constraining the GGM parameter space and what
are the possible signatures at LHC.


title: On Normalization of Strongly Intensive Quantities

abstract:
  A special normalization is proposed for strongly intensive quantities used in
the study of event-by-event fluctuations in high energy collisions. It ensures
that these measures are dimensionless and yields a common scale required for a
quantitative comparison of fluctuations of different, in general dimensional,
extensive quantities. Namely, the properly normalized strongly intensive
quantities assume the value one for fluctuations given by the model of
independent particle production and zero in the absence of event-by-event
fluctuations.


title:
Phenomenology of Universal Extra Dimensions with Bulk-Masses and
  Brane-Localized Terms

abstract:
  We present a general model with universal extra dimensions in the presence of
the bulk fermion masses and boundary localized kinetic terms, which are
generically allowed by symmetries of five dimensional gauge theory. We provide
a comprehensive analysis for a general UED model, including Kaluza-Klein mass
spectra, their interactions with the SM particles, and constraints from LHC,
electroweak tests, and dark matter experiments. Finally we show current bounds
on the size of allowed universal bulk mass and universal brane-localized terms.


title: Lame equation in the algebraic form

abstract:
  Lame equation arises from deriving Laplace equation in ellipsoidal
coordinates; in other words, it's called ellipsoidal harmonic equation. Lame
functions are applicable to diverse areas such as boundary value problems in
ellipsoidal geometry, chaotic Hamiltonian systems, the theory of Bose-Einstein
condensates, etc.
  In this paper I will apply three term recurrence formula [arXiv:1303.0806] to
the power series expansion in closed forms of Lame function in the algebraic
form(infinite series and polynomial) and its integral forms including all
higher terms of A_n's. I will show how to transform power series expansion of
Lame function to an integral formalism mathematically for cases of infinite
series and polynomial. One interesting observation resulting from the
calculations is the fact that a Gauss Hypergeometric function recurs in each of
sub-integral forms: the first sub-integral form contains zero term of A_n's,
the second one contains one term of A_n's, the third one contains two terms of
A_n's, etc. Section 6 contains additional examples of application in Lame
function.
  This paper is 6th out of 10 in series "Special functions and three term
recurrence formula (3TRF)". See section 7 for all the papers in the series.
Previous paper in series deals with the power series expansion of Mathieu
function and its integral formalism [arXiv:1303.0820]. The next paper in the
series describes the power series and integral forms of Lame equation in the
Weierstrass's form and its asymptotic behaviors [arXiv:1303.0878].


title:
A scanning transmon qubit for strong coupling circuit quantum
  electrodynamics

abstract:
  Like a quantum computer designed for a particular class of problems, a
quantum simulator enables quantitative modeling of quantum systems that is
computationally intractable with a classical computer. Quantum simulations of
quantum many-body systems have been performed using ultracold atoms and trapped
ions among other systems. Superconducting circuits have recently been
investigated as an alternative system in which microwave photons confined to a
lattice of coupled resonators act as the particles under study with qubits
coupled to the resonators producing effective photon-photon interactions. Such
a system promises insight into the nonequilibrium physics of interacting bosons
but new tools are needed to understand this complex behavior. Here we
demonstrate the operation of a scanning transmon qubit and propose its use as a
local probe of photon number within a superconducting resonator lattice. We map
the coupling strength of the qubit to a resonator on a separate chip and show
that the system reaches the strong coupling regime over a wide scanning area.


title:
LT^2C^2: A language of thought with Turing-computable Kolmogorov
  complexity

abstract:
  In this paper, we present a theoretical effort to connect the theory of
program size to psychology by implementing a concrete language of thought with
Turing-computable Kolmogorov complexity (LT^2C^2) satisfying the following
requirements: 1) to be simple enough so that the complexity of any given finite
binary sequence can be computed, 2) to be based on tangible operations of human
reasoning (printing, repeating,...), 3) to be sufficiently powerful to generate
all possible sequences but not too powerful as to identify regularities which
would be invisible to humans. We first formalize LT^2C^2, giving its syntax and
semantics and defining an adequate notion of program size. Our setting leads to
a Kolmogorov complexity function relative to LT^2C^2 which is computable in
polynomial time, and it also induces a prediction algorithm in the spirit of
Solomonoff's inductive inference theory. We then prove the efficacy of this
language by investigating regularities in strings produced by participants
attempting to generate random strings. Participants had a profound
understanding of randomness and hence avoided typical misconceptions such as
exaggerating the number of alternations. We reasoned that remaining
regularities would express the algorithmic nature of human thoughts, revealed
in the form of specific patterns. Kolmogorov complexity relative to LT^2C^2
passed three expected tests examined here: 1) human sequences were less complex
than control PRNG sequences, 2) human sequences were not stationary, showing
decreasing values of complexity resulting from fatigue, 3) each individual
showed traces of algorithmic stability since fitting of partial sequences was
more effective to predict subsequent sequences than average fits. This work
extends on previous efforts to combine notions of Kolmogorov complexity theory
and algorithmic information theory to psychology, by explicitly ...


title: Asymptotic behavior of Heun function and its integral formalism

abstract:
  The Heun function generalizes all well-known special functions such as
Spheroidal Wave, Lame, Mathieu, and hypergeometric functions. Heun functions
are applicable to diverse areas such as theory of black holes, lattice systems
in statistical mechanics, solution of the Schrodinger equation of quantum
mechanics, and addition of three quantum spins.
  In this paper, applying three term recurrence formula, I consider asymptotic
behaviors of Heun function and its integral formalism including all higher
terms of A_n's. I will show how the power series expansion of Heun functions
can be converted to closed-form integrals for all cases of infinite series and
polynomial. One interesting observation resulting from the calculations is the
fact that a Gauss hypergeometric function recurs in each of sub-integral forms:
the first sub-integral form contains zero term of A_n's, the second one
contains one term of A_n's, the third one contains two terms of A_n's, etc.
  In the appendix, I apply the power series expansion and my integral formalism
of Heun function to "The 192 solutions of the Heun equation." Due to space
restriction final equations for all 192 Heun functions is not included in the
paper, but feel free to contact me for the final solutions. Section 5 contains
two additional examples using integral forms of Huen function.
  This paper is 4th out of 10 in series "Special functions and three term
recurrence formula (3TRF)". See section 5 for all the papers in the series. The
previous paper in series deals with the power series expansion in closed forms
of Heun function. The next paper in the series describes analytically the power
series expansion of Mathieu function and its integral formalism.