title: Constraint-free Natural Image Reconstruction from fMRI Signals Based on Convolutional Neural Network

abstract: In recent years, research on decoding brain activity based on functional magnetic resonance imaging (fMRI) has made remarkable achievements. However, constraint-free natural image reconstruction from brain activity is still a challenge. The existing methods simplified the problem by using semantic prior information or just reconstructing simple images such as letters and digitals. Without semantic prior information, we present a novel method to reconstruct nature images from fMRI signals of human visual cortex based on the computation model of convolutional neural network (CNN). Firstly, we extracted the units output of viewed natural images in each layer of a pre-trained CNN as CNN features. Secondly, we transformed image reconstruction from fMRI signals into the problem of CNN feature visualizations by training a sparse linear regression to map from the fMRI patterns to CNN features. By iteratively optimization to find the matched image, whose CNN unit features become most similar to those predicted from the brain activity, we finally achieved the promising results for the challenging constraint-free natural image reconstruction. As there was no use of semantic prior information of the stimuli when training decoding model, any category of images (not constraint by the training set) could be reconstructed theoretically. We found that the reconstructed images resembled the natural stimuli, especially in position and shape. The experimental results suggest that hierarchical visual features can effectively express the visual perception process of human brain.


title: Explicit expression of the microscopic renormalized energy for a pinned Ginzburg-Landau functional

abstract: We get a new expression of the microscopic renormalized energy for a pinned Ginzburg-Landau type energy modeling small impurities. This is done by obtaining a sharp decomposition for the minimal energy of a Dirichlet type functional with an L $\infty$-weight. In particular we get an explicit expression of the microscopic renormalized energy for a circular impurity. We proceed also to the minimization of this renormalized energy in some cases.


title: Refining Properties of Filter Models: Sensibility, Approximability and Reducibility

abstract: In this paper, we study the tedious link between the properties of sensibility and approximability of models of untyped {\lambda}-calculus. Approximability is known to be a slightly, but strictly stronger property that sensibility. However, we will see that so far, each and every (filter) model that have been proven sensible are in fact approximable. We explain this result as a weakness of the sole known approach of sensibility: the Tait reducibility candidates and its realizability variants. In fact, we will reduce the approximability of a filter model D for the {\lambda}-calculus to the sensibility of D but for an extension of the {\lambda}-calculus that we call {\lambda}-calculus with D-tests. Then we show that traditional proofs of sensibility of D for the {\lambda}-calculus are smoothly extendable for this {\lambda}-calculus with D-tests.


title: On derived equivalences for categories of generalized intervals of a finite poset

abstract: We study two constructions related to the intervals of finite posets. The first one is a poset. The second one is more complicated. Loosely speaking it can be seen as a poset with some extra zero-relations. As main result, we show that these two constructions are equivalent at the level of derived categories.


title: An analysis of the influence of grain size on the strength of FCC polycrystals by means of computational homogenization

abstract: The effect of grain size on the flow stress of FCC polycrystals is analyzed by means of a multiscale strategy based on computational homogenization of the polycrystal aggregate. The mechanical behavior of each crystal is given by a dislocation-based crystal plasticity model in which the critical resolved shear stress follows the Taylor model. The generation and annihilation of dislocations in each slip system during deformation is given by the Kocks-Mecking model, which was modified to account for the dislocation storage at the grain boundaries. Polycrystalline Cu is selected to validate the simulation strategy and all the model parameters are obtained from dislocation dynamics simulations or experiments at lower length scales and the simulation results were in good agreement with experimental data in the literature. The model is applied to explore the influence of different microstructural factors (initial dislocation density, width of the grain size distribution, texture) on the grain size effect. It is found that the initial dislocation density, $\rho_i$, plays a dominant role in the magnitude of the grain size effect and that dependence of flow stress with an inverse power of grain size ($\sigma_ y -\sigma_\infty \propto d_g^{-x}$) breaks down for large initial dislocation densities ($> 10^{14}$ m$^{-2}$) and grain sizes $d_g > $ 40 $\mu$m in FCC metals. However, it was found that the grain size contribution to the strength followed a power-law function of the dimensionless parameter $d_g\sqrt{\rho_i}$ for small values of the applied strain ($<$ 2 \%), in agreement with previous theoretical considerations for size effects in plasticity.


title: Empirical Explorations in Training Networks with Discrete Activations

abstract: We present extensive experiments training and testing hidden units in deep networks that emit only a predefined, static, number of discretized values. These units provide benefits in real-world deployment in systems in which memory and/or computation may be limited. Additionally, they are particularly well suited for use in large recurrent network models that require the maintenance of large amounts of internal state in memory. Surprisingly, we find that despite reducing the number of values that can be represented in the output activations from $2^{32}-2^{64}$ to between 64 and 256, there is little to no degradation in network performance across a variety of different settings. We investigate simple classification and regression tasks, as well as memorization and compression problems. We compare the results with more standard activations, such as tanh and relu. Unlike previous discretization studies which often concentrate only on binary units, we examine the effects of varying the number of allowed activation levels. Compared to existing approaches for discretization, the approach presented here is both conceptually and programatically simple, has no stochastic component, and allows the training, testing, and usage phases to be treated in exactly the same manner.


title: Efros-Shklovskii variable range hopping and nonlinear transport in 1T/1T$^{\prime}$-MoS$_{2}$

abstract: We have studied temperature- and electric-field dependent carrier transport in single flakes of MoS$_{2}$ treated with n-butyllithium. The temperature dependence of the four-terminal resistance follows the Efros-Shklovskii variable range hopping conduction mechanism. From measurements in the Ohmic and non-Ohmic regime, we estimate the localization length and the average hopping length of the carriers, as well as the effective dielectric constant. Furthermore, comparison between two- and four-probe measurements yield a contact resistance that increases significantly with decreasing temperature.


title: Modular group algebras whose group of unitary units is locally nilpotent

abstract: We characterize those modular group algebras FG whose group of unitary units is locally nilpotent under the classical involution of FG.


title: GitGraph - Architecture Search Space Creation through Frequent Computational Subgraph Mining

abstract: The dramatic success of deep neural networks across multiple application areas often relies on experts painstakingly designing a network architecture specific to each task. To simplify this process and make it more accessible, an emerging research effort seeks to automate the design of neural network architectures, using e.g. evolutionary algorithms or reinforcement learning or simple search in a constrained space of neural modules. Considering the typical size of the search space (e.g. $10^{10}$ candidates for a $10$-layer network) and the cost of evaluating a single candidate, current architecture search methods are very restricted. They either rely on static pre-built modules to be recombined for the task at hand, or they define a static hand-crafted framework within which they can generate new architectures from the simplest possible operations. In this paper, we relax these restrictions, by capitalizing on the collective wisdom contained in the plethora of neural networks published in online code repositories. Concretely, we (a) extract and publish GitGraph, a corpus of neural architectures and their descriptions; (b) we create problem-specific neural architecture search spaces, implemented as a textual search mechanism over GitGraph; (c) we propose a method of identifying unique common subgraphs within the architectures solving each problem (e.g., image processing, reinforcement learning), that can then serve as modules in the newly created problem specific neural search space.


title: Quantum dynamics intervened by repeated nonselective measurements

abstract: We derive the theory of open quantum system dynamics intervened by a series of nonselective measurements. We analyze the cases of time independent and time dependent Hamiltonian dynamics in between the measurements and find the approximate master equation in the stroboscopic limit. We also consider a situation, in which the measurement basis changes in time, and illustrate it by nonselective measurements in the basis of diabatic states of the Landau-Zener model.


title: An Integration-Oriented Ontology to Govern Evolution in Big Data Ecosystems

abstract: Big Data architectures allow to flexibly store and process heterogeneous data, from multiple sources, in their original format. The structure of those data, commonly supplied by means of REST APIs, is continuously evolving. Thus data analysts need to adapt their analytical processes after each API release. This gets more challenging when performing an integrated or historical analysis. To cope with such complexity, in this paper, we present the Big Data Integration ontology, the core construct to govern the data integration process under schema evolution by systematically annotating it with information regarding the schema of the sources. We present a query rewriting algorithm that, using the annotated ontology, converts queries posed over the ontology to queries over the sources. To cope with syntactic evolution in the sources, we present an algorithm that semi-automatically adapts the ontology upon new releases. This guarantees ontology-mediated queries to correctly retrieve data from the most recent schema version as well as correctness in historical queries. A functional and performance evaluation on real-world APIs is performed to validate our approach.


title: Resistivity Anomaly in Weyl Semimetal candidate Molybdenum Telluride

abstract: The Weyl semi-metal candidate MoTe$_{2}$ is expected to exhibit a range of exotic electronic transport properties. It exhibits a structural phase transition near room temperature that is evident in the thermal hysteresis in resistivity and thermopower (Seebeck coefficient) as well as large spin-orbit interaction. Here, we also document a resistivity anomaly of up to 13% in the temperature window between 25 and 50 K, which is found to be strongly anisotropic. Based on the experimental data in conjunction with density functional theory calculations, we conjecture that the anomaly can be related to the presence of defects in the system. These findings open opportunities for further investigations and understanding of the transport behavior in these newly discovered semi-metallic layered systems.


title: Large-scale sublinearly Lipschitz geometry of hyperbolic spaces

