title: NEON+: Accelerated Gradient Methods for Extracting Negative Curvature for Non-Convex Optimization

abstract: Accelerated gradient (AG) methods are breakthroughs in convex optimization, improving the convergence rate of the gradient descent method for optimization with smooth functions. However, the analysis of AG methods for non-convex optimization is still limited. It remains an open question whether AG methods from convex optimization can accelerate the convergence of the gradient descent method for finding local minimum of non-convex optimization problems. This paper provides an affirmative answer to this question. In particular, we analyze two renowned variants of AG methods (namely Polyak's Heavy Ball method and Nesterov's Accelerated Gradient method) for extracting the negative curvature from random noise, which is central to escaping from saddle points. By leveraging the proposed AG methods for extracting the negative curvature, we present a new AG algorithm with double loops for non-convex optimization~\footnote{this is in contrast to a single-loop AG algorithm proposed in a recent manuscript~\citep{AGNON}, which directly analyzed the Nesterov's AG method for non-convex optimization and appeared online on November 29, 2017. However, we emphasize that our work is an independent work, which is inspired by our earlier work~\citep{NEON17} and is based on a different novel analysis.}, which converges to second-order stationary point $\x$ such that $\|\nabla f(\x)\|\leq \epsilon$ and $\nabla^2 f(\x)\geq -\sqrt{\epsilon} I$ with $\widetilde O(1/\epsilon^{1.75})$ iteration complexity, improving that of gradient descent method by a factor of $\epsilon^{-0.25}$ and matching the best iteration complexity of second-order Hessian-free methods for non-convex optimization.


title: Towards Faster Training of Global Covariance Pooling Networks by Iterative Matrix Square Root Normalization

abstract: Global covariance pooling in convolutional neural networks has achieved impressive improvement over the classical first-order pooling. Recent works have shown matrix square root normalization plays a central role in achieving state-of-the-art performance. However, existing methods depend heavily on eigendecomposition (EIG) or singular value decomposition (SVD), suffering from inefficient training due to limited support of EIG and SVD on GPU. Towards addressing this problem, we propose an iterative matrix square root normalization method for fast end-to-end training of global covariance pooling networks. At the core of our method is a meta-layer designed with loop-embedded directed graph structure. The meta-layer consists of three consecutive nonlinear structured layers, which perform pre-normalization, coupled matrix iteration and post-compensation, respectively. Our method is much faster than EIG or SVD based ones, since it involves only matrix multiplications, suitable for parallel implementation on GPU. Moreover, the proposed network with ResNet architecture can converge in much less epochs, further accelerating network training. On large-scale ImageNet, we achieve competitive performance superior to existing counterparts. By finetuning our models pre-trained on ImageNet, we establish state-of-the-art results on three challenging fine-grained benchmarks. The source code and network models will be available at http://www.peihuali.org/iSQRT-COV


title: Chemical fingerprints of hot Jupiter planet formation

abstract: The current paradigm to explain the presence of Jupiters with small orbital periods (P $<$ 10 days; hot Jupiters) that involves their formation beyond the snow line following inward migration, has been challenged by recent works that explored the possibility of in situ formation. We aim to test whether stars harbouring hot Jupiters and stars with more distant gas-giant planets show any chemical peculiarity that could be related to different formation processes. Our results show that stars with hot Jupiters have higher metallicities than stars with cool distant gas-giant planets in the metallicity range +0.00/+0.20 dex. The data also shows a tendency of stars with cool Jupiters to show larger abundances of $\alpha$ elements. No abundance differences between stars with cool and hot Jupiters are found when considering iron peak, volatile elements or the C/O, and Mg/Si ratios. The corresponding $p$-values from the statistical tests comparing the cumulative distributions of cool and hot planet hosts are 0.20, $<$ 0.01, 0.81, and 0.16 for metallicity, $\alpha$, iron-peak, and volatile elements, respectively. We confirm previous works suggesting that more distant planets show higher planetary masses as well as larger eccentricities. We note differences in age and spectral type between the hot and cool planet hosts samples that might affect the abundance comparison. The differences in the distribution of planetary mass, period, eccentricity, and stellar host metallicity suggest a different formation mechanism for hot and cool Jupiters. The slightly larger $\alpha$ abundances found in stars harbouring cool Jupiters might compensate their lower metallicities allowing the formation of gas-giant planets.


title: In-situ formation of SiGe alloy by electron beam evaporation and the effect of post deposition annealing on the energy band gap

abstract: We report the synthesis of polycrystalline (poly)-SiGe alloy thin films through solid state reaction of Si/Ge multilayer thin films on Si and glass substrates at low temperature of 500 {\deg}C. The pristine thin film was deposited using electron beam evaporation with optimized in-situ substrate heating. Our results show the co-existence of amorphous Si (a-Si) phase along with the poly-SiGe phase in the pristine thin film. The a-Si phase was found to subsume into the SiGe phase upon post deposition annealing in the temperature range from 600 to 800 {\deg}C. Additionally, dual energy band gaps could be observed in the optical properties of the annealed poly-SiGe thin films. The stoichiometric evolution of the pristine thin film and its subsequent effect on the band gap upon annealing are discussed on the basis of diffusion characteristics of Si in poly-SiGe.


title: A Continuous Family of Marked Poset Polytopes

abstract: For any marked poset we define a continuous family of polytopes, parametrized by a hypercube, generalizing the notions of marked order and marked chain polytopes. By providing transfer maps, we show that the vertices of the hypercube parametrize an Ehrhart equivalent family of lattice polytopes. The combinatorial type of the polytopes is constant when the parameters vary in the relative interior of each face of the hypercube. Moreover, with the help of a subdivision arising from a tropical hyperplane arrangement associated to the marked poset, we give an explicit description of the vertices of the polytope for generic parameters.


title: Vprop: Variational Inference using RMSprop

abstract: Many computationally-efficient methods for Bayesian deep learning rely on continuous optimization algorithms, but the implementation of these methods requires significant changes to existing code-bases. In this paper, we propose Vprop, a method for Gaussian variational inference that can be implemented with two minor changes to the off-the-shelf RMSprop optimizer. Vprop also reduces the memory requirements of Black-Box Variational Inference by half. We derive Vprop using the conjugate-computation variational inference method, and establish its connections to Newton's method, natural-gradient methods, and extended Kalman filters. Overall, this paper presents Vprop as a principled, computationally-efficient, and easy-to-implement method for Bayesian deep learning.


title: Learning for Disparity Estimation through Feature Constancy

abstract: Stereo matching algorithms usually consist of four steps, including matching cost calculation, matching cost aggregation, disparity calculation, and disparity refinement. Existing CNN-based methods only adopt CNN to solve parts of the four steps, or use different networks to deal with different steps, making them difficult to obtain the overall optimal solution. In this paper, we propose a network architecture to incorporate all steps of stereo matching. The network consists of three parts. The first part calculates the multi-scale shared features. The second part performs matching cost calculation, matching cost aggregation and disparity calculation to estimate the initial disparity using shared features. The initial disparity and the shared features are used to calculate the feature constancy that measures correctness of the correspondence between two input images. The initial disparity and the feature constancy are then fed to a sub-network to refine the initial disparity. The proposed method has been evaluated on the Scene Flow and KITTI datasets. It achieves the state-of-the-art performance on the KITTI 2012 and KITTI 2015 benchmarks while maintaining a very fast running time.


title: Theoretical Validation of Potential Habitability via Analytical and Boosted Tree Methods: An Optimistic Study on Recently Discovered Exoplanets

abstract: Seven Earth-sized planets, TRAPPIST-1 system, were discovered in February 2017. Three of these planets are in the habitable zone (HZ) of their star, making them potentially habitable planets a mere 40 light years away. Discovery of the closest potentially habitable planet to us just a year before -- Proxima~b, and a realization that Earth-type planets in HZ are a common occurrence provides the impetus to the pursuit for life outside the Solar System. The search for life has two goals: Earth similarity and habitability. An index was recently proposed, Cobb-Douglas Habitability Score (CDHS), based on Cobb-Douglas production function, which computes the habitability score by using measured and estimated planetary parameters like radius, density, escape velocity and surface temperature of a planet. The proposed metric with exponents accounting for metric elasticity, is endowed with analytical properties that ensure global optima and can be scaled to accommodate a finite number of input parameters. We show that the model is elastic, and the conditions on elasticity to ensure global maxima can scale as the number of predictor parameters increase. K-Nearest Neighbour classification algorithm, embellished with probabilistic herding and thresholding restriction, utilizes CDHS scores and labels exoplanets to appropriate classes via feature-learning methods. The algorithm works on top of a decision-theoretical model using the power of convex optimization and machine learning. A second approach, based on a novel feature-learning and tree-building method classifies the same planets without computing the CDHS of the planets and produces a similar outcome. The convergence of the two different approaches indicates the strength of the proposed scheme and the likelihood of the potential habitability of the recent discoveries.


title: Interaction Between Singularity Theory and the Minimal Model Program

abstract: We survey some recent topics on singularities, with a focus on their connection to the minimal model program. This includes the construction and properties of dual complexes, the proof of the ACC conjecture for log canonical thresholds and the recent progress on the `local stability theory' of an arbitrary Kawamata log terminal singularity.


title: A Neptune-mass Free-floating Planet Candidate Discovered by Microlensing Surveys

abstract: Current microlensing surveys are sensitive to free-floating planets down to Earth-mass objects. All published microlensing events attributed to unbound planets were identified based on their short timescale (below two days), but lacked an angular Einstein radius measurement (and hence lacked a significant constraint on the lens mass). Here, we present the discovery of a Neptune-mass free-floating planet candidate in the ultrashort ($t_{\rm E}=0.320\pm0.003$ days) microlensing event OGLE-2016-BLG-1540. The event exhibited strong finite-source effects, which allowed us to measure its angular Einstein radius of $\theta_{\rm E}=9.2\pm0.5\,\mu$as. There remains, however, a degeneracy between the lens mass and distance. The combination of the source proper motion and source-lens relative proper motion measurements favors a Neptune-mass lens located in the Galactic disk. However, we cannot rule out that the lens is a Saturn-mass object belonging to the bulge population. We exclude stellar companions up to 15 au.


title: Fermi Large Area Telescope detection of gamma-ray emission from the direction of supernova iPTF14hls

abstract: The remnant of supernova explosion is widely believed to be the acceleration site of high-energy cosmic ray particles. The acceleration timescale is, however, typically very long. Here we report the detection of a variable $\gamma$-ray source with the Fermi Large Area Telescope, which is positionally and temporally consistent with a peculiar supernova, iPTF14hls. A quasi-stellar object SDSS J092054.04+504251.5, which is probably a blazar according to the infrared data, is found in the error circle of the $\gamma$-ray source. More data about the $\gamma$-ray source and SDSS J092054.04+504251.5 are needed to confirm their association. On the other hand, if the association between the $\gamma$-ray source and the supernova is confirmed, this would be the first time to detect high-energy $\gamma$-ray emission from a supernova, suggesting very fast particle acceleration by supernova explosions.


title: Reclaiming memory for lock-free data structures: there has to be a better way

abstract: Memory reclamation for lock-based data structures is typically easy. However, it is a significant challenge for lock-free data structures. Automatic techniques such as garbage collection are inefficient or use locks, and non-automatic techniques either have high overhead, or do not work for many data structures. For example, subtle problems can arise when hazard pointers, one of the most common non-automatic techniques, are applied to many lock-free data structures. Epoch based reclamation (EBR), which is by far the most efficient non-automatic technique, allows the number of unreclaimed objects to grow without bound, because one crashed process can prevent all other processes from reclaiming memory. We develop a more efficient, distributed variant of EBR that solves this problem. It is based on signaling, which is provided by many operating systems, such as Linux and UNIX. Our new scheme takes $O(1)$ amortized steps per high-level operation on the data structure and $O(1)$ steps in the worst case each time an object is removed from the data structure. At any point, $O(mn^2)$ objects are waiting to be freed, where $n$ is the number of processes and $m$ is a small constant for most data structures. Experiments show that our scheme has very low overhead: on average 10\%, and at worst 28\%, for a balanced binary search tree over many thread counts, operation mixes and contention levels. Our scheme also outperforms a highly tuned implementation of hazard pointers by an average of 75\%. Typically, memory reclamation is tightly woven into lock-free data structure code. To improve modularity and facilitate the comparison of different memory reclamation schemes, we also introduce a highly flexible abstraction. It allows a programmer to easily interchange schemes for reclamation, object pooling, allocation and deallocation with virtually no overhead, by changing a single line of code.


title: Three-dimensional modeling of the Ca II H&K lines in the solar atmosphere

abstract: CHROMIS, a new imaging spectrometer at the Swedish 1-m Solar Telescope (SST), can observe the chromosphere in the H and K lines of Ca II at high spatial and spectral resolution. Accurate modeling as well as an understanding of the formation of these lines are needed to interpret the SST/CHROMIS observations. Such modeling is computationally challenging because these lines are influenced by strong departures from local thermodynamic equilibrium, three-dimensional radiative transfer, and partially coherent resonance scattering of photons. We aim to model the CaII H&K lines in 3D model atmospheres to understand their formation and to investigate their diagnostic potential for probing the chromosphere. We model the synthetic spectrum of Ca II using the radiative transfer code Multi3D in three different radiation-magnetohydrodynamic model atmospheres computed with the Bifrost code. We classify synthetic intensity profiles according to their shapes and study how their features are related to the physical properties in the model atmospheres. We investigate whether the synthetic data reproduce the observed spatially-averaged line shapes, center-to-limb variation and compare with SST/CHROMIS images. The spatially-averaged synthetic line profiles show too low central emission peaks, and too small separation between the peaks. The trends of the observed center-to-limb variation of the profiles properties are reproduced by the models. The Ca II H&K line profiles provide a temperature diagnostic of the temperature minimum and the temperature at the formation height of the emission peaks. The Doppler shift of the central depression is an excellent probe of the velocity in the upper chromosphere.


title: The RoPES project with HARPS and HARPS-N. I. A system of super-Earths orbiting the moderately active K-dwarf HD 176986

abstract: We report the discovery of a system of two super-Earths orbiting the moderately active K-dwarf HD 176986. This work is part of the RoPES RV program of G- and K-type stars, which combines radial velocities (RVs) from the HARPS and HARPS-N spectrographs to search for short-period terrestrial planets. HD 176986 b and c are super-Earth planets with masses of 5.74 and 9.18 M$_{\oplus}$, orbital periods of 6.49 and 16.82 days, and distances of 0.063 and 0.119 AU in orbits that are consistent with circular. The host star is a K2.5 dwarf, and despite its modest level of chromospheric activity (log(R'hk) = - 4.90 +- 0.04), it shows a complex activity pattern. Along with the discovery of the planets, we study the magnetic cycle and rotation of the star. HD 176986 proves to be suitable for testing the available RV analysis technique and further our understanding of stellar activity.


title: Approximation properties of hybrid shearlet-wavelet frames for Sobolev spaces

abstract: In this paper, we study a newly developed shearlet system on bounded domains which yields frames for $H^s(\Omega)$ for some $s\in \mathbb{N}$, $\Omega \subset \mathbb{R}^2$. We will derive approximation rates with respect to $H^s(\Omega)$ norms for functions whose derivatives admit smooth jumps along curves and demonstrate superior rates to those provided by pure wavelet systems. These improved approximation rates demonstrate the potential of the novel shearlet system for the discretization of partial differential equations. Therefore, we implement an adaptive shearlet-based algorithm for the solution of an elliptic PDE and analyze its computational complexity and convergence properties.


title: Adaptive Quantization for Deep Neural Network

abstract: In recent years Deep Neural Networks (DNNs) have been rapidly developed in various applications, together with increasingly complex architectures. The performance gain of these DNNs generally comes with high computational costs and large memory consumption, which may not be affordable for mobile platforms. Deep model quantization can be used for reducing the computation and memory costs of DNNs, and deploying complex DNNs on mobile equipment. In this work, we propose an optimization framework for deep model quantization. First, we propose a measurement to estimate the effect of parameter quantization errors in individual layers on the overall model prediction accuracy. Then, we propose an optimization process based on this measurement for finding optimal quantization bit-width for each layer. This is the first work that theoretically analyse the relationship between parameter quantization errors of individual layers and model accuracy. Our new quantization algorithm outperforms previous quantization optimization methods, and achieves 20-40% higher compression rate compared to equal bit-width quantization at the same model prediction accuracy.


title: The coherent weak charge of matter

abstract: We study the long-range force arising between two aggregates of ordinary matter due to a neutrino-pair exchange, in the limit of zero neutrino mass. Even if matter is neutral of electric charge, it is charged for this weak force. The interaction is described in terms of a coherent charge, which we call the weak flavor charge of aggregated matter. For each one of the interacting aggregates, this charge depends on the neutrino flavor as $Q_W^{\nu_e} = 2Z-N$, $Q_W^{\nu_\mu} = Q_W^{\nu_\tau} = -N$, where $Z$ is the number of protons and $N$ the number of neutrons. $Q_W^{\nu_e}$ depends explicitly on $Z$ because of the charged current contribution to $\nu_e e$ elastic scattering, while the $N$ term in the three charges comes from the universal neutral current contribution. The effective potential describing this force is repulsive and decreases as $r^{-5}$. Due to its specific behavior on $(Z,N)$ and $r$, this interaction is distinguishable from both gravitation and residual electromagnetic forces. As neutrinos are massive and mixed, this potential is valid for $r\lesssim 1/m_\nu$, distances beyond which a Yukawa-like attenuation kicks in.


title: Partially massless theory in three dimensions and self-dual massive gravity

abstract: Partially massless theory in three dimensions is revisited and its relationship with the self-dual massive gravity is considered. The only mode of the partially massless theory is shown explicitly through an action for a scalar field on (A)dS background. This fact can be generalized to higher dimensions. This degree of freedom is altered when a triadic Chern-Simons is introduced, giving rise to the self-dual massive gravity on (A)dS background. We present another physical system with partially massless symmetry and its connection with topologically massive gravity is discussed.


title: Local available energetics of multicomponent compressible stratified fluids

abstract: We extend the local theory of available potential energy (APE) to a general multicomponent compressible stratified fluid, accounting for the effects of diabatic sinks and sources. As for simple compressible fluids, the total potential energy density of a fluid parcel is the sum of its available elastic energy (AEE) and APE density. These respectively represent the adiabatic compression/expansion work needed to bring it from its reference pressure to its actual pressure and the work against buoyancy forces required to move it from its reference state position to its actual position. Our expression for the APE density is new and derived using only elementary manipulations of the equations of motion; it is significantly simpler than existing published expressions, while also being more transparently linked to the relevant form of APE density for the Boussinesq and hydrostatic primitive equations. Our new framework is used to clarify the links between some aspects of the energetics of Boussinesq and real fluids, as well as to shed light on the physical basis underlying the choice of reference state(s) in local APE theory.


title: Finitary approximations of groups and their applications

abstract: In these notes we will survey recent results on various finitary approximation properties of infinite groups. We will discuss various restrictions on groups that are approximated for example by finite solvable groups or finite-dimensional unitary groups with the Frobenius metric. Towards the end, we also briefly discuss various applications of those approximation properties to the understanding of the equational theory of a group.


title: Superconductivity-insensitive order at $q$~1/4 in electron doped cuprates

abstract: One of the central questions in the cuprate research is the nature of the "normal state" which develops into high temperature superconductivity (HTSC). In the normal state of hole-doped cuprates, the existence of charge density wave (CDW) is expected to shed light on the mechanism of HTSC. With evidence emerging for CDW order in the electron-doped cuprates, the CDW would be thought to be a universal phenomenon in high-$T_c$ cuprates. However, the CDW phenomena in electron-doped cuprate are quite different than those in hole-doped cuprates. Here we study the nature of the putative CDW in an electron-doped cuprate through direct comparisons between as-grown and post-annealed Nd$_{1.86}$Ce$_{0.14}$CuO$_4$ (NCCO) single crystals using Cu $L_3$-edge resonant soft x-ray scattering (RSXS) and angle resolved photoemission spectroscopy (ARPES). The RSXS result reveals that the non-superconducting NCCO shows the same reflections at the wavevector (~1/4, 0, $l$) as like the reported superconducting NCCO. This superconductivity-insensitive signal is quite different with the characteristics of the CDW reflection in hole-doped cuprates. Moreover, the ARPES result suggests that the fermiology cannot account for such wavevector. These results call into question the universality of CDW phenomenon in the cuprates.


title: Estimating the greatest common divisor of the value of two polynomials

abstract: Let $p$ be a fixed prime, and let $v(a)$ stand for the exponent of $p$ in the prime factorization of the integer $a$. Let $f$ and $g$ be two monic polynomials with integer coefficients and nonzero resultant $r$. Write $S$ for the maximum of $v(\gcd (f(n), g(n)))$ over all integers $n$. It is known that $S \le v(r)$. We give various lower and upper bounds for the least possible value of $v(r)-S$ provided that a given power $p^s$ divides both $f(n)$ and $g(n)$ for all $n$. In particular, the least possible value is $ps^2-s$ for $s\le p$ and is asymptotically $(p-1)s^2$ for large $s$.


title: Role of charge regulation and flow slip on the ionic conductance of nanopores: an analytical approach

abstract: The number of precise conductance measurements in nanopores is quickly growing. In order to clarify the dominant mechanisms at play and facilitate the characterization of such systems for which there is still no clear consensus, we propose an analytical approach to the ionic conductance in nanopores that takes into account (i) electro-osmotic effects, (ii) flow slip at the pore surface for hydrophobic nanopores, (iii) a component of the surface charge density that is modulated by the reservoir $p$H and salt concentration $c_s$ using a simple charge regulation model, and (iv) a fixed surface charge density that is unaffected by $p$H and $c_s$. Limiting cases are explored for various ranges of salt concentration and our formula is used to fit conductance experiments found in the literature for carbon nanotubes. This approach permits us to catalog the different possible transport regimes and propose an explanation for the wide variety of currently known experimental behavior for the conductance versus $c_s$.


title: CNN based Learning using Reflection and Retinex Models for Intrinsic Image Decomposition

abstract: Most of the traditional work on intrinsic image decomposition rely on deriving priors about scene characteristics. On the other hand, recent research use deep learning models as in-and-out black box and do not consider the well-established, traditional image formation process as the basis of their intrinsic learning process. As a consequence, although current deep learning approaches show superior performance when considering quantitative benchmark results, traditional approaches are still dominant in achieving high qualitative results. In this paper, the aim is to exploit the best of the two worlds. A method is proposed that (1) is empowered by deep learning capabilities, (2) considers a physics-based reflection model to steer the learning process, and (3) exploits the traditional approach to obtain intrinsic images by exploiting reflectance and shading gradient information. The proposed model is fast to compute and allows for the integration of all intrinsic components. To train the new model, an object centered large-scale datasets with intrinsic ground-truth images are created. The evaluation results demonstrate that the new model outperforms existing methods. Visual inspection shows that the image formation loss function augments color reproduction and the use of gradient information produces sharper edges. Datasets, models and higher resolution images are available at https://ivi.fnwi.uva.nl/cv/retinet.


title: GANerated Hands for Real-time 3D Hand Tracking from Monocular RGB

abstract: We address the highly challenging problem of real-time 3D hand tracking based on a monocular RGB-only sequence. Our tracking method combines a convolutional neural network with a kinematic 3D hand model, such that it generalizes well to unseen data, is robust to occlusions and varying camera viewpoints, and leads to anatomically plausible as well as temporally smooth hand motions. For training our CNN we propose a novel approach for the synthetic generation of training data that is based on a geometrically consistent image-to-image translation network. To be more specific, we use a neural network that translates synthetic images to "real" images, such that the so-generated images follow the same statistical distribution as real-world hand images. For training this translation network we combine an adversarial loss and a cycle-consistency loss with a geometric consistency loss in order to preserve geometric properties (such as hand pose) during translation. We demonstrate that our hand tracking system outperforms the current state-of-the-art on challenging RGB-only footage.


title: Considering Slow Manifold Based Model Reduction for Multiscale Chemical Optimal Control Problems

abstract: Finite-dimensional dissipative dynamical systems with multiple time-scales are obtained when modeling chemical reaction kinetics with ordinary differential equations. Such stiff systems are computationally hard to solve and therefore, optimal control problems which contain ordinary differential equations as infinitesimal constraints are even more difficult to handle. Model reduction might offer an approach to improve numerical efficiency as well as avoiding stiffness of such models. We show in this paper in benchmark fashion how attracting manifold computation methods could be exploited to solve optimal control more efficiently while having in mind the ambitious long-term goal to apply them to real-time control problems in chemical kinetics.


title: SOT for MOT

abstract: In this paper we present a robust tracker to solve the multiple object tracking (MOT) problem, under the framework of tracking-by-detection. As the first contribution, we innovatively combine single object tracking (SOT) algorithms with multiple object tracking algorithms, and our results show that SOT is a general way to strongly reduce the number of false negatives, regardless of the quality of detection. Another contribution is that we show with a deep learning based appearance model, it is easy to associate detections of the same object efficiently and also with high accuracy. This appearance model plays an important role in our MOT algorithm to correctly associate detections into long trajectories, and also in our SOT algorithm to discover new detections mistakenly missed by the detector. The deep neural network based model ensures the robustness of our tracking algorithm, which can perform data association in a wide variety of scenes. We ran comprehensive experiments on a large-scale and challenging dataset, the MOT16 benchmark, and results showed that our tracker achieved state-of-the-art performance based on both public and private detections.


title: A Numerical Method for Pricing Discrete Double Barrier Option by Lagrange Interpolation on Jacobi Node

abstract: In this paper, a rapid and high accurate numerical method for pricing discrete single and double barrier knock-out call options is presented. According to the well-known Black-Scholes framework, the price of option in each monitoring date could be calculate by computing a recursive integral formula upon the heat equation solution. We have approximated these recursive solutions with the aim of Lagrange interpolation on Jacobi polynomials node. After that, an operational matrix, that makes our computation significantly fast, has been driven. The most important feature of this method is that its CPU time dose not increase when the number of monitoring dates increases. The numerical results confirm the accuracy and efficiency of the presented numerical algorithm.


title: MADMAX: A new way of probing QCD Axion Dark Matter with a Dielectric Haloscope -- Foundations

abstract: In contrast to WIMPs, light Dark Matter candidates have increasingly come under the focus of scientific interest. In particular the QCD axion is also able to solve other fundamental problems such as CP-conservation in strong interactions. Galactic axions, axion-like particles and hidden photons can be converted to photons at boundaries between materials of different dielectric constants under a strong magnetic field. Combining many such surfaces, one can enhance this conversion significantly using constructive interference and resonances. The proposed MADMAX setup containing 80 high dielectric disks in a \SI{10}{\tesla} magnetic field would probe the well-motivated mass range of $40$--\SI{400}{\micro\electronvolt}, a range which is at present inaccessible by existing cavity searches. We present the foundations of this approach and its expected sensitivity.


title: MADMAX: A new road to axion dark matter detection

abstract: The axion is a hypothetical low-mass boson predicted by the Peccei-Quinn mechanism solving the strong CP problem. It is naturally also a cold dark matter candidate if its mass is below $\sim$\,1\,meV, thus simultaneously solving two major problems of nature. All existing experimental efforts to detect QCD axions focus on a range of axion masses below $\sim$\,25$\,\mu$eV. The mass range above $\sim$\,40$\,\mu$eV, predicted by modern models in which the Peccei-Quinn symmetry was restored after inflation, could not be explored so far. The MADMAX project is designed to be sensitive for axions with masses (40--400$)\,\mu$eV. The experimental design is based on the idea of enhanced axion-photon conversion in a system with several layers with alternating dielectric constants. The concept and the proposed design of the MADMAX experiment are discussed. Measurements taken with a prototype test setup are discussed. The prospects for reaching sensitivity enough to cover the parameter space predicted for QCD dark matter axions with mass in the range around 100\,$\mu$eV is presented.


title: A Second-Order Approach to Complex Event Recognition

abstract: Complex Event Recognition (CER for short) refers to the activity of detecting patterns in streams of continuously arriving data. This field has been traditionally approached from a practical point of view, resulting in heterogeneous implementations with fundamentally different capabilities. The main reason behind this is that defining formal semantics for a CER language is not trivial: they usually combine first-order variables for joining and filtering events with regular operators like sequencing and Kleene closure. Moreover, their semantics usually focus only on the detection of complex events, leaving the concept of output mostly unattended. In this paper, we propose to unify the semantics and output of complex event recognition languages by using second order objects. Specifically, we introduce a CER language called Second Order Complex Event Logic (SO-CEL for short), that uses second order variables for managing and outputting sequences of events. This makes the definition of the main CER operators simple, allowing us to develop the first steps in understanding its expressive power. We start by comparing SO-CEL with a version that uses first-order variables called FO-CEL, showing that they are equivalent in expressive power when restricted to unary predicates but, surprisingly, incomparable in general. Nevertheless, we show that if we restrict to sets of binary predicates, then SO-CEL is strictly more expressive than FO-CEL. Then, we introduce a natural computational model called Unary Complex Event Automata (UCEA) that provides a better understanding of SO-CEL. We show that, under unary predicates, SO-CEL captures the subclass of UCEA that satisfy the so-called *-property. Finally, we identify the operations that SO-CEL is lacking to capture UCEA and introduce a natural extension of the language that captures the complete class of UCEA under unary predicates.


title: Iterated and Mixed Weak Norms with Applications to Geometric Inequalities

abstract: In this paper, we consider a new weak norm, iterated weak norm in Lebesgue spaces with mixed norms. We study properties of the mixed weak norm and the iterated weak norm and present the relationship between the two weak norms. Even for the ordinary Lebesgue spaces, the two weak norms are not equivalent and any one of them can not control the other one. We give some convergence and completeness results for both weak norms. We study the convergence in truncated norm, which is a substitution of the convergence in measure for mixed Lebesgue spaces. And we give a characterization of the convergence in truncated norm. We show that H\"older's inequality is not always true on mixed weak spaces and we give a complete characterization of indices which admit H\"older's inequality. As applications, we establish some geometric inequalities related to fractional integration in mixed weak spaces and in iterated weak spaces which essentially generalize the Hardy-Littlewood-Sobolev inequality.


title: On Cepheid Distance Scale Bias due to Stellar Companions and Cluster Populations

abstract: State-of-the art photometric measurements of extragalactic Cepheids account for the mean additional light due to chance superposition of Cepheids on crowded backgrounds through the use of artificial star measurements. However, light from stars physically associated with Cepheids may bias relative distance measurements if the changing spatial resolution along the distance ladder significantly alters the amount of associated blending. We have identified two regimes where this phenomenon may occur: Cepheids in wide binaries and open clusters. We estimate stellar association bias using the photometric passbands and reddening-free Wesenheit magnitudes used to set up the distance scale. For wide binaries, we rely on Geneva stellar evolution models in conjunction with detailed statistics on intermediate-mass binary stars. For the impact of cluster stars, we have compiled information on the clustered Cepheid fraction and measured the typical cluster contribution in M31 via deep HST imaging provided by the PHAT project. We find that the dominant effect on the distance scale comes from Cepheids in clusters, despite cluster Cepheids being a relatively rare phenomenon. Wide binaries have a negligible effect of 0.004% on $H_0$ for long-period Cepheids observed in the near-infrared or when considering Wesenheit magnitudes. We estimate that blending due to cluster populations has previously resulted in a 0.23% overestimate of $H_0$. Correcting for this bias, we obtain $H_0 = 73.07 \pm 1.76 km s^{-1} Mpc^{-1}$, which remains in $3.3\sigma$ tension with the Planck value. We conclude that stellar association bias does not constitute a limit for measuring $H_0$ with an accuracy of 1%.


title: Connecting Pixels to Privacy and Utility: Automatic Redaction of Private Information in Images

abstract: Images convey a broad spectrum of personal information. If such images are shared on social media platforms, this personal information is leaked which conflicts with the privacy of depicted persons. Therefore, we aim for automated approaches to redact such private information and thereby protect privacy of the individual. By conducting a user study we find that obfuscating the image regions related to the private information leads to privacy while retaining utility of the images. Moreover, by varying the size of the regions different privacy-utility trade-offs can be achieved. Our findings argue for a "redaction by segmentation" paradigm. Hence, we propose the first sizable dataset of private images "in the wild" annotated with pixel and instance level labels across a broad range of privacy classes. We present the first model for automatic redaction of diverse private information.


title: Ultrafast modification of Hubbard $U$ in a strongly correlated material: ab initio high-harmonic generation in NiO

abstract: Engineering effective electronic parameters is a major focus in condensed matter physics. Their dynamical modulation opens the possibility of creating and controlling physical properties in systems driven out of equilibrium. In this work, we demonstrate that the Hubbard $U$, the on-site Coulomb repulsion in strongly correlated materials, can be modified on femtosecond time scales by a strong nonresonant laser excitation in the prototypical charge transfer insulator NiO. Using our recently developed time-dependent density functional theory plus self-consistent $U$ (TDDFT+U) method, we demonstrate the importance of a dynamically modulated $U$ in the description of the high-harmonic generation of NiO. Our study opens the door to novel ways of modifying effective interactions in strongly correlated materials via laser driving, which may lead to new control paradigms for field-induced phase transitions and perhaps laser-induced Mott insulation in charge-transfer materials.


title: Classifying transport behavior via current fluctuations in open quantum systems

abstract: There are two standard ways of classifying transport behavior of systems. The first is via time scaling of spread of correlations in the isolated system in thermodynamic limit. The second is via system size scaling of conductance in the steady state of the open system. We show here that these correspond to taking the thermodynamic limit and the long time limit of the integrated equilibrium current-current correlations of the open system in different order. In general, the limits may not commute leading to a conflict between the two standard ways of transport classification. Nevertheless, the full information is contained in the equilibrium current-current correlations of the open system. We show this analytically by rigorously deriving the open-system current fluctuation dissipation relations (OCFDR) starting from an extremely general open quantum set-up and then carefully taking the proper limits. We test our theory numerically on the non-trivial example of the critical Aubry-Andr\'e-Harper (AAH) model, where, it has been recently shown that, the two standard classifications indeed give different results. We find that both the total current autocorrelation and the long-range local current correlations of the open system in equilibrium show signatures of diffusive transport up to a time scale. This time scale grows as square of system size. Beyond this time scale a steady state value is reached. The steady state value is conductance, which shows sub-diffusive scaling with system size.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.mes-hall physics.chem-ph quant-ph


title: Symmetries of a reduced fluid-gyrokinetic system

abstract: Symmetries of a fluid-gyrokinetic model are investigated using Lie group techniques. Specifically the nonlinear system constructed by Zocco and Schekochihin (Zocco & Schekochihin 2011), which combines nonlinear fluid equations with a drift-kinetic description of parallel electron dynamics, is studied. Significantly, this model is fully gyrokinetic, allowing for arbitrary k_perp rho_i , where k_perp is the perpendicular wave vector of the fluctuations and rho_i the ion gyroradius. The model includes integral operators corresponding to gyroaveraging as well as the moment equations relating fluid variables to the kinetic distribution function. A large variety of exact symmetries is uncovered, some of which have unexpected form. Using these results, new nonlinear solutions are constructed, including a helical generalization of the Chapman-Kendall solution for a collapsing current sheet.


title: The normalized numerical range and the Davis-Wielandt shell

abstract: For a given $n$-by-$n$ matrix $A$, its {\em normalized numerical range} $F_N(A)$ is defined as the range of the function $f_{N,A}\colon x\mapsto (x^*Ax)/(\norm{Ax}\cdot\norm{x})$ on the complement of $\ker A$. We provide an explicit description of this set for the case when $A$ is normal or $n=2$. This extension of earlier results for particular cases of $2$-by-$2$ matrices (by Gevorgyan) and essentially Hermitian matrices of arbitrary size (by A. Stoica and one of the authors) was achieved due to the fresh point of view at $F_N(A)$ as the image of the Davis-Wielandt shell $\JNR(A)$ under a certain non-linear mapping $h\colon\R^3\mapsto\C$.


title: Minimum Interior Temperature for Solid Objects Implied by Collapse Models

abstract: Heating induced by the noise postulated in wave function collapse models leads to a lower bound to the temperature of solid objects. For the noise parameter values $\lambda ={\rm coupling~strength}\sim 10^{-8} {\rm s}^{-1}$ and $r_C ={\rm correlation~length} \sim 10^{-5} {\rm cm}$, which were suggested \cite{adler1} to make latent image formation an indicator of wave function collapse and which are consistent with the recent experiment of Vinante et al. \cite{vin}, the effect may be observable. For metals, where the heat conductivity is proportional to the temperature at low temperatures, the lower bound (specifically for RRR=30 copper) is $\sim 5\times 10^{-11} (L/r_C) $K, with L the size of the object. For the thermal insulator Torlon 4203, the comparable lower bound is $\sim 3 \times 10^{-6} (L/r_c)^{0.63}$ K. We first give a rough estimate for a cubical metal solid, and then give an exact solution of the heat transfer problem for a sphere.


title: Multi-color light curves and orbital period research of eclipsing binary V1073 Cyg

abstract: New Multi-color $B$ $V$ $R_c$ $I_c$ photometric observation are presented for W UMa type eclipsing binary V1073 Cyg. The multi-color light curves analysis with the Wilson-Devinney(W-D) procedure acquired the absolute parameters of this system, showing that V1073Cyg is a shallow contact binary system with fill-out factor $f=0.124(\pm0.011)$. We collected all available times of light minima spanning 119 years including CCD data to construct the O-C curve and made detailed O-C analysis. The O-C diagram shows that the period change is complex. There exist a long-term continuous decrease and a cyclic variation. The period is decreasing at a rate of $\dot P=-1.04(\pm0.18)\times 10^{-10}$ $days\cdot{cycle}^{-1}$, and with the period decrease, V1073 Cyg will evolve to deep contact stage. The cyclic variation with a period of $P_3=82.7(\pm3.6) years$ and an amplitude of $A=0.028(\pm0.002) day$ may be explained by the magnetic activity of one or both components or the light travel time effect (LTTE) caused by a distant third companion with $M_3({i'}=90^{\circ})=0.511M_\odot$.


title: A Generalized Motion Pattern and FCN based approach for retinal fluid detection and segmentation

abstract: SD-OCT is a non-invasive cross-sectional imaging modality used for diagnosis of macular defects. Efficient detection and segmentation of the abnormalities seen as biomarkers in OCT can help in analyzing the progression of the disease and advising effective treatment for the associated disease. In this work, we propose a fully automated Generalized Motion Pattern(GMP) based segmentation method using a cascade of fully convolutional networks for detection and segmentation of retinal fluids from SD-OCT scans. General methods for segmentation depend on domain knowledge-based feature extraction, whereas we propose a method based on Generalized Motion Pattern (GMP) which is derived by inducing motion to an image to suppress the background.The proposed method is parallelizable and handles inter-scanner variability efficiently. Our method achieves a mean Dice score of 0.61,0.70 and 0.73 during segmentation and a mean AUC of 0.85,0.84 and 0.87 during detection for the 3 types of fluids IRF, SRF and PDE respectively.


title: Collision model approach to steering of an open driven qubit

abstract: We investigate quantum steering of an open quantum system by measurements on its environment in the framework of collision models. As an example we consider a coherently driven qubit dissipatively coupled to a bath. We construct local non-adaptive and adaptive as well as nonlocal measurement scenarios specifying explicitly the measured observable on the environment. Our approach shows transparently how the conditional evolution of the open system depends on the type of the measurement scenario and the measured observables. These can then be optimized for steering. The nonlocal measurement scenario leads to maximal violation of the used steering inequality at zero temperature. Further, we investigate the robustness of the constructed scenarios against thermal noise. We find generally that steering becomes harder at higher temperatures. Surprisingly, the system can be steered even when bipartite entanglement between the system and individual subenvironments vanishes.


title: Model independent constraints on transition redshift

abstract: This paper aims to put constraints on the transition redshift $z_t$, which determines the onset of cosmic acceleration, in cosmological-model independent frameworks. In order to perform our analyses, we consider a flat universe and {assume} a parametrization for the comoving distance $D_C(z)$ up to third degree on $z$, a second degree parametrization for the Hubble parameter $H(z)$ and a linear parametrization for the deceleration parameter $q(z)$. For each case, we show that {type Ia supernovae} and $H(z)$ data complement each other on the parameter {space} and tighter constrains for the transition redshift are obtained. By {combining} the type Ia supernovae observations and Hubble parameter measurements it is possible to constrain the values of $z_t$, for each approach, as $0.806\pm 0.094$, $0.870\pm 0.063$ and $0.973\pm 0.058$ at 1$\sigma$ c.l., respectively. Then, such approaches provide cosmological-model independent estimates for this parameter.


title: Natural Langevin Dynamics for Neural Networks

abstract: One way to avoid overfitting in machine learning is to use model parameters distributed according to a Bayesian posterior given the data, rather than the maximum likelihood estimator. Stochastic gradient Langevin dynamics (SGLD) is one algorithm to approximate such Bayesian posteriors for large models and datasets. SGLD is a standard stochastic gradient descent to which is added a controlled amount of noise, specifically scaled so that the parameter converges in law to the posterior distribution [WT11, TTV16]. The posterior predictive distribution can be approximated by an ensemble of samples from the trajectory. Choice of the variance of the noise is known to impact the practical behavior of SGLD: for instance, noise should be smaller for sensitive parameter directions. Theoretically, it has been suggested to use the inverse Fisher information matrix of the model as the variance of the noise, since it is also the variance of the Bayesian posterior [PT13, AKW12, GC11]. But the Fisher matrix is costly to compute for large- dimensional models. Here we use the easily computed Fisher matrix approximations for deep neural networks from [MO16, Oll15]. The resulting natural Langevin dynamics combines the advantages of Amari's natural gradient descent and Fisher-preconditioned Langevin dynamics for large neural networks. Small-scale experiments on MNIST show that Fisher matrix preconditioning brings SGLD close to dropout as a regularizing technique.


title: External Shock in a Multi-Bursting Gamma-ray Burst: Energy Injection Phase induced by the Later Launched Ejecta

abstract: Central engine of gamma-ray bursts (GRBs) may be intermittent and launch several episodes of ejecta separated by a long quiescent interval. In this scenario, an external shock is formed due to the propagation of the first launched ejecta into the circum-burst medium and the later launched ejecta may interact with the external shock at later period. Owing to the internal dissipation, the later launched ejecta may be observed at a later time ($t_{\rm{jet}}$). In this paper, we study the relation of $t_{\rm{b}}$ and $t_{\rm{jet}}$, where $t_{\rm{b}}$ is the collision time of the later launched ejecta with the formed external shock. It is found that the relation of $t_{\rm{b}}$ and $t_{\rm{jet}}$ depends on the bulk Lorentz factor ($\Gamma_{\rm{jet}}$) of the later launched ejecta and the density ($\rho$) of the circum-burst medium. If the value of $\Gamma_{\rm{jet}}$ or $\rho$ is low, the $t_{\rm{b}}$ would be significantly larger than $t_{\rm{jet}}$. However, the $t_{\rm{b}}\sim t_{\rm{jet}}$ can be found if the value of $\Gamma_{\rm{jet}}$ or $\rho$ is significantly large. Our results can explain the large lag of the optical emission relative to the $\gamma$-ray/X-ray emission in GRBs, e.g., GRB~111209A. For GRBs with a precursor, our results suggest that the energy injection into the external shock and thus more than one external-reverse shock may appear in the main prompt emission phase. According to our model, we estimate the Lorentz factor of the second launched ejecta in GRB~160625B.


title: Technical design and commissioning of the KATRIN large-volume air coil system

abstract: The KATRIN experiment is a next-generation direct neutrino mass experiment with a sensitivity of 0.2 eV (90% C.L.) to the effective mass of the electron neutrino. It measures the tritium $\beta$-decay spectrum close to its endpoint with a spectrometer based on the MAC-E filter technique. The $\beta$-decay electrons are guided by a magnetic field that operates in the mT range in the central spectrometer volume; it is fine-tuned by a large-volume air coil system surrounding the spectrometer vessel. The purpose of the system is to provide optimal transmission properties for signal electrons and to achieve efficient magnetic shielding against background. In this paper we describe the technical design of the air coil system, including its mechanical and electrical properties. We outline the importance of its versatile operation modes in background investigation and suppression techniques. We compare magnetic field measurements in the inner spectrometer volume during system commissioning with corresponding simulations, which allows to verify the system's functionality in fine-tuning the magnetic field configuration. This is of major importance for a successful neutrino mass measurement at KATRIN.


title: On the coarse geometry of certain right-angled Coxeter groups

abstract: Let $\Gamma$ be a connected, triangle-free, planar graph with at least five vertices that has no separating vertices or edges. If the graph $\Gamma$ is $\mathcal{CFS}$, we prove that the right-angled Coxeter group $G_\Gamma$ is virtually a Seifert manifold group or virtually a graph manifold group and we give a complete quasi-isometry classification of these such groups. Otherwise, we prove that $G_\Gamma$ is hyperbolic relative to a collection of $\mathcal{CFS}$ right-angled Coxeter subgroups of $G_\Gamma$. Consequently, the divergence of $G_\Gamma$ is linear, or quadratic, or exponential. We also generalize right-angled Coxeter groups which are virtually graph manifold groups to certain high dimensional right-angled Coxeter groups (our families exist in every dimension) and study the coarse geometry of this collection. We prove that strongly quasiconvex torsion free infinite index subgroups in certain graph of groups are free and we apply this result to our right-angled Coxeter groups.


title: Radio emission in ultracool dwarfs: the nearby substellar triple system VHS 1256$-$1257

abstract: With the purpose to investigate the radio emission of new ultracool objects, we carried out a targeted search in the recently discovered system VHS J125601.92$-$125723.9 (hereafter VHS 1256$-$1257); this system is composed by an equal-mass M7.5 binary and a L7 low-mass substellar object located at only 15.8\,pc. We observed in phase-reference mode the system VHS 1256$-$1257 with the Karl G. Jansky Very Large Array at $X$- and $L$- band and with the European VLBI Network at $L$-band in several epochs during 2015 and 2016. We discovered radio emission at $X$-band spatially coincident with the equal-mass M7.5 binary with a flux density of 60 $\mu$Jy. We determined a spectral index $\alpha = -1.1 \pm 0.3$ between 8 and 12 GHz, suggesting that non-thermal, optically-thin, synchrotron or gyrosynchrotron radiation is responsible for the observed radio emission. Interestingly, no signal is seen at $L$-band where we set a 3-$\sigma$ upper limit of 20 $\mu$Jy. This might be explained by strong variability of the binary or self-absorption at this frequency. By adopting the latter scenario and gyrosynchrotron radiation, we constrain the turnover frequency to be in the interval 5--8.5 GHz, from which we infer the presence of kG-intense magnetic fields in the M7.5 binary. Our data impose a 3-$\sigma$ upper bound to the radio flux density of the L7 object of 9 $\mu$Jy at 10\,GHz.


title: Determinants of Mobile Money Adoption in Pakistan

abstract: In this work, we analyze the problem of adoption of mobile money in Pakistan by using the call detail records of a major telecom company as our input. Our results highlight the fact that different sections of the society have different patterns of adoption of digital financial services but user mobility related features are the most important one when it comes to adopting and using mobile money services.


title: Modeling Radial Velocities and Eclipse Photometry of the Kepler Target KIC 4054905: an Oscillating Red Giant in an Eclipsing Binary

abstract: Asteroseismology is a powerful tool to measure the fundamental properties of stars and probe their interiors. This is particularly efficient for red giants because their modes are well detectable and give information on their deep layers. However, the seismic relations used to infer the mass and radius of a star have been calibrated on the Sun. Therefore, it is crucial to assess their accuracy for red giants which are not perfectly homologous to it. We study eclipsing binaries with a giant component to test their validity. We identified 16 systems for which we intend to compare the dynamical masses and radii obtained by combined photometry and spectroscopy to the values obtained from asteroseismology. In the present work, we illustrate our approach on a system from our sample.


title: Coordinated Charging and Discharging Strategies for Plug-in Electric Bus Fast Charging Station with Energy Storage System

abstract: Plug-in electric bus (PEB) is an environmentally friendly mode of public transportation and plug-in electric bus fast charging stations (PEBFCSs) play an essential role in the operation of PEBs. Under effective control, deploying an energy storage system (ESS) within a PEBFCS can reduce the peak charging loads and the electricity purchase costs. To deal with the (integrated) scheduling problem of (PEBs charging and) ESS charging and discharging, in this study, we propose an optimal real-time coordinated charging and discharging strategy for a PEBFCS with ESS to achieve maximum economic benefits. According to whether the PEB charging loads are controllable, the corresponding mathematical models are respectively established under two scenarios, i.e., coordinated PEB charging scenario and uncoordinated PEB charging scenario. The price and lifespan of ESS, the capacity charge of PEBFCS and the electricity price arbitrage are considered in the models. Further, under the coordinated PEB charging scenario, a heuristics-based method is developed to get the approximately optimal strategy with computation efficiency dramatically enhanced. Finally, we validate the effectiveness of the proposed strategies, interpret the effect of ESS prices on the usage of ESS, and provide the sensitivity analysis of ESS capacity through the case studies.


title: Structured Deep Neural Network Pruning via Matrix Pivoting

abstract: Deep Neural Networks (DNNs) are the key to the state-of-the-art machine vision, sensor fusion and audio/video signal processing. Unfortunately, their computation complexity and tight resource constraints on the Edge make them hard to leverage on mobile, embedded and IoT devices. Due to great diversity of Edge devices, DNN designers have to take into account the hardware platform and application requirements during network training. In this work we introduce pruning via matrix pivoting as a way to improve network pruning by compromising between the design flexibility of architecture-oblivious and performance efficiency of architecture-aware pruning, the two dominant techniques for obtaining resource-efficient DNNs. We also describe local and global network optimization techniques for efficient implementation of the resulting pruned networks. In combination, the proposed pruning and implementation result in close to linear speed up with the reduction of network coefficients during pruning.


title: A particle model for the herding phenomena induced by dynamic market signals

abstract: In this paper, we study the herding phenomena in financial markets arising from the combined effect of (1) non-coordinated collective interactions between the market players and (2) concurrent reactions of market players to dynamic market signals. By interpreting the expected rate of return of an asset and the favorability on that asset as position and velocity in phase space, we construct an agent-based particle model for herding behavior in finance. We then define two types of herding functionals using this model, and show that they satisfy a Gronwall type estimate and a LaSalle type invariance property respectively, leading to the herding behavior of the market players. Various numerical tests are presented to numerically verify these results.


title: Weighted approximation in $\mathbb{C}$

abstract: We prove that if $\{ \varphi_j\}_j$ is a sequence of subharmonic functions which are increasing to some subharmonic function $\varphi$ in $\mathbb{C}$, then the union of all the weighted Hilbert spaces $H(\varphi_j)$ is dense in the weighted Hilbert space $H(\varphi)$.


title: Excited vector mesons: phenomenology and predictions for a yet unknown vector $s\bar{s}$ state with a mass of about 1.93 GeV

abstract: The firm understanding of standard quark-antiquark states (including excited states) is necessary to search for non-conventional mesons with the same quantum numbers. In this work, we study the phenomenology of two nonets of excited vector mesons, which predominantly correspond to radially excited vector mesons with quantum numbers $n$ $^{2S+1}L_{J}=2$ $^{3}S_{1}$ and to orbitally excited vector mesons with quantum numbers $n$~ $^{2S+1}L_{J}=1$ $^{3}D_{1}$. We evaluate the decays of these mesons into two pseudoscalar mesons and into a pseudoscalar and a ground-state vector meson by making use of a relativistic quantum field theoretical model based on flavor symmetry. Moreover, we also study the radiative decays into a photon and a pseudoscalar meson by using vector meson dominance. We compare our results to the PDG and comment on open issues concerning the corresponding measured resonances. Within our approach, we are also able to make predictions for a not-yet discovered $s\bar{s}$ state in the $n$ $^{2S+1}L_{J}=1$ $^{3}D_{1}$ nonet, which has a mass of about 1.93 GeV. This resonance can be searched in the upcoming GlueX and CLAS12 experiments which take place at the Jefferson Lab.


title: Path optimization method for the sign problem

abstract: We propose a path optimization method (POM) to evade the sign problem in the Monte-Carlo calculations for complex actions. Among many approaches to the sign problem, the Lefschetz-thimble path-integral method and the complex Langevin method are promising and extensively discussed. In these methods, real field variables are complexified and the integration manifold is determined by the flow equations or stochastically sampled. When we have singular points of the action or multiple critical points near the original integral surface, however, we have a risk to encounter the residual and global sign problems or the singular drift term problem. One of the ways to avoid the singular points is to optimize the integration path which is designed not to hit the singular points of the Boltzmann weight. By specifying the one-dimensional integration-path as $z=t+if(t) (f\in \mathbb{R})$ and by optimizing $f(t)$ to enhance the average phase factor, we demonstrate that we can avoid the sign problem in a one-variable toy model for which the complex Langevin method is found to fail. In this proceedings, we propose POM and discuss how we can avoid the sign problem in a toy model. We also discuss the possibility to utilize the neural network to optimize the path.


title: Universal Bounds on Operator Dimensions from the Average Null Energy Condition

abstract: We show that the average null energy condition implies novel lower bounds on the scaling dimensions of highly-chiral primary operators in four-dimensional conformal field theories. Denoting the spin of an operator by a pair of integers $(k,\bar{k})$ specifying the transformations under chiral $\frak{su}(2)$ rotations, we explicitly demonstrate these new bounds for operators transforming in $(k,0)$ and $(k,1)$ representations for sufficiently large $k$. Based on these calculations, along with intuition from free field theory, we conjecture that in any unitary conformal field theory, primary local operators of spin $(k,\bar{k})$ and scaling dimension $\Delta$ satisfy $\Delta \geq \text{max}\{k,\bar{k}\}.$ If $|k-\bar{k}| > 4$, this is stronger than the unitarity bound.


title: Robust 3D Action Recognition through Sampling Local Appearances and Global Distributions

abstract: 3D action recognition has broad applications in human-computer interaction and intelligent surveillance. However, recognizing similar actions remains challenging since previous literature fails to capture motion and shape cues effectively from noisy depth data. In this paper, we propose a novel two-layer Bag-of-Visual-Words (BoVW) model, which suppresses the noise disturbances and jointly encodes both motion and shape cues. First, background clutter is removed by a background modeling method that is designed for depth data. Then, motion and shape cues are jointly used to generate robust and distinctive spatial-temporal interest points (STIPs): motion-based STIPs and shape-based STIPs. In the first layer of our model, a multi-scale 3D local steering kernel (M3DLSK) descriptor is proposed to describe local appearances of cuboids around motion-based STIPs. In the second layer, a spatial-temporal vector (STV) descriptor is proposed to describe the spatial-temporal distributions of shape-based STIPs. Using the Bag-of-Visual-Words (BoVW) model, motion and shape cues are combined to form a fused action representation. Our model performs favorably compared with common STIP detection and description methods. Thorough experiments verify that our model is effective in distinguishing similar actions and robust to background clutter, partial occlusions and pepper noise.


title: New simple lattices in products of trees and their projections

abstract: Let $\Gamma \leq \mathrm{Aut}(T_{d_1}) \times \mathrm{Aut}(T_{d_2})$ be a group acting freely and transitively on the product of two regular trees of degree $d_1$ and $d_2$. We develop an algorithm which computes the closure of the projection of $\Gamma$ on $\mathrm{Aut}(T_{d_t})$ under the hypothesis that $d_t \geq 6$ is even and that the local action of $\Gamma$ on $T_{d_t}$ contains $\mathrm{Alt}(d_t)$. We show that if $\Gamma$ is torsion-free and $d_1 = d_2 = 6$, exactly seven closed subgroups of $\mathrm{Aut}(T_6)$ arise in this way. We also construct two new infinite families of virtually simple lattices in $\mathrm{Aut}(T_{6}) \times \mathrm{Aut}(T_{4n})$ and in $\mathrm{Aut}(T_{2n}) \times \mathrm{Aut}(T_{2n+1})$ respectively, for all $n \geq 2$. In particular we provide an explicit presentation of a torsion-free infinite simple group on $5$ generators and $10$ relations, that splits as an amalgamated free product of two copies of $F_3$ over $F_{11}$. We include information arising from computer-assisted exhaustive searches of lattices in products of trees of small degrees. In an appendix by Pierre-Emmanuel Caprace, some of our results are used to show that abstract and relative commensurator groups of free groups are almost simple, providing partial answers to questions of Lubotzky and Lubotzky-Mozes-Zimmer.


title: Optothermally Controlled Charge Transfer Plasmons in Au-Ge2Sb2Te5 Core-Shell Assemblies

abstract: Tunable plasmonic resonances across the visible and near infrared spectra have provided novel ways to develop next-generation nanophotonic devices. In this study, by using optothermally controllable phase-changing material (PCM), we successfully induced highly tunable charge transfer plasmon (CTP) resonance modes. To this end, we have designed a two-member dimer assembly including gold cores and Ge2Sb2Te5 (GST) shells in distant, touching, and overlapping conditions. We successfully demonstrated that toggling between amorphous (dielectric) and crystalline (conductive) phases of GST allows for achieving tunable dipolar and CTP resonances along the near-infrared spectrum. The proposed dimer structures can help forming optothermally controlled devices without further geometrical variations in the geometry of the design, and having strong potential for advanced plasmon modulation and fast data routing.


title: The mind as a computational system

abstract: The present document is an excerpt of an essay that I wrote as part of my application material to graduate school in Computer Science (with a focus on Artificial Intelligence), in 1986. I was not invited by any of the schools that received it, so I became a theoretical physicist instead. The essay's full title was "Some Topics in Philosophy and Computer Science". I am making this text (unchanged from 1985, preserving the typesetting as much as possible) available now in memory of Jerry Fodor, whose writings had influenced me significantly at the time (even though I did not always agree).


title: Stochastic simulation of destruction processes in self-irradiated materials

abstract: Self-irradiation damages resulting from fission processes are common phenomena observed in nuclear fuel containing (NFC) materials. Numerous $\alpha$-decays lead to local structure transformations in NFC materials. The damages appearing due to the impacts of heavy nuclear recoils in the subsurface layer can cause detachments of material particles. Such a behaviour is similar to sputtering processes observed during a bombardment of the material surface by a flux of energetic particles. However, in the NFC material, the impacts are initiated from the bulk. In this work we propose a two-dimensional mesoscopic model to perform a stochastic simulation of the destruction processes occurring in a subsurface region of NFC material. We describe the erosion of the material surface, the evolution of its roughness and predict the detachment of the material particles. Size distributions of the emitted particles are obtained in this study. The simulation results of the model are in a qualitative agreement with the size histogram of particles produced from the material containing lava-like fuel formed during the Chernobyl nuclear power plant disaster.


title: Resonant inelastic x-ray scattering probes the electron-phonon coupling in the spin-liquid kappa-(BEDT-TTF)2Cu2(CN)3

abstract: Resonant inelastic x-ray scattering at the N K edge reveals clearly resolved harmonics of the anion plane vibrations in the kappa-(BEDT-TTF)2Cu2(CN)3 spin-liquid insulator. Tuning the incoming light energy at the K edge of two distinct N sites permits to excite different sets of phonon modes. Cyanide CN stretching mode is selected at the edge of the ordered N sites which are more strongly connected to the BEDT-TTF molecules, while positionally disordered N sites show multi-mode excitation. Combining measurements with calculations on an anion plane cluster permits to estimate the sitedependent electron-phonon coupling of the modes related to nitrogen excitation.


title: Magnetocaloric Effect and Magnetic refrigeration: analytic and numeric study

abstract: This work aims to present an analytical and numerical study of the magnetocaloric effects (MCE) providing realistic proposals about materials that should be chosen in the design of new refrigerator appliances around the room temperature. Starting from a spin Hamiltonian including the exchange interaction, the single-ion anisotropy and the applied magnetic field terms, we have calculated the partition function at a given temperature and derived a set of relevant physical quantities as magnetization, magnetic entropy and specific heat and analyzed their behavior with atomic parameters as spin, exchange and anisotropy. Using numerical programs that we developed by ourselves, we were able to better elucidate the role of each microscopic parameter in order to reinforce the relative cooling power (RCP) and give rise to optimal performances of the refrigerant compound. This approach could be extended to composite materials underscoring a giant MCE at room temperature. Key-words Magnetic refrigeration, Magnetocaloric Effect, Energy efficiency, Spin Hamiltonian


title: Generalized Grounding Graphs: A Probabilistic Framework for Understanding Grounded Commands

abstract: Many task domains require robots to interpret and act upon natural language commands which are given by people and which refer to the robot's physical surroundings. Such interpretation is known variously as the symbol grounding problem, grounded semantics and grounded language acquisition. This problem is challenging because people employ diverse vocabulary and grammar, and because robots have substantial uncertainty about the nature and contents of their surroundings, making it difficult to associate the constitutive language elements (principally noun phrases and spatial relations) of the command text to elements of those surroundings. Symbolic models capture linguistic structure but have not scaled successfully to handle the diverse language produced by untrained users. Existing statistical approaches can better handle diversity, but have not to date modeled complex linguistic structure, limiting achievable accuracy. Recent hybrid approaches have addressed limitations in scaling and complexity, but have not effectively associated linguistic and perceptual features. Our framework, called Generalized Grounding Graphs (G^3), addresses these issues by defining a probabilistic graphical model dynamically according to the linguistic parse structure of a natural language command. This approach scales effectively, handles linguistic diversity, and enables the system to associate parts of a command with the specific objects, places, and events in the external world to which they refer. We show that robots can learn word meanings and use those learned meanings to robustly follow natural language commands produced by untrained users. We demonstrate our approach for both mobility commands and mobile manipulation commands involving a variety of semi-autonomous robotic platforms, including a wheelchair, a micro-air vehicle, a forklift, and the Willow Garage PR2.


title: Accelerated motion and the self-force in Schwarzschild spacetime

abstract: We provide expansions of the Detweiler-Whiting singular field for motion along arbitrary, planar accelerated trajectories in Schwarzschild spacetime. We transcribe these results into mode-sum regularization parameters, computing previously unknown terms that increase the convergence rate of the mode-sum. We test our results by computing the self-force along a variety of accelerated trajectories. For non-uniformly accelerated circular orbits we present results from a new 1+1D discontinuous Galerkin time-domain code which employs an effective-source. We also present results for uniformly accelerated circular orbits and accelerated bound eccentric orbits computed within a frequency-domain treatment. Our regularization results will be useful for computing self-consistent self-force inspirals where the particle's worldline is accelerated with respect to the background spacetime.


title: Multiscale modelling and homogensation of fibre-reinforced hydrogels for tissue engineering

abstract: Tissue engineering aims to grow artificial tissues \emph{in vitro} to replace those in the body that have been damaged through age, trauma or disease. A recent approach to engineer artificial cartilage involves seeding cells within a scaffold consisting of an interconnected 3D-printed lattice of polymer fibres combined with a cast or printed hydrogel, and subjecting the construct (cell-seeded scaffold) to an applied load in a bioreactor. A key question is to understand how the applied load is distributed throughout the construct. To address this, we employ homogenisation theory to derive equations governing the effective macroscale material properties of a periodic, elastic-poroelastic composite. We treat the fibres as a linear elastic material and the hydrogel as a poroelastic material, and exploit the disparate length scales (small inter-fibre spacing compared with construct dimensions) to derive macroscale equations governing the response of the composite to an applied load. This homogenised description reflects the orthotropic nature of the composite. To validate the model, solutions from finite element simulations of the macroscale, homogenised equations are compared to experimental data describing the unconfined compression of the fibre-reinforced hydrogels. The model is used to derive the bulk mechanical properties of a cylindrical construct of the composite material for a range of fibre spacings, and to determine the local mechanical environment experienced by cells embedded within the construct.


title: Electrooxidation of a cobalt based steel in LiOH: a non-noble metal based electro-catalyst suitable for durable water-splitting in an acidic milieu

abstract: The use of proton exchange membrane (PEM) electrolyzers is the method of choice for the conversion of solar energy when frequently occurring changes of the current load are an issue. However, this technique requires electrolytes with low pH. All oxygen evolving electrodes working durably and actively in acids contain IrOx. Due to their scarcity and high acquisition costs, noble elements like Pt, Ru and Ir need to be replaced by earth abundant elements. We have evaluated a cobalt containing steel for use as an oxygen-forming electrode in H2SO4. We found that the dissolving of ingredients out of the steel electrode at oxidative potential in sulfuric acid, which is a well-known, serious issue, can be substantially reduced when the steel is electro-oxidized in LiOH prior to electrocatalysis. Under optimized synthesis conditions a cobalt-containing tool steel was rendered into a durable oxygen evolution reaction (OER) electrocatalyst (weight loss: 39 mug mm-2 after 50 000 s of chronopotentiometry at pH 1) that exhibits overpotentials down to 574 mV at 10 mA cm-2 current density at pH 1. Focused ion beam SEM FIB-SEM) was successfully used to create a structure-stability relationship.


title: Two null gravitational cones in the theory of GPS-intersatellite communications between two moving satellites. I. Physical and mathematical theory of the space-time interval and the geodesic distance on intersecting null cones

abstract: Several space missions such as GRACE, GRAIL, ACES and others rely on intersatellite communications (ISC) between two satellites at a large distance one from another. The main goal of the theory is to formulate all the navigation observables within the General Relativity Theory. The same approach should be applied also to the intersatellite GPS-communications (in perspective also between the GPS, GLONASS and Galileo satellite constellations). In this paper a theoretical approach has been developed for ISC between two satellites moving on (one-plane) elliptical orbits, based on the introduction of two gravity null cones with origins at the emitting-signal and receiving-signal satellites. The two null cones account for the variable distance between the satellites during their uncorrelated motion.The intersection of the two null cones defines a distance, which can be found from a differential equation in full derivatives. This distance is the space-time interval in GRT. Applying some theorems from higher algebra, it was proved that this space-time distance can become zero, consequently it can be also negative and positive. But in order to represent the geodesic distance travelled by the signal, the space-time interval has to be "compatible" with the Euclidean distance. So this "compatibility condition", conditionally called "condition for ISC", is the most important consequence of the theory. The other important consequence is that the geodesic distance turns out to be the space-time interval, but with account also of the "condition for ISC". This interpretation enables the strict mathematical proof that the geodesic distance is greater than the Euclidean distance - a result, entirely based on the "two null cones approach" and moreover, without any use of the Shapiro delay formulae. Consistency between several other newly derived numerical parameters is noted.


title: Moving-target Defense against Botnet Reconnaissance and an Adversarial Coupon-Collection Model

abstract: We consider a cloud based multiserver system consisting of a set of replica application servers behind a set of proxy (indirection) servers which interact directly with clients over the Internet. We study a proactive moving-target defense to thwart a DDoS attacker's reconnaissance phase and consequently reduce the attack's impact. The defense is effectively a moving-target (motag) technique in which the proxies dynamically change. The system is evaluated using an AWS prototype of HTTP redirection and by numerical evaluations of an adversarial coupon-collector mathematical model, the latter allowing larger-scale extrapolations.


title: Performance Heuristics for GR(1) Synthesis and Related Algorithms

abstract: Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this workshop paper we present and evaluate a list of heuristics to potentially reduce running times for GR(1) synthesis and related algorithms. The list includes early detection of fixed-points and unrealizability, fixed-point recycling, and heuristics for unrealizable core computations. We evaluate the presented heuristics on SYNTECH15, a total of 78 specifications of 6 autonomous Lego robots, written by 3rd year undergraduate computer science students in a project class we have taught, as well as on several benchmarks from the literature. The evaluation investigates not only the potential of the suggested heuristics to improve computation times, but also the difference between existing benchmarks and the robot's specifications in terms of the effectiveness of the heuristics.


title: Calculation of secondary electron emission yields from low-energy electron deposition in tungsten surfaces

abstract: We present calculations of secondary electron emission (SEE) yields in tungsten as a function of primary electron energies between 50 eV and 1 keV and incidence angles between 0 and 90{\deg}. We conduct a review of the established Monte Carlo methods to simulate multiple electron scattering in solids and select the best suited to study SEE in high-Z metals. We generate secondary electron yield and emission energy functions of the incident energy and angle and fit them to bivariate fitting functions using symbolic regression. We compare the numerical results with experimental data, with good agreement found. Our calculations are the first step towards studying SEE in nanoarchitected surfaces for electric propulsion chamber walls.


title: On generalized shift transformation semigroups

abstract: In the following text we prove that for finite discrete $X$ with at least two elements and infinite $\Gamma$, the generalized shift transformation semigroup $({\mathcal S},X^\Gamma)$ is equicontinuous (resp. has at least an equicontinuous point, is not sensitive) if and only if for all $w\in\Gamma$, $\{\varphi(w):\sigma_\varphi\in{\mathcal S}\}$ is finite. We continue our study regarding distality and expansivity of $({\mathcal S},X^\Gamma)$.


title: Transferring Autonomous Driving Knowledge on Simulated and Real Intersections

abstract: We view intersection handling on autonomous vehicles as a reinforcement learning problem, and study its behavior in a transfer learning setting. We show that a network trained on one type of intersection generally is not able to generalize to other intersections. However, a network that is pre-trained on one intersection and fine-tuned on another performs better on the new task compared to training in isolation. This network also retains knowledge of the prior task, even though some forgetting occurs. Finally, we show that the benefits of fine-tuning hold when transferring simulated intersection handling knowledge to a real autonomous vehicle.


title: On the moduli spaces of metrics with nonnegative sectional curvature

abstract: The Kreck-Stolz s invariant is used to distinguish connected components of the moduli space of positive scalar curvature metrics. We use a formula of Kreck and Stolz to calculate the s invariant for metrics on S^n bundles with nonnegative sectional curvature. We then apply it to show that the moduli spaces of metrics with nonnegative sectional curvature on certain 7-manifolds have infinitely many path components. These include the first non-homogeneous examples of this type and certain positively curved Eschenburg and Aloff-Wallach spaces.


title: Sparse recovery of undersampled intensity patterns for coherent diffraction imaging at high X-ray energies

abstract: Coherent X-ray photons with energies higher than 50 keV offer new possibilities for imaging nanoscale lattice distortions in bulk crystalline materials using Bragg peak phase retrieval methods. However, the compression of reciprocal space at high energies typically results in poorly resolved fringes on an area detector, rendering the diffraction data unsuitable for the three-dimensional reconstruction of compact crystals. To address this problem, we propose a method by which to recover fine fringe detail in the scattered intensity. This recovery is achieved in two steps: multiple undersampled measurements are made by in-plane sub-pixel motion of the area detector, then this data set is passed to a sparsity-based numerical solver that recovers fringe detail suitable for standard Bragg coherent diffraction imaging (BCDI) reconstruction methods of compact single crystals. The key insight of this paper is that sparsity in a BCDI data set can be enforced by recognising that the signal in the detector, though poorly resolved, is band-limited. This requires fewer in-plane detector translations for complete signal recovery, while adhering to information theory limits. We use simulated BCDI data sets to demonstrate the approach, outline our sparse recovery strategy, and comment on future opportunities.


title: Local coefficients and the Herbert Formula

abstract: We discuss a generalisation of the Herbert formula for double points, when the normal bundle of an immersion admits an additional structure, and an application.


title: Intrinsic localized modes in two atomic chain; reduction of cubic anharmonicity for gap modes

abstract: Analytical theory of large size intrinsic localized modes (ILMs) in anharmonic two-atomic chain is presented. It is shown that ILMs with frequencies close to the borders of phonon gap are govern by quartic anharmonicity while the effect of cubic anharmonicity is essentially reduced. This reduction effect is a consequence of small amplitude of vibrations of every second atom. As a result, an ILM cannot split down from the optical phonon band, in contradiction with the commonly accepted point of view. But it can spit up from the top of the acoustic phonon band making possible the existence of the ILM with the frequencies above the top of this band. It is predicted that analogous reduction of cubic anharmonicity should exist generally for even ILMs with the middle atom being at rest; it may allow the existence of ILMs with the frequencies above the top of the phonon spectrum in different lattices with realistic atomic pair-potentials.


title: An End-to-end 3D Convolutional Neural Network for Action Detection and Segmentation in Videos

abstract: In this paper, we propose an end-to-end 3D CNN for action detection and segmentation in videos. The proposed architecture is a unified deep network that is able to recognize and localize action based on 3D convolution features. A video is first divided into equal length clips and next for each clip a set of tube proposals are generated based on 3D CNN features. Finally, the tube proposals of different clips are linked together and spatio-temporal action detection is performed using these linked video proposals. This top-down action detection approach explicitly relies on a set of good tube proposals to perform well and training the bounding box regression usually requires a large number of annotated samples. To remedy this, we further extend the 3D CNN to an encoder-decoder structure and formulate the localization problem as action segmentation. The foreground regions (i.e. action regions) for each frame are segmented first then the segmented foreground maps are used to generate the bounding boxes. This bottom-up approach effectively avoids tube proposal generation by leveraging the pixel-wise annotations of segmentation. The segmentation framework also can be readily applied to a general problem of video object segmentation. Extensive experiments on several video datasets demonstrate the superior performance of our approach for action detection and video object segmentation compared to the state-of-the-arts.


title: Fluctuation of the entropy production for the Lorentz gas under small external forces

abstract: In this paper we study the physical and statistical properties of the periodic Lorentz gas with finite horizon driven to a non-equilibrium steady state by the combination of non-conservative external forces and deterministic thermostats. A version of this model was introduced by Chernov, Eyink, Lebowitz, and Sinai and subsequently generalized by Chernov and the third author. Non-equilibrium steady states for these models are SRB measures and they are characterized by the positivity of the steady state entropy production rate. Our main result is to establish that the entropy production, in this context equal to the phase space contraction, satisfies the Gallavotti-Cohen fluctuation relation. The main tool needed in the proof is the family of anisotropic Banach spaces introduced by the first and third authors to study the ergodic and statistical properties of billiards using transfer operator techniques.


title: Layer by layer - Combining Monads

abstract: We develop a method to incrementally construct programming languages. Our approach is categorical: each layer of the language is described as a monad. Our method either (i) concretely builds a distributive law between two monads, i.e. layers of the language, which then provides a monad structure to the composition of layers, or (ii) identifies precisely the algebraic obstacles to the existence of a distributive law and gives a best approximant language. The running example will involve three layers: a basic imperative language enriched first by adding non-determinism and then probabilistic choice. The first extension works seamlessly, but the second encounters an obstacle, which results in a best approximant language structurally very similar to the probabilistic network specification language ProbNetKAT.


title: A Sun-to-Earth analysis of magnetic helicity of the 17-18 March 2013 interplanetary coronal mass ejection

abstract: We compare the magnetic helicity in the 17-18 March 2013 interplanetary coronal mass ejection (ICME) flux-rope at 1 AU and in its solar counterpart. The progenitor coronal mass ejection (CME) erupted on 15 March 2013 from NOAA active region 11692 and associated with an M1.1 flare. We derive the source region reconnection flux using post-eruption arcade (PEA) method (Gopalswamy et al. 2017a) that uses the photospheric magnetogram and the area under the PEA. The geometrical properties of the near-Sun flux rope is obtained by forward-modeling of white-light CME observations. Combining the geometrical properties and the reconnection flux we extract the magnetic properties of the CME flux rope (Gopalswamy et al. 2017b). We derive the magnetic helicity of the flux rope using its magnetic and geometric properties obtained near the Sun and at 1 AU. We use a constant-{\alpha} force-free cylindrical flux rope model fit to the in situ observations in order to derive the magnetic and geometric information of the 1-AU ICME. We find a good correspondence in both amplitude and sign of the helicity between the ICME and the CME assuming a semi-circular (half torus) ICME flux rope with a length of {\pi} AU. We find that about 83% of the total flux rope helicity at 1 AU is injected by the magnetic reconnection in the low corona. We discuss the effect of assuming flux rope length in the derived value of the magnetic helicity. This study connecting the helicity of magnetic flux ropes through the Sun-Earth system has important implications for the origin of helicity in the interplanetary medium and the topology of ICME flux ropes at 1 AU and hence their space weather consequences.


title: Study of Robust Distributed Beamforming Based on Cross-Correlation and Subspace Projection Techniques

abstract: In this work, we present a novel robust distributed beamforming (RDB) approach to mitigate the effects of channel errors on wireless networks equipped with relays based on the exploitation of the cross-correlation between the received data from the relays at the destination and the system output. The proposed RDB method, denoted cross-correlation and subspace projection (CCSP) RDB, considers a total relay transmit power constraint in the system and the objective of maximizing the output signal-to-interference-plus-noise ratio (SINR). The relay nodes are equipped with an amplify-and-forward (AF) protocol and we assume that the channel state information (CSI) is imperfectly known at the relays and there is no direct link between the sources and the destination. The CCSP does not require any costly optimization procedure and simulations show an excellent performance as compared to previously reported algorithms.


title: The changing source of X-ray reflection in the radio-intermediate Seyfert 1 galaxy III Zw 2

abstract: We report on X-ray observations of the radio-intermediate, X-ray bright Seyfert 1 galaxy, III Zw 2, obtained with XMM-Newton, Suzaku, and Swift over the past 17-years. The source brightness varies significantly over yearly time scales, but more modestly over periods of days. Pointed observations with XMM-Newton in 2000 and Suzaku in 2011 show spectral differences despite comparable X-ray fluxes. The Suzaku spectra are consistent with a power law continuum and a narrow Gaussian emission feature at ~6.4 keV, whereas the earlier XMM-Newton spectrum requires a broader Gaussian profile and soft-excess below ~2 keV. A potential interpretation is that the primary power law emission, perhaps from a jet base, preferentially illuminates the inner accretion disc in 2000, but the distant torus in 2011. The interpretation could be consistent with the hypothesised precessing radio jet in III Zw 2 that may have originated from disc instabilities due to an ongoing merging event.


title: Related families-based attribute reduction of dynamic covering information systems with variations of object sets

abstract: In practice, there are many dynamic covering decision information systems, and knowledge reduction of dynamic covering decision information systems is a significant challenge of covering-based rough sets. In this paper, we first study mechanisms of constructing attribute reducts for consistent covering decision information systems when adding objects using related families. We also employ examples to illustrate how to construct attribute reducts of consistent covering decision information systems when adding objects. Then we investigate mechanisms of constructing attribute reducts for consistent covering decision information systems when deleting objects using related families. We also employ examples to illustrate how to construct attribute reducts of consistent covering decision information systems when deleting objects. Finally, the experimental results illustrates that the related family-based methods are effective to perform attribute reduction of dynamic covering decision information systems when object sets are varying with time.


title: Structured Light by linking together diffraction-resistant spatially shaped beams: "LEGO-BEAMS"

abstract: In this paper we present a theoretical method, together with its experimental confirmation, to obtain structures of light by connecting diffraction-resistant cylindrical beams of finite lengths and different radii. The resulting "Lego-beams" can assume, on demand, various unprecedented spatial configurations. We also experimentally generate some of them on using a computational holographic technique and a spatial light modulator. Our new, interesting method of linking together various "pieces of light" can find applications in all fields where structured light beams are needed: in particular, such as optical tweezers, e.g. for biological manipulations, optical guiding of atoms, light orbital angular momentum control, holography, lithography, non-linear-optics, interaction of electromagnetic radiation with Bose-Einstein condensates, and so on, besides the field in general of Localized Waves (non-diffracting beams and pulses).