title:
Electrodiffusive model for astrocytic and neuronal ion concentration
  dynamics

abstract:
  Electrical neural signalling typically takes place at the time-scale of
milliseconds, and is typically modeled using the cable equation. This is a good
approximation for processes when ionic concentrations vary little during the
time course of a simulation. During periods of intense neural signalling,
however, the local extracellular K+ concentration may increase by several
millimolars. Clearance of excess K+ likely depends partly on diffusion in the
extracellular space, partly on local uptake by- and intracellular transport
within astrocytes. This process takes place at the time scale of seconds, and
can not be modeled accurately without accounting for the spatiotemporal
variations in ion concentrations. The work presented here consists of two main
parts: First, we developed a general electrodiffusive formalism for modeling
ion concentration dynamics in a one-dimensional geometry, including both an
intra- and extracellular domain. The formalism was based on the Nernst-Planck
equations. It ensures (i) consistency between the membrane potential and ion
concentrations, (ii) global particle/charge conservation, and (iii) accounts
for diffusion and concentration dependent variations in resistivities. Second,
we applied the formalism to model how astrocytes exchange ions with the ECS,
and identified the key astrocytic mechanisms involved in K+ removal from high
concentration regions. We found that a local increase in extracellular
K\textsuperscript{+} evoked a local depolarization of the astrocyte membrane,
which at the same time (i) increased the local astrocytic uptake of
K\textsuperscript{+}, (ii) suppressed extracellular transport of K+, (iii)
increased transport of K+ within astrocytes, and (iv) facilitated astrocytic
relase of K+ in extracellular low concentration regions. In summary, these
mechanisms seem optimal for shielding the extracellular space from excess K+.


title:
Contrasting behaviour from two Be/X-ray binary pulsars: insights into
  differing neutron star accretion modes

abstract:
  In this paper we present the identification of two periodic X-ray signals
coming from the direction of the Small Magellanic Cloud (SMC). On detection
with the Rossi X-ray Timing Explorer (RXTE), the 175.4s and 85.4s pulsations
were considered to originate from new Be/X-ray binary (BeXRB) pulsars with
unknown locations. Using rapid follow-up INTEGRAL and XMM-Newton observations,
we show the first pulsar (designated SXP175) to be coincident with a candidate
high-mass X-ray binary (HMXB) in the northern bar region of the SMC undergoing
a small Type II outburst. The orbital period (87d) and spectral class
(B0-B0.5IIIe) of this system are determined and presented here for the first
time. The second pulsar is shown not to be new at all, but is consistent with
being SXP91.1 - a pulsar discovered at the very beginning of the 13 year long
RXTE key monitoring programme of the SMC. Whilst it is theoretically possible
for accreting neutron stars to change spin period so dramatically over such a
short time, the X-ray and optical data available for this source suggest this
spin-up is continuous during long phases of X-ray quiescence, where accretion
driven spin-up of the neutron star should be minimal.


title: Instabilities at planetary gap edges in 3D self-gravitating disks

abstract:
  Numerical simulations are presented to study the stability of gaps opened by
giant planets in 3D self-gravitating disks. In weakly self-gravitating disks, a
few vortices develop at the gap edge and merge on orbital time-scales. The
result is one large but weak vortex with Rossby number -0.01. In moderately
self-gravitating disks, more vortices develop and their merging is resisted on
dynamical time-scales. Self-gravity can sustain multi-vortex configurations,
with Rossby number -0.2 to -0.1, over a time-scale of order 100 orbits.
Self-gravity also enhances the vortex vertical density stratification, even in
disks with initial Toomre parameter of order 10. However, vortex formation is
suppressed in strongly self-gravitating disks and replaced by a global spiral
instability associated with the gap edge which develops during gap formation.


title: Symmetries of Vector Perturbations during the de Sitter Epoch

abstract:
  We analyze the class of models where a suitable coupling between the inflaton
field and the vector field gives rise to scale-invariant vector perturbations.
We exploit the fact that the de Sitter isometry group acts as conformal group
on the three-dimensional Euclidean space for the super-Hubble fluctuations in
order to characterize the correlators involving the inflaton and the vector
fields.


title:
Systematic Study of Event Horizons and Pathologies of Parametrically
  Deformed Kerr Spacetimes

abstract:
  In general relativity, all black holes in vacuum are described by the Kerr
metric, which has only two independent parameters: the mass and the spin. The
unique dependence on these two parameters is known as the no-hair theorem. This
theorem may be tested observationally by using electromagnetic or
gravitational-wave observations to map the spacetime around a candidate black
hole and measure potential deviations from the Kerr metric. Several parametric
frameworks have been constructed for tests of the no-hair theorem. Due to the
uniqueness of the Kerr metric, any such parametric framework must violate at
least one of the assumptions of the no-hair theorem. This can lead to
pathologies in the spacetime, such as closed timelike curves or singularities,
which may hamper using the metric in the strong-field regime. In this paper, I
analyze in detail several parametric frameworks and show explicitly the manner
in which they differ from the Kerr metric. I calculate the coordinate locations
of event horizons in these metrics, if any exist, using methods adapted from
the numerical relativity literature. I identify the regions where each
parametric deviation is unphysical as well as the range of coordinates and
parameters for which each spacetime remains a regular extension of the Kerr
metric and is, therefore, suitable for observational tests of the no-hair
theorem.


title:
Formation and Coalescence of Cosmological Supermassive Black Hole
  Binaries in Supermassive Star Collapse

abstract:
  We study the collapse of rapidly rotating supermassive stars that may have
formed in the early Universe. By self-consistently simulating the dynamics from
the onset of collapse using three-dimensional general-relativistic
hydrodynamics with fully dynamical spacetime evolution, we show that seed
perturbations in the progenitor can lead to the formation of a system of two
high-spin supermassive black holes, which inspiral and merge under the emission
of powerful gravitational radiation that could be observed at redshifts z>10
with the DECIGO or Big Bang Observer gravitational-wave observatories, assuming
supermassive stars in the mass range 10^4-10^6 Msol. The remnant is rapidly
spinning with dimensionless spin a^*=0.9. The surrounding accretion disk
contains ~10% of the initial mass.


title:
Extending Record and Playback Technologies to Support Cooperative
  Learning

abstract:
  We have long-term experience with developing and employing multimedia
materials for on-campus and distance education. We also are assessing the
efficacy of cooperative learning where groups of learners explore, with
guidance from an instructor, the learning environment and construct models of
meaning based on their shared learning experiences. Our core technologies
capture and store classroom events, but are record-and-playback technologies
focused on delivering content to individual learners. We describe an extension
of our technology, Cooperative Learning in MANIC (CLIMANIC), which allows
groups of learners and teachers to collaborate and communicate. We describe our
current assessment of CLIMANIC and future plans for more extensive evaluation.


title: On estimating cosmology-dependent covariance matrices

abstract:
  We describe a statistical model to estimate the covariance matrix of matter
