title: Fano threefolds with 2-torus action - a picture book

abstract:
  Following the work of Altmann and Hausen we give a combinatorial description
in terms for smooth Fano threefolds admitting a 2-torus action. We show that a
whole variety of properties and invariants can be read off from this
description. As an application we prove and disprove the existence of
Kahler-Einstein metrics for some of these Fano threefolds, calculate their Cox
rings and some of their toric canonical degenerations.


title: Numerical Simulation of Folding and Unfolding of Proteins

abstract:
  The thesis examines in detail the folding and unfolding processes of a number
of proteins including hbSBD, DDLNF4, single and multi Ubiquitin. Using
simplified coarse-grained off-lattice Go model and CD experiments we have shown
the two-state behavior of hbSBD protein. It was shown that refolding pathways
of single Ubiquitin depend on what end is anchored to the surface. Namely, the
fixation of the N-terminal changes refolding pathways but anchoring the
C-terminal leaves them unchanged. Interestingly, the end fixation has no effect
on multi-domain Ubiquitin. Using the Go modeling and all-atom models with
explicit water, we have studied the mechanical unfolding mechanism of DDFLN4 in
detail. We predict that, contrary to the AFM experiments, an additional
unfolding peak would occur at the end-to-end $\Delta R \approx 1.5 $nm in the
force-extension curve. Our study reveals the important role of non-native
interactions which are responsible for a peak located at $\Delta R \approx 22
$nm. This peak can not be encountered by the Go models in which the non-native
interactions are neglected. Our finding may stimulate further experimental and
theoretical studies on this protein. The cooperativity of denaturation
transition was investigated using lattice and off-latice models. Our studies
reveal that the sharpness of the transition enhances as the number of amino
acids grows. The corresponding scaling behavior is governed by an universal
critical exponent. A new force replica exchange (RE) method was developed for
efficient configuration sampling of biomolecules pulled by an external
mechanical force. Contrary to the standard temperature RE, the exchange is
carried out between different forces (replicas). Our method was successfully
applied to study thermodynamics of a three-domain Ubiquitin.


title:
Reanalysis of the BFKL Pomeron at the next-to-leading logarithmic
  accuracy

abstract:
  We apply the principle of maximum conformality (PMC) to the
Balitsky-Fadin-Kuraev-Lipatov (BFKL) Pomeron intercept at the next-to-leading
logarithmic (NLL) accuracy. The PMC eliminates the conventional renormalization
scale ambiguity by absorbing the non-conformal $\{\beta_i\}$-terms into the
running coupling, and a more accurate pQCD estimation can be obtained. After
PMC scale setting, the QCD perturbative convergence can be greatly improved due
to the elimination of renormalon terms in pQCD series, and the BFKL Pomeron
intercept has a weak dependence on the virtuality of the reggeized gluon. For
example, by taking the Fried-Yennie gauge, we obtain $\omega_{\rm MOM}^{\rm
PMC}(Q^{2},0)\in [0.149,0.176]$ for $Q^2\in[1,100]\;{\rm GeV}^2$. This is a
good property to apply to the high-energy phenomenology. Further more, to
compare with the data, it is found that the physical ${\rm MOM}$-scheme is more
reliable than the $\overline{\rm MS}$-scheme. The ${\rm MOM}$-scheme is gauge
dependent, which can also be greatly suppressed after PMC scale setting. We
discuss the MOM-scheme gauge dependence for the Pomeron intercept by adopting
three gauges, i.e. the Landau gauge, the Feynman gauge and the Fried-Yennie
gauge, and we obtain $\omega_{\rm MOM}^{\rm PMC}(Q^{2}=15\;{\rm GeV}^2,0) =
0.166^{+0.010}_{-0.017}$; i.e. about $10\%$ gauge dependence is observed. We
apply the BFKL Pomeron intercept to the photon-photon collision process, and
compare the theoretical predictions with the data from the OPAL and L3
experiments.


title: A Dynamic Dark Information Energy Consistent with Planck Data

abstract:
  The 2013 cosmology results from the European Space Agency Planck spacecraft
provide new limits to the dark energy equation of state parameter. Here we show
that Holographic Dark Information Energy (HDIE), a dynamic dark energy model,
achieves an optimal fit to the published datasets where Planck data is combined
with other astrophysical measurements. HDIE uses Landauer's principle to
account for dark energy by the energy equivalent of information, or entropy, of
stellar heated gas and dust. Combining Landauer's principle with the
Holographic principle yields an equation of state parameter determined solely
by star formation history, effectively solving the 'cosmic coincidence
problem'. While HDIE mimics a cosmological constant at low red-shifts, z<1, the
small difference from a cosmological constant expected at higher red-shifts
will only be resolved by the next generation of dark energy instrumentation.
The HDIE model is shown to provide a viable alternative to the main
cosmological constant/vacuum energy and scalar field/quintessence explanations.


title: Hawking temperature and the emergent cosmic space

abstract:
  The aim of this work is to model the evolution of the cosmic space based on
thermodynamical parameters. The universe is considered to have an apparent
horizon radius with a Kodama-Hayward temperature assigned to it. The method is
founded on the fact proposed by Padmanabhan [1,2] that the subtraction of the
surface and bulk degrees of freedom provides information on the cosmic space
emergence. The fact of the matter is that in this approach the Raychaudhuri
equation could even be obtained by the consideration of only thermodynamical
parameters. As such, the standard general relativity is taken as the starting
point where by implementing the standard cosmological equations we obtain a
generalized evolutionary equation supporting emergence of the cosmic space. The
method proposed in this work would provide basis for other cosmological models
to have an emergent perspective.


title:
A Renormalizable Theory of Quantum Gravity: Renormalization Proof of the
  Gauge Theory of Volume Preserving Diffeomorphisms

abstract:
  Inertial and gravitational mass or energy-momentum need not be the same for
virtual quantum states. Separating their roles naturally leads to the gauge
theory of volume-preserving diffeomorphisms of an inner four-dimensional space.
The gauge-fixed action and the path integral measure occurring in the
generating functional for the quantum Green functions of the theory are shown
to obey a BRST-type symmetry. The related Zinn-Justin-type equation restricting
the corresponding quantum effective action is established. This equation limits
the infinite parts of the quantum effective action to have the same form as the
gauge-fixed Lagrangian of the theory proving its spacetime renormalizability.
The inner space integrals occurring in the quantum effective action which are
divergent due to the gauge group's infinite volume are shown to be
regularizable in a way consistent with the symmetries of the theory
demonstrating as a byproduct that viable quantum gauge field theories are not
limited to finite-dimensional compact gauge groups as is commonly assumed.


title:
General Relativity as the Classical Limit of the Renormalizable Gauge
  Theory of Volume Preserving Diffeomorphisms

abstract:
  The different roles and natures of spacetime appearing in a quantum field
theory and in classical physics are analyzed implying that a quantum theory of
gravitation is not necessarily a quantum theory of curved spacetime. Developing
an alternative approach to quantum gravity starts with the postulate that
inertial and gravitational energy-momentum need not be the same for virtual
quantum states. Separating their roles naturally leads to the quantum gauge
field theory of volume-preserving diffeomorphisms of an inner four-dimensional
space. The classical limit of this theory coupled to a quantized scalar field
is derived for an on-shell particle where inertial and gravitational
energy-momentum coincide. In that process the symmetry under volume-preserving
diffeomorphisms disappears and a new symmetry group emerges: the group of
coordinate transformations of four-dimensional spacetime and with it General
Relativity coupled to a classical relativistic point particle.


title: On the Mutual Information in Hawking Radiation

abstract:
  We compute the mutual information of two Hawking particles emitted
consecutively by an evaporating black hole. Following Page, we find that the
mutual information is of order exp(-S) where S is the entropy of the black
hole. We speculate on implications for black hole unitarity, in particular on a
possible failure of locality at large distances.


title:
Detecting orbital angular momentum through division-of-amplitude
  interference with a circular plasmonic lens

abstract:
  We demonstrate a novel detection scheme for the orbital angular momentum
(OAM) of light using circular plasmonic lens. Owing to a division-of-amplitude
interference phenomenon between the surface plasmon waves and directly
transmitted light, specific intensity distributions are formed near the
plasmonic lens surface under different OAM excitations. Due to different phase
behaviors of the evanescent surface plasmon wave and the direct transmission,
interference patterns rotate as the observation plane moves away from the lens
surface. The rotation direction is a direct measure of the sign of OAM, while
the amount of rotation is linked to the absolute value of the OAM. This OAM
detection scheme is validated experimentally and numerically. Analytical
expressions are derived to provide insights and explanations of this detection
scheme. This work forms the basis for the realization of a compact and
integrated OAM detection architect that may significantly benefit optical
information processing with OAM states.


title:
Combining Coarse-Grained Protein Models with Replica-Exchange All-Atom
  Molecular Dynamics

abstract:
  We describe a combination of all-atom simulations with CABS, a
well-established coarse-grained protein modeling tool, into a single multiscale
protocol. The simulation method has been tested on the C-terminal beta hairpin
of protein G, a model system of protein folding. After reconstructing atomistic
details, conformations derived from the CABS simulation were subjected to
replica-exchange molecular dynamics simulations with OPLS-AA and AMBER99sb
force fields in explicit solvent. Such a combination accelerates system
convergence several times in comparison with all-atom simulations starting from
the extended chain conformation, demonstrated by the analysis of melting
curves, the number of native-like conformations as a function of time and
secondary structure propagation. The results strongly suggest that the proposed
multiscale method could be an efficient and accurate tool for high-resolution
studies of protein folding dynamics in larger systems.


title: Photonic switching devices based on semiconductor nanostructures

abstract:
  Focusing and guiding light into semiconductor nanostructures can deliver
revolutionary concepts for photonic devices, which offer a practical pathway
towards next-generation power-efficient optical networks. In this review, we
consider the prospects for photonic switches using semiconductor quantum dots
(QDs) and photonic cavities which possess unique properties based on their low
dimensionality. The optical nonlinearity of such photonic switches is
theoretically analyzed by introducing the concept of a field enhancement
factor. This approach reveals drastic improvement in both power-density and
speed, which is able to overcome the limitations that have beset conventional
photonic switches for decades. In addition, the overall power consumption is
reduced due to the atom-like nature of QDs as well as the nano-scale footprint
of photonic cavities. Based on this theoretical perspective, the current
state-of-the-art of QD/cavity switches is reviewed in terms of various optical
nonlinearity phenomena which have been utilized to demonstrate photonic
switching. Emerging techniques, enabled by cavity nonlinear effects such as
wavelength tuning, Purcell-factor tuning and plasmonic effects are also
discussed.


