title: Duplicate detection methodology for IP network traffic analysis

abstract:
  Network traffic monitoring systems have to deal with a challenging problem:
the traffic capturing process almost invariably produces duplicate packets. In
spite of this, and in contrast with other fields, there is no scientific
literature addressing it. This paper establishes the theoretical background
concerning data duplication in network traffic analysis: generating mechanisms,
types of duplicates and their characteristics are described. On this basis, a
duplicate detection and removal methodology is proposed. Moreover, an
analytical and experimental study is presented, whose results provide a
dimensioning rule for this methodology.


title:
TAPAS, a web-based service of atmospheric transmission computation for
  astronomy

abstract:
  Spectra of astronomical targets acquired from ground-based instruments are
affected by the atmospheric transmission. The authors and their institutes are
developing a web-based service, TAPAS (Transmissions of the AtmosPhere for
AStromomical data). This service, freely available, is developed and maintained
within the atmospheric ETHER data center. TAPAS computes the atmospheric
transmission in the line-of-sight to the target indicated by the user. The user
files a request indicating the time, ground location, and either the equatorial
coordinates of the target or the Zenith Angle of the line-of sight (LOS). The
actual atmospheric profile (temperature, pressure, humidity, ozone content) at
that time and place is retrieved from the ETHER atmospheric data base (from a
combination of ECMWF meteorological field and other informations), and the
atmospheric transmission is computed from LBLRTM software and HITRAN data base
for a number of gases: O2, H2O, O3, CO2, and Rayleigh extinction. The first
purpose of TAPAS output is to allow identification of observed spectral
features as being from atmospheric or astrophysical origin. The returned
transmission may also serve for characterizing the spectrometer in wavelength
scale and Instrument Line Spectral Function (ILSF) by comparing one observed
spectrum of an atmospheric feature to the transmission. Finally, the TOA (Top
Of Atmosphere) spectrum may be obtained either by division of the observed
spectrum by the computed transmission or other techniques developed on purpose.
The obtention of transmissions for individual species allows more
potentialities and better adjustments to the data. In this paper, we describe
briefly the mechanism of computation of the atmospheric transmissions, and we
show some results for O2 and H2O atmospheric absorption. The wavelength range
is presently 500-2500 nm. The address is http://ether.ipsl.jussieu.fr/tapas/


title: The Teichm\"uller and Riemann Moduli Stacks

abstract:
  The aim of this paper is to study the structure of the higher-dimensional
Teichm\"uller and Riemann moduli spaces, viewed as stacks over the category of
complex manifolds. We first show that the space of complex operators on a
smooth manifold admits a foliation transversely modeled on a translation
groupoid, a concept that we define here. We then show how to construct
explicitly a holonomy groupoid for such a structure and show that in this case
its objects and morphisms form a finite-dimensional analytic space and its
source and target maps are smooth morphisms. This holonomy data encodes how to
glue the local Kuranishi spaces to obtain a groupoid presentation of the
Teichm\"uller and Riemann moduli stacks, which can thus be characterized as
Artin analytic stacks. This is achieved under the sole condition that the
dimension of the automorphism group of each structure is bounded by a fixed
integer.


title: The p-Weak Gradient Depends on p

abstract:
  Given a>0, we construct a weighted Lebesgue measure on R^n for which the
family of non constant curves has p-modulus zero for p\leq 1+a but the weight
is a Muckenhoupt A_p weight for p>1+a. In particular, the p-weak gradient is
trivial for small p but non trivial for large p. This answers an open question
posed by several authors. We also give a full description of the p-weak
gradient for any locally finite Borel measure on the real line.


title:
Technically Natural Vacuum Energy at the Tip of a Supersymmetric
  Teardrop

abstract:
  A minimal supersymmetric brane-world model is presented which has: i) zero
classical four-dimensional vacuum curvature, despite the large naive vacuum
energy due to contributions from Standard Model particles; ii) one-(bulk)-loop
quantum corrections to the vacuum energy with a size set by the radius of the
extra-dimensional spheroid. These corrections are technically natural because a
BPS-like relation between the brane tension and R-charge---which would have
preserved (half of) the bulk supersymmetry---is violated by the requirement
that the stabilizing R-symmetry gauge flux be quantized. The extra-dimensional
geometry is similar to previous rugby-ball geometries, but is simpler in that
there is only one brane and so fewer free parameters. Although the sign of the
renormalized vacuum energy ends up being the unphysical one for this model (in
the limit considered here, where the massive bulk loop is the leading
contribution), it serves as an illustrative example of the relevant physics.


title: Mutual information after a local quench in conformal field theory

abstract:
  We compute the entanglement entropy and mutual information for two disjoint
intervals in two-dimensional conformal field theories as a function of time
after a local quench, using the replica trick and boundary conformal field
theory. We obtain explicit formulae for the universal contributions, which are
leading in the regimes of, for example, close or well-separated intervals of
fixed length. The results are largely consistent with the quasiparticle
picture, in which entanglement above that present in the ground state is
carried by pairs of entangled, freely propagating excitations. We also
calculate the mutual information for two disjoint intervals in a proposed
holographic local quench, whose holographic energy-momentum tensor matches the
conformal field theory one. We find that the holographic mutual information
shows qualitative differences from the conformal field theory results and we
discuss possible interpretations of this.


title: A Characterization of Metric Projection in CAT(0) Spaces

abstract:
  In this paper, we present a characterization of metric projection in CAT(0)
spaces by using the concept of quasilinearization. Furthermore, some basic
properties of matric projection are investigated.


title: Regularized estimation in sparse high-dimensional time series models

abstract:
  Many scientific and economic problems involve the analysis of
high-dimensional time series datasets. However, theoretical studies in
high-dimensional statistics to date rely primarily on the assumption of
independent and identically distributed (i.i.d.) samples. In this work, we
focus on stable Gaussian processes and investigate the theoretical properties
of $\ell _1$-regularized estimates in two important statistical problems in the
context of high-dimensional time series: (a) stochastic regression with
serially correlated errors and (b) transition matrix estimation in vector
autoregressive (VAR) models. We derive nonasymptotic upper bounds on the
estimation errors of the regularized estimates and establish that consistent
estimation under high-dimensional scaling is possible via
$\ell_1$-regularization for a large class of stable processes under sparsity
constraints. A key technical contribution of the work is to introduce a measure
of stability for stationary processes using their spectral properties that
provides insight into the effect of dependence on the accuracy of the
regularized estimates. With this proposed stability measure, we establish some
useful deviation bounds for dependent data, which can be used to study several
important regularized estimates in a time series setting.


title:
ComReg: A Complex Network Approach to Prioritize Test Cases for
  Regression Testing

abstract:
  Regression testing is performed to provide confidence that changes in a part
of software do not affect other parts of the software. An execution of all
existing test cases is the best way to re-establish this confidence. However,
regression testing is an expensive process---there might be insufficient
resources (e.g., time, workforce) to allow for the re-execution of all test
cases. Regression test prioritization techniques attempt to re-order a
regression test suite based on some criteria so that highest priority test
cases are executed earlier.
  In this study, we want to prioritize test cases for regression testing based
on the dependency network of faults. In software testing, it is common that
some faults are consequences of other faults (leading faults). Moreover,
dependent faults can be removed if and only if the leading faults have been
removed. Our goal is to prioritize test cases so that test cases that exposed
leading faults (the most central faults in the fault dependency network) in the
system testing phase, are executed first in regression testing.
  We present ComReg, a test case prioritization technique based on the
dependency network of faults. We model a fault dependency network as a directed
graph and identify leading faults to prioritize test cases for regression
testing. We use a centrality aggregation technique which considers six network
representative centrality metrics to identify leading faults in the fault
dependency network. We also discuss the use of fault communities to select an
arbitrary percentage of the test cases from a prioritized regression test
suite. We conduct a case study that evaluates the effectiveness and
applicability of the proposed method.


title: Radial velocity variations in the young eruptive star EX Lup

abstract:
  EX Lup-type objects (EXors) are low-mass pre-main sequence objects
characterized by outbursts attributed to highly enhanced disk accretion. The
trigger mechanism of EXor outbursts is still debated. One theory requires a
close (sub)stellar companion that perturbs the inner disk and triggers the
onset of the outburst. Here, we study the radial velocity (RV) variations of EX
Lup, the prototype of EXors. We conducted a 5-year RV survey with HARPS and
FEROS. We analyzed the activity of EX Lup by checking the bisector and several
other activity indicators. We complemented the RV data with photometric
monitoring to look for signatures of activity or varying accretion. We found
that the RV of EX Lup is periodic, with stable period, semi-amplitude, and
phase over at least four years of observations. This period is not present in
any of the activity indicators. However, the RV of narrow metallic emission
lines suggest the same period, but with an anti-correlating phase. The observed
absorption line RVs can be fitted with a Keplerian solution around a 0.6 M_Sun
central star with M2 sin i = (14.7 +/- 0.7) M_Jup and eccentricity of e = 0.24.
Alternatively, we attempted to model the observations with a cold/hot stellar
spot as well, but the spot parameters needed to reproduce the RV semi-amplitude
are in contradiction with the photometric variability, making the spot scenario
unlikely. We discuss two possibilities to explain the RV data: a geometry with
two accretion columns rotating with the star, and a single accretion flow
synchronized with the orbital motion of the hypothetical companion. In the
companion scenario, the companion's mass would fall into the brown dwarf
desert, which, together with the unusually small separation would make EX Lup a
unique binary system, with interesting implications on the physical mechanisms
responsible for triggering the outburst.


title:
Estimate of the Convergence Rate of Finite Element Solutions to Elliptic
  Equations of Second Order with Discontinuous Coefficients

abstract:
  In this paper, we consider elliptic boundary value problems with
discontinuous coefficients and obtain the asymptotic optimal error estimate
$\|u-u_k\|_{1,\Omega}\leqslant Ch|\ln h|^{1/2}\|u\|_{2,\Omega_1+\Omega_2}$ for
triangle linear elements.


title: The Adams-Novikov spectral sequence and Voevodsky's slice tower

abstract:
  We show that the spectral sequence converging to the stable homotopy groups
of spheres, induced by the Betti realization of the slice tower for the motivic
sphere spectrum, agrees with the Adams-Novikov spectral sequence, after a
suitable re-indexing. The proof relies on an extension of Deligne's d\'ecalage
construction to the Tot-tower of a cosimplicial spectrum.


title: Towards a New Science of a Clinical Data Intelligence

abstract:
  In this paper we define Clinical Data Intelligence as the analysis of data
