title: Restarting the accelerated coordinate descent method with a rough strong convexity estimate

abstract: We propose new restarting strategies for the accelerated coordinate descent method. Our main contribution is to show that for a well chosen sequence of restarting times, the restarted method has a nearly geometric rate of convergence. A major feature of the method is that it can take profit of the local quadratic error bound of the objective function without knowing the actual value of the error bound. We also show that under the more restrictive assumption that the objective function is strongly convex, any fixed restart period leads to a geometric rate of convergence. Finally, we illustrate the properties of the algorithm on a regularized logistic regression problem and on a Lasso problem.


title: Steel-Based Electrocatalysts for Efficient and Durable Oxygen Evolution in Acidic Media

abstract: High overpotentials, particularly an issue of common anode materials, hamper the process of water electrolysis for clean energy generation. Thanks to immense research efforts up to date oxygen evolution electrocatalysts based on earth-abundant elements work efficiently and stably in neutral and alkaline regimes. However, non-noble metal-based anode materials that can withstand low pH regimes are considered to be an indispensable prerequisite for the water splitting to succeed in the future. All oxygen evolving electrodes working durably and actively in acids contain Ir at least as an additive. Due to its scarcity and high acquisition costs noble elements like Pt, Ru and Ir need to be replaced by earth abundant elements. We have evaluated a Ni containing stainless steel for use as an oxygen-forming electrode in diluted H2SO4. Unmodified Ni42 steel showed a significant weight loss after long term OER polarization experiments. Moreover, a substantial loss of the OER performance of the untreated steel specimen seen in linear sweep voltammetry measurements turned out to be a serious issue. However, upon anodization in LiOH, Ni42 alloy was rendered in OER electrocatalysts that exhibit under optimized synthesis conditions stable overpotentials down to 445 mV for 10 mA cm-2 current density at pH 0. Even more important: The resulting material has proven to be robust upon long-term usage (weight loss: 20 mug/mm2 after 50 ks of chronopotentiometry at pH 1) towards OER in H2SO4. Our results suggest that electrochemical oxidation of Ni42 steel in LiOH (sample Ni42Li205) results in the formation of a metal oxide containing outer zone that supports solution route-based oxygen evolution in acidic regime accompanied by a good stability of the catalyst.


title: Duals of a frame in quaternionic Hilbert spaces

abstract: Frames in a separable quaternionic Hilbert space were introduced and studied in [17] to have more applications. In this paper, we extend the study of frames in quaternionic Hilbert spaces and introduce different types of duals of a frame in separable quaternionic Hilbert spaces. As an application, we give the orthogonal projection of $\ell^2(\HH)$ onto the range of analysis operator of the given frame, in terms of elements of canonical dual frame and elements of the frame in quaternionic Hilbert space. Finally, we give an expression for the orthogonal projection in terms of operators related to the frame and its canonical dual frame in quaternionic Hilbert space.


title: Some ring-theoretic properties of the ring of $\mathcal{R}L_\tau$

abstract: The aim of this article is to survey ring-theoretic properties of Kasch, the regularity and the injectivity of the ring of real-continuous functions on a topoframe $L_{ \tau}$, i.e., $\mathcal{R}L_\tau$. In order to study these properties, the concept of $P$-spaces and extremally disconnected spaces are extend to topoframes. For a $P$- topoframe $L_{ \tau}$, the ring $\mathcal{R}L_\tau$ is $\aleph_0$-Kasch ring. $P$- topoframes are characterized in terms of ring-theoretic properties of the regularity and injectivity of the ring of real-continuous functions on a topoframe. It follows from these characterizations that the ring $\mathcal{R}L_\tau$ is regular if and only if it is $\aleph_0$-selfinjective. For a completely regular topoframe $L_\tau$, we show that $\mathcal{R}L_\tau$ is a Bear ring if and only if it is a $CS$-ring if and only if $L_\tau$ is extremally disconnected and also prove that it is selfinjective ring if and only if $L_{ \tau}$ is an extremally disconnected $P$-topoframe.


title: $\mathfrak{q}$-crystal structure on primed tableaux and on signed unimodal factorizations of reduced words of type $B$

abstract: Crystal basis theory for the queer Lie superalgebra was developed by Grantcharov et al. and it was shown that semistandard decomposition tableaux admit the structure of crystals for the queer Lie superalgebra or simply $\mathfrak{q}$-crystal structure. In this paper, we explore the $\mathfrak{q}$-crystal structure of primed tableaux (semistandard marked shifted tableaux) and that of signed unimodal factorizations of reduced words of type $B$. We give the explicit odd Kashiwara operators on primed tableaux and the forms of the highest and lowest weight vectors. We also give the explicit algorithms for odd Kashiwara operators on signed unimodal factorizations of reduced words of type $B$.


title: Gaussian Processes Over Graphs

abstract: We propose Gaussian processes for signals over graphs (GPG) using the apriori knowledge that the target vectors lie over a graph. We incorporate this information using a graph- Laplacian based regularization which enforces the target vectors to have a specific profile in terms of graph Fourier transform coeffcients, for example lowpass or bandpass graph signals. We discuss how the regularization affects the mean and the variance in the prediction output. In particular, we prove that the predictive variance of the GPG is strictly smaller than the conventional Gaussian process (GP) for any non-trivial graph. We validate our concepts by application to various real-world graph signals. Our experiments show that the performance of the GPG is superior to GP for small training data sizes and under noisy training.


title: Practical considerations for measuring global spin alignment of vector mesons in relativistic heavy ion collisions

abstract: Global spin alignment of vector mesons is a sensitive probe of system vorticity and particle production mechanism in relativistic heavy ion collisions. The measurement of global spin alignment is gaining increasing interest and deserves careful considerations. In this paper, we lay out a few practical issues that need to be taken care of when measuring global spin alignment of vector mesons. They are, the correction for event plane resolution, reconciling measurements made with different event planes, the correction for the effect of finite acceptance in pseudorapidity, and the consideration for measuring the azimuthal angle dependence. Insights and methodologies offered in this paper will help experiments to measure the global spin alignment properly and accurately.


title: Using accumulation to optimize deep residual neural nets

abstract: Residual Neural Networks [1] won first place in all five main tracks of the ImageNet and COCO 2015 competitions. This kind of network involves the creation of pluggable modules such that the output contains a residual from the input. The residual in that paper is the identity function. We propose to include residuals from all lower layers, suitably normalized, to create the residual. This way, all previous layers contribute equally to the output of a layer. We show that our approach is an improvement on [1] for the CIFAR-10 dataset.


title: A predictor-corrector method for the training of deep neural networks

abstract: The training of deep neural nets is expensive. We present a predictor- corrector method for the training of deep neural nets. It alternates a predictor pass with a corrector pass using stochastic gradient descent with backpropagation such that there is no loss in validation accuracy. No special modifications to SGD with backpropagation is required by this methodology. Our experiments showed a time improvement of 9% on the CIFAR-10 dataset.


title: Fixed Divisor of a Multivariate Polynomial and Generalized Factorials in Several Variables

abstract: We define new generalized factorials in several variables over an arbitrary subset $\underline{S} \subseteq R^n,$ where $R$ is a Dedekind domain and $n$ is a positive integer. We then study the properties of the fixed divisor $d(\underline{S},f)$ of a multivariate polynomial $f \in R[x_1,x_2, \ldots, x_n]$. We generalize the results of Polya, Bhargava, Gunji & McQuillan and strengthen that of Evrard, all of which relate the fixed divisor to generalized factorials of $\underline{S}$. We also express $d(\underline{S},f)$ in terms of the images $f(\underline{a})$ of finitely many elements $\underline{a} \in R^n$, generalizing a result of Hensel, and in terms of the coefficients of $f$ under explicit bases.


title: Rational homology balls in $2$-handlebodies

abstract: We prove that there are rational homology balls $B_p$ smoothly embedded in the $2$-handlebodies associated to certain knots. Furthermore we show that, if we rationally blow up the $2$-handlebody along the embedded rational homology ball $B_p$, then the resulting $4$-manifold cannot be obtained just by a sequence of ordinary blow ups from the $2$-handlebody under a certain mild condition.


title: Cogrowth for group actions with strongly contracting elements

abstract: Let $G$ be a group acting properly by isometries and with a strongly contracting element on a geodesic metric space. Let $N$ be an infinite normal subgroup of $G$, and let $\delta_N$ and $\delta_G$ be the growth rates of $N$ and $G$ with respect to the pseudo-metric induced by the action. We prove that if $G$ has purely exponential growth with respect to the pseudo-metric then $\delta_N/\delta_G>1/2$. Our result applies to suitable actions of hyperbolic groups, right-angled Artin groups and other CAT(0) groups, mapping class groups, snowflake groups, small cancellation groups, etc. This extends Grigorchuk's original result on free groups with respect to a word metrics and a recent result of Jaerisch, Matsuzaki, and Yabuki on groups acting on hyperbolic spaces to a much wider class of groups acting on spaces that are not necessarily hyperbolic.


title: From receptive profiles to a metric model of V1

abstract: In this work we show how to construct connectivity kernels induced by the receptive profiles of simple cells of the primary visual cortex (V1). These kernels are directly defined by the shape of such profiles: this provides a metric model for the functional architecture of V1, whose global geometry is determined by the reciprocal interactions between local elements. Our construction adapts to any bank of filters chosen to represent a set of receptive profiles, since it does not require any structure on the parameterization of the family. The connectivity kernel that we define carries a geometrical structure consistent with the well-known properties of long-range horizontal connections in V1, and it is compatible with the perceptual rules synthesized by the concept of association field. These characteristics are still present when the kernel is constructed from a bank of filters arising from an unsupervised learning algorithm.


title: Minimax optimal rates for Mondrian trees and forests