title:
Adaptive Technique for Computationally Efficient Time Delay and
  Magnitude Estimation of Sinusoidal Signals

abstract:
  An online, adaptive method of time delay and magnitude estimation for
sinusoidal signals is presented. The method is based on an adaptive gradient
descent algorithm that directly determines the time delay and magnitudes of two
noisy sinusoidal signals. The new estimator uses a novel quadrature carrier
generator to produce the carriers for an adaptive quadrature phase detector,
which in turn uses an arc tan function to compute the time delay. The proposed
method is quite robust and can adapt to significant variation in input signal
characteristics like magnitude and frequency imposing no requirement on the
magnitudes of the two signals. It even works effectively when the signals have
time-varying magnitudes. The convergence analysis of the proposed technique
shows that estimate converges exponentially fast to their nominal values. In
addition, if the technique is implemented in the continuous time domain, the
delay estimation accuracy will not be constrained by the sampling frequency as
observed in some of the classical techniques. Extensive simulations show that
the proposed method provides very accurate estimates of the time delay
comparable to that of the popular methods like Sinc-based estimator, Lagrange
estimator, and the Quadrature estimator, as well the magnitude estimate of the
input signals at lower signal to noise ratio at appreciably reduced
computational cost.


title:
Investigation of ac-Stark shifts in excited states of dysprosium
  relevant to testing fundamental symmetries

abstract:
  We report on measurements of the differential polarizability between the
nearly degenerate, opposite parity states in atomic dysprosium at 19797.96
cm$^{-1}$. The differential scalar and tensor polarizabilities due to
additional states were measured for the $|M| = 7,...,10$ sublevels in
$^{164}$Dy and $^{162}$Dy and determined to be
$\bar{\boldsymbol\alpha}_{\scriptscriptstyle BA}^{(0)} =
180\,(45)_\text{stat}\,(8)_\text{sys}$ $\text{mHz}/(\mathrm{V}/\mathrm{cm})^2$
and $\bar{\boldsymbol\alpha}_{\scriptscriptstyle BA}^{(2)} =
-163\,(65)_\text{stat}\,(5)_\text{sys}$
$\text{mHz}/(\mathrm{V}/\mathrm{cm})^2$, respectively. The average blackbody
radiation induced Stark shift of the Zeeman spectrum was measured around 300 K
and found to be $-34(4)$ mHz/K and $+29(4)$ mHz/K for $^{164}$Dy and
$^{162}$Dy, respectively. We conclude that ac-Stark related systematics will
not limit a search for variation of the fine-structure constant, using
dysprosium, down to the level of $|\dot{\alpha}/\alpha|=2.6\times10^{-17}$
yr$^{-1}$, for two measurements of the transition frequency one year apart.


title: Finite element approximation of power mean curvature flow

abstract:
  In [21] the evolution of hypersurfaces in $\mathbb{R}^{n+1}$ with normal
speed equal to a power $k>1$ of the mean curvature is considered and the
levelset solution $u$ of the flow is obtained as the $C^0$-limit of a sequence
$u^{\epsilon}$ of smooth functions solving the regularized levelset equations.
  We prove a rate for this convergence.
  Then we triangulate the domain by using a tetraeder mesh and consider
continuous finite elements, which are polynomials of degree $\le 2$ on each
tetraeder of the triangulation. We show in the case $n=1$ (i.e. the evolving
hypersurfaces are curves), that there are solutions $u^{\epsilon}_h$ of the
above regularized equations in the finite element sense, and estimate the
approximation error between $u^{\epsilon}_h$ and $u$.
  Our method can be extended to the case $n>1$, if one uses higher order finite
elements.


title:
An Efficient Transport Protocol for delivery of Multimedia An Efficient
  Transport Protocol for delivery of Multimedia Content in Wireless Grids

abstract:
  A grid computing system is designed for solving complicated scientific and
commercial problems effectively,whereas mobile computing is a traditional
distributed system having computing capability with mobility and adopting
wireless communications. Media and Entertainment fields can take advantage from
both paradigms by applying its usage in gaming applications and multimedia data
management. Multimedia data has to be stored and retrieved in an efficient and
effective manner to put it in use. In this paper, we proposed an application
layer protocol for delivery of multimedia data in wireless girds i.e.
multimedia grid protocol (MMGP). To make streaming efficient a new video
compression algorithm called dWave is designed and embedded in the proposed
protocol. This protocol will provide faster, reliable access and render an
imperceptible QoS in delivering multimedia in wireless grid environment and
tackles the challenging issues such as i) intermittent connectivity, ii) device
heterogeneity, iii) weak security and iv) device mobility.


title: Indecomposable explicit abelian group

abstract:
  (withdrawn.) For every lambda we give an explicit construction of an Abelian
group with no non-trivial automorphisms. In particular the group absolutely has
no non-trivial automorphisms, hence is absolutely indecomposable. Earlier we
knew a stronger existence theorem but only up to a quite large cardinal which
was a necessary restriction. In another direction the construction does not use
the axiom of choice.


title: A Scalable Maximum Likelihood Method for Quantum State Tomography

abstract:
  The principle of maximum likelihood reconstruction has proven to yield
satisfactory results in the context of quantum state tomography for many-body
systems of moderate system sizes. Until recently, however, quantum state
tomography has been considered to be infeasible for systems consisting of a
large number of subsystems due to the exponential growth of the Hilbert space
dimension with the number of constituents. Several reconstruction schemes have
been proposed since then to overcome the two main obstacles in quantum
many-body tomography: experiment time and postprocessing resources. Here we
discuss one strategy to address these limitations for the maximum likelihood
principle by adopting a particular state representation to merge a well
established reconstruction algorithm maximizing the likelihood with techniques
known from quantum many-body theory.


title: Group gradings on filiform Lie algebras

abstract:
  We classify, up to isomorphism, gradings by abelian groups on nilpotent
filiform Lie algebras of nonzero rank. In case of rank 0, we describe
conditions to obtain non trivial $\Z_k$-gradings.


title: Non-Abelian tensor hierarchy in (1,0) D=6 superspace

abstract:
  We present a set of constraints on superfield strengths of the non-Abelian
p-form potentials in D=6 (1,0) superspace which reproduces, as their
selfconsistency conditions, the equations of motion of the recently proposed
(1,0) superconformal theory. These include the anti-self-duality conditions for
the field strength of the non-Abelian 2-form potential, duality between field
strengths of the non-Abelian vectors and 3-forms as well as of the non-Abelian
four forms and scalar fields.


title:
Photometric Identification of Objects from Galaxy Evolution Explorer
  Survey and Sloan Digital Sky Survey

abstract:
  We have used GALEX and SDSS observations to extract 7 band photometric
magnitudes for over 80,000 objects in the vicinity of the North Galactic Pole.
Although these had been identified as stars by the SDSS pipeline, we found
through fitting with model SEDs that most were, in fact, of extragalactic
origin. Only about 9% of these objects turned out to be main sequence stars and
about 11% were white dwarfs and red giants collectively, while galaxies and
quasars contributed to the remaining 80% of the data. We have classified these
objects into different spectral types (for the stars) and into different
galactic types (for the galaxies). As part of our fitting procedure, we derive
the distance and extinction to each object and the photometric redshift towards
galaxies and quasars. This method easily allows for the addition of any number
of observations to cover a more diverse range of wavelengths, as well as the
addition of any number of model templates. The primary objective of this work
is to eventually derive a 3-dimensional extinction map of the Milky Way galaxy.


title: On dynamics of semiconjugated entire functions

abstract:
  Let $g$ and $h$ be transcendental entire functions and let $f$ be a
continuous map of the complex plane into itself with $f\circ g=h\circ f.$ Then
$g$ and $h$ are said to be semiconjugated by $f$ and $f$ is called a
semiconjugacy. We consider the dynamical properties of semiconjugated
transcendental entire functions $g$ and $h$ and provide several conditions
under which the semiconjugacy $f$ carries Fatou set of one entire function into
the Fatou set of other entire function appearing in the semiconjugation. We
have also shown that under certain condition on the growth of entire functions
appearing in the semiconjugation, the set of asymptotic values of the
derivative of composition of the entire functions is bounded.


title:
An Adaptable Fast Matrix Multiplication Algorithm, Going Beyond the Myth
  of Decimal War

abstract:
  In this paper we present an adaptable fast matrix multiplication (AFMM)
algorithm, for two nxn dense matrices which computes the product matrix with
average complexity Tavg(n) = d1d2n3 with the acknowledgement that the average
count is obtained for addition as the basic operation rather than
multiplication which is probably the unquestionable choice for basic operation
in existing matrix multiplication algorithms.


title:
Numerical Fitting-based Likelihood Calculation to Speed up the Particle
  Filter

abstract:
  The likelihood calculation of a vast number of particles is the computational
bottleneck for the particle filter in applications where the observation
information is rich. For fast computing the likelihood of particles, a
numerical fitting approach is proposed to construct the Likelihood Probability
Density Function (Li-PDF) by using a comparably small number of so-called
fulcrums. The likelihood of particles is thereby analytically inferred,
explicitly or implicitly, based on the Li-PDF instead of directly computed by
utilizing the observation, which can significantly reduce the computation and
enables real time filtering. The proposed approach guarantees the estimation
quality when an appropriate fitting function and properly distributed fulcrums
are used. The details for construction of the fitting function and fulcrums are
addressed respectively in detail. In particular, to deal with multivariate
fitting, the nonparametric kernel density estimator is presented which is
flexible and convenient for implicit Li-PDF implementation. Simulation
comparison with a variety of existing approaches on a benchmark 1-dimensional
model and multi-dimensional robot localization and visual tracking demonstrate
the validity of our approach.


title: Graded tensoring and crystals

abstract:
  An action of the $\mathfrak{sl}_2$-crystal category on graded/mixed
(integral) category $\mathcal{O}$ `lifting' the usual tensor product is
defined.


title:
CDfdr: A Comparison Density Approach to Local False Discovery Rate
  Estimation

abstract:
  Efron et al. (2001) proposed empirical Bayes formulation of the frequentist
Benjamini and Hochbergs False Discovery Rate method (Benjamini and
Hochberg,1995). This article attempts to unify the `two cultures' using
concepts of comparison density and distribution function. We have also shown
how almost all of the existing local fdr methods can be viewed as proposing
various model specification for comparison density - unifies the vast
literature of false discovery methods under one concept and notation.