tracer two-point correlation functions with cosmological simulations. Assuming
a fixed number of cosmological simulation runs, we describe how to build a
`statistical emulator' of the two-point function covariance over a specified
range of input cosmological parameters. Because the simulation runs with
different cosmological models help to constrain the form of the covariance, we
predict that the cosmology-dependent covariance may be estimated with a
comparable number of simulations as would be needed to estimate the covariance
for fixed cosmology. Our framework is a necessary first step in planning a
simulations campaign for analyzing the next generation of cosmological surveys.


title: Cyclic permutations realized by signed shifts

abstract:
  The periodic (ordinal) patterns of a map are the permutations realized by the
relative order of the points in its periodic orbits. We give a combinatorial
characterization of the periodic patterns of an arbitrary signed shift, in
terms of the structure of the descent set of a certain cyclic permutation
associated to the pattern. Signed shifts are an important family of
one-dimensional dynamical systems that includes shift maps and the tent map as
particular cases. Defined as a function on the set of infinite words on a
finite alphabet, a signed shift deletes the first letter and, depending on its
value, possibly applies the complementation operation on the remaining word.
For shift maps, reverse shift maps, and the tent map, we give exact formulas
for their number of periodic patterns. As a byproduct of our work, we recover
results of Gessel--Reutenauer and Weiss--Rogers and obtain new enumeration
formulas for pattern-avoiding cycles.


title:
Can all cosmological observations be accurately interpreted with a
  unique geometry?

abstract:
  The recent analysis of the Planck results reveals a tension between the best
fits for ({\Omega}m0, H0) derived from the cosmic microwave background or
baryonic acoustic oscillations on the one hand, and the Hubble diagram on the
other hand. These observations probe the universe on very different scales
since they involve light beams of very different angular sizes; hence the
tension between them may indicate that they should not be interpreted the same
way. More precisely, this Letter questions the accuracy of using only the
(perturbed) Friedmann-Lema\^itre geometry to interpret all the cosmological
observations, regardless of their angular or spatial resolution. We show that
using an inhomogeneous "Swiss-cheese" model to interpret the Hubble diagram
allows to reconcile it with the Planck results. Such an approach does not
require us to invoke new physics nor to violate the Copernican principle.


title: Stable sound wave generation in weakly ionized air medium

abstract:
  We consider the generation of sound waves in the air medium between
electrodes at the voltages near electrical breakdown in the presence of the
time dependent constituent of the electric field. Within the standard
multicomponent hydrodynamic model of the weakly ionized gas it is shown that
the generation of sound is possible due to instantaneous character of the
ionization equilibrium. The influence of the electronegative ions on the sound
intensity is also discussed.


title: Co-Scheduling Algorithms for High-Throughput Workload Execution

abstract:
  This paper investigates co-scheduling algorithms for processing a set of
parallel applications. Instead of executing each application one by one, using
a maximum degree of parallelism for each of them, we aim at scheduling several
applications concurrently. We partition the original application set into a
series of packs, which are executed one by one. A pack comprises several
applications, each of them with an assigned number of processors, with the
constraint that the total number of processors assigned within a pack does not
exceed the maximum number of available processors. The objective is to
determine a partition into packs, and an assignment of processors to
applications, that minimize the sum of the execution times of the packs. We
thoroughly study the complexity of this optimization problem, and propose
several heuristics that exhibit very good performance on a variety of
workloads, whose application execution times model profiles of parallel
scientific codes. We show that co-scheduling leads to to faster workload
completion time and to faster response times on average (hence increasing
system throughput and saving energy), for significant benefits over traditional
scheduling from both the user and system perspectives.


title: Heavy ions and string theory

abstract:
  We review a selection of recent developments in the application of ideas of
string theory to heavy ion physics. Our topics divide naturally into
equilibrium and non-equilibrium phenomena. On the non-equilibrium side, we
discuss generalizations of Bjorken flow, numerical simulations of black hole
formation in asymptotically anti-de Sitter geometries, equilibration in the
dual field theory, and hard probes. On the equilibrium side, we summarize
improved holographic QCD, extraction of transport coefficients, inclusion of
chemical potentials, and approaches to the phase diagram. We close with some
possible directions for future research.


title: GRS 1915+105 as a Galactic Analog of a Fanaroff-Riley II Quasar

abstract:
  We study the long term time averaged kinetic luminosity, $\bar{Q}$, of the
major flares of the Galactic microquasar GRS 1915+105 and the relationship to
the intrinsic X-ray (bolometric) luminosity, $L_{\mathrm{bol}}$, and scale it
to that of a complete sample of SDSS/FIRST FR II quasars. If the scale
invariance hypothesis for black holes (BHs) holds then we show that the
expected distribution in the $\bar{Q}$ - $L_{\mathrm{bol}}$ scatter plane of
GRS 1915+105 is consistent with FR II quasars for distances D = 10.7 - 11 kpc.
We compare the specific values of kinetic luminosity and $L_{\mathrm{bol}}$
during flares of GRS 1915+105 to that predicted by several 3-D MHD simulations
of BH accretion flows with relativistic ejections. If FR II quasars are a
scaled up version of GRS 1915+105, the data are consistent with numerical
models when they contain an ergospheric disk jet and the BH spin is $a/M= 0.99$
or $a/M=0.998$ (we estimate $a/M>0.984$). In the framework of scale invariance
of BHs, our results may imply that FR II quasars also hold rapidly rotating
BHs.


title:
Adaptive Near-Optimal Rank Tensor Approximation for High-Dimensional
  Operator Equations

abstract:
  We consider a framework for the construction of iterative schemes for
operator equations that combine low-rank approximation in tensor formats and
adaptive approximation in a basis. Under fairly general assumptions, we obtain
a rigorous convergence analysis, where all parameters required for the
execution of the methods depend only on the underlying infinite-dimensional
problem, but not on a concrete discretization. Under certain assumptions on the
rates for the involved low-rank approximations and basis expansions, we can
also give bounds on the computational complexity of the iteration as a function
of the prescribed target error. Our theoretical findings are illustrated and
supported by computational experiments. These demonstrate that problems in very
high dimensions can be treated with controlled solution accuracy.


title: Definable closure in randomizations

abstract:
  The randomization of a complete first order theory T is the complete
continuous theory T^R with two sorts, a sort for random elements of models of
T, and a sort for events in an underlying probability space. We give necessary
and sufficient conditions for an element to be definable over a set of
parameters in a model of T^R.


title: Supermoduli Space Is Not Projected

abstract:
  We prove that for genus greater than or equal to 5, the moduli space of super
Riemann surfaces is not projected (and in particular is not split): it cannot
be holomorphically projected to its underlying reduced manifold. Physically,
this means that certain approaches to superstring perturbation theory that are
very powerful in low orders have no close analog in higher orders.
Mathematically, it means that the moduli space of super Riemann surfaces cannot
be constructed in an elementary way starting with the moduli space of ordinary
Riemann surfaces. It has a life of its own.


title:
Left Bit Right: For SPARQL Join Queries with OPTIONAL Patterns
  (Left-outer-joins)

abstract:
  SPARQL basic graph pattern (BGP) (a.k.a. SQL inner-join) query optimization
is a well researched area. However, optimization of OPTIONAL pattern queries
(a.k.a. SQL left-outer-joins) poses additional challenges, due to the
restrictions on the \textit{reordering} of left-outer-joins. The occurrence of
such queries tends to be as high as 50% of the total queries (e.g., DBPedia
query logs).
  In this paper, we present \textit{Left Bit Right} (LBR), a technique for
\textit{well-designed} nested BGP and OPTIONAL pattern queries. Through LBR, we
propose a novel method to represent such queries using a graph of
\textit{supernodes}, which is used to aggressively prune the RDF triples, with
the help of compressed indexes. We also propose novel optimization strategies
-- first of a kind, to the best of our knowledge -- that combine together the
characteristics of \textit{acyclicity} of queries, \textit{minimality}, and
\textit{nullification}, \textit{best-match} operators. In this paper, we focus
on OPTIONAL patterns without UNIONs or FILTERs, but we also show how UNIONs and
FILTERs can be handled with our technique using a \textit{query rewrite}. Our
evaluation on RDF graphs of up to and over one billion triples, on a commodity
laptop with 8 GB memory, shows that LBR can process \textit{well-designed}
low-selectivity complex queries up to 11 times faster compared to the
state-of-the-art RDF column-stores as Virtuoso and MonetDB, and for highly
selective queries, LBR is at par with them.


title:
Hybrid Monte Carlo/molecular dynamics simulation of a refractory metal
  high entropy alloy

abstract:
  The high entropy alloy containing refractory metals Mo-Nb-Ta-W has a body
centered cubic structure, which is not surprising given the complete mutual
solubility in BCC solid solutions of all pairs of the constituent elements.
However, first principles total energy calculations for the binaries reveal a
set of distinct energy minimizing structures implying the likelihood of
chemically ordered low temperature phases. We apply a hybrid Monte Carlo and
molecular dynamics method to evaluate the temperature-dependent chemical order.
At 300K a cesium-chloride ordering emerges between mixed (Nb,Ta) sites and
mixed (Mo,W) sites. This order is lost at elevated temperatures.


title:
The WIRED Survey. IV. New Dust Disks from the McCook & Sion White Dwarf
  Catalog

abstract:
  We have compiled photometric data from the Wide-field Infrared Survey
Explorer All Sky Survey and other archival sources for the more than 2200
objects in the original McCook & Sion Catalog of Spectroscopically Identified
White Dwarfs. We applied color-selection criteria to identify 28 targets whose
infrared spectral energy distributions depart from the expectation for the
white dwarf photosphere alone. Seven of these are previously known white dwarfs
with circumstellar dust disks, five are known central stars of planetary
nebulae, and six were excluded for being known binaries or having possible
contamination of their infrared photometry. We fit white dwarf models to the
spectral energy distributions of the remaining ten targets, and find seven new
candidates with infrared excess suggesting the presence of a circumstellar dust
disk. We compare the model dust disk properties for these new candidates with a
comprehensive compilation of previously published parameters for known white
dwarfs with dust disks. It is possible that the current census of white dwarfs
with dust disks that produce an excess detectable at K-band and shorter
wavelengths is close to complete for the entire sample of known WDs to the
detection limits of existing near-IR all-sky surveys. The white dwarf dust disk
candidates now being found using longer wavelength infrared data are drawn from
a previously underrepresented region of parameter space, in which the dust
disks are overall cooler, narrower in radial extent, and/or contain fewer
emitting grains.


title:
Theoretical Description of Coherent Doublon Creation via Lattice
  Modulation Spectroscopy

abstract:
  Using a recently developed strong-coupling method, we present a comprehensive
theory for doublon production processes in modulation spectroscopy of a
three-dimensional system of ultracold fermionic atoms in an optical lattice
with a trap. The theoretical predictions compare well to the experimental time
traces of doublon production. For experimentally feasible conditions, we
provide a quantitative prediction for the presence of a nonlinear "two-photon"
excitation at strong modulation amplitudes.


title: Status of the ADMX and ADMX-HF experiments

abstract:
  The Axion Dark Matter eXperiment (ADMX) is in the midst of an upgrade to
reduce its system noise temperature. ADMX-HF (High Frequency) is a second
platform specifically designed for higher mass axions and will serve as an
innovation test-bed. Both will be commissioning in 2013 and taking data shortly
thereafter. The principle of the experiment, current experimental limits and
the status of the ADMX/ADMX-HF program will be described. R&D on hybrid
superconducting cavities will be discussed as one example of an innovation to
greatly enhance sensitivity.


title: Producibility in hierarchical self-assembly

abstract:
  Three results are shown on producibility in the hierarchical model of tile
self-assembly. It is shown that a simple greedy polynomial-time strategy
decides whether an assembly A is producible. The algorithm can be optimized to
use O(|A| log^2 |A|) time. Cannon, Demaine, Demaine, Eisenstat, Patitz,
Schweller, Summers, and Winslow showed that the problem of deciding if an
assembly A is the unique producible terminal assembly of a tile system T can be
solved in O(|A|^2 |T| + |A| |T|^2) time for the special case of noncooperative
"temperature 1" systems. It is shown that this can be improved to O(|A| |T| log
|T|) time. Finally, it is shown that if two assemblies are producible, and if
they can be overlapped consistently -- i.e., if the positions that they share
have the same tile type in each assembly -- then their union is also
producible.


title:
Mathematical Model of an Inductive Measuring Cell for Contactless
  Conductometry

abstract:
  A research of inductive conductometric cell is presented. An equivalent
circuit and a mathematical model of inductive cell are given in the article.
The model takes into account sample-coil capacity (i.e. capacity formed by the
coil and the sample under study) and eddy currents. It is sample-coil capacity
that makes inductive cell applicable for measurement of electrical conductivity
of low conductive samples (specific conductance is less than 1S/m). The model
can be used to calculate impedance of inductive cell for different
characteristics of sample, materials and dimensions of cell without numerical
solving of partial differential equations. Results of numerical simulation were
verified by experiment for several devices with inductive cell. Some features
that an engineer has to hold in mind while designing a conductometer based on
inductive cell are discussed. Presented model can be useful for those who study
inductively coupled plasma.


title: On the wave energy potential of Western Black Sea shelf

abstract:
  In the present study we evaluate the approaches to estimate the wave energy
potential of the western Black Sea shelf with numerical models. For the purpose
of our evaluation and due to the lack of long time series of measurements in
the selected area of the Black Sea, we compare the modeled mean wave power flux
output from the SWAN wave model with the only available long term measurements
from the buoy of Gelendzhik for the period 1997-2003 (with gaps). The forcing
meteorological data for the numerical wave models for the selected years is
extracted from the ERA Interim reanalysis of ECMWF (European Centre for Medium
range Forecasts). For the year 2003 we also compare the estimated wave power
with the modeled by SWAN, using ALADIN regional atmospheric model winds. We try
to identify the shortcomings and limitations of the numerical modeling approach
to the evaluation of the wave energy potential in Black Sea.


title:
Efficient Monte Carlo methods for simulating diffusion-reaction
  processes in complex systems

abstract:
  We briefly review the principles, mathematical bases, numerical shortcuts and
applications of fast random walk (FRW) algorithms. This Monte Carlo technique
allows one to simulate individual trajectories of diffusing particles in order
to study various probabilistic characteristics (harmonic measure, first
passage/exit time distribution, reaction rates, search times and strategies,
etc.) and to solve the related partial differential equations. The adaptive
character and flexibility of FRWs make them particularly efficient for
simulating diffusive processes in porous, multiscale, heterogeneous, disordered
or irregularly-shaped media.


title: Initializing adaptive importance sampling with Markov chains

abstract:
  Adaptive importance sampling is a powerful tool to sample from complicated
target densities, but its success depends sensitively on the initial proposal
density. An algorithm is presented to automatically perform the initialization
using Markov chains and hierarchical clustering. The performance is checked on
challenging multimodal examples in up to 20 dimensions and compared to results
from nested sampling. Our approach yields a proposal that leads to rapid
convergence and accurate estimation of overall normalization and marginal
distributions.


title: Dyck Words and Multi-Quark Primitive Amplitudes

abstract:
  I study group theory (Kleiss-Kuijf) relations between purely multi-quark
primitive amplitudes at tree level, and prove that they reduce the number of
independent primitives to (n-2)!/(n/2)!, where n is the number of quarks plus
antiquarks, in the case where quark lines have different flavours. I give an
explicit example of an independent basis of primitives for any n which is of
the form A(1,2,sigma), where sigma is a permutation based on a Dyck word.


title: Discontinuities without discontinuity: The Weakly-enforced Slip Method

abstract:
  Tectonic faults are commonly modelled as Volterra or Somigliana dislocations
in an elastic medium. Various solution methods exist for this problem. However,
the methods used in practice are often limiting, motivated by reasons of
computational efficiency rather than geophysical accuracy. A typical
geophysical application involves inverse problems for which many different
fault configurations need to be examined, each adding to the computational
load. In practice, this precludes conventional finite-element methods, which
suffer a large computational overhead on account of geometric changes. This
paper presents a new non-conforming finite-element method based on weak
imposition of the displacement discontinuity. The weak imposition of the
discontinuity enables the application of approximation spaces that are
independent of the dislocation geometry, thus enabling optimal reuse of
computational components. Such reuse of computational components renders
finite-element modeling a viable option for inverse problems in geophysical
applications. A detailed analysis of the approximation properties of the new
formulation is provided. The analysis is supported by numerical experiments in
2D and 3D.


title:
STARLIB: A Next-Generation Reaction-Rate Library for Nuclear
  Astrophysics

abstract:
  STARLIB is a next-generation, all-purpose nuclear reaction-rate library. For
the first time, this library provides the rate probability density at all
temperature grid points for convenient implementation in models of stellar
phenomena. The recommended rate and its associated uncertainties are also
included. Currently, uncertainties are absent from all other rate libraries,
and, although estimates have been attempted in previous evaluations and
compilations, these are generally not based on rigorous statistical
definitions. A common standard for deriving uncertainties is clearly warranted.
STARLIB represents a first step in addressing this deficiency by providing a
tabular, up-to-date database that supplies not only the rate and its
uncertainty but also its distribution. Because a majority of rates are
lognormally distributed, this allows the construction of rate probability
densities from the columns of STARLIB. This structure is based on a recently
suggested Monte Carlo method to calculate reaction rates, where uncertainties
are rigorously defined. In STARLIB, experimental rates are supplemented with:
(i) theoretical TALYS rates for reactions for which no experimental input is
available, and (ii) laboratory and theoretical weak rates. STARLIB includes all
types of reactions of astrophysical interest to Z = 83, such as (p,g), (p,a),
(a,n), and corresponding reverse rates. Strong rates account for thermal target
excitations. Here, we summarize our Monte Carlo formalism, introduce the
library, compare methods of correcting rates for stellar environments, and
discuss how to implement our library in Monte Carlo nucleosynthesis studies. We
also present a method for accessing STARLIB on the Internet and outline updated
Monte Carlo-based rates.


title: Coupled-channel scattering in 1+1 dimensional lattice model

abstract:
  Based on the Lippmann-Schwinger equation approach, a generalized L\"uscher's
formula in 1+1 dimensions for two particles scattering in both the elastic and
coupled-channel cases in moving frames is derived. A 2D coupled-channel
scattering lattice model is presented, the model represents a
two-coupled-channel resonant scattering scalars system. The Monte Carlo
simulation is performed on finite lattices and in various moving frames.
  The 2D generalized L\"uscher's formula is used to extract the scattering
amplitudes for the coupled-channel system from the discrete finite-volume
spectrum.


title:
The Standard model as a low-energy effective theory: what is triggering
  the Higgs mechanism?

abstract:
  The discovery of the Higgs by ATLAS and CMS at the LHC not only provided the
last missing building block of the electroweak Standard Model, the mass of the
Higgs has been found to have a very peculiar value about 126 GeV, which is such
that vacuum stability is extending up to the Planck scale. This may have much
deeper drawback than anticipated so far. The impact on the running of the SM
gauge, Yukawa and Higgs couplings up to the Planck scale has been discussed in
several articles recently. Here we consider the impact on the running masses
and we discuss the role of quadratic divergences within the Standard Model. The
change of sign of the coefficient of the quadratically divergent terms showing
up at about mu_0 ~ 1.4 x 10^16 GeV may be understood as a first order phase
transition restoring the symmetric phase, while its large negative values at
lower scales triggers the Higgs mechanism, running parameters evolve in such a
way that the symmetry is restored two orders of magnitude before the Planck
scale. Thus, the electroweak phase transition takes place at the scale mu_0 and
not at the electroweak scale v ~ 250 GeV. The SM Higgs system and its phase
transition could play a key role for the inflation of the early universe. Also
baryogenesis has to be reconsidered under the aspect that perturbative
arguments surprisingly work up to the Planck scale.


title:
Spontaneous staggered polarizations of the cyclic solid-on-solid model
  from algebraic Bethe Ansatz

abstract:
  We compute the spontaneous staggered polarization of the cyclic SOS model at
the thermodynamic limit. We use the determinant representation for finite-size
form factors obtained from algebraic Bethe Ansatz.

categories: math-ph cond-mat.stat-mech math.MP nlin.SI


title:
Engineering Correlation Effects via Artificially Designed Oxide
  Superlattices

abstract:
  Ab initio calculations are used to predict that a superlattice composed of
layers of LaTiO3 and LaNiO3 alternating along the [001] direction is a S=1 Mott
insulator with large magnetic moments on the Ni sites, negligible moments on
the Ti sites and a charge transfer gap set by the energy difference between Ni
d and Ti d states, distinct from conventional Mott insulators. Correlation
effects are enhanced on the Ni sites via filling the oxygen p states and
reducing the Ni-O-Ni bond angle. Small hole (electron) doping of the
superlattice leads to a two-dimensional single-band situation with holes
(electrons) residing on Ni dx2-y2 (Ti dxy) orbital and coupled to
antiferromagnetically correlated spins in the NiO2 layer.


title:
Heavy-light diquark masses from QCD sum rules and constituent diquark
  models of tetraquarks

abstract:
  Diquarks with $J^{P}=0^{\pm}$, $1^{\pm}$ containing a heavy (charm or bottom)
quark and a light quark are investigated using QCD Laplace sum rules. Masses
are determined using appropriately constructed gauge invariant correlation
functions, including for the first time next-to-leading order perturbative
contributions. The $J^P=0^+$ and $1^+$ charm-light diquark masses are
respectively found to be 1.86$\pm$0.05 GeV and 1.87$\pm$0.10 GeV, while those
of the $0^+$ and $1^+$ bottom-light diquarks are both determined to be
5.08$\pm$0.04 GeV. The sum rules derived for heavy-light diquarks with negative
parity are poorly behaved and do not permit unambiguous mass predictions, in
agreement with previous results for negative parity light diquarks. The scalar
and axial vector heavy-light diquark masses are degenerate within uncertainty,
as expected by heavy quark symmetry considerations. Furthermore, these mass
predictions are in good agreement with masses extracted in constituent diquark
models of the tetraquark candidates X(3872) and $Y_b(10890)$. Thus these
results provide QCD support for the interpretation of the X(3872) and
$Y_b(10890)$ as $J^{PC}=1^{++}$ tetraquark states composed of diquark clusters.
Further implications for tetraquarks among the heavy quarkonium-like XYZ states
are discussed.


title:
A simple hierarchical Bayesian model for simultaneous inference of
  tournament graphs and informant error

abstract:
  The paper presents a hierarchical Bayesian model for simultaneous inference
of tournament graphs and informant error. From multiple informant reports or
measurement instrument outputs, the model estimates the structure of a
criterion (i.e., true) tournament graph with possibly tied outcomes. Tournament
graphs with possibly tied outcomes are graphs in which there are three possible
states for each unordered pair of graph nodes: node i wins and node j loses;
node j wins and node i loses; neither node wins (i.e., tied outcome). The model
also estimates the rates at which individual informants (or instruments)
mistake the winning and losing dyad members, falsely report a tied outcome, and
falsely report a decisive outcome. The model was developed to infer social
dominance structure from multiple informants' reports, but is potentially
useful for inferring any structure that can be characterized by a tournament
graph, and which is measured from multiple reports.


title: Residual Energy Spectrum of Solar Wind Turbulence

abstract:
  It has long been known that the energy in velocity and magnetic field
fluctuations in the solar wind is not in equipartition. In this paper, we
present an analysis of 5 years of Wind data at 1 AU to investigate the reason
for this. The residual energy (difference between energy in velocity and
magnetic field fluctuations) was calculated using both the standard
magnetohydrodynamic (MHD) normalization for the magnetic field and a kinetic
version, which includes temperature anisotropies and drifts between particle
species. It was found that with the kinetic normalization, the fluctuations are
closer to equipartition, with a mean normalized residual energy of sigma_r =
-0.19 and mean Alfven ratio of r_A = 0.71. The spectrum of residual energy, in
the kinetic normalization, was found to be steeper than both the velocity and
magnetic field spectra, consistent with some recent MHD turbulence predictions
and numerical simulations, having a spectral index close to -1.9. The local
properties of residual energy and cross helicity were also investigated,
showing that globally balanced intervals with small residual energy contain
local patches of larger imbalance and larger residual energy at all scales, as
expected for non-linear turbulent interactions.


title:
Vocalnayno: Designing a Game-Based Intervention to Support Reading
  Development in Primary Schools

abstract:
  Encouraging children to read frequently and helping them to develop their
reading skills as effectively as possible can be a challenge for some primary
schools. This research questions whether the use of a game-based intervention
can integrate into the existing teaching culture to aid volunteer teaching
assistants in achieving a more significant impact on pupil reading development.
A prototype based on the initial process of requirements gathering is presented
using Multimedia Fusion Developer 2. The design incorporates a game-like
exercise where a foam volcano character releases bubbles containing letters and
words. Pupils must read these aloud in order to burst them open, which is
recorded as a metric of reading ability.


title: Challenges on Probabilistic Modeling for Evolving Networks

abstract:
  With the emerging of new networks, such as wireless sensor networks, vehicle
networks, P2P networks, cloud computing, mobile Internet, or social networks,
the network dynamics and complexity expands from system design, hardware,
software, protocols, structures, integration, evolution, application, even to
business goals. Thus the dynamics and uncertainty are unavoidable
characteristics, which come from the regular network evolution and unexpected
hardware defects, unavoidable software errors, incomplete management
information and dependency relationship between the entities among the emerging
complex networks. Due to the complexity of emerging networks, it is not always
possible to build precise models in modeling and optimization (local and
global) for networks. This paper presents a survey on probabilistic modeling
for evolving networks and identifies the new challenges which emerge on the
probabilistic models and optimization strategies in the potential application
areas of network performance, network management and network security for
evolving networks.


title:
Sensitivity of the Static Earthquake Triggering Mechanism to Elastic
  Heterogeneity and Main Event Slip

abstract:
  This paper has evolved out of our previous work on static stress transfer,
where we used the full-space elastostatic Green's tensor to compute the Coulomb
stress transfer impact of the Landers earthquake on the Hector Mine event. In
this work, we use the elastostatic Green's tensor for an arbitrary layered
Earth model with free-surface boundary conditions to study the impact of
elastic heterogeneity as well as source-fault slip and geometry on the stress
transfer mechanism. Slip distribution and fault geometry of the source have a
significant impact on the stress transfer, especially in case of spatially
extended triggered events. Maximization of the Coulomb stress transfer function
for known aftershocks provides a mechanism for inverting for the source event
slip. Heterogeneity of the elastic earth parameters is shown to have a
sizeable, but lower-magnitude, impact on the static stress transfer in 3D. The
analysis is applied to Landers/Hector Mine and 100 small "aftershocks" of the
Landers event. A computational toolkit is provided for the study of static
stress transfer for arbitrary source and receiver faults in layered Earth.


title:
Spinmotive force with static and uniform magnetization induced by a
  time-varying electric field

abstract:
  A new spinmotive force is predicted in ferromagnets with spin-orbit coupling.
By extending the theory of spinmotive force, we show that a time-varying
electric field can induce a spinmotive force with static and uniform
magnetization. This spinmotive has two advantages; it can be detected free from
the inductive voltage owing to the absence of dynamical magnetization and it
can be tuned by electric fields. To observe the effect, we propose two
experimental setups: electric voltage measurement in a single ferromagnet and
spin injection from a ferromagnet into an attached nonmagnetic conductor.


title: Meaning of Interior Tomography

abstract:
  The classic imaging geometry for computed tomography is for collection of
un-truncated projections and reconstruction of a global image, with the Fourier
transform as the theoretical foundation that is intrinsically non-local.
Recently, interior tomography research has led to theoretically exact
relationships between localities in the projection and image spaces and
practically promising reconstruction algorithms. Initially, interior tomography
was developed for x-ray computed tomography. Then, it has been elevated as a
general imaging principle. Finally, a novel framework known as omni-tomography
is being developed for grand fusion of multiple imaging modalities, allowing
tomographic synchrony of diversified features.


title:
Geometrical Structures of the Endomorphism Semiring of a Finite Chain:
  Simplices, Strings and Triangles

abstract:
  We establish new results concerning endomorphisms of a finite chain if the
cardinality of the image of such endomorphism is no more than some fixed number
k. The semiring of all such endomorphisms can be seen as a k - simplex whose
vertices are the constant endomorphisms. We explore the properties of these k -
simplices and find some results for arbitrary k. For k = 1 and 2 we give a full
description of simplices called strings and triangles, respectively.


title:
Gauge vector field localization on 3-brane placed in a warped transverse
  resolved conifold

abstract:
  We have investigated the features of the gauge vector field in a braneworld
scenario built as a warped product between a 3-brane and a 2-cycle of the
resolved conifold. This scenario allowed us to study how the gauge field
behaves when the transverse manifold evolves upon a geometric flow that
controls the singularity at the origin. Besides, since the transverse manifold
has a cylindrical symmetry according to the 3-brane, this geometry can be
regarded as a near brane correction of the string-like branes. Indeed, by means
of a new warp function and the angular metric component of the resolved
conifold, the braneworld can exhibit a conical form near the origin as well as
a regular behavior in that region. The analysis of the gauge field in this
background has been carried out for the s-wave state and a normalizable
massless mode was found. For the massive modes, the resolution parameter avoids
an infinite well on the brane and controls the depth of the well and the high
of the barrier around the brane. The massive modes are slightly changed near
the brane but they agreed with the string-like spectrum for large distances.


title: A peculiar faint satellite in the remote outer halo of M31

abstract:
  We present Hubble Space Telescope imaging of a newly-discovered faint stellar
system, PAndAS-48, in the outskirts of the M31 halo. Our photometry reveals
this object to be comprised of an ancient and very metal-poor stellar
population with age > 10 Gyr and [Fe/H] < -2.3. Our inferred distance modulus
of 24.57 +/- 0.11 confirms that PAndAS-48 is most likely a remote M31 satellite
with a 3D galactocentric radius of 149 (+19 -8) kpc. We observe an apparent
spread in color on the upper red giant branch that is larger than the
photometric uncertainties should allow, and briefly explore the implications of
this. Structurally, PAndAS-48 is diffuse, faint, and moderately flattened, with
a half-light radius rh = 26 (+4 -3) pc, integrated luminosity Mv = -4.8 +/-
0.5, and ellipticity = 0.30 (+0.08 -0.15). On the size-luminosity plane it
falls between the extended globular clusters seen in several nearby galaxies,
and the recently-discovered faint dwarf satellites of the Milky Way; however,
its characteristics do not allow us to unambiguously class it as either type of
system. If PAndAS-48 is a globular cluster then it is the among the most
elliptical, isolated, and metal-poor of any seen in the Local Group, extended
or otherwise. Conversely, while its properties are generally consistent with
those observed for the faint Milky Way dwarfs, it would be a factor ~2-3
smaller in spatial extent than any known counterpart of comparable luminosity.


title:
On analytic solutions of the driven, 2-photon and two-mode quantum Rabi
  models

abstract:
  By applying the Bogoliubov transformations and through the introduction of
the Bargmann-Hilbert spaces, we obtain analytic representations of solutions to
the driven Rabi model without ${\cal Z}_2$ symmetry, and the 2-photon and
two-mode quantum Rabi models. In each case, transcendental function is
analytically derived whose zeros give the energy spectrum of the model. The
zeros can be numerically found by standard root-search techniques.


title: A new exotic state in an old material: A tale of Samarium Hexaboride

abstract:
  We review current theoretical and experimental efforts to identify a novel
class of intermetallic 4f and 5f orbital materials in which strong interactions
between itinerant and predominately localized degrees of freedom gives rise to
a bulk insulating state at low temperatures, while the surface remains
metallic. This effect arises due to inversion of even parity conduction bands
and odd parity very narrow f-electron bands. The number of band inversions is
mainly determined by the crystal symmetry of a material and the corresponding
degeneracy of the hybridized f-electron bands. For odd number of band
inversions the metallic surface states are chiral and therefore remain robust
against disorder and time-reversal invariant perturbations. We discuss a number
of unresolved theoretical issues specific to topological Kondo insulators and
outline experimental challenges in probing the chiral surface states in these
materials.


title:
Regularization Methods for High-Dimensional Instrumental Variables
  Regression With an Application to Genetical Genomics

abstract:
  In genetical genomics studies, it is important to jointly analyze gene
expression data and genetic variants in exploring their associations with
complex traits, where the dimensionality of gene expressions and genetic
variants can both be much larger than the sample size. Motivated by such modern
applications, we consider the problem of variable selection and estimation in
high-dimensional sparse instrumental variables models. To overcome the
difficulty of high dimensionality and unknown optimal instruments, we propose a
two-stage regularization framework for identifying and estimating important
covariate effects while selecting and estimating optimal instruments. The
methodology extends the classical two-stage least squares estimator to high
dimensions by exploiting sparsity using sparsity-inducing penalty functions in
both stages. The resulting procedure is efficiently implemented by coordinate
descent optimization. For the representative $L_1$ regularization and a class
of concave regularization methods, we establish estimation, prediction, and
model selection properties of the two-stage regularized estimators in the
high-dimensional setting where the dimensionality of covariates and instruments
are both allowed to grow exponentially with the sample size. The practical
performance of the proposed method is evaluated by simulation studies and its
usefulness is illustrated by an analysis of mouse obesity data. Supplementary
materials for this article are available online.


title:
Stoichiometry control of the electronic properties of the
  LaAlO_3/SrTiO_3 heterointerface

abstract:
  We investigate the effect of the laser parameters of pulsed laser deposition
on the film stoichiometry and electronic properties of LaAlO_3/SrTiO_3 (001)
heterostructures. The La/Al ratio in the LaAlO_3 films was varied over a wide
range from 0.88 to 1.15, and was found to have a strong effect on the interface
conductivity. In particular, the carrier density is modulated over more than
two orders of magnitude. The film lattice expansion, caused by cation
vacancies, is found to be the important functional parameter. These results can
be understood to arise from the variations in the electrostatic boundary
conditions, and their resolution, with stoichiometry.


title: A Systematic Study on Matrix Models for Chern-Simons-matter Theories

abstract:
  We investigate the planar solution of matrix models derived from various
Chern-Simons-matter theories compatible with the planar limit. The saddle-point
equations for most of such theories can be solved in a systematic way. A
relation to Fuchsian systems play an important role in obtaining the planar
resolvents. For those theories, the eigenvalue distribution is found to be
confined in a bounded region even when the 't Hooft couplings become large. As
a result, the vevs of Wilson loops are bounded in the large 't Hooft coupling
limit. This implies that many of Chern-Simons-matter theories have quite
different properties from ABJM theory. If the gauge group is of the form ${\rm
U}(N_1)_{k_1}\times{\rm U}(N_2)_{k_2}$, then the resolvents can be obtained in
a more explicit form than in the general cases.


title: Composite Higgs and Techni-Dilaton at LHC

abstract:
  In this talk I argue that a light techni-dilaton exists in models of walking
technicolor near the conformal window. The light techni-dilaton then mixes with
the composite Higgs, which is predicted to be narrow and light in walking
technicolor models. It is an interesting possibility that the newly discovered
boson at LHC might be a mixed state of techni-dilaton and the composite Higgs.


title: Optimal Time-Convex Hull under the Lp Metrics

abstract:
  We consider the problem of computing the time-convex hull of a point set
under the general $L_p$ metric in the presence of a straight-line highway in
the plane. The traveling speed along the highway is assumed to be faster than
that off the highway, and the shortest time-path between a distant pair may
involve traveling along the highway. The time-convex hull ${TCH}(P)$ of a point
set $P$ is the smallest set containing both $P$ and \emph{all} shortest
time-paths between any two points in ${TCH}(P)$. In this paper we give an
algorithm that computes the time-convex hull under the $L_p$ metric in optimal
$O(n\log n)$ time for a given set of $n$ points and a real number $p$ with
$1\le p \le \infty$.


title: Noise-assisted quantum electron transfer in photosynthetic complexes

abstract:
  Electron transfer (ET) between primary electron donors and acceptors is
modeled in the photosystem II reaction center (RC). Our model includes (i) two
discrete energy levels associated with donor and acceptor, interacting through
a dipole-type matrix element and (ii) two continuum manifolds of electron
energy levels ("sinks"), which interact directly with the donor and acceptor.
Namely, two discrete energy levels of the donor and acceptor are embedded in
their independent sinks through the corresponding interaction matrix elements.
We also introduce classical (external) noise which acts simultaneously on the
donor and acceptor (collective interaction). We derive a closed system of
integro-differential equations which describes the non-Markovian quantum
dynamics of the ET. A region of parameters is found in which the ET dynamics
can be simplified, and described by coupled ordinary differential equations.
Using these simplified equations, both sharp and flat redox potentials are
analyzed. We analytically and numerically obtain the characteristic parameters
that optimize the ET rates and efficiency in this system.


title: Darkening the Little Higgs

abstract:
  We present a novel new method for incorporating dark matter into little Higgs
models in a way that can be applied to many existing models without introducing
T-parity, while simultaneously alleviating precision constraints arising from
heavy gauge bosons. The low energy scalar potential of these dark little Higgs
models is similar to, and can draw upon existing phenomenological studies of,
inert doublet models. Furthermore, we apply this method to modify the littlest
Higgs model to create the next to littlest Higgs model, and describe details of
the dark matter candidate and its contribution to the relic density.


title: A local true Hamiltonian for the CGHS model in new variables

abstract:
  Following our previous work, a complete classical solution of the CGHS model
in Hamiltonian formulation in new variables is given. We preform a series of
analyses and transformations to get to the CGHS Hamiltonian in new variables
from a generic class of two dimensional dilatonic gravitational systems coupled
to matter. This gives us a second class system, a total Hamiltonian consisting
of a Hamiltonian constraint, a diffeomorphism constraint and two second class
constraints. We calculate the Dirac brackets, bring them to a standard form
similar to the Poisson brackets by introducing a new variable. Then by
rescaling lapse and shift, the Hamiltonian constraint is transformed into a
form where it has an strong Abelian algebra with itself. This property holds
both in vacuum case and in case with matter coupling. Then for each of the
vacuum and the coupled-to-matter cases, we preform two gauge fixings, one set
for each case, and solve the classical system completely in both cases. The
gauge fixing of the case coupled to matter is done by implementing a method
based on canonical transformation to a new set of variables and leads to a true
local Hamiltonian. We also show that our formalism is consistent with the
original CGHS paper by showing that the equations of motion are the same in
both cases. Finally we derive the relevant surface term of the model.


title: Quantum supergroups II. Canonical basis

abstract:
  Following Kashiwara's algebraic approach, we construct crystal bases and
canonical bases for quantum supergroups with no isotropic odd roots and for
their integrable modules.


title:
The Infinitesimalization and Reconstruction of Locally Homogeneous
  Manifolds

abstract:
  A linear connection on a Lie algebroid is called a Cartan connection if it is
suitably compatible with the Lie algebroid structure. Here we show that a
smooth connected manifold $M$ is locally homogeneous - i.e., admits an atlas of
charts modeled on some homogeneous space $G/H$ - if and only if there exists a
transitive Lie algebroid over $M$ admitting a flat Cartan connection that is
'geometrically closed'. It is shown how the torsion and monodromy of the
connection determine the particular form of $G/H$. Under an additional
completeness hypothesis, local homogeneity becomes global homogeneity, up to
cover.


title: Pathways toward understanding Macroscopic Quantum Phenomena

abstract:
  Macroscopic quantum phenomena refer to quantum features in objects of `large'