abstract: Introduced by Breiman, Random Forests are widely used classification and regression algorithms. While being initially designed as batch algorithms, several variants have been proposed to handle online learning. One particular instance of such forests is the \emph{Mondrian Forest}, whose trees are built using the so-called Mondrian process, therefore allowing to easily update their construction in a streaming fashion. In this paper, we provide a thorough theoretical study of Mondrian Forests in a batch learning setting, based on new results about Mondrian partitions. Our results include consistency and convergence rates for Mondrian Trees and Forests, that turn out to be minimax optimal on the set of $s$-H\"older function with $s \in (0,1]$ (for trees and forests) and $s \in (1,2]$ (for forests only), assuming a proper tuning of their complexity parameter in both cases. Furthermore, we prove that an adaptive procedure (to the unknown $s \in (0, 2]$) can be constructed by combining Mondrian Forests with a standard model aggregation algorithm. These results are the first demonstrating that some particular random forests achieve minimax rates \textit{in arbitrary dimension}. Owing to their remarkably simple distributional properties, which lead to minimax rates, Mondrian trees are a promising basis for more sophisticated yet theoretically sound random forests variants.


title: Aggregated Sparse Attention for Steering Angle Prediction

abstract: In this paper, we apply the attention mechanism to autonomous driving for steering angle prediction. We propose the first model, applying the recently introduced sparse attention mechanism to visual domain, as well as the aggregated extension for this model. We show the improvement of the proposed method, comparing to no attention as well as to different types of attention.


title: Logarithmic Riemann-Hilbert correspondences for rigid varieties

abstract: On any smooth algebraic variety over a $p$-adic local field, we construct a tensor functor from the category of de Rham $p$-adic \'etale local systems to the category of filtered algebraic vector bundles with integrable connections satisfying the Griffiths transversality, which we view as a $p$-adic analogue of Deligne's classical Riemann--Hilbert correspondence. A crucial step is to construct canonical extensions of the desired connections to suitable compactifications of the algebraic variety with logarithmic poles along the boundary, in a precise sense characterized by the eigenvalues of residues; hence the title of the paper. As an application, we show that this $p$-adic Riemann--Hilbert functor is compatible with the classical one over all Shimura varieties, for local systems attached to representations of the associated reductive algebraic groups.


title: Feature Distillation: DNN-Oriented JPEG Compression Against Adversarial Examples

abstract: Image compression-based approaches for defending against the adversarial-example attacks, which threaten the safety use of deep neural networks (DNN), have been investigated recently. However, prior works mainly rely on directly tuning parameters like compression rate, to blindly reduce image features, thereby lacking guarantee on both defense efficiency (i.e. accuracy of polluted images) and classification accuracy of benign images, after applying defense methods. To overcome these limitations, we propose a JPEG-based defensive compression framework, namely "feature distillation", to effectively rectify adversarial examples without impacting classification accuracy on benign data. Our framework significantly escalates the defense efficiency with marginal accuracy reduction using a two-step method: First, we maximize malicious features filtering of adversarial input perturbations by developing defensive quantization in frequency domain of JPEG compression or decompression, guided by a semi-analytical method; Second, we suppress the distortions of benign features to restore classification accuracy through a DNN-oriented quantization refine process. Our experimental results show that proposed "feature distillation" can significantly surpass the latest input-transformation based mitigations such as Quilting and TV Minimization in three aspects, including defense efficiency (improve classification accuracy from $\sim20\%$ to $\sim90\%$ on adversarial examples), accuracy of benign images after defense ($\le1\%$ accuracy degradation), and processing time per image ($\sim259\times$ Speedup). Moreover, our solution can also provide the best defense efficiency ($\sim60\%$ accuracy) against the recent adaptive attack with least accuracy reduction ($\sim1\%$) on benign images when compared with other input-transformation based defense methods.


title: DeepN-JPEG: A Deep Neural Network Favorable JPEG-based Image Compression Framework

abstract: As one of most fascinating machine learning techniques, deep neural network (DNN) has demonstrated excellent performance in various intelligent tasks such as image classification. DNN achieves such performance, to a large extent, by performing expensive training over huge volumes of training data. To reduce the data storage and transfer overhead in smart resource-limited Internet-of-Thing (IoT) systems, effective data compression is a "must-have" feature before transferring real-time produced dataset for training or classification. While there have been many well-known image compression approaches (such as JPEG), we for the first time find that a human-visual based image compression approach such as JPEG compression is not an optimized solution for DNN systems, especially with high compression ratios. To this end, we develop an image compression framework tailored for DNN applications, named "DeepN-JPEG", to embrace the nature of deep cascaded information process mechanism of DNN architecture. Extensive experiments, based on "ImageNet" dataset with various state-of-the-art DNNs, show that "DeepN-JPEG" can achieve ~3.5x higher compression rate over the popular JPEG solution while maintaining the same accuracy level for image recognition, demonstrating its great potential of storage and power efficiency in DNN-based smart IoT system design.


title: Scalings in Coalescence of Liquid Droplets

abstract: This letter presents a scaling theory of the coalescence of two viscous spherical droplets. An initial value problem was formulated and analytically solved for the evolution of the radius of a liquid neck formed upon droplet coalescence. Two asymptotic solutions of the initial value problem reproduce the well-known scaling relations in the viscous and inertial regimes. The viscous-to-inertial crossover experimentally observed by Paulsen et al. [Phys. Rev. Lett. 106, 114501 (2011)] manifests in the theory, and their fitting relation, which shows collapse of data of different viscosities onto a single curve, is an approximation to the general solution of the initial value problem.


title: Temporal Human Action Segmentation via Dynamic Clustering

abstract: We present an effective dynamic clustering algorithm for the task of temporal human action segmentation, which has comprehensive applications such as robotics, motion analysis, and patient monitoring. Our proposed algorithm is unsupervised, fast, generic to process various types of features, and applicable in both the online and offline settings. We perform extensive experiments of processing data streams, and show that our algorithm achieves the state-of-the-art results for both online and offline settings.


title: Advancing numerics for the Casimir effect to experimentally relevant aspect ratios

abstract: Within the scattering theoretical approach, the Casimir force is obtained numerically by an evaluation of the round trip of an electromagnetic wave between the objects involved. Recently [Hartmann M et al. 2017, Phys. Rev. Lett. 119 043901] it was shown that a symmetrization of the scattering operator provides significant advantages for the numerical evaluation of the Casimir force in the experimentally relevant sphere-plane geometry. Here, we discuss in more detail how the symmetrization modifies the scattering matrix in the multipole basis and how computational time is reduced. As an application, we discuss how the Casimir force in the sphere-plane geometry deviates from the proximity force approximation as a function of the geometric parameters.


title: Improper Ferroelectric Polarisation in a Perovskite driven by Inter-site Charge Transfer and Ordering