title:
Exploiting imperfections: Directed assembly of surface colloids via bulk
  topological defects

abstract:
  We exploit the long-ranged elastic fields inherent to confined nematic liquid
crystals to assemble colloidal particles trapped at the liquid crystal
interface into reconfigurable structures with complex symmetries and packings.
Spherical colloids with homeotropic anchoring trapped at the interface between
air and the nematic liquid crystal 5CB create quadrupolar distortions in the
director field causing particles to repel and consequently form close-packed
assemblies with a triangular habit. Here we report on complex, open structures
organized via interactions with defects in the bulk. Specifically, by confining
the nematic liquid crystal in an array of microposts with homeotropic anchoring
conditions, we cause defect rings to form at well-defined locations in the bulk
of the sample. These defects source elastic deformations that direct the
assembly of the interfacially-trapped colloids into ring-like assemblies, which
recapitulate the defect geometry even when the microposts are completely
immersed in the nematic. When the surface density of the colloids is high, they
form a ring near the defect and a hexagonal lattice far from it. Since
topographically complex substrates are easily fabricated and liquid crystal
defects are readily reconfigured, this work lays the foundation for a new,
robust mechanism to dynamically direct assembly over large areas by controlling
surface anchoring and associated bulk defect structure.


title: A Note on Discrete Gaussian Combinations of Lattice Vectors

abstract:
  We analyze the distribution of $\sum_{i=1}^m v_i \bx_i$ where
$\bx_1,...,\bx_m$ are fixed vectors from some lattice $\cL \subset \R^n$ (say
$\Z^n$) and $v_1,...,v_m$ are chosen independently from a discrete Gaussian
distribution over $\Z$. We show that under a natural constraint on
$\bx_1,...,\bx_m$, if the $v_i$ are chosen from a wide enough Gaussian, the sum
is statistically close to a discrete Gaussian over $\cL$. We also analyze the
case of $\bx_1,...,\bx_m$ that are themselves chosen from a discrete Gaussian
distribution (and fixed).
  Our results simplify and qualitatively improve upon a recent result by
Agrawal, Gentry, Halevi, and Sahai \cite{AGHS13}.


title:
Dependence of soft pion jet properties in the space of relative
  four-dimensional velocities on initial energy

abstract:
  In the paper experimental results obtained by studying of collective and
fractal properties of soft pion jets in the space of relative four-dimensional
velocities in intermediate energy domain 2 - 20 GeV are presented. Fractional
values of cluster dimension are indicated on manifestation of fractal-like
properties by pion jets. The changes of the mean square of the distance between
secondary particles and jet axis, the mean kinetic energy of particles in jets
and the cluster dimension with increasing of collision energy agree with the
hypothesis of manifestation of quark degrees of freedom in processes of pion
jet production at intermediate energies. For the first time the quantitative
estimations are obtained for the low boundary energy at which quark degrees of
freedom start to display itself in production of soft pion jets experimentally.
The value of estimation for this parameter derived with taking into account of
all used collective parameters is (2.8 \pm 0.6) GeV.


title:
Spectral optical monitoring of a double-peaked emission line AGN Arp
  102B: I. Variability of spectral lines and continuum

abstract:
  Here we present results of the long-term (1987-2010) optical spectral
monitoring of the broad line radio galaxy Arp 102B, a prototype of active
galactic nuclei with the double-peaked broad emission lines, usually assumed to
be emitted from an accretion disk.
  To explore the structure of the broad line region (BLR), we analyze the light
curves of the broad H\alpha and H\beta lines and the continuum flux. We aim to
estimate the dimensions of the broad-line emitting regions and the mass of the
central black hole.
  We use the CCF to find lags between the lines and continuum variations. We
investigate in more details the correlation between line and continuum fluxes,
moreover we explore periodical variations of the red-to-blue line flux ratio
using Lomb-Scargle periodograms.
  The line and continuum light curves show several flare-like events. The
fluxes in lines and in the continuum are not showing a big change (around 20%)
during the monitoring period. We found a small correlation between the line and
continuum flux variation, that may indicate that variation in lines has weak
connection with the variation of the central photoionization source. In spite
of a low line-continuum correlation, using several methods, we estimated a time
lag for H\beta around 20 days. The correlation between the H\beta and H\alpha
flux variation is significantly higher than between lines and continuum. During
the monitoring period, the H\beta and H\alpha lines show double-peaked profiles
and we found an indication for a periodical oscillation in the red-to-blue flux
ratio of the H\alpha line. The estimated mass of the central black hole is \sim
1.1 \times 10^8 M\odot that is in an agreement with the mass estimated from the
M-\sigma* relation.


title: Group Lasso for generalized linear models in high dimension

abstract:
  Nowadays an increasing amount of data is available and we have to deal with
models in high dimension (number of covariates much larger than the sample
size). Under sparsity assumption it is reasonable to hope that we can make a
good estimation of the regression parameter. This sparsity assumption as well
as a block structuration of the covariates into groups with similar modes of
behavior is for example quite natural in genomics. A huge amount of scientific
literature exists for Gaussian linear models including the Lasso estimator and
also the Group Lasso estimator which promotes group sparsity under an a priori
knowledge of the groups. We extend this Group Lasso procedure to generalized
linear models and we study the properties of this estimator for sparse
high-dimensional generalized linear models to find convergence rates. We
provide oracle inequalities for the prediction and estimation error under
assumptions on the covariables and under a condition on the design matrix. We
show the ability of this estimator to recover good sparse approximation of the
true model. At last we extend these results to the case of an Elastic net
penalty and we apply them to the so-called Poisson regression case which has
not been studied in this context contrary to the logistic regression.


title: On the Parameterized Complexity of Reconfiguration Problems

abstract:
  We present the first results on the parameterized complexity of
reconfiguration problems, where a reconfiguration version of an optimization
problem $Q$ takes as input two feasible solutions $S$ and $T$ and determines if
there is a sequence of {\em reconfiguration steps} that can be applied to
transform $S$ into $T$ such that each step results in a feasible solution to
$Q$. For most of the results in this paper, $S$ and $T$ are subsets of vertices
of a given graph and a reconfiguration step adds or deletes a vertex. Our study
is motivated by recent results establishing that for most NP-hard problems, the
classical complexity of reconfiguration is PSPACE-complete. We address the
question for several important graph properties under two natural
parameterizations: $k$, the size of the solutions, and $\ell$, the length of
the sequence of steps. Our first general result is an algorithmic paradigm, the
{\em reconfiguration kernel}, used to obtain fixed-parameter algorithms for the
reconfiguration versions of {\sc Vertex Cover} and, more generally, {\sc
Bounded Hitting Set} and {\sc Feedback Vertex Set}, all parameterized by $k$.
In contrast, we show that reconfiguring {\sc Unbounded Hitting Set} is
$W[2]$-hard when parameterized by $k+\ell$. We also demonstrate the
$W[1]$-hardness of the reconfiguration versions of a large class of
maximization problems parameterized by $k+\ell$, and of their corresponding
deletion problems parameterized by $\ell$; in doing so, we show that there
exist problems in FPT when parameterized by $k$, but whose reconfiguration
versions are $W[1]$-hard when parameterized by $k+\ell$.


title:
Collective Mind: cleaning up the research and experimentation mess in
  computer engineering using crowdsourcing, big data and machine learning

abstract:
  Software and hardware co-design and optimization of HPC systems has become
intolerably complex, ad-hoc, time consuming and error prone due to enormous
number of available design and optimization choices, complex interactions
between all software and hardware components, and multiple strict requirements
placed on performance, power consumption, size, reliability and cost. We
present our novel long-term holistic and practical solution to this problem
based on customizable, plugin-based, schema-free, heterogeneous, open-source
Collective Mind repository and infrastructure with unified web interfaces and
on-line advise system. This collaborative framework distributes analysis and
multi-objective off-line and on-line auto-tuning of computer systems among many
participants while utilizing any available smart phone, tablet, laptop, cluster
or data center, and continuously observing, classifying and modeling their
realistic behavior. Any unexpected behavior is analyzed using shared data
mining and predictive modeling plugins or exposed to the community at
cTuning.org for collaborative explanation, top-down complexity reduction,
incremental problem decomposition and detection of correlating program,
architecture or run-time properties (features). Gradually increasing
optimization knowledge helps to continuously improve optimization heuristics of
any compiler, predict optimizations for new programs or suggest efficient
run-time (online) tuning and adaptation strategies depending on end-user
requirements. We decided to share all our past research artifacts including
hundreds of codelets, numerical applications, data sets, models, universal
experimental analysis and auto-tuning pipelines, self-tuning machine learning
based meta compiler, and unified statistical analysis and machine learning
plugins in a public repository to initiate systematic, reproducible and
collaborative research, development and experimentation with a new publication
model where experiments and techniques are validated, ranked and improved by
the community.


title:
A mass-structured individual-based model of the chemostat: convergence
  and simulation

abstract:
  We propose a model of chemostat where the bacterial population is
individually-based, each bacterium is explicitly represented and has a mass
evolving continuously over time. The substrate concentration is represented as
a conventional ordinary differential equation. These two components are coupled
with the bacterial consumption. Mechanisms acting on the bacteria are
explicitly described (growth, division and up-take). Bacteria interact via
consumption. We set the exact Monte Carlo simulation algorithm of this model
and its mathematical representation as a stochastic process. We prove the
convergence of this process to the solution of an integro-differential equation
when the population size tends to infinity. Finally, we propose several
numerical simulations.


title: Extending tensors on polar manifolds

abstract:
  Let $M$ be a Riemannian manifold with a polar action by the Lie group $G$,
with section $\Sigma\subset M$ and generalized Weyl group $W$. We show that
restriction to $\Sigma$ is a surjective map from the set of smooth
$G$-invariant tensors on $M$ onto the set of smooth $W$-invariant tensors on
$\Sigma$. Moreover, we show that every smooth $W$-invariant Riemannian metric
on $\Sigma$ can be extended to a smooth $G$-invariant Riemannian metric on $M$
with respect to which the $G$-action remains polar with the same section
$\Sigma$.


title: Shadow gap in the over-doped (Ba$_{1-x}$K$_x$)Fe$_2$As$_2$ compound

abstract:
  The electron band around $M$ point in (Ba$_{1-x}$K$_x$)Fe$_2$As$_2$ compound