generated in the clinical routine with the goal of improving patient care. We
define a science of a Clinical Data Intelligence as a data analysis that
permits the derivation of scientific, i.e., generalizable and reliable results.
We argue that a science of a Clinical Data Intelligence is sensible in the
context of a Big Data analysis, i.e., with data from many patients and with
complete patient information. We discuss that Clinical Data Intelligence
requires the joint efforts of knowledge engineering, information extraction
(from textual and other unstructured data), and statistics and statistical
machine learning. We describe some of our main results as conjectures and
relate them to a recently funded research project involving two major German
university hospitals.


title: Hopf algebroids associated to Jacobi algebras

abstract:
  We give examples of Lie-Rinehart algebras whose enveloping algebra is not a
full Hopf algebroid in the sense of Bohm and Szlachanyi. We construct these
examples as quotients of a canonical Lie-Rinehart algebra over a Jacobi algebra
which does admit an antipode.


title: On Conformal Powers of the Dirac Operator on Spin Manifolds

abstract:
  The well known conformal covariance of the Dirac operator acting on spinor
fields over a semi Riemannian spin manifold does not extend to powers thereof
in general. For odd powers one has to add lower order curvature correction
terms in order to obtain conformal covariance. We derive an algorithmic
construction in terms of associated tractor bundles to compute these correction
terms. Depending on the signature of the semi Riemannian manifold in question,
the obtained conformal powers of the Dirac operator turn out to be formally
self-adjoint with respect to the $L^2-$scalar product, or formally
anti-self-adjoint, respectively. Working out this algorithm we present explicit
formulas for the conformal third and fifth power of the Dirac operator.
  Furthermore, we present a new family of conformally covariant differential
operators acting on the spin tractor bundle which are induced by conformally
covariant differential operators acting on the spinor bundle.
  Finally, we will give polynomial structures for the first examples of
conformal powers in terms of first order differential operators acting on the
spinor bundle.


title:
Sub-microscopic modulation of mechanical properties in transparent
  insect wings

abstract:
  We report on the measurement of mechanical properties of the transparent
wings of an insect (popularly known as the 'rain fly') using an atomic force
microscope (AFM) down to nanometer length scales. We observe that the
frictional and adhesion properties on the surface of the wings are modulated in
a semi-periodic fashion. From simultaneous measurement of AFM topography it is
observed that the modulation of mechanical properties is correlated with the
modulation of topography. Furthermore, the regions of higher friction are
decorated with finer nanostructures with definite shape. From optical
diffraction experiments we show that the observed modulation and its
semi-periodic nature are distributed over the entire surface of the wing.


title: Ideal Polymers near Scale-Free Surfaces

abstract:
  The number of allowed configurations of a polymer is reduced by the presence
of a repulsive surface resulting in an entropic force between them. We develop
a method to calculate the entropic force, and detailed pressure distribution,
for long ideal polymers near a scale-free repulsive surface. For infinite
polymers the monomer density is related to the electrostatic potential near a
conducting surface of a charge placed at the point where the polymer end is
held. Pressure of the polymer on the surface is then related to the charge
density distribution in the electrostatic problem. We derive explicit
expressions for pressure distributions and monomer densities for ideal polymers
near a two- or three-dimensional wedge, and for a circular cone in three
dimensions. Pressure of the polymer diverges near sharp corners in a manner
resembling (but not identical to) the electric field divergence near conducting
surfaces. We provide formalism for calculation of all components of the total
force in situations without axial symmetry.


title:
Recurrence relations for the number of solutions of a class of
  Diophantine equations

abstract:
  Recursive formulas are derived for the number of solutions of linear and
quadratic Diophantine equations with positive coefficients. This result is
further extended to general non-linear additive Diophantine equations. It is
shown that all three types of the recursion admit an explicit solution in the
form of complete Bell polynomial, depending on the coefficients of the power
series expansion of the logarithm of the generating functions for the sequences
of individual terms in the Diophantine equations.


title: Corner contribution to cluster numbers in the Potts model

abstract:
  For the two-dimensional Q-state Potts model at criticality, we consider
Fortuin-Kasteleyn and spin clusters and study the average number N_Gamma of
clusters that intersect a given contour Gamma. To leading order, N_Gamma is
proportional to the length of the curve. Additionally, however, there occur
logarithmic contributions related to the corners of Gamma. These are found to
be universal and their size can be calculated employing techniques from
conformal field theory. For the Fortuin-Kasteleyn clusters relevant to the
thermal phase transition we find agreement with these predictions from
large-scale numerical simulations. For the spin clusters, on the other hand,
the cluster numbers are not found to be consistent with the values obtained by
analytic continuation, as conventionally assumed.


title:
Lasing and high temperature phase transitions in atomic systems with
  dressed state polaritons

abstract:
  We consider the fundamental problem of high temperature phase transitions in
the system of high density two-level atoms off-resonantly interacting with a
pump field in the presence of optical collisions (OCs) and placed in the
cavity. OCs are considered in the framework of thermalization of atomic dressed
state (DS) population. For the case of a strong atom-field coupling condition
we analyze the problem of thermodynamically equilibrium superradiant phase
transition for the order parameter representing a real amplitude of cavity mode
and taking place as a result of atomic DSs thermalization process. Such
transition is also connected with condensed (coherent) properties of low branch
(LB) DS-polaritons occurring in the cavity. For describing non-equilibrium
phase transitions we derive Maxwell-Bloch like equations which account for
cavity decay rate, collisional decay rate and spontaneous emission. Various
aspects of transitions to laser field formation by using atomic DS levels for
both positive and negative detuning of a pump field from atomic transition
frequency are studied in detail. It is revealed, that for positive atom-light
detuning DS lasing can be obtained in the presence of quasi-equilibrium DS
population that corresponds to a true two-level atomic system with the
inversion in nonresonant limit.


title:
Impact of Metallic Interface Description on Sub-wavelength Cavity Mode
  Computations

abstract:
  We present a numerical study of electromagnetic reflection and cavity modes
of 1D-sub-wavelength rectangular metallic gratings exposed to TM-polarized
light. Computations are made using the modal development. In particular we
study the influence of the choice of boundary conditions on the metallic
surfaces on the determination of modes, on specular reflectance and cavity mode
amplitudes. Our full real-metal approach shows some advantages when compared to
former results since it is in better accordance with experimental results.


title:
Statistical properties of the energy exchanged between two heat baths
  coupled by thermal fluctuations

abstract:
  We study both experimentally and theoretically the statistical properties of
the energy exchanged between two electrical conductors, kept at different
temperature by two different heat reservoirs, and coupled by the electric
thermal noise. Such a system is ruled by the same equations as two Brownian
particles kept at different temperatures and coupled by an elastic force. We
measure the heat flowing between the two reservoirs, the thermodynamic work
done by one part of the system on the other, and we show that these quantities
exhibit a long time fluctuation theorem. Furthermore, we evaluate the
fluctuating entropy, which satisfies a conservation law. These experimental
results are fully justified by the theoretically analysis. Our results give
more insight into the energy transfer in the famous Feymann ratchet widely
studied theoretically but never in an experiment.