sizes, systems with many components or degrees of freedom, organized in ways
where they can be identified as macroscopic objects. This emerging field is
ushered in by several categories of definitive experiments in
superconductivity, electromechanical systems, Bose-Einstein condensates and
others. Yet this new field which is rich in open issues at the foundation of
quantum and statistical physics remains little explored theoretically [1]. This
talk summarizes our thoughts on attempting a systematic investigation into its
foundation, with the goal of ultimately revealing or building a viable
theoretical framework. Three major themes discussed in three intended essays
are the large N expansion [2], the correlation hierarchy [3] and quantum
entanglement [4]. We give a sketch of the first two themes and then discuss
several key issues in the consideration of macro and quantum, namely, a)
recognition that in a composite body there exist many 'levels of structure'
characterized by collective variables. The quantum features of a macroscopic
object can be captured by understanding how these collective variables
function; b) 'quantum entanglement', an exclusively quantum feature [5], is
known to persist to high temperatures [6] and large scales [7] under certain
conditions, and may actually decrease with increased connectivity in a quantum
network [8]. Here we use entanglement as a measure of quantumness and pick out
these somewhat counter-intuitive examples to show that there are blind spots
worthy of our attention and issues which we need to analyze closer. Our purpose
is to try to remove the stigma that quantum only pertains to micro, in order to
make way for deeper probes into the conditions whereby quantum features of
macroscopic systems manifest.