abstract: It is of great interest to design and make materials in which ferroelectric polarisation is coupled to other order parameters such as lattice, magnetic and electronic instabilities. Such materials will be invaluable in next-generation data storage devices. Recently, remarkable progress has been made in understanding improper ferroelectric coupling mechanisms that arise from lattice and magnetic instabilities. However, although theoretically predicted, a compact lattice coupling between electronic and ferroelectric (polar) instabilities has yet to be realised. Here we report detailed crystallographic studies of a novel perovskite Hg$^{\textbf{A}}$Mn$^{\textbf{A'}}_{3}$Mn$^{\textbf{B}}_{4}$O$_{12}$ that is found to exhibit a polar ground state on account of such couplings that arise from charge and orbital ordering on both the A' and B-sites, which are themselves driven by a highly unusual Mn$^{A'}$-Mn$^B$ inter-site charge transfer. The inherent coupling of polar, charge, orbital and hence magnetic degrees of freedom, make this a system of great fundamental interest, and demonstrating ferroelectric switching in this and a host of recently reported hybrid improper ferroelectrics remains a substantial challenge.


title: Hierarchical Species Sampling Models

abstract: This paper introduces a general class of hierarchical nonparametric prior distributions. The random probability measures are constructed by a hierarchy of generalized species sampling processes with possibly non-diffuse base measures. The proposed framework provides a general probabilistic foundation for hierarchical random measures with either atomic or mixed base measures and allows for studying their properties, such as the distribution of the marginal and total number of clusters. We show that hierarchical species sampling models have a Chinese Restaurants Franchise representation and can be used as prior distributions to undertake Bayesian nonparametric inference. We provide a method to sample from the posterior distribution together with some numerical illustrations. Our class of priors includes some new hierarchical mixture priors such as the hierarchical Gnedin measures, and other well-known prior distributions such as the hierarchical Pitman-Yor and the hierarchical normalized random measures.


title: Aspects of the pseudo Chiral Magnetic Effect in 2D Weyl-Dirac Matter

abstract: A connection is established between the continuum limit of the low-energy tight-binding description of graphene immersed in an in-plane magnetic field and the Chiral Magnetic Effect in Quantum Chromodynamics. A combination of mass gaps that explicitly breaks the equivalence of the Dirac cones, favoring an imbalance of pseudo-chiralities, is the essential ingredient to generate a non-dissipative electric current along the external field. Currents, number densities and condensates generated from this setup are investigated for different hierarchies of the energy scales involved.


title: RUSSE'2018: A Shared Task on Word Sense Induction for the Russian Language

abstract: The paper describes the results of the first shared task on word sense induction (WSI) for the Russian language. While similar shared tasks were conducted in the past for some Romance and Germanic languages, we explore the performance of sense induction and disambiguation methods for a Slavic language that shares many features with other Slavic languages, such as rich morphology and virtually free word order. The participants were asked to group contexts of a given word in accordance with its senses that were not provided beforehand. For instance, given a word "bank" and a set of contexts for this word, e.g. "bank is a financial institution that accepts deposits" and "river bank is a slope beside a body of water", a participant was asked to cluster such contexts in the unknown in advance number of clusters corresponding to, in this case, the "company" and the "area" senses of the word "bank". For the purpose of this evaluation campaign, we developed three new evaluation datasets based on sense inventories that have different sense granularity. The contexts in these datasets were sampled from texts of Wikipedia, the academic corpus of Russian, and an explanatory dictionary of Russian. Overall, 18 teams participated in the competition submitting 383 models. Multiple teams managed to substantially outperform competitive state-of-the-art baselines from the previous years based on sense embeddings.


title: Deep Architectures for Learning Context-dependent Ranking Functions

abstract: Object ranking is an important problem in the realm of preference learning. On the basis of training data in the form of a set of rankings of objects, which are typically represented as feature vectors, the goal is to learn a ranking function that predicts a linear order of any new set of objects. Current approaches commonly focus on ranking by scoring, i.e., on learning an underlying latent utility function that seeks to capture the inherent utility of each object. These approaches, however, are not able to take possible effects of context-dependence into account, where context-dependence means that the utility or usefulness of an object may also depend on what other objects are available as alternatives. In this paper, we formalize the problem of context-dependent ranking and present two general approaches based on two natural representations of context-dependent ranking functions. Both approaches are instantiated by means of appropriate neural network architectures, which are evaluated on suitable benchmark task.


title: Rigid models of Presburger arithmetic

abstract: We present a description of rigid models of Presburger arithmetic (i.e., Z-groups). In particular, we show that Presburger arithmetic has rigid models of all infinite cardinalities up to the continuum, but no larger.


title: Counterterms in Truncated Conformal Perturbation Theory

abstract: We investigate the perturbative renormalisation of deformed conformal field theories from the Hamiltonian perspective. We discuss the relation with conformal perturbation theory, to which we provide an explicit match up to third order in the coupling, and show how second-order anomalous dimensions in the Wilson-Fisher fixed points are straightforwardly computed in the Hamiltonian framework. The second part of the paper focuses on the cutoff employed in the truncated conformal space approach of Yurov and Zamolodchikov. We discuss the appearance of non-covariant and non-local counterterms to second order in the cutoff, which we concretise in the $\phi^4$ theories, and find a smooth cutoff to deal with subleading oscillations.


title: Hypergraph Saturation Irregularities

abstract: Let $\mathcal{F}$ be a family of $r$-graphs. An $r$-graph $G$ is called $\mathcal{F}$-saturated if it does not contain any members of $\mathcal{F}$ but adding any edge creates a copy of some $r$-graph in $\mathcal{F}$. The saturation number $\operatorname{sat}(\mathcal{F},n)$ is the minimum number of edges in an $\mathcal{F}$-saturated graph on $n$ vertices. We prove that there exists a finite family $\mathcal{F}$ such that $\operatorname{sat}(\mathcal{F},n) / n^{r-1}$ does not tend to a limit. This settles a question of Pikhurko.


title: A geometric approach to large class groups: a survey

abstract: The purpose of this note is twofold. First, we survey results on the construction of large class groups of number fields by specialization of finite covers of curves. Then we give examples of applications of these techniques.


title: Incorporating Kinetic Effects on Nernst Advection in Inertial Fusion Simulations

abstract: We present a simple method to incorporate nonlocal effects on the Nernst advection of magnetic fields down steep temperature gradients, and demonstrate its effectiveness in a number of inertial fusion scenarios. This is based on assuming that the relationship between the Nernst velocity and the heat flow velocity is unaffected by nonlocality. The validity of this assumption is confirmed over a wide range of plasma conditions by comparing Vlasov-Fokker-Planck and flux-limited classical transport simulations. Additionally, we observe that the Righi-Leduc heat flow is more severely affected by nonlocality due to its dependence on high velocity moments of the electron distribution function, but are unable to suggest a reliable method of accounting for this in fluid simulations.


title: A geometric model for the module category of a gentle algebra

abstract: In this article, gentle algebras are realised as tiling algebras, which are associated to partial triangulations of unpunctured surfaces with marked points on the boundary. This notion of tiling algebras generalise the notion of Jacobian algebras of triangulations of surfaces and the notion of surface algebras. We use this description to give a geometric model of the module category of any gentle algebra.


title: Contributions of dark matter annihilation to the global 21cm spectrum observed by the EDGES experiment

abstract: The EDGES experiment has observed an absorption feature in the global 21 cm spectrum with a surprisingly large amplitude. These results can be explained by decreasing the kinetic temperature of baryons, which could be achieved through the scattering between the baryons and cold dark matter particles. It seems that the most researched dark matter annihilation model is not able to explain such a large amplitude, since the interactions between the particles produced by the dark matter annihilation and the particles that have been present in the Universe could increase the baryonic temperature. Recently, C. Feng and G. Holder have suggested that the large amplitude in the global 21 cm spectrum could be produced by considering the possible excess of the early radio radiation. In this paper, we propose that the dark matter annihilation still works to explain the large amplitude observed by the EDGES experiment. Even including the dark matter annihilation, the large absorption amplitude in the global 21 cm spectrum can be produced by considering the possible excess of the early radio radiation.


title: Stability analysis by dynamic dissipation inequalities: On merging frequency-domain techniques with time-domain conditions

abstract: In this paper we provide a complete link between dissipation theory and a celebrated result on stability analysis with integral quadratic constraints. This is achieved with a new stability characterization for feedback interconnections based on the notion of finite-horizon integral quadratic constraints with a terminal cost. As the main benefit, this opens up opportunities for guaranteeing constraints on the transient responses of trajectories in feedback loops within absolute stability theory. For parametric robustness, we show how to generate tight robustly invariant ellipsoids on the basis of a classical frequency-domain stability test, with illustrations by a numerical example.


title: Sonifying stochastic walks on biomolecular energy landscapes

abstract: Translating the complex, multi-dimensional data from simulations of biomolecules to intuitive knowledge is a major challenge in computational chemistry and biology. The so-called "free energy landscape" is amongst the most fundamental concepts used by scientists to understand both static and dynamic properties of biomolecular systems. In this paper we use Markov models to design a strategy for mapping features of this landscape to sonic parameters, for use in conjunction with visual display techniques such as structural animations and free energy diagrams.

categories: cs.HC physics.bio-ph physics.comp-ph q-bio.OT


title: Enhanced cooling for stronger qubit-phonon couplings

abstract: Here we present details on how the cooling effects of an opto-mechanical system are affected beyond the secular approximation. To this end, a laser driven two-level quantum dot (QD) embed- ded in a phononic nano-cavity is investigated for moderately strong QD-phonon couplings regimes. For these regimes, the use of a secular approximation within the QD-phonon interaction terms is no longer justified as the rapidly oscillating terms cannot be neglected from the system dynamics. Therefore, one shows that although being small, their contribution plays an important role when quantum cooling is achieved. The main contribution of the fast oscillating terms is analytically estimated and one compares how the quantum cooling dynamics change within or beyond the sec- ular approximation. The behavior of the quantum cooling effect is investigated in the steady-state regime via the phonon field statistics.


title: Production of $\Lambda_c$ baryons at the LHC within the $k_T$-factorization approach and independent parton fragmentation picture

abstract: We calculate cross section for production of $D$ mesons and $\Lambda_c$ baryons in proton-proton collisions at the LHC. The cross section for production of $c \bar c$ pairs is calculated within $k_T$-factorization approach with the Kimber-Martin-Ryskin unintegrated gluon distributions obtained on the basis of modern collinear gluon distribution functions. We show that our approach well describes the $D^0$, $D^+$ and $D_s$ experimental data. We try to understand recent ALICE and LHCb data for $\Lambda_c$ production with the $c \to \Lambda_c$ independent parton fragmentation approach. The Peterson fragmentation functions are used. The $f_{c \to \Lambda_c}$ fragmentation fraction and $\varepsilon_{c}^{\Lambda}$ parameter for $c \to \Lambda_c$ are varied. As a control plot we show transverse momentum distribution of different species of $D$ mesons assuming standard values of the $f_{c \to D}$ fragmentation fractions known from the literature. The fraction $f_{c \to \Lambda_c}$ neccessary to describe the ALICE data is much larger than the average value obtained from $e^+ e^-$ or $e p$ experiments. No drastic modification of the shape of fragmentation function is allowed by the new ALICE and LHCb data for $\Lambda_c$ production. We also discuss a possible dependence of the $\Lambda_c/ D^0$ baryon-to-meson ratio on rapidity and transverse momentum as seems observed recently by the ALICE and LHCb collaborations. Three different effects are considered: the value of $\varepsilon_c^{\Lambda}$ parameter in Peterson fragmentation function for $c \to \Lambda_c$, a kinematical effect related to the hadronization prescription and a possible feed-down from higher charmed-baryon excitations. It seems very difficult, if not impossible, to understand the ALICE data within the considered independent parton fragmentation scheme.


title: Sharing and Preserving Computational Analyses for Posterity with encapsulator

abstract: Open data and open-source software may be part of the solution to science's "reproducibility crisis", but they are insufficient to guarantee reproducibility. Requiring minimal end-user expertise, encapsulator creates a "time capsule" with reproducible code in a self-contained computational environment. encapsulator provides end-users with a fully-featured desktop environment for reproducible research.


title: Hyperbolic Geometry and Amplituhedra in 1+2 dimensions

abstract: Recently, the existence of an Amplituhedron for tree level amplitudes in the bi-adjoint scalar field theory has been proved by Arkhani-Hamed et al. We argue that hyperbolic geometry constitutes a natural framework to address the study of positive geometries in moduli spaces of Riemann surfaces, and thus to try to extend this achievement beyond tree level. In this paper we begin an exploration of these ideas starting from the simplest example of hyperbolic geometry, the hyperbolic plane. The hyperboloid model naturally guides us to re-discover the moduli space Associahedron, and a new version of its kinematical avatar. As a by-product we obtain a solution to the scattering equations which can be interpreted as a special case of the two well known solutions in terms of spinor-helicity formalism. The construction is done in $1+2$ dimensions and this makes harder to understand how to extract the amplitude from the dlog of the space time Associahedron. Nevertheless, we continue the investigation accommodating a loop momentum in the picture. By doing this we are led to another polytope called Halohedron, which was already known to mathematicians. We argue that the Halohedron fulfils many criteria that make it plausible to be understood as a 1-loop Amplituhedron for the cubic theory. Furthermore, the hyperboloid model again allows to understand that a kinematical version of the Halohedron exists and is related to the one living in moduli space by a simple generalisation of the tree level map.


title: Low temperature optical properties of interstellar and circumstellar icy silicate grain analogues in the mid-infrared spectral region

abstract: Two different silicate/water ice mixtures representing laboratory analogues of interstellar and circumstellar icy grains were produced in the laboratory. For the first time, optical constants, the real and imaginary parts of the complex refractive index, of such silicate/water ice mixtures were experimentally determined in the mid-infrared spectral region at low temperatures. In addition, optical constants of pure water ice and pure silicates were derived in the laboratory. Two sets of constants were compared, namely, measured constants calculated from the transmission spectra of silicate/water ice samples and effective constants calculated from the optical constants of pure silicates and pure water ice samples using different mixing rules (effective medium approaches). Differences between measured and effective constants show that a mixing (averaging) of optical constants of water ice and silicates for the determination of the optical properties of silicate/ice mixtures can lead to incorrect results. Also, it is shown that a part of water ice molecules is trapped in/on silicate grains and does not desorb up to 200 K. Our unique data are just in time with respect to the new challenging space mission, James Webb Space Telescope, which will be able to bring novel detailed information on interstellar and circumstellar grains, and suitable laboratory data are extremely important for the decoding of astronomical spectra.


title: A Universal Dynamic Program and Refined Existence Results for Decentralized Stochastic Control

abstract: For sequential stochastic control problems with standard Borel measurement and control action spaces, we introduce a general (universally applicable) dynamic programming formulation, establish its well-posedness, and provide new existence results for optimal policies. Our dynamic program builds in part on Witsenhausen's standard form, but with a different formulation for the state, action, and transition dynamics. Using recent results on measurability properties of strategic measures in decentralized control, we obtain a standard Borel controlled Markov model. This allows for a well-defined dynamic programming recursion through universal measurability properties of the value functions for each time stage. In addition, new existence results are obtained for optimal policies in decentralized stochastic control. These state that for a static team with independent measurements, it suffices for the cost function to be continuous (only) in the actions for the existence of an optimal policy under mild compactness (or tightness) conditions. These also apply to dynamic teams which admit static reductions with independent measurements through a change of measure transformation. We show through a counterexample that weaker conditions may not lead to existence of an optimal team policy. The paper's existence results generalize those previously reported in the literature. A summary of and comparison with previously reported results and some applications are presented.


title: Spin-Boson type models analysed using symmetries

abstract: In this paper we analyse a family of models for a qubit interacting with a bosonic field. These models have a parity symmetry, which enables them to have a ground state even in some infrared irregular cases. In this paper we investigate this symmetry and consider higher order perturbations of field operators to any even order. We find the domain of selfadjointness and decompose the Hamiltonian into two fiber operators each defined on Fock space. We then prove an HVZ theorem for each operator under minimal conditions, and show that the ground state is always associated with the same fiber operator, while eigenvalues of the other fiber operator corresponds to exited states. Thus the problem of analysing the ground state and exited states is reduced to a simpler problem on Fock space.


title: The Toda$_2$ chain

abstract: We show that a natural discretisation of Virasoro algebra yields a quantum integrable model which is the Toda chain in the second Hamiltonian structure.


title: Theory and Algorithms for Forecasting Time Series

abstract: We present data-dependent learning bounds for the general scenario of non-stationary non-mixing stochastic processes. Our learning guarantees are expressed in terms of a data-dependent measure of sequential complexity and a discrepancy measure that can be estimated from data under some mild assumptions. We also also provide novel analysis of stable time series forecasting algorithm using this new notion of discrepancy that we introduce. We use our learning bounds to devise new algorithms for non-stationary time series forecasting for which we report some preliminary experimental results.


title: OFDM-Autoencoder for End-to-End Learning of Communications Systems

abstract: We extend the idea of end-to-end learning of communications systems through deep neural network (NN)-based autoencoders to orthogonal frequency division multiplexing (OFDM) with cyclic prefix (CP). Our implementation has the same benefits as a conventional OFDM system, namely singletap equalization and robustness against sampling synchronization errors, which turned out to be one of the major challenges in previous single-carrier implementations. This enables reliable communication over multipath channels and makes the communication scheme suitable for commodity hardware with imprecise oscillators. We show that the proposed scheme can be realized with state-of-the-art deep learning software libraries as transmitter and receiver solely consist of differentiable layers required for gradient-based training. We compare the performance of the autoencoder-based system against that of a state-of-the-art OFDM baseline over frequency-selective fading channels. Finally, the impact of a non-linear amplifier is investigated and we show that the autoencoder inherently learns how to deal with such hardware impairments.


title: Reduction type of smooth quartics

abstract: Let $C/K$ be a smooth plane quartic over a discrete valuation field. We characterize the type of reduction (i.e. smooth plane quartic, hyperelliptic genus 3 curve or bad) over $K$ in terms of the existence of a special plane quartic model and, over $\bar{K}$, in terms of the valuations of certain algebraic invariants of $C$ when the characteristic of the residue field is not $2,\,3,\,5$ or $7$. On the way, we gather several results of general interest on geometric invariant theory over an arbitrary ring $R$ in the spirit of (Seshadri 1977). For instance when $R$ is a discrete valuation ring, we show the existence of a homogeneous system of parameters over $R$. We exhibit explicit ones for ternary quartic forms under the action of $\textrm{SL}_{3,R}$ depending only on the characteristic $p$ of the residue field. We illustrate our results with the case of Picard curves for which we give simple criteria for the type of reduction.


title: 2D Reconstruction of Small Intestine's Interior Wall

abstract: Examining and interpreting of a large number of wireless endoscopic images from the gastrointestinal tract is a tiresome task for physicians. A practical solution is to automatically construct a two dimensional representation of the gastrointestinal tract for easy inspection. However, little has been done on wireless endoscopic image stitching, let alone systematic investigation. The proposed new wireless endoscopic image stitching method consists of two main steps to improve the accuracy and efficiency of image registration. First, the keypoints are extracted by Principle Component Analysis and Scale Invariant Feature Transform (PCA-SIFT) algorithm and refined with Maximum Likelihood Estimation SAmple Consensus (MLESAC) outlier removal to find the most reliable keypoints. Second, the optimal transformation parameters obtained from first step are fed to the Normalised Mutual Information (NMI) algorithm as an initial solution. With modified Marquardt-Levenberg search strategy in a multiscale framework, the NMI can find the optimal transformation parameters in the shortest time. The proposed methodology has been tested on two different datasets - one with real wireless endoscopic images and another with images obtained from Micro-Ball (a new wireless cubic endoscopy system with six image sensors). The results have demonstrated the accuracy and robustness of the proposed methodology both visually and quantitatively.


title: Extracting the quantum metric tensor through periodic driving

abstract: We propose a generic protocol to experimentally measure the quantum metric tensor, a fundamental geometric property of quantum states. Our method is based on the observation that the excitation rate of a quantum state directly relates to components of the quantum metric upon applying a proper time-periodic modulation. We discuss the applicability of this scheme to generic two-level systems, where the Hamiltonian's parameters can be externally tuned, and also to the context of Bloch bands associated with lattice systems. As an illustration, we extract the quantum metric of the multi-band Hofstadter model. Moreover, we demonstrate how this method can be used to directly probe the spread functional, a quantity which sets the lower bound on the spread of Wannier functions and signals phase transitions. Our proposal offers a universal probe for quantum geometry, which could be readily applied in a wide range of physical settings, ranging from circuit-QED systems to ultracold atomic gases.


title: Outperformance and Tracking: Dynamic Asset Allocation for Active and Passive Portfolio Management

abstract: Portfolio management problems are often divided into two types: active and passive, where the objective is to outperform and track a preselected benchmark, respectively. Here, we formulate and solve a dynamic asset allocation problem that combines these two objectives in a unified framework. We look to maximize the expected growth rate differential between the wealth of the investor's portfolio and that of a performance benchmark while penalizing risk-weighted deviations from a given tracking portfolio. Using stochastic control techniques, we provide explicit closed-form expressions for the optimal allocation and we show how the optimal strategy can be related to the growth optimal portfolio. The admissible benchmarks encompass the class of functionally generated portfolios (FGPs), which include the market portfolio, as the only requirement is that they depend only on the prevailing asset values. Finally, some numerical experiments are presented to illustrate the risk-reward profile of the optimal allocation.


title: RUSSE: The First Workshop on Russian Semantic Similarity

abstract: The paper gives an overview of the Russian Semantic Similarity Evaluation (RUSSE) shared task held in conjunction with the Dialogue 2015 conference. There exist a lot of comparative studies on semantic similarity, yet no analysis of such measures was ever performed for the Russian language. Exploring this problem for the Russian language is even more interesting, because this language has features, such as rich morphology and free word order, which make it significantly different from English, German, and other well-studied languages. We attempt to bridge this gap by proposing a shared task on the semantic similarity of Russian nouns. Our key contribution is an evaluation methodology based on four novel benchmark datasets for the Russian language. Our analysis of the 105 submissions from 19 teams reveals that successful approaches for English, such as distributional and skip-gram models, are directly applicable to Russian as well. On the one hand, the best results in the contest were obtained by sophisticated supervised models that combine evidence from different sources. On the other hand, completely unsupervised approaches, such as a skip-gram model estimated on a large-scale corpus, were able score among the top 5 systems.


title: Thermodynamics in the NC disc

abstract: We study the thermodynamics of a scalar field on a noncommutative disc implementing the boundary as the limit case of an interaction with an appropriately chosen confining background. We explicitly obtain expressions for thermodynamic potentials of gases of particles obeying different statistics. In order to do that, we derive an asymptotic expansion for the density of the zeros of Laguerre polynomials. As a result we prove that the Bose-Einstein condensation in the noncommutative disc does not take place.


title: Comments on the entropic gravity proposal

abstract: Explicit tests are presented of the conjectured entropic origin of the gravitational force. The gravitational force on a test particle in the vicinity of the horizon of a large Schwarzschild black hole in arbitrary spacetime dimensions is obtained as entropic force. The same conclusion can be reached for the cases of a large electrically charged black hole and a large slowly rotating Kerr black hole. The generalization along the same lines to a test mass in the field of an arbitrary spherical star is also studied and found not to be possible. Our results thus reinforce the argument that the entropic gravity proposal cannot account for the gravitational force in generic situations.


title: Quantum Field Theory With No Zero-Point Energy

abstract: Traditional quantum field theory can lead to enormous zero-point energy, which markedly disagrees with experiment. Unfortunately, this situation is built into conventional canonical quantization procedures. For identical classical theories, an alternative quantization procedure, called affine field quantization, leads to the desirable feature of having a vanishing zero-point energy. This procedure has been applied to renormalizable and nonrenormalizable covariant scalar fields, fermion fields, as well as general relativity. Simpler models are offered as an introduction to affine field quantization.


title: Testing constitutive relations by running and walking on cornstarch and water suspensions

abstract: The ability of a person to run on the surface of a suspension of cornstarch and water has fascinated scientists and the public alike. However, the constitutive relation obtained from traditional steady-state rheology of cornstarch and water suspensions has failed to explain this behavior. In a previous paper, we presented an averaged constitutive relation for impact rheology consisting of an effective compressive modulus of a system-spanning dynamically jammed structure (arXiv:1407:0719). Here, we show that this constitutive model can be used to quantitatively predict, for example, the trajectory and penetration depth of the foot of a person walking or running on cornstarch and water. The ability of the constitutive relation to predict the material behavior in a case with different forcing conditions and flow geometry than it was obtained from suggests that the constitutive relation could be applied more generally. We also present a detailed calculation of the added mass effect to show that while it may be able to explain some cases of people running or walking on the surface of cornstarch and water for pool depths $H >1.2$ m and foot impact velocities $V_I> 1.7$ m/s, it cannot explain observations of people walking or running on the surface of cornstarch and water for smaller $H$ or $V_I$.


title: A Generalized Matching Reconfiguration Problem

abstract: The goal in {\em reconfiguration problems} is to compute a {\em gradual transformation} between two feasible solutions of a problem such that all intermediate solutions are also feasible. In the {\em Matching Reconfiguration Problem} (MRP), proposed in a pioneering work by Ito et al.\ from 2008, we are given a graph $G$ and two matchings $M$ and $M'$, and we are asked whether there is a sequence of matchings in $G$ starting with $M$ and ending at $M'$, each resulting from the previous one by either adding or deleting a single edge in $G$, without ever going through a matching of size $< \min\{|M|,|M'|\}-1$. Ito et al.\ gave a polynomial time algorithm for the problem. In this paper we introduce a natural generalization of the MRP that depends on an integer parameter $\Delta \ge 1$: here we are allowed to make $\Delta$ changes to the current solution rather than 1 at each step of the {transformation procedure}. There is always a valid sequence of matchings transforming $M$ to $M'$ if $\Delta$ is sufficiently large, and naturally we would like to minimize $\Delta$. We first devise an optimal transformation procedure for unweighted matching with $\Delta = 3$, and then extend it to weighted matchings to achieve asymptotically optimal guarantees. The running time of these procedures is linear. We further demonstrate the applicability of this generalized problem to dynamic graph matchings. In this area, the number of changes to the maintained matching per update step (the \emph{recourse bound}) is an important quality measure. Nevertheless, the \emph{worst-case} recourse bounds of almost all known dynamic matching algorithms are prohibitively large, much larger than the corresponding update times. We fill in this gap via a surprisingly simple black-box reduction: Any dynamic algorithm for maintaining [...]


title: Actions of skew braces and set-theoretic solutions of the reflection equation

abstract: A skew brace, as introduced by L. Guarnieri and L. Vendramin, is a set with two group structures interacting in a particular way. When one of the group structures is abelian, one gets back the notion of brace as introduced by W. Rump. Skew braces can be used to construct solutions of the quantum Yang-Baxter equation. In this article, we introduce a notion of action of a skew brace, and show how it leads to solutions of the closely associated reflection equation.


title: Local Spectral Graph Convolution for Point Set Feature Learning

abstract: Feature learning on point clouds has shown great promise, with the introduction of effective and generalizable deep learning frameworks such as pointnet++. Thus far, however, point features have been abstracted in an independent and isolated manner, ignoring the relative layout of neighboring points as well as their features. In the present article, we propose to overcome this limitation by using spectral graph convolution on a local graph, combined with a novel graph pooling strategy. In our approach, graph convolution is carried out on a nearest neighbor graph constructed from a point's neighborhood, such that features are jointly learned. We replace the standard max pooling step with a recursive clustering and pooling strategy, devised to aggregate information from within clusters of nodes that are close to one another in their spectral coordinates, leading to richer overall feature descriptors. Through extensive experiments on diverse datasets, we show a consistent demonstrable advantage for the tasks of both point set classification and segmentation.


title: Non-adiabatic dynamics of electrons and atoms under non-equilibrium conditions

abstract: An approach to non-adiabatic dynamics of atoms in molecular and condensed matter systems under general non-equilibrium conditions is proposed. In this method interaction between nuclei and electrons is considered explicitly up to the second order in atomic displacements defined with respect to the mean atomic trajectory. This method enables one to consider movement of atoms beyond their simple vibrations. Both electrons and nuclei are treated fully quantum-mechanically using a combination of path integrals applied to nuclei and non-equilibrium Green's functions (NEGF) to elections. Our method is partition-less: initially, the entire system is coupled and assumed to be at thermal equilibrium. Then, the exact application of the Hubbard-Stratanovich transformation in mixed real and imaginary times enables us to obtain, without doing any additional approximations, an exact expression for the reduced density matrix for nuclei and hence an effective quantum Liouville equation for them, both containing Gaussian noises. It is shown that the time evolution of the expectation values for atomic positions is described by an infinite hierarchy of stochastic differential equations for atomic positions and momenta and their various fluctuations. The actual dynamics is obtained by sampling all stochastic trajectories. It is expected that applications of the method may include photo-induced chemical reactions (e.g. dissociation), electromigration, atomic manipulation in scanning tunneling microscopy, to name just a few.


title: Enriching Frame Representations with Distributionally Induced Senses

abstract: We introduce a new lexical resource that enriches the Framester knowledge graph, which links Framnet, WordNet, VerbNet and other resources, with semantic features from text corpora. These features are extracted from distributionally induced sense inventories and subsequently linked to the manually-constructed frame representations to boost the performance of frame disambiguation in context. Since Framester is a frame-based knowledge graph, which enables full-fledged OWL querying and reasoning, our resource paves the way for the development of novel, deeper semantic-aware applications that could benefit from the combination of knowledge from text and complex symbolic representations of events and participants. Together with the resource we also provide the software we developed for the evaluation in the task of Word Frame Disambiguation (WFD).


title: A policy iteration algorithm for nonzero-sum stochastic impulse games

abstract: This work presents a novel policy iteration algorithm to tackle nonzero-sum stochastic impulse games arising naturally in many applications. Despite the obvious impact of solving such problems, there are no suitable numerical methods available, to the best of our knowledge. Our method relies on the recently introduced characterization of the value functions and Nash equilibrium via a system of quasi-variational inequalities. While our algorithm is heuristic and we do not provide a convergence analysis, numerical tests show that it performs convincingly in a wide range of situations, including the only analytically solvable example available in the literature at the time of writing.


title: Technical Uncertainty in Real Options with Learning

abstract: We introduce a new approach to incorporate uncertainty into the decision to invest in a commodity reserve. The investment is an irreversible one-off capital expenditure, after which the investor receives a stream of cashflow from extracting the commodity and selling it on the spot market. The investor is exposed to price uncertainty and uncertainty in the amount of available resources in the reserves (i.e. technical uncertainty). She does, however, learn about the reserve levels through time, which is a key determinant in the decision to invest. To model the reserve level uncertainty and how she learns about the estimates of the commodity in the reserve, we adopt a continuous-time Markov chain model to value the option to invest in the reserve and investigate the value that learning has prior to investment.


title: On scalar and vector fields coupled to the energy-momentum tensor

abstract: We consider theories for scalar and vector fields coupled to the energy-momentum tensor. Since these fields also carry a non-trivial energy-momentum tensor, the coupling prescription generates self-interactions. In analogy with gravity theories, we built the action by means of an iterative process that leads to an infinite series, which can be resumed as the solution of a set of differential equations. We show that, in some particular cases, the equations become algebraic and that is also possible to find solutions in the form of polynomials. We briefly review the case of the scalar field that has already been studied in the literature and extend the analysis to the case of derivative (disformal) couplings. We then explore theories with vector fields, distinguishing between gauge- and non-gauge-invariant couplings. Interactions with matter are also considered, taking a scalar field as a proxy for the matter sector. We also discuss the ambiguity introduced by superpotential (boundary) terms in the definition of the energy-momentum tensor and use them to show that it is also possible to generate Galileon-like interactions with this procedure. We finally use collider and astrophysical observations to set constraints on the dimensionful coupling which characterises the phenomenology of these models.


title: Rio: A new computational framework for accurate initial data of binary black holes

abstract: We present a computational framework (Rio) in the ADM 3+1 approach for numerical relativity. This work enables us to carry out high resolution calculations for initial data of two arbitrary black holes. We use the transverse conformal treatment, the Bowen-York and the puncture methods. For the numerical solution of the Hamiltonian constraint we use the domain decomposition and the spectral decomposition of Galerkin-Collocation. The nonlinear numerical code solves the set of equations for the spectral modes using the standard Newton-Raphson method, LU decomposition and Gaussian quadratures. We show the convergence of the Rio code. This code allows for easy deployment of large calculations. We show how the spin of one of the black holes is manifest in the conformal factor.


title: On-orbit Operations and Offline Data Processing of CALET onboard the ISS

abstract: The CALorimetric Electron Telescope (CALET), launched for installation on the International Space Station (ISS) in August, 2015, has been accumulating scientific data since October, 2015. CALET is intended to perform long-duration observations of high-energy cosmic rays onboard the ISS. CALET directly measures the cosmic-ray electron spectrum in the energy range of 1 GeV to 20 TeV with a 2% energy resolution above 30 GeV. In addition, the instrument can measure the spectrum of gamma rays well into the TeV range, and the spectra of protons and nuclei up to a PeV. In order to operate the CALET onboard ISS, JAXA Ground Support Equipment (JAXA-GSE) and the Waseda CALET Operations Center (WCOC) have been established. Scientific operations using CALET are planned at WCOC, taking into account orbital variations of geomagnetic rigidity cutoff. Scheduled command sequences are used to control the CALET observation modes on orbit. Calibration data acquisition by, for example, recording pedestal and penetrating particle events, a low-energy electron trigger mode operating at high geomagnetic latitude, a low-energy gamma-ray trigger mode operating at low geomagnetic latitude, and an ultra heavy trigger mode, are scheduled around the ISS orbit while maintaining maximum exposure to high-energy electrons and other high-energy shower events by always having the high-energy trigger mode active. The WCOC also prepares and distributes CALET flight data to collaborators in Italy and the United States. As of August 31, 2017, the total observation time is 689 days with a live time fraction of the total time of approximately 84%. Nearly 450 million events are collected with a high-energy (E>10 GeV) trigger. By combining all operation modes with the excellent-quality on-orbit data collected thus far, it is expected that a five-year observation period will provide a wealth of new and interesting results.


title: Statistical harmonization and uncertainty assessment in the comparison of satellite and radiosonde climate variables

abstract: Satellite product validation is key to ensure the delivery of quality products for climate and weather applications. To do this, a fundamental step is the comparison with other instruments, such us radiosonde. This is specially true for Essential Climate Variables such as temperature and humidity. Thanks to a functional data representation, this paper uses a likelihood based approach which exploits the measurement uncertainties in a natural way. In particular the comparison of temperature and humdity radiosonde measurements collected within RAOB network and the corresponding atmospheric profiles derived from IASI interferometers aboard of Metop-A and Metop-B satellites is developed with the aim of understanding the vertical smoothing mismatch uncertainty. Moreover, conventional RAOB functional data representation is assessed by means of a comparison with radiosonde reference measurements given by GRUAN network, which provides high resolution fully traceable radiosouding profiles. In this way the uncertainty related to coarse vertical resolution, or sparseness, of conventional RAOB is assessed. It has been found that the uncertainty of vertical smoothing mismatch averaged along the profile is 0.50 K for temperature and 0.16 g/kg for water vapour mixing ratio. Moreover the uncertainty related to RAOB sparseness, averaged along the profile is 0.29 K for temperature and 0.13 g/kg for water vapour mixing ratio.


title: Asymptotic theory for longitudinal data with missing responses adjusted by inverse probability weights

abstract: In this article, we propose a new method for analyzing longitudinal data which contain responses that are missing at random. This method consists in solving the generalized estimating equation (GEE) of Liang and Zeger (1986) in which the incomplete responses are replaced by values adjusted using the inverse probability weights proposed in Yi, Ma and Carroll (2012). We show that the root estimator is consistent and asymptotically normal, essentially under the some conditions on the marginal distribution and the surrogate correlation matrix as those presented in Xie and Yang (2003) in the case of complete data, and under minimal assumptions on the missingness probabilities. This method is applied to a real-life dataset taken from Sommer, Katz and Tarwotjo (1984), which examines the incidence of respiratory disease in a sample of 250 pre-school age Indonesian children which were examined every 3 months for 18 months, using as covariates the age, gender, and vitamin A deficiency.


title: Automated image acquisition for low-dose STEM at atomic resolution

abstract: Beam damage is a major limitation in electron microscopy that becomes increasingly severe at higher resolution. One possible route to circumvent radiation damage, which forms the basis for single-particle electron microscopy and related techniques, is to distribute the dose over many identical copies of an object. For the acquisition of low-dose data, ideally no dose should be applied to the region of interest prior to the acquisition of data. We present an automated approach that can collect large amounts of data efficiently by acquiring images in an user-defined area-of-interest with atomic resolution. We demonstrate that the stage mechanics of the Nion UltraSTEM, combined with an intelligent algorithm to move the sample, allows the automated acquisition of atomically resolved images from micron-sized areas of a graphene substrate. Moving the sample stage automatically in a regular pattern over the area-of-interest enables the collection of data from pristine sample regions without exposing them to the electron beam before recording an image. Therefore, it is possible to obtain data with minimal dose (no prior exposure from focusing), which is only limited by the minimum signal needed for data processing. This enables us to prevent beam induced damage in the sample and to acquire large datasets within a reasonable amount of time.


title: Tracing sharing in an imperative pure calculus (Extended Version)

abstract: We introduce a type and effect system, for an imperative object calculus, which infers "sharing" possibly introduced by the evaluation of an expression, represented as an equivalence relation among its free variables. This direct representation of sharing effects at the syntactic level allows us to express in a natural way, and to generalize, widely-used notions in literature, notably "uniqueness" and "borrowing". Moreover, the calculus is "pure" in the sense that reduction is defined on language terms only, since they directly encode store. The advantage of this non-standard execution model with respect to a behaviourally equivalent standard model using a global auxiliary structure is that reachability relations among references are partly encoded by scoping.


title: Metallic state in bosonic systems with continuously degenerate minima

abstract: In systems above one dimension a continuously degenerate minimum of the single particle dispersion is realized due to one or a combination of system-parameters such as lattice structure, isotropic spin-orbit coupling, and interactions. A unit codimension of the dispersion-minima leads to a divergent density of states which enhances the effects of interactions, and may lead to novel states of matter as exemplified by Luttinger liquids in one dimensional bosonic systems. Here we show that in dilute, homogeneous bosonic systems above one dimension, weak, spin-independent, inter-particle interactions stabilize a metallic state at zero temperature in the presence of a curved manifold of dispersion minima. In this metallic phase the system possesses a quasi long-range order with non-universal scaling exponents. At a fixed positive curvature of the manifold, increasing either the dilution or the interaction strength destabilizes the metallic state towards charge density wave states that break one or more symmetries. The magnitude of the wave vector of the dominant charge density wave state is controlled by the product of the mean density of bosons and the curvature of the manifold. We obtain the zero temperature phase diagram, and identify the phase boundary.


title: Effective Connectivity from Single Trial fMRI Data by Sampling Biologically Plausible Models

abstract: The estimation of causal network architectures in the brain is fundamental for understanding cognitive information processes. However, access to the dynamic processes underlying cognition is limited to indirect measurements of the hidden neuronal activity, for instance through fMRI data. Thus, estimating the network structure of the underlying process is challenging. In this article, we embed an adaptive importance sampler called Adaptive Path Integral Smoother (APIS) into the Expectation-Maximization algorithm to obtain point estimates of causal connectivity. We demonstrate on synthetic data that this procedure finds not only the correct network structure but also the direction of effective connections from random initializations of the connectivity matrix. In addition--motivated by contradictory claims in the literature--we examine the effect of the neuronal timescale on the sensitivity of the BOLD signal to changes in the connectivity and on the maximum likelihood solutions of the connectivity. We conclude with two warnings: First, the connectivity estimates under the assumption of slow dynamics can be extremely biased if the data was generated by fast neuronal processes. Second, the faster the time scale, the less sensitive the BOLD signal is to changes in the incoming connections to a node. Hence, connectivity estimation using realistic neural dynamics timescale requires extremely high-quality data and seems infeasible in many practical data sets.


title: Impurity effect as a probe for the pairing symmetry of graphene-based superconductors

abstract: The single impurity effect on the graphene-based superconductor is studied theoretically. Four different pairing symmetries are discussed. Sharp resonance peaks are found near the impurity site for the $d+id$-wave pairing symmetry and the $p+ip$-wave pairing symmetry when the chemical potential is large. As the chemical potential decreases, the in-gap states are robust for the $d+id$ pairing symmetry while they disappear for the $p+ip$ pairing symmetry. Such in-gap peaks are absent for the fully gapped extended $s$-wave pairing symmetry and the nodal $f$-wave pairing symmetry. The existence of the in-gap resonance peaks can be explained well based on the sign-reversal of the superconducting gap along different Fermi pockets and by analyzing the denominator of the $T$-matrix. All of the features can be accessed by the experiments, which provide a useful probe for the pairing symmetry of graphene-based superconductors.


title: Data as a Research Infrastructure - CDS, the Virtual Observatory, Astronomy, and beyond

abstract: The situation of data sharing in astronomy is positioned in the current general context of a political push towards, and rapid development of, scientific data sharing. Data is already one of the major infrastructures of astronomy, thanks to the data and service providers and to the International Virtual Observatory Alliance (IVOA). Other disciplines are moving on in the same direction. International organisations, in particular the Research Data Alliance (RDA), are developing building blocks and bridges to enable scientific data sharing across borders. The liaisons between RDA and astronomy, and RDA activities relevant to the librarian community, are discussed.


title: Challenges in Annotation of useR Data for UbiquitOUs Systems: Results from the 1st ARDUOUS Workshop

abstract: Labelling user data is a central part of the design and evaluation of pervasive systems that aim to support the user through situation-aware reasoning. It is essential both in designing and training the system to recognise and reason about the situation, either through the definition of a suitable situation model in knowledge-driven applications, or through the preparation of training data for learning tasks in data-driven models. Hence, the quality of annotations can have a significant impact on the performance of the derived systems. Labelling is also vital for validating and quantifying the performance of applications. In particular, comparative evaluations require the production of benchmark datasets based on high-quality and consistent annotations. With pervasive systems relying increasingly on large datasets for designing and testing models of users' activities, the process of data labelling is becoming a major concern for the community. In this work we present a qualitative and quantitative analysis of the challenges associated with annotation of user data and possible strategies towards addressing these challenges. The analysis was based on the data gathered during the 1st International Workshop on Annotation of useR Data for UbiquitOUs Systems (ARDUOUS) and consisted of brainstorming as well as annotation and questionnaire data gathered during the talks, poster session, live annotation session, and discussion session.


title: Iterative Turbo Receiver for LDPC-Coded MIMO Systems Based on Semi-definite Relaxation

abstract: In this work, we develop a new iterative turbo receiver for LDPC-coded multi-antenna systems based on semidefinite relaxation (SDR). For a classical turbo receiver, forward error correction (FEC) code is only used at decoder. Nonetheless, by taking advantage of FEC code in the detection stage, our proposed SDR detector can output extrinsic information with much improved reliability to the decoder. We also propose a simplified SDR turbo receiver that solves only one SDR problem per codeword instead of solving multiple SDR problems in the iterative turbo processing. This scheme significantly reduces the time complexity of SDR turbo receiver, while the error performance remains similar as before. In fact, our simplified scheme is generic in the sense that it is applicable to any list-based iterative receivers.


title: A Structural Correlation Filter Combined with A Multi-task Gaussian Particle Filter for Visual Tracking

abstract: In this paper, we propose a novel structural correlation filter combined with a multi-task Gaussian particle filter (KCF-GPF) model for robust visual tracking. We first present an assemble structure where several KCF trackers as weak experts provide a preliminary decision for a Gaussian particle filter to make a final decision. The proposed method is designed to exploit and complement the strength of a KCF and a Gaussian particle filter. Compared with the existing tracking methods based on correlation filters or particle filters, the proposed tracker has several advantages. First, it can detect the tracked target in a large-scale search scope via weak KCF trackers and evaluate the reliability of weak trackers\rq decisions for a Gaussian particle filter to make a strong decision, and hence it can tackle fast motions, appearance variations, occlusions and re-detections. Second, it can effectively handle large-scale variations via a Gaussian particle filter. Third, it can be amenable to fully parallel implementation using importance sampling without resampling, thereby it is convenient for VLSI implementation and can lower the computational costs. Extensive experiments on the OTB-2013 dataset containing 50 challenging sequences demonstrate that the proposed algorithm performs favourably against 16 state-of-the-art trackers.


title: Accurate Facial Parts Localization and Deep Learning for 3D Facial Expression Recognition

abstract: Meaningful facial parts can convey key cues for both facial action unit detection and expression prediction. Textured 3D face scan can provide both detailed 3D geometric shape and 2D texture appearance cues of the face which are beneficial for Facial Expression Recognition (FER). However, accurate facial parts extraction as well as their fusion are challenging tasks. In this paper, a novel system for 3D FER is designed based on accurate facial parts extraction and deep feature fusion of facial parts. In particular, each textured 3D face scan is firstly represented as a 2D texture map and a depth map with one-to-one dense correspondence. Then, the facial parts of both texture map and depth map are extracted using a novel 4-stage process consists of facial landmark localization, facial rotation correction, facial resizing, facial parts bounding box extraction and post-processing procedures. Finally, deep fusion Convolutional Neural Networks (CNNs) features of all facial parts are learned from both texture maps and depth maps, respectively and nonlinear SVMs are used for expression prediction. Experiments are conducted on the BU-3DFE database, demonstrating the effectiveness of combing different facial parts, texture and depth cues and reporting the state-of-the-art results in comparison with all existing methods under the same setting.


title: I Know What You See: Power Side-Channel Attack on Convolutional Neural Network Accelerators

abstract: Deep learning has become the de-facto computational paradigm for various kinds of perception problems, including many privacy-sensitive applications such as online medical image analysis. No doubt to say, the data privacy of these deep learning systems is a serious concern. Different from previous research focusing on exploiting privacy leakage from deep learning models, in this paper, we present the first attack on the implementation of deep learning models. To be specific, we perform the attack on an FPGA-based convolutional neural network accelerator and we manage to recover the input image from the collected power traces without knowing the detailed parameters in the neural network. For the MNIST dataset, our power side-channel attack is able to achieve up to 89% recognition accuracy.


title: Towards Clinical Diagnosis: Automated Stroke Lesion Segmentation on Multimodal MR Image Using Convolutional Neural Network

abstract: The patient with ischemic stroke can benefit most from the earliest possible definitive diagnosis. While the high quality medical resources are quite scarce across the globe, an automated diagnostic tool is expected in analyzing the magnetic resonance (MR) images to provide reference in clinical diagnosis. In this paper, we propose a deep learning method to automatically segment ischemic stroke lesions from multi-modal MR images. By using atrous convolution and global convolution network, our proposed residual-structured fully convolutional network (Res-FCN) is able to capture features from large receptive fields. The network architecture is validated on a large dataset of 212 clinically acquired multi-modal MR images, which is shown to achieve a mean dice coefficient of 0.645 with a mean number of false negative lesions of 1.515. The false negatives can reach a value that close to a common medical image doctor, making it exceptive for a real clinical application.


title: XNORBIN: A 95 TOp/s/W Hardware Accelerator for Binary Convolutional Neural Networks

abstract: Deploying state-of-the-art CNNs requires power-hungry processors and off-chip memory. This precludes the implementation of CNNs in low-power embedded systems. Recent research shows CNNs sustain extreme quantization, binarizing their weights and intermediate feature maps, thereby saving 8-32\x memory and collapsing energy-intensive sum-of-products into XNOR-and-popcount operations. We present XNORBIN, an accelerator for binary CNNs with computation tightly coupled to memory for aggressive data reuse. Implemented in UMC 65nm technology XNORBIN achieves an energy efficiency of 95 TOp/s/W and an area efficiency of 2.0 TOp/s/MGE at 0.8 V.


title: Vision-Aided Absolute Trajectory Estimation Using an Unsupervised Deep Network with Online Error Correction

abstract: We present an unsupervised deep neural network approach to the fusion of RGB-D imagery with inertial measurements for absolute trajectory estimation. Our network, dubbed the Visual-Inertial-Odometry Learner (VIOLearner), learns to perform visual-inertial odometry (VIO) without inertial measurement unit (IMU) intrinsic parameters (corresponding to gyroscope and accelerometer bias or white noise) or the extrinsic calibration between an IMU and camera. The network learns to integrate IMU measurements and generate hypothesis trajectories which are then corrected online according to the Jacobians of scaled image projection errors with respect to a spatial grid of pixel coordinates. We evaluate our network against state-of-the-art (SOA) visual-inertial odometry, visual odometry, and visual simultaneous localization and mapping (VSLAM) approaches on the KITTI Odometry dataset and demonstrate competitive odometry performance.


title: Image Registration Based Flicker Solving in Video Face Replacement and Analysis Based Sub-pixel Image Registration

abstract: In this paper, a framework of video face replacement is proposed and it deals with the flicker of swapped face in video sequence. This framework contains two main innovations: 1) the technique of image registration is exploited to align the source and target video faces for eliminating the flicker or jitter of the segmented video face sequence; 2) a fast subpixel image registration method is proposed for farther accuracy and efficiency. Unlike the priori works, it minimizes the overlapping region and takes spatiotemporal coherence into account. Flicker in resulted videos is usually caused by the frequently changed bound of the blending target face and unregistered faces between and along video sequences. The subpixel image registration method is proposed to solve the flicker problem. During the alignment process, integer pixel registration is formulated by maximizing the similarity of images with down sampling strategy speeding up the process and sub-pixel image registration is a single-step image match via analytic method. Experimental results show the proposed algorithm reduces the computation time and gets a high accuracy when conducting experiments on different data sets.


title: Paradigm and Paradox in Topology Control of Power Grids

abstract: Corrective Transmission Switching can be used by the grid operator to relieve line overloading and voltage violations, improve system reliability, and reduce system losses. Power grid optimization by means of line switching is typically formulated as a mixed integer programming problem (MIP). Such problems are known to be computationally intractable, and accordingly, a number of heuristic approaches to grid topology reconfiguration have been proposed in the power systems literature. By means of some low order examples (3-bus systems), it is shown that within a reasonably large class of greedy heuristics, none can be found that perform better than the others across all grid topologies. Despite this cautionary tale, statistical evidence based on a large number of simulations using using IEEE 118- bus systems indicates that among three heuristics, a globally greedy heuristic is the most computationally intensive, but has the best chance of reducing generation costs while enforcing N-1 connectivity. It is argued that, among all iterative methods, the locally optimal switches at each stage have a better chance in not only approximating a global optimal solution but also greatly limiting the number of lines that are switched.


title: Calculating the Midsagittal Plane for Symmetrical Bilateral Shapes: Applications to Clinical Facial Surgical Planning

abstract: It is difficult to estimate the midsagittal plane of human subjects with craniomaxillofacial (CMF) deformities. We have developed a LAndmark GEometric Routine (LAGER), which automatically estimates a midsagittal plane for such subjects. The LAGER algorithm was based on the assumption that the optimal midsagittal plane of a patient with a deformity is the premorbid midsagittal plane of the patient (i.e. hypothetically normal without deformity). The LAGER algorithm consists of three steps. The first step quantifies the asymmetry of the landmarks using a Euclidean distance matrix analysis and ranks the landmarks according to their degree of asymmetry. The second step uses a recursive algorithm to drop outlier landmarks. The third step inputs the remaining landmarks into an optimization algorithm to determine an optimal midsaggital plane. We validate LAGER on 20 synthetic models mimicking the skulls of real patients with CMF deformities. The results indicated that all the LAGER algorithm-generated midsagittal planes met clinical criteria. Thus it can be used clinically to determine the midsagittal plane for patients with CMF deformities.


title: Development and Validation of Deep Learning Algorithms for Detection of Critical Findings in Head CT Scans

abstract: Importance: Non-contrast head CT scan is the current standard for initial imaging of patients with head trauma or stroke symptoms. Objective: To develop and validate a set of deep learning algorithms for automated detection of following key findings from non-contrast head CT scans: intracranial hemorrhage (ICH) and its types, intraparenchymal (IPH), intraventricular (IVH), subdural (SDH), extradural (EDH) and subarachnoid (SAH) hemorrhages, calvarial fractures, midline shift and mass effect. Design and Settings: We retrospectively collected a dataset containing 313,318 head CT scans along with their clinical reports from various centers. A part of this dataset (Qure25k dataset) was used to validate and the rest to develop algorithms. Additionally, a dataset (CQ500 dataset) was collected from different centers in two batches B1 & B2 to clinically validate the algorithms. Main Outcomes and Measures: Original clinical radiology report and consensus of three independent radiologists were considered as gold standard for Qure25k and CQ500 datasets respectively. Area under receiver operating characteristics curve (AUC) for each finding was primarily used to evaluate the algorithms. Results: Qure25k dataset contained 21,095 scans (mean age 43.31; 42.87% female) while batches B1 and B2 of CQ500 dataset consisted of 214 (mean age 43.40; 43.92% female) and 277 (mean age 51.70; 30.31% female) scans respectively. On Qure25k dataset, the algorithms achieved AUCs of 0.9194, 0.8977, 0.9559, 0.9161, 0.9288 and 0.9044 for detecting ICH, IPH, IVH, SDH, EDH and SAH respectively. AUCs for the same on CQ500 dataset were 0.9419, 0.9544, 0.9310, 0.9521, 0.9731 and 0.9574 respectively. For detecting calvarial fractures, midline shift and mass effect, AUCs on Qure25k dataset were 0.9244, 0.9276 and 0.8583 respectively, while AUCs on CQ500 dataset were 0.9624, 0.9697 and 0.9216 respectively.


title: A game-theoretic mechanism for aggregation and dispersal of interacting populations

abstract: We adapt a fitness function from evolutionary game theory as a mechanism for aggregation and dispersal in a partial differential equation (PDE) model of two interacting populations, described by density functions $u$ and $v$. We consider a spatial model where individuals migrate up local fitness gradients, seeking out locations where their given traits are more advantageous. The resulting system of fitness gradient equations is a degenerate system having spatially structured, smooth, steady state solutions characterized by constant fitness throughout the domain. When populations are viewed as predator and prey, our model captures prey aggregation behavior consistent with Hamilton's selfish herd hypothesis. We also present weak steady state solutions in 1d that are continuous but in general not smooth everywhere, with an associated fitness that is discontinuous, piecewise constant. We give numerical examples of solutions that evolve toward such weak steady states. We also give an example of a spatial Lotka--Volterra model, where a fitness gradient flux creates instabilities that lead to spatially structured steady states. Our results also suggest that when fitness has some dependence on local interactions, a fitness-based dispersal mechanism may act to create spatial variation across a habitat.


title: Off-axis afterglow light curves and images from 2D hydrodynamic simulations of double-sided GRB jets in a stratified external medium

abstract: Gamma-ray burst (GRB) jets are narrow, and thus typically point away from us. They are initially ultra-relativistic, causing their prompt $\gamma$-ray and early afterglow emission to be beamed away from us. However, as the jet gradually decelerates its beaming cone widens and eventually reaches our line of sight and the afterglow emission may be detected. Such orphan afterglows were not clearly detected so far. Nevertheless, they should be detected in upcoming optical or radio surveys, and it would be challenging to clearly distinguish between them and other types of transients. Therefore, we perform detailed, realistic calculations of the expected afterglow emission from GRB jets viewed at different angles from the jet's symmetry axis. The dynamics are calculated using 2D relativistic hydrodynamics simulations of jets propagating into different power-law external density profiles, $\rho_{\rm ext}\propto{}R^{-k}$ for $k=0,\,1,\,1.5,\,2$, ranging from a uniform ISM-like medium ($k=0$) to a stratified steady stellar-wind like profile ($k=2$). We calculate radio, optical and X-ray lightcurves, and the evolution of the radio afterglow image size, shape and flux centroid. This may help identify misaligned relativistic jets, whether initially ultra-relativistic and producing a GRB for observers within their beam, or (possibly intrinsically more common) moderately relativistic, in either (i) nearby supernovae Ib/c (some of which are associated with long duration GRBs), or (ii) in binary neutron star mergers, which may produce short duration GRBs, and may also be detected in gravitational waves (e.g. GW$\,$170827/GRB$\,$170817A with a weak prompt $\gamma$-ray emission may harbor an off-axis jet).


title: On some random variables involving Bernoulli random variable

abstract: Motivated by the recent investigations given in [25] and the fact that Bernoulli probability-type models were often used in the study on some problems in theory of compressive sensing, here we define and study the complex-valued discrete random variables $\widetilde{X}_l(m,N)$ ($0\le l\le N-1$, $1\le m\le N$). Each of these random variables is defined as a linear combination of $N$ independent identically distributed $0-1$ Bernoulli random variables. We prove that for $l\not=0$, $\widetilde{X}_l(m,N)$ is the zero-mean random variable, and we also determine the variance of $\widetilde{X}_l(m,N)$ and its real and imaginary parts. Notice that $\widetilde{X}_l(m,N)$ belongs to the class of sub-Gaussian random variables that are significant in some areas of theory of compressive sensing. In particular, we prove some probability estimates for the mentioned random variables. These estimates are used to establish the upper bounds of the sub-Gaussian norm of their real and imaginary parts. We believe that our results should be implemented in certain applications of sub-Gaussian random variables for solving some problems in compressive sensing of sparse signals.


title: Pseudo Mask Augmented Object Detection

abstract: In this work, we present a novel and effective framework to facilitate object detection with the instance-level segmentation information that is only supervised by bounding box annotation. Starting from the joint object detection and instance segmentation network, we propose to recursively estimate the pseudo ground-truth object masks from the instance-level object segmentation network training, and then enhance the detection network with top-down segmentation feedbacks. The pseudo ground truth mask and network parameters are optimized alternatively to mutually benefit each other. To obtain the promising pseudo masks in each iteration, we embed a graphical inference that incorporates the low-level image appearance consistency and the bounding box annotations to refine the segmentation masks predicted by the segmentation network. Our approach progressively improves the object detection performance by incorporating the detailed pixel-wise information learned from the weakly-supervised segmentation network. Extensive evaluation on the detection task in PASCAL VOC 2007 and 2012 [12] verifies that the proposed approach is effective.


title: Neural Network Quine

abstract: Self-replication is a key aspect of biological life that has been largely overlooked in Artificial Intelligence systems. Here we describe how to build and train self-replicating neural networks. The network replicates itself by learning to output its own weights. The network is designed using a loss function that can be optimized with either gradient-based or non-gradient-based methods. We also describe a method we call regeneration to train the network without explicit optimization, by injecting the network with predictions of its own parameters. The best solution for a self-replicating network was found by alternating between regeneration and optimization steps. Finally, we describe a design for a self-replicating neural network that can solve an auxiliary task such as MNIST image classification. We observe that there is a trade-off between the network's ability to classify images and its ability to replicate, but training is biased towards increasing its specialization at image classification at the expense of replication. This is analogous to the trade-off between reproduction and other tasks observed in nature. We suggest that a self-replication mechanism for artificial intelligence is useful because it introduces the possibility of continual improvement through natural selection.


title: Power Grid Decomposition Based on Vertex Cut Sets and Its Applications to Topology Control and Power Trading

abstract: It is well known that the reserves/redundancies built into the transmission grid in order to address a variety of contingencies over a long planning horizon may, in the short run, cause economic dispatch inefficiency. Accordingly, power grid optimization by means of short term line switching has been proposed and is typically formulated as a mixed integer programming problem by treating the state of the transmission lines as a binary decision variable, i.e. in-service or out-of-service, in the optimal power flow problem. To handle the combinatorial explosion, a number of heuristic approaches to grid topology reconfiguration have been proposed in the literature. This paper extends our recent results on the iterative heuristics and proposes a fast grid decomposition algorithm based on vertex cut sets with the purpose of further reducing the computational cost. The paper concludes with a discussion of the possible relationship between vertex cut sets in transmission networks and power trading.


title: Practical volume computation of structured convex bodies, and an application to modeling portfolio dependencies and financial crises

abstract: We examine volume computation of general-dimensional polytopes and more general convex bodies, defined as the intersection of a simplex by a family of parallel hyperplanes, and another family of parallel hyperplanes or a family of concentric ellipsoids. Such convex bodies appear in modeling and predicting financial crises. The impact of crises on the economy (labor, income, etc.) makes its detection of prime interest. Certain features of dependencies in the markets clearly identify times of turmoil. We describe the relationship between asset characteristics by means of a copula; each characteristic is either a linear or quadratic form of the portfolio components, hence the copula can be constructed by computing volumes of convex bodies. We design and implement practical algorithms in the exact and approximate setting, we experimentally juxtapose them and study the tradeoff of exactness and accuracy for speed. We analyze the following methods in order of increasing generality: rejection sampling relying on uniformly sampling the simplex, which is the fastest approach, but inaccurate for small volumes; exact formulae based on the computation of integrals of probability distribution functions; an optimized Lawrence sign decomposition method, since the polytopes at hand are shown to be simple; Markov chain Monte Carlo algorithms using random walks based on the hit-and-run paradigm generalized to nonlinear convex bodies and relying on new methods for computing a ball enclosed; the latter is experimentally extended to non-convex bodies with very encouraging results. Our C++ software, based on CGAL and Eigen and available on github, is shown to be very effective in up to 100 dimensions. Our results offer novel, effective means of computing portfolio dependencies and an indicator of financial crises, which is shown to correctly identify past crises.