title: Correlations in neutrino-nucleus scattering

abstract:
  We present a detailed study of charged-current quasielastic neutrino-nucleus
scattering and of the influence of correlations on one- and two-nucleon
knockout processes. The quasielastic neutrino-nucleus scattering cross
sections, including the influence of long-range correlations, are evaluated
within a continuum random phase approximation approach. The short-range
correlation formalism is implemented in the impulse approximation by shifting
the complexity induced by the correlations from the wave functions to the
operators. The model is validated by confronting $(e,e^\prime)$ cross-section
predictions with electron scattering data in the kinematic region where the
quasielastic channel is expected to dominate. Further, the
$^{12}$C$(\nu,\mu^-)$ experiments are studied. Double differential cross
sections relevant for neutrino-oscillation $^{12}$C$(\nu,\mu^-)$ cross
sections, accounting for long- and short-range correlations in the one-particle
emission channel and short-range correlations in the two-particle two-hole
channel, are presented for kinematics relevant for recent neutrino-nucleus
scattering measurements.


title:
The fusion dynamics for a positive Q-value system: $^{27}$Al+$^{45}$Sc
  using SEDF and role of spin-orbit interaction potential

abstract:
  The fusion dynamics for a positive Q-value systems: $^{27}$Al+$^{45}$Sc, at
near and deep sub-barrier energies has been investigated using the proximity
potentials of Skyrme energy density formalism in semi classical extended Thomas
Fermi approach for arbitrarily chosen Skyrme forces: SLy4, SIV, SGII and
Proximity77 of Blocki and co-workers. The calculated fusion excitation
functions for the proximity potentials obtained for Skyrme forces mentioned
above and for the Proximity77 have been compared with experimental data. The
proximity potential for Skyrme force SIV is found to be the best and is used in
the calculations of the quantities like logarithmic derivative, barriers
distributions and $S$-factor. Further, the role of spin-orbit interaction
potential in the fusion dynamics of this system has been investigated.


title:
Poetry in Motion: Asteroseismology of Delta Scuti Stars in Binaries
  using Kepler Data

abstract:
  The results of our six year systematic observational survey on candidate
eclipsing binaries with a delta Sct component are briefly presented. A new
catalogue for this kind of systems as well as the properties of their delta Sct
members are also presented. The comparison between the components-pulsators and
the single delta Sct stars shows that both the evolution and the pulsating
properties differ significantly. Finally, we introduce the new era of studying
stellar pulsations using high accuracy data from Kepler mission and emphasizing
the great opportunities that are now opened for a deep knowledge of the
properties of stellar pulsations.