title: Divided Difference Operator for the Highest root Hessenberg variety

abstract:
  We construct a divided difference operator using GKM theory. This generalizes
the classical divided difference operator for the cohomology of the complete
flag variety. This construction proves a special case of a recent conjecture of
Shareshian and Wachs. Our methods are entirely combinatorial and algebraic, and
rely heavily on the combinatorics of root systems and Bruhat order.


title: Radar Observations of the 2011 October Draconid Outburst

abstract:
  A strong outburst of the October Draconid meteor shower was predicted for
October 8, 2011. Here we present the observations obtained by the Canadian
Meteor Orbit Radar (CMOR) during the 2011 outburst. CMOR recorded 61
multi-station Draconid echoes and 179 single-station overdense Draconid echoes
(covering the magnitude range of +3 <= MV <= +7) between 16-20h UT on October
8, 2011. The mean radiant for the outburst was determined to be a_g = 261.9o
+/- 0.3o, d_g = +55.3o +/- 0.3o (J2000) from observations of the underdense
multi-station echoes. This radiant location agrees with model predictions to
~1o . The determined geocentric velocity was found to be ~10-15% lower than the
model value (17.0 - 19.1 km s^-1 versus 20.4 km s^-1), a discrepancy we
attribute to undercorrection for atmospheric deceleration of low density
Draconid meteoroids as well as to poor radar radiant geometry during the
outburst peak. The mass index at the time of the outburst was determined to be
~ 1.75 using the amplitude distribution of underdense echoes...