-- completely lifted above the Fermi level for $x > 0.7$ and hence has no Fermi
Surface (FS) -- can still form an isotropic s-wave gap ($\Delta_e$) and it is
the main pairing resource generating an s-wave gap ($\Delta_h$) with an
opposite sign on the hole pocket around $\Gamma$ point. The electron band
developing the SC order parameter $\Delta_e$ but having no FS displays a {\it
shadow gap} feature which will be easily detected by various experimental
probes such as angle-resolved photoemission spectroscopy (ARPES) and scanning
tunneling microscope (STM). Finally, the formation of the nodal gap
$\Delta_{nodal}$ with $A_{1g}$ symmetry on the other hole pocket with a larger
FS is stabilized due to the balance of the interband pairing interactions from
the main hole band gap $\Delta_h=+\Delta$ and the hidden electron band gap
$\Delta_e = -\Delta$.


title: Flory theory for Polymers

abstract:
  We review various simple analytical theories for homopolymers within a
unified framework. The common guideline of our approach is the Flory theory,
and its various avatars, with the attempt of being reasonably self-contained.
We expect this review to be useful as an introduction to the topic at the
graduate students level.


title:
Properties of Hadamard directional derivatives: Denjoy-Young-Saks
  theorem for functions on Banach spaces

abstract:
  The classical Denjoy-Young-Saks theorem on Dini derivatives of arbitrary
functions $f: \R \to \R$ was extended by U.S. Haslam-Jones (1932) and A.J. Ward
(1935) to arbitrary functions on $\R^2$. This extension gives the strongest
relation among upper and lower Hadamard directional derivatives $f^+_H (x,v)$,
$f^-_H (x,v)$ ($v \in X$) which holds almost everywhere for an arbitrary
function $f:\R^2\to \R$. Our main result extends the theorem of Haslam-Jones
and Ward to functions on separable Banach spaces.


title: Relation between the first and second moments of distributions

abstract:
  A condition on the location of the centre of a mass (or probability)
distribution is found if its second moments are given. The result is applied to
the relation between the centre of mass and the inertia matrix of bodies. An
example is given to illustrate the importance of this condition.


title: Critical behavior of the exclusive queueing process

abstract:
  The exclusive queueing process (EQP) is a generalization of the classical
M/M/1 queue. It is equivalent to a totally asymmetric exclusion process (TASEP)
of varying length. Here we consider two discrete-time versions of the EQP with
parallel and backward-sequential update rules. The phase diagram (with respect
to the arrival probability \alpha\ and the service probability \beta) is
divided into two phases corresponding to divergence and convergence of the
system length. We investigate the behavior on the critical line separating
these phases. For both update rules, we find diffusive behavior for small
output probability (\beta<\beta_c). However, for \beta>\beta_c it becomes
sub-diffusive and nonuniversal: the exponents characterizing the divergence of
the system length and the number of customers are found to depend on the update
rule. For the backward-update case, they also depend on the hopping parameter
p, and remain finite when p is large, indicating a first order transition.


title: On the maximal inequalities of Burkholder, Davis and Gundy

abstract:
  We give a proof of the maximal inequalities of Burkholder, Davis and Gundy
for real as well as Hilbert-space-valued local martingales using almost only
stochastic calculus. Some parts of the exposition, especially in the infinite
dimensional case, appear to be original.


title: Saccheri's Rectilinear Quadrilaterals