title:
Some geometric structures of wave equations on manifolds of `neutral
  signatures'

abstract:
  In this paper, we study the symmetries and perform other geometric analyses
of the wave equation on some spacetimes {with non diagonal metric $g_{ij}$
which are of neutral signatures}. Wave equations on the standard Lorentzian
manifolds have been done but not on the manifolds from metrics of neutral
signatures.


title: Single Spin Asymmetry in Forward $pA$ Collisions

abstract:
  We compute the transverse single spin asymmetry in light hadron production
$p^\uparrow p\to hX$ and $p^\uparrow A\to hX$ including the gluon saturation
effect in the unpolarized nucleon/nucleus. In the forward (large-$x_F$) region,
the dominant contribution comes from the so-called derivative term associated
with the soft gluonic pole. This leads to the cancellation of nuclear effects
in $A_N$ which can be tested at RHIC. We also show that the soft fermionic pole
disappears in the saturation environment.


title:
Superposed nonlinear waves in coherently coupled Bose-Einstein
  condensates

abstract:
  We study the dynamics of superposed nonlinear waves in coherently coupled
Gross-Pitaevskii (CCGP) equations with constant (autonomous system) and time
varying (non-autonomous system) nonlinearity co-efficients. By employing a
linear transformation, the autonomous CCGP system is converted into two
separate scalar nonlinear Schr\"odinger equations and we show that linear
superposition of different nonlinear wave solutions of these scalar equations
results into several kinds of nonlinear coherent structures namely, coexisting
rogue wave-Ma breather, Akhmediev-Ma breathers, collision and bound states of
Ma breathers and solitons. Next, the non-autonomous CCGP system is converted
into an autonomous CCGP system with a similarity transformation. We show an
interesting possibility of soliton compression and appearance of creeping
solitons for kink-like and periodically modulated nonlinearity coefficient.


title: The Birkhoff theorem for unitary matrices of arbitrary dimensions

abstract:
  It was shown recently that Birkhoff's theorem for doubly stochastic matrices
can be extended to unitary matrices with equal line sums whenever the dimension
of the matrices is prime. We prove a generalization of the Birkhoff theorem for
unitary matrices with equal line sums for arbitrary dimension.


title: On stable commutator lengths of Dehn twists along separating curves

abstract:
  We give new upper bounds on the stable commutator lengths of Dehn twists
along separating curves in the mapping class group of a closed oriented
surface. The estimates of these upper bounds are $O(1/g)$, where $g$ is the
genus of the surface.


title:
Detectability of Granger causality for subsampled continuous-time
  neurophysiological processes

abstract:
  Granger causality is well established within the neurosciences for inference
of directed functional connectivity from neurophysiological data. These data
usually consist of time series which subsample a continuous-time
biophysiological process. While it is well-known that subsampling can lead to
imputation of spurious causal connections where none exist, here we address the
equally important issue of the effects of subsampling on the ability to
reliably detect causal connections which do exist.
  Neurophysiological processes typically feature signal propagation delays on
multiple time scales; accordingly, we base our analysis on a distributed-lag,
continuous-time stochastic model, and consider Granger causality in continuous
time at finite prediction horizons. Via exact analytical solutions, we identify
relationships among sampling frequency, underlying causal time scales and
detectability of causalities. Our analysis reveals complex interactions between
the time scale(s) of neural signal propagation and sampling frequency: we
demonstrate that Granger causality decays exponentially as the sample time
interval increases beyond causal delay times, identify detectability "black
spots" and "sweet spots", and show that subsampling may sometimes improve
detectability. We also demonstrate that the invariance of Granger causality
under causal, invertible filtering fails at finite prediction horizons. We
discuss the implications of our results for inference of Granger causality at
the neural level from various neurophysiological recording modes, and emphasise
that sampling rates for causal analysis of neurophysiological time series
should be informed by domain-specific time scales.


title:
Biconnectivity, $st$-numbering and other applications of DFS using
  $O(n)$ bits

abstract:
  We consider space efficient implementations of some classical applications of
DFS including the problem of testing biconnectivity and $2$-edge connectivity,
finding cut vertices and cut edges, computing chain decomposition and
$st$-numbering of a given undirected graph $G$ on $n$ vertices and $m$ edges.
Classical algorithms for them typically use DFS and some $\Omega (\lg n)$
bits\footnote{We use $\lg$ to denote logarithm to the base $2$.} of information
at each vertex. Building on a recent $O(n)$-bits implementation of DFS due to
Elmasry et al. (STACS 2015) we provide $O(n)$-bit implementations for all these
applications of DFS. Our algorithms take $O(m \lg^c n \lg\lg n)$ time for some
small constant $c$ (where $c \leq 2$). Central to our implementation is a
succinct representation of the DFS tree and a space efficient partitioning of
the DFS tree into connected subtrees, which maybe of independent interest for
designing other space efficient graph algorithms.


title:
Finite Blocklength Performance of Multi-Terminal Wireless Industrial
  Networks

abstract:
  This work focuses on the performance of multi-terminal wireless industrial
networks, where the transmissions of all terminals are required to be scheduled
within a tight deadline. The transmissions thus share a fixed amount of
resources, i.e., symbols, while facing short blocklengths due to the
low-latency requirement. We investigate two distinct relaying strategies,
namely best relay selection among the participating terminals and best antenna
selection at the access point of the network. In both schemes, we incorporate
the cost of acquiring instantaneous Channel State Information (CSI) at the
access point within the transmission deadline. An error probability model is
developed under the finite blocklength regime to provide accurate performance
results. As a reference, this model is compared to the corresponding infinite
bocklength error model. Both analytical models are validated by simulation. We
show that the average Packet Error Rate (PER) over all terminals is convex in
the target error probability at each single link. Moreover, we find that: (i)
The reliability behavior is different for the two strategies, while the
limiting factors are both finite blocklengths and overhead of acquiring CSI.
(ii) With the same order of diversity, best antenna selection is more reliable
than best relay selection. (iii) The average PER is increasing in the number of
participating terminals unless the terminals also act as relay candidates. In
particular, if each participating terminal is a candidate for best relay
selection, the PER is convex in the number of terminals.


title: A Characterization of Sparse Nonstationary Gabor Expansions

abstract:
  We investigate the problem of constructing sparse time-frequency
representations with flexible frequency resolution, studying the theory of
nonstationary Gabor frames in the framework of decomposition spaces. Given a
painless nonstationary Gabor frame, we construct a compatible decomposition
space and prove that the nonstationary Gabor frame forms a Banach frame for the
decomposition space. Furthermore, we show that the decomposition space norm can
be completely characterized by a sparseness condition on the frame coefficients
and we prove an upper bound on the approximation error occurring when
thresholding the frame coefficients for signals belonging to the decomposition
space.


title: The Magnetic Rayleigh-Taylor Instability in Astrophysical Disks

abstract:
  This is our first study of the magnetic Rayleigh-Taylor instability at the
inner edge of an astrophysical disk around a central back hole. We derive the
equations governing small-amplitude oscillations in general relativistic ideal
magnetodydrodynamics and obtain a criterion for the onset of the instability.
We suggest that static disk configurations where magnetic field is held by the
disk material are unstable around a Schwarzschild black hole. On the other
hand, we find that such configurations are stabilized by the spacetime rotation
around a Kerr black hole. We obtain a crude estimate of the maximum amount of
poloidal magnetic flux that can be accumulated around the center, and suggest
that it is proportional to the black hole spin. Finally, we discuss the
astrophysical implications of our result for the theoretical and observational
estimations of the black hole jet power.


title: Two characterisations of groups amongst monoids

abstract:
  The aim of this paper is to solve a problem proposed by Dominique Bourn: to
provide a categorical-algebraic characterisation of groups amongst monoids and
of rings amongst semirings. In the case of monoids, our solution is given by
the following equivalent conditions: (i) $G$ is a group; (ii) $G$ is a Mal'tsev
object, i.e., the category of points over $G$ in the category of monoids is
unital; (iii) $G$ is a protomodular object, i.e., all points over $G$ are
stably strong. We similarly characterise rings in the category of semirings.
  On the way we develop a local or object-wise approach to certain important
conditions occurring in categorical algebra. This leads to a basic theory
involving what we call unital and strongly unital objects, subtractive objects,
Mal'tsev objects and protomodular objects. We explore some of the connections
between these new notions and give examples and counterexamples.


title:
Approximate Smoothing and Parameter Estimation in High-Dimensional
  State-Space Models

abstract:
  We present approximate algorithms for performing smoothing in a class of
high-dimensional state-space models via sequential Monte Carlo methods
("particle filters"). In high dimensions, a prohibitively large number of Monte
Carlo samples ("particles") -- growing exponentially in the dimension of the
state space -- is usually required to obtain a useful smoother. Using blocking
strategies as in Rebeschini and Van Handel (2015) (and earlier pioneering work
on blocking), we exploit the spatial ergodicity properties of the model to
circumvent this curse of dimensionality. We thus obtain approximate smoothers
that can be computed recursively in time and in parallel in space. First, we
show that the bias of our blocked smoother is bounded uniformly in the time
horizon and in the model dimension. We then approximate the blocked smoother
with particles and derive the asymptotic variance of idealised versions of our
blocked particle smoother to show that variance is no longer adversely effected
by the dimension of the model. Finally, we employ our method to successfully
perform maximum-likelihood estimation via stochastic gradient-ascent and
stochastic expectation--maximisation algorithms in a 100-dimensional
state-space model.


title: Two-way relay beamforming optimization for full-duplex SWIPT systems

abstract:
  In this paper, we investigate the problem of two-way relay beamforming
optimization to maximize the achievable sum-rate of a simultaneous wireless
information and power transfer (SWIPT) system with a full-duplex (FD)
multiple-input multiple-output (MIMO) amplify-and-forward (AF) relay. In
particular, we address the optimal joint design of the receiver power splitting
(PS) ratio and the beamforming matrix at the relay node given the channel state
information (CSI). Our contribution is an iterative algorithm based on
difference of convex (DC) programming and one-dimensional searching to achieve
the joint optimal solution. Simulation results are provided to demonstrate the
effectiveness of the proposed algorithm.


title:
Measurement of the cross-section ratio sigma_{psi(2S)}/sigma_{J/psi(1S)}
  in deep inelastic exclusive ep scattering at HERA

abstract:
  The exclusive deep inelastic electroproduction of $\psi(2S)$ and $J/\psi(1S)$
at an $ep$ centre-of-mass energy of 317 GeV has been studied with the ZEUS
detector at HERA in the kinematic range $2 < Q^2 < 80$ GeV$^2$, $30 < W < 210$
GeV and $|t| < 1$ GeV$^2$, where $Q^2$ is the photon virtuality, $W$ is the
photon-proton centre-of-mass energy and $t$ is the squared four-momentum
transfer at the proton vertex. The data for $2 < Q^2 < 5$ GeV$^2$ were taken in
the HERA I running period and correspond to an integrated luminosity of 114
pb$^{-1}$. The data for $5 < Q^2 < 80$ GeV$^2$ are from both HERA I and HERA II
periods and correspond to an integrated luminosity of 468 pb$^{-1}$. The decay
modes analysed were $\mu^+\mu^-$ and $J/\psi(1S) \pi^+\pi^-$ for the $\psi(2S)$
and $\mu^+\mu^-$ for the $J/\psi(1S)$. The cross-section ratio
$\sigma_{\psi(2S)}/\sigma_{J/\psi(1S)}$ has been measured as a function of
$Q^2, W$ and $t$. The results are compared to predictions of QCD-inspired
models of exclusive vector-meson production.


title: Airy point process at the liquid-gas boundary

abstract:
  Domino tilings of the two-periodic Aztec diamond feature all of the three
possible types of phases of random tiling models. These phases are determined
by the decay of correlations between dominoes and are generally known as solid,
liquid and gas. The liquid-solid boundary is easy to define microscopically and
is known in many models to be described by the Airy process in the limit of a
large random tiling. The liquid-gas boundary has no obvious microscopic
description. Using the height function we define a random measure in the
two-periodic Aztec diamond designed to detect the long range correlations
visible at the liquid-gas boundary. We prove that this random measure converges
to the extended Airy point process. This indicates that, in a sense, the
liquid-gas boundary should also be described by the Airy process.


title: E-voting in Estonia

abstract:
  Estonia has one of the most established e-voting systems in the world.
Internet voting - remote e-voting using the voter's own equipment - was piloted
in 2005 with the first real elections using e-voting being conducted the same
year and has been in use ever since. We detail this internet voting system and
discuss how it was developed.


title: Porosities of Mandelbrot Percolation

abstract:
  We study porosities in the Mandelbrot percolation process. We show that,
almost surely at almost all points with respect to the natural measure, the
mean porosities of the set and the natural measure exist and are equal to each
other for all parameter values outside of a countable exceptional set. As a
corollary, we obtain that, almost surely at almost all points, the lower
porosities of the set and the natural measure are equal to zero, whereas the
upper porosities obtain their maximum values.


title:
Markov numbers and Lagrangian cell complexes in the complex projective
  plane

abstract:
  We study Lagrangian embeddings of a class of two-dimensional cell complexes
$L_{p,q}$ into the complex projective plane. These cell complexes, which we
call pinwheels, arise naturally in algebraic geometry as vanishing cycles for
quotient singularities of type $\frac{1}{p^2}(pq-1,1)$ (Wahl singularities). We
show that if a pinwheel admits a Lagrangian embedding into $\mathbf{CP}^2$ then
$p$ is a Markov number and we completely characterise $q$. We also show that a
collection of Lagrangian pinwheels $L_{p_i,q_i}$, $i=1,\ldots,N$, cannot be
made disjoint unless $N\leq 3$ and the $p_i$ form part of a Markov triple.
These results are the symplectic analogue of a theorem of Hacking and
Prokhorov, which classifies complex surfaces with quotient singularities
admitting a $\mathbf{Q}$-Gorenstein smoothing whose general fibre is
$\mathbf{CP}^2$.


title: RDF Graph Alignment with Bisimulation

abstract:
  We investigate the problem of aligning two RDF databases, an essential
problem in understanding the evolution of ontologies. Our approaches address
three fundamental challenges: 1) the use of "blank" (null) names, 2) ontology
changes in which different names are used to identify the same entity, and 3)
small changes in the data values as well as small changes in the graph
structure of the RDF database. We propose approaches inspired by the classical
notion of graph bisimulation and extend them to capture the natural metrics of
edit distance on the data values and the graph structure. We evaluate our
methods on three evolving curated data sets. Overall, our results show that the
proposed methods perform well and are scalable.


title:
Clustering-Based Relational Unsupervised Representation Learning with an
  Explicit Distributed Representation

abstract:
  The goal of unsupervised representation learning is to extract a new
representation of data, such that solving many different tasks becomes easier.
Existing methods typically focus on vectorized data and offer little support
for relational data, which additionally describe relationships among instances.
In this work we introduce an approach for relational unsupervised
representation learning. Viewing a relational dataset as a hypergraph, new
features are obtained by clustering vertices and hyperedges. To find a
representation suited for many relational learning tasks, a wide range of
similarities between relational objects is considered, e.g. feature and
structural similarities. We experimentally evaluate the proposed approach and
show that models learned on such latent representations perform better, have
lower complexity, and outperform the existing approaches on classification
tasks.


title: Five-Loop Running of the QCD coupling constant

abstract:
  We analytically compute the five-loop term in the beta function which governs
the running of $\alpha_s$ --- the quark-gluon coupling constant in QCD. The new
term leads to a reduction of the theory uncertainty in $\alpha_s$ taken at the
Z-boson scale as extracted from the $\tau$-lepton decays as well as to new,
improved by one more order of perturbation theory, predictions for the
effective coupling constants of the Standard Model Higgs boson to gluons and
for its total decay rate to the quark-antiquark pairs.


title:
Theory reconstruction: a representation learning view on predicate
  invention

abstract:
  With this positional paper we present a representation learning view on
predicate invention. The intention of this proposal is to bridge the relational
and deep learning communities on the problem of predicate invention. We propose
a theory reconstruction approach, a formalism that extends autoencoder approach
to representation learning to the relational settings. Our intention is to
start a discussion to define a unifying framework for predicate invention and
theory revision.


title: Bounds on Integrals with Respect to Multivariate Copulas

abstract:
  Finding upper and lower bounds to integrals with respect to copulas is a
quite prominent problem in applied probability. In their 2014 paper, Hofer and
Iaco showed how particular two dimensional copulas are related to optimal
solutions of the two dimensional assignment problem. Using this, they managed
to approximate integrals with respect to two dimensional copulas. In this
paper, we will further illuminate this connection, extend it to d-dimensional
copulas and therefore generalize the method from Hofer and Iaco to arbitrary
dimensions. We also provide convergence statements. As an example, we consider
three dimensional dependence measures.


title: Towards the five-loop Beta function for a general gauge group

abstract:
  We present analytical results for the $N_f^4$ and $N_f^3$ terms of the
five-loop Beta function, for a general gauge group. While the former term
agrees with results available from large-$N_f$ studies, the latter is new and
extends the value known for SU(3) from an independent calculation.


title:
Obtaining the Pre-Inverse of a Power Amplifier using Iterative Learning
  Control

abstract:
  Telecommunication networks make extensive use of power amplifiers to broaden
the coverage from transmitter to receiver. Achieving high power efficiency is
challenging and comes at a price: the wanted linear performance is degraded due
to nonlinear effects. To compensate for these nonlinear disturbances, existing
techniques compute the pre-inverse of the power amplifier by estimation of a
nonlinear model. However, the extraction of this nonlinear model is involved
and requires advanced system identification techniques.
  We used the plant inversion iterative learning control algorithm to
investigate whether the nonlinear modeling step can be simplified. This paper
introduces the iterative learning control framework for the pre-inverse
estimation and predistortion of power amplifiers. The iterative learning
control algorithm is used to obtain a high quality predistorted input for the
power amplifier under study without requiring a nonlinear model of the power
amplifier. In a second step a nonlinear pre-inverse model of the amplifier is
obtained. Both the nonlinear and memory effects of a power amplifier can be
compensated by this approach. The convergence of the iterative approach, and
the predistortion results are illustrated on a simulation of a Motorola LDMOS
transistor based power amplifier and a measurement example using the Chalmers
RF WebLab measurement setup.


title:
Kinetics of Fluid Demixing in Complex Plasmas: Domain Growth Analysis
  using Minkowski Tensors

abstract:
  A molecular dynamics simulation of the demixing process of a binary complex
plasma is analysed and the role of distinct interaction potentials is discussed
by using morphological Minkowski tensor analysis of the minority phase domain
growth in a demixing simulated binary complex plasma. These Minkowski tensor
methods are compared with previous results that utilized a power spectrum
method based on the time-dependent average structure factor. It is shown that
the Minkowski tensor methods are superior to the previously used power spectrum
method in the sense of higher sensitivity to changes in domain size. By
analysis of the slope of the temporal evolution of Minkowski tensor measures
qualitative differences between the case of particle interaction with a single
length scale compared to particle interactions with two different length scales
(dominating long range interaction) are revealed. After proper scaling the
graphs for the two length scale scenario coincide, pointing towards universal
behaviour. The qualitative difference in demixing scenarios is evidenced by
distinct demixing behaviour: In the long range dominated cases demixing occurs
in two stages. At first neighbouring particles agglomerate then domains start
to merge in cascades. However in the case of only one interaction length scale
only agglomeration but no merging of domains can be observed. Thus, Minkowski
Tensor analysis are likely to become a useful tool for further investigation of
this (and other) demixing processes. It is capable to reveal (nonlinear) local
topological properties, probing deeper than (linear) global power spectrum
analysis, however still providing easily interpretable results founded on a
solid mathematical framework.


title:
The energy dependence of the chaoticity $\lambda$ parameter from BEC of
  $\pi$-pairs produced in $pp$ collisions

abstract:
  The $\sqrt{s_{pp}}$ behavior of the chaoticity parameter $\lambda$, derived
from Bose - Einstein Correlations (BEC) of pion-pairs produced in $pp$
collisions, is investigated. Considered are the one and three dimensions (1D,
3D) of the BEC analyzed in terms of a Gaussian and/or Exponential
distributions. A marked difference is observed between the $\lambda$ dependence
on energy in the 1D and the 3D analyzes. The experimental data are examined in
terms of the relation between the pion cluster of sources and the BEC dimension
R which in turn are deduced from the charged outgoing particle multiplicity.
While in this approach the general decrease with energy of the 1D $\lambda$ is
accounted for it fails to represent the few 3D $\lambda$ data which are seen to
remain constant with energy above $\sim$200 GeV.


title:
Universal shape characteristics for the mesoscopic polymer chain via
  dissipative particle dynamics

abstract:
  In this paper we study the shape characteristics of a polymer chain in a good
solvent using a mesoscopic level of modelling. The dissipative particle
dynamics simulations are performed in the $3D$ space at a range of chain
lengths $N$. The scaling laws for the end-to-end distance and gyration radius
are examined first and found to hold for $N\geq 10$ yielding reasonably
accurate value for the Flory exponent $\nu$. Within the same interval of chain
lengths, the asphericity, prolateness, size ratio and other shape
characteristics of the chain are found to become independent of $N$. Their mean
values are found to agree reasonably well with the respective theoretical
results and lattice Monte Carlo simulations. Broad probability distributions
for the shape characteristics are found resembling in form the results of
lattice Monte Carlo simulations. By means of analytic fitting of these
distributions the most probable values for the shape characteristics are found
to supplement their mean values.


title: Iterative Partial Rounding for Vertex Cover with Hard Capacities

abstract:
  We provide a simple and novel algorithmic design technique, for which we call
iterative partial rounding, that gives a tight rounding-based approximation for
vertex cover with hard capacities (VC-HC). In particular, we obtain an
$f$-approximation for VC-HC on hypergraphs, improving over a previous results
of Cheung et al (SODA 2014) to the tight extent. This also closes the gap of
approximation since it was posted by Chuzhoy and Naor in (FOCS 2002). We
believe that our rounding technique is of independence interests when hard
constraints are considered.
  Our main technical tool for establishing the approximation guarantee is a
separation lemma that certifies the existence of a strong partition for
solutions that are basic feasible in an extended version of the natural LP.


title: SCTL: Towards Combining Model Checking and Proof Checking

abstract:
  Model checking and automated theorem proving are two pillars of formal
methods. This paper investigates model checking from an automated theorem
proving perspective, aiming at combining the expressiveness of automated
theorem proving and the complete automaticity of model checking. The focus of
this paper is on the verification of temporal logic properties of Kripke
models. The main contributions of this paper are: first the definition of an
extended computation tree logic that allows polyadic predicate symbols, then a
proof system for this logic, taking Kripke models as parameters, then, the
design of a proof-search algorithm for this calculus and a new automated
theorem prover to implement it. The verification process is completely
automatic, and produces either a counterexample when the property does not
hold, or a certificate when it does. The experimental result compares well to
existing state-of-the-art tools on some benchmarks, including an application to
air traffic control and the design choices that lead to this efficiency are
discussed.


title: Nature of Bosonic Excitations revealed by high-energy charge carriers

abstract:
  We address a long standing problem concerning the origin of bosonic
excitations that strongly interact with charge carriers. We show that the
time-resolved pump-probe experiments are capable to distinguish between regular
bosonic degrees of freedom, e.g. phonons, and the hard-core bosons, e.g.,
magnons. The ability of phonon degrees of freedom to absorb essentially
unlimited amount of energy renders relaxation dynamics nearly independent on
the absorbed energy or the fluence. In contrast, the hard core effects pose
limits on the density of energy stored in the bosonic subsystems resulting in a
substantial dependence of the relaxation time on the fluence and/or excitation
energy. Very similar effects can be observed also in a different setup when the
system is driven by multiple pulses of equal energy.


title:
Simplicity of the the first eigenvalue of (p,q) nonlinear elliptic
  system

abstract:
  In this short note, the simplicity of the first eigenvalue of a nonlinear
system is shown by an alternative proof; thereby, it states that the first
eigenfunctions are unique up to modulo scaling.


title: Towers of torsors over a field

abstract:
  Let $X$ be a projective, connected and smooth scheme defined over an
algebraically closed field $k$. In this paper we prove that a tower of finite
torsors (i.e., under the action of finite $k$-group schemes) can be dominated
by a single finite torsor. Let $G$ be any finite $k$-group scheme and $Y$ any
$G$--torsor over $X$ pointed in $y\,\in\, Y(k)$; we define over $Y$, which may
not be reduced, in a very natural way the categories of Nori-semistable and
essentially finite vector bundles. These categories are proved to be Tannakian.
Their Galois $k$-group schemes $\pi^S(Y,\,y)$ and $\pi^N(Y,\,y)$, respectively,
thus generalize the $S$--fundamental and the Nori fundamental group schemes.
The latter still classifies all the finite torsors over $Y$, pointed over $y$.
We also prove that they fit in short exact sequences involving $\pi^S(X,\,x)$
and $\pi^N(X,\, x)$ respectively, where $x$ is the image of $y$.


title:
All NIRspec needs is HST/WFC3 pre-imaging? The use of Milky Way Stars in
  WFC3 Imaging to Register NIRspec MSA Observations

abstract:
  The James Webb Space Telescope (JWST) will be an exquisite new near-infrared
observatory with imaging and multi-object spectroscopy through ESA's NIRspec
instrument with its unique Micro-Shutter Array (MSA), allowing for slits to be
positioned on astronomical targets by opening specific 0.002"-wide micro
shutter doors.
  To ensure proper target acquisition, the on-sky position of the MSA needs to
be verified before spectroscopic observations start. An onboard centroiding
program registers the position of pre-identified guide stars in a Target
Acquisition (TA) image, a short pre-spectroscopy exposure without dispersion
(image mode) through the MSA with all shutters open.
  The outstanding issue is the availability of Galactic stars in the right
luminosity range for TA relative to typical high redshift targets. We explore
this here using the stars and $z\sim8$ candidate galaxies identified in the
source extractor catalogs of Brightest of Reionizing Galaxies survey
(BoRG[z8]), a pure-parallel program with Hubble Space Telescope Wide-Field
Camera 3.
  We find that (a) a single WFC3 field contains enough Galactic stars to
satisfy the NIRspec astrometry requirement (20 milli-arcseconds), provided its
and the NIRspec TA's are $m_{lim}>24.5$ AB in WFC3 F125W, (b) a single WFC3
image can therefore serve as the pre-image if need be, (c) a WFC3 mosaic and
accompanying TA image satisfy the astrometry requirement at $\sim23$ AB mag in
WFC3 F125W, (d) no specific Galactic latitude requires deeper TA imaging due to
a lack of Galactic stars, and (e) a depth of $\sim24$ AB mag in WFC3 F125W is
needed if a guide star in the same MSA quadrant as a target is required.
  We take the example of a BoRG identified $z\sim8$ candidate galaxy and
require a Galactic star within 20" of it. In this case, a depth of 25.5 AB in
F125W is required (with $\sim$97% confidence).


title:
High-performance hybrid electronic devices from layered PtSe2 films
  grown at low temperature

abstract:
  Layered two-dimensional (2D) materials display great potential for a range of
applications, particularly in electronics. We report the large-scale synthesis
of thin films of platinum diselenide (PtSe2), a thus far scarcely investigated
transition metal dichalcogenide. Importantly, the synthesis by thermal assisted
conversion is performed at 400 {\deg}C, representing a breakthrough for the
direct integration of this novel material with silicon (Si) technology. Besides
the thorough characterization of this new 2D material, we demonstrate its
promise for applications in high-performance gas sensing with extremely short
response and recovery times observed due to the 2D nature of the films.
Furthermore, we realized vertically-stacked heterostructures of PtSe2 on Si
which act as both photodiodes and photovoltaic cells. Thus this study
establishes PtSe2 as a potential candidate for next-generation sensors and
(opto-)electronic devices, using fabrication protocols compatible with
established Si technologies.


title: Generalized geometry lectures on type II backgrounds

abstract:
  The first part of these notes is a self-contained introduction to generalized
complex geometry. It is intended as a `user manual' for tools used in the study
of supersymmetric backgrounds of supergravity. In the second part we review
some past and recent results on the generalized complex structure of
supersymmetric type II vacua in various dimensions.