title: The Logarithmic Curvature Graphs of Generalised Cornu Spirals

abstract:
  The Generalized Cornu Spiral (GCS) was first proposed by Ali et al. in 1995
[9]. Due to the monotonocity of its curvature function, the surface generated
with GCS segments has been considered as a high quality surface and it has
potential applications in surface design [2]. In this paper, the analysis of
GCS segment is carried out by determining its aesthetic value using the log
curvature Graph (LCG) as proposed by Kanaya et al.[10]. The analysis of LCG
supports the claim that GCS is indeed a generalized aesthetic curve.


title:
A Hybrid Rule Based Fuzzy-Neural Expert System For Passive Network
  Monitoring

abstract:
  An enhanced approach for network monitoring is to create a network monitoring
tool that has artificial intelligence characteristics. There are a number of
approaches available. One such approach is by the use of a combination of rule
based, fuzzy logic and neural networks to create a hybrid ANFIS system. Such
system will have a dual knowledge database approach. One containing membership
function values to compare to and do deductive reasoning and another database
with rules deductively formulated by an expert (a network administrator). The
knowledge database will be updated continuously with newly acquired patterns.
In short, the system will be composed of 2 parts, learning from data sets and
fine-tuning the knowledge-base using neural network and the use of fuzzy logic
in making decision based on the rules and membership functions inside the
knowledge base. This paper will discuss the idea, steps and issues involved in
creating such a system.


title: Seeded graph matching for correlated Erd\H{o}s-R\'enyi graphs

abstract:
  Graph matching is an important problem in machine learning and pattern
recognition. Herein, we present theoretical and practical results on the
consistency of graph matching for estimating a latent alignment function
between the vertex sets of two graphs, as well as subsequent algorithmic
implications when the latent alignment is partially observed. In the correlated
Erd\H{o}s-R\'enyi graph setting, we prove that graph matching provides a
strongly consistent estimate of the latent alignment in the presence of even
modest correlation. We then investigate a tractable, restricted-focus version
of graph matching, which is only concerned with adjacency involving vertices in
a partial observation of the latent alignment; we prove that a logarithmic
number of vertices whose alignment is known is sufficient for this
restricted-focus version of graph matching to yield a strongly consistent
estimate of the latent alignment of the remaining vertices. We show how
Frank-Wolfe methodology for approximate graph matching, when there is a
partially observed latent alignment, inherently incorporates this restricted
focus graph matching. Lastly, we illustrate the relationship between seeded
graph matching and restricted-focus graph matching by means of an illuminating
example from human connectomics.