abstract: Large-scale sublinearly Lipschitz maps have been introduced by Yves Cornulier in order to precisely state his theorems about asymptotic cones of Lie groups. In particular, Sublinearly biLipschitz Equivalences (SBE) are a weak variant of quasiisometries, with the only requirement of still inducing biLipschitz maps at the level of asymptotic cones. We focus here on hyperbolic metric spaces and study properties of their boundary extensions, reminiscent of quasiM{\"o}bius mappings. We give a dimensional invariant on the boundary that allows to distinguish hyperbolic symmetric spaces up to SBE, answering a question of Dru\c{t}u.


title: Embedding a $\theta$-invariant code into a complete one

abstract: Let A be a finite or countable alphabet and let $\theta$ be a literal (anti-)automorphism onto A * (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under $\theta$ ($\theta$-invariant for short) that is, languages L such that $\theta$ (L) is a subset of L.We establish an extension of the famous defect theorem. With regards to the so-called notion of completeness, we provide a series of examples of finite complete $\theta$-invariant codes. Moreover, we establish a formula which allows to embed any non-complete $\theta$-invariant code into a complete one. As a consequence, in the family of the so-called thin $\theta$--invariant codes, maximality and completeness are two equivalent notions.


title: Scattering and blow-up criteria for 3D cubic focusing nonlinear inhomogeneous NLS with a potential

abstract: In this paper, we consider the 3d cubic focusing inhomogeneous nonlinear Schr\"{o}dinger equation with a potential $$ iu_{t}+\Delta u-Vu+|x|^{-b}|u|^{2}u=0,\;\;(t,x) \in {{\bf{R}}\times{\bf{R}}^{3}}, $$ where $0<b<1$. We first establish global well-posedness and scattering for the radial initial data $u_{0}$ in $H^{1}({\bf R}^{3})$ satisfying $M(u_{0})^{1-s_{c}}E(u_{0})^{s_{c}}<\mathcal{E}$ and $\|u_{0}\|_{L^{2}}^{2(1-s_{c})}\|H^{\frac{1}{2}}u_{0}\|_{L^{2}}^{2s_{c}}<\mathcal{K}$ provided that $V$ is repulsive, where $\mathcal{E}$ and $\mathcal{K}$ are the mass-energy and mass-kinetic of the ground states, respectively. Our result extends the results of Hong \cite{H} and Farah-Guzm$\acute{\rm a}$n \cite{FG1} with $b\in(0,\frac12)$ to the case $0<b<1$. We then obtain a blow-up result for initial data $u_{0}$ in $H^{1}({\bf R}^{3})$ satisfying $M(u_{0})^{1-s_{c}}E(u_{0})^{s_{c}}<\mathcal{E}$ and $\|u_{0}\|_{L^{2}}^{2(1-s_{c})}\|H^{\frac{1}{2}}u_{0}\|_{L^{2}}^{2s_{c}}>\mathcal{K}$ if $V$ satisfies some additional assumptions.0}\|_{L^{2}}^{2(1-s_{c})}\|H^{\frac{1}{2}}u_{0}\|_{L^{2}}^{2s_{c}}>\mathcal{K}$ if $V$ satisfies some additional assumptions.


title: On Hamiltonian and Hamilton-connected digraphs

abstract: C. Thomassen in \cite{[11]} suggested (see also \cite{[2]}, J. C.Bermond, C. Thomassen, Cycles in Digraphs - A survey, J. Graph Theory 5 (1981) 1-43, Conjectures 1.6.7 and 1.6.8) the following conjectures : 1. Every 3-strongly connected digraph of order $n$ and with minimum degree at least $n+1$ is strongly Hamiltonian-connected. 2. Let $D$ be a 4-strongly connected digraph of order $n$ such that the sum of the degrees of any pair of non-adjacent vertices is at least $2n+1$. Then $D$ is strongly Hamiltonian-connected. We disprove Conjecture 1 and prove two results which provide some support for Conjecture 2. The main goal of this article is to present the detailed proofs of these results (in English).


title: Searching for Gamma-Ray counterparts to Gravitational Waves from merging binary neutron stars with the Cherenkov Telescope Array

abstract: The merger of binary neutron star (BNS) systems are predicted to be progenitors of short gamma-ray bursts (GRBs); the definitive probe of this association came with the recent detection of gravitational waves (GWs) from a BNS merger by Advanced LIGO and Advanced Virgo (GW170817), in coincidence with the short GRB 170817A observed by Fermi-GBM and INTEGRAL. Short GRBs are also expected to emit very-high energy (VHE, > 100 GeV) photons and VHE electromagnetic (EM) upper limits have been set with observations performed by ground-based gamma-ray detectors and during the intense EM follow-up campaign associated with GW170817/GRB 170817A. In the next years, the searches for VHE EM counterparts will become more effective thanks to the Cherenkov Telescope Array (CTA): this instrument will be fundamental for the EM follow-up of transient GW events at VHE, owing to its unprecedented sensitivity, rapid response (few tens of seconds) and capability to monitor large sky areas via survey-mode operation. We present a comprehensive study on the prospects for joint GW and VHE EM observations of merging BNSs with Advanced LIGO, Advanced Virgo and CTA, based on detailed simulations of the multi-messenger emission and detection. We propose a new observational strategy optimized on the prior assumptions about the EM emission. The method can be further generalized to include other electromagnetic emission models. According to this study CTA will cover most of the region of the GW skymap for the intermediate and most energetic on-axis GRBs associated to the GW event. We estimate the expected joint GW and VHE EM detection rates and we found this rate goes from 0.08 up to 0.5 events per year for the most energetic EM sources.


title: A First Look at QUIC in the Wild

abstract: For the first time since the establishment of TCP and UDP, the Internet transport layer is subject to a major change by the introduction of QUIC. Initiated by Google in 2012, QUIC provides a reliable, connection-oriented low-latency and fully encrypted transport. In this paper, we provide the first broad assessment of QUIC usage in the wild. We monitor the entire IPv4 address space since August 2016 and about 46% of the DNS namespace to detected QUIC-capable infrastructures. Our scans show that the number of QUIC-capable IPs has more than tripled since then to over 617.59 K. We find around 161K domains hosted on QUIC-enabled infrastructure, but only 15K of them present valid certificates over QUIC. Second, we analyze one year of traffic traces provided by MAWI, one day of a major European tier-1 ISP and from a large IXP to understand the dominance of QUIC in the Internet traffic mix. We find QUIC to account for 2.6% to 9.1% of the current Internet traffic, depending on the vantage point. This share is dominated by Google pushing up to 42.1% of its traffic via QUIC.


title: A two-parameter eigenvalue problem for a class of block-operator matrices

abstract: We consider a symmetric block operator spectral problem with two spectral parameters. Under some reasonable restrictions, we state localisation theorems for the pair-eigenvalues and discuss relations to a class of non-self-adjoint spectral problems.


title: Universal disorder-induced broadening of phonon bands: from disordered lattices to glasses

abstract: The translational symmetry of solids gives rise to the existence of low-frequency phonons. In ordered systems, some phonons characterized by different wavevectors are degenerate, i.e. they share the same frequency $\omega$; in finite-size systems, phonons form a discrete set of bands with $n_q(\omega)$-fold degeneracy. Here we focus on understanding how this degeneracy is lifted in the presence of disorder, and its physical implications. Using standard degenerate perturbation theory and simple statistical considerations, we predict the dependence of the disorder-induced frequency width of phonon bands to be $\Delta\omega\!\sim\!\sigma\,\omega\sqrt{n_q}/\sqrt{N}$, where $\sigma$ is the strength of disorder and $N$ is the total number of particles. This theoretical prediction is supported by extensive numerical calculations for disordered lattices characterized by topological, mass, stiffness and positional disorder, and for computer glasses, where disorder is self-generated, thus establishing its universal nature. The predicted scaling leads to the identification of a crossover frequency $\omega_\dagger\!\sim\!L^{-2/(d+2)}$ in systems of linear size $L$ in $d\!>\!2$ dimensions, where the disorder-induced width of phonon bands becomes comparable to the frequency gap between neighboring bands. Consequently, phonons continuously cover the frequency range $\omega\!>\!\omega_\dagger$, where the notion of discrete phonon bands becomes ill-defined. Two basic applications of the theory are presented; first, we show that the phonon scattering lifetime is proportional to $(\Delta\omega)^{-1}$ for $\omega\!<\!\omega_\dagger$. Second, the theory is applied to the basic physics of glasses, allowing to determine the range of frequencies in which the recently established universal density of states of non-phononic excitations can be directly probed for different system sizes.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft


title: Deep Multi-Spectral Registration Using Invariant Descriptor Learning

abstract: In this paper, we introduce a novel deep-learning method to align cross-spectral images. Our approach relies on a learned descriptor which is invariant to different spectra. Multi-modal images of the same scene capture different signals and therefore their registration is challenging and it is not solved by classic approaches. To that end, we developed a feature-based approach that solves the visible (VIS) to Near-Infra-Red (NIR) registration problem. Our algorithm detects corners by Harris and matches them by a patch-metric learned on top of CIFAR-10 network descriptor. As our experiments demonstrate we achieve a high-quality alignment of cross-spectral images with a sub-pixel accuracy. Comparing to other existing methods, our approach is more accurate in the task of VIS to NIR registration.


title: Information-entropic measures in free and confined hydrogen atom

abstract: Shannon entropy ($S$), R{\'e}nyi entropy ($R$), Tsallis entropy ($T$), Fisher information ($I$) and Onicescu energy ($E$) have been explored extensively in both \emph{free} H atom (FHA) and \emph{confined} H atom (CHA). For a given quantum state, accurate results are presented by employing respective \emph{exact} analytical wave functions in $r$ space. The $p$-space wave functions are generated from respective Fourier transforms$-$for FHA these can be expressed analytically in terms of Gegenbauer polynomials, whereas in CHA these are computed numerically. \emph{Exact} mathematical expressions of $R_r^{\alpha}, R_p^{\beta}$, $T_r^{\alpha}, T_p^{\beta}, E_r, E_p$ are derived for \emph{circular} states of a FHA. Pilot calculations are done taking order of entropic moments ($\alpha, \beta$) as $(\frac{3}{5}, 3)$ in $r$ and $p$ spaces. A detailed, systematic analysis is performed for both FHA and CHA with respect to state indices $n,l$, and with confinement radius ($r_c$) for the latter. In a CHA, at small $r_{c}$, kinetic energy increases, whereas $S_{\rvec}, R^{\alpha}_{\rvec}$ decrease with growth of $n$, signifying greater localization in high-lying states. At moderate $r_{c}$, there exists an interplay between two mutually opposing factors: (i) radial confinement (localization) and (ii) accumulation of radial nodes with growth of $n$ (delocalization). Most of these results are reported here for the first time, revealing many new interesting features. Comparison with literature results, wherever possible, offers excellent agreement.


title: Fully Convolutional Multi-scale Residual DenseNets for Cardiac Segmentation and Automated Cardiac Diagnosis using Ensemble of Classifiers

abstract: Deep fully convolutional neural network (FCN) based architectures have shown great potential in medical image segmentation. However, such architectures usually have millions of parameters and inadequate number of training samples leading to over-fitting and poor generalization. In this paper, we present a novel highly parameter and memory efficient FCN based architecture for medical image analysis. We propose a novel up-sampling path which incorporates long skip and short-cut connections to overcome the feature map explosion in FCN like architectures. In order to processes the input images at multiple scales and view points simultaneously, we propose to incorporate Inception module's parallel structures. We also propose a novel dual loss function whose weighting scheme allows to combine advantages of cross-entropy and dice loss. We have validated our proposed network architecture on two publicly available datasets, namely: (i) Automated Cardiac Disease Diagnosis Challenge (ACDC-2017), (ii) Left Ventricular Segmentation Challenge (LV-2011). Our approach in ACDC-2017 challenge stands second place for segmentation and first place in automated cardiac disease diagnosis tasks with an accuracy of 100%. In the LV-2011 challenge our approach attained 0.74 Jaccard index, which is so far the highest published result in fully automated algorithms. From the segmentation we extracted clinically relevant cardiac parameters and hand-crafted features which reflected the clinical diagnostic analysis to train an ensemble system for cardiac disease classification. Our approach combined both cardiac segmentation and disease diagnosis into a fully automated framework which is computational efficient and hence has the potential to be incorporated in computer-aided diagnosis (CAD) tools for clinical application.


title: Searching for Exoplanets Using a Microresonator Astrocomb

abstract: Detection of weak radial velocity shifts of host stars induced by orbiting planets is an important technique for discovering and characterizing planets beyond our solar system. Optical frequency combs enable calibration of stellar radial velocity shifts at levels required for detection of Earth analogs. A new chip-based device, the Kerr soliton microcomb, has properties ideal for ubiquitous application outside the lab and even in future space-borne instruments. Moreover, microcomb spectra are ideally suited for astronomical spectrograph calibration and eliminate filtering steps required by conventional mode-locked-laser frequency combs. Here, for the calibration of astronomical spectrographs, we demonstrate an atomic/molecular line-referenced, near-infrared soliton microcomb. Efforts to search for the known exoplanet HD 187123b were conducted at the Keck-II telescope as a first in-the-field demonstration of microcombs.


title: Maximization of the thermoelectric cooling of graded Peltier by analytical heat equation resolution

abstract: Increasing the maximum cooling effect of a Peltier cooler can be achieved through materials and device design. The use of inhomogeneous, FGM (functionally graded materials) may be adopted in order to increase maximum cooling without improvement of the zT (figure of merit), however these systems are usually based on the assumption that the local optimization of the zT is the suitable criterion to increase thermoelectric performances. In the present paper, we solved the heat equation in a graded material and performed both analytic and numerical analysis of a graded Peltier cooler. We find a local criterion that we used to assess the possible improvement of graded materials for thermoelectric cooling. A fair improvement of cooling effect is predicted for semiconductor materials (up to $36\%$) and the best graded system for cooling is described. The influence of the equation of state of the electronic gas of the material is discussed, and the difference in term of entropy production between the graded and the classical system is also described.


title: The hypergeometric function for the root system of type $A$ with a certain degenerate parameter

abstract: We express explicitly the Heckman-Opdam hypergeometric function for the root system of type A with a certain degenerate parameter in terms of the Lauricella hypergeometric function.


title: A theorem on even pancyclic bipartite digraphs

abstract: We prove that a strongly connected balanced bipartite directed graph of order $2a\geq 6$ with partite sets $X$ and $Y$ contains cycles of every length $2, 4, \ldots , 2a$, provided $d(x)+d(y)\geq 3a$ for every pair of vertices $x$, $y$ either both in $X$ or both in $Y$.


title: Inter-thread Communication in Multithreaded, Reconfigurable Coarse-grain Arrays

abstract: Traditional von Neumann GPGPUs only allow threads to communicate through memory on a group-to-group basis. In this model, a group of producer threads writes intermediate values to memory, which are read by a group of consumer threads after a barrier synchronization. To alleviate the memory bandwidth imposed by this method of communication, GPGPUs provide a small scratchpad memory that prevents intermediate values from overloading DRAM bandwidth. In this paper we introduce direct inter-thread communications for massively multithreaded CGRAs, where intermediate values are communicated directly through the compute fabric on a point-to-point basis. This method avoids the need to write values to memory, eliminates the need for a dedicated scratchpad, and avoids workgroup-global barriers. The paper introduces the programming model (CUDA) and execution model extensions, as well as the hardware primitives that facilitate the communication. Our simulations of Rodinia benchmarks running on the new system show that direct inter-thread communication provides an average speedup of 4.5x (13.5x max) and reduces system power by an average of 7x (33x max), when compared to an equivalent Nvidia GPGPU.


title: A criterion for the uniform eventual positivity of operator semigroups

abstract: Consider a $C_0$-semigroup $(e^{tA})_{t \ge 0}$ on a function space or, more generally, on a Banach lattice $E$. We prove a sufficient criterion for the operators $e^{tA}$ to be positive for all sufficiently large times $t$, while the semigroup itself might not be positive. This complements recently established criteria for the individual orbits of the semigroup to become eventually positive for all positive initial values. We apply our main result to study the qualitative behaviour of the solutions to various partial differential equations.


title: Stochastic grid bundling method for backward stochastic differential equations

abstract: In this work, we apply the Stochastic Grid Bundling Method (SGBM) to numerically solve backward stochastic differential equations (BSDEs). The SGBM algorithm is based on conditional expectations approximation by means of bundling of Monte Carlo sample paths and a local regress-later regression within each bundle. The basic algorithm for solving the backward stochastic differential equations will be introduced and an upper error bound is established for the local regression. A full error analysis is also conducted for the explicit version of our algorithm and numerical experiments are performed to demonstrate various properties of our algorithm.


title: Nonexistence of proper $p$-biharmonic maps and Liouville type theorems I: case of $p\geq2$

abstract: Let $u: (M, g)\to (N, h)$ be a map between Riemannian manifolds $(M, g)$ and $(N, h)$. The $p$-bienergy of $u$ is defined by $E_p(u)=\int_M|\tau(u)|^pd\nu_g$, where $\tau(u)$ is the tension field of $u$ and $p>1$. Critical points of $E_p(\cdot)$ are called $p$-biharmonic maps. In this paper we will prove nonexistence result of proper $p$-biharmonic maps when $p\geq2$. In particular when $M=\mathbb{R}^m$, we get Liouville type results under proper integral conditions , which extend the related results of Baird, Fardoun and Ouakkas \cite{BFO}.


title: From Nodal Ring Topological Superfluids to Spiral Majorana Modes in Cold Atomic Systems

abstract: In this work, we consider a 3D cubic optical lattice composed of coupled 1D wires with 1D spin-orbit coupling. When the s-wave pairing is induced through Feshbach resonance, the system becomes a topological superfluid with ring nodes, which are the ring nodal degeneracies in the bulk, and supports a large number of surface Majorana zero energy modes. The large number of surface Majorana modes remain at zero energy even in the presence of disorder due to the protection from a chiral symmetry. When the chiral symmetry is broken, the system becomes a Weyl topological superfluid with Majorana arcs. With 3D spin-orbit coupling, the Weyl superfluid becomes a novel gapless phase with spiral Majorana modes on the surface. The spatial resolved radio frequency spectroscopy is suggested to detect this novel nodal ring topological superfluid phase.


title: Riemannian exponential and quantization

abstract: This article continues and completes our previous work [14] J. Phys. Commun. 2 (2018) 025007. First of all, we present two methods of quantization associated with a linear connection given on a differentiable manifold, one of them being the one presented in [14]. The two methods allow quantize functions that come from covariant tensor fields. The equivalence of both is demonstrated as a consequence of a remarkable property of the Riemannian exponential (Theorem 5.1) that, as far as we know, is new to the literature. On the other hand, the extension of the previously mentioned quantization to functions of a very broad type can be carried out by generalizing the method of [14] in terms of fields of distributions.


title: Generalized K$\ddot{a}$hler Geometry and current algebras in classical N=2 superconformal WZW model

abstract: I examine the Generalized K$\ddot{a}$hler geometry of classical $N=(2,2)$ superconformal WZW model on a compact group and relate the right-moving and left-moving Kac-Moody superalgebra currents to the Generalized K$\ddot{a}$hler geometry data using Hamiltonian formalism. It is shown that canonical Poisson homogeneous space structure induced by the Generalized K$\ddot{a}$hler geometry of the group manifold is crucial to provide $N=(2,2)$ superconformal sigma-model with the Kac-Moody superalgebra symmetries. Biholomorphic gerbe geometry is used to prove that Kac-Moody superalgebra currents are globally defined.


title: Tradeoff relations between accessible information, informational power, and purity

abstract: The accessible information and the informational power quantify the maximum amount of information that can be extracted from a quantum ensemble and by a quantum measurement, respectively. Here, we investigate the tradeoff between the accessible information (informational power, respectively) and the purity of the states of the ensemble (the elements of the measurement, respectively). Under any given lower bound on the purity, i) we compute the minimum informational power and show that it is attained by the depolarized uniformly-distributed measurement; ii) we give a lower bound on the accessible information. Under any given upper bound on the purity, i) we compute the maximum accessible information and show that it is attained by an ensemble of pairwise commuting states with at most two distinct non-null eigenvalues; ii) we give a lower bound on the maximum informational power. The present results provide, as a corollary, novel sufficient conditions for the tightness of the Jozsa-Robb-Wootters lower bound to the accessible information.