title: Sp(3,R) Monge geometries in dimension 8

abstract:
  We study a geometry associated with rank 3 distributions in dimension 8,
whose symbol algebra is constant and has a simple Lie algebra sp(3,R) as Tanaka
prolongation. We restrict our considerations to only those distributions that
are defined in terms of a systems of ODEs of the form
  $\dot{z}_{ij}=\frac{\partial^2 f(\dot{x}_1,\dot{x}_2)}{\partial
\dot{x}_i\partial \dot{x}_j}$, $i\leq j=1,2$. For them we built the full system
of local differential invariants, by solving an equivalence problem a'la
Cartan, in the spirit of his 1910's five variable paper. The considered
geometry is a parabolic geometry, and we show that its main invariant - the
harmonic curvature - is a certain quintic. In the case when this quintic is
maximally degenerate but nonzero, we use Cartan's reduction procedure and
reduce the EDS governing the invariants to 11, 10 and 9 dimensions. As a
byproduct all homogeneous models having maximally degenerate harmonic curvature
quintic are found. They have symmetry algebras of dimension 11 (a unique
structue), 10 (a 1-parameter family of nonequivalent structures) or 9
(precisely two nonequivalent structures).


title: Design of geometric phase measurement in EAST Tokamak

abstract:
  The optimum scheme for geometric phase measurement in EAST Tokamak is