title: G2 Transition curve using Quartic Bezier Curve

abstract:
  A method to construct transition curves using a family of the quartic Bezier
spiral is described. The transition curves discussed are S-shape and C-shape of
contact, between two separated circles. A spiral is a curve of monotone
increasing or monotone decreasing curvature of one sign. Thus, a spiral cannot
have an inflection point or curvature extreme. The family of quartic Bezier
spiral form which is introduced has more degrees of freedom and will give a
better approximation. It is proved that the methods of constructing transition
curves can be simplified by the transformation process and the ratio of two
radii has no restriction, which extends the application area, and it gives a
family of transition curves that allow more flexible curve designs.


title: Algebraic Topology

abstract:
  The chapter provides an introduction to the basic concepts of Algebraic
Topology with an emphasis on motivation from applications in the physical
sciences. It finishes with a brief review of computational work in algebraic
topology, including persistent homology.


title: Generalized Fiducial Inference for Ultrahigh Dimensional Regression

abstract:
  In recent years the ultrahigh dimensional linear regression problem has
attracted enormous attentions from the research community. Under the sparsity
assumption most of the published work is devoted to the selection and
estimation of the significant predictor variables. This paper studies a
different but fundamentally important aspect of this problem: uncertainty
quantification for parameter estimates and model choices. To be more specific,
this paper proposes methods for deriving a probability density function on the
set of all possible models, and also for constructing confidence intervals for
the corresponding parameters. These proposed methods are developed using the
generalized fiducial methodology, which is a variant of Fisher's controversial
fiducial idea. Theoretical properties of the proposed methods are studied, and
in particular it is shown that statistical inference based on the proposed
methods will have exact asymptotic frequentist property. In terms of empirical
performances, the proposed methods are tested by simulation experiments and an
application to a real data set. Lastly this work can also be seen as an
interesting and successful application of Fisher's fiducial idea to an
important and contemporary problem. To the best of the authors' knowledge, this
is the first time that the fiducial idea is being applied to a so-called "large
p small n" problem.


title: Characterization of Planar Cubic Alternative curve

abstract:
  In this paper, we analyze the planar cubic Alternative curve to determine the
conditions for convex, loops, cusps and inflection points. Thus cubic curve is
represented by linear combination of three control points and basis function
that consist of two shape parameters. By using algebraic manipulation, we can
determine the constraint of shape parameters and sufficient conditions are
derived which ensure that the curve is a strictly convex, loops, cusps and
inflection point. We conclude the result in a shape diagram of parameters. The
simplicity of this form makes characterization more intuitive and efficient to
compute.


title:
The Coyote Universe Extended: Precision Emulation of the Matter Power
  Spectrum

abstract:
  Modern sky surveys are returning precision measurements of cosmological
statistics such as weak lensing shear correlations, the distribution of
galaxies, and cluster abundance. To fully exploit these observations, theorists
must provide predictions that are at least as accurate as the measurements, as
well as robust estimates of systematic errors that are inherent to the modeling
process. In the nonlinear regime of structure formation, this challenge can
only be overcome by developing a large-scale, multi-physics simulation
capability covering a range of cosmological models and astrophysical processes.
As a first step to achieving this goal, we have recently developed a prediction
scheme for the matter power spectrum (a so-called emulator), accurate at the 1%
level out to k~1/Mpc and z=1 for wCDM cosmologies based on a set of
high-accuracy N-body simulations. It is highly desirable to increase the range
in both redshift and wavenumber and to extend the reach in cosmological
parameter space. To make progress in this direction, while minimizing
computational cost, we present a strategy that maximally re-uses the original
simulations. We demonstrate improvement over the original spatial dynamic range
by an order of magnitude, reaching k~10 h/Mpc, a four-fold increase in redshift
coverage, to z=4, and now include the Hubble parameter as a new independent
variable. To further the range in k and z, a new set of nested simulations run
at modest cost is added to the original set. The extension in h is performed by
including perturbation theory results within a multi-scale procedure for
building the emulator. This economical methodology still gives excellent error
control, ~5% near the edges of the domain of applicability of the emulator. A
public domain code for the new emulator is released as part of the work
presented in this paper.


title:
Comment on "Entanglement and the Thermodynamic Arrow of Time" and
  Correct Reply on "Comment on "Quantum Solution to the Arrow-of-Time Dilemma""
  of David Jennings and Terry Rudolph

abstract:
  Recently David Jennings and Terry Rudolph published two papers as reaction on
Maccone's paper "Quantum Solution to the Arrow-of-Time Dilemma". In these
papers, the authors suppose that second law of thermodynamics is not relevant
for quantum systems. Unfortunately, these papers did not get relevant reply
from Maccone. The reason of this is following. Both Maccone and the
above-mentioned authors use thermodynamic law and thermodynamic-like
terminology for non-thermodynamic systems, for example, microscopic system of
three qubits. However, big size of a system (quantum or classic) is also not an
enough condition for a system to be macroscopic. The macroscopic system must
also be chaotic and has small chaotic interaction with its environment/observer
resulting in decoherence (decorrelation). We demonstrate that for relevant
thermodynamic macroscopic quantum systems no objection appears.


title: North Atlantic Right Whale Contact Call Detection

abstract:
  The North Atlantic right whale (Eubalaena glacialis) is an endangered
species. These whales continuously suffer from deadly vessel impacts alongside
the eastern coast of North America. There have been countless efforts to save
the remaining 350 - 400 of them. One of the most prominent works is done by
Marinexplore and Cornell University. A system of hydrophones linked to
satellite connected-buoys has been deployed in the whales habitat. These
hydrophones record and transmit live sounds to a base station. These recording
might contain the right whale contact call as well as many other noises. The
noise rate increases rapidly in vessel-busy areas such as by the Boston harbor.
This paper presents and studies the problem of detecting the North Atlantic
right whale contact call with the presence of noise and other marine life
sounds. A novel algorithm was developed to preprocess the sound waves before a
tree based hierarchical classifier is used to classify the data and provide a
score. The developed model was trained with 30,000 data points made available
through the Cornell University Whale Detection Challenge program. Results
showed that the developed algorithm had close to 85% success rate in detecting
the presence of the North Atlantic right whale.


title:
Variational Formulation of the Log-Aesthetic Surface and Development of
  Discrete Surface Filters

abstract:
  The log-aesthetic curves include the logarithmic (equiangular) spiral,
clothoid, and involute curves. Although most of them are expressed only by an
integral form of the tangent vector, it is possible to interactively generate
and deform them and they are expected to be utilized for practical use of
industrial and graphical design. The discrete log-aesthetic filter based on the
formulation of the log-aesthetic curve has successfully been introduced not to
impose strong constraints on the designer's activity, to let him/her design
freely and to embed the properties of the log-aesthetic curves for complicated
ones with both increasing and decreasing curvature. In this paper, in order to
define the log-aesthetic surface and develop surface filters based on its
formulation, at first we reformulate the log-aesthetic curve with variational
principle. Then we propose several new functionals to be minimized for
free-form surfaces and define the log-aesthetic surface. Furthermore we propose
new discrete surface filters based on the log-aesthetic surface formulation


title: Holomorphic arcs on analytic spaces

abstract:
  Let X be a complex analytic space. A short analytic arc is a holomorphic map
of the closed unit disc to X such that only the origin is mapped to a singular
point. In contrast with the space of formal arcs studied by Nash, the moduli
space of short analytic arcs usually has infinitely many connected components.
We describe these for surface singularities, in terms of certain conjugacy
classes of the fundamental group of the link.
  For quotient singularities (in any dimension), this gives a concrete
realization of the McKay correspondence. Our results also give new connections
between a surface cusp singularity, its dual and hyperbolic Inoue surfaces.
version 2: References added.


title:
On the Complexity of Query Answering under Matching Dependencies for
  Entity Resolution

abstract:
  Matching Dependencies (MDs) are a relatively recent proposal for declarative
entity resolution. They are rules that specify, given the similarities
satisfied by values in a database, what values should be considered duplicates,
and have to be matched. On the basis of a chase-like procedure for MD
enforcement, we can obtain clean (duplicate-free) instances; actually possibly
several of them. The resolved answers to queries are those that are invariant
under the resulting class of resolved instances. In previous work we identified
some tractable cases (i.e. for certain classes of queries and MDs) of resolved
query answering. In this paper we further investigate the complexity of this
problem, identifying some intractable cases. For a special case we obtain a
dichotomy complexity result.


title: Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

abstract:
  We report on highlights of the ACL2 enhancements introduced in ACL2 releases
since the 2011 ACL2 Workshop. Although many enhancements are critical for
soundness or robustness, we focus in this paper on those improvements that
could benefit users who are aware of them, but that might not be discovered in
everyday practice.


title: Proof Pad: A New Development Environment for ACL2

abstract:
  Most software development projects rely on Integrated Development
Environments (IDEs) based on the desktop paradigm, with an interactive,
mouse-driven user interface. The standard installation of ACL2, on the other
hand, is designed to work closely with Emacs. ACL2 experts, on the whole, like
this mode of operation, but students and other new programmers who have learned
to program with desktop IDEs often react negatively to the process of adapting
to an unfamiliar form of interaction.
  This paper discusses Proof Pad, a new IDE for ACL2. Proof Pad is not the only
attempt to provide ACL2 IDEs catering to students and beginning programmers.
The ACL2 Sedan and DrACuLa systems arose from similar motivations. Proof Pad
builds on the work of those systems, while also taking into account the unique
workflow of the ACL2 theorem proving system.
  The design of Proof Pad incorporated user feedback from the outset, and that
process continued through all stages of development. Feedback took the form of
direct observation of users interacting with the IDE as well as questionnaires
completed by users of Proof Pad and other ACL2 IDEs. The result is a
streamlined interface and fast, responsive system that supports using ACL2 as a
programming language and a theorem proving system. Proof Pad also provides a
property-based testing environment with random data generation and automated
interpretation of properties as ACL2 theorem definitions.