title: Functional ANOVA with Multiple Distributions: Implications for the Sensitivity Analysis of Computer Experiments

abstract: The functional ANOVA expansion of a multivariate mapping plays a fundamental role in statistics. The expansion is unique once a unique distribution is assigned to the covariates. Recent investigations in the environmental and climate sciences show that analysts may not be in a position to assign a unique distribution in realistic applications. We offer a systematic investigation of existence, uniqueness, orthogonality, monotonicity and ultramodularity of the functional ANOVA expansion of a multivariate mapping when a multiplicity of distributions is assigned to the covariates. In particular, we show that a multivariate mapping can be associated with a core of probability measures that guarantee uniqueness. We obtain new results for variance decomposition and dimension distribution under mixtures. Implications for the global sensitivity analysis of computer experiments are also discussed.


title: Future directions in locally compact groups

abstract: This text is the preprint version of the concluding chapter for the book New Directions in Locally Compact Groups published by Cambridge University Press in the series Lecture Notes of the LMS. The recent progress on locally compact groups surveyed in that volume also reveals the considerable extent of the unexplored territories. Therefore, we wish to conclude it by mentioning a few open problems related to the material covered in the book and that we consider important at the time of this writing.


title: Geometrical bounds on irreversibility in open quantum systems

abstract: Clausius inequality has deep implications for reversibility and the arrow of time. Quantum theory is able to extend this result for closed systems by inspecting the trajectory of the density matrix on its manifold. Here we show that this approach can provide an upper and lower bound to the irreversible entropy production for open quantum systems as well. These provide insights on the thermodynamics of the information erasure. Limits of the applicability of our bounds are discussed, and demonstrated in a quantum photonic simulator.