title:
Mod\`ele th\'eorique de la contraction musculaire squelettique :
  ressorts entropiques, processus stochastiques et m\'ecanique classique (A
  theoretical model of skeletal muscular contraction : entropic springs,
  stochastic processes and classical mechanics)

abstract:
  The model analyzes the muscle fiber as a deformable system for which
experimental data are determinated with the help of the laws of Newtonian
mechanic. The model predicts the four transient phases for the shortening of a
muscle fiber according to a force or length step. The model shows, on the one
hand, the importance of the viscosity during the first phase of these two types
of step and, secondly, the interdependence of the six other phases towards a
bimodal state after disappearance of actions due to viscosity. The model
provides an interpretation for the behavior of a fiber with shortening
staircase. The model is consistent with experimental data during temperature
changes or various structural alterations.


title:
Direct Laser Micropatterning of GeSe2 Nanostructures with Controlled
  Optoelectrical Properties

abstract:
  We demonstrate that a direct focused laser beam irradiation is able to
achieve localized modification on GeSe2 nanostructures (NSs) film. Using
scanning focused laser beam setup, micropatterns on GeSe2 NSs film are created
directly on the substrate. Controlled structural and chemical changes of the
NSs are achieved by varying laser power and treatment environment. The laser
modified GeSe2 NSs exhibit distinct optical, electrical and optoelectrical
properties. Detailed characterization is carried out and the possible
mechanisms for the laser induced changes are discussed. The laser modified NSs
film shows superior photoconductivity properties as compared to the pristine
nanostructure film. The construction of micropatterns with improved
functionality could prove to be useful in miniature optoelectrical devices.


title: Subtleties of Non-Abelian Gauge Theories in Cold-Atomic Lattices

abstract:
  I point out two of the subtleties referred to in the title. The first is that
gauge-invariant magnetic systems may realized under general circumstances, as
suggested by a simple theorem. The second subtlety is that care is needed to
identify the field theory simulated by a cold-atomic lattice gauge system.
Though the simplest such model confines in 2+1 dimensions, it has
non-relativistic ``gluon" excitations. Time-reversal invariance is
spontaneously broken in this system. The confinement mechanism is related to an
extra U(1) gauge invariance.There is a model, suggested long ago by D. Rohlich
and me, which is known to have relativistic spin waves. One of the outstanding
theoretical problems is a better determination of the energy-momentum relation
of spin waves in different magnetic gauge systems.


title: Size effects in superconducting thin films coupled to a substrate

abstract:
  Recent experimental advances in surface science have made it possible to
track the evolution of superconductivity in films as the thickness enters the
nanoscale region where it is expected that the substrate plays an important
role. Here, we put forward a mean-field, analytically tractable, model that
describes size effects in ultrathin films coupled to the substrate. We restrict
our study to one-band, crystalline, weakly coupled superconductors with no
impurities. The thin-film substrate/vacuum interfaces are described by a simple
asymmetric potential well and a finite quasiparticle lifetime. Boundary
conditions are chosen to comply with the charge neutrality condition. This
model provides a fair description of experimental results in ultrathin lead
films: on average, the superconducting gap decreases with thickness and it is
always below the bulk value. Clear oscillations, remnants of the shape
resonances, are still observed for intermediate thicknesses. For materials with
a weaker electron-phonon coupling and negligible disorder, a modest enhancement
of superconductivity seems to be feasible. The relaxation of the charge
neutrality condition, which is in principle justified in complex oxide
heterostructures and other materials, would lead to a much stronger enhancement
of superconductivity by size effects.


title: Double scouring by turbulent jets downstream of a submerged sluice gate

abstract:
  In this work we study the scour produced by a jet downstream of a submerged
sluice gate on a sediment bed of non-cohesive particles. The experiments were
performed for various values of sill heights and {\deg}uid depths. New regimes
were observed in which two holes are simultaneously developed. We identify the
origins of the two holes and show that they are produced by different scouring
mechanisms. The dependence of the position of the holes with the approach
{\deg}uid depth and the gate opening were studied and expressed in terms of
adequate non-dimensional numbers.


title:
Small vs large dust grains in transitional disks: do different cavity
  sizes indicate a planet?

abstract:
  Transitional disks represent a short stage of the evolution of circumstellar
material. Studies of dust grains in these objects can provide pivotal
information on the mechanisms of planet formation. Dissimilarities in the
spatial distribution of small (micron-size) and large (millimeter-size) dust
grains have recently been pointed out. Constraints on the small dust grains can
be obtained by imaging the distribution of scattered light at near-infrared
wavelengths. We aim at resolving structures in the surface layer of
transitional disks (with particular emphasis on the inner 10 - 50 AU), thus
increasing the scarce sample of high resolution images of these objects. We
obtained VLT/NACO near-IR high-resolution polarimetric differential imaging
observations of SAO 206462 (HD135344B). This technique allows one to image the
polarized scattered light from the disk without any occulting mask and to reach
an inner working angle of 0.1''. A face-on disk is detected in H and Ks bands
between 0.1'' and 0.9''. No significant differences are seen between the H and
Ks images. In addition to the spiral arms, these new data allow us to resolve
for the first time an inner cavity for small dust grains. The cavity size
(about 28 AU) is much smaller than what is inferred for large dust grains from
(sub)mm observations (39 to 50 AU). The interaction between the disk and
potential orbiting companion(s) can explain both the spiral arm structure and
the discrepant cavity sizes for small and large dust grains. One planet may be
carving out the gas (and, thus, the small grains) at 28 AU, and generating a
pressure bump at larger radii (39 AU), which holds back the large grains. We
analytically estimate that, in this scenario, a single giant planet (with a
mass between 5 and 15 Jupiter masses) at 17 to 20 AU from the star is
consistent with the observed cavity sizes.


title: A spatial scan statistic for zero-inflated Poisson process

abstract:
  The scan statistic is widely used in spatial cluster detection applications
of inhomogeneous Poisson processes. However, real data may present substantial
departure from the underlying Poisson process. One of the possible departures
has to do with zero excess. Some studies point out that when applied to data
with excess zeros, the spatial scan statistic may produce biased inferences. In
this work, we develop a closed-form scan statistic for cluster detection of
spatial zero-inflated count data. We apply our methodology to simulated and
real data. Our simulations revealed that the Scan-Poisson statistic steadily
deteriorates as the number of zeros increases, producing biased inferences. On
the other hand, our proposed Scan-ZIP and Scan-ZIP+EM statistics are, most of
the time, either superior or comparable to the Scan-Poisson statistic.


title: Stability in bi-Hamiltonian systems and multidimensional rigid body

abstract:
  The presence of two compatible Hamiltonian structures is known to be one of
the main, and the most natural, mechanisms of integrability. For every pair of
Hamiltonian structures, there are associated conservation laws (first
integrals). Another approach is to consider the second Hamiltonian structure on
its own as a tensor conservation law. The latter is more intrinsic as compared
to scalar conservation laws derived from it and, as a rule, it is "simpler".
Thus it is natural to ask: can the dynamics of a bi-Hamiltonian system be
understood by studying its Hamiltonian pair, without studying the associated
first integrals?\par In this paper, the problem of stability of equilibria in
bi-Hamiltonian systems is considered and it is shown that the conditions for
nonlinear stability can be expressed in algebraic terms of linearization of the
underlying Poisson pencil. This is used to study stability of stationary
rotations of a free multidimensional rigid body.


title: AnaDroid: Malware Analysis of Android with User-supplied Predicates

abstract:
  Today's mobile platforms provide only coarse-grained permissions to users
with regard to how third- party applications use sensitive private data.
Unfortunately, it is easy to disguise malware within the boundaries of
legitimately-granted permissions. For instance, granting access to "contacts"
and "internet" may be necessary for a text-messaging application to function,
even though the user does not want contacts transmitted over the internet. To
understand fine-grained application use of permissions, we need to statically
analyze their behavior. Even then, malware detection faces three hurdles: (1)
analyses may be prohibitively expensive, (2) automated analyses can only find
behaviors that they are designed to find, and (3) the maliciousness of any
given behavior is application-dependent and subject to human judgment. To
remedy these issues, we propose semantic-based program analysis, with a human
in the loop as an alternative approach to malware detection. In particular, our
analysis allows analyst-crafted semantic predicates to search and filter
analysis results. Human-oriented semantic-based program analysis can
systematically, quickly and concisely characterize the behaviors of mobile
applications. We describe a tool that provides analysts with a library of the
semantic predicates and the ability to dynamically trade speed and precision.
It also provides analysts the ability to statically inspect details of every
suspicious state of (abstract) execution in order to make a ruling as to
whether or not the behavior is truly malicious with respect to the intent of
the application. In addition, permission and profiling reports are generated to
aid analysts in identifying common malicious behaviors.


title:
5-Brane Webs, Symmetry Enhancement, and Duality in 5d Supersymmetric
  Gauge Theory

abstract:
  We present a number of investigations of 5d ${\cal N}=1$ supersymmetric gauge
theories that make use of 5-brane web constructions and the 5d superconformal
index. These include an observation of enhanced global symmetry in the 5d fixed
point theory corresponding to $SU(N)$ gauge theory with Chern-Simons level $\pm
N$, enhanced global symmetries in quiver theories, and dualities between quiver
theories and non-quiver theories. Instanton contributions play a crucial role
throughout.


title:
Neutrino propagation in nuclear medium and neutrinoless double-beta
  decay

abstract:
  We discuss a novel effect in neutrinoless double beta (0{\nu}{\beta}{\beta})
decay related with the fact that its underlying mechanisms take place in the
nuclear matter environment. We study the neutrino exchange mechanism and
demonstrate the possible impact of nuclear medium via Lepton Number Violating
(LNV) 4-fermion interactions of neutrino with quarks from decaying nucleus. The
net effect of these interactions is generation of an effective in-medium
Majorana neutrino mass matrix. The enhanced rate of the
0{\nu}{\beta}{\beta}-decay can lead to the apparent incompatibility of
observations of the 0{\nu}{\beta}{\beta}-decay with the value of the neutrino
mass determined or restricted by the {\beta}-decay and cosmological data. The
effective neutrino masses and mixing are calculated for the complete set of the
relevant 4-fermion neutrino-quark operators. Using experimental data on the
0{\nu}{\beta}{\beta}-decay in combination with the {\beta}-decay and
cosmological data we evaluate the characteristic scales of the LNV operators:
{\Lambda} > 2.4 TeV.


title:
Sound and Precise Malware Analysis for Android via Pushdown Reachability
  and Entry-Point Saturation

abstract:
  We present Anadroid, a static malware analysis framework for Android apps.
Anadroid exploits two techniques to soundly raise precision: (1) it uses a
pushdown system to precisely model dynamically dispatched interprocedural and
exception-driven control-flow; (2) it uses Entry-Point Saturation (EPS) to
soundly approximate all possible interleavings of asynchronous entry points in
Android applications. (It also integrates static taint-flow analysis and least
permissions analysis to expand the class of malicious behaviors which it can
catch.) Anadroid provides rich user interface support for human analysts which
must ultimately rule on the "maliciousness" of a behavior.
  To demonstrate the effectiveness of Anadroid's malware analysis, we had teams
of analysts analyze a challenge suite of 52 Android applications released as
part of the Auto- mated Program Analysis for Cybersecurity (APAC) DARPA
program. The first team analyzed the apps using a ver- sion of Anadroid that
uses traditional (finite-state-machine-based) control-flow-analysis found in
existing malware analysis tools; the second team analyzed the apps using a
version of Anadroid that uses our enhanced pushdown-based
control-flow-analysis. We measured machine analysis time, human analyst time,
and their accuracy in flagging malicious applications. With pushdown analysis,
we found statistically significant (p < 0.05) decreases in time: from 85
minutes per app to 35 minutes per app in human plus machine analysis time; and
statistically significant (p < 0.05) increases in accuracy with the
pushdown-driven analyzer: from 71% correct identification to 95% correct
identification.


title: Explicit Wodzicki excision in cyclic homology

abstract:
  Assuming local one-sided units exist, I give an elementary proof of Wodzicki
excision for cyclic homology. The proof is also constructive and provides an
explicit inverse excision map. As far as I know, the latter is new.


title: Efficient traveltime solution of the acoustic TI eikonal equation

abstract:
  Numerical solutions of the eikonal (Hamilton-Jacobi) equation for
transversely isotropic (TI) media are essential for imaging and traveltime
tomography applications. Such solutions, however, suffer from the inherent
higher-order nonlinearity of the TI eikonal equation, which requires solving a
quartic polynomial for every grid point. Analytical solutions of the quartic
polynomial yield numerically unstable formulations. Thus, we need to utilize a
numerical root finding algorithm, adding significantly to the computational
load. Using perturbation theory we approximate, in a first order discretized
form, the TI eikonal equation with a series of simpler equations for the
coefficients of a polynomial expansion of the eikonal solution, in terms of the
anellipticity anisotropic parameter. Such perturbation, applied to the
discretized form of the eikonal equation, does not impose any restrictions on
the complexity of the perturbed parameter field. Therefore, it provides
accurate traveltime solutions even for models with complex distribution of
velocity and anisotropic anellipticity parameter, such as that for the
complicated Marmousi model. The formulation allows for large cost reduction
compared to using the exact TI eikonal solver. Furthermore, comparative tests
with previously developed approximations illustrate remarkable gain in accuracy
in the proposed algorithm, without any addition to the computational cost.


title:
Existence and Regularity of Invariant Measures for the Three Dimensional
  Stochastic Primitive Equations

abstract:
  We establish the continuity of the Markovian semigroup associated with strong
solutions of the stochastic 3D Primitive Equations, and prove the existence of
an invariant measure. The proof is based on new moment bounds for strong
solutions. The invariant measure is supported on strong solutions, but is
furthermore shown to have higher regularity properties.


title:
Generalized Dualities in 1T-Physics as Holographic Predictions from
  2T-Physics

abstract:
  In the conventional formalism of physics, with 1-time, systems with different
Hamiltonians or Lagrangians have different physical interpretations and are
considered to be independent systems unrelated to each other. However, in this
paper we construct explicitly canonical maps in 1T phase space (including
timelike components, specifically the Hamiltonian) to show that it is
appropriate to regard various 1T-physics systems, with different Lagrangians or
Hamiltonians, as being duals of each other. This concept is similar in spirit
to dualities discovered in more complicated examples in field theory or string
theory. Our approach makes it evident that such generalized dualities are
widespread. This suggests that, as a general phenomenon, there are hidden
relations and hidden symmetries that conventional 1T-physics does not capture,
implying the existence of a more unified formulation of physics that naturally
supplies the hidden information. In fact, we show that 2T-physics in
(d+2)-dimensions is the generator of these dualities in 1T-physics in
d-dimensions by providing a holographic perspective that unifies all the dual
1T systems into one. The unifying ingredient is a gauge symmetry in phase
space. Via such dualities it is then possible to gain new insights toward new
physical predictions not suspected before, and suggest new methods of
computation that yield results not obtained before. As an illustration, we will
provide concrete examples of 1T-systems in classical mechanics that are solved
analytically for the first time via our dualities. These dualities in classical
mechanics have counterparts in quantum mechanics and field theory, and in some
simpler cases they have already been constructed in field theory. We comment on
the impact of our approach on the meaning of spacetime and on the development
of new computational methods based on dualities.


title:
Fluctuations and information filtering in coupled populations of spiking
  neurons with adaptation

abstract:
  Finite-sized populations of spiking elements are fundamental to brain
function, but also used in many areas of physics. Here we present a theory of
the dynamics of finite-sized populations of spiking units, based on a
quasi-renewal description of neurons with adaptation. We derive an integral
equation with colored noise that governs the stochastic dynamics of the
population activity in response to time-dependent stimulation and calculate the
spectral density in the asynchronous state. We show that systems of coupled
populations with adaptation can generate a frequency band in which sensory
information is preferentially encoded. The theory is applicable to fully as
well as randomly connected networks, and to leaky integrate-and-fire as well as
to generalized spiking neurons with adaptation on multiple time scales.


title: A possible mechanism of origin of heavy elements in the solar system

abstract:
  We advance a hypothesis that a collision of a neutron-rich compact object
(NRCO) with a massive dense object of the early solar system was responsible
for the heavy element enrichment of the system and for the formation of the
terrestrial planets.


title:
Sobolev estimates for the complex Green operator on CR submanifolds of
  hypersurface type

abstract:
  Let $M$ be a pseudoconvex, oriented, bounded and closed CR submanifold of
$\mathbb{C}^{n}$ of hypersurface type. Our main result says that when a certain
$1$-form on $M$ is exact on the null space of the Levi form, then the complex
Green operator on $M$ satisfies Sobolev estimates. This happens in particular
when $M$ admits a set of plurisubharmonic defining functions or when $M$ is
strictly pseudoconvex except for the points on a simply connected complex
submanifold.


title: Symmetric Periodic Orbits in Three Sub-Problems of the N-body Problem

abstract:
  We study three sub-problems of the N-body problem that have two degrees of
freedom, namely the n-pyramidal problem, the planar double-polygon problem, and
the spatial double-polygon problem. We prove the existence of several families
of symmetric periodic orbits, including ``Schubart-like" orbits and brake
orbits, by using topological shooting arguments.


title:
Estimating a graphical intra-class correlation coefficient (GICC) using
  multivariate probit-linear mixed models

abstract:
  Data reproducibility is a critical issue in all scientific experiments. In
this manuscript, we consider the problem of quantifying the reproducibility of
graphical measurements. We generalize the concept of image intra-class
correlation coefficient (I2C2) and propose the concept of the graphical
intra-class correlation coefficient (GICC) for such purpose. The concept of
GICC is based on multivariate probit-linear mixed effect models. We will
present a Markov Chain EM (MCEM) algorithm for estimating the GICC. Simulations
results with varied settings are demonstrated and our method is applied to the
KIRBY21 test-retest dataset.


title: Network communities within and across borders

abstract:
  We investigate the impact of borders on the topology of spatially embedded
networks. Indeed territorial subdivisions and geographical borders
significantly hamper the geographical span of networks thus playing a key role
in the formation of network communities. This is especially important in
scientific and technological policy-making, highlighting the interplay between
pressure for the internationalization to lead towards a global innovation
system and the administrative borders imposed by the national and regional
institutions. In this study we introduce an outreach index to quantify the
impact of borders on the community structure and apply it to the case of the
European and US patent co-inventors networks. We find that (a) the US
connectivity decays as a power of distance, whereas we observe a faster
exponential decay for Europe; (b) European network communities essentially
correspond to nations and contiguous regions while US communities span multiple
states across the whole country without any characteristic geographic scale. We
confirm our findings by means of a set of simulations aimed at exploring the
relationship between different patterns of cross-border community structures
and the outreach index.


title:
Disorder Driven Metal-Insulator Transition in BaPb$_{1-x}$Bi$_x$O$_3$
  and Inference of Disorder-Free Critical Temperature

abstract:
  We performed point-contact spectroscopy tunneling measurements on single
crystal BaPb$_{1-x}$Bi$_x$O$_3$ for $x=0$, $0.19$, $0.25$, and $0.28$ at
temperatures ranging from $T=2-40$ K and find a suppression in the density of
states at low bias-voltages, which has not previously been reported. The
classic square root dependence observed in the density of states fits within
the theoretical framework of disordered metals, and we find that the
correlation gap disappears around a critical concentration $x_c=0.30$. We also
report a linear dependence of the zero-temperature conductivity, $\sigma_0$,
with concentration, where $\sigma_0=0$ at $x_c=0.30$. We conclude that a
disorder driven metal-insulator transition occurs in this material before the
onset of the charge disproportionated charge density wave insulator. We explore
the possibility of a scaling theory being applicable for this material. In
addition, we estimate the disorder-free critical temperature using theory
developed by Belitz and Fukuyama et. al. and compare these results to
Ba$_{1-x}$K$_x$BiO$_3$.


title: On the degree of non-Markovianity of quantum evolution

abstract:
  We propose a new characterization of non-Markovian quantum evolution based on
the concept of non-Markovianity degree. It provides an analog of a Schmidt
number in the entanglement theory and reveals the formal analogy between
quantum evolution and the entanglement theory: Markovian evolution corresponds
to a separable state and non-Markovian one is further characterized by its
degree. It enables one to introduce a non-Markovinity witness -- an analog of
an entanglement witness -- and a family of measures -- an analog of Schmidt
coefficients -- and finally to characterize maximally non-Markovian evolution
being an analog of maximally entangled state. Our approach allows to classify
the non-Markovianity measures introduced so far in a unified rigorous
mathematical framework.


title: Classification of Nilsoliton metrics in dimension seven

abstract:
  The aim of this paper is to classify Ricci soliton metrics on $7$-dimensional
nilpotent Lie groups. It can be considered as a continuation of our paper in
[Transformation Groups, Volume 17, Number 3 (2012), 639--656].
  To this end, we use the classification of $7$-dimensional real nilpotent Lie
algebras given by Ming-Peng Gong in his Ph.D thesis and some techniques from
the results of Michael Jablonski in [Rocky Mtn. Journal of Math. 42 (2012),
1521--1549] and [M\"{u}nster J. Math. 3 (2010), 67--88], and of Yuri
Nikolayevsky in [Trans. Amer. Math. Soc. 363 (2011), 3935--3958]. Of the $9$
one-parameter families and $140$ isolated $7$-dimensional indecomposable real
nilpotent Lie algebras, we have $99$ nilsoliton metrics given in an explicit
form and $7$ one-parameter families admitting nilsoliton metrics.
  Our classification is the result of a case-by-case analysis, so many
illustrative examples are carefully developed to explain how to obtain the main
result.


title:
Bolometric luminosity black-hole growth time and slim accretion discs in
  active galactic nuclei

abstract:
  We investigate the accretion rate, bolometric luminosity, black hole (BH)
growth time and BH spin in a large AGN sample under the assumption that all
such objects are powered via thin or slim accretion discs (ADs). We use direct
estimates of the mass accretion rate, Mdot, to show that many currently used
values of Lbol and Ledd are either under estimated or over estimated because
they are based on bolometric correction factors that are adjusted to the
properties of moderately accreting active galactic nuclei (AGN) and do not take
into account the correct combination of BH mass, spin and accretion rate. The
consistent application of AD physics to our sample of Sloan Digital Sky Survey
(SDSS) AGN leads to the following findings: 1. Even the most conservative
assumption about the radiative efficiency of fast accreting BHs shows that many
of these sources must contain slim ADs. We illustrate this by estimating the
fraction of such objects at various redshifts. 2. Many previously estimated BH
growth times are inconsistent with the AD theory. In particular, the growth
times of the fastest accreting BHs were over estimated in the past by large
factors with important consequences to AGN evolution. 3. Currently used
bolometric correction factors for low accretion rate very massive SDSS BHs, are
inconsistent with the AD theory. Applying the AD set of assumptions to such
objects, combined with standard photoionization calculations of broad emission
lines, leads to the conclusion that many such objects must contain fast
spinning BHs.


title: Convergence and generalization of a recursion equation for primes

abstract:
  The main result is a generalization of Keller's recursion equation for
finding a prime number given the previous primes. We also examine the
convergence of the limit in Keller's equation and the convergence of the limit
in the general equation. The latter is dependent on the choice of L-function.


title: A colored operad for string link infection

abstract:
  Budney recently constructed an operad that encodes splicing of knots. He
further showed that the space of (long) knots is generated over this operad by
the space of torus knots and hyperbolic knots, thus generalizing the satellite
decomposition of knots from isotopy classes to the level of the space of knots.
Infection by string links is a generalization of splicing from knots to links.
We construct a colored operad that encodes string link infection. We prove that
a certain subspace of the space of 2-component string links is generated over a
suboperad of our operad by its subspace of prime links. This generalizes a
result from joint work with Blair from isotopy classes of knots to the space of
knots. Furthermore, all the relations in the monoid of 2-string links (as
determined in our joint work with Blair) are captured by our infection operad.


title: A flyby anomaly for Juno? Not from standard physics

abstract:
  An empirical formula recently appeared in the literature to explain the
observed anomalies of about $\Delta\dot\rho\approx 1-10$ mm s$^{-1}$ in the
geocentric range-rates $\dot\rho$ of the Galileo, NEAR and Rosetta spacecraft
at some of their past perigee passages along unbound, hyperbolic trajectories.
It predicts an anomaly of the order of $6$ mm s$^{-1}$ for the recent flyby of
Juno, occurred on 9 October 2013. Data analyses to confirm or disproof it are
currently ongoing. We numerically calculate the impact on the geocentric Juno's
range rate of some classical and general relativistic dynamical effects which
are either unmodelled or mismodelled to a certain level in the software used to
process the data. They are: a) The first even zonal harmonic coefficient $J_2$
of the multipolar expansion of the terrestrial gravitational potential causing
orbital perturbations both at the $\left.{\rm a}^{'}\right)$ Newtonian ($J_2$)
and at the $\left. {\rm a}^{''}\right)$ first post-Newtonian level ($J_2
c^{-2}$) b) The post-Newtonian gravitoelectric (GE) Schwarschild-like component
of the Earth's gravitational field c) The post-Newtonian gravitomagnetic (GM)
Lense-Thirring effect. The magnitudes of their mismodeled and nominal
range-rate signatures are: $\left. {\rm a}^{'}\right)$
$\Delta\dot\rho_{\sigma_{J_2}} \approx 1$ $\mu$m s$^{-1}$ $\left. {\rm
a}^{''}\right)$ $\Delta\dot\rho_{J_2 c^{-2}} \approx 0.015$ $\mu$m s$^{-1}$ b)
$\Delta\dot\rho_{\rm GE} \approx 25$ $\mu$m s$^{-1}$ c) $\Delta\dot\rho_{\rm
GM} \approx 0.05$ $\mu$m s$^{-1}$. If a flyby anomaly as large as a few mm
s$^{-1}$ will be finally found also for Juno, it will not be due to any of
these standard gravitational effects. (Abridged)


title: The power of linear programming for general-valued CSPs

abstract:
  Let $D$, called the domain, be a fixed finite set and let $\Gamma$, called
the valued constraint language, be a fixed set of functions of the form
$f:D^m\to\mathbb{Q}\cup\{\infty\}$, where different functions might have
different arity $m$. We study the valued constraint satisfaction problem
parametrised by $\Gamma$, denoted by VCSP$(\Gamma)$. These are minimisation
problems given by $n$ variables and the objective function given by a sum of
functions from $\Gamma$, each depending on a subset of the $n$ variables.
Finite-valued constraint languages contain functions that take on only rational
values and not infinite values.
  Our main result is a precise algebraic characterisation of valued constraint
languages whose instances can be solved exactly by the basic linear programming
relaxation (BLP). For a valued constraint language $\Gamma$, BLP is a decision
procedure for $\Gamma$ if and only if $\Gamma$ admits a symmetric fractional
polymorphism of every arity. For a finite-valued constraint language $\Gamma$,
BLP is a decision procedure if and only if $\Gamma$ admits a symmetric
fractional polymorphism of some arity, or equivalently, if $\Gamma$ admits a
symmetric fractional polymorphism of arity 2.
  Using these results, we obtain tractability of several novel classes of
problems, including problems over valued constraint languages that are: (1)
submodular on arbitrary lattices; (2) $k$-submodular on arbitrary finite
domains; (3) weakly (and hence strongly) tree-submodular on arbitrary trees.


title:
Bootstrap multiscale analysis and localization for multi-particle
  continuous Anderson Hamiltonians

abstract:
  We extend the bootstrap multiscale analysis developed by Germinet and Klein
to the multi-particle continuous Anderson Hamiltonian, obtaining Anderson
localization with finite multiplicity of eigenvalues, decay of eigenfunction
correlations, and a strong form of dynamical localization.


title: Connected sums and finite energy foliations I: Contact connected sums

abstract:
  We consider a $3$-manifold $M$ equipped with nondegenerate contact form
$\lambda$ and compatible almost complex structure $J$. We show that if the data
$(M, \lambda, J)$ admits a stable finite energy foliation, then for a generic
choice of distinct points $p$, $q\in M$, the manifold $M'$ formed by taking the
connected sum at $p$ and $q$ admits a nondegenerate contact form $\lambda'$ and
compatible almost complex structure $J'$ so that the data $(M', \lambda', J')$
also admits a stable finite energy foliation. Along the way, we develop some
general theory for the study of finite energy foliations.


title: The domino problem on groups of polynomial growth

abstract:
  We characterize the virtually nilpotent finitely generated groups (or,
equivalently by Gromov's theorem, groups of polynomial growth) for which the
Domino Problem is decidable: These are the virtually free groups, i.e. finite
groups, and those having $\Z$ as a subgroup of finite index.


title: Finite-type-Dyck shift spaces

abstract:
  We study some basic properties of sofic-Dyck shifts and finite-type-Dyck
shifts. We prove that the class of sofic-Dyck shifts is stable under proper
conjugacies. We prove a Decomposition Theorem of a proper conjugacy between
edge-Dyck shifts into a sequence of Dyck splittings and amalgamations.


title:
On the Mixed H2/H-infinity Loop Shaping Trade-offs in Fractional Order
  Control of the AVR System

abstract:
  This paper looks at frequency domain design of a fractional order (FO) PID
controller for an Automatic Voltage Regulator (AVR) system. Various performance
criteria of the AVR system are formulated as system norms and is then coupled
with an evolutionary multi-objective optimization (MOO) algorithm to yield
Pareto optimal design trade-offs. The conflicting performance measures consist
of the mixed H2/H-infinity designs for objectives like set-point tracking, load
disturbance and noise rejection, controller effort and as such are an
exhaustive study of various conflicting design objectives. A fuzzy logic based
mechanism is used to identify the best compromise solution on the Pareto
fronts. The advantages and disadvantages of using a FOPID controller over the
conventional PID controller, which are popular for industrial use, are
enunciated from the presented simulations. The relevance and impact of FO
controller design from the perspective of the dynamics of AVR control loop is
also discussed.


title: On magnetic reconnection and flux rope topology in solar flux emergence

abstract:
  We present an analysis of the formation of atmospheric flux ropes in a
magnetohydrodynamic (MHD) solar flux emergence simulation. The simulation
domain ranges from the top of the solar interior to the low corona. A twisted
magnetic flux tube emerges from the solar interior and into the atmosphere
where it interacts with the ambient magnetic field. By studying the
connectivity of the evolving magnetic field, we are able to better understand
the process of flux rope formation in the solar atmosphere. In the simulation,
two flux ropes are produced as a result of flux emergence. Each has a different
evolution resulting in different topological structures. These are determined
by plasma flows and magnetic reconnection. As the flux rope is the basic
structure of the coronal mass ejection (CME), we discuss the implications of
our findings for solar eruptions.


title:
Application of the Direct Microscopic Formalism to Nuclear Data
  Evaluation

abstract:
  We review the basic definitions of the direct microscopic formalism (DMF) and
the corresponding model code TRANSNU, to describe pre-equilibrium nuclear
systems, as elements of the grand canonical ensemble. We analyze its
inconsistencies, especially the impossibility of exact solution of the nuclear
many-body problem, and propose solutions.
  We use the strong dependence of pre-equilibrium emissions on the ratio of
transition rates, in code ${\bf \mbox{TNG}}$, to propose a redefinition of the
parameters in the master equation, and obtain smoother excitation functions in
the energy regions where different exciton classes contribute. We compare the
transition rates of TRANSNU with the phenomenological ones for the estimation
the excitation function of a few p-induced reactions on $^{56}$Fe, and obtain
reasonable descriptions for activation energy, local maxima and average
magnitude.
  Despite the inconsistencies and a few remaining numerical problems, related
with non meaningful noises in the strong oscillations of the TST, especially
with the excitation energy and for low exciton number, we find the results of
the present work very promising, indicating that the DFM can be used as a more
precise and physically meaningful approach for the study of nuclear systems in
pre-equilibrium than the traditional statistical models.


title: Optimal Foresighted Multi-User Wireless Video

abstract:
  Recent years have seen an explosion in wireless video communication systems.
Optimization in such systems is crucial - but most existing methods intended to
optimize the performance of multi-user wireless video transmission are
inefficient. Some works (e.g. Network Utility Maximization (NUM)) are myopic:
they choose actions to maximize instantaneous video quality while ignoring the
future impact of these actions. Such myopic solutions are known to be inferior
to foresighted solutions that optimize the long-term video quality.
Alternatively, foresighted solutions such as rate-distortion optimized packet
scheduling focus on single-user wireless video transmission, while ignoring the
resource allocation among the users.
  In this paper, we propose an optimal solution for performing joint
foresighted resource allocation and packet scheduling among multiple users
transmitting video over a shared wireless network. A key challenge in
developing foresighted solutions for multiple video users is that the users'
decisions are coupled. To decouple the users' decisions, we adopt a novel dual
decomposition approach, which differs from the conventional optimization
solutions such as NUM, and determines foresighted policies. Specifically, we
propose an informationally-decentralized algorithm in which the network manager
updates resource "prices" (i.e. the dual variables associated with the resource
constraints), and the users make individual video packet scheduling decisions
based on these prices. Because a priori knowledge of the system dynamics is
almost never available at run-time, the proposed solution can learn online,
concurrently with performing the foresighted optimization. Simulation results
show 7 dB and 3 dB improvements in Peak Signal-to-Noise Ratio (PSNR) over
myopic solutions and existing foresighted solutions, respectively.


title: The Hierarchy of Local Minimums in Polynomial Optimization

abstract:
  This paper studies the hierarchy of local minimums of a polynomial in the
space. For this purpose, we first compute H-minimums, for which the first and
second order optimality conditions are satisfied. To compute each H-minimum, we
construct a sequence of semidefinite relaxations, based on optimality
conditions. We prove that each constructed sequence has finite convergence,
under some generic conditions. A procedure for computing all local minimums is
given. When there are equality constraints, we have similar results for
computing the hierarchy of critical values and the hierarchy of local minimums.
Several extensions are discussed.


title:
Functional renormalization group approach to conventional theory of
  superfluidity and beyond

abstract:
  Fermionic functional renormalization group (FRG) is applied to describe the
superfluid phase transition of the two-component fermionic system with
attractive contact interaction. Connection between the fermionic FRG approach
and the Bardeen-Cooper-Schrieffer (BCS) theory with its Gorkov and
Melik-Barkhudarov (GMB) correction is made clear, and the FRG flow of the
fermion self-energy is also studied to go beyond the BCS+GMB theory. The
superfluid transition temperature and the associated chemical potential are
calculated in the region of the negative scattering length using fermionic FRG.

categories: cond-mat.quant-gas cond-mat.supr-con hep-ph nucl-th


title:
Structural Changes on Warsaw's Stock Exchange: the end of Financial
  Crisis

abstract:
  In this paper we analyse the structure of Warsaw's stock market using complex
systems methodology together with network science and information theory. We
find minimal spanning trees for log returns on Warsaw's stock exchange for
yearly times series between 2000 and 2013. For each stock in those trees we
calculate its Markov centrality measure to estimate its importance in the
network. We also estimate entropy rate for each of those time series using
Lempel-Ziv algorithm based estimator to study the predictability of those price
changes. The division of the studied stocks into 26 sectors allows us to study
the changing structure of the Warsaw's stock market and conclude that the
financial crisis sensu stricto has ended on Warsaw's stock market in 2012-13.
We also comment on the history and the outlook of the Warsaw's market based on
the log returns, their average, variability, entropy and the centrality of a
stock in the dependency network.


title: Resolving and Exploiting the $k$-CFA Paradox

abstract:
  Low-level program analysis is a fundamental problem, taking the shape of
"flow analysis" in functional languages and "points-to" analysis in imperative
and object-oriented languages. Despite the similarities, the vocabulary and
results in the two communities remain largely distinct, with limited
cross-understanding. One of the few links is Shivers's $k$-CFA work, which has
advanced the concept of "context-sensitive analysis" and is widely known in
both communities.
  Recent results indicate that the relationship between the functional and
object-oriented incarnations of $k$-CFA is not as well understood as thought.
Van Horn and Mairson proved $k$-CFA for $k \geq 1$ to be EXPTIME-complete;
hence, no polynomial-time algorithm can exist. Yet, there are several
polynomial-time formulations of context-sensitive points-to analyses in
object-oriented languages. Thus, it seems that functional $k$-CFA may actually
be a profoundly different analysis from object-oriented $k$-CFA. We resolve
this paradox by showing that the exact same specification of $k$-CFA is
polynomial-time for object-oriented languages yet exponential- time for
functional ones: objects and closures are subtly different, in a way that
interacts crucially with context-sensitivity and complexity. This illumination
leads to an immediate payoff: by projecting the object-oriented treatment of
objects onto closures, we derive a polynomial-time hierarchy of
context-sensitive CFAs for functional programs.


title: Transformations between complex scattering length and binding energy

abstract:
  The use of scattering length of particle-target interaction due to real-
valued potential to study the bound states of the particle-target system is
well known in nuclear and atomic physics. In view of the current interest in
using eta-nucleus scattering length to infer the existence of eta-mesic
nucleus, we derive general analytic expressions that relate the binding energy
and half-width of an unstable bound state to the complex-valued scattering
length due to the same particle-target interaction.


title:
A Hybrid Mode Model of the Blazhko Effect, Shown to Accurately Fit
  Kepler Data for RR Lyr

abstract:
  The waveform for Blazhko stars can be substantially different during the
ascending and descending parts of the Blazhko cycle. A hybrid model, consisting
of two component oscillators of the same frequency, is proposed as a means to
fit the data over the entire cycle. One component exhibits a sawtooth-like
velocity waveform while the other is nearly sinusoidal. One method of
generating such a hybrid is presented: a nonlinear model is developed for the
first overtone mode, which, if excited to large amplitude, is found to drop
strongly in frequency and become highly non-sinusoidal. If the frequency drops
sufficiently to become equal to the fundamental frequency, the two can become
phase locked and form the desired hybrid. A relationship is assumed between the
hybrid mode velocity and the observed light curve, which is approximated as a
power series. An accurate fit of the hybrid model is made to actual Kepler data
for RR Lyr. The sinusoidal component may tend to stabilize the period of the
hybrid which is found in real Blazhko data to be extremely stable. It is
proposed that the variations in amplitude and phase might result from a
nonlinear interaction with a third mode, possibly a nonradial mode at 3/2 the
fundamental frequency. The hybrid model also applies to non-Blazhko RRab stars
and provides an explanation for the light curve bump. A method to estimate the
surface gravity is also proposed.


title:
Relativistic AGN jets II. Jet properties and mixing effects for episodic
  jet activity

abstract:
  Various radio galaxies show signs of having gone through episodic jet
outbursts in the past. An example is the class of double-double radio galaxies
(DDRGs). However, to follow the evolution of an individual source in real-time
is impossible due to the large time scales involved. Numerical studies provide
a powerful tool to investigate the temporal behavior of episodic jet outbursts
in a (magneto-)hydrodynamical setting. We simulate the injection of two jets
from active galactic nuclei (AGN), separated by a short interruption time.
Three different jet models are compared. We find that an AGN jet outburst cycle
can be divided into four phases. The most prominent phase occurs when the
restarted jet is propagating completely inside the hot and inflated cocoon left
behind by the initial jet. In that case, the jet-head advance speed of the
restarted jet is significantly higher than the initial jet-head. While the head
of the initial jet interacts strongly with the ambient medium, the restarted
jet propagates almost unimpeded. As a result, the restarted jet maintains a
strong radial integrity. Just a very small fraction of the amount of shocked
jet material flows back through the cocoon compared to that of the initial jet
and much weaker shocks are found at the head of the restarted jet. We find that
the features of the restarted jet in this phase closely resemble the observed
properties of a typical DDRG.


title:
On the definition of a general learning system with user-defined
  operators

abstract:
  In this paper, we push forward the idea of machine learning systems whose
operators can be modified and fine-tuned for each problem. This allows us to
propose a learning paradigm where users can write (or adapt) their operators,
according to the problem, data representation and the way the information
should be navigated. To achieve this goal, data instances, background
knowledge, rules, programs and operators are all written in the same functional
language, Erlang. Since changing operators affect how the search space needs to
be explored, heuristics are learnt as a result of a decision process based on
reinforcement learning where each action is defined as a choice of operator and
rule. As a result, the architecture can be seen as a 'system for writing
machine learning systems' or to explore new operators where the policy reuse
(as a kind of transfer learning) is allowed. States and actions are represented
in a Q matrix which is actually a table, from which a supervised model is
learnt. This makes it possible to have a more flexible mapping between old and
new problems, since we work with an abstraction of rules and actions. We
include some examples sharing reuse and the application of the system gErl to
IQ problems. In order to evaluate gErl, we will test it against some structured
problems: a selection of IQ test tasks and some experiments on some structured
prediction problems (list patterns).


title: Massive neutral particles on heterotic string theory

abstract:
  The motion of massive particles in the background of a charged black hole in
heterotic string theory, which is characterized by a parameter $\alpha$, is
studied in detail in this paper. Since it is possible to write this space-time
in the Einstein frame, we perform a quantitative analysis of the time-like
geodesics by means of the standard Lagrange procedure. Thus, we obtain and
solve a set of differential equations and then we describe the orbits in terms
of the elliptic $\wp$-Weierstra{\ss} function. Also, by making an elementary
derivation developed by Cornbleet (Am. J. Phys. \textbf{61} 7, (1993) 650 -
651) we obtain the correction to the angle of advance of perihelion to first
order in $\alpha$, and thus, by comparing with Mercury's data we give an
estimation for the value of this parameter, which yields an {\it heterotic
solar charge} $Q_{\odot}\simeq 0.728\,[\textrm{Km}]= 0.493\, M_{\odot}$.
Therefore, in addition to the study on null geodesics performed by Fernando
(Phys. Rev. D {\bf 85}, (2012) 024033), this work completes the geodesic
structure for this class of space-time.


title:
Dynamically Optimized Wang-Landau Sampling with Adaptive Trial Moves and
  Modification Factors

abstract:
  The density of states of continuous models is known to span many orders of
magnitudes at different energies due to the small volume of phase space near
the ground state. Consequently, the traditional Wang-Landau sampling which uses
the same trial move for all energies faces difficulties sampling the low
entropic states. We developed an adaptive variant of the Wang-Landau algorithm
that very effectively samples the density of states of continuous models across
the entire energy range. By extending the acceptance ratio method of Bouzida,
Kumar, and Swendsen such that the step size of the trial move and acceptance
rate are adapted in an energy-dependent fashion, the random walker efficiently
adapts its sampling according to the local phase space structure. The
Wang-Landau modification factor is also made energy-dependent in accordance
with the step size, enhancing the accumulation of the density of states.
Numerical simulations show that our proposed method performs much better than
the traditional Wang-Landau sampling.


title: Nonlinear Acoustics -- Perturbation Theory and Webster's Equation

abstract:
  Webster's horn equation (1919) offers a one-dimensional approximation for
low-frequency sound waves along a rigid tube with a variable cross-sectional
area. It can be thought as a wave equation with a source term that takes into
account the nonlinear geometry of the tube. In this document we derive this
equation using a simplified fluid model of an ideal gas. By a simple change of
variables, we convert it to a Schr\"odinger equation and use the well-known
variational and perturbative methods to seek perturbative solutions. As an
example, we apply these methods to the Gabriel's Horn geometry, deriving the
first order corrections to the linear frequency. An algorithm to the harmonic
modes in any order for a general horn geometry is derived.


title:
Hypermodular Distributed Solar Power Satellites -- Exploring a
  Technology Option for Near-Term LEO Demonstration and GLPO Full-Scale Plants

abstract:
  This paper presents a new and innovative design for scaleable space solar
power systems based on satellite self-assembly and microwave spatial power
combination. Lower system cost of utility-scale space solar power is achieved
by independence of yet-to-be-built in-space assembly and transportation
infrastructure. Using current and expected near-term technology, this study
explores a design for near-term space solar power low-Earth orbit demonstrators
and for mid-term utility-scale power plants in geosynchronous Laplace plane
orbits. High-level economic considerations in the context of current and
expected future launch costs are given as well.


title:
Prediction of superconductivity of $3d$ transition-metal based
  antiperovskites via magnetic phase diagram

abstract:
  We theoretically studied the electronic structure, magnetic properties, and
lattice dynamics of a series of $3d$ transition-metal antiperovskite compounds
AXM$_{3}$ by density function theory. Based on the Stoner criterion, we drew
the magnetic phase diagram of carbon-based antiperovskites ACM$_{3}$. In the
phase diagram, compounds with non-magnetic ground state but locating near the
ferromagnetic boundary are suggested to yield sizeable electron-phonon coupling
and behave superconductivity. To approve this deduction, we systematically
calculated the phonon spectra and electron-phonon coupling of a series of
Cr-based antiperovskites ACCr$_{3}$ and ANCr$_{3}$. The results show that
AlCCr$_{3}$, GaCCr$_{3}$, and ZnNCr$_{3}$ could be moderate coupling BCS
superconductors. The influence of spin fluctuation on superconductivity are
discussed. Furthermore, other potential superconducting AXM$_{3}$ including
some new Co-base and Fe-based antiperovskite superconductors are predicted from
the magnetic phase diagram.


title:
Non-conformal repellers and the continuity of pressure for matrix
  cocycles

abstract:
  The pressure function $P(A, s)$ plays a fundamental role in the calculation
of the dimension of "typical" self-affine sets, where $A=(A_1,\ldots, A_k)$ is
the family of linear mappings in the corresponding generating iterated function
system. We prove that this function depends continuously on $A$. As a
consequence, we show that the dimension of "typical" self-affine sets is a
continuous function of the defining maps. This resolves a folklore open problem
in the community of fractal geometry. Furthermore we extend the continuity
result to more general sub-additive pressure functions generated by the norm of
matrix products or generalized singular value functions for matrix cocycles,
and obtain applications on the continuity of equilibrium measures and the
Lyapunov spectrum of matrix cocycles.


title:
Hypermodular Self-Assembling Space Solar Power -- Design Option for
  Mid-Term GEO Utility-Scale Power Plants

abstract:
  This paper presents a design for scaleable space solar power systems based on
free-flying reflectors and module self-assembly. Lower system cost of
utility-scale space solar power is achieved by design independence of
yet-to-be-built in-space assembly or transportation infrastructure. Using
current and expected near-term technology, this study describe a design for
mid-term utility-scale power plants in geosynchronous orbits. High-level
economic considerations in the context of current and expected future launch
costs are given as well.
  \c{opyright} 2013 IEEE. Personal use of this material is permitted.
Permission from IEEE must be obtained for all other uses, in any current or
future media, including reprinting/republishing this material for advertising
or promotional purposes, creating new collective works, for resale or
redistribution to servers or lists, or reuse of any copyrighted component of
this work in other works.


title:
Collision Times in Multicolor Urn Models and Sequential Graph Coloring
  With Applications to Discrete Logarithms

abstract:
  Consider an urn model where at each step one of $q$ colors is sampled
according to some probability distribution and a ball of that color is placed
in an urn. The distribution of assigning balls to urns may depend on the color
of the ball. Collisions occur when a ball is placed in an urn which already
contains a ball of different color. Equivalently, this can be viewed as
sequentially coloring a complete $q$-partite graph wherein a collision
corresponds to the appearance of a monochromatic edge. Using a Poisson
embedding technique, the limiting distribution of the first collision time is
determined and the possible limits are explicitly described. Joint distribution
of successive collision times and multi-fold collision times are also derived.
The results can be used to obtain the limiting distributions of running times
in various birthday problem based algorithms for solving the discrete logarithm
problem, generalizing previous results which only consider expected running
times. Asymptotic distributions of the time of appearance of a monochromatic
edge are also obtained for other graphs.


title:
Phase transition between quantum and classical regimes for the escape
  rate of dimeric molecular nanomagnets in a staggered magnetic field

abstract:
  We study the phase transition of the escape rate of exchange-coupled dimer of
single-molecule magnets which are coupled either ferromagnetic ally or
antiferromagnetically in a staggered magnetic field and an easy $z$-axis
anisotropy. The Hamiltonian for this system has been used to study molecular
dimer nanomagnets [Mn$_4$]$_2$. We generalize the method of mapping a
single-molecule magnetic spin problem onto a quantum-mechanical particle to
dimeric molecular nanomagnets. The problem is mapped to a single particle
quantum-mechanical Hamiltonian in terms of the relative coordinate and a
coordinate dependent reduced mass. It is shown that the presence of the
external staggered magnetic field creates a phase boundary separating the
first- from the second-order transition. With the set of parameters used by R.
Tiron, $\textit{et al}$, \prl {\bf 91}, 227203 (2003), and S. Hill, $\textit{et
al}$ science {\bf 302}, 1015 (2003) to fit experimental data for [Mn$_{4}$]$_2$
dimer we find that the critical temperature at the phase boundary is $T^{(c)}_0
=0.29K$. Therefore, thermally activated transitions should occur for
temperatures greater than $T^{(c)}_0$.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: Discrete mKdV and Discrete Sine-Gordon Flows on Discrete Space Curves

abstract:
  In this paper, we consider the discrete deformation of the discrete space
curves with constant torsion described by the discrete mKdV or the discrete
sine-Gordon equations, and show that it is formulated as the torsion-preserving
equidistant deformation on the osculating plane which satisfies the
isoperimetric condition. The curve is reconstructed from the deformation data
by using the Sym-Tafel formula. The isoperimetric equidistant deformation of
the space curves does not preserve the torsion in general. However, it is
possible to construct the torsion-preserving deformation by tuning the
deformation parameters. Further, it is also possible to make an arbitrary
choice of the deformation described by the discrete mKdV equation or by the
discrete sine-Gordon equation at each step. We finally show that the discrete
deformation of discrete space curves yields the discrete K-surfaces.


title:
Matrix elements for type 1 unitary irreducible representations of the
  Lie superalgebra gl(m|n)

abstract:
  Using our recent results on eigenvalues of invariants associated to the Lie
superalgebra gl(m|n), we use characteristic identities to derive explicit
matrix element formulae for all gl(m|n) generators, particularly non-elementary
generators, on finite dimensional type 1 unitary irreducible representations.
We compare our results with existing works that deal with only subsets of the
class of type 1 unitary representations, all of which only present explicit
matrix elements for elementary generators. Our work therefore provides an
important extension to existing methods, and thus highlights the strength of
our techniques which exploit the characteristic identities.


title: Update on Light WIMP Limits: LUX, lite and Light

abstract:
  We reexamine the current direct dark matter data including the recent
CDMSlite and LUX data, assuming that the dark matter consists of light WIMPs,
with mass close to 10 GeV/$c^2$ with spin-independent and isospin-conserving or
isospin-violating interactions. We compare the data with a standard model for
the dark halo of our galaxy and also in a halo-independent manner. In our
standard-halo analysis, we find that for isospin-conserving couplings, CDMSlite
and LUX together exclude the DAMA, CoGeNT, CDMS-II-Si, and CRESST-II possible
WIMP signal regions. For isospin-violating couplings instead, we find that a
substantial portion of the CDMS-II-Si region is compatible with all exclusion
limits. In our halo-independent analysis, we find that for isospin-conserving
couplings, the situation is of strong tension between the positive and negative
results, as it was before the LUX and CDMSlite bounds, which turn out to
exclude the same possible WIMP signals as previous limits. For
isospin-violating couplings, we find that LUX and CDMS-II-Si bounds together
exclude or severely constrain the DAMA, CoGeNT and CRESST-II possible WIMP
signals.


title:
Canonical almost pseudo-K\"{a}hler structures on six-dimensional
  nilpotent Lie groups

abstract:
  It is known that there are 34 classes of isomorphic connected simply
connected six-dimensional nilpotent Lie groups. Of these, only 26 classes
suppose left-invariant symplectic structures \cite{Goze-Khakim-Med}. In
\cite{CFU2} it is shown that 14 classes of symplectic six-dimensional nilpotent
Lie groups suppose compatible complex structures and, therefore, define
pseudo-K\"{a}hler metrics. In this paper we show that on the remaining 12
classes of six-dimensional nilpotent symplectic Lie groups there are
left-invariant almost pseudo-K\"{a}hler metrics, and we study their geometrical
properties.


title: Multiscale Stochastic Volatility Model for Derivatives on Futures

abstract:
  In this paper we present a new method to compute the first-order
approximation of the price of derivatives on futures in the context of
multiscale stochastic volatility of Fouque \textit{et al.} (2011, CUP). It
provides an alternative method to the singular perturbation technique presented
in Hikspoors and Jaimungal (2008). The main features of our method are twofold:
firstly, it does not rely on any additional hypothesis on the regularity of the
payoff function, and secondly, it allows an effective and straightforward
calibration procedure of the model to implied volatilities. These features were
not achieved in previous works. Moreover, the central argument of our method
could be applied to interest rate derivatives and compound derivatives. The
only pre-requisite of our approach is the first-order approximation of the
underlying derivative. Furthermore, the model proposed here is well-suited for
commodities since it incorporates mean reversion of the spot price and
multiscale stochastic volatility. Indeed, the model was validated by
calibrating it to options on crude-oil futures, and it displays a very good fit
of the implied volatility.


title:
LED-Induced Fluorescence System for Tea Classification and Quality
  Assessment

abstract:
  A fluorescence system is developed by using several light emitting diodes
(LEDs) with different wavelengths as excitation light sources. The fluorescence
detection head consists of multi LED light sources and a multimode fiber for
fluorescence collection, where the LEDs and the corresponding filters can be
easily chosen to get appropriate excitation wavelengths for different
applications. By analyzing fluorescence spectra with the principal component
analysis method, the system is utilized in the classification of four types of
green tea beverages and two types of black tea beverages. Qualities of the Xihu
Longjing tea leaves of different grades, as well as the corresponding liquid
tea samples, are studied to further investigate the ability and application of
the system in the evaluation of classification/quality of tea and other foods.


title: Observing the shadow of Einstein-Maxwell-Dilaton-Axion black hole

abstract:
  In this paper, the shadows cast by Einstein-Maxwell-Dilaton-Axion black hole
and naked singularity are studied. The shadow of a rotating black hole is found
to be a dark zone covered by a deformed circle. For a fixed value of the spin
$a$, the size of the shadow decreases with the dilaton parameter $b$. The
distortion of the shadow monotonically increases with $b$ and takes its maximal
when the black hole approaches to the extremal case. Due to the optical
properties, the area of the black hole shadow is supposed to equal to the
high-energy absorption cross section. Based on this assumption, the energy
emission rate is investigated. For a naked singularity, the shadow has a dark
arc and a dark spot or straight, and the corresponding observables are
obtained. These results show that there is a significant effect of the spin $a$
and dilaton parameter $b$ on these shadows. Moreover, we examine the
observables of the shadow cast by the supermassive black hole at the center of
the Milky Way, which is very useful for us to probe the nature of the black
hole through the astronomical observations in the near future.


title: Contour polygonal approximation using shortest path in networks

abstract:
  Contour polygonal approximation is a simplified representation of a contour
by line segments, so that the main characteristics of the contour remain in a
small number of line segments. This paper presents a novel method for polygonal
approximation based on the Complex Networks theory. We convert each point of
the contour into a vertex, so that we model a regular network. Then we
transform this network into a Small-World Complex Network by applying some
transformations over its edges. By analyzing of network properties, especially
the geodesic path, we compute the polygonal approximation. The paper presents
the main characteristics of the method, as well as its functionality. We
evaluate the proposed method using benchmark contours, and compare its results
with other polygonal approximation methods.


title: Chaotic Inflation with Right-handed Sneutrinos after Planck

abstract:
  We propose a chaotic inflation model in which the lightest right-handed
sneutrino serves as the inflaton and the predicted values of the spectral index
and tensor-to-scalar ratio are consistent with the Planck data. Interestingly,
the observed magnitude of primordial density perturbations is naturally
explained by the inflaton mass of order $10^{13}$GeV, which is close to the
right-handed neutrino mass scale suggested by the seesaw mechanism and the
neutrino oscillation experiments. We find that the agreement of the two scales
becomes even better in the neutrino mass anarchy. We show that the inflation
model can be embedded into supergravity and discuss thermal history of the
Universe after inflation such as non-thermal leptogenesis by the right-handed
sneutrino decays and the modulus dynamics.


title:
A Mixed Variational Formulation for the Wellposedness and Numerical
  Approximation of a PDE Model Arising in a 3-D Fluid-Structure Interation

abstract:
  We will present qualitative and numerical results on a partial differential
equation (PDE) system which models a certain fluid-structure dynamics. The
wellposedness of this PDE model is established by means of constructing for it
a nonstandard semigroup generator representation; this representation is
essentially accomplished by an appropriate elimination of the pressure. This
coupled PDE model involves the Stokes system which evolves on a three
dimensional domain $\mathcal{O}$ being coupled to a fourth order plate
equation, possibly with rotational inertia parameter $\rho >0$, which evolves
on a flat portion $\Omega$ of the boundary of $\mathcal{O}$. The coupling on
$\Omega$ is implemented via the Dirichlet trace of the Stokes system fluid
variable - and so the no-slip condition is necessarily not in play - and via
the Dirichlet boundary trace of the pressure, which essentially acts as a
forcing term on this elastic portion of the boundary. We note here that
inasmuch as the Stokes fluid velocity does not vanish on $\Omega$, the pressure
variable cannot be eliminated by the classic Leray projector; instead, the
pressure is identified as the solution of a certain elliptic boundary value
problem. Eventually, wellposedness of this fluid-structure dynamics is attained
through a certain nonstandard variational (``inf-sup") formulation.
Subsequently we show how our constructive proof of wellposedness naturally
gives rise to a certain mixed finite element method for numerically
approximating solutions of this fluid-structure dynamics.


title: Horizon spectroscopy in and beyond general relativity

abstract:
  In this work we generalize the results for the entropy spectra typically
derived for black holes in general relativity to a generic horizon within the
spherically symmetric (asymptotically flat and non-flat) space-times of more
general theories of gravity. We use all the standard --- Bekenstein's universal
lower bound on the entropy transition, the highly damped quasi-normal modes and
reduced phase-space quantization --- approaches to derive the spectra. In
particular, the three approaches show that the Bekenstein-like spectra for the
horizon entropy is a robust result. Our results confirm the suggestion made
relatively recently by an independent fourth argument by Kothawala et al [1].


title:
A generalization of the Davis-Januszkiewicz construction and
  applications to toric manifolds and iterated polyhedral products

abstract:
  The fundamental Davis-Januszkiewicz construction of toric manifolds is
reinterpreted in order to allow for generalization. Applications involve the
simplicial wedge $J$-construction and Ayzenberg's recent identities arising
from composed simplicial complexes.


title: A parallel directional Fast Multipole Method

abstract:
  This paper introduces a parallel directional fast multipole method (FMM) for
solving N-body problems with highly oscillatory kernels, with a focus on the
Helmholtz kernel in three dimensions. This class of oscillatory kernels
requires a more restrictive low-rank criterion than that of the low-frequency
regime, and thus effective parallelizations must adapt to the modified data
dependencies. We propose a simple partition at a fixed level of the octree and
show that, if the partitions are properly balanced between p processes, the
overall runtime is essentially O(N log N/p+ p). By the structure of the
low-rank criterion, we are able to avoid communication at the top of the
octree. We demonstrate the effectiveness of our parallelization on several
challenging models.


title:
Tetrahedron equation and quantum R matrices for $q$-oscillator
  representations of $U_q(A^{(2)}_{2n}), U_q(C^{(1)}_{n})$ and
  $U_q(D^{(2)}_{n+1})$

abstract:
  The intertwiner of the quantized coordinate ring $A_q(sl_3)$ is known to
yield a solution to the tetrahedron equation. By evaluating their $n$-fold
composition with special boundary vectors we generate series of solutions to
the Yang-Baxter equation. Finding their origin in conventional quantum group
theory is a clue to the link between two and three dimensional integrable
systems. We identify them with the quantum $R$ matrices associated with the
$q$-oscillator representations of $U_q(A^{(2)}_{2n})$, $U_q(C^{(1)}_n)$ and
$U_q(D^{(2)}_{n+1})$.


title:
Nature of H-alpha selected galaxies at z>2. I. Main sequence and dusty
  star-forming galaxies

abstract:
  We present the results from our narrow-band imaging surveys of HAEs at z=2.2
and z=2.5 in the Subaru/XMM-Newton Deep survey Field with near-infrared camera
MOIRCS on Subaru Telescope. We have constructed a clean sample of 63
star-forming galaxies at z=2.2 and 46 at z=2.5. For 12 (or ~92%) out of 13
H\alpha emitters (HAEs) at z=2.2, their H\alpha emission lines have been
successfully detected by the spectroscopy. While about 42% of the red, massive
HAEs with M_*>10^{10.8} M_\odot contain AGNs, most of the blue, less massive
ones are likely to be star-forming galaxies. This suggests that the AGN may
play an important role in galaxy evolution at the late stage of truncation. For
the HAEs excluding possible AGNs, we estimate the gas-phase metallicities on
the basis of [N~{\sc ii}]/H\alpha ratios, and find that the metallicities of
the H\alpha selected galaxies at z=2.2 are lower than those of local
star-forming galaxies at fixed stellar mass, as shown by previous studies.
Moreover, we present and discuss the so-called "main sequence" of star-forming
galaxies at z>2 based on our unique sample of HAEs. By correlating the level of
dust extinction with the location on the main sequence, we find that there are
two kinds/modes of dusty star-forming galaxies: star-bursting galaxies and
metal-rich normal star-forming galaxies.


title:
Nature of H-alpha selected galaxies at z>2. II. Clumpy galaxies and
  compact star-forming galaxies

abstract:
  We present the morphological properties of 109 H\alpha-selected galaxies at
z>2 in SXDF-UDS-CANDELS field. With high-resolution optical/near-infrared
images obtained by Hubble Space Telescope, we identify giant clumps within the
H\alpha emitters (HAEs). We find that at least 41% of our sample show clumpy
structures in the underlying disks. The color gradient of clumps is commonly
seen in the sense that the clumps near the galactic center tend to be redder
than those in the outer regions. The mid-infrared detection in galaxies with
red clumps and the spatial distribution of H\alpha emission suggest that dusty
star-formation activity is probably occurring in the nuclear red clumps. A gas
supply to a bulge component through the clump migration is one of the most
potent physical processes to produce such dusty star-forming clumps and form
massive bulges in local early-type galaxies. They would become large quiescent
galaxies at later times just by consumption or blowout of remaining gas. Also,
while most of the HAEs have extended disks, we observe two massive, compact
HAEs, whose stellar surface densities are significantly higher. They are likely
to be the direct progenitors of massive, compact quiescent galaxies at
z=1.5-2.0. Two evolutionary paths to massive quiescent galaxies are devised to
account for both the size growth of quiescent galaxies and their increased
number density from z~2 to z=0.


title: Dynamically generated Networks

abstract:
  Simple algebraic rules can produce complex networks with rich structures.
These graphs are obtained when looking at a monoid operating on a ring. There
are relations to dynamical systems theory and number theory. This document
illustrates this class of networks introduced together with Montasser Ghachem.
Besides showing off pictures, we look at elementary results related to the
Chinese remainder theorem, the Collatz problem, the Artin constant, Fermat
primes and Pierpont primes.


title: On left-orderability and cyclic branched coverings

abstract:
  In a recent paper Y. Hu has given a sufficient condition for the fundamental
group of the r-th cyclic branched covering of S^3 along a prime knot to be
left-orderable in terms of representations of the knot group. Applying her
criterion to a large class of two-bridge knots, we determine a range of the
integer r>1 for which the r-th cyclic branched covering of S^3 along the knot
is left-orderable.


title:
Orbital magnetization of insulating perovskite transition-metal oxides
  with the net ferromagnetic moment in the ground state

abstract:
  Modern theory of the orbital magnetization is applied to the series of
insulating perovskite transition metal oxides (orthorhombic YTiO$_3$,
LaMnO$_3$, and YVO$_3$, as well as monoclinic YVO$_3$), carrying a net
ferromagnetic (FM) moment in the ground state. For these purposes, we use an
effective Hubbard-type model, derived from the first-principles
electronic-structure calculations and describing the behavior of magnetically
active states near the Fermi level. The solution of this model in the
mean-field Hartree-Fock approximation with the relativistic spin-orbit coupling
typically gives us a distribution of the local orbital magnetic moments, which
are related to the site-diagonal part of the density matrix $\hat{\cal D}$ by
the "standard" expression $\boldsymbol{\mu}^0 = - \mu_{\rm B} \mathrm{Tr} \{
\hat{\textbf{L}} \hat{\cal D} \}$ and which are usually well quenched by the
crystal field. In this work, we evaluate "itinerant" corrections $\Delta
\boldsymbol{\cal M}$ to the net FM moment, suggested by the modern theory. We
show that these corrections are small and in most cases can be neglected.
Nevertheless, the most interesting aspect of our analysis is that, even for
these compounds, which are typically regarded as normal Mott insulators, the
"itinerant" corrections reveal a strong $\textbf{k}$-dependence in the
reciprocal space, following the behavior of Chern invariants. Therefore, the
small value of $\Delta \boldsymbol{\cal M}$ is the result of strong cancelation
of relatively large contributions, coming from different parts of the Brillouin
zone. We discuss details as well as possible implications of this cancelation,
which depends on the crystal structure as well as the type of the magnetic
ground state.