title: A Step-Indexing Approach to Partial Functions

abstract:
  We describe an ACL2 package for defining partial recursive functions that
also supports efficient execution. While packages for defining partial
recursive functions already exist for other theorem provers, they often require
inductive definitions or recursion operators which are not available in ACL2
and they provide little, if any, support for executing the resulting
definitions. We use step-indexing as the underlying implementation technology,
enabling the definitions to be carried out in first order logic. We also show
how recent enhancements to ACL2's guard feature can be used to enable the
efficient execution of partial recursive functions.


title: Abstract Stobjs and Their Application to ISA Modeling

abstract:
  We introduce a new ACL2 feature, the abstract stobj, and show how to apply it
to modeling the instruction set architecture of a microprocessor. Benefits of
abstract stobjs over traditional ("concrete") stobjs can include faster
execution, support for symbolic simulation, more efficient reasoning, and
resilience of proof developments under modeling optimization.


title: Verification of Building Blocks for Asynchronous Circuits

abstract:
  Scalable formal verification constitutes an important challenge for the
design of asynchronous circuits. Deadlock freedom is a property that is desired
but hard to verify. It is an emergent property that has to be verified
monolithically. We present our approach to using ACL2 to verify necessary and
sufficient conditions over asynchronous delay-insensitive primitives. These
conditions are used to derive SAT/SMT instances from circuits built out of
these primitives. These SAT/SMT instances help in establishing absence of
deadlocks. Our verification effort consists of building an executable checker
in the ACL2 logic tailored for our purpose. We prove that this checker is
correct. This approach enables us to prove ACL2 theorems involving defun-sk
constructs and free variables fully automatically.


title: An Interpreter for Quantum Circuits

abstract:
  This paper describes an ACL2 interpreter for "netlists" describing quantum
circuits. Several quantum gates are implemented, including the Hadamard gate H,
which rotates vectors by 45 degrees, necessitating the use of irrational
numbers, at least at the logical level. Quantum measurement presents an
especially difficult challenge, because it requires precise comparisons of
irrational numbers and the use of random numbers. This paper does not address
computation with irrational numbers or the generation of random numbers,
although future work includes the development of pseudo-random generators for
ACL2.


title: Verified AIG Algorithms in ACL2

abstract:
  And-Inverter Graphs (AIGs) are a popular way to represent Boolean functions
(like circuits). AIG simplification algorithms can dramatically reduce an AIG,
and play an important role in modern hardware verification tools like
equivalence checkers. In practice, these tricky algorithms are implemented with
optimized C or C++ routines with no guarantee of correctness. Meanwhile, many
interactive theorem provers can now employ SAT or SMT solvers to automatically
solve finite goals, but no theorem prover makes use of these advanced,
AIG-based approaches.
  We have developed two ways to represent AIGs within the ACL2 theorem prover.
One representation, Hons-AIGs, is especially convenient to use and reason
about. The other, Aignet, is the opposite; it is styled after modern AIG
packages and allows for efficient algorithms. We have implemented functions for
converting between these representations, random vector simulation, conversion
to CNF, etc., and developed reasoning strategies for verifying these
algorithms.
  Aside from these contributions towards verifying AIG algorithms, this work
has an immediate, practical benefit for ACL2 users who are using GL to
bit-blast finite ACL2 theorems: they can now optionally trust an off-the-shelf
SAT solver to carry out the proof, instead of using the built-in BDD package.
Looking to the future, it is a first step toward implementing verified AIG
simplification algorithms that might further improve GL performance.


title: A formalisation of XMAS

abstract:
  Communication fabrics play a key role in the correctness and performance of
modern multi-core processors and systems-on-chip. To enable formal
verification, a recent trend is to use high-level micro-architectural models to
capture designers' intent about the communication and processing of messages.
Intel proposed the xMAS language to support the formal definition of executable
specifications of micro-architectures. We formalise the semantics of xMAS in
ACL2. Our formalisation represents the computation of the values of all wires
of a design. Our main function computes a set of possible routing targets for
each message and whether a message can make progress according to the current
network state. We prove several properties on the semantics, including
termination, non-emptiness of routing, and correctness of progress conditions.
Our current effort focuses on a basic subset of the entire xMAS language, which
includes queues, functions, and switches.


title:
ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs
  Shortest Path Algorithm in ACL2

abstract:
  As Graphics Processing Units (GPUs) have gained in capability and GPU
development environments have matured, developers are increasingly turning to
the GPU to off-load the main host CPU of numerically-intensive, parallelizable
computations. Modern GPUs feature hundreds of cores, and offer programming
niceties such as double-precision floating point, and even limited recursion.
This shift from CPU to GPU, however, raises the question: how do we know that
these new GPU-based algorithms are correct?
  In order to explore this new verification frontier, we formalized a
parallelizable all-pairs shortest path (APSP) algorithm for weighted graphs,
originally coded in NVIDIA's CUDA language, in ACL2. The ACL2 specification is
written using a single-threaded object (stobj) and tail recursion, as the
stobj/tail recursion combination yields the most straightforward translation
from imperative programming languages, as well as efficient, scalable
executable specifications within ACL2 itself. The ACL2 version of the APSP
algorithm can process millions of vertices and edges with little to no garbage
generation, and executes at one-sixth the speed of a host-based version of APSP
coded in C- a very respectable result for a theorem prover.
  In addition to formalizing the APSP algorithm (which uses Dijkstra's shortest
path algorithm at its core), we have also provided capability that the original
APSP code lacked, namely shortest path recovery. Path recovery is accomplished
using a secondary ACL2 stobj implementing a LIFO stack, which is proven
correct. To conclude the experiment, we ported the ACL2 version of the APSP
kernels back to C, resulting in a less than 5% slowdown, and also performed a
partial back-port to CUDA, which, surprisingly, yielded a slight performance
increase.


title:
Fuzzy Based Diagnostics System for Identifying Network Traffic Flow
  Anomalies

abstract:
  This paper discusses the usage of network traffic properties in passive
network monitoring which are used in recognizing and identifying anomaly.


title: Critical grain sizes and generalized flow stress - grain size dependence

abstract:
  The generalized eguation that describes the yield stress dependence upon the
grain size in the wide range of grain sizes has been obtained. There are two
critical grain sizes that corresponds to the changes in strengthening
mechanism. The equation includes Hall - Petch relation in the range of d>dcr1.
For dcr1>d>dcr2, the power in the Hall - Petch relation varies from -1/2 to -1.
In a nanometer (nm) range (d<dcr2) there are posibileties of softerning (in
case of "weak" boundaries) as well as significant strengthening (in case of
"srtong" boundaries).


title:
Parity doubling structure of nucleon at non-zero density in the
  holographic mean field theory

abstract:
  We develope the holographic mean field theory approach in a bottom-up
holographic QCD model including baryons and scalar mesons in addition to vector
mesons and pions. We study the effect of parity doubling structure of baryons
at non-zero density to the equation of state between the chemical potential and
the baryon number density. We first show that we can adjust the amount of
nucleon mass coming from the chiral symmetry breaking by changing the boundary
value of the five-dimensional baryon fields. Then, introducing the mean field
for the baryon fields, we calculate the equation of state between the baryon
number density and its corresponding chemical potential. Then, comparing the
predicted equation of state with the one obtained in a Walecka type model, we
extract the density dependence of the effective nucleon mass. The result shows
that the effective mass decreases with increasing density, and that the rate of
decreasing is more rapid for the larger percentage of the mass coming from the
chiral symmetry breaking.


title: Spontaneous Clustering via Minimum \gamma-divergence

abstract:
  We propose a new method for clustering based on the local minimization of the
\gamma-divergence, which we call the spontaneous clustering. The greatest
advantage of the proposed method is that it automatically detects the number of
clusters that adequately reflect the data structure. In contrast, exiting
methods such as K-means, fuzzy c-means, and model based clustering need to
prescribe the number of clusters. We detect all the local minimum points of the
\gamma-divergence, which are defined as the centers of clusters. A necessary
and sufficient condition for the \gamma-divergence to have the local minimum
points is also derived in a simple setting. A simulation study and a real data
analysis are performed to compare our proposal with existing methods.


title: Normal type-2 Fuzzy Rational B-Spline Curve

abstract:
  In this paper, we proposed a new form of type-2 fuzzy data points(T2FDPs)
that is normal type-2 data points(NT2FDPs). These brand-new forms of data were
defined by using the definition of normal type-2 triangular fuzzy
number(NT2TFN). Then, we applied fuzzification(alpha-cut) and type-reduction
processes towards NT2FDPs after they had been redefined based on the situation
of NT2FDPs. Furthermore, we redefine the defuzzification definition along with
the new definitions of fuzzification process and type-reduction method to
obtain crisp type-2 fuzzy solution data points. For all these processes from
the defining the NT2FDPs to defuzzification of NT2FDPs, we demonstrate through
curve representation by using the rational B-spline curve function as the
example form modeling these NT2FDPs.


title:
Metal-Poor Stars Observed with the Magellan Telescope I. Constraints on
  Progenitor Mass and Metallicity of AGB Stars Undergoing s-Process
  Nucleosynthesis

abstract:
  We present a comprehensive abundance analysis of two newly-discovered
carbon-enhanced metal-poor (CEMP) stars. HE2138-3336 is a s-process-rich star
with [Fe/H] = -2.79, and has the highest [Pb/Fe] abundance ratio measured thus
far, if NLTE corrections are included ([Pb/Fe] = +3.84). HE2258-6358, with
[Fe/H] = -2.67, exhibits enrichments in both s- and r-process elements. These
stars were selected from a sample of candidate metal-poor stars from the
Hamburg/ESO objective-prism survey, and followed up with medium-resolution (R ~
2,000) spectroscopy with GEMINI/GMOS. We report here on derived abundances (or
limits) for a total of 34 elements in each star, based on high-resolution (R ~
30,000) spectroscopy obtained with Magellan-Clay/MIKE. Our results are compared
to predictions from new theoretical AGB nucleosynthesis models of 1.3 Mo with
[Fe/H] = -2.5 and -2.8, as well as to a set of AGB models of 1.0 to 6.0 Mo at
[Fe/H] = -2.3. The agreement with the model predictions suggests that the
neutron-capture material in HE2138-3336 originated from mass transfer from a
binary companion star that previously went through the AGB phase, whereas for
HE2258-6358, an additional process has to be taken into account to explain its
abundance pattern. We find that a narrow range of progenitor masses (1.0 <
M(Mo) < 1.3) and metallicities (-2.8 < [Fe/H] < -2.5) yield the best agreement
with our observed elemental abundance patterns.