title: On the Kernel of $\mathbb{Z}_{2^s}$-Linear Hadamard Codes

abstract: The $\mathbb{Z}_{2^s}$-additive codes are subgroups of $\mathbb{Z}^n_{2^s}$, and can be seen as a generalization of linear codes over $\mathbb{Z}_2$ and $\mathbb{Z}_4$. A $\mathbb{Z}_{2^s}$-linear Hadamard code is a binary Hadamard code which is the Gray map image of a $\mathbb{Z}_{2^s}$-additive code. It is known that the dimension of the kernel can be used to give a complete classification of the $\mathbb{Z}_4$-linear Hadamard codes. In this paper, the kernel of $\mathbb{Z}_{2^s}$-linear Hadamard codes and its dimension are established for $s > 2$. Moreover, we prove that this invariant only provides a complete classification for some values of $t$ and $s$. The exact amount of nonequivalent such codes are given up to $t=11$ for any $s\geq 2$, by using also the rank and, in some cases, further computations.


title: Measurement of the inclusive $t\bar{t}$ cross-section in the lepton+jets channel in $pp$ collisions at $\sqrt{s}$ = 8 TeV with the ATLAS detector

abstract: The inclusive $t\bar{t}$ production cross-section is measured in the lepton+jets channel using 20.2 fb$^{-1}$ of proton--proton collision data at a centre-of-mass energy of 8 TeV recorded with the ATLAS detector at the LHC. Major systematic uncertainties due to the modelling of the jet energy scale and $b$-tagging efficiency are constrained by separating selected events into three disjoint regions. In order to reduce systematic uncertainties in the most important background, the W+jets process is modelled using Z+jets events in a data-based approach. The inclusive $t\bar{t}$ cross-section is measured with a precision of 5.7% to be $\sigma_{t\bar{t}} = 248.3 \pm 0.7 \, (\mathrm{stat.}) \pm 13.4 \, (\mathrm{syst.}) \pm 4.7 \, (\mathrm{lumi.})~\text{pb}$, assuming a top-quark mass of 172.5 GeV. The result is in agreement with the Standard Model prediction.


title: New SUSY Fits for the ILC and CLIC

abstract: We review the MasterCode fits of several incarnations of the Minimal Supersymmetric Standard Model (MSSM). These include the GUT models based on mAMSB and SU(5), sub-GUT models as well as a model defined at low energies with 11 free parameters, the pMSSM11. The fit combines consistently measurements of Higgs boson properties, searches for additional Higgs bosons and supersymmetric (SUSY) particles, low-energy and flavor experiments as well as Dark Matter (DM) measurements. We predict the preferred SUSY mass spectra in these models and analyze the discovery potential of future e+e- colliders such as the ILC and CLIC.


title: Production of Electroweak SUSY Particles at ILC and CLIC

abstract: For the search for electroweak particles in the Minimal Supersymmetric Standard Model (MSSM) as well as for future precision analyses of these particles an accurate knowledge of their production and decay properties is mandatory. We review the evaluation of the cross sections for the chargino, neutralino and scalar lepton production at e+e- colliders in the MSSM with complex parameters (cMSSM). The evaluation is based on a full one-loop calculation of the various production mechanisms, including soft and hard photon radiation. The dependence of the chargino/neutralino/slepton cross sections on the relevant cMSSM parameters is analyzed numerically. We find sizable contributions to many production cross sections. They amount roughly +- 15% of the tree-level results, but can go up to +-40% or higher in extreme cases. Also the complex phase dependence of the one-loop corrections was found non-negligible. The full one-loop contributions are thus crucial for physics analyses at a future linear e+e- collider such as the ILC or CLIC.


title: Some remark on the existence of infinitely many nonphysical solutions to the incompressible Navier-Stokes equations

abstract: We prove that there exist infinitely many distributional solutions with infinite kinetic energy to the incompressible Navier-Stokes equations in $ \mathbb{R}^2 $. We prove as well the existence of infinitely many distributional solutions for Burgers equation in $ \mathbb{R} $.


title: Sparsity Preserving Optimal Control of Discretized PDE Systems

abstract: We focus on the problem of optimal control of large-scale systems whose models are obtained by discretization of partial differential equations using the Finite Element (FE) or Finite Difference (FD) methods. The motivation for studying this pressing problem originates from the fact that the classical numerical tools used to solve low-dimensional optimal control problems are computationally infeasible for large-scale systems. Furthermore, although the matrices of large-scale FE or FD models are usually sparse banded or highly structured, the optimal control solution computed using the classical methods is dense and unstructured. Consequently, it is not suitable for efficient centralized and distributed real-time implementations. We show that the a priori (sparsity) patterns of the exact solutions of the generalized Lyapunov equations for FE and FD models are banded matrices. The a priori pattern predicts the dominant non-zero entries of the exact solution. We furthermore show that for well-conditioned problems, the a priori patterns are not only banded but also sparse matrices. On the basis of these results, we develop two computationally efficient methods for computing sparse approximate solutions of generalized Lyapunov equations. Using these two methods and the inexact Newton method, we show that the solution of the generalized Riccati equation can be approximated by a banded matrix. This enables us to develop a novel computationally efficient optimal control approach that is able to preserve the sparsity of the control law. We perform extensive numerical experiments that demonstrate the effectiveness of our approach.

categories: math.OC cs.SY physics.comp-ph physics.flu-dyn


title: Multicolour containers, extremal entropy and counting

abstract: In breakthrough results, Saxton-Thomason and Balogh-Morris-Samotij developed powerful theories of hypergraph containers. In this paper, we explore some consequences of these theories. We use a simple container theorem of Saxton-Thomason and an entropy-based framework to deduce container and counting theorems for hereditary properties of k-colourings of very general objects, which include both vertex- and edge-colourings of general hypergraph sequences as special cases. In the case of sequences of complete graphs, we further derive characterisation and transference results for hereditary properties in terms of their stability families and extremal entropy. This covers within a unified framework a great variety of combinatorial structures, some of which had not previously been studied via containers: directed graphs, oriented graphs, tournaments, multigraphs with bounded multiplicity and multicoloured graphs amongst others. Similar results were recently and independently obtained by Terry.


title: Infinite charge mobility in muscovite at 300K

abstract: Evidence is presented for infinite charge mobility in natural crystals of muscovite mica at room temperature. Muscovite has a basic layered structure containing a flat monatomic sheet of potassium sandwiched between mirror silicate layers. It is an excellent electrical insulator. Studies of defects in muscovite crystals indicated that positive charge could propagate over great distances along atomic chains in the potassium sheets in absence of an applied electric potential. The charge moved in association with anharmonic lattice excitations that moved at about sonic speed and created by nuclear recoil of the radioactive isotope K40. This was verified by measuring currents passing through crystals when irradiated with energetic alpha particles at room temperature. The charge propagated more than 1000 times the range of the alpha particles of average energy and 250 times the range of channelling particles of maximum energy. The range is limited only by size of the crystal.


title: A note on the cross-index of a complete graph based on a linear tree

abstract: In this paper it is shown that a complete graph with $n$ vertices has an optimal diagram, i.e., a diagram whose crossing number equals the value of Guy's formula, with a free maximal linear tree and without free hamiltonian cycles for any odd integer $n \ge 7$.


title: Why and How Java Developers Break APIs

abstract: Modern software development depends on APIs to reuse code and increase productivity. As most software systems, these libraries and frameworks also evolve, which may break existing clients. However, the main reasons to introduce breaking changes in APIs are unclear. Therefore, in this paper, we report the results of an almost 4-month long field study with the developers of 400 popular Java libraries and frameworks. We configured an infrastructure to observe all changes in these libraries and to detect breaking changes shortly after their introduction in the code. After identifying breaking changes, we asked the developers to explain the reasons behind their decision to change the APIs. During the study, we identified 59 breaking changes, confirmed by the developers of 19 projects. By analyzing the developers' answers, we report that breaking changes are mostly motivated by the need to implement new features, by the desire to make the APIs simpler and with fewer elements, and to improve maintainability. We conclude by providing suggestions to language designers, tool builders, software engineering researchers and API developers.


title: The Fermi-Pasta-Ulam problem and its underlying integrable dynamics: an approach through Lyapunov Exponents

abstract: FPU models, in dimension one, are perturbations either of the linear model or of the Toda model; perturbations of the linear model include the usual $\beta$-model, perturbations of Toda include the usual $\alpha+\beta$ model. In this paper we explore and compare two families, or hierarchies, of FPU models, closer and closer to either the linear or the Toda model, by computing numerically, for each model, the maximal Lyapunov exponent $\chi$. We study the asymptotics of $\chi$ for large $N$ (the number of particles) and small $\epsilon$ (the specific energy $E/N$), and find, for all models, asymptotic power laws $\chi\simeq C\epsilon^a$, $C$ and $a$ depending on the model. The asymptotics turns out to be, in general, rather slow, and producing accurate results requires a great computational effort. We also revisit and extend the analytic computation of $\chi$ introduced by Casetti, Livi and Pettini, originally formulated for the $\beta$-model. With great evidence the theory extends successfully to all models of the linear hierarchy, but not to models close to Toda.