proposed in this paper. The theoretical values of geometric phase for the probe
beams of EAST Polarimeter-Interferometer (POINT) system are calculated by path
integration in parameter space. Meanwhile, the influences of some controllable
parameters on geometric phase are evaluated. The feasibility and challenge of
distinguishing geometric effect in the POINT signal are also assessed in
detail.


title: Analysis of time-frequency scattering transforms

abstract:
  In this paper we address the problem of constructing a feature extractor
which combines Mallat's scattering transform framework with time-frequency
(Gabor) representations. To do this, we introduce a class of frames, called
uniform covering frames, which includes a variety of semi-discrete Gabor
systems. Incorporating a uniform covering frame with a neural network structure
yields the Fourier scattering transform $\mathcal{S}_\mathcal{F}$ and the
truncated Fourier scattering transform. We prove that $\mathcal{S}_\mathcal{F}$
propagates energy along frequency decreasing paths and its energy decays
exponentially as a function of the depth. These quantitative estimates are
fundamental in showing that $\mathcal{S}_\mathcal{F}$ satisfies the typical
scattering transform properties, and in controlling the information loss due to
width and depth truncation. We introduce the fast Fourier scattering transform
algorithm, and illustrate the algorithm's performance. The time-frequency
covering techniques developed in this paper are flexible and give insight into
the analysis of scattering transforms.


title: Gravitational Effective Action: A New Method

abstract:
  A new method is introduced for doing calculations of quantum field theories
in planar geometries which the metric depends on just one coordinate. In
contrast to previous method, this method can be used in any planar geometry,
not only weakly curved asymptotically flat ones.


title: Replica approach to mean-variance portfolio optimization

abstract:
  We consider the problem of mean-variance portfolio optimization for a generic
covariance matrix subject to the budget constraint and the constraint for the
expected return, with the application of the replica method borrowed from the
statistical physics of disordered systems. We find that the replica symmetry of
the solution does not need to be assumed, but emerges as the unique solution of
the optimization problem. We also check the stability of this solution and find
that the eigenvalues of the Hessian are positive for $r=N/T<1$, where $N$ is
the dimension of the portfolio and $T$ the length of the time series used to
estimate the covariance matrix. At the critical point $r=1$ a phase transition
is taking place. The out of sample estimation error blows up at this point as
$1/(1-r)$, independently of the covariance matrix or the expected return,
displaying the universality not only of the critical index, but also the
critical point. As a conspicuous illustration of the dangers of in-sample
estimates, the optimal in-sample variance is found to vanish at the critical
point inversely proportional to the divergent estimation error.


title: Realization of the Najafi-Golestanian microswimmer

abstract:
  A paradigmatic microswimmer is the three-linked-spheres model, which follows
a minimalist approach for propulsion by shape shifting. As such, it has been
the subject of numerous analytical and numerical studies. In this Rapid
Communication, an experimental three-linked-spheres swimmer is created by
self-assembling ferromagnetic particles at an air-water interface. It is
powered by a uniform oscillating magnetic field. A model, using two harmonic
oscillators, reproduces the experimental findings. Because the model remains
general, the same approach could be used to design a variety of efficient
microswimmers.


title:
Relativistic Vlasov-Maxwell modelling using finite volumes and adaptive
  mesh refinement

abstract:
  The dynamics of collisionless plasmas can be modelled by the Vlasov-Maxwell
system of equations. An Eulerian approach is needed to accurately describe
processes that are governed by high energy tails in the distribution function,
but is of limited efficiency for high dimensional problems. The use of an
adaptive mesh can reduce the scaling of the computational cost with the
dimension of the problem. Here, we present a relativistic Eulerian
Vlasov-Maxwell solver with block-structured adaptive mesh refinement in one
spatial and one momentum dimension. The discretization of the Vlasov equation
is based on a high-order finite volume method. A flux corrected transport
algorithm is applied to limit spurious oscillations and ensure the physical
character of the distribution function. We demonstrate a speed-up by a factor
of 7x in a typical scenario involving laser-plasma interaction with an
underdense plasma due to the use of an adaptive mesh.


title: The SU(2|3) dynamic two-loop form factors

abstract:
  We compute two-loop form factors of operators in the $SU(2|3)$ closed
subsector of $N=4$ supersymmetric Yang-Mills. In particular, we focus on the
non-protected, dimension-three operators $\mathrm{Tr} (X[Y,Z])$ and
$\mathrm{Tr} ( \psi \psi)$ for which we compute the four possible two-loop form
factors, and corresponding remainder functions, with external states $\langle
\bar{X} \bar{Y} \bar{Z}|$ and $\langle \bar{\psi} \bar{\psi}|$. Interestingly,
the maximally transcendental part of the two-loop remainder of $\langle\bar{X}
\bar{Y} \bar{Z}| \mathrm{Tr} (X[Y,Z]) |0\rangle$ turns out to be identical to
that of the corresponding known quantity for the half-BPS operator $\mathrm{Tr}
(X^3)$. We also find a surprising connection between the terms subleading in
transcendentality and certain a priori unrelated remainder densities introduced
in the study of the spin chain Hamiltonian in the SU(2) sector. Next, we use
our calculation to resolve the mixing, recovering anomalous dimensions and
eigenstates of the dilatation operator in the SU(2|3) sector at two loops. We
also speculate on potential connections between our calculations in $N=4$ super
Yang-Mills and Higgs + multi-gluon amplitudes in QCD in an effective Lagrangian
approach.


title:
Space Weather impact on the degradation of NOAA POES MEPED proton
  detectors

abstract:
  The Medium Energy Proton and Electron Detector (MEPED) on board the National
Oceanic and Atmospheric Administration Polar Orbiting Environmental Satellites
(NOAA POES) is known to degrade with time. In recent years a lot of effort has
been put into calibrating the degraded proton detectors. We make use of
previous work and show that the degradation of the detectors can be attributed
to the radiation dose of each individual instrument. However, the effectiveness
of the radiation in degrading the detector is modulated when it is weighted by
the mean $\textit{ap}$ index, increasing the degradation rate in periods with
high geomagnetic activity, and decreasing it through periods of low activity.
When taking $\textit{ap}$ and the radiation dose into account, we find that the
degradation rate is independent of spacecraft and detector pointing direction.
We have developed a model to estimate the correction factor for all the MEPED
detectors as a function of accumulated corrected flux and the $\textit{ap}$
index. We apply the routine to NOAA POES spacecraft starting with NOAA-15,
including the European satellites MetOp-02 and MetOp-01, and estimate
correction factors.


title:
Dynamic effects of restoring footpoint symmetry on closed magnetic field
  lines

abstract:
  Here we present an event where simultaneous global imaging of the aurora from
both hemispheres reveals a large longitudinal shift of the nightside aurora of
about 3 h, being the largest relative shift reported on from conjugate auroral
imaging. This is interpreted as evidence of closed field lines having very
asymmetric footpoints associated with the persistent positive $\textit{y}$
component of the interplanetary magnetic field before and during the event. At
the same time, the Super Dual Auroral Radar Network observes the ionospheric
nightside convection throat region in both hemispheres. The radar data indicate
faster convection toward the dayside in the dusk cell in the Southern
Hemisphere compared to its conjugate region. We interpret this as a signature
of a process acting to restore symmetry of the displaced closed magnetic field
lines resulting in flux tubes moving faster along the banana cell than the
conjugate orange cell. The event is analyzed with emphasis on Birkeland
currents (BC) associated with this restoring process, as recently described by
Tenfjord et al. (2015). Using data from the Active Magnetosphere and Planetary
Electrodynamics Response Experiment (AMPERE) during the same conditions as the
presented event, the large-scale BC pattern associated with the event is
presented. It shows the expected influence of the process of restoring symmetry
on BCs. We therefore suggest that these observations should be recognized as
being a result of the dynamic effects of restoring footpoint symmetry on closed
field lines in the nightside.


title: Heavy Hadrons in Nuclear Matter

abstract:
  Current studies on heavy hadrons in nuclear medium are reviewed with a
summary of the basic theoretical concepts of QCD, namely chiral symmetry, heavy
quark spin symmetry, and the effective Lagrangian approach. The nuclear matter
is an interesting place to study the properties of heavy hadrons from many
different points of view. We emphasize the importance of the following topics:
(i) charm/bottom hadron-nucleon interaction, (ii) structure of charm/bottom
nuclei, and (iii) QCD vacuum properties and hadron modifications in nuclear
medium. We pick up three different groups of heavy hadrons, quarkonia
($J/\psi$, $\Upsilon$), heavy-light mesons ($D$/$\bar{D}$, $\bar{B}$/$B$) and
heavy baryons ($\Lambda_{c}$, $\Lambda_{b}$). The modifications of those
hadrons in nuclear matter provide us with important information to investigate
the essential properties of heavy hadrons. We also give the discussions about
the heavy hadrons, not only in nuclear matter with infinite volume, but also in
atomic nuclei with finite baryon numbers, to serve future experiments.


title:
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded
  Systems

abstract:
  Multi-core, Mixed Criticality Embedded (MCE) real-time systems require high
timing precision and predictability to guarantee there will be no interference
between tasks. These guarantees are necessary in application areas such as
avionics and automotive, where task interference or missed deadlines could be
catastrophic, and safety requirements are strict. In modern multi-core systems,
the interconnect becomes a potential point of uncertainty, introducing major
challenges in proving behaviour is always within specified constraints,
limiting the means of growing system performance to add more tasks, or provide
more computational resources to existing tasks.
  We present MCENoC, a Network-on-Chip (NoC) switching architecture that