title:
Permutation patterns, Stanley symmetric functions and generalized Specht
  modules

abstract:
  Generalizing the notion of a vexillary permutation, we introduce a filtration
of S_infinity by the number of Schur function terms in the Stanley symmetric
function, with the kth filtration level called the k-vexillary permutations. We
show that for each k, the k-vexillary permutations are characterized by
avoiding a finite set of patterns. A key step is the construction of a Specht
series, in the sense of James and Peel, for the Specht module associated to the
diagram of a permutation. As a corollary, we prove a conjecture of Liu on
diagram varieties for certain classes of permutation diagrams. We apply similar
techniques to characterize multiplicity-free Stanley symmetric functions, as
well as permutations whose diagram is equivalent to a forest in the sense of
Liu.


title: Ultralow noise up-conversion detector and spectrometer at telecom band

abstract:
  We demonstrate upconversion single-photon detection for the 1550-nm band
using a PPLN waveguide, long-wavelength pump, and narrowband filtering using a
volume Bragg grating. We achieve total-system detection efficiency of around
30% with noise at the dark-count level of a silicon APD. Based on the new
detector, a single-pixel up-conversion infrared spectrometer with a noise
equivalent power of -142 dBm was demonstrated, which was better than liquid
nitrogen cooled InGaAs arrary.


title:
The unimodality of a polynomial coming from a rational integral. Back to
  the original proof

abstract:
  A sequence of coefficients that appeared in the evaluation of a rational
integral has been shown to be unimodal. An alternative proof is presented.


title: Refined Chern-Simons versus Vogel universality

abstract:
  We study the relation between the partition function of refined SU(N) and
SO(2N) Chern-Simons on the 3-sphere and the universal Chern-Simons partition
function in the sense of Mkrtchyan and Veselov. We find a four-parameter
generalization of the integral representation of universal Chern-Simons that
includes refined SU(N) and SO(2N) Chern-Simons for special values of
parameters. The large N expansion of the integral representation of refined
SU(N) Chern-Simons explicitly shows the replacement of the virtual Euler
characteristic of the moduli space of complex curves with a refined Euler
characteristic related to the radius deformed c=1 string free energy.


title: Generation of Diffraction-Free Optical Beams Using Wrinkled Membranes

abstract:
  We report the first demonstration of wrinkled membranes as a kind of optical
focusing devices, which are low cost, light weight and flexible. Our device
consists of concentric wrinkle rings on a gold-PDMS bilayer membrane, which
converts collimated illuminations to diffraction-free focused beams. Beam
diameters of 300-400 {\mu}m have been observed in the visible range. By
comparing the theoretically calculated and experimentally measured focal spot
profiles, we predict a focal spot size as small as around 50 {\mu}m if
fabrication eccentricity can be eliminated.


title: A Macro for Reusing Abstract Functions and Theorems

abstract:
  Even though the ACL2 logic is first order, the ACL2 system offers several
mechanisms providing users with some operations akin to higher order logic
ones. In this paper, we propose a macro, named instance-of-defspec, to ease the
reuse of abstract functions and facts proven about them. Defspec is an ACL2
book allowing users to define constrained functions and their associated
properties. It contains macros facilitating the definition of such abstract
specifications and instances thereof. Currently, lemmas and theorems derived
from these abstract functions are not automatically instantiated. This is
exactly the purpose of our new macro. instance-of-defspec will not only
instantiate functions and theorems within a specification but also many more
functions and theorems built on top of the specification. As a working example,
we describe various fold functions over monoids, which we gradually built from
arbitrary functions.


title: Statistics for ordinary Artin-Schreier covers and other $p$-rank strata

abstract:
  We study the distribution of the number of points and of the zeroes of the
zeta function in different $p$-rank strata of Artin-Schreier covers over $\F_q$
when $q$ is fixed and the genus goes to infinity. The $p$-rank strata
considered include the ordinary family, the whole family, and the family of
curves with $p$-rank equal to $p-1.$ While the zeta zeroes always approach the
standard Gaussian distribution, the number of points over $\F_q$ has a
distribution that varies with the specific family.


title:
Constrained gamma-Z interference corrections to parity-violating
  electron scattering

abstract:
  We present a comprehensive analysis of gamma-Z interference corrections to
the weak charge of the proton measured in parity-violating electron scattering,
including a survey of existing models and a critical analysis of their
uncertainties. Constraints from parton distributions in the deep-inelastic
region, together with new data on parity-violating electron scattering in the
resonance region, result in significantly smaller uncertainties on the
corrections compared to previous estimates. At the kinematics of the Qweak
experiment, we determine the gamma-Z box correction to be ReBox^V_{gamma-Z} =
(5.57 +- 0.36) x 10^{-3}. The new constraints also allow precise predictions to
be made for parity-violating deep-inelastic asymmetries on the deuteron.


title: On the Dividend Strategies with Non-Exponential Discounting

abstract:
  In this paper, we study the dividend strategies for a shareholder with
non-constant discount rate in a diffusion risk model. We assume that the
dividends can only be paid at a bounded rate and restrict ourselves to the
Markov strategies. This is a time inconsistent control problem. The extended
HJB equation is given and the verification theorem is proved for a general
discount function. Considering the pseudo-exponential discount functions (Type
I and Type II), we get the equilibrium dividend strategies and the equilibrium
value functions by solving the extended HJB equations.


title:
Further investigations into the connection between cosmic rays and
  climate

abstract:
  Our previous results on the connection between the Forbush decreases (FD) of
cosmic-ray intensity and the deviations from the expected values of the diurnal
temperature range (DTR) are briefly revisited. The same type of analysis is
then extended to the cases of sudden increases of cosmic-ray intensity (GLE),
as well as to the search for lattitude effects in the observed correlations. We
find that all the investigated correlations appear to manifest both the
expected signs and the plausible phase relations, though each one only at the
modest confidence level. Moreover, it appears that there is some
proportionality between the magnitude of a cosmic-ray intensity change and a
corresponding DTR deviation, both in the case of FD and GLE events. Eventual
increase of the confidence levels at which these correlations are established
would have to wait for the significant increase of the number of well defined
and sufficiently intense recorded departures of cosmic-ray intensity from its
stationary mean value. On the other hand, the probability of such an accidental
multiple coincidence of independent pieces of evidence is certainly very low.


title: Weighted density Lattice Boltzmann approach to fluids under confinement

abstract:
  The Enskog-like kinetic approach, recently introduced by us to study strongly
inhomogeneous flu- ids, is reconsidered in order to improve the description of
the transport coefficients. The approach is based on a separation of the
interaction between hydrodynamic and non-hydrodynamic parts. The latter is
treated within a simple relaxation approximation. We show that, by considering
the non-hydrodynamic part via a weighted density approximation, we obtain a
better prediction of the transport coefficients. By virtue of the simplicity of
the kinetic equation we are able to solve numer- ically the phase space
distribution in the presence of inhomogeneities, such as confining surfaces,
via a Lattice Boltzmann method. Analytical estimates of the importance of these
corrections to the transport coefficients in bulk conditions is provided.
Poiseuille flow of the hard-sphere fluid confined between two parallel smooth
walls is studied and their pore-averaged properties are determined.


title: Various Types of Aesthetic Curves

abstract:
  The research on developing planar curves to produce visually pleasing
products (ranges from electric appliances to car body design) and
indentifying/modifying planar curves for special purposes namely for railway
design, highway design and robot trajectories have been progressing since
1970s. The pattern of research in this field of study has branched to five
major groups namely curve synthesis, fairing process, improvement in control of
natural spiral, construction of new type of planar curves and, natural spiral
fitting & approximation techniques. The purpose of is this paper is to briefly
review recent progresses in Computer Aided Geometric Design (CAGD) focusing on
the topics states above.


title:
Mean-Variance Asset-Liability Management with State-Dependent Risk
  Aversion

abstract:
  In this paper, we consider the asset-liability management under the
mean-variance criterion. The financial market consists of a risk-free bond and
a stock whose price process is modeled by a geometric Brownian motion. The
liability of the investor is uncontrollable and is modeled by another geometric
Brownian motion. We consider a specific state-dependent risk aversion which
depends on a power function of the liability. By solving a flow of FBSDEs with
bivariate state process, we obtain the equilibrium strategy among all the
open-loop controls for this time-inconsistent control problem. It shows that
the equilibrium strategy is a feedback control of the liability.


title: An Improvised Algorithm to Identify The Beauty of A Planar Curve

abstract:
  An improvised algorithm is proposed based on the work of Yoshimoto and
Harada. The improvised algorithm results a graph which is called LDGC or
Logarithmic Distribution Graph of Curvature. This graph has the capability to
identify the beauty of monotonic planar curves with less effort as compared to
LDDC by Yoshimoto and Harada.


title:
Mass-number and isotope dependence of the local microscopic optical
  potential for polarized proton scattering

abstract:
  We derive local microscopic optical potentials $U$ systematically for
polarized proton scattering at 65~MeV using the local-potential version of the
Melbourne $g$-matrix folding model. As target nuclei, we take $^{6}$He and
neutron-rich Ne isotopes in addition to stable nuclei of mass number
$A=4$--$208$ in order to clarify mass-number and isotope dependence of $U$. The
local potentials reproduce the experimental data systematically and have
geometries similar to the phenomenological optical potentials for stable
targets. The target density is broadened by the weak-binding nature and/or
deformation of unstable nuclei. For the real spin-orbit part of $U$ the density
broadening weakens the strength and enlarges the radius, whereas for the
central part it enlarges both of the strength and the radius. The
density-broadening effect is conspicuous for halo nuclei such as $^{6}$He and
$^{31}$Ne. Similar discussions are made briefly for proton scattering at
200~MeV. We briefly investigate how the isovector and the non spherical
components of $U$ affect proton scattering.


title: Tera Scale Remnants of Unification and Supersymmetry at Planck Scale

abstract:
  We predict new particles at the Tera scale based on the assumptions that the
standard model gauge interactions are unified around the gravitational scale
with a big desert and new particles originate from hypermultiplets as remnants
of supersymmetry, and propose a theoretical framework at the Tera scale and
beyond, that has predictability.