title: Drop impact dynamics on slippery liquid-infused porous surfaces: influence of oil thickness

abstract: Slippery liquid-infused porous surfaces (SLIPS) are porous nanostructures impregnated with a low surface tension lubricant. They have recently shown great promise in various applications that require non-wettable superhydrophobic surfaces. In this paper, we investigate experimentally the influence of the oil thickness on the wetting properties and drop impact dynamics of new SLIPS. By tuning the thickness of the oil layer deposited through spin-coating, we show that a sufficiently thick layer of oil is necessary to avoid dewetting spots on the porous nanostructure and thus increasing the homogeneity of the liquid distribution. Drop impact on these surfaces is investigated with a particular emphasis on the spreading and rebound dynamics when varying the oil thickness and the Weber number.


title: Scaling Laws and Warning Signs for Bifurcations of SPDEs

abstract: Critical transitions (or tipping points) are drastic sudden changes observed in many dynamical systems. Large classes of critical transitions are associated to systems, which drift slowly towards a bifurcation point. In the context of stochastic ordinary differential equations (SODEs), there are results on growth of variance and autocorrelation before a transition, which can be used as possible warning signs in applications. A similar theory has recently been developed in the simplest setting also for stochastic partial differential equations (SPDEs) for self-adjoint operators in the drift term. This setting leads to real discrete spectrum and growth of the covariance operator via a certain scaling law. In this paper, we develop this theory substantially further. We cover the cases of complex eigenvalues, degenerate eigenvalues as well as continuous spectrum. This provides a fairly comprehensive theory for most practical applications of warning signs for SPDE bifurcations.


title: Lower bounds for Combinatorial Algorithms for Boolean Matrix Multiplication

abstract: In this paper we propose models of combinatorial algorithms for the Boolean Matrix Multiplication (BMM), and prove lower bounds on computing BMM in these models. First, we give a relatively relaxed combinatorial model which is an extension of the model by Angluin (1976), and we prove that the time required by any algorithm for the BMM is at least $\Omega(n^3 / 2^{O( \sqrt{ \log n })})$. Subsequently, we propose a more general model capable of simulating the "Four Russians Algorithm". We prove a lower bound of $\Omega(n^{7/3} / 2^{O(\sqrt{ \log n })})$ for the BMM under this model. We use a special class of graphs, called $(r,t)$-graphs, originally discovered by Rusza and Szemeredi (1978), along with randomization, to construct matrices that are hard instances for our combinatorial models.


title: Forward-Invariance and Wong-Zakai Approximation for Stochastic Moving Boundary Problems

abstract: We discuss a class of stochastic second-order PDEs in one space-dimension with an inner boundary moving according to a possibly non-linear, Stefan-type condition. We show that proper separation of phases is attained, i.e., the solution remains negative on one side and positive on the other side of the moving interface, when started with the appropriate initial conditions. To extend results from deterministic settings to the stochastic case, we establish a Wong-Zakai type approximation. After a coordinate transformation the problems are reformulated and analysed in terms of stochastic evolution equations on domains of fractional powers of linear operators.


title: A Multi-Agent Neural Network for Dynamic Frequency Reuse in LTE Networks

abstract: Fractional Frequency Reuse techniques can be employed to address interference in mobile networks, improving throughput for edge users. There is a tradeoff between the coverage and overall throughput achievable, as interference avoidance techniques lead to a loss in a cell's overall throughput, with spectrum efficiency decreasing with the fencing off of orthogonal resources. In this paper we propose MANN, a dynamic multiagent frequency reuse scheme, where individual agents in charge of cells control their configurations based on input from neural networks. The agents' decisions are partially influenced by a coordinator agent, which attempts to maximise a global metric of the network (e.g., cell-edge performance). Each agent uses a neural network to estimate the best action (i.e., cell configuration) for its current environment setup, and attempts to maximise in turn a local metric, subject to the constraint imposed by the coordinator agent. Results show that our solution provides improved performance for edge users, increasing the throughput of the bottom 5% of users by 22%, while retaining 95% of a network's overall throughput from the full frequency reuse case. Furthermore, we show how our method improves on static fractional frequency reuse schemes.


title: Lifetime measurement of the $^{229}$Th nuclear isomer

abstract: The first excited isomeric state of $^{229}$Th possesses the lowest energy among all known excited nuclear states. The expected energy is accessible with today's laser technology and in principle allows for a direct optical laser excitation of the nucleus. The isomer decays via three channels to its ground-state (internal conversion, $\gamma$ decay and bound internal conversion), whose strengths depend on the charge state of $^{229m}$Th. We report on the measurement of the internal-conversion decay half-life of neutral $^{229m}$Th. A half-life of 7 $\pm$ 1 $\mu$s has been measured, which is in the range of theoretical predictions and, based on the theoretically expected lifetime of $\approx10^4$ s of the photonic decay channel, gives further support for an internal conversion coefficient of $\approx10^9$, thus constraining the strength of a radiative branch in the presence of IC.


title: Sequences, yet Functions: The Dual Nature of Data-Stream Processing

abstract: Data-stream processing has continuously risen in importance as the amount of available data has been steadily increas- ing over the last decade. Besides traditional domains such as data-center monitoring and click analytics, there is an increasing number of network-enabled production machines that generate continuous streams of data. Due to their continuous nature, queries on data-streams can be more complex, and distinctly harder to understand then database queries. As users have to consider operational details, maintenance and debugging become challenging. Current approaches model data-streams as sequences, be- cause this is the way they are physically received. These models result in an implementation-focused perspective. We explore an alternate way of modeling data-streams by focusing on time-slicing semantics. This focus results in a model based on functions, which is better suited for reasoning about query semantics. By adapting the definitions of relevant concepts in stream processing to our model, we illustrate the practical useful- ness of our approach. Thereby, we link data-streams and query primitives to concepts in functional programming and mathematics. Most noteworthy, we prove that data-streams are monads, and show how to derive monad definitions for current data-stream models. We provide an abstract, yet practical perspective on data- stream related subjects based on a sound, consistent query model. Our work can serve as solid foundation for future data-stream query-languages.


title: Dynamical resonance shift and unification of resonances in short-pulse laser cluster interaction

abstract: Pronounced maximum absorption of laser light irradiating a rare-gas or metal cluster is widely expected during the linear resonance (LR) when Mie-plasma wavelength $\lambdaM$ of electrons equals the laser wavelength $\lambda$. On the contrary, by performing molecular dynamics (MD) simulations of an argon cluster irradiated by short 5-fs (fwhm) laser pulses it is revealed that, for a given laser pulse energy and a cluster, at each peak intensity there exists a $\lambda$ -- shifted from the expected $\lambdaM$ -- that corresponds to a {\em unified dynamical} LR at which evolution of the cluster happens through very effective unification of possible resonances in various stages, including (i) the LR in the initial time of plasma creation, (ii) the LR in the Coulomb expanding phase in the later time and (iii) anharmonic resonance in the marginally over-dense regime for a relatively longer pulse duration, leading to maximum laser absorption accompanied by maximum removal of electrons from cluster and also maximum allowed average charge states for the argon cluster. Increasing the laser intensity, the absorption maxima is found to shift to a higher wavelength in the band of $\lambda\approx (1-1.5)\lambdaM$ than permanently staying at the expected $\lambdaM$. A naive rigid sphere model also corroborates the wavelength shift of the absorption peak as found in MD and un-equivocally proves that maximum laser absorption in a cluster happens at a shifted $\lambda$ in the marginally over-dense regime of $\lambda\approx (1-1.5)\lambdaM$ in stead of $\lambdaM$ of LR. Present study may find importance for guiding an optimal condition laser-cluster interaction experiment in the short pulse regime.


title: The dynamically changing publication universe as a reference point in national impact evaluation: A counterfactual case study on the Chinese publication growth

abstract: National bibliometric performance is commonly measured via relative impact indicators which appraise absolute national values through a global environment. Consequenty the resulting impact values mirror changes in the national performance as well as in its embedding. In order to assess the importance of the environment in this ratio, we analyse the increase in Chinese publications as an example for a structural change altering the whole database. Via a counterfactual comparison we quantify how Chinese publications benefit a large set of countries on their impact values, identify explanatory factors and describe the underelying mechanism due to longer reference lists and a non-uniform citation distribution among recipient countries. We argue that such structural changes in the environment have to be taken into account for an unbiased measurement of national bibliometric performance.


title: Normal subgroups of the braid group and the metaconjecture of Ivanov

abstract: We show that many normal subgroups of the braid group modulo its centre, and of the mapping class group of a sphere with marked points, have the property that their automorphism and abstract commensurator groups are mapping class groups of such spheres. As one application, we establish the automorphism groups of each term in the lower central series and derived series of the pure braid group. We also obtain new proofs of results of Dyer-Grossman and Orevkov, showing that the automorphism groups of the braid group and of its commutator subgroup are isomorphic. We then calculate the automorphism and abstract commensurator groups of each term in the hyperelliptic Johnson filtration, recovering a result of Childers for the Torelli case. The techniques used in the paper rely on resolving a metaconjecture of Nikolai V. Ivanov for "graphs of regions", extending work of Brendle-Margalit.


title: Enabling Quality-Driven Scalable Video Transmission over Multi-User NOMA System

abstract: Recently, non-orthogonal multiple access (NOMA) has been proposed to achieve higher spectral efficiency over conventional orthogonal multiple access. Although it has the potential to meet increasing demands of video services, it is still challenging to provide high performance video streaming. In this research, we investigate, for the first time, a multi-user NOMA system design for video transmission. Various NOMA systems have been proposed for data transmission in terms of throughput or reliability. However, the perceived quality, or the quality-of-experience of users, is more critical for video transmission. Based on this observation, we design a quality-driven scalable video transmission framework with cross-layer support for multi-user NOMA. To enable low complexity multi-user NOMA operations, a novel user grouping strategy is proposed. The key features in the proposed framework include the integration of the quality model for encoded video with the physical layer model for NOMA transmission, and the formulation of multi-user NOMA-based video transmission as a quality-driven power allocation problem. As the problem is non-concave, a global optimal algorithm based on the hidden monotonic property and a suboptimal algorithm with polynomial time complexity are developed. Simulation results show that the proposed multi-user NOMA system outperforms existing schemes in various video delivery scenarios.