provides innovations to overcome this with predictable, formally verifiable
timing behaviour that is consistent across the whole NoC. We show how the
fundamental properties of Benes networks benefit MCE applications and meet our
architecture requirements. Using SystemVerilog Assertions (SVA), formal
properties are defined that aid the refinement of the specification of the
design as well as enabling the implementation to be exhaustively formally
verified. We demonstrate the performance of the design in terms of size,
throughput and predictability, and discuss the application level considerations
needed to exploit this architecture.


title: Termination control of magnetic coupling at a complex oxide interface

abstract:
  Atomically flat interfaces between ternary oxides have chemically different
variants, depending on the terminating lattice planes of both oxides.
Electronic properties change with the interface termination which affects, for
instance, charge accumulation and magnetic interactions at the interface.
Well-defined terminations have yet rarely been achieved for oxides of ABO3 type
(with metals A, B). Here, we report on a strategy of thin film growth and
interface characterization applied to fabricate the La0.7Sr0.3MnO3-SrRuO3
interface with controlled termination. Ultra-strong antiferromagnetic coupling
between the ferromagnets occurs at the MnO2-SrO interface, but not for the
other termination, in agreement with density functional calculations. X-ray
magnetic circular dichroism measurements reveal coupled reversal of Mn and Ru
magnetic moments at the MnO2-SrO interface. Our results demonstrate termination
control of magnetic coupling across a complex oxide interface and provide a
pathway for theoretical and experimental explorations of novel electronic
interface states with engineered magnetic properties.


title: Winds of change: reionization by starburst galaxies

abstract:
  We investigate the properties of the galaxies that reionized the Universe and
the history of cosmic reionization using the "Evolution and Assembly of
GaLaxies and their environments" (EAGLE) cosmological hydrodynamical
simulations. We obtain the evolution of the escape fraction of ionizing photons
in galaxies assuming that galactic winds create channels through which
20~percent of photons escape when the local surface density of star formation
is greater than $0.1$ M$_\odot$ yr$^{-1}$ kpc$^{-2}$. Such threshold behaviour
for the generation of winds is observed, and the rare local objects which have
such high star formation surface densities exhibit high escape fractions of
$\sim 10$ percent. In our model the luminosity-weighted mean escape fraction
increases with redshift as $\bar f_{\rm esc}=0.045~((1+z)/4)^{1.1}$ at $z>3$,
and the galaxy number weighted mean as $\langle f_{\rm esc}
\rangle=2.2\times10^{-3}~((1+z)/4)^4$, and becomes constant $\approx0.2$ at
redshift $z>10$. The escape fraction evolves as an increasingly large fraction
of stars forms above the critical surface density of star formation at earlier
times. This evolution of the escape fraction, combined with that of the star
formation rate density from EAGLE, reproduces the inferred evolution of the
filling factor of ionized regions during the reionization epoch ($6<z<8$), the
evolution of the post-reionization ($0\leq z<6$) hydrogen photoionisation rate,
and the optical depth due to Thomson scattering of the cosmic microwave
background photons measured by the Planck satellite.


title:
Hierarchical Neural Language Models for Joint Representation of
  Streaming Documents and their Content

abstract:
  We consider the problem of learning distributed representations for documents
in data streams. The documents are represented as low-dimensional vectors and
are jointly learned with distributed vector representations of word tokens
using a hierarchical framework with two embedded neural language models. In
particular, we exploit the context of documents in streams and use one of the
language models to model the document sequences, and the other to model word
sequences within them. The models learn continuous vector representations for
both word tokens and documents such that semantically similar documents and
words are close in a common vector space. We discuss extensions to our model,
which can be applied to personalized recommendation and social relationship
mining by adding further user layers to the hierarchy, thus learning
user-specific vectors to represent individual preferences. We validated the
learned representations on a public movie rating data set from MovieLens, as
well as on a large-scale Yahoo News data comprising three months of user
activity logs collected on Yahoo servers. The results indicate that the
proposed model can learn useful representations of both documents and word
tokens, outperforming the current state-of-the-art by a large margin.


title: On prime factors of Mersenne numbers

abstract:
  Let $(M_n)_{n\geq0}$ be the Mersenne sequence defined by $M_n=2^n-1$. Let
$\omega(n)$ be the number of distinct prime divisors of $n.$ In this short
note, we present a description of the Mersenne numbers satisfying
$\omega(M_n)\leq3$. Moreover, we prove that the inequality, given $\epsilon>0$,
$\omega(M_n)> 2^{(1-\epsilon)\log\log n} -3 $ holds for almost all positive
integers $n$. Besides, we present the integer solutions $(m,n,a)$ of the
equation $M_m+M_n=2p^a$ with $m,n\geq2$, $p$ an odd prime number and $a$ a
positive integer.


title: Leben und Werk von Egbert Brieskorn (1936 - 2013)

abstract:
  Egbert Brieskorn died on July 11, 2013, a few days after his 77th birthday.
He was an impressive personality who has left a lasting impression on all who
knew him, whether inside or outside of mathematics. Brieskorn was a great
mathematician, but his interests, his knowledge, and activities ranged far
beyond mathematics. In this contribution, which is strongly influenced by many
years of personal connectedness of the authors with Brieskorn, we try to give a
deeper insight into the life and work of Brieskorn. We illuminate both his
personal commitment to peace and the environment as well as his long-term study
of the life and work of Felix Hausdorff and the publication of Hausdorff's
collected works. However, the main focus of the article is on the presentation
of his remarkable and influential mathematical work.


title: Generalized immediate exchange models and their symmetries

abstract:
  We reconsider the immediate exchange model and define a more general class of
models where mass is split, exchanged and merged. We relate the splitting
process to the symmetric inclusion process via thermalization and from that
obtain symmetries and self-duality of the generalized IEM model. We show that
analogous properties hold for models were the splitting is related to the
symmetric exclusion process or to independent random walkers.


title: Anomalous diffusion in convergence to effective ergodicity

abstract:
  Power-law exponents in the convergence to effective ergodicity is quantified
for Ising-Lenz model in one dimension. Modified Thirumalai-Mountain (TM) metric
for magnetisation is computed for the range of temperature values under
strongly correlated dynamics. In producing evolution of TM metric over time,
time-averaged dynamics is generated by using Metropolis and Glauber
single-spin-flip dynamics, and ensemble-averaged dynamics with an exact
solution. Superdiffusive behaviour is numerically identified in the parameter
regimes studied, i.e., power-law exponents, $\alpha > 1.0$.


title: Scalable image coding based on epitomes

abstract:
  In this paper, we propose a novel scheme for scalable image coding based on
the concept of epitome. An epitome can be seen as a factorized representation
of an image. Focusing on spatial scalability, the enhancement layer of the
proposed scheme contains only the epitome of the input image. The pixels of the
enhancement layer not contained in the epitome are then restored using two
approaches inspired from local learning-based super-resolution methods. In the
first method, a locally linear embedding model is learned on base layer patches
and then applied to the corresponding epitome patches to reconstruct the
enhancement layer. The second approach learns linear mappings between pairs of
co-located base layer and epitome patches. Experiments have shown that
significant improvement of the rate-distortion performances can be achieved
compared to an SHVC reference.


title: On Hadamard products of linear varieties

abstract:
  In this paper we address the Hadamard product of linear varieties not
necessarily in general position.
  In $\mathbb{P}^2$ we obtain a complete description of the possible outcomes.
In particular, in the case of two disjoint finite sets X and X' of collinear
points, we get conditions for their hadamard product to be either a collinear
finite set of points or a grid of | X|| X'| points.
  In $\mathbb{P}^3,$ under suitable conditions (which we prove to be generic),
we show that the hadamard product of X and X' consists of | X||X'| points on
the two different rulings of a non-degenerate quadric and we compute its
Hilbert function in the case |X| = |X'|.


title:
Energetic electron precipitation into the middle atmosphere -
  Constructing the loss cone fluxes from MEPED POES

abstract:
  The impact of energetic electron precipitation (EEP) on the chemistry of the
middle atmosphere (50-90 km) is still an outstanding question as accurate
quantification of EEP is lacking due to instrumental challenges and
insufficient pitch angle coverage of current particle detectors. The Medium
Energy Proton and Electron Detectors (MEPED) instrument on board the NOAA/Polar
Orbiting Environmental Satellites(POES) and MetOp spacecraft has two sets of
electron and proton telescopes pointing close to zenith ($0 ^{\circ}$) and in
the horizontal plane ($90 ^{\circ}$). Using measurements from either the $0
^{\circ}$ or $90 ^{\circ}$ telescope will underestimate or overestimate the
bounce loss cone flux, respectively, as the energetic electron fluxes are often
strongly anisotropic with decreasing fluxes toward the center of the loss cone.
By combining the measurements from both telescopes with electron pitch angle
distributions from theory of wave-particle interactions in the magnetosphere, a
complete bounce loss cone flux is constructed for each of the electron energy
channels >50 keV, >100 keV, and >300 keV. We apply a correction method to
remove proton contamination in the electron counts. We also account for the
relativistic (>1000 keV) electrons contaminating the proton detector at
subauroral latitudes. This gives us full range coverage of electron energies
that will be deposited in the middle atmosphere. Finally, we demonstrate the
method's applicability on strongly anisotropic pitch angle distributions during
a weak geomagnetic storm in February 2008. We compare the electron fluxes and
subsequent energy deposition estimates to OH observations from the Microwave
Limb Sounder on the Aura satellite substantiating that the estimated fluxes are
representative for the true precipitating fluxes impacting the atmosphere.


title:
Spatially and spectrally resolved quantum path interference with chirped
  driving pulses

abstract:
  We measure spectrally and spatially resolved high-order harmonics generated
in argon using chirped multi-cycle laser pulses. Using a stable,
high-repetition rate laser we observe detailed interference structures in the
far-field. The structures are of two kinds; off-axis interference from the long
trajectory only and on-axis interference including the short and long
trajectories. The former is readily visible in the far-field spectrum,
modulating both the spectral and spatial profile. To access the latter, we vary
the chirp of the fundamental, imparting different phases on the different
trajectories, thereby changing their relative phase. Using this method together
with an analytical model, we are able to explain the on-axis behaviour and
access the dipole phase parameters for the short (\(\alpha_s\)) and long
(\(\alpha_l\)) trajectories. The extracted results compare very well with phase
parameters calculated by solving the time-dependent Schr\"odinger equation.
Going beyond the analytical model, we are also able to successfully reproduce
the off-axis interference structure.


title:
Reviving Threshold-Moving: a Simple Plug-in Bagging Ensemble for Binary
  and Multiclass Imbalanced Data

abstract:
  Class imbalance presents a major hurdle in the application of data mining