abstract:
  We study Saccheri`s three hypotheses on a two right-angled isosceles
quadrilateral, with a rectilinear summit side. We claim that in the Hilbert`s
foundation of geometry the euclidean parallelism is a theorem, and in the
h-plane the hyperbolic parallelism under a hyperbolic transformation has image
the euclidean parallelism. We prove that Saccheri`s rectilinear quadrilaterals
can be only rectangle. Finally we believe that the independence of the
euclidean parallel postulate is just a matter of philosophy of logic.


title: Reducibility of nilpotent commuting varieties

abstract:
  Let $\N_n$ be the set of nilpotent $n$ by $n$ matrices over an algebraically
closed field $k$. For each $r\ge 2$, let $C_r(\N_n)$ be the variety consisting
of all pairwise commuting $r$-tuples of nilpotent matrices. It is well-kown
that $C_2(\N_n)$ is irreducible for every $n$. We study in this note the
reducibility of $C_r(\N_n)$ for various values of $n$ and $r$. In particular it
will be shown that the reducibility of $C_r(\mathfrak{gl}_n)$, the variety of
commuting $r$-tuples of $n$ by $n$ matrices, implies that of $C_r(\N_n)$ under
certain condition. Then we prove that $C_r(\N_n)$ is reducible for all $n, r\ge
4$. The ingredients of this result are also useful for getting a new lower
bound of the dimensions of $C_r(\N_n)$ and $C_r(\mathfrak{gl}_n)$. Finally, we
investigate values of $n$ for which the variety $C_3(\N_n)$ of nilpotent
commuting triples is reducible.


title: On the theorem of Amitsur--Levitzki

abstract:
  We present a proof of the Amitsur--Levitzki theorem which is a basis for a
general theory of equivariant skew--symmetric maps on matrices.


title: Mixing for some non-uniformly hyperbolic systems

abstract:
  In this work we obtain mixing (and in some cases sharp mixing rates) for a
reasonable large class of invertible systems preserving an infinite measure.
The examples considered here are the invertible analogue of both Markov and non
Markov unit interval maps. Moreover, we obtain results on the decay of
correlation in the finite case of invertible non Markov maps, which, to our
knowledge, were not previously addressed.
  The present method consists of a combination of the framework of operator
renewal theory, as introduced in the context of dynamical systems by Sarig
[39], with the framework of function spaces of distributions developed in the
recent years along the lines of Blank, Keller and Liverani [9].


title:
Tunnel junction of helical edge states: Determining and controlling
  spin-preserving and spin-flipping processes through transconductance

abstract:
  When a constriction is realized in a 2D quantum spin Hall system, electron
tunneling between helical edge states occurs via two types of channels allowed
by time-reversal symmetry, namely spin-preserving ({p}) and spin-flipping ({f})
tunneling processes. Determining and controlling the effects of these two
channels is crucial to the application of helical edge states in spintronics.
We show that, despite the Hamiltonian terms describing these two processes do
not commute, the scattering matrix entries of the related 4-terminal setup
always factorize into products of p-terms and f-terms contributions. Such
factorization provides an operative way to determine the transmission
coefficient $T_p$ and $T_f$ related to each of the two processes, via
transconductance measurements. Furthermore, these transmission coefficients are
also found to be controlled independently by a suitable combination of two gate
voltages applied across the junction. This result holds for an arbitrary
profile of the tunneling amplitudes, including disorder in the tunnel region,
enabling us to discuss the effect of the finite length of the tunnel junction,
and the space modulation of both magnitude and phase of the tunneling
amplitudes.


title:
New class of topological superconductors protected by magnetic group
  symmetries

abstract:
  We study a new type of three-dimensional topological superconductors that
exhibit Majorana zero modes (MZM) protected by a magnetic group symmetry, a
combined antiunitary symmetry composed of a mirror reflection and
time-reversal. This new symmetry enhances the noninteracting topological
classification of a superconducting vortex from $Z_2$ to $Z$, indicating that
multiple MZMs can coexist at the end of one magnetic vortex of unit flux.
Specially, we show that a vortex binding two MZMs can be realized on the
$(001)$-surface of a topological crystalline insulator SnTe with proximity
induced BCS Cooper pairing, or in bulk superconductor In$_x$Sn$_{1-x}$Te.


title:
Proton Kinetic Effects and Turbulent Energy Cascade Rate in the Solar
  Wind

abstract:
  The first observed connection between kinetic instabilities driven by proton
temperature anisotropy and estimated energy cascade rates in the turbulent
solar wind is reported using measurements from the Wind spacecraft at 1 AU. We
find enhanced cascade rates are concentrated along the boundaries of the
($\beta_{\parallel}$, $T_{\perp}/T_{\parallel}$)-plane, which includes regions
theoretically unstable to the mirror and firehose instabilities. A strong
correlation is observed between the estimated cascade rate and kinetic effects
such as temperature anisotropy and plasma heating, resulting in protons 5-6
times hotter and 70-90% more anisotropic than under typical isotropic plasma
conditions. These results offer new insights into kinetic processes in a
turbulent regime.


title: Bias of the SIR filter in estimation of the state transition noise

abstract:
  This Note investigates the bias of the sampling importance resampling (SIR)
filter in estimation of the state transition noise in the state space model.
The SIR filter may suffer from sample impoverishment that is caused by the
resampling and therefore will benefit from a sampling proposal that has a
heavier tail, e.g. the state transition noise simulated for particle
preparation is bigger than the true noise involved with the state dynamics.
This is because a comparably big transition noise used for particle propagation
can spread overlapped particles to counteract impoverishment, giving better
approximation of the posterior. As such, the SIR filter tends to yield a biased
(bigger-than-the-truth) estimate of the transition noise if it is unknown and
needs to be estimated, at least, in the forward-only filtering estimation. The
bias is elaborated via the direct roughening approach by means of both
qualitative logical deduction and quantitative numerical simulation.


title: Unbounded Products of Operators and Connections to Dirac-Type Operators

abstract:
  Let $A$ and $B$ be two densely defined unbounded closeable operators in a
Hilbert space such that their unbounded operator products $AB$ and $BA$ are
also densely defined. Then all four operators possess adjoints and we obtain
new inclusion bounds for the operator product closures $\bar{A} \bar{B}$ and
$\bar{AB}$ in terms of new relations among the operator adjoints. These in turn
lead to sharpened understandings for when products of unbounded self-adjoint
and unbounded normal operators are self-adjoint and normal. They also clarify
certain operator-product issues for Dirac operators.


title: Hidden Structure and Function in the Lexicon

abstract:
  How many words are needed to define all the words in a dictionary?
Graph-theoretic analysis reveals that about 10% of a dictionary is a unique
Kernel of words that define one another and all the rest, but this is not the
smallest such subset. The Kernel consists of one huge strongly connected
component (SCC), about half its size, the Core, surrounded by many small SCCs,
the Satellites. Core words can define one another but not the rest of the
dictionary. The Kernel also contains many overlapping Minimal Grounding Sets
(MGSs), each about the same size as the Core, each part-Core, part-Satellite.
MGS words can define all the rest of the dictionary. They are learned earlier,
more concrete and more frequent than the rest of the dictionary. Satellite
words, not correlated with age or frequency, are less concrete (more abstract)
words that are also needed for full lexical power.


title:
Experimental characterization of an uniaxial angle cut whispering
  gallery mode resonator

abstract:
  The usual configuration of uniaxial whispering gallery mode resonators is a
disk shaped geometry where the optic axis points along the symmetry axis, a so
called z-cut resonator. Recently x-cut resonators, where the optic axis lies in
the equatorial plane, became of interest as they enable extremely broadband
second harmonic generation. In this paper we report on the properties of a more
generalized system, the so called angle-cut resonator, where the optic axis
exhibits an arbitrary angle against the symmetry axis. We show experimentally
that the modal structure and quality factors are similar to common resonators
but that the polarization properties differ quite significantly: due to the
asymmetry the polarization depends on the equatorial position and is, in
general, elliptical.


title: Nondetection sampling bias in marked presence-only data

abstract:
  1. Species distribution models (SDM) are tools used to determine
environmental features that influence the geographic distribution of species'
abundance and have been used to analyze presence-only records. Analysis of
presence-only records may require correction for nondetection sampling bias to
yield reliable conclusions. In addition, individuals of some species of animals
may be highly aggregated and standard SDMs ignore environmental features that
may influence aggregation behavior. 2. We contend that nondetection sampling
bias can be treated as missing data. Statistical theory and corrective methods
are well developed for missing data, but have been ignored in the literature on
SDMs. We developed a marked inhomogeneous Poisson point process model that
accounted for nondetection and aggregation behavior in animals and tested our
methods on simulated data. 3. Correcting for nondetection sampling bias
requires estimates of the probability of detection which must be obtained from
auxiliary data, as presence-only data do not contain information about the
detection mechanism. Weighted likelihood methods can be used to correct for
nondetection if estimates of the probability of detection are available. We
used an inhomogeneous Poisson point process model to model group abundance, a
zero-truncated generalized linear model to model group size, and combined these
two models to describe the distribution of abundance. Our methods performed
well on simulated data when nondetection was accounted for and poorly when
detection was ignored. 4. We recommend researchers consider the effects of
nondetection sampling bias when modeling species distributions using
presence-only data. If information about the detection process is available, we
recommend researchers explore the effects of nondetection and, when warranted,
correct the bias using our methods.


title:
Tunable non-Gaussian resources for continuous-variable quantum
  technologies

abstract:
  We introduce and discuss a set of tunable two-mode states of
continuous-variable systems, as well as an efficient scheme for their
experimental generation. This novel class of tunable entangled resources is
defined by a general ansatz depending on two experimentally adjustable
parameters. It is very ample and flexible as it encompasses Gaussian as well as
non-Gaussian states. The latter include, among others, known states such as
squeezed number states and de-Gaussified photon-added and photon-subtracted
squeezed states, the latter being the most efficient non-Gaussian resources
currently available in the laboratory. Moreover, it contains the classes of
squeezed Bell states and even more general non-Gaussian resources that can be
optimized according to the specific quantum technological task that needs to be
realized. The proposed experimental scheme exploits linear optical operations
and photon detections performed on a pair of uncorrelated two--mode Gaussian
squeezed states. The desired non-Gaussian state is then realized via ancillary
squeezing and conditioning. Two independent, freely tunable experimental
parameters can be exploited to generate different states and to optimize the
performance in implementing a given quantum protocol. As a concrete instance,
we analyze in detail the performance of different states considered as
resources for the realization of quantum teleportation in realistic conditions.
For the fidelity of teleportation of an unknown coherent state, we show that
the resources associated to the optimized parameters outperform, in a
significant range of experimental values, both Gaussian twin beams and
photon-subtracted squeezed states.


title: The Farrell-Jones Conjecture for virtually solvable groups

abstract:
  We prove the K- and L-theoretic Farrell-Jones Conjecture (with coefficients
in additive categories) for virtually solvable groups.


title: Archiving the Relaxed Consistency Web

abstract:
  The historical, cultural, and intellectual importance of archiving the web
has been widely recognized. Today, all countries with high Internet penetration
rate have established high-profile archiving initiatives to crawl and archive
the fast-disappearing web content for long-term use. As web technologies
evolve, established web archiving techniques face challenges. This paper
focuses on the potential impact of the relaxed consistency web design on
crawler driven web archiving. Relaxed consistent websites may disseminate,
albeit ephemerally, inaccurate and even contradictory information. If captured
and preserved in the web archives as historical records, such information will
degrade the overall archival quality. To assess the extent of such quality
degradation, we build a simplified feed-following application and simulate its
operation with synthetic workloads. The results indicate that a non-trivial
portion of a relaxed consistency web archive may contain observable
inconsistency, and the inconsistency window may extend significantly longer
than that observed at the data store. We discuss the nature of such quality
degradation and propose a few possible remedies.


title:
Technology-Enabled Nurturing of Creativity and Innovation: A Specific
  Illustration from an Undergraduate Engineering Physics Course

abstract:
  There is general agreement that creativity and innovation are desirable
traits in the toolbox of 21\textsuperscript{st} century engineers, as well as
in the future workforce in general. However, there is a dearth of exemplars,
pedagogical models, or best practices to be implemented in undergraduate
engineering education to develop and nurture those talents. In this paper, we
use a specific example of a classroom activity from a course designed to help
bridge the transition from learning the fundamental principles of engineering
physics in introductory courses to being able to creatively and innovatively
apply them in more advanced settings, such as senior capstone projects and
on-the-job challenges in the future workplace. Application of techniques for
generating and evaluating ideas are described. To enhance the benefits of group
creativity and facilitate real-time electronic brainstorming in the classroom,
we use InkSurvey with pen-enabled mobile computing devices (iPads, tablet PCs,
Android devices, etc.). Using this free, web-based software in this setting
effectively mitigates many of the social issues that typically plague
brainstorming in a group setting. The focus, instead, is on paying attention to
the ideas of others while encouraging fluency, originality, and honing positive
critical thinking skills. This emphasis is reflected as the group creates a
metric to evaluate their potential solutions. A specific case from
undergraduate and graduate level engineering physics courses is described to
illustrate how the extensive work done in this arena in psychology, marketing,
and business environments can be applied to STEM education. The classroom
process is outlined and actual student results are presented to illustrate the
method for other instructors who might be interested in employing similar
activities in a non-threatening, low-stakes learning environment.


title:
Privacy-Preserving Trust Management Mechanisms from Private Matching
  Schemes

abstract:
  Cryptographic primitives are essential for constructing privacy-preserving
communication mechanisms. There are situations in which two parties that do not
know each other need to exchange sensitive information on the Internet. Trust
management mechanisms make use of digital credentials and certificates in order
to establish trust among these strangers. We address the problem of choosing
which credentials are exchanged. During this process, each party should learn
no information about the preferences of the other party other than strictly
required for trust establishment. We present a method to reach an agreement on
the credentials to be exchanged that preserves the privacy of the parties. Our
method is based on secure two-party computation protocols for set intersection.
Namely, it is constructed from private matching schemes.


title:
Polynomial invariants of degree 4 for even-$n$ qubits and their
  applications in entanglement classification

abstract:
  We develop a simple method for constructing polynomial invariants of degree 4
for even-$n$ qubits and give explicit expressions for these polynomial
invariants. We demonstrate the invariance of the polynomials under stochastic
local operations and classical communication and exemplify the use of the
invariance in classifying entangled states. The absolute values of these
polynomial invariants are entanglement monotones, thereby allowing entanglement
measures to be built. Finally, we discuss the properties of these entanglement
measures.


title:
Chemical vapor deposition of carbon nanotubes on monolayer graphene
  substrates: reduced etching via suppressed catalytic hydrogenation using C2H4

abstract:
  In most envisioned applications, full utilization of a graphene-carbon
nanotube (CNT) construct requires maintaining the integrity of the graphene
layer during the CNT growth step. In this work, we exhibit an approach towards
controlled CNT growth atop graphene substrates where the reaction equilibrium
between source hydrocarbon decomposition and carbon saturation into and
precipitation from the catalyst nanoparticles shifts towards CNT growth rather
than graphene consumption. By utilizing C2H4 feedstock, we demonstrate that the
low temperature growth permissible with this gas suppresses undesirable
catalytic hydrogenation and dramatically reduces the etching of the graphene
layer to exhibit graphene-CNT hybrids with continuous, undamaged structures.


title:
Exact Results In Two-Dimensional (2,2) Supersymmetric Gauge Theories
  With Boundary

abstract:
  We compute the partition function on the hemisphere of a class of
two-dimensional (2,2) supersymmetric field theories including gauged linear
sigma models. The result provides a general exact formula for the central
charge of the D-brane placed at the boundary. It takes the form of
Mellin-Barnes integral and the question of its convergence leads to the grade
restriction rule concerning branes near the phase boundaries. We find
expressions in various phases including the large volume formula in which a
characteristic class called the Gamma class shows up. The two sphere partition
function factorizes into two hemispheres glued by inverse to the annulus. The
result can also be written in a form familiar in mirror symmetry, and suggests
a way to find explicit mirror correspondence between branes.


title: On a Morelli type expression of cohomology classes of torus orbifolds

abstract:
  Let X be a complete toric variety of dimension n and \del the fan in a
lattice N associated to X. For each cone \sigma of \del there corresponds an
orbit closure V(\sigma) of the action of complex torus on X. The homology
classes {[V(\sigma)]| \dim \sigma=k} form a set of specified generators of
H_{n-k}(X,Q). Then any x\in H_{n-k}(X,Q) can be written in the form \[
x=\sum_{\sigma\in\del_X, \dim\sigma=k}\mu(x,\sigma)[V(\sigma)]. \] A question
occurs whether there is some canonical way to express \mu(x,\sigma). Morelli
gave an answer when X is non-singular and at least for x= \T_{n-k}(X) the Todd
class of X. However his answer takes coefficients in the field of rational
functions of degree 0 on the Grassmann manifold G_{n-k+1}(N_Q) of
(n-k+1)-planes in N_Q. His proof uses Baum-Bott's residue formula for
holomorphic foliations applied to the action of complex torus on X.
  On the other hand there appeared several attempts for generalizing
non-singular toric varieties in topological contexts. Such generalized
manifolds of dimension 2n acted on by a compact n dimensional torus T are
called by the names quasi-toric manifolds, torus manifolds, toric manifolds,
toric origami manifolds, topological toric manifolds and so on. Similarly torus
orbifold can be considered. To a torus orbifold $X$ a simplicial set \del_X
called multi-fan of X is associated. A question occurs whether a similar
expression to Morelli's formula holds for torus orbifolds. It will be shown the
answer is yes in this case too at least when the rational cohomology ring
H^*(X)_Q is generated by H^2(X)_Q. Under this assumption the equivariant
cohomology ring with rational coefficients H^*_T(X,Q) is isomorphic to
H^*_T(\del_X,Q), the face ring of the multi-fan \del_X, and the proof is
carried out on H^*_T(\del_X,Q) by using completely combinatorial terms.


title: Thermal photons as a quark-gluon plasma thermometer revisited

abstract:
  Photons are a penetrating probe of the hot medium formed in heavy-ion
collisions, but they are emitted from all collision stages. At photon energies
below 2-3 GeV, the measured photon spectra are approximately exponential and
can be characterized by their inverse logarithmic slope, often called
"effective temperature" $T_\mathrm{eff}$. Modelling the evolution of the
radiating medium hydrodynamically, we analyze the factors controlling the value
of $T_\mathrm{eff}$ and how it is related to the evolving true temperature $T$
of the fireball. We find that at RHIC and LHC energies most photons are emitted
from fireball regions with $T{\,\sim\,}T_\mathrm{c}$ near the quark-hadron
phase transition, but that their effective temperature is significantly
enhanced by strong radial flow. Although a very hot, high pressure early
collision stage is required for generating this radial flow, we demonstrate
that the experimentally measured large effective photon temperatures
$T_\mathrm{eff}{\,>\,}T_\mathrm{c}$, taken alone, do not prove that any
electromagnetic radiation was actually emitted from regions with true
temperatures well above $T_\mathrm{c}$. We explore tools that can help to
provide additional evidence for the relative weight of photon emission from the
early quark-gluon and late hadronic phases. We find that the recently measured
centrality dependence of the total thermal photon yield requires a larger
contribution from late emission than presently encoded in our hydrodynamic
model.


title:
Genus Two Partition and Correlation Functions for Fermionic Vertex
  Operator Superalgebras II

abstract:
  We define and compute the continuous orbifold partition function and a
generating function for all $n$-point correlation functions for the rank two
free fermion vertex operator superalgebra on a genus two Riemann surface formed
by self-sewing a torus. The partition function is proportional to an infinite
dimensional determinant with entries arising from torus Szego kernel and the
generating function is proportional to a finite determinant of genus two Szego
kernels. These results follow from an explicit analysis of all torus $n$-point
correlation functions for intertwiners of the irreducible modules of the
Heisenberg vertex operator algebra. We prove that the partition and $n$-point
correlation functions are holomorphic on a suitable domain and describe their
modular properties. We also describe an identity for the genus two Riemann
theta series analogous to the Jacobi triple product identity.


title: Deformations of holomorphic pseudo-symplectic Poisson manifolds

abstract:
  We prove unobstructed deformations for compact Kaehlerian even-dimensional
Poisson manifolds whose Poisson tensor degenerates along a divisor with mild
singularities. Examples include Hilbert schemes of del Pezzo surfaces.


title:
Fighting Sample Degeneracy and Impoverishment in Particle Filters: A
  Review of Intelligent Approaches

abstract:
  During the last two decades there has been a growing interest in Particle
Filtering (PF). However, PF suffers from two long-standing problems that are
referred to as sample degeneracy and impoverishment. We are investigating
methods that are particularly efficient at Particle Distribution Optimization
(PDO) to fight sample degeneracy and impoverishment, with an emphasis on
intelligence choices. These methods benefit from such methods as Markov Chain
Monte Carlo methods, Mean-shift algorithms, artificial intelligence algorithms
(e.g., Particle Swarm Optimization, Genetic Algorithm and Ant Colony
Optimization), machine learning approaches (e.g., clustering, splitting and
merging) and their hybrids, forming a coherent standpoint to enhance the
particle filter. The working mechanism, interrelationship, pros and cons of
these approaches are provided. In addition, Approaches that are effective for
dealing with high-dimensionality are reviewed. While improving the filter
performance in terms of accuracy, robustness and convergence, it is noted that
advanced techniques employed in PF often causes additional computational
requirement that will in turn sacrifice improvement obtained in real life
filtering. This fact, hidden in pure simulations, deserves the attention of the
users and designers of new filters.


title: Poisson's equation for discrete-time quasi-birth-and-death processes

abstract:
  We consider Poisson's equation for quasi-birth-and-death processes (QBDs) and
we exploit the special transition structure of QBDs to obtain its solutions in
two different forms. One is based on a decomposition through first passage
times to lower levels, the other is based on a recursive expression for the
deviation matrix.
  We revisit the link between a solution of Poisson's equation and perturbation
analysis and we show that it applies to QBDs. We conclude with the PH/M/1 queue
as an illustrative example, and we measure the sensitivity of the expected
queue size to the initial value.


title:
Hybrid preconditioning for iterative diagonalization of ill-conditioned
  generalized eigenvalue problems in electronic structure calculations

abstract:
  The iterative diagonalization of a sequence of large ill-conditioned
generalized eigenvalue problems is a computational bottleneck in quantum
mechanical methods employing a nonorthogonal basis for {\em ab initio}
electronic structure calculations. We propose a hybrid preconditioning scheme
to effectively combine global and locally accelerated preconditioners for rapid
iterative diagonalization of such eigenvalue problems. In partition-of-unity
finite-element (PUFE) pseudopotential density-functional calculations,
employing a nonorthogonal basis, we show that the hybrid preconditioned block
steepest descent method is a cost-effective eigensolver, outperforming current
state-of-the-art global preconditioning schemes, and comparably efficient for
the ill-conditioned generalized eigenvalue problems produced by PUFE as the
locally optimal block preconditioned conjugate-gradient method for the
well-conditioned standard eigenvalue problems produced by planewave methods.


title: Snowmass White Paper CMS Upgrade: Forward Lepton-Photon System

abstract:
  This White Paper outlines a proposal for an upgraded forward region to extend
CMS lepton (e, mu) and photon physics reach out to 2.2<eta<5 for LHC and SLHC,
which also provides better performance for the existing or new forward hadron
calorimetry for jet energy and (eta, phi) measurements, especially under
pileup/overlaps at high lumi, as LHC luminosity, energy and radiation damage
increases.


title: Finding compact hot subdwarf binaries in the Galactic disc

abstract:
  We started a new project which aims to find compact hot subdwarf binaries at
low Galactic latitudes. Targets are selected from several photometric surveys
and a spectroscopic follow-up campaign to find radial velocity variations on
timescales as short as tens of minutes has been started. Once radial variations
are detected phase-resolved spectroscopy is obtained to measure the radial
velocity curve and the mass function of the system. The observing strategy is
described and the discovery of two short period hot subdwarf binaries is
presented. UVEXJ032855.25+503529.8 contains a hot subdwarf B star (sdB) orbited
by a cool M-dwarf in a P=0.11017 days orbit. The lightcurve shows a strong
reflection effect but no eclipses are visible. HS 1741+2133 is a short period
(P=0.20 days) sdB most likely with a white dwarf (WD) companion.


title:
An Updated View of Solar Eruptive Flares and Development of Shocks and
  CMEs: History of the 2006 December 13 GLE-Productive Extreme Event

abstract:
  An extreme 2006 December 13 event marked the onset of the Hinode era being
the last major flare in the solar cycle 23 observed with NoRH and NoRP. The
event produced a fast CME, strong shock, and big particle event responsible for
GLE70. We endeavor to clarify relations between eruptions, shock wave, and the
flare, and to shed light on a debate over the origin of energetic protons. One
concept relates it with flare processes. Another one associates acceleration of
ions with a bow shock driven by a CME at (2-4)R_sun. The latter scenario is
favored by a delayed particle release time after the flare. However, our
previous studies have established that a shock wave is typically excited by an
impulsively erupting magnetic rope (future CME core) during the flare rise,
while the outer CME surface evolves from an arcade whose expansion is driven
from inside. Observations of the 2006 December 13 event reveal two shocks
following each other, whose excitation scenario contradicts the delayed
CME-driven bow-shock hypothesis. Actually, the shocks developed much earlier,
and could accelerate protons still before the flare peak. Then, the two shocks
merged into a single stronger one and only decelerated and dampened long
afterwards.


title:
Adaptive finite elements for semilinear reaction-diffusion systems on
  growing domains

abstract:
  We propose an adaptive finite element method to approximate the solutions to
reaction-diffusion systems on time-dependent domains and surfaces. We derive a
computable error estimator that provides an upper bound for the error in the
semidiscrete (space) scheme. We reconcile our theoretical results with
benchmark computations.


title:
Exponential Quantum-Classical Gaps in Multiparty Nondeterministic
  Communication Complexity

abstract:
  There are three different types of nondeterminism in quantum communication:
i) $\nqp$-communication, ii) $\qma$-communication, and iii)
$\qcma$-communication. In this \redout{paper} we show that multiparty
$\nqp$-communication can be exponentially stronger than $\qcma$-communication.
This also implies an exponential separation with respect to classical
multiparty nondeterministic communication complexity. We argue that there
exists a total function that is hard for $\qcma$-communication and easy for
$\nqp$-communication. The proof of it involves an application of the pattern
tensor method and a new lower bound for polynomial threshold degree. Another
important consequence of this result is that nondeterministic rank can be
exponentially lower than the discrepancy bound.


title:
What can Social Media teach us about protests? Analyzing the Chilean
  2011-12 Student Movement's Network evolution through Twitter data

abstract:
  Using social media data -specially twitter -of the Chilean 2011-12 student
movement, we study their social network evolution over time to analyze how
leaders and participants self-organize and spread information. Based on a few
key events of the student movement's timeline, we visualize the student network
trajectory and analyze their structural and semantic properties. Therefore, in
this paper we: i) describe the basic network topology of the 2011-12 Chilean
massive student movement; ii) explore how the 180 key central nodes of the
movement are connected, self-organize and spread information. We contend that
this social media enabled massive movement is yet another manifestation of the
network era, which leverages agents' socio-technical networks, and thus
accelerates how agents coordinate, mobilize resources and enact collective
intelligence.


title: Block Partitions of Sequences

abstract:
  Given a sequence A=(a1,...,an) of real numbers, a block B of the A is either
a set B={ai,...,aj} where i<=j or the empty set. The size b of a block B is the
sum of its elements. We show that when 0<=ai<=1 and k is a positive integer,
there is a partition of A into k blocks B1,...,Bk with |bi-bj|<=1 for every i,
j. We extend this result in many directions.


title:
Distinguishing $s^{\pm}$ and $s^{++}$ electron pairing symmetries by
  neutron spin resonance in superconducting NaFe$_{0.935}$Co$_{0.045}$As

abstract:
  A determination of the superconducting (SC) electron pairing symmetry forms
the basis for establishing a microscopic mechansim for superconductivity. For
iron pnictide superconductors, the $s^\pm$-pairing symmetry theory predicts the
presence of a sharp neutron spin resonance at an energy below the sum of hole
and electron SC gap energies ($E\leq 2\Delta$) below $T_c$. On the other hand,
the $s^{++}$-pairing symmetry expects a broad spin excitation enhancement at an
energy above $2\Delta$ below $T_c$. Although the resonance has been observed in
iron pnictide superconductors at an energy below $2\Delta$ consistent with the
$s^\pm$-pairing symmetry, the mode has also be interpreted as arising from the
$s^{++}$-pairing symmetry with $E\ge 2\Delta$ due to its broad energy width and
the large uncertainty in determining the SC gaps. Here we use inelastic neutron
scattering to reveal a sharp resonance at E=7 meV in SC
NaFe$_{0.935}$Co$_{0.045}$As ($T_c = 18$ K). On warming towards $T_c$, the mode
energy hardly softens while its energy width increases rapidly. By comparing
with calculated spin-excitations spectra within the $s^{\pm}$ and
$s^{++}$-pairing symmetries, we conclude that the ground-state resonance in
NaFe$_{0.935}$Co$_{0.045}$As is only consistent with the $s^{\pm}$-pairing, and
is inconsistent with the $s^{++}$-pairing symmetry.


title:
Understanding the Benefits of Open Access in Femtocell Networks:
  Stochastic Geometric Analysis in the Uplink

abstract:
  We introduce a comprehensive analytical framework to compare between open
access and closed access in two-tier femtocell networks, with regard to uplink
interference and outage. Interference at both the macrocell and femtocell
levels is considered. A stochastic geometric approach is employed as the basis
for our analysis. We further derive sufficient conditions for open access and
closed access to outperform each other in terms of the outage probability,
leading to closed-form expressions to upper and lower bound the difference in
the targeted received power between the two access modes. Simulations are
conducted to validate the accuracy of the analytical model and the correctness
of the bounds.


title: Relativistic helicity and link in Minkowski space-time

abstract:
  A relativistic helicity has been formulated in the four-dimensional Minkowski
space-time. Whereas the relativistic distortion of space-time violates the
conservation of the conventional helicity, the newly defined relativistic
helicity conserves in a barotropic fluid or plasma, dictating a fundamental
topological constraint. The relation between the helicity and the vortex-line
topology has been delineated by analyzing the linking number of vortex
filaments which are singular differential forms representing the pure states of
Banach algebra. While the dimension of space-time is four, vortex filaments
link, because vorticities are primarily 2-forms and the corresponding 2-chains
link in four dimension; the relativistic helicity measures the linking number
of vortex filaments that are proper-time cross-sections of the vorticity
2-chains. A thermodynamic force yields an additional term in the vorticity, by
which the vortex filaments on a reference-time plane are no longer pure states.
However, the vortex filaments on a proper-time plane remain to be pure states,
if the thermodynamic force is exact (barotropic), thus, the linking number of
vortex filaments conserves.


title: Possible Transit Timing Variations of the TrES-3 Planetary System

abstract:
  Five newly observed transit light curves of the TrES-3 planetary system are
presented. Together with other light curve data from literature, 23 transit
light curves in total, which cover an overall timescale of 911 epochs, have
been analyzed through a standard procedure. From these observational data, the
system's orbital parameters are determined and possible transit timing
variations are investigated. Given that a null transit-timing-variation
produces a fit with reduced chi^2=1.52, our results agree with previous work,
that transit timing variations might not exist in these data. However, a
1-frequency oscillating transit-timing-variation model, giving a fit with a
reduced chi^2=0.93, does possess a statistically higher probability. It is,
thus, concluded that future observations and dynamical simulations for this
planetary system will be very important.


title: Nonasymptotic densities for shape reconstruction

abstract:
  In this work, we study the problem of reconstructing shapes from simple
nonasymptotic densities measured only along shape boundaries. The particular
density we study is also known as the integral area invariant and corresponds
to the area of a disk centered on the boundary that is also inside the shape.
It is easy to show uniqueness when these densities are known for all radii in a
neighborhood of r = 0, but much less straightforward when we assume that we
only know the area invariant and its derivatives for only one r > 0. We present
variations of uniqueness results for reconstruction (modulo translation and
rotation) of polygons and (a dense set of) smooth curves under certain
regularity conditions.


title: On some new global existence result of 3D Magnetohydrodynamic equations

abstract:
  This paper is devoted to the incompressible Magenetohydrodynamic equations in
$\R^3$. We prove that if the difference between the magnetic field and the
velocity is small initially then it will remain forever, thus results in global
strong solution without smallness restriction on the size of initial velocity
or magnetic field. In other words, magnetic field can indeed regularize the
Navier-Stokes equations, due to cancelation.


title: Contractive maps in locally transitive relational metric spaces

abstract:
  Some fixed point results are given for a class of Meir-Keeler contractive
maps acting on metric spaces endowed with locally transitive relations.
Technical connections with the related statements due to Berzig et al [Abstr.
Appl. Anal., Volume 2013, Article ID 259768] are also being discussed.


title:
Anomalous switching in Nb/Ru/Sr2RuO4 topological junctions by chiral
  domain wall motion

abstract:
  A spontaneous symmetry breaking in a system often results in domain wall
formation. The motion of such domain walls is utilized to realize novel devices
like racetrack-memories, in which moving ferromagnetic domain walls store and
carry information. Superconductors breaking time reversal symmetry can also
form domains with degenerate chirality of their superconducting order
parameter. Sr2RuO4 is the leading candidate of a chiral p-wave superconductor,
expected to be accompanied by chiral domain structure. Here, we present that
Nb/Ru/Sr2RuO4 topological superconducting-junctions, with which the phase
winding of order parameter can be effectively probed by making use of
real-space topology, exhibit unusual switching between higher and lower
critical current states. This switching is well explained by chiral-domain-wall
dynamics. The switching can be partly controlled by external parameters such as
temperature, magnetic field and current. These results open up a possibility to
utilize the superconducting chiral domain wall motion for future novel
superconducting devices.


title:
Space-time fractional diffusion equations and asymptotic behaviors of a
  coupled continuous time random walk model

abstract:
  In this paper, we consider a type of continuous time random walk model where
the jump length is correlated with the waiting time. The asymptotic behaviors
of the coupled jump probability density function in the Fourier-Laplace domain
are discussed. The corresponding fractional diffusion equations are derived
from the given asymptotic behaviors. Corresponding to the asymptotic behaviors
of the joint probability density function in the Fourier-Laplace space, the
asymptotic behaviors of the waiting time probability density and the
conditional probability density for jump length are also discussed.


title: Wireless Information and Power Transfer in Multiuser OFDM Systems

abstract:
  In this paper, we study the optimal design for simultaneous wireless
information and power transfer (SWIPT) in downlink multiuser orthogonal
frequency division multiplexing (OFDM) systems. For information transmission,
we consider two types of multiple access schemes, namely, time division
multiple access (TDMA) and orthogonal frequency division multiple access
(OFDMA). At the receiver side, due to the practical limitation that circuits
for harvesting energy from radio signals are not yet able to decode the carried
information directly, each user applies either time switching (TS) or power
splitting (PS) to coordinate the energy harvesting (EH) and information
decoding (ID) processes. For the TDMA-based information transmission, we employ
TS at the receivers; for the OFDMA-based information transmission, we employ PS
at the receivers. Under the above two scenarios, we address the problem of
maximizing the weighted sum-rate over all users by varying the time/frequency
power allocation and either TS or PS ratio, subject to a minimum harvested
energy constraint on each user as well as a peak and/or total transmission
power constraint. For the TS scheme, by an appropriate variable transformation
the problem is reformulated as a convex problem, for which the optimal power
allocation and TS ratio are obtained by the Lagrange duality method. For the PS
scheme, we propose an iterative algorithm to optimize the power allocation,
subcarrier (SC) allocation and the PS ratio for each user. The performances of
the two schemes are compared numerically as well as analytically for the
special case of single-user setup. It is revealed that the peak power
constraint imposed on each OFDM SC as well as the number of users in the system
play a key role in the rate-energy performance comparison by the two proposed
schemes.


title:
Experimental evidence for vibrational resonance and enhanced signal
  transmission in Chua's circuit

abstract:
  We consider a single Chua's circuit and a system of a unidirectionally
coupled n-Chua's circuits driven by a biharmonic signal with two widely
different frequencies \omega and \Omega, where \Omega >> \omega. We show
experimental evidence for vibrational resonance in the single Chua's circuit
and undamped signal propagation of a low-frequency signal in the system of
n-coupled Chua's circuits where only the first circuit is driven by the
biharmonic signal. In the single circuit, we illustrate the mechanism of
vibrational resonance and the influence of the biharmonic signal parameters on
the resonance. In the n(= 75)-coupled Chua's circuits enhanced propagation of
low-frequency signal is found to occur for a wide range of values of the
amplitude of the high-frequency input signal and coupling parameter. The
response amplitude of the ith circuit increases with i and attains a
saturation. Moreover, the unidirectional coupling is found to act as a low-pass
filter.


title: Faster gradient descent and the efficient recovery of images

abstract:
  Much recent attention has been devoted to gradient descent algorithms where
the steepest descent step size is replaced by a similar one from a previous
iteration or gets updated only once every second step, thus forming a {\em
faster gradient descent method}. For unconstrained convex quadratic
optimization these methods can converge much faster than steepest descent. But
the context of interest here is application to certain ill-posed inverse
problems, where the steepest descent method is known to have a smoothing,
regularizing effect, and where a strict optimization solution is not necessary.
  Specifically, in this paper we examine the effect of replacing steepest
descent by a faster gradient descent algorithm in the practical context of
image deblurring and denoising tasks. We also propose several highly efficient
schemes for carrying out these tasks independently of the step size selection,
as well as a scheme for the case where both blur and significant noise are
present.
  In the above context there are situations where many steepest descent steps
are required, thus building slowness into the solution procedure. Our general
conclusion regarding gradient descent methods is that in such cases the faster
gradient descent methods offer substantial advantages. In other situations
where no such slowness buildup arises the steepest descent method can still be
very effective.


title: Five dimensional gauge theories and vertex operators

abstract:
  We study supersymmetric gauge theories in five dimensions, using their
relation to the K-theory of the moduli spaces of torsion free sheaves. In the
spirit of the BPS/CFT correspondence the partition function and the expectation
values of the chiral, BPS protected observables are given by the matrix
elements and more generally by the correlation functions in some q-deformed
conformal field theory in two dimensions. We show that the coupling of the
gauge theory to the bi-fundamental matter hypermultiplet inserts a particular
vertex operator in this theory. In this way we get a generalization of the main
result of \cite{CO} to $K$-theory. The theory of interpolating Macdonald
polynomials is an important tool in our construction.


title:
Singular Phenomena of Solutions for Nonlinear Diffusion Equations
  involving $p(x)$-\hbox{Laplacian} Operator

abstract:
  The authors of this paper study singular phenomena(vanishing and blowing-up
in finite time) of solutions to the homogeneous $\hbox{Dirichlet}$ boundary
value problem of nonlinear diffusion equations involving
$p(x)$-\hbox{Laplacian} operator and a nonlinear source. The authors discuss
how the value of the variable exponent $p(x)$ and initial energy(data) affect
the properties of solutions. At the same time, we obtain the critical
extinction and blow-up exponents of solutions.


title:
Interlayer-Interaction Dependence of Latent Heat in the Heisenberg Model
  on a Stacked Triangular Lattice with Competing Interactions

abstract:
  We study the phase transition behavior of a frustrated Heisenberg model on a
stacked triangular lattice by Monte Carlo simulations. The model has three
types of interactions: the ferromagnetic nearest-neighbor interaction $J_1$ and
antiferromagnetic third nearest-neighbor interaction $J_3$ in each triangular
layer and the ferromagnetic interlayer interaction $J_\perp$. Frustration comes
from the intralayer interactions $J_1$ and $J_3$. We focus on the case that the
order parameter space is SO(3)$\times C_3$. We find that the model exhibits a
first-order phase transition with breaking of the SO(3) and $C_3$ symmetries at
finite temperature. We also discover that the transition temperature increases
but the latent heat decreases as $J_\perp/J_1$ increases, which is opposite to
the behavior observed in typical unfrustrated three-dimensional systems.


title: Path Conditions Help to Locate and Localize Faults from Programs

abstract:
  Precisely and automatically detection of faults in programs, is a software
engineering dream. Every effort in this regard takes us one step closer to
realizing it. Many efforts have been taken from the people of these areas on
testing, verification and debugging. We are proposing such effort for the
research community of this domain is using path conditions to generate a
minimal set of PLOFC (possible lines of faulty code). It's a run time method
that will effectively bring the minimal possible set of faulty lines of code
through the help of path conditions and some heuristics involved. In this paper
we are generating possible fault locations from programs using path conditions
which can put positive impact on the static analysis of programs. Further we
discuss the basic ideas regarding path conditions, the theory, and first
analysis results. This work is based on a previous work that uses the variable
dependences for fault detection. We showed some examples to the applicable of
this idea and can be useful for software verification.


title: Difference Chow Form

abstract:
  In this paper, the generic intersection theory for difference varieties is
presented. Precisely, the intersection of an irreducible difference variety of
dimension $d > 0$ and order $h$ with a generic difference hypersurface of order
$s$ is shown to be an irreducible difference variety of dimension $d-1$ and
order $h+s$. Based on the intersection theory, the difference Chow form for an
irreducible difference variety is defined. Furthermore, it is shown that the
difference Chow form of an irreducible difference variety $V$ is transformally
homogenous and has the same order as $V$.


title:
Constraining possible variations of the fine structure constant in
  strong gravitational fields with the K$\alpha$ iron line

abstract:
  In extensions of general relativity and in theories aiming at unifying
gravity with the forces of the Standard Model, the value of the "fundamental
constants" is often determined by the vacuum expectation value of new fields,
which may thus change in different backgrounds. Variations of fundamental
constants with respect to the values measured today in laboratories on Earth
are expected to be more evident on cosmological timescales and/or in strong
gravitational fields. In this paper, I show that the analysis of the K$\alpha$
iron line observed in the X-ray spectrum of black holes can potentially be used
to probe the fine structure constant $\alpha$ in gravitational potentials
relative to Earth of $\Delta \phi \approx 0.1$. At present, systematic effects
not fully under control prevent to get robust and stringent bounds on possible
variations of the value of $\alpha$ with this technique, but the fact that
current data can be fitted with models based on standard physics already rules
out variations of the fine structure constant larger than some percent.


title: Incidence Posets and Cover Graphs

abstract:
  We prove two theorems concerning incidence posets of graphs, cover graphs of
posets and a related graph parameter. First, answering a question of Haxell, we
show that the chromatic number of a graph is not bounded in terms of the
dimension of its incidence poset, provided the dimension is at least four.
Second, answering a question of K\v{r}\'{i}\v{z} and Ne\v{s}et\v{r}il, we show
that there are graphs with large girth and large chromatic number among the
class of graphs having eye parameter at most two.


title: Extended SUSY SU(5) predicting type-III seesaw testable at LHC

abstract:
  We propose an extension of the SUSY SU(5) which predicts LHC testable
type-III seesaw. The supersymmetric SU(5) GUT model is extended by adding a
24-plet matter superfield along with a pair of $10_H$-plet and
$\bar{10}_H$-plet Higgs superfields. The 24-plet carries a triplet and a
singlet fermion multiplet of SU(2)$_L$, which leads to type I+III seesaw. The
additional $10_H$ (and $\bar{10}_H$) multiplets help in achieving gauge
coupling unification while keeping the triplet fermion mass in the TeV range,
making them accessible at LHC. We study the phenomenology of this model in
detail. Large lepton flavor violation predicted in this model puts severe
constraints on the Yukawa couplings of the triplet fermion. We show that this
smothers the possibility of observing the contribution of the heavy fermions in
neutrinoless double beta decay experiments. The presence of the additional
$10_H$ and $\bar{10}_H$ in this model not only gives gauge coupling
unification, it also leads to very large lepton flavor violation.


title: Super-Fast Distributed Algorithms for Metric Facility Location

abstract:
  This paper presents a distributed O(1)-approximation algorithm, with
expected-$O(\log \log n)$ running time, in the $\mathcal{CONGEST}$ model for
the metric facility location problem on a size-$n$ clique network. Though
metric facility location has been considered by a number of researchers in
low-diameter settings, this is the first sub-logarithmic-round algorithm for
the problem that yields an O(1)-approximation in the setting of non-uniform
facility opening costs. In order to obtain this result, our paper makes three
main technical contributions. First, we show a new lower bound for metric
facility location, extending the lower bound of B\u{a}doiu et al. (ICALP 2005)
that applies only to the special case of uniform facility opening costs. Next,
we demonstrate a reduction of the distributed metric facility location problem
to the problem of computing an O(1)-ruling set of an appropriate spanning
subgraph. Finally, we present a sub-logarithmic-round (in expectation)
algorithm for computing a 2-ruling set in a spanning subgraph of a clique. Our
algorithm accomplishes this by using a combination of randomized and
deterministic sparsification.


title: The Discovery of a New Series of Uniform Polyhedra

abstract:
  This article describes two new families of uniform polyhedra as well as the
construction of the models of some of them. It is possible that these families
have been discovered before, but I have been unable to find any publication
about it. I welcome any information about earlier publication.


title: Improved bounds on sample size for implicit matrix trace estimators

abstract:
  This article is concerned with Monte-Carlo methods for the estimation of the
trace of an implicitly given matrix $A$ whose information is only available
through matrix-vector products. Such a method approximates the trace by an
average of $N$ expressions of the form $\ww^t (A\ww)$, with random vectors
$\ww$ drawn from an appropriate distribution. We prove, discuss and experiment
with bounds on the number of realizations $N$ required in order to guarantee a
probabilistic bound on the relative error of the trace estimation upon
employing Rademacher (Hutchinson), Gaussian and uniform unit vector (with and
without replacement) probability distributions.
  In total, one necessary bound and six sufficient bounds are proved, improving
upon and extending similar estimates obtained in the seminal work of Avron and
Toledo (2011) in several dimensions. We first improve their bound on $N$ for
the Hutchinson method, dropping a term that relates to $rank(A)$ and making the
bound comparable with that for the Gaussian estimator.
  We further prove new sufficient bounds for the Hutchinson, Gaussian and the
unit vector estimators, as well as a necessary bound for the Gaussian
estimator, which depend more specifically on properties of the matrix $A$. As
such they may suggest for what type of matrices one distribution or another
provides a particularly effective or relatively ineffective stochastic
estimation method.


title:
Impact of Temperature-dependent resistivity and thermal conduction on
  plasmoid Instabilities in current sheets in the solar corona

abstract:
  In this paper we investigate, by means of two-dimensional magnetohydrodynamic
simulations, the impact of temperature-dependent resistivity and thermal
conduction on the development of plasmoid instabilities in reconnecting current
sheets in the solar corona. We find that the plasma temperature in the current
sheet region increases with time and it becomes greater than that in the inflow
region. As secondary magnetic islands appear, the highest temperature is not
always found at the reconnection $X$-points, but also inside the secondary
islands. One of the effects of anisotropic thermal conduction is to decrease
the temperature of the reconnecting $X-$points and transfer the heat into the
$O-$points, the plasmoids, where it gets trapped. In the cases with
temperature-dependent magnetic diffusivity, $\eta \sim T^{-3/2}$, the decrease
in plasma temperature at the $X-$points leads to: (i) increase in the magnetic
diffusivity until the characteristic time for magnetic diffusion becomes
comparable to that of thermal conduction; (ii) increase in the reconnection
rate; and, (iii) more efficient conversion of magnetic energy into thermal
energy and kinetic energy of bulk motions. These results provide further
explanation of the rapid release of magnetic energy into heat and kinetic
energy seen during flares and coronal mass ejections. In this work, we
demonstrate that the consideration of anisotropic thermal conduction and
Spitzer-type, temperature-dependent magnetic diffusivity, as in the real solar
corona, are crucially important for explaining the occurrence of fast
reconnection during solar eruptions.