title: Radio haloes in nearby galaxies modelled with 1D cosmic-ray transport using SPINNAKER

abstract: We present radio continuum maps of 12 nearby ($D\leq 27~\rm Mpc$), edge-on ($i\geq 76^{\circ}$), late-type spiral galaxies mostly at $1.4$ and 5 GHz, observed with the Australia Telescope Compact Array, Very Large Array, Westerbork Synthesis Radio Telescope, Effelsberg 100-m and Parkes 64-m telescopes. All galaxies show clear evidence of radio haloes, including the first detection in the Magellanic-type galaxy NGC 55. In 11 galaxies, we find a thin and a thick disc that can be better fitted by exponential rather than Gaussian functions. We fit our SPINNAKER (SPectral INdex Numerical Analysis of K(c)osmic-ray Electron Radio-emission) 1D cosmic-ray transport models to the vertical model profiles of the non-thermal intensity and to the non-thermal radio spectral index in the halo. We simultaneously fit for the advection speed (or diffusion coefficient) and magnetic field scale height. In the thick disc, the magnetic field scale heights range from 2 to 8 kpc with an average across the sample of $3.0\pm 1.7~\rm kpc$; they show no correlation with either star-formation rate (SFR), SFR surface density ($\Sigma_{\rm SFR}$) or rotation speed ($V_{\rm rot}$). The advection speeds range from 100 to $700~\rm km\,s^{-1}$ and display correlations of $V\propto \rm SFR^{0.36\pm 0.06}$ and $V\propto \Sigma_{\rm SFR}^{0.39\pm 0.09}$; they agree remarkably well with the escape velocities ($0.5\leq V/V_{\rm esc}\leq 2$), which can be explained by cosmic-ray driven winds. Radio haloes show the presence of disc winds in galaxies with $\Sigma_{\rm SFR} > 10^{-3}~\rm M_{\odot}\,yr^{-1}\,kpc^{-2}$ that extend over several kpc and are driven by processes related to the distributed star formation in the disc.


title: Semi-Analytic Method for SINS Attitude and Parameters Online Estimation

abstract: In this note, the attitude and inertial sensors drift biases estimation for Strapdown inertial navigation system is investigated. A semi-analytic method is proposed, which contains two interlaced solution procedures. Specifically, the attitude encoding the body frame changes and gyroscopes drift biases are estimated through attitude estimation while the attitude encoding the constant value at the very start and accelerometers drift biases are determined through online optimization.


title: Frames of translates for model sets

abstract: We study spanning properties of a family of functions translated along simple model sets. We characterize tight frame and dual frame generators for such irregular translates and we apply the results to Gabor systems. We use the connection between model sets and almost periodic functions and rely strongly on a Poisson summations formula for model sets to introduce the so-called bracket product, which then plays a crucial role in our approach. As a corollary to our main results we obtain a density statement for semi-regular Gabor frames.


title: The nonlinear Brascamp-Lieb inequality for simple data

abstract: We establish a nonlinear generalisation of the classical Brascamp-Lieb inequality in the case where the Lebesgue exponents lie in the interior of the finiteness polytope. As a corollary we show that the best constant in Young's convolution inequality in a small neighbourhood of the identity of a general Lie group, approaches the euclidean constant as the size of the neighbourhood approaches zero, answering a question of Cowling, Martini, M\"uller and Parcet. Our proof consists of running an efficient, or "tight", induction on scales argument which uses the existence of gaussian extremisers to the underlying linear Brascamp-Lieb inequality in a fundamental way.


title: Trends in Processor Architecture

abstract: This paper presents an overview of the main trends in processor architecture. It starts with an analysis of the past evolution of processors and the main driving forces behind it, and then it focuses on a description of the main architectural features of current processors. Finally, it presents a discussion on some promising directions for future evolution of processor architectures.


title: Dual vibration configuration interaction (DVCI). An efficient factorization of molecular Hamiltonian for high performance infrared spectrum computation

abstract: Here is presented an original program based on molecular Schrodinger equations. It is dedicated to target specific states of infrared vibrational spectrum in a very precise way with a minimal usage of memory. An eigensolver combined with a new probing technique accumulates information along the iterations so that desired eigenpairs rapidly tend towards the variational limit. Basis set is augmented from the maximal components of residual vectors that usually require the construction of a big matrix block that here is bypassed with a new factorisation of the Hamiltonian. The latest borrows the mathematical concept of duality and the second quantization formalism of quantum theory.

categories: physics.comp-ph cs.CC math.NA physics.chem-ph quant-ph


title: Formation of trans-Neptunian satellite systems at the stage of condensations

abstract: The formation of trans-Neptunian satellite systems at the stage of rarefied preplanetesimals (i.e., condensations of dust and/or objects less than 1 m in diameter) is discussed. It is assumed that trans-Neptunian objects (including those with satellites) could form as a result of compression of parental rarefied preplanetesimals. The formulas for calculating the angular momentum of two colliding condensations with respect to their center of mass, which were applied earlier in (Ipatov, 2010) in the comparison of such momenta with the angular momenta of observed satellite systems, are used to estimate the angular momenta of condensations needed to form satellite systems. It is demonstrated that the angular velocities of condensations used in (Nesvorny et al., 2010) as the initial data in the computer simulation of compression of rarefied preplanetesimals and subsequent formation of trans-Neptunian satellite systems may be obtained in collisions of preplanetesimals with their radii comparable to the corresponding Hill radii. For example, these angular velocities are in the range of possible values of angular velocities of a parental rarefied preplanetesimal formed as a result of a merger of two colliding rarefied preplanetesimals that moved in circular heliocentric orbits before a collision. Some rarefied preplanetesimals formed as a result of collision of preplanetesimals in the region of formation of solid small bodies acquire such angular momenta that are sufficient to form satellite systems of small bodies. It is likely that the ratio of the number of rarefied preplanetesimals with such angular momenta to the total number of rarefied preplanetesimals producing classical trans-Neptunian objects with diameters larger than 100 km was 0.45 (the initial fraction of satellite systems among all classical trans-Neptunian objects).


title: Probing underlying event in Z-boson events using event shape observables

abstract: Experimental measurements of observables sensitive to the underlying event (UE) in $Z$-boson events have been performed by both ATLAS and CMS experiments at the LHC. However, in the busy LHC environment, these observables receive substantial contribution from jets originating from initial state radiation (ISR). We probe if using event shape observables in conjunction with the UE observables can help us to disentangle the effect of the UE from jets originating in ISR.


title: Eligibility Traces and Plasticity on Behavioral Time Scales: Experimental Support of neoHebbian Three-Factor Learning Rules

abstract: Most elementary behaviors such as moving the arm to grasp an object or walking into the next room to explore a museum evolve on the time scale of seconds; in contrast, neuronal action potentials occur on the time scale of a few milliseconds. Learning rules of the brain must therefore bridge the gap between these two different time scales. Modern theories of synaptic plasticity have postulated that the co-activation of pre- and postsynaptic neurons sets a flag at the synapse, called an eligibility trace, that leads to a weight change only if an additional factor is present while the flag is set. This third factor, signaling reward, punishment, surprise, or novelty, could be implemented by the phasic activity of neuromodulators or specific neuronal inputs signaling special events. While the theoretical framework has been developed over the last decades, experimental evidence in support of eligibility traces on the time scale of seconds has been collected only during the last few years. Here we review, in the context of three-factor rules of synaptic plasticity, four key experiments that support the role of synaptic eligibility traces in combination with a third factor as a biological implementation of neoHebbian three-factor learning rules.


title: Note on Bose-Einstein condensation of photons