methods. A common practice to deal with it is to create ensembles of
classifiers that learn from resampled balanced data. For example, bagged
decision trees combined with random undersampling (RUS) or the synthetic
minority oversampling technique (SMOTE). However, most of the resampling
methods entail asymmetric changes to the examples of different classes, which
in turn can introduce its own biases in the model. Furthermore, those methods
require a performance measure to be specified a priori before learning. An
alternative is to use a so-called threshold-moving method that a posteriori
changes the decision threshold of a model to counteract the imbalance, thus has
a potential to adapt to the performance measure of interest. Surprisingly,
little attention has been paid to the potential of combining bagging ensemble
with threshold-moving. In this paper, we present probability thresholding
bagging (PT-bagging), a versatile plug-in method that fills this gap. Contrary
to usual rebalancing practice, our method preserves the natural class
distribution of the data resulting in well calibrated posterior probabilities.
We also extend the proposed method to handle multiclass data. The method is
validated on binary and multiclass benchmark data sets. We perform analyses
that provide insights into the proposed method.


title: How to Compute Halting

abstract: A consistently specified halting function may be computed.


title:
First detection at 5.5 and 9 GHz of the radio relics in bullet cluster
  with ATCA

abstract:
  We present here results from observations at 5.5 and 9 GHz of the Bullet
cluster 1E 0657-55.8 with the Australia Telescope Compact Array (ATCA). Our
results show detection of diffuse emission in the cluster. Our findings are
consistent with the previous observations by Shimwell et al. (2014) and
Shimwell et al. (2015) at 1.1-3.1 GHz. Morphology of diffuse structures (relic
regions A and B and the radio halo) are consistent with those reported by the
previous study. Our results indicate steepening in the spectral index at higher
frequencies (at and greater than 5.0 GHz) for region A. The spectrum can be fit
well by a broken power law. We discuss the possibility of a few recent
theoretical models explaining this break in the power law spectrum, and find
that a modified Diffusive Shock Acceleration (DSA) model or a turbulent
reacceleration model may be relevant. Deep radio observations at high
frequencies (at and greater than 5 GHz) are required for a detailed comparison
with this model.


title:
The Hydrogen Epoch of Reionization Array (HERA). Improvement of the
  antenna response with a matching network and scientific impacts

abstract:
  The Hydrogen Epoch of Reionization Array (HERA) is a new powerful
radio-telescope, dedicated to the study of the early universe. Its main goal is
to characterise the period of the universe where the first galaxies and stars
started to form, by studying the evolution of the 21-cm emission signal from
neutral hydrogen, during the Epoch of Reionization. In this article, we present
an electromagnetic and electrical co-simulation of the antenna performed with
CST. We focus our analysis on the characterisation of the chromatic effects
caused by the antenna, in particular multiple reflections of the received
signal between the feed and the dish. These reflections can have an important
impact on the scientific results, and it is crucial to keep them as low as
possible. Therefore, we are currently developing a matching circuit which aims
to improve the impedance matching between the feed and the front end.


title:
Nonlinear Luttinger liquid: Exact result for the Green function in terms
  of the fourth Painlev\'e transcendent

abstract:
  We show that exact time dependent single particle Green function in the
Imambekov-Glazman theory of nonlinear Luttinger liquids can be written, for any
value of the Luttinger parameter, in terms of a particular solution of the
Painlev\'e IV equation. Our expression for the Green function has a form
analogous to the celebrated Tracy-Widom result connecting the Airy kernel with
Painlev\'e II. The asymptotic power law of the exact solution as a function of
a single scaling variable $x/\sqrt{t}$ agrees with the mobile impurity results.
The full shape of the Green function in the thermodynamic limit is recovered
with arbitrary precision via a simple numerical integration of a nonlinear ODE.


title: Observations on the Halting Problem

abstract: The Halting Problem is ill-conceived and ill-defined.


title: The nanophysics age and its new perspectives

abstract:
  The nanophysics is halfway between the size scales of quantum mechanics and
macroscopic physics governed by the laws of Newton and Einstein. The correct
definition of nanophysics is the physics of structures and artefacts with
dimensions in the nanometer range or of phenomena occurring in nanoseconds.
Modern physical methods whose fundamental are developed in physics laboratories
have become critically important in nanoscience. Nanophysics brings together
multiple disciplines, using theoretical and experimental methods to determine
the physical properties of materials in the nanoscale size range. Interesting
properties include the structural, electronic, optical, and thermal behavior of
nanomaterials, electrical and thermal conductivity, the forces between
nanoscale objects, and the transition between classical and quantum behavior.
Nanophysics has now become an independent branch of physics, simultaneously
expanding into many new areas and playing a vital role in fields that were once
the domain of engineering, chemical, or life sciences. Nanoscience and
nanotechnology are all about relating and exploiting phenomena for materials
having one, two or three dimensions reduced to the nanoscale. Breakthroughs in
nanotechnology require a firm grounding in the principles of nanophysics. It is
intended to fulfill a crucial purpose. Nanophysics aims to connect scientists
with disparate interests to begin interdisciplinary projects and incorporate
the theory and methodology of other fields into their work.


title: Asymmetric hysteresis for probing Dzyaloshinskii-Moriya interaction

abstract:
  The interfacial Dzyaloshinskii-Moriya interaction (DMI) is intimately related
to the prospect of superior domain-wall dynamics and the formation of magnetic
skyrmions. Although some experimental efforts have been recently proposed to
quantify these interactions and the underlying physics, it is still far from
trivial to address the interfacial DMI. Inspired by the reported tilt of the
magnetization of the side edge of a thin film structure, we here present a
quasi-static, straightforward measurement tool. By using laterally asymmetric
triangular-shaped microstructures, it is demonstrated that interfacial DMI
combined with an in-plane magnetic field yields a unique and significant shift
in magnetic hysteresis. By systematic variation of the shape of the triangular
objects combined with a droplet model for domain nucleation, a robust value for
the strength and sign of interfacial DMI is obtained. This method gives
immediate and quantitative access to DMI, enabling a much faster exploration of
new DMI systems for future nanotechnology.


title: New Insight into the Ground State of FePc: A Diffusion Monte Carlo Study

abstract:
  We have applied DMC to evaluate relative stability of the possible electronic
configurations of an isolated FePc under $D_{4h}$ symmetry, considering some
fixed nodes generated from different methods. They predict $A_{2g}$ ground
state consistently, supporting preceding DFT studies, with confidence
overcoming the ambiguity about exchange-correlation (XC) functionals. By
comparing DMC with several XC, we clarified the importance of the short range
exchange to describe the relative stability. We examined why the predicted
$A_{2g}$ is excluded from possible ground states in the recent ligand field
based model. Simplified assumptions made in the superposition model are
identified to give unreasonably less energy gain for $A_{2g}$ when compared
with the reality. The state is found to have possible reasons for the
stabilization, reducing the occupations from an unstable anti-bonding orbital,
avoiding double occupation of a spatially localized orbital, and gaining
exchange energy by putting a triplet spin pair in degenerate orbitals.


title:
On parametrized verification of asynchronous, shared-memory pushdown
  systems

abstract:
  We consider the model of parametrized asynchronous shared-memory pushdown