abstract: This paper provides, firstly, a succinct mathematical derivation of Bose-Einstein condensation (BEC) of photons elaborating on previous results [M\"uller, E.E., Annals of Phys. 184, 219-230 (1988); M\"uller, E.E. Physica 139A, 165-174 (1986)] including new results on the condensate function, and, secondly, applies this framework to consistently explain experimental findings reported in Klaers J., Schmitt, J., Vewinger, F & Weitz, M., Nature 468, 545-548 (2010). The theoretical approach presented here invites to significantly widen the experimental framework for BEC of photons including three-dimensional photon resonators and thermalization mechanisms different from a dye medium in the cavity.


title: A fast subspace optimization method for nonlinear inverse problems in Banach spaces with an application in parameter identification

abstract: We introduce and analyze a fast iterative method based on sequential Bregman projections for nonlinear inverse problems in Banach spaces. The key idea, in contrast to the standard Landweber method, is to use multiple search directions per iteration in combination with a regulation of the step width in order to reduce the total number of iterations. This method is suitable for both exact and noisy data. In the latter case, we obtain a regularization method. An algorithm with two search directions is used for the numerical identification of a parameter in an elliptic boundary value problem.


title: Calculating $p$-values and their significances with the Energy Test for large datasets

abstract: The energy test method is a multi-dimensional test of whether two samples are consistent with arising from the same underlying population, through the calculation of a single test statistic (called the $T$-value). The method has recently been used in particle physics to search for differences between samples that arise from CP violation. The generalised extreme value function has previously been used to describe the distribution of $T$-values under the null hypothesis that the two samples are drawn from the same underlying population. We show that, in a simple test case, the distribution is not sufficiently well described by the generalised extreme value function. We present a new method, where the distribution of $T$-values under the null hypothesis when comparing two large samples can be found by scaling the distribution found when comparing small samples drawn from the same population. This method can then be used to quickly calculate the $p$-values associated with the results of the test.


title: Detection and effects of meteoric smoke particles in the atmosphere

abstract: These are the lecture notes of a trial lecture on the given topic "The detection and effects of meteoric debris in the atmosphere and why we should care". I have shortened the title a little, while I have expanded on the contents. First, I discuss some of the relevant nomenclature. Then, I go through the composition, size, formation and abundance of meteoric smoke particles. I describe some effects that meteoric smoke particles have - or are thought to have - on the mesosphere, stratosphere, troposphere, and even the Earth's surface. The major part of this lecture is about the measurements of meteoric smoke particles by instruments on sounding rockets. I rather briefly mention results from satellite and radar observations.


title: Device-to-Device Aided Multicasting

abstract: We consider a device-to-device (D2D) aided multicast channel, where a transmitter wishes to convey a common message to many receivers and these receivers cooperate with each other. We propose a simple computationally efficient scheme requiring only statistical channel knowledge at transmitter. Our analysis in general topologies reveals that, when the number of receivers $K$ grows to infinity, the proposed scheme guarantees a multicast rate of ${1 \over 2} \log_2(1 + \beta \ln K )$ with high probability for any $\beta < \beta^\star$ where $\beta^\star$ depends on the network topology. This scheme undergoes a phase transition at threshold $\beta^\star \ln K$ where transmissions are successful/unsuccessful with high probability when the SNR is above/below this threshold. We also analyze the outage rate of the proposed scheme in the same setting.


title: Homogenization of the fluid-saturated piezoelectric porous media

abstract: The paper is devoted to the homogenization of porous piezoelectric materials saturated by electrically inert fluid. The solid part of a representative volume element consists of the piezoelectric skeleton with embedded conductors. The pore fluid in the periodic structure can constitute a single connected domain, or an array of inclusions. Also the conducting parts are represented by several mutually separated connected domains, or by inclusions. Two of four possible arrangements are considered for upscaling by the homogenization method. The macroscopic model of the first type involves coefficients responsible for interactions between the electric field and the pore pressure, or the pore volume. For the second type, the electrodes can be used for controlling the electric field at the pore level, so that the deformation and the pore volume can be influenced locally. Effective constitutive coefficients are computed using characteristic responses of the microstructure. The two-scale modelling procedure is implemented numerically using the finite element method. The macroscopic strain and electric fields are used to reconstruct the corresponding local responses at the pore level. For validation of the models, these are compared with results obtained by direct numerical simulations of the heterogeneous structure; a good agreement is demonstrated, showing relevance of the two-scale numerical modelling approach.


title: Three-dimensional chimera patterns in networks of spiking neuron oscillators

abstract: We study the stable spatiotemporal patterns that arise in a 3D network of neuron oscillators, whose dynamics is described by the Leaky Integrate-and-Fire (LIF) model. More specifically, we investigate the form of the chimera states induced by a 3D coupling matrix with nonlocal topology. The observed patterns are in many cases direct generalizations of the corresponding 2D patterns, e.~g. spheres, layers and cylinder grids. We also find cylindrical and "cross-layered" chimeras that do not have an equivalent in 2D systems. Quantitative measures are calculated, such as the ratio of synchronized and unsynchronized neurons as a function of the coupling range, the mean phase velocities and the distribution of neurons in mean phase velocities. Based on these measures the chimeras are categorized in two families. The first family of patterns is observed for weaker coupling and exhibits higher mean phase velocities for the unsynchronized areas of the network. The opposite holds for the second family where the unsynchronized areas have lower mean phase velocities. The various measures demonstrate discontinuities, indicating criticality as the parameters cross from the first family of patterns to the second.


title: A Survey of Physical Layer Security Techniques for 5G Wireless Networks and Challenges Ahead

abstract: Physical layer security which safeguards data confidentiality based on the information-theoretic approaches has received significant research interest recently. The key idea behind physical layer security is to utilize the intrinsic randomness of the transmission channel to guarantee the security in physical layer. The evolution towards 5G wireless communications poses new challenges for physical layer security research. This paper provides a latest survey of the physical layer security research on various promising 5G technologies, including physical layer security coding, massive multiple-input multiple-output, millimeter wave communications, heterogeneous networks, non-orthogonal multiple access, full duplex technology, etc. Technical challenges which remain unresolved at the time of writing are summarized and the future trends of physical layer security in 5G and beyond are discussed.


title: Accurate density measurement of a cold Rydberg gas via non collisional two-body transitions

abstract: We experimentally demonstrate an original method to measure very accurately the density of a frozen Rydberg gas. It is based on the use of adiabatic transitions induced by the long-range dipole-dipole interaction in pairs of nearest neighbor Rydberg atoms by sweeping an electric field with time. The efficiency of this two-body process is experimentally tunable, depends strongly on the density of the gas and can be accurately calculated. The analysis of this efficiency leads to an accurate determination of the Rydberg gas density, and to a calibration of the Rydberg detection. Our method does not require any prior knowledge or estimation of the volume occupied by the Rydberg gas, or of the efficiency of the detection.


title: On the asymmetry of the forward and reverse martensitic transformations in shape memory alloys

abstract: Differential Scanning Calorimetric, DSC, runs taken during martensitic phase transformations in shape memory alloys, often look differently during cooling and heating. Similar asymmetry is observed e.g. for the numbers of hits or the critical exponents of energy and amplitude distributions (\epsilon and \alpha, respectively) in acoustic emission measurements. It is illustrated that, in accordance with empirical correlations, the above asymmetry of acoustic noises can be classified into two groups: the relative changes of the exponents during cooling and heating (\gamma \epsilon=(\epsilon h-\epsilon c)/\epsilon c as well as \gamma \alpha=(\alpha h-\alpha c)/\alpha c)) are either positive or negative. For positive \gamma values the number of hits and the total energy of acoustic emission are larger for cooling, and the situation is just the reverse for negative asymmetry. Our interpretation is based on the different ways of relaxation of the elastic strain energy during cooling as well as heating. It is illustrated that if the relaxed fraction of the total elastic strain energy (which would be stored without relaxations) during cooling is larger than the corresponding relaxed fraction during heating, then the asymmetry is positive. Magnetic emission noises, accompanied with martensitic phase transformations in ferromagnetic alloys, show similar asymmetry than those observed for thermal (DSC) and acoustic noises and depends on the constant external magnetic field too.


title: Real-time CPU-based large-scale 3D mesh reconstruction

abstract: In Robotics, especially in this era of autonomous driving, mapping is one key ability of a robot to be able to navigate through an environment, localize on it and analyze its traversability. To allow for real-time execution on constrained hardware, the map usually estimated by feature-based or semi-dense SLAM algorithms is a sparse point cloud; a richer and more complete representation of the environment is desirable. Existing dense mapping algorithms require extensive use of GPU computing and they hardly scale to large environments; incremental algorithms from sparse points still represent an effective solution when light computational effort is needed and big sequences have to be processed in real-time. In this paper we improved and extended the state of the art incremental manifold mesh algorithm proposed in [1] and extended in [2]. While these algorithms do not achieve real-time and they embed points from SLAM or Structure from Motion only when their position is fixed, in this paper we propose the first incremental algorithm able to reconstruct a manifold mesh in real-time through single core CPU processing which is also able to modify the mesh according to 3D points updates from the underlying SLAM algorithm. We tested our algorithm against two state of the art incremental mesh mapping systems on the KITTI dataset, and we showed that, while accuracy is comparable, our approach is able to reach real-time performances thanks to an order of magnitude speed-up.


title: VLBA Determination of the Distance to Nearby Star-forming Regions. VIII. The LkH$\alpha$ 101 cluster

abstract: The LkH$\alpha$ 101 cluster takes its name from its more massive member, the LkH$\alpha$ 101star, which is an $\sim15$ M$_\odot$ star whose true nature is still unknown. The distance to the LkH$\alpha$ 101 cluster has been controversial for the last few decades, with estimated values ranging from 160 to 800 pc. We have observed members and candidate members of the LkH$\alpha$ 101 cluster with signs of magnetic activity, using the Very Long Baseline Array, in order to measure their trigonometric parallax and, thus, obtain a direct measurement of their distances. A young star member, LkH$\alpha$ 101 VLA J043001.15+351724.6, was detected at four epochs as a single radio source. The best fit to its displacement on the plane of the sky yields a distance of 535$\pm$29 pc. We argue that this is the distance to the LkH$\alpha$ 101 cluster.


title: Various complexity measures in confined hydrogen atom

abstract: Several well-known statistical measures similar to \emph{LMC} and \emph{Fisher-Shannon} complexity have been computed for confined hydrogen atom in both position ($r$) and momentum ($p$) spaces. Further, a more generalized form of these quantities with R\'enyi entropy ($R$) is explored here. The role of scaling parameter in the exponential part is also pursued. $R$ is evaluated taking order of entropic moments $\alpha, \beta$ as $(\frac{2}{3},3)$ in $r$ and $p$ spaces. Detailed systematic results of these measures with respect to variation of confinement radius $r_c$ is presented for low-lying states such as, $1s$-$3d,~4f$ and $5g$. For \emph{nodal} states, such as $2s,~3s$ and $3p$, as $r_c$ progresses there appears a maximum followed by a minimum in $r$ space, having certain values of the scaling parameter. However, the corresponding $p$-space results lack such distinct patterns. This study reveals many other interesting features.


title: Poor man's scaling: anisotropic Kondo and Coqblin--Schrieffer models

abstract: We discuss Kondo effect for a general model, describing a quantum impurity with degenerate energy levels, interacting with a gas of itinerant electrons, and derive scaling equation to the second order for such a model. We show how the scaling equation for the spin-anisotropic Kondo model with the power law density of states (DOS) for itinerant electrons follows from the general scaling equation. We introduce the anisotropic Coqblin--Schrieffer model, apply the general method to derive scaling equation for that model for the power law DOS, and integrate the derived equation analytically.


title: Silicon dual pillar structure with a distributed Bragg reflector for dielectric laser accelerators: Design and fabrication

abstract: Dielectric laser accelerators (DLAs) have proven to be good candidates for miniaturized particle accelerators. They rely on micro-fabricated dielectrics which are able to modulate the kinetic energy of the incoming electron beam under a proper laser illumination. In this paper we demonstrate a dual pillar structure with a distributed Bragg reflector to mimic a double sided illumination to the electron path. The structure is fabricated by an electron beam lithography technique followed by a cryogenic reactive ion etching process. Such a structure can accelerate the injected 28 keV electrons by a gradient of approximately 150 MeV/m which can be further optimized towards the GeV/m regime.


title: Primordial Black Holes - Perspectives in Gravitational Wave Astronomy -

abstract: This is a review article on the primordial black holes (PBHs), with particular focus on the massive ones ($\gtrsim 10^{15}{\rm g}$) which have not evaporated by the present epoch by the Hawking radiation. By the detections of gravitational waves by LIGO, we have gained a completely novel tool to observationally search for PBHs complementary to the electromagnetic waves. Based on the perspective that gravitational-wave astronomy will make a significant progress in the next decades, a purpose of this article is to give a comprehensive review covering a wide range of topics on PBHs. After discussing PBH formation as well as several inflation models leading to PBH production, we summarize various existing and future observational constraints. We then present topics on formation of PBH binaries, gravitational waves from PBH binaries, various observational tests of PBHs by using gravitational waves.


title: MORF: A Framework for Predictive Modeling and Replication At Scale With Privacy-Restricted MOOC Data

abstract: Big data repositories from online learning platforms such as Massive Open Online Courses (MOOCs) represent an unprecedented opportunity to advance research on education at scale and impact a global population of learners. To date, such research has been hindered by poor reproducibility and a lack of replication, largely due to three types of barriers: experimental, inferential, and data. We present a novel system for large-scale computational research, the MOOC Replication Framework (MORF), to jointly address these barriers. We discuss MORF's architecture, an open-source platform-as-a-service (PaaS) which includes a simple, flexible software API providing for multiple modes of research (predictive modeling or production rule analysis) integrated with a high-performance computing environment. All experiments conducted on MORF use executable Docker containers which ensure complete reproducibility while allowing for the use of any software or language which can be installed in the linux-based Docker container. Each experimental artifact is assigned a DOI and made publicly available. MORF has the potential to accelerate and democratize research on its massive data repository, which currently includes over 200 MOOCs, as demonstrated by initial research conducted on the platform. We also highlight ways in which MORF represents a solution template to a more general class of problems faced by computational researchers in other domains.


title: Information is not a thermodynamic resource

abstract: The so-called information-thermodynamics link has been created in a series of works starting from Maxwell demon and established by the idea of transforming information into work in the though experiment of Szilard which then evolved into the vast field of research. The aim of this note is firstly to present two new models of the Szilard engine containing arbitrary number of molecules which show irrelevance of acquiring information for work extraction. Secondly, the difference between the definition of entropy for ergodic systems and systems with ergodicity breaking constraints is emphasized. The role of nonergodic systems as information carriers and the thermodynamic cost of stability and accuracy of information encoding and processing is briefly discussed.


title: Recent progress on the fabrication of silver nanowire-based transparent electrodes

abstract: Transparent electrodes (TEs) made of metallic nanowires, such as Ag, Au, Cu, and Ni, have attracted rising attention for several reasons: 1) they can act as a substitute for tin oxide-based TEs such as indium-tin oxide (ITO) and fluorine-doped tin oxide (FTO); 2) various methods exist for fabricating such TEs such as filtration, spraying and meyer bar coating; 3) greater compatibility with different substrates can be achieved due to the variety of fabrication methods; and 4) extra functions in addition to serving as electrodes, such as catalytic abilities, can be obtained due to the metals that compose the TEs. There are a large number of applications for TEs, ranging from electronics and sensors to biomedical devices. This short review is a summary of recent progress, mainly during the past five years, on silver nanowire-based TEs. The focus of the review will be on theory development, mechanical, chemical and thermal stability and optical properties. The many applications of TEs are outside the scope of this review.


title: The Radial Velocity Variability of the K-giant Gamma Draconis: Stellar Variability Masquerading as a Planet

abstract: We present precise stellar radial velocity measurements of Gamma Dra taken from 2003 to 2017. The data from 2003 to 2011 show coherent, long-lived variations with a period of 702 d. These variations are consistent with the presence of a planetary companion having m sin i = 10.7 M_Jup whose orbital properties are typical for giant planets found around evolved stars. An analysis of the Hipparcos photometry, Ca II S-index measurements, and measurements of the spectral line shapes during this time show no variations with the radial velocity of the planet which seems to "confirm"' the presence of the planet. However, radial velocity measurements taken 2011 -- 2017 seem to refute this. From 2011 to 2013 the radial velocity variations virtually disappear only to return in 2014, but with a noticeable phase shift. The total radial velocity variations are consistent either with amplitude variations on timescales of ~ 10.6 yr, or the beating effect between two periods of 666 d and 801 d. It seems unlikely that both these signals stem from a two-planet system. A simple dynamical analysis indicates that there is only a 1-2 % chance that the two-planet is stable. Rather, we suggest that this multi-periodic behavior may represent a new form of stellar variability, possibly related to oscillatory convective modes. If such intrinsic stellar variability is common around K giant stars and is attributed to planetary companions, then the planet occurrence rate among these stars may be significantly lower than thought.


title: de Finetti reductions for partially exchangeable probability distributions

abstract: We introduce a general framework for de Finetti reduction results, applicable to various notions of partially exchangeable probability distributions. Explicit statements are derived for the cases of exchangeability, Markov exchangeability, and some generalizations of these. Our techniques are combinatorial and rely on the "BEST" theorem, enumerating the Eulerian cycles of a multigraph.


title: Laser wakefield acceleration with mid-IR laser pulses

abstract: We report on the first results of laser plasma wakefield acceleration driven by ultrashort mid-infrared laser pulses (\lambda= 3.9 \mu m, 100 fs, 0.25 TW), which enable near- and above-critical density interactions with moderate-density gas jets. Relativistic electron acceleration up to ~12 MeV occurs when the jet width exceeds the threshold scale length for relativistic self-focusing. We present scaling trends in the accelerated beam profiles, charge and spectra, which are supported by particle-in-cell simulations and time-resolved images of the interaction. For similarly scaled conditions, we observe significant increases in accelerated charge compared to previous experiments with near-infrared (\lambda=800 nm) pulses.


title: A Bayesian Conjugate Gradient Method

abstract: A fundamental task in numerical computation is the solution of large linear systems. The conjugate gradient method is an iterative method which offers rapid convergence to the solution, particularly when an effective preconditioner is employed. However, for more challenging systems a substantial error can be present even after many iterations have been performed. The estimates obtained in this case are of little value unless further information can be provided about the numerical error. In this paper we propose a novel statistical model for this numerical error set in a Bayesian framework. Our approach is a strict generalisation of the conjugate gradient method, which is recovered as the posterior mean for a particular choice of prior. The estimates obtained are analysed with Krylov subspace methods and a contraction result for the posterior is presented. The method is then analysed in a simulation study as well as being applied to a challenging problem in medical imaging.


title: Rank Selection of CP-decomposed Convolutional Layers with Variational Bayesian Matrix Factorization

abstract: Convolutional Neural Networks (CNNs) is one of successful method in many areas such as image classification tasks. However, the amount of memory and computational cost needed for CNNs inference obstructs them to run efficiently in mobile devices because of memory and computational ability limitation. One of the method to compress CNNs is compressing the layers iteratively, i.e. by layer-by-layer compression and fine-tuning, with CP-decomposition in convolutional layers. To compress with CP-decomposition, rank selection is important. In the previous approach rank selection that is based on sensitivity of each layer, the average rank of the network was still arbitrarily selected. Additionally, the rank of all layers were decided before whole process of iterative compression, while the rank of a layer can be changed after fine-tuning. Therefore, this paper proposes selecting rank of each layer using Variational Bayesian Matrix Factorization (VBMF) which is more systematic than arbitrary approach. Furthermore, to consider the change of each layer's rank after fine-tuning of previous iteration, the method is applied just before compressing the target layer, i.e. after fine-tuning of the previous iteration. The results show better accuracy while also having more compression rate in AlexNet's convolutional layers compression.


title: Assessing Bayesian Nonparametric Log-Linear Models: an application to Disclosure Risk estimation

abstract: We present a method for identification of models with good predictive performances in the family of Bayesian log-linear mixed models with Dirichlet process random effects. Such a problem arises in many different applications; here we consider it in the context of disclosure risk estimation, an increasingly relevant issue raised by the increasing demand for data collected under a pledge of confidentiality. Two different criteria are proposed and jointly used via a two-stage selection procedure, in a M-open view. The first stage is devoted to identifying a path of search; then, at the second, a small number of nonparametric models is evaluated through an application-specific score based Bayesian information criterion. We test our method on a variety of contingency tables based on microdata samples from the US Census Bureau and the Italian National Security Administration, treated here as populations, and carefully discuss its features. This leads us to a journey around different forms and sources of bias along which we show that (i) while based on the so called "score+search" paradigm, our method is by construction well protected from the selection-induced bias, and (ii) models with good performances are invariably characterized by an extraordinarily simple structure of fixed effects. The complexity of model selection - a very challenging and difficult task in a strictly parametric context with large and sparse tables - is therefore significantly defused by our approach. An attractive collateral result of our analysis are fruitful new ideas about modeling in small area estimation problems, where interest is in total counts over cells with a small number of observations.


title: Power-Law Statistics Of Driven Reconnection In The Magnetically Closed Corona

abstract: Numerous observations have revealed that power-law distributions are ubiquitous in energetic solar processes. Hard X-rays, soft X-rays, extreme ultraviolet radiation, and radio waves all display power-law frequency distributions. Since magnetic reconnection is the driving mechanism for many energetic solar phenomena, it is likely that reconnection events themselves display such power-law distributions. In this work, we perform numerical simulations of the solar corona driven by simple convective motions at the photospheric level. Using temperature changes, current distributions, and Poynting fluxes as proxies for heating, we demonstrate that energetic events occurring in our simulation display power-law frequency distributions, with slopes in good agreement with observations. We suggest that the braiding-associated reconnection in the corona can be understood in terms of a self-organized criticality model driven by convective rotational motions similar to those observed at the photosphere.