systems, as introduced in [Hague'11]. In a series of recent papers it has been
shown that reachability in this model is PSPACE-complete [Esparza, Ganty,
Majumdar'13] and that liveness is decidable in NEXPTIME [Durand-Gasselin,
Esparza, Ganty, Majumdar'15]. We show here that the liveness problem is
PSPACE-complete. We also introduce the universal reachability problem. We show
that it is decidable, and coNEXPTIME-complete. Finally, using these results, we
prove that the verifying regular properties of traces of executions, satisfying
some stuttering condition, is also decidable in NEXPTIME for this model.


title: Domain Specific Language for Modular Knitting Pattern Definitions: Purl

abstract:
  Purl is a language to be used for modular definition and verification of
knitting patterns. The syntax is similar to the standard knitting pattern
notation provided by the Craft Yarn Council. Purl provides constructs not
available in the standard notation to allow reuse of segments of patterns. This
report describes the basics of knitting and hand-knitting patterns. A knitting
pattern language more terse than the standard notation is presented with the
implementation of a compiler to this standard.


title: A note on the upper critical field of Sr$_2$RuO$_4$ under strain

abstract:
  In the light of the recently discussed mechanism for suppression of
superconductivity in multi-orbital systems called inter-orbital effect, here we
extend our analysis of the upper critical field in Sr$_2$RuO$_4$ now under
strain. We show that the presence of the standard orbital effect and the new
mechanism can consistently account for the qualitative changes observed in the
upper critical field for the strained system, in particular, combining the
overall enhancement of the critical field with the reduction in the anisotropy.
The proposed picture holds for a triplet superconducting state, showing that a
singlet state is not the only possibility to account for the observations. We
suggest further experiments in order to clarify our understanding about the
superconducting phase of Sr$_2$RuO$_4$.


title: The principle of the mutual energy

abstract:
  Advanced potential solution of Maxwell equations isn't often accepted. We
have proven if without advanced potential, it is not possible to satisfy the
Maxwell equations. We also shown that it is not the Poynting vector related
energy current transferring energy in the space and it is the mutual energy
really did that. A important result of the mutual energy theorem is that the
advanced potential can suck energy from the transmitter. This energy is equal
to the energy received at the receiver. Hence a transmitter can not send any
energy out without the receiver. For two remote objects, the energy is
transferred only can by the mutual energy of a retarded potential from the
source together with an advanced potential from the sink. If the sucked energy
is discrete, the summation of mutual energy current of the infinite background
atoms or currents, which can be seen as receivers, is a random process. This
means that the photon energy sent by the transmitter is actually grabbed by the
receiver. Hence the photon from very beginning knows their destination. This
receiver send advanced potential to the transmitter. This explanation also
avoided the wave function collapse. The retarded potential first reached the
receiver, cause the current in the receiver, the current of receiver send a
advanced potential to the transmitter with a reversed time, in the same time, a
photon minus-time-instantly runs from receiver to transmitter. In our normal
feeling, the photon is still runs from the transmitter to the receiver with a
positive time. How to transfer superluminal signal using advanced potential is
also discussed.Maxwell equations as principle of the theory of the
electromagnetic fields is replaced by the mutual energy principle.


title: Glueball Spectra from a Matrix Model of Pure Yang-Mills Theory

abstract:
  We present variational estimates for the low-lying energies of a simple
matrix model that approximates $SU(3)$ Yang-Mills theory on a three-sphere of
radius $R$. By fixing the ground state energy, we obtain the (integrated)
renormalization group (RG) equation for the Yang-Mills coupling $g$ as a
function of $R$. This RG equation allows to estimate the masses of other
glueball states, which we find to be in excellent agreement with lattice
simulations.


title:
Spatio-temporal interference of photo electron wave packets and time
  scale of non-adiabatic transition in high-frequency regime

abstract:
  The method of the envelope Hamiltonian [K. Toyota, U. Saalmann, and J. M.
Rost, New J. Phys. {\bf 17}, 073005~(2015)] is applied to further study a
detachment dynamics of a model negative ion in one-dimension in high-frequency
regime. This method is based on the Floquet approach, but the time-dependency
of an envelope function is explicitly kept for arbitrary pulse durations.
Therefore, it is capable of describing not only a photo absorption/emission but
also a non-adiabatic transition which is induced by the time-varying envelope
of the pulse. It was shown that the envelope Hamiltonian accurately retrieves
the results obtained by the time-dependent Schr\"odinger equation, and
underlying physics were well understood by the adiabatic approximation based on
the envelope Hamiltonian. In this paper, we further explore two more aspects of
the detachment dynamics, which were not done in our previous work. First, we
find out features of both a {\it spatial} and {\it temporal} interference of
photo electron wave packets in a photo absorption process. We conclude that
both the interference mechanisms are universal in ionization dynamics in
high-frequency regime. To our knowledge, it is first time that both the
interference mechanisms in high-frequency regime are extracted from the first
principle. Second, we extract a pulse duration which maximize a yield of the
non-adiabatic transition as a function of a pulse duration. It is shown that it
becomes maximum when the pulse duration is comparable to a time-scale of an
electron.


title: X-Events and Their Interpretation

abstract:
  We point out that when doubly-charged bileptons are pair produced at the LHC,
kinematics dictate that they are both almost at rest in the lab frame and
therefore their decays lead to final state muons in a characteristic X-shape
with only very tiny track curvature because of the high muon energies. Such
X-events have essentially no standard model background and provide a smoking
gun for the 331 model.


title: Comment on "Scientific Regress" (First Things May 2016)

abstract: Response to William A. Wilson on the limits and fallibility of science.


title: The Story of the Neutrino

abstract:
  This is an elementary review of the history and physics of neutrinos. The
story of the discovery of neutrino mass through neutrino oscillations is
described in some detail. Experiments on solar neutrinos and atmospheric
neutrinos played an important part. Recent advances are summarized and future
developments are indicated.


title:
Extraction of harmonics from trigonometric polynomials by amplitude and
  phase operators

abstract:
  Extraction of harmonics of a given order from real trigonometric polynomials
(signals) is one of the main problems in harmonic analysis. It has many
applications in physics, radio and electrical engineering, in particular, in
filtration of harmonic signals of different nature. There exist many methods
(mainly, approximative) for solution of this problem. The most common ones are
spectral methods based on Fourier transform and other resonance principles.
  In this paper we propose a new method for extracting harmonics by amplitude
and phase transformation of trigonometric polynomials. These transformations
use the two simplest operations -- multiplication by a real constant and phase
shift -- to obtain polynomials similar to the initial ones. A harmonic is
extracted by an amplitude and phase operator that simply overlays (sums up) a
finite number of such similar polynomials. The overlay method enables us to
obtain precise analytical formulas for calculating harmonics of a given order.


title: Valley-contrasting orbital angular momentum in photonic valley crystals

abstract:
  Valley, as a degree of freedom, has been exploited to realize
valley-selective Hall transport and circular dichroism in two-dimensional
layered materials. On the other hand, orbital angular momentum of light with
helical phase distribution has attracted great attention for its unprecedented
opportunity to optical communicagtions, atom trapping, and even nontrivial
topology engineering. Here, we reveal valley-contrasting orbital angular
momentum in all-dielectric photonic valley crystals. Selective excitation of
valley chiral bulk states is realized by sources carrying orbital angular
momentum with proper chirality. Valley dependent edge states, predictable by
nonzero valley Chern number, enable to suppress the inter-valley scattering
along zigzag boundary, leading to broadband robust transmission in Z-shape bend
without corner morphological optimization. Our work may open up a new door
towards the discovery of novel quantum states and the manipulation of
spin-orbit interaction of light in nanophotonics.


title: Learning Nash Equilibrium for General-Sum Markov Games from Batch Data

abstract:
  This paper addresses the problem of learning a Nash equilibrium in
$\gamma$-discounted multiplayer general-sum Markov Games (MG). A key component
of this model is the possibility for the players to either collaborate or team
apart to increase their rewards. Building an artificial player for general-sum
MGs implies to learn more complex strategies which are impossible to obtain by
using techniques developed for two-player zero-sum MGs. In this paper, we
introduce a new definition of $\epsilon$-Nash equilibrium in MGs which grasps
the strategy's quality for multiplayer games. We prove that minimizing the norm
of two Bellman-like residuals implies the convergence to such an
$\epsilon$-Nash equilibrium. Then, we show that minimizing an empirical
estimate of the $L_p$ norm of these Bellman-like residuals allows learning for
general-sum games within the batch setting. Finally, we introduce a neural
network architecture named NashNetwork that successfully learns a Nash
equilibrium in a generic multiplayer general-sum turn-based MG.


title:
Using Sequence Ensembles for Seeding Alignments of MinION Sequencing
  Data

abstract:
  Oxford Nanopore MinION sequencer is currently the smallest sequencing device
available. While being able to produce very long reads (reads of up to 100~kbp
were reported), it is prone to high sequencing error rates of up to 30%. Since
most of these errors are insertions or deletions, it is very difficult to adapt
popular seed-based algorithms designed for aligning data sets with much lower
error rates.
  Base calling of MinION reads is typically done using hidden Markov models. In
this paper, we propose to represent each sequencing read by an ensemble of
sequences sampled from such a probabilistic model. This approach can improve
the sensitivity and false positive rate of seeding an alignment compared to
using a single representative base call sequence for each read.


title: Irreversible Brownian heat engine

abstract:
  We model a Brownian heat engine as a Brownian particle that hops in a
periodic ratchet potential where the ratchet potential is coupled with a
linearly decreasing background temperature. It is shown that the efficiency of
such Brownian heat engine is far from Carnot efficiency even at quaistatic
limit. At quasistatic limit, the efficiency of the heat engine approaches the
efficiency of endoreversible engine $\eta=1-\sqrt{{T_{c}/T_{h}}}$ \cite{c18}.
On the other hand, the maximum power efficiency of the engine approaches
$\eta^{MAX}=1-({T_{c}/T_{h}})^{1\over 4}$. Moreover, the dependence of the
current as well as the efficiency on the model parameters is explored
analytically by omitting the heat exchange via the kinetic energy. In this case
we show that the optimized efficiency always lies between the efficiently at
quaistatic limit and the efficiency at maximum power. On the other hand, the
efficiency at maximum power is always less than the optimized efficiency since
the fast motion of the particle comes at the expense of the energy cost. The
role of time on the performance of the motor is also explored via numerical
simulations. Our numerical results depict that the time $t$ as well as the
external load dictate the direction of the particle velocity. Moreover the
performance of the heat engine improves with time. At large $t$ (steady
state),the velocity, the efficiency and the coefficient of performance of the
refrigerator attain their maximum value.


title: Optimal Control of a Tuberculosis Model with State and Control Delays

abstract:
  We introduce delays in a tuberculosis (TB) model, representing the time delay
on the diagnosis and commencement of treatment of individuals with active TB
infection. The stability of the disease free and endemic equilibriums is
investigated for any time delay. Corresponding optimal control problems, with
time delays in both state and control variables, are formulated and studied.
Although it is well-known that there is a delay between two to eight weeks
between TB infection and reaction of body's immune system to tuberculin, delays
for the active infected to be detected and treated, and delays on the treatment
of persistent latent individuals due to clinical and patient reasons, which
clearly justifies the introduction of time delays on state and control
measures, our work seems to be the first to consider such time-delays for TB
and apply time-delay optimal control to carry out the optimality analysis.


title: Epimenides, G\"odel, Turing: an Eternal G\"olden Tangle

abstract: The Halting Problem is a version of the Liar's Paradox.


title:
Magnetization switching of FePt nanoparticle recording medium by
  femtosecond laser pulses

abstract:
  Manipulation of magnetization with ultrashort laser pulses is promising for
information storage device applications. The dynamic of the magnetization
response depends on the energy transfer from the photons to the spins during
the initial laser excitation. A material of special interest for magnetic
storage is FePt nanoparticles , on which optical writing with optical angular
momentum was demonstrated recently by Lambert et al., although the mechanism
remained unclear. Here we investigate experimentally and theoretically the
all-optical switching of FePt nanoparticles. We show that the magnetization
switching is a stochastic process. We develop a complete multiscale model which
allows us to optimize the number of laser shots needed to write the
magnetization of high anisotropy FePt nanoparticles in our experiments. We
conclude that only angular momentum induced optically by the inverse Faraday
effect will provide switching with one single femtosecond laser pulse.


title:
Increasing robustness of pairwise methods for effective connectivity in
  Magnetic Resonance Imaging by using fractional moment series of BOLD signal
  distributions

abstract:
  Estimating causal interactions in the brain from functional magnetic
resonance imaging (fMRI) data remains a challenging task. Multiple studies have
demonstrated that all current approaches to determine direction of connectivity
perform poorly even when applied to synthetic fMRI datasets. Recent advances in
this field include methods for pairwise inference, which involve creating a
sparse connectome in the first step, and then using a classifier in order to
determine the directionality of connection between of every pair of nodes in
the second step. In this work, we introduce an advance to the second step of
this procedure, by building a classifier based on fractional moments of the
BOLD distribution combined into cumulants. The classifier is trained on
datasets generated under the Dynamic Causal Modeling (DCM) generative model.
The directionality is inferred based upon statistical dependencies between the
two node time series, e.g. assigning a causal link from time series of low
variance to time series of high variance. Our approach outperforms or performs
as well as other methods for effective connectivity when applied to the
benchmark datasets. Crucially, it is also more resilient to confounding effects
such as differential noise level across different areas of the connectome.


title: Perspective: Ultrafast magnetism and THz spintronics

abstract:
  This year the discovery of femtosecond demagnetization by laser pulses is 20
years old. For the first time this milestone work by Bigot and coworkers gave
insight in a very direct way into the time scales of microscopic interactions
that connect the spin and electron system. While intense discussions in the
field were fueled by the complexity of the processes in the past, it now became
evident that it is a puzzle of many different parts. Rather than giving an
overview that has been presented in previous reviews on ultrafast processes in
ferromagnets, this perspective will show that with our current depth of
knowledge the first real applications are on their way: THz spintronics and
all-optical spin manipulation are becoming more and more feasible. The aim of
this perspective is to point out where we can connect the different puzzle
pieces of understanding gathered over 20 years to develop novel applications.
based on many observations in a large number of experiments. Differences in the
theoretical models arise from the localized and delocalized nature of
ferromagnetism. Transport effects are intrinsically non-local in spintronic
devices and at interfaces. We review the need for multiscale modeling to
address processes starting from electronic excitation of the spin system on the
picometer length scale and sub-femtosecond time scale, to spin wave generation,
and towards the modeling of ultrafast phase transitions that altogether
determine the response time of the ferromagnetic system. Today, our current
understanding gives rise to the first real applications of ultrafast spin
physics for ultrafast magnetism control: THz spintronic devices. This makes the
field of ultrafast spin-dynamics an emerging topic open for many researchers
right now.


title:
On finite generation of the section ring of the determinant of
  cohomology line bundle

abstract:
  For $C$ a stable curve of arithmetic genus $g\ge 2$, and $\mathcal{D}$ the
determinant of cohomology line bundle on
$\operatorname{Bun}_{\operatorname{SL}(r)}(C)$, we show the section ring for
the pair $(\operatorname{Bun}_{\operatorname{SL}(r)}(C), \mathcal{D})$ is
finitely generated. Three applications are given.


title: Hilbertian Interpolation

abstract:
  I want to prove that all classical techniques of interpolation and
approximation as Lagrange, Taylor, Hermite interpolations Beziers interpolants,
Quasi interpolants, Box splines and others (radial splines, simplicial splines)
are derived from a \textbf{unique} simple hilbertian scheme. For sake of
simplicity, we shall consider only elementary examples which could be easily
generalized.


title: On Banachic Kernels and Approximation Theory

abstract:
  In this paper, I generalize a previous one about hilbertian kernels and
approximation theory


title: Traces of Besov, Triebel-Lizorkin and Sobolev spaces on metric spaces

abstract:
  We establish trace theorems for function spaces defined on general Ahlfors
regular metric spaces $Z$. The results cover the Triebel-Lizorkin spaces and
the Besov spaces for smoothness indices $s<1,$ as well as the first order
Haj{\l}asz-Sobolev space $M^{1,p}(Z)$. They generalize the classical results
from the Euclidean setting, since the traces of these function spaces onto any
closed Ahlfors regular subset $F \subset Z$ are Besov spaces defined
intrinsically on $F$. Our method employs the definitions of the function spaces
via hyperbolic fillings of the underlying metric space.


title: Maximal entropy distribution functions from generalized R\'enyi entropy

abstract:
  New class of reference distribution functions for numerical approximation of
the solution of the Fokker-Planck equations associated to the charged particle
dynamics in tokamak are studied. The reference distribution functions are
obtained by maximization of the generalized Renyi entropy under scale-invariant
restrictions. Explicit analytic form, with algebraic decay, that is a
generalization of the previous distribution with exponential tails was derived.


title:
Impulse control maximising average cost per unit time: a non-uniformly
  ergodic case

abstract:
  This paper studies maximisation of an average-cost-per-unit-time ergodic
functional over impulse strategies controlling a Feller-Markov process. The
uncontrolled process is assumed to be ergodic but, unlike the extant
literature, the convergence to invariant measure does not have to be uniformly
geometric in total variation norm; in particular, we allow for non-uniform
geometric or polynomial convergence. Cost of an impulse may be unbounded, e.g.,
proportional to the distance the process is shifted. We show that the optimal
value does not depend on the initial state and provide optimal or $\ve$-optimal
strategies.


title:
Spatial Variations of the Extinction Law in the Galactic Disk from
  Infrared Observations

abstract:
  Infrared photometry in the J (1.2 microns), H (1.7 microns), Ks (2.2 microns)
bands from the 2MASS catalogue and in the W1 (3.4 microns), W2 (4.6 microns),
W3 (12 microns), W4 (22 microns) bands from the WISE catalogue is used to
reveal the spatial variations of the interstellar extinction law in the
infrared near the midplane of the Galaxy by the method of extrapolation of the
extinction law applied to clump giants. The variations of the coefficients
E(H-W1)/E(H-Ks), E(H-W2)/E(H-Ks), E(H-W3)/E(H-Ks), and E(H-W4)/E(H-Ks) along
the line of sight in 2 deg per 2 deg squares of the sky centered at b=0 and
l=20, 30, ..., 330, 340 deg as well as in several 4 deg per 4 deg squares with
|b|=10 are considered. The results obtained here agree with those obtained by
Zasowski et al. in 2009 using 2MASS and Spitzer-IRAC photometry for the same
longitudes and similar photometric bands, confirming their main result: in the
inner (relative to the Sun) Galactic disk, the fraction of fine dust increases
with Galactocentric distance (or the mean dust grain size decreases). However,
in the outer Galactic disk that was not considered by Zasowski et al., this
trend is reversed: at the disk edge, the fraction of coarse dust is larger than
that in the solar neighborhood. This general Galactic trend seems to be
explained by the influence of the spiral pattern: its processes sort the dust
by size and fragment it so that coarse and fine dust tend to accumulate,
respectively, at the outer and inner (relative to the Galactic center) edges of
the spiral arms. As a result, fine dust may exist only in the part of the
Galactic disk far from both the Galactic center and the edge, while coarse dust
dominates at the Galactic center, at the disk edge, and outside the disk.


title: Recurrent Neural Networks for Dialogue State Tracking

abstract:
  This paper discusses models for dialogue state tracking using recurrent
neural networks (RNN). We present experiments on the standard dialogue state
tracking (DST) dataset, DSTC2. On the one hand, RNN models became the state of
the art models in DST, on the other hand, most state-of-the-art models are only
turn-based and require dataset-specific preprocessing (e.g. DSTC2-specific) in
order to achieve such results. We implemented two architectures which can be
used in incremental settings and require almost no preprocessing. We compare
their performance to the benchmarks on DSTC2 and discuss their properties. With
only trivial preprocessing, the performance of our models is close to the
state-of- the-art results.


title:
Three-dimensional simulations of turbulent convective mixing in ONe and
  CO classical nova explosions

abstract:
  Classical novae are thermonuclear explosions that take place in the envelopes
of accreting white dwarfs in binary systems. The material piles up under
degenerate conditions, driving a thermonuclear runaway. The energy released by
the suite of nuclear processes operating at the envelope heats the material up
to peak temperatures about 100 - 400 MK. During these events, about 10-3 - 10-7
Msun, enriched in CNO and, sometimes, other intermediate-mass elements (e.g.,
Ne, Na, Mg, Al) are ejected into the interstellar medium. To account for the
gross observational properties of classical novae (in particular, the large
concentrations of metals spectroscopically inferred in the ejecta), models
require mixing between the (solar-like) material transferred from the secondary
and the outermost layers (CO- or ONe-rich) of the underlying white dwarf.
Recent multidimensional simulations have demonstrated that Kelvin-Helmholtz
instabilities can naturally produce self-enrichment of the accreted envelope
with material from the underlying white dwarf at levels that agree with
observations. However, the feasibility of this mechanism has been explored in
the framework of CO white dwarfs, while mixing with different substrates still
needs to be properly addressed. Three-dimensional simulations of mixing at the
core-envelope interface during nova outbursts have been performed with the
multidimensional code FLASH, for two types of substrates: CO- and ONe-rich. We
show that the presence of an ONe-rich substrate, as in "neon novae", yields
larger metallicity enhancements in the ejecta, compared to CO,rich substrates
(i.e., non-neon novae). A number of requirements and constraints for such 3-D
simulations (e.g., minimum resolution, size of the computational domain) are
also outlined.


title:
Influence of Fermi arc states and double Weyl node on tunneling in a
  Dirac semimetal

abstract:
  Most theoretical studies of tunneling in Dirac and the closely related Weyl
semimetals have modeled these materials as single Weyl nodes described by the
three-dimensional Dirac equation $H = v_f \vec{p}\cdot\vec{\sigma}$. The
influence of scattering between the different valleys centered around different
Weyl nodes, and the Fermi arc states which connect these nodes are hence not
evident from these studies. In this work we study the tunneling in a thin film
system of the Dirac semimetal $\text{Na}_3\text{Bi}$ consisting of a central
segment with a gate potential, sandwiched between identical semi-infinite
source and drain segments. The model Hamiltonian we use for
$\text{Na}_3\text{Bi}$ gives, for each spin, two Weyl nodes separated in
$k$-space symmetrically about $k_z=0$. The presence of a top and bottom surface
in the thin film geometry results in the appearance of Fermi arc states and
energy subbands. We show that (for each spin) the presence of two Weyl nodes
and the Fermi arc states result in enhanced transmission oscillations, and
finite transmission even when the energy falls within the \textit{bulk} band
gap in the central segment respectively. These features are not evident in
single Weyl node models.


title:
Hardy inequality and fractional Leibnitz rule for perturbed Hamiltonians
  on the line

abstract:
  We consider the following perturbed Hamiltonian $\mathcal{H}= -\partial_x^2 +
V(x)$ on the real line. The potential $V(x)$ is a real - valued function of
short range type. We study the equivalence of classical homogeneous Sobolev
type spaces $\dot{H}^s_p$, $p \in (1,\infty)$ and the corresponding perturbed
homogeneous Sobolev spaces associated with the perturbed Hamiltonian. It is
shown that the assumption zero is not a resonance guarantees that the perturbed
and unperturbed homogeneous Sobolev norms of order $s = \gamma - 1 \in [0,1/p)$
are equivalent. As a corollary, the corresponding wave operators leave
classical homogeneous Sobolev spaces of order $s \in [0,1/p)$ invariant.


title:
Design and Experimental Characterization of Spiral Resonator
  variants-TTSR , NBSR

abstract:
  In this paper we have carried out numerical simulation and experimental
characterization of two variants of SR (Spiral resonator) viz. TTSR (Two-Turn
Spiral Resonator) and NBSR (Non Bianisotropic spiral resonator). The numerical
simulation of these develop magnetic inclusion structures are done with
commercially available Finite Element Method (FEM) based Ansys HFSS-13
simulation software, and transmission experiment using S-parameter retrieval
technique. The experimental characterization of those fabricated structures is
used in the parallel plate waveguide experiment (not reported earlier) and then
validate our experimental results with the Ansys HFSS-13 simulation software;
which in not available in any published literature.