title: Universality of Computational Lower Bounds for Submatrix Detection

abstract: In the general submatrix detection problem, the task is to detect the presence of a small $k \times k$ submatrix with entries sampled from a distribution $\mathcal{P}$ in an $n \times n$ matrix of samples from $\mathcal{Q}$. This formulation includes a number of well-studied problems, such as biclustering when $\mathcal{P}$ and $\mathcal{Q}$ are Gaussians and the planted dense subgraph formulation of community detection when the submatrix is a principal minor and $\mathcal{P}$ and $\mathcal{Q}$ are Bernoulli random variables. These problems all seem to exhibit a universal phenomenon: there is a statistical-computational gap depending on $\mathcal{P}$ and $\mathcal{Q}$ between the minimum $k$ at which this task can be solved and the minimum $k$ at which it can be solved in polynomial time. Our main result is to tightly characterize this computational barrier as a tradeoff between $k$ and the KL divergences between $\mathcal{P}$ and $\mathcal{Q}$ through average-case reductions from the planted clique conjecture. These computational lower bounds hold given mild assumptions on $\mathcal{P}$ and $\mathcal{Q}$ arising naturally from classical binary hypothesis testing. Our results recover and generalize the planted clique lower bounds for Gaussian biclustering in Ma-Wu (2015) and Brennan et al. (2018) and for the sparse and general regimes of planted dense subgraph in Hajek et al. (2015) and Brennan et al. (2018). This yields the first universality principle for computational lower bounds obtained through average-case reductions.


title: Extreme contractions on finite-dimensional polygonal Banach spaces-II

abstract: We introduce the concept of weak L-P property for a pair of Banach spaces, in the study of extreme contractions. We give examples of pairs of Banach spaces (not) satisfying weak L-P property and apply the concept to compute the exact number of extreme contractions between a particular pair of polygonal Banach spaces. We also study the optimality of our results on the newly introduced weak L-P property for a pair of Banach spaces, by considering appropriate examples.


title: Explaining a black-box using Deep Variational Information Bottleneck Approach

abstract: Interpretable machine learning has gained much attention recently. Briefness and comprehensiveness are necessary in order to provide a large amount of information concisely when explaining a black-box decision system. However, existing interpretable machine learning methods fail to consider briefness and comprehensiveness simultaneously, leading to redundant explanations. We propose the variational information bottleneck for interpretation, VIBI, a system-agnostic interpretable method that provides a brief but comprehensive explanation. VIBI adopts an information theoretic principle, information bottleneck principle, as a criterion for finding such explanations. For each instance, VIBI selects key features that are maximally compressed about an input (briefness), and informative about a decision made by a black-box system on that input (comprehensive). We evaluate VIBI on three datasets and compare with state-of-the-art interpretable machine learning methods in terms of both interpretability and fidelity evaluated by human and quantitative metrics


title: 2D LiDAR Map Prediction via Estimating Motion Flow with GRU

abstract: It is a significant problem to predict the 2D LiDAR map at next moment for robotics navigation and path-planning. To tackle this problem, we resort to the motion flow between adjacent maps, as motion flow is a powerful tool to process and analyze the dynamic data, which is named optical flow in video processing. However, unlike video, which contains abundant visual features in each frame, a 2D LiDAR map lacks distinctive local features. To alleviate this challenge, we propose to estimate the motion flow based on deep neural networks inspired by its powerful representation learning ability in estimating the optical flow of the video. To this end, we design a recurrent neural network based on gated recurrent unit, which is named LiDAR-FlowNet. As a recurrent neural network can encode the temporal dynamic information, our LiDAR-FlowNet can estimate motion flow between the current map and the unknown next map only from the current frame and previous frames. A self-supervised strategy is further designed to train the LiDAR-FlowNet model effectively, while no training data need to be manually annotated. With the estimated motion flow, it is straightforward to predict the 2D LiDAR map at the next moment. Experimental results verify the effectiveness of our LiDAR-FlowNet as well as the proposed training strategy. The results of the predicted LiDAR map also show the advantages of our motion flow based method.


title: Characterizations of majority categories

abstract: In universal algebra, it is well known that varieties admitting a majority term admit several Mal'tsev-type characterizations. The main aim of this paper is to establish categorical counterparts of some of these characterizations for regular categories. We prove a categorical version of Bergman's Double-projection Theorem: a regular category is a majority category if and only if every subobject $S$ of a finite product $A_1 \times A_2 \times \cdots \times A_n$ is uniquely determined by its two-fold projections. We also establish a categorical counterpart of the Pairwise Chinese Remainder Theorem for algebras, and characterize regular majority categories by the classical congruence equation $\alpha \cap (\beta \circ \gamma) = (\alpha \cap \beta) \circ (\alpha \cap \gamma)$ due to A.F.~Pixley.


title: Weak Localization and Antilocalization in Nodal-Line Semimetals: Dimensionality and Topological Effects

abstract: New materials such as nodal-line semimetals offer a unique setting for novel transport phenomena. Here, we calculate the quantum correction to conductivity in a disordered nodal-line semimetal. The torus-shaped Fermi surface and encircled $\pi$ Berry flux carried by the nodal loop result in a fascinating interplay between the effective dimensionality of electron diffusion and band topology, which depends on the scattering range of the impurity potential relative to the size of the nodal loop. For a short-range impurity potential, backscattering is dominated by the interference paths that do not encircle the nodal loop, yielding a 3D weak localization effect. In contrast, for a long-range impurity potential, the electrons effectively diffuse in various 2D planes and the backscattering is dominated by the interference paths that encircle the nodal loop. The latter, leads to weak antilocalization with a 2D scaling law. Our results are consistent with symmetry consideration, where the two regimes correspond to the orthogonal and symplectic classes, respectively. Furthermore, we present weak-field magnetoconductivity calculations at low temperatures for realistic experimental parameters, and predict that clear scaling signatures $\propto\sqrt{B}$ and $\propto -\ln B$, respectively. The crossover between the 3D weak localization and 2D weak antilocalization can be probed by tuning the Fermi energy, giving a unique transport signature of the nodal-line semimetal.


abstract: Near a continuous phase transition, systems with different microscopic origins display universal dynamics if their underlying symmetries are compatible. In a thermally quenched system, the Kibble-Zurek mechanism for the creation of topological defects unveils this universality through a characteristic power-law exponent, which captures the dependence of the defect density on the quench rate. Here, we report the observation of the Kibble-Zurek universality in a strongly interacting Fermi superfluid. As the system's microscopic description is tuned from bosonic to fermionic, the quench formation of vortices reveals a constant scaling exponent arising from the $U(1)$ gauge symmetry of the system. For rapid quenches, destructive vortex collisions lead to the saturation of their densities, whose values can be universally scaled by the interaction-dependent area of the vortex cores.


title: Using Conditional Generative Adversarial Networks to Generate Ground-Level Views From Overhead Imagery

abstract: This paper develops a deep-learning framework to synthesize a ground-level view of a location given an overhead image. We propose a novel conditional generative adversarial network (cGAN) in which the trained generator generates realistic looking and representative ground-level images using overhead imagery as auxiliary information. The generator is an encoder-decoder network which allows us to compare low- and high-level features as well as their concatenation for encoding the overhead imagery. We also demonstrate how our framework can be used to perform land cover classification by modifying the trained cGAN to extract features from overhead imagery. This is interesting because, although we are using this modified cGAN as a feature extractor for overhead imagery, it incorporates knowledge of how locations look from the ground.


title: Anomaly Detection with Adversarial Dual Autoencoders

abstract: Semi-supervised and unsupervised Generative Adversarial Networks (GAN)-based methods have been gaining popularity in anomaly detection task recently. However, GAN training is somewhat challenging and unstable. Inspired from previous work in GAN-based image generation, we introduce a GAN-based anomaly detection framework - Adversarial Dual Autoencoders (ADAE) - consists of two autoencoders as generator and discriminator to increase training stability. We also employ discriminator reconstruction error as anomaly score for better detection performance. Experiments across different datasets of varying complexity show strong evidence of a robust model that can be used in different scenarios, one of which is brain tumor detection.


title: Spin-wave mediated interactions for Majority Computation using Skyrmions and Spin-torque Nano-oscillators

abstract: Recent progress in all-electrical nucleation, detection and manipulation of magnetic skyrmions has unlocked the tremendous potential of skyrmion-based spintronic devices. Here, we show via micromagnetic simulations that the stable magnetic oscillations of STNO radiate spin waves (SWs) that can be scattered in the presence of skyrmions in the near vicinity. Interference between SWs emitted by the STNO and SWs scattered by the skyrmion gives rise to interesting dynamics that leads to amplification or attenuation of STNO's magnetic oscillations. In the presence of strong Dzyaloshinskii-Moriya interaction (DMI), the amplified magnetic oscillations evolve into a new skyrmion. These interactions between skyrmions and STNOs are found to be identical for both Neel-type and Bloch-type skyrmions, and are not observed between domain walls and STNOs. These findings offer a novel perspective in processing information using single skyrmions and we propose a 3-bit majority gate for logic applications.


title: Large optical depth frequency modulation spectroscopy

abstract: Band-resolved frequency modulation spectroscopy is a common method to measure weak signals of radiative ensembles. When the optical depth of the medium is large, the signal drops exponentially and the technique becomes ineffective. In this situation, we show that a signal can be recovered when a larger modulation index is applied. Noticeably, this signal can be dominated by the natural linewidth of the resonance, regardless of the presence of inhomogeneous line broadening. We implement this technique on a cesium vapor, and then explore its main spectroscopic features. This work opens the road towards measurement of cooperative emission effects in bulk atomic ensemble.


title: Predicting tongue motion in unlabeled ultrasound videos using convolutional LSTM neural network

abstract: A challenge in speech production research is to predict future tongue movements based on a short period of past tongue movements. This study tackles speaker-dependent tongue motion prediction problem in unlabeled ultrasound videos with convolutional long short-term memory (ConvLSTM) networks. The model has been tested on two different ultrasound corpora. ConvLSTM outperforms 3-dimensional convolutional neural network (3DCNN) in predicting the 9\textsuperscript{th} frames based on 8 preceding frames, and also demonstrates good capacity to predict only the tongue contours in future frames. Further tests reveal that ConvLSTM can also learn to predict tongue movements in more distant frames beyond the immediately following frames. Our codes are available at: https://github.com/shuiliwanwu/ConvLstm-ultrasound-videos.


title: CFTs on curved spaces

abstract: We study conformal field theories (CFTs) on curved spaces including both orientable and unorientable manifolds possibly with boundaries. We first review conformal transformations on curved manifolds. We then compute the identity components of conformal groups acting on various metric spaces using a simple fact; given local coordinate systems be single-valued. Boundary conditions thus obtained which must be satisfied by conformal Killing vectors (CKVs) correctly reproduce known conformal groups. As a byproduct, on $\mathbb S^1_l\times\mathbb H^2_r$, by setting their radii $l=Nr$ with $N\in\mathbb N^\times$, we find (the identity component of) the conformal group enhances, whose persistence in higher dimensions is also argued. We also discuss forms of correlation functions on these spaces using the symmetries. Finally, we study a $d$-torus $\mathbb T^d$ in detail, and show the identity component of the conformal group acting on the manifold in general is given by $\text{Conf}_0(\mathbb T^d)\simeq U(1)^d$ when $d\ge2$. Using the fact, we suggest some candidates of conformal manifolds of CFTs on $\mathbb T^d$ without assuming the presence of supersymmetry (SUSY). In order to clarify which parts of correlation functions are physical, we also discuss renormalization group (RG) and local counterterms on curved spaces.


title: Evaporative cooling and self-thermalization in an open system of interacting fermions

abstract: We study depletion dynamics of an open system of weakly interacting fermions with two-body random interactions. In this model fermions are escaping from the high-energy one-particle orbitals, that mimics the evaporation process used in laboratory experiments with neutral atoms to cool them to ultra-low temperatures. It is shown that due to dynamical thermalization the system instantaneously adjusts to the new chemical potential and temperature, so that occupation numbers of the one-particle orbitals always obey the Fermi-Dirac distribution. In this way we are able to describe the evaporation process which leads to a significant cooling of particles remaining inside the system. We also briefly discuss the evaporation process in the SYK black hole model that corresponds to strongly interacting fermions.


title: Uncertainty relations for time-delayed Langevin systems

abstract: The thermodynamic uncertainty relation, which establishes a universal trade-off between nonequilibrium current fluctuations and dissipation, has been found for various Markovian systems. However, this relation has not been revealed for non-Markovian systems; therefore, we investigate the thermodynamic uncertainty relation for time-delayed Langevin systems. We prove that the fluctuation of arbitrary dynamical observables is constrained by the Kullback--Leibler divergence between the distributions of the forward path and its reversed counterpart. Specifically, for observables that are antisymmetric under time reversal, the fluctuation is bounded from below by a function of a quantity that can be identified as a generalization of the total entropy production in Markovian systems. We also provide a lower bound for arbitrary observables that are odd under position reversal. The term in this bound reflects the extent to which the position symmetry has been broken in the system and can be positive even in equilibrium. Our results hold for finite observation times and a large class of time-delayed systems because detailed underlying dynamics are not required for the derivation. We numerically verify the derived uncertainty relations using two single time-delay systems and one distributed time-delay system.


title: On the consistency of supervised learning with missing values

abstract: In many application settings, the data have missing entries which make analysis challenging. An abundant literature addresses missing values in an inferential framework: estimating parameters and their variance from incomplete tables. Here, we consider supervised-learning settings: predicting a target when missing values appear in both training and testing data. We show the consistency of two approaches in prediction. A striking result is that the widely-used method of imputing with a constant, such as the mean prior to learning is consistent when missing values are not informative. This contrasts with inferential settings where mean imputation is pointed at for distorting the distribution of the data. That such a simple approach can be consistent is important in practice. We also show that a predictor suited for complete observations can predict optimally on incomplete data, through multiple imputation. Finally, to compare imputation with learning directly with a model that accounts for missing values, we analyze further decision trees. These can naturally tackle empirical risk minimization with missing values, due to their ability to handle the half-discrete nature of incomplete variables. After comparing theoretically and empirically different missing values strategies in trees, we recommend using the "missing incorporated in attribute" method as it can handle both non-informative and informative missing values.


title: The diameter of products of finite simple groups

abstract: Following partially a suggestion by Pyber, we prove that the diameter of a product of non-abelian finite simple groups is bounded linearly by the maximum diameter of its factors. For completeness, we include the case of abelian factors and give explicit constants in all bounds.


title: A Quasi-random Algorithm for Anonymous Rendezvous in Heterogeneous Cognitive Radio Networks

abstract: The multichannel rendezvous problem that asks two secondary users to rendezvous on a common available channel in a cognitive radio network (CRN) has received a lot of attention lately. Most rendezvous algorithms in the literature focused on constructing channel hopping (CH) sequences that guarantee finite maximum time-to-rendezvous (MTTR). However, these algorithms perform rather poorly in terms of the expected time-to-rendezvous (ETTR) even when compared to the simple random algorithm. In this paper, we propose the quasi-random (QR) CH algorithm that has a comparable ETTR to the random algorithm and a comparable MTTR to the best bound in the literature. Our QR algorithm does not require the unique identifier (ID) assumption and it is very simple to implement in the symmetric, asynchronous, and heterogeneous setting with multiple radios. In a CRN with $N$ commonly labelled channels, the MTTR of the QR algorithm is bounded above by $9 M \lceil n_1/m_1 \rceil \cdot \lceil n_2/m_2 \rceil$ time slots, where $n_1$ (resp. $n_2$) is the number of available channels to user $1$ (resp. 2), $m_1$ (resp. $m_2$) is the number of radios for user $1$ (resp. 2), and $M=\lceil \lceil \log_2 N \rceil /4 \rceil *5+6$. Such a bound is only slightly larger than the best $O((\log \log N) \frac{n_1 n_2}{m_1 m_2})$ bound in the literature. When each SU has a single radio, the ETTR is bounded above by $\frac{n_1 n_2}{G}+9Mn_1n_2 \cdot (1-\frac{G}{n_1 n_2})^M$, where $G$ is the number of common channels between these two users. By conducting extensive simulations, we show that for both the MTTR and the ETTR, our algorithm is comparable to the simple random algorithm and it outperforms several existing algorithms in the literature.


title: Mean field equations on tori: existence and uniqueness of evenly symmetric blow-up solutions

abstract: We are concerned with the blow-up analysis of mean field equations. It has been proven in [6] that solutions blowing-up at the same non-degenerate blow-up set are unique. On the other hand, the authors in [18] show that solutions with a degenerate blow-up set are in general non-unique. In this paper we first prove that evenly symmetric solutions on a flat torus with a degenerate two-point blow-up set are unique. In the second part of the paper we complete the analysis by proving the existence of such blow-up solutions by using a Lyapunov-Schmidt reduction method. Moreover, we deduce that all evenly symmetric blow-up solutions come from one-point blow-up solutions of the mean field equation on a "half" torus.


title: CMOS Integrated Magnetless Circulators Based on Spatiotemporal Modulation Angular-Momentum Biasing

abstract: In this paper, we introduce the first integrated circuit (IC) implementation of spatiotemporally modulated angular-momentum (STM-AM) biased magnetless circulators. The design is based on a modified current-mode topology which is less sensitive to parasitics and relies on switched capacitors rather than varactors to achieve the desired modulation, thus reducing the circuit complexity and easing its chip-scale realization. We analyze the presented circuit and study its performance in the presence of inevitable non-idealities using an in-house so-called composite Floquet scattering matrix (CFSM) numerical method. We also validate the analysis with simulated and measured results using a standard 180 nm CMOS technology, showing good performance. Compared to previous discrete implementations of STM-AM circulators, the presented CMOS chip reduces the form factor by at least an order of magnitude and occupies a total area of only 36 mm2.


title: Multi-Antenna Covert Communications in Random Wireless Networks

abstract: This paper studies multi-antenna-aided covert communications coexisting with randomly located wardens and interferers, considering both centralized and distributed antenna systems (CAS/DAS). The throughput performance of the covert communication is analyzed and optimized under a stochastic geometry framework, where the joint impact of the small-scale channel fading and the large-scale path loss is examined. To be specific, two probabilistic metrics, namely, the covert outage probability and the connectivity probability, are adopted to characterize the covertness and reliability of the transmission, respectively, and analytically tractable expressions for the two metrics are derived. The worst-case covert communication scenario is then investigated, {where the wardens invariably can maximize the covert outage probability by adjusting the detection thresholds for their detectors}. Afterwards, the optimal transmit power and transmission rate are jointly designed to maximize the covert throughput subject to a covertness constraint. Interestingly, it is found that the maximal covert throughput for both the CAS and DAS is invariant to the density of interferers and the interfering power, regardless of the number of transmit antennas. Numerical results demonstrate that the CAS outperforms the DAS in terms of the covert throughput for the random network of interest, and the throughput gap between the two systems increases dramatically when the number of transmit antennas becomes larger.


title: Multifidelity Bayesian Optimization for Binomial Output

abstract: The key idea of Bayesian optimization is replacing an expensive target function with a cheap surrogate model. By selection of an acquisition function for Bayesian optimization, we trade off between exploration and exploitation. The acquisition function typically depends on the mean and the variance of the surrogate model at a given point. The most common Gaussian process-based surrogate model assumes that the target with fixed parameters is a realization of a Gaussian process. However, often the target function doesn't satisfy this approximation. Here we consider target functions that come from the binomial distribution with the parameter that depends on inputs. Typically we can vary how many Bernoulli samples we obtain during each evaluation. We propose a general Gaussian process model that takes into account Bernoulli outputs. To make things work we consider a simple acquisition function based on Expected Improvement and a heuristic strategy to choose the number of samples at each point thus taking into account precision of the obtained output.


title: Label-Removed Generative Adversarial Networks Incorporating with K-Means

abstract: Generative Adversarial Networks (GANs) have achieved great success in generating realistic images. Most of these are conditional models, although acquisition of class labels is expensive and time-consuming in practice. To reduce the dependence on labeled data, we propose an un-conditional generative adversarial model, called K-Means-GAN (KM-GAN), which incorporates the idea of updating centers in K-Means into GANs. Specifically, we redesign the framework of GANs by applying K-Means on the features extracted from the discriminator. With obtained labels from K-Means, we propose new objective functions from the perspective of deep metric learning (DML). Distinct from previous works, the discriminator is treated as a feature extractor rather than a classifier in KM-GAN, meanwhile utilization of K-Means makes features of the discriminator more representative. Experiments are conducted on various datasets, such as MNIST, Fashion-10, CIFAR-10 and CelebA, and show that the quality of samples generated by KM-GAN is comparable to some conditional generative adversarial models.


title: Towards Hardware Implementation of Neural Network-based Communication Algorithms

abstract: There is a recent interest in neural network (NN)-based communication algorithms which have shown to achieve (beyond) state-of-the-art performance for a variety of problems or lead to reduced implementation complexity. However, most work on this topic is simulation based and implementation on specialized hardware for fast inference, such as field-programmable gate arrays (FPGAs), is widely ignored. In particular for practical uses, NN weights should be quantized and inference carried out by a fixed-point instead of floating-point system, widely used in consumer class computers and graphics processing units (GPUs). Moving to such representations enables higher inference rates and complexity reductions, at the cost of precision loss. We demonstrate that it is possible to implement NN-based algorithms in fixed-point arithmetic with quantized weights at negligible performance loss and with hardware complexity compatible with practical systems, such as FPGAs and application-specific integrated circuits (ASICs).


title: Thermal Emission from Semi-classical Dynamical Systems

abstract: Recently the bound on the Lyapunov exponent $\lambda_L \le 2\pi T/ \hbar$ in thermal quantum systems was conjectured by Maldacena, Shenker, and Stanford. If we naively apply this bound to a system with a fixed Lyapunov exponent $\lambda_L$, it might predict the existence of the lower bound on temperature $T \ge \hbar \lambda_L/ 2\pi $. Particularly, it might mean that chaotic systems cannot be zero temperature quantum mechanically. Even classical dynamical systems, which are deterministic, might exhibit thermal behaviors once we turn on quantum corrections. We elaborate this possibility by investigating semi-classical particle motions near the hyperbolic fixed point and show that indeed quantum corrections may induce energy emission which obeys a Boltzmann distribution. We also argue that this emission is related to acoustic Hawking radiation in quantum fluid. Besides, we discuss when the bound is saturated and show that a particle motion in an inverse harmonic potential and $c=1$ matrix model may saturate the bound although they are integrable.


title: Risk Management with Tail Quasi-Linear Means

abstract: We generalize Quasi-Linear Means by restricting to the tail of the risk distribution and show that this can be a useful quantity in risk management since it comprises in its general form the Value at Risk, the Tail Value at Risk and the Entropic Risk Measure in a unified way. We then investigate the fundamental properties of the proposed measure and show its unique features and implications in the risk measurement process. Furthermore, we derive formulas for truncated elliptical models of losses and provide formulas for selected members of such models.


title: Air Quality Measurement Based on Double-Channel Convolutional Neural Network Ensemble Learning

abstract: Environmental air quality affects people's life, obtaining real-time and accurate environmental air quality has a profound guiding significance for the development of social activities. At present, environmental air quality measurement mainly adopts the method that setting air quality detector at specific monitoring points in cities and timing sampling analysis, which is easy to be restricted by time and space factors. Some air quality measurement algorithms related to deep learning mostly adopt a single convolutional neural network to train the whole image, which will ignore the difference of different parts of the image. In this paper, we propose a method for air quality measurement based on double-channel convolutional neural network ensemble learning to solve the problem of feature extraction for different parts of environmental images. Our method mainly includes two aspects: ensemble learning of double-channel convolutional neural network and self-learning weighted feature fusion. We constructed a double-channel convolutional neural network, used each channel to train different parts of the environment images for feature extraction. We propose a feature weight self-learning method, which weights and concatenates the extracted feature vectors, and uses the fused feature vectors to measure air quality. Our method can be applied to the two tasks of air quality grade measurement and air quality index (AQI) measurement. Moreover, we build an environmental image dataset of random time and location condition. The experiments show that our method can achieve nearly 82% accuracy and a small mean absolute error (MAE) on our test dataset. At the same time, through comparative experiment, we proved that our proposed method gained considerable improvement in performance compared with single channel convolutional neural network air quality measurements.


title: Nonlinear optical response of a local surface plasmon coupled to a 2D material

abstract: We present a theoretical study of the optical response of a nonlinear oscillator formed by coupling a metal nanoparticle local surface plasmon resonance to excitonic degrees of freedom in a monolayer transition-metal dichalcogenide. We show that the combined system should exhibit strong anharmonicity in its low-lying states, predicting for example a seven order-of-magnitude increase in nonlinearity relative to a silicon photonic crystal cavity. Then, we demonstrate that such system exhibits strong quantum features such as antibunching and non-Gaussianity. Arrays of such nanoscale nonlinear oscillators could be used to realize novel optical metamaterials; alternatively, an individual nanoparticle-monolayer construct could be coupled to an optical resonator to mediate efficient input-output coupling to propagating fields.


title: Background for a gamma-ray satellite on a low-Earth orbit

abstract: The different background components in a low-Earth orbit have been modeled in the 10 keV to 100 GeV energy range. The model is based on data from previous instruments and it considers both primary and secondary particles, charged particles, neutrons and photons. The necessary corrections to consider the geomagnetic cutoff are applied to calculate the flux at different inclinations and altitudes for a mean solar activity. Activation simulations from such a background have been carried out using the model of a possible future gamma-ray mission (e-ASTROGAM). The event rates and spectra from these simulations were then compared to those from the isotopes created by the particles present in the South Atlantic Anomaly (SAA). The primary protons are found to be the main contributor of the activation, while the contributions of the neutrons, and that of the secondary protons can be considered negligible. The long-term activation from the passage through the SAA becomes the main source of background at high inclination (i$\gtrsim10^\circ$). The used models have been collected in a Python class openly available on github.


title: Q-switched Dy:ZBLAN fiber lasers beyond 3 {\mu}m: comparison of pulse generation using acousto-optic modulation and inkjet-printed black phosphorus

abstract: We report high-energy mid-infrared pulse generation by Q-switching of dysprosium-doped fiber lasers for the first time. Two different modulation techniques are demonstrated. Firstly, using active acousto-optic modulation, pulses are produced with up to 12 {\mu}J energy and durations as short as 270 ns, with variable repetition rates from 100 Hz to 20 kHz and central wavelengths tunable from 2.97 to 3.23 {\mu}m. Experiments are supported by numerical modeling, identifying routes for improved pulse energies and to avoid multi-pulsing by careful choice of modulator parameters. Secondly, we demonstrate passive Q-switching by fabricating an inkjet-printed black phosphorus saturable absorber, simplifying the cavity and generating 1.0 {\mu}J pulses with 740 ns duration. The performance and relative merits of each modulation approach are then critically discussed. These demonstrations highlight the potential of dysprosium as a versatile gain medium for high-performance pulsed sources beyond 3 {\mu}m.


title: Entanglement Stabilization using Parity Detection and Real-Time Feedback in Superconducting Circuits

abstract: Fault tolerant quantum computing relies on the ability to detect and correct errors, which in quantum error correction codes is typically achieved by projectively measuring multi-qubit parity operators and by conditioning operations on the observed error syndromes. Here, we experimentally demonstrate the use of an ancillary qubit to repeatedly measure the $ZZ$ and $XX$ parity operators of two data qubits and to thereby project their joint state into the respective parity subspaces. By applying feedback operations conditioned on the outcomes of individual parity measurements, we demonstrate the real-time stabilization of a Bell state with a fidelity of $F\approx 74\%$ in up to 12 cycles of the feedback loop. We also perform the protocol using Pauli frame updating and, in contrast to the case of real-time stabilization, observe a steady decrease in fidelity from cycle to cycle. The ability to stabilize parity over multiple feedback rounds with no reduction in fidelity provides strong evidence for the feasibility of executing stabilizer codes on timescales much longer than the intrinsic coherence times of the constituent qubits.


title: Activation of a muscle as a mapping of stress-strain curves

abstract: The mathematical modeling of the contraction of a muscle is a crucial problem in biomechanics. Several different models of muscle activation exist in literature. A possible approach to contractility is the so-called active strain: it is based on a multiplicative decomposition of the deformation gradient into an active contribution, accounting for the muscle activation, and an elastic one, due to the passive deformation of the body. We show that the active strain approach does not allow to recover the experimental stress-stretch curve corresponding to a uniaxial deformation of a skeletal muscle, whatever the functional form of the strain energy. To overcome such difficulty, we introduce an alternative model, that we call mixture active strain approach, where the muscle is composed of two different solid phases and only one of them actively contributes to the active behavior of the muscle.


title: Transient Inverse-FIP Plasma Composition Evolution within a Confined Solar Flare

abstract: Understanding elemental abundance variations in the solar corona provides an insight into how matter and energy flow from the chromosphere into the heliosphere. Observed variations depend on the first ionization potential (FIP) of the main elements of the Sun's atmosphere. High-FIP elements (>10 eV) maintain photospheric abundances in the corona, whereas low-FIP elements have enhanced abundances. Conversely, inverse FIP (IFIP) refers to the enhancement of high-FIP or depletion of low-FIP elements. We use spatially resolved spectroscopic observations, specifically the Ar XIV/Ca XIV intensity ratio, from Hinode's Extreme-ultraviolet Imaging Spectrometer to investigate the distribution and evolution of plasma composition within two confined flares in a newly emerging, highly sheared active region. During the decay phase of the first flare, patches above the flare ribbons evolve from the FIP to the IFIP effect, while the flaring loop tops show a stronger FIP effect. The patch and loop compositions then evolve toward the pre-flare basal state. We propose an explanation of how flaring in strands of highly sheared emerging magnetic fields can lead to flare-modulated IFIP plasma composition over coalescing umbrae which are crossed by flare ribbons. Subsurface reconnection between the coalescing umbrae leads to the depletion of low-FIP elements as a result of an increased wave flux from below. This material is evaporated when the flare ribbons cross the umbrae. Our results are consistent with the ponderomotive fractionation model (Laming2015) for the creation of IFIP-biased plasma.


title: Local representation and construction of Beltrami fields II. Solenoidal Beltrami fields and ideal MHD equilibria

abstract: Object of the present paper is the local theory of solution for steady ideal Euler flows and ideal MHD equilibria. The present analysis relies on the Lie-Darboux theorem of differential geometry and the local theory of representation and construction of Beltrami fields developed in [1]. A theorem for the construction of harmonic orthogonal coordinates is proved. Using such coordinates families of solenoidal Beltrami fields with different topologies are obtained in analytic form. Existence of global solenoidal Beltrami fields satisfying prescribed boundary conditions while preserving the local representation is considered. It is shown that only singular solutions are admissible, an explicit example is given in a spherical domain, and a theorem on existence of singular solutions is proven. Local conditions for existence of solutions, and local representation theorems are derived for generalized Beltrami fields, ideal MHD equilibria, and general steady ideal Euler flows. The theory is applied to construct analytic examples.


title: Composing bidirectional programs monadically (with appendices)

abstract: Software frequently converts data from one representation to another and vice versa. Naively specifying both conversion directions separately is error prone and introduces conceptual duplication. Instead, bidirectional programming techniques allow programs to be written which can be interpreted in both directions. However, these techniques often employ unfamiliar programming idioms via restricted, specialised combinator libraries. Instead, we introduce a framework for composing bidirectional programs monadically, enabling bidirectional programming with familiar abstractions in functional languages such as Haskell. We demonstrate the generality of our approach applied to parsers/printers, lenses, and generators/predicates. We show how to leverage compositionality and equational reasoning for the verification of round-tripping properties for such monadic bidirectional programs.


title: $6A$-Algebra and its representations

abstract: In this paper, we study the structure and representation of a $6A$-algebra which is a vertex operator algebra generated by two Ising vectors $e,f$ with inner product $\left\langle e,f\right\rangle =\frac{5}{2^{10}}.$ In particular, we prove the uniqueness of the vertex operator algebra structure of this 6A-algebra, classify the irreducible modules, and determine the fusion rules.


title: An Efficient Linearly Convergent Regularized Proximal Point Algorithm for Fused Multiple Graphical Lasso Problems

abstract: Nowadays, analysing data from different classes or over a temporal grid has attracted a great deal of interest. As a result, various multiple graphical models for learning a collection of graphical models simultaneously have been derived by introducing sparsity in graphs and similarity across multiple graphs. This paper focuses on the fused multiple graphical Lasso model which encourages not only shared pattern of sparsity, but also shared values of edges across different graphs. For solving this model, we develop an efficient regularized proximal point algorithm, where the subproblem in each iteration of the algorithm is solved by a superlinearly convergent semismooth Newton method. To implement the semismooth Newton method, we derive an explicit expression for the generalized Jacobian of the proximal mapping of the fused multiple graphical Lasso regularizer. Unlike those widely used first order methods, our approach has heavily exploited the underlying second order information through the semismooth Newton method. This can not only accelerate the convergence of the algorithm, but also improve its robustness. The efficiency and robustness of our proposed algorithm are demonstrated by comparing with some state-of-the-art methods on both synthetic and real data sets. Supplementary materials for this article are available online.


title: Electron Density Reconstruction of Solar Coronal Mass Ejections Based on a Genetic Algorithm: Method and Application

abstract: We present a new method to reconstruct the three-dimensional electron density of coronal mass ejections (CMEs) based on a genetic algorithm, namely the genetic reconstruction method (GRM). GRM is first applied to model CMEs with different orientations and shapes. A set of analytic model CMEs from Gibson and Low is employed to produce synthetic CME images for GRM reconstruction. Model CMEs with longitudes of 0, 45, 90, 135, 180 degrees and latitudes of 0, 15, 30, 45 degrees are used to test the performance of GRM. The model CMEs are obscured with a simulated occulter of a coronagraph to determine the influence of CME brightness incompleteness. We add random noise to some synthetic CME images to test the performance of GRM. The CME reconstructions are carried out using synthetic data from Solar Terrestrial Relations Observatory (STEREO) A and B with a separation angle of 90 degrees and from STEREO A and the Solar and Heliospheric Observatory (SOHO) with a separation angle of 73 degrees. The Pearson correlation coefficient and the mean relative absolute deviation are calculated to analyze the similarities in brightness and electron density between the model and reconstructed CMEs. Comparisons based on the similarity analysis under various conditions stated above give us valuable insights into the advantages and limitations of GRM reconstruction. The method is then applied to real coronagraph data from STEREO A and B, and SOHO on 2013 September 30.


title: Generation and Hall effect of skyrmions enabled via using nonmagnetic point contacts

abstract: To enable functional skyrmion based spintronic devices, the controllable generation and manipulation of skyrmions is essential. While the generation of skyrmions by using a magnetic geometrical constriction has already been demonstrated, this approach is difficult to combine with a subsequent controlled manipulation of skyrmions. The high efficiency of skyrmion generation from magnetic constrictions limits the useful current density, resulting in stochastic skyrmion motion, which may obscure topological phenomena such as the skyrmion Hall effect. In order to address this issue, we designed a nonmagnetic conducting Ti/Au point contact in devices made of Ta/CoFeB/TaOx trilayer films. By applying high voltage pulses, we experimentally demonstrated that skyrmions can be dynamically generated. Moreover, the accompanied spin topology dependent skyrmion dynamics, the skyrmion Hall effect is also experimentally observed in the same devices. The creation process has been numerically reproduced through micromagnetic simulations in which the important role of skyrmion-antiskyrmion pair generation is identified. The motion and Hall effect of the skyrmions, immediately after their creation is described using a modified Thiele equation after taking into account the contribution from spatially inhomogeneous spin-orbit torques and the Magnus force. The simultaneous generation and manipulation of skyrmions using a nonmagnetic point contact could provide a useful pathway for designing novel skyrmion based devices.


title: The halo mass of optically-luminous quasars at z=1-2 measured via gravitational deflection of the cosmic microwave background

abstract: We measure the average deflection of cosmic microwave background photons by quasars at $\langle z \rangle =1.7$. Our sample is selected from the Sloan Digital Sky Survey to cover the redshift range $0.9\leq z\leq2.2$ with absolute i-band magnitudes of $M_i\leq-24$ (K-corrected to z=2). A stack of nearly 200,000 targets reveals an 8$\sigma$ detection of Planck's estimate of the lensing convergence towards the quasars. We fit the signal with a model comprising a Navarro-Frenk-White density profile and a 2-halo term accounting for correlated large scale structure, which dominates the observed signal. The best-fitting model is described by an average halo mass $\log_{10}(M_{\rm h}/h^{-1}M_\odot)=12.6\pm0.2$ and linear bias $b=2.7\pm0.3$ at $z=1.7$, in excellent agreement with clustering studies. We also report of a hint, at a 90% confidence level, of a correlation between the convergence amplitude and luminosity, indicating that quasars brighter than $M_i\lesssim -26$ reside in halos of typical mass ${M_{\rm h}\approx 10^{13}\,h^{-1}M_\odot}$, scaling roughly as ${M_{\rm h}\propto L_{\rm opt}^{3/4}}$ at ${M_i\lesssim-24}$, in good agreement with physically-motivated quasar demography models. Although we acknowledge this luminosity dependence is a marginal result, the observed $M_{\rm h}$-$L_{\rm opt}$ relationship could be interpreted as a reflection of the cutoff in the distribution of black hole accretion rates towards high Eddington ratios: the weak trend of $M_{\rm h}$ with $L_{\rm opt}$ observed at low luminosity becomes stronger for the most powerful quasars, which tend to be accreting close to the Eddington limit.


title: Robbie: A Batch Processing Work-flow for the Detection of Radio Transients andVariables

abstract: We present Robbie: a general work-flow for the detection and characterization of radio variability and transient events in the image domain. Robbie is designed to work in a batch processing paradigm with a modular design so that components can be swapped out or upgraded to adapt to different input data, whilst retaining a consistent and coherent methodological approach. Robbie is based on commonly used and open software, and is encapsulated in a Makefile to aid portability and reproducibility. In this paper wedescribe the methodology behind Robbie, and demonstrate its use on real and simulated data. Robbie is available on GitHub.


title: Covering Vectors by Spaces in Perturbed Graphic Matroids and Their Duals

abstract: Perturbed graphic matroids are binary matroids that can be obtained from a graphic matroid by adding a noise of small rank. More precisely, r-rank perturbed graphic matroid M is a binary matroid that can be represented in the form I +P, where I is the incidence matrix of some graph and P is a binary matrix of rank at most r. Such matroids naturally appear in a number of theoretical and applied settings. The main motivation behind our work is an attempt to understand which parameterized algorithms for various problems on graphs could be lifted to perturbed graphic matroids. We study the parameterized complexity of a natural generalization (for matroids) of the following fundamental problems on graphs: Steiner Tree and Multiway Cut. In this generalization, called the Space Cover problem, we are given a binary matroid M with a ground set E, a set of terminals T\subseteq E, and a non-negative integer k. The task is to decide whether T can be spanned by a subset of E\setminus T of size at most k. We prove that on graphic matroid perturbations, for every fixed r, Space Cover is fixed-parameter tractable parameterized by k. On the other hand, the problem becomes W[1]-hard when parameterized by r+k+|T| and it is NP-complete for r\leq 2 and |T|\leq 2. On cographic matroids, that are the duals of graphic matroids, Space Cover generalizes another fundamental and well-studied problem, namely Multiway Cut. We show that on the duals of perturbed graphic matroids the Space Cover problem is fixed-parameter tractable parameterized by r+k.


title: On the Analysis of EM for truncated mixtures of two Gaussians

abstract: Motivated by a recent result of Daskalakis et al. 2018, we analyze the population version of Expectation-Maximization (EM) algorithm for the case of \textit{truncated} mixtures of two Gaussians. Truncated samples from a $d$-dimensional mixture of two Gaussians $\frac{1}{2} \mathcal{N}(\vec{\mu}, \vec{\Sigma})+ \frac{1}{2} \mathcal{N}(-\vec{\mu}, \vec{\Sigma})$ means that a sample is only revealed if it falls in some subset $S \subset \mathbb{R}^d$ of positive (Lebesgue) measure. We show that for $d=1$, EM converges almost surely (under random initialization) to the true mean (variance $\sigma^2$ is known) for any measurable set $S$. Moreover, for $d>1$ we show EM almost surely converges to the true mean for any measurable set $S$ when the map of EM has only three fixed points, namely $-\vec{\mu}, \vec{0}, \vec{\mu}$ (covariance matrix $\vec{\Sigma}$ is known), and prove local convergence if there are more than three fixed points. We also provide convergence rates of our findings. Our techniques deviate from those of Daskalakis et al. 2017, which heavily depend on symmetry that the untruncated problem exhibits. For example, for an arbitrary measurable set $S$, it is impossible to compute a closed form of the update rule of EM. Moreover, arbitrarily truncating the mixture, induces further correlations among the variables. We circumvent these challenges by using techniques from dynamical systems, probability and statistics; implicit function theorem, stability analysis around the fixed points of the update rule of EM and correlation inequalities (FKG).


title: Self amplification of channeling radiation at Bragg diffraction conditions

abstract: X-ray radiation of relativistic electrons passing through the crystal lattice (in case of channeling radiation) requires electrons with energies just from tens up to hundreds MeV, but has a drawback: low number of emitted X-ray quanta. However, the brightness of such a source could be potentially increased if the current density of the electron bunch is high enough to initiate the self amplified spontaneous emission (SASE) process. The conditions at which this phenomenon could take place for the case of axial channeling are analyzed in the present paper within the first order perturbation theory. The transition from spontaneous to SASE regime is described, the requirements for bunch current parameters initiating SASE process are determined taking into account the periodic structure of the crystal medium. It is also shown that satisfying Bragg diffraction conditions could enhance self amplification. Numerical results for the case of axial channeling in Si, Ge and C crystals are presented as an example.


title: On the convergence of stochastic transport equations to a deterministic parabolic one

abstract: A stochastic transport linear equation (STLE) with multiplicative space-time dependent noise is studied. It is shown that, under suitable assumptions on the noise, a multiplicative renormalization leads to convergence of the solutions of STLE to the solution of a deterministic parabolic equation. Existence and uniqueness for STLE are also discussed. Our method works in dimension $d\geq 2$; the case $d=1$ is also investigated but no conclusive answer is obtained.


title: Cybercrime Investigators are Users Too! Understanding the Socio-Technical Challenges Faced by Law Enforcement

abstract: Cybercrime investigators face numerous challenges when policing online crimes. Firstly, the methods and processes they use when dealing with traditional crimes do not necessarily apply in the cyber-world. Additionally, cyber criminals are usually technologically-aware and constantly adapting and developing new tools that allow them to stay ahead of law enforcement investigations. In order to provide adequate support for cybercrime investigators, there needs to be a better understanding of the challenges they face at both technical and socio-technical levels. In this paper, we investigate this problem through an analysis of current practices and workflows of investigators. We use interviews with experts from government and private sectors who investigate cybercrimes as our main data gathering process. From an analysis of the collected data, we identify several outstanding challenges faced by investigators. These pertain to practical, technical, and social issues such as systems availability, usability, and in computer-supported collaborative work. Importantly, we use our findings to highlight research areas where user-centric workflows and tools are desirable. We also define a set of recommendations that can aid in providing a better foundation for future research in the field and allow more effective combating of cybercrimes.


title: Multifractal Formalism for generalised local dimension spectra of Gibbs measures on the real line

abstract: We refine the multifractal formalism for the local dimension of a Gibbs measure $\mu$ supported on the attractor $\Lambda$ of a conformal iterated functions system on the real line. Namely, for given $\alpha\in \mathbb{R}$, we establish the formalism for the Hausdorff dimension of level sets of points $x\in\Lambda$ for which the $\mu$-measure of a ball of radius $r_{n}$ centered at $x$ obeys a power law $r_{n}{}^{\alpha}$, for a sequence $r_{n}\rightarrow0$. This allows us to investigate the H\"older regularity of various fractal functions, such as distribution functions and conjugacy maps associated with conformal iterated function systems.


title: Covariance of the running range of a Brownian trajectory

abstract: The question how the extremal values of a stochastic process achieved on different time intervals are correlated to each other has been discussed within the last few years on examples of the running maximum of a Brownian motion, of a Brownian Bridge and of a Slepian process. Here, we focus on the two-time correlations of the running range of Brownian motion - the maximal extent of a Brownian trajectory on a finite time interval. We calculate exactly the covariance function of the running range and analyse its asymptotic behaviour. Our analysis reveals non-trivial correlations between the value of the largest descent (rise) of a BM from the top to a bottom on some time interval, and the value of this property on a larger time interval.


title: Geometry of Deep Generative Models for Disentangled Representations

abstract: Deep generative models like variational autoencoders approximate the intrinsic geometry of high dimensional data manifolds by learning low-dimensional latent-space variables and an embedding function. The geometric properties of these latent spaces has been studied under the lens of Riemannian geometry; via analysis of the non-linearity of the generator function. In new developments, deep generative models have been used for learning semantically meaningful `disentangled' representations; that capture task relevant attributes while being invariant to other attributes. In this work, we explore the geometry of popular generative models for disentangled representation learning. We use several metrics to compare the properties of latent spaces of disentangled representation models in terms of class separability and curvature of the latent-space. The results we obtain establish that the class distinguishable features in the disentangled latent space exhibits higher curvature as opposed to a variational autoencoder. We evaluate and compare the geometry of three such models with variational autoencoder on two different datasets. Further, our results show that distances and interpolation in the latent space are significantly improved with Riemannian metrics derived from the curvature of the space. We expect these results will have implications on understanding how deep-networks can be made more robust, generalizable, as well as interpretable.


title: DEDPUL: Difference-of-Estimated-Densities-based Positive-Unlabeled Learning

abstract: Positive-Unlabeled (PU) learning is an analog to supervised binary classification for the case when only the positive sample is clean, while the negative sample is contaminated with latent instances of positive class and hence can be considered as an unlabeled mixture. The objectives are to classify the unlabeled sample and train an unbiased PN classifier, which generally requires to identify the mixing proportions of positives and negatives first. Recently, unbiased risk estimation framework has achieved state-of-the-art performance in PU learning. This approach, however, exhibits two major bottlenecks. First, the mixing proportions are assumed to be identified, i.e. known in the domain or estimated with additional methods. Second, the approach relies on the classifier being a neural network. In this paper, we propose DEDPUL, a method that solves PU Learning without the aforementioned issues. The mechanism behind DEDPUL is to apply a computationally cheap post-processing procedure to the predictions of any classifier trained to distinguish positive and unlabeled data. Instead of assuming the proportions to be identified, DEDPUL estimates them alongside with classifying unlabeled sample. Experiments show that DEDPUL outperforms the current state-of-the-art in both proportion estimation and PU Classification.


title: Dynamical Privacy in Distributed Computing -- Part I: Privacy Loss and PPSC Mechanism

abstract: A distributed computing protocol consists of three components: (i) Data Localization: a network-wide dataset is decomposed into local datasets separately preserved at a network of nodes; (ii) Node Communication: the nodes hold individual dynamical states and communicate with the neighbors about these dynamical states; (iii) Local Computation: state recursions are computed at each individual node. Information about the local datasets enters the computation process through the node-to-node communication and the local computations, which may be leaked to dynamics eavesdroppers having access to global or local node states. In this paper, we systematically investigate this potential computational privacy risks in distributed computing protocols in the form of structured system identification, and then propose and thoroughly analyze a Privacy-Preserving-Summation-Consistent (PPSC) mechanism as a generic privacy encryption subroutine for consensus-based distributed computations. The central idea is that the consensus manifold is where we can both hide node privacy and achieve computational accuracy. In this first part of the paper, we demonstrate the computational privacy risks in distributed algorithms against dynamics eavesdroppers and particularly in distributed linear equation solvers, and then propose the PPSC mechanism and illustrate its usefulness.


title: Evaluating the Effectiveness of Automated Identity Masking (AIM) Methods with Human Perception and a Deep Convolutional Neural Network (CNN)

abstract: Face de-identification algorithms have been developed in response to the prevalent use of public video recordings and surveillance cameras. Here, we evaluated the success of identity masking in the context of monitoring drivers as they actively operate a motor vehicle. We studied the effectiveness of eight de-identification algorithms using human perceivers and a state-of-the-art deep convolutional neural network (CNN). We used a standard face recognition experiment in which human subjects studied high-resolution (studio-style) images to learn driver identities. Subjects were tested subsequently on their ability to recognize those identities in low-resolution videos depicting the drivers operating a motor vehicle. The videos were in either unmasked format, or were masked by one of the eight de-identification algorithms. All masking algorithms lowered identification accuracy substantially, relative to the unmasked video. In all cases, identifications were made with stringent decision criteria indicating the subjects had low confidence in their decisions. When matching the identities in high-resolution still images to those in the masked videos, the CNN performed at chance. Next, we examined CNN performance on the same task, but using the unmasked videos and their masked counterparts. In this case, the network scored surprisingly well on a subset of mask conditions. We conclude that carefully tested de-identification approaches, used alone or in combination, can be an effective tool for protecting the privacy of individuals captured in videos. We note that no approach is equally effective in masking all stimuli, and that future work should examine possible methods for determining the most effective mask per individual stimulus.


title: Mixed structural face-centered cubic and body-centered cubic orders in near stoichiometric Fe2MnGa alloys

abstract: Magnetic and transport properties of near-stoichiometric metastable FexMnyGaz alloys (46<x<52, 17<y25, 26<z<30) with face-centered cubic (FCC), body-centered cubic (BCC), and two-phase (FCC+BCC) structures are investigated. The experimental results are analyzed in terms of first-principles calculations of stoichiometric Fe2MnGa alloy with the L21, L12, and the tetragonally distorted L21 structural orderings. It is shown that the pure BCC and FCC phases have distinct magnetic and transport properties. Two-phase Fe2MnGa alloys have magnetic and transport properties typical of the mixed BCC and FCC phases. Among the investigated alloys, Fe46Mn24Ga30 has a martensitic transformation accompanied by significant changes in its magnetic and transport properties.


title: Generalized geometric Hamilton-Jacobi theorem on Lie algebroids

abstract: In this paper, some of formulations of Hamilton-Jacobi equations for Hamiltonian system on Lie algebroids are given. Here we use the general properties of Lie algebroids to express and prove two geometric version of the Hamilton-Jacobi theorem for Hamiltonian system on Lie algebroids. Then this results are generalized and two types of time-dependent Hamilton-Jacobi theorem of Hamiltonian system on Lie algebroids are obtained.


title: Recent results on the singular local limit for nonlocal conservation laws

abstract: We provide an informal overview of recent developments concerning the singular local limit of nonlocal conservation laws. In particular, we discuss some counterexamples to convergence and we highlight the role of numerical viscosity in the numerical investigation of the nonlocal-to-local limit. We also state some open questions and describe recent related progress.


title: A stochastic individual based model for the growth of a stand of Japanese knotweed including mowing as a management technique

abstract: Invasive alien species are a growing threat for environment and health. They also have a major economic impact, as they can damage many infrastructures. The Japanese knotweed (Fallopia japonica), present in North America, Northern and Central Europe as well as in Australia and New Zealand, is listed by the World Conservation Union as one of the world's worst invasive species. So far, most models have dealt with how the invasion spreads without management. This paper aims at providing a model able to study and predict the dynamics of a stand of Japanese knotweed taking into account mowing as a management technique. The model we propose is stochastic and individual-based, which allows us taking into account the behaviour of individuals depending on their size and location, as well as individual stochasticity. We set plant dynamics parameters thanks to a calibration with field data, and study the influence of the initial population size, the mean number of mowing events a year and the management project duration on mean area and mean number of crowns of stands. In particular, our results provide the sets of parameters for which it is possible to obtain the stand eradication, and the minimal duration of the management project necessary to achieve this latter.


title: Penultimate Analysis of the Conditional Multivariate Extremes Tail Model

abstract: Models for extreme values are generally derived from limit results, which are meant to be good enough approximations when applied to finite samples. Depending on the speed of convergence of the process underlying the data, these approximations may fail to represent subasymptotic features present in the data, and thus may introduce bias. The case of univariate maxima has been widely explored in the literature, a prominent example being the slow convergence to their Gumbel limit of Gaussian maxima, which are better approximated by a negative Weibull distribution at finite levels. In the context of subasymptotic multivariate extremes, research has only dealt with specific cases related to componentwise maxima and multivariate regular variation. This paper explores the conditional extremes model (Heffernan and Tawn, 2004) in order to shed light on its finite-sample behaviour and to reduce the bias of extrapolations beyond the range of the available data. We identify second-order features for different types of conditional copulas, and obtain results that echo those from the univariate context. These results suggest possible extensions of the conditional tail model, which will enable it to be fitted at less extreme thresholds.


title: Equivalence of finite-valued streaming string transducers is decidable

abstract: In this paper we provide a positive answer to a question left open by Alur and and Deshmukh in 2011 by showing that equivalence of finite-valued copyless streaming string transducers is decidable.


title: Gas-phase structural isomer identification by Coulomb explosion of aligned molecules

abstract: The gas-phase structures of four difluoroiodobenzene and two dihydroxybromobenzene isomers were identified by correlating the emission angles of atomic fragment ions created following femtosecond laser-induced Coulomb explosion. The structural determinations were facilitated by confining the most polarizable axis of each molecule to the detection plane prior to the Coulomb explosion event using one-dimensional laser-induced adiabatic alignment. For a molecular target consisting of two difluoroiodobenzene isomers, each constituent structure could additionally be singled out and distinguished.


title: Wave breaking and formation of dispersive shock waves in a defocusing nonlinear optical material

abstract: We theoretically describe the quasi one-dimensional transverse spreading of a light pulse propagating in a nonlinear optical material in the presence of a uniform background light intensity. For short propagation distances the pulse can be described within a nondispersive approximation by means of Riemann's approach. For larger distances, wave breaking occurs, leading to the formation of dispersive shocks at both ends of the pulse. We describe this phenomenon within Whitham modulation theory, which yields an excellent agreement with numerical simulations. Our analytic approach makes it possible to extract the leading asymptotic behavior of the parameters of the shock.


title: The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts

abstract: Modern blockchains, such as Ethereum, enable the execution of so-called smart contracts - programs that are executed across a decentralised network of nodes. As smart contracts become more popular and carry more value, they become more of an interesting target for attackers. In the past few years, several smart contracts have been exploited by attackers. However, a new trend towards a more proactive approach seems to be on the rise, where attackers do not search for vulnerable contracts anymore. Instead, they try to lure their victims into traps by deploying seemingly vulnerable contracts that contain hidden traps. This new type of contracts is commonly referred to as honeypots. In this paper, we present the first systematic analysis of honeypot smart contracts, by investigating their prevalence, behaviour and impact on the Ethereum blockchain. We develop a taxonomy of honeypot techniques and use this to build HoneyBadger - a tool that employs symbolic execution and well defined heuristics to expose honeypots. We perform a large-scale analysis on more than 2 million smart contracts and show that our tool not only achieves high precision, but is also highly efficient. We identify 690 honeypot smart contracts as well as 240 victims in the wild, with an accumulated profit of more than $90,000 for the honeypot creators. Our manual validation shows that 87% of the reported contracts are indeed honeypots.


title: Evaluating model calibration in classification

abstract: Probabilistic classifiers output a probability distribution on target classes rather than just a class prediction. Besides providing a clear separation of prediction and decision making, the main advantage of probabilistic models is their ability to represent uncertainty about predictions. In safety-critical applications, it is pivotal for a model to possess an adequate sense of uncertainty, which for probabilistic classifiers translates into outputting probability distributions that are consistent with the empirical frequencies observed from realized outcomes. A classifier with such a property is called calibrated. In this work, we develop a general theoretical calibration evaluation framework grounded in probability theory, and point out subtleties present in model calibration evaluation that lead to refined interpretations of existing evaluation techniques. Lastly, we propose new ways to quantify and visualize miscalibration in probabilistic classification, including novel multidimensional reliability diagrams.


title: Measuring gravity at cosmological scales

abstract: This paper is a pedagogical introduction to models of gravity and how to constrain them through cosmological observations. We focus on the Horndeski scalar-tensor theory and on the quantities that can be measured with a minimum of assumptions. Alternatives or extensions of General Relativity have been proposed ever since its early years. Because of Lovelock theorem, modifying gravity in four dimensions typically means adding new degrees of freedom. The simplest way is to include a scalar field coupled to the curvature tensor terms. The most general way of doing so without incurring in the Ostrogradski instability is the Horndeski Lagrangian and its extensions. Testing gravity means therefore, in its simplest term, testing the Horndeski Lagrangian. Since local gravity experiments can always be evaded by assuming some screening mechanism or that baryons are decoupled, or even that the effects of modified gravity are visible only at early times, we need to test gravity with cosmological observations in the late universe (large-scale structure) and in the early universe (cosmic microwave background). In this work we review the basic tools to test gravity at cosmological scales, focusing on model-independent measurements.


title: Electron Bessel beam diffraction for precise and accurate nanoscale strain mapping

abstract: Strain has a strong effect on the properties of materials and the performance of electronic devices. Their ever shrinking size translates into a constant demand for accurate and precise measurement methods with very high spatial resolution. In this regard, transmission electron microscopes are key instruments thanks to their ability to map strain with sub-nanometer resolution. Here we present a novel method to measure strain at the nanometer scale based on the diffraction of electron Bessel beams. We demonstrate that our method offers a strain sensitivity better than $2.5 \cdot 10^{-4}$ and an accuracy of $1.5 \cdot 10^{-3}$, competing with, or outperforming, the best existing methods with a simple and easy to use experimental setup.


title: The solar survey at Pic du Midi: calibrated data and improved images

abstract: At Pic du Midi observatory we carry out a solar survey with images of the photosphere, prominences and corona. This survey, named CLIMSO (CLIch\'es Multiples du SOleil), is in the following spectral lines: Fe XIII corona (1.075 micron), H-alpha (656.3 nm) and He I (1.083 micron) prominences, H-alpha and Ca II (393.4 nm) photosphere. All frames cover 1.3 times the diameter of the Sun with an angular resolution approaching one arc second. The frame rate is one per minute per channel (weather permitting) for the prominences and chromosphere, and one per hour for the Fe XIII corona. This survey started in 2007 for the disk and prominences, and in 2015 for the corona. We have almost completed one solar cycle, and hope to cover several more, keeping the same wavelengths or adding others. Aims: Make the CLIMSO images easier to use and more profitable for the scientific community. Methods: Providing 'science-ready' data. We have improved the contrast capabilities of our coronagraphs, which now provide images of the Fe XIII corona, in addition to the previous spectral channels. We have also implemented an autoguiding system based on a diffractive Fresnel array for precise positioning of the Sun behind the coronagraphic masks. Results: The data (images and films) are publicly available and downloadable through virtual observatories and dedicated sites: e.g. http://climso.irap.omp.eu. For the H-alpha and and Ca II channels we calibrate the data into physical units, independent of atmospheric or instrumental conditions: we provide solar maps of spectral radiances inW m^-2 sr^-1 nm^-1. The instrumental improvements and the calibration process are presented in this paper.


title: Constraining the era of helium reionization using fast radio bursts

abstract: The discovery of fast radio bursts (FRBs) about a decade ago opened up new possibilities for probing the ionization history of the Intergalactic Medium (IGM). In this paper we study the use of FRBs for tracing the epoch of HeII reionization, using simulations of their dispersion measures. We model dispersion measure contributions from the Milky Way, the IGM (homogeneous and inhomogeneous) and a possible host galaxy as a function of redshift and star formation rate. We estimate the number of FRBs required to distinguish between a model of the Universe in which helium reionization occurred at z = 3 from a model in which it occurred at z = 6 using a 2-sample Kolmogorov-Smirnoff test. We find that if the IGM is homogeneous >1100 FRBs are needed and that an inhomogeneous model in which traversal of the FRB pulse through galaxy halos increases the number of FRBs modestly, to >1600. We also find that to distinguish between a reionization that occurred at z = 3 or z = 3.5 requires ~5700 FRBs in the range 3 < z < 5.


title: Geometric wave propagator on Riemannian manifolds

abstract: We study the propagator of the wave equation on a closed Riemannian manifold $M$. We propose a geometric approach to the construction of the propagator as a single oscillatory integral global both in space and in time with a distinguished complex-valued phase function. This enables us to provide a global invariant definition of the full symbol of the propagator - a scalar function on the cotangent bundle - and an algorithm for the explicit calculation of its homogeneous components. The central part of the paper is devoted to the detailed analysis of the subprincipal symbol; in particular, we derive its explicit small time asymptotic expansion. We present a general geometric construction that allows one to visualise topological obstructions and describe their circumvention with the use of a complex-valued phase function. We illustrate the general framework with explicit examples in dimension two.


title: Confinements regulate capillary instabilities of fluid threads

abstract: We study the breakup of confined fluid threads at low flow rates to understand instability mechanisms. To determine the critical conditions between the earlier quasi-stable necking stage and the later unstable collapse stage, simulations and experiments are designed to operate at an extremely low flow rate. Critical mean radii at neck centres are identified by the stop-flow method for elementary microfluidic configurations. Analytical investigations reveal two distinct origins of capillary instabilities. One is the gradient of capillary pressure induced by the confinements of geometry and external flow, whereas the other is the competition between local capillary pressure and internal pressure determined by the confinements.


title: A Sequential Homotopy Method for Mathematical Programming Problems

abstract: We propose a sequential homotopy method for the solution of mathematical programming problems formulated in abstract Hilbert spaces under the Guignard constraint qualification. The method is equivalent to performing projected backward Euler timestepping on a projected gradient/antigradient flow of the augmented Lagrangian. The projected backward Euler equations can be interpreted as the necessary optimality conditions of a primal-dual proximal regularization of the original problem. The regularized problems are always feasible, satisfy a strong constraint qualification guaranteeing uniqueness of Lagrange multipliers, yield unique primal solutions provided that the stepsize is sufficiently small, and can be solved by a continuation in the stepsize. We show that equilibria of the projected gradient/antigradient flow and critical points of the optimization problem are identical, provide sufficient conditions for the existence of global flow solutions, and show that critical points with emanating descent curves cannot be asymptotically stable equilibria of the projected gradient/antigradient flow, practically eradicating convergence to saddle points and maxima. The sequential homotopy method can be used to globalize any locally convergent optimization method that can be used in a homotopy framework. We demonstrate its efficiency for a class of highly nonlinear and badly conditioned control constrained elliptic optimal control problems with a semismooth Newton approach for the regularized subproblems.


title: Soliton microcomb based spectral domain optical coherence tomography

abstract: Spectral domain optical coherence tomography (SD-OCT) is a widely used and minimally invaive technique for bio-medical imaging [1]. SD-OCT typically relies on the use of superluminescent diodes (SLD), which provide a low-noise and broadband optical spectrum. Recent advances in photonic chipscale frequency combs [2, 3] based on soliton formation in photonic integrated microresonators provide an chipscale alternative illumination scheme for SD-OCT. Yet to date, the use of such soliton microcombs in OCT has not yet been analyzed. Here we explore the use of soliton microcombs in spectral domain OCT and show that, by using photonic chipscale Si3N4 resonators in conjunction with 1300 nm pump lasers, spectral bandwidths exceeding those of commercial SLDs are possible. We demonstrate that the soliton states in microresonators exhibit a noise floor that is ca. 3 dB lower than for the SLD at identical power, but can exhibit significantly lower noise performance for powers at the milliWatt level. We perform SD-OCT imaging on an ex vivo fixed mouse brain tissue using the soliton microcomb, alongside an SLD for comparison, and demonstrate the principle viability of soliton based SD-OCT. Importantly, we demonstrate that classical amplitude noise of all soliton comb teeth are correlated, i.e. common mode, in contrast to SLD or incoherent microcomb states [4], which should, in theory, improve the image quality. Moreover, we demonstrate the potential for circular ranging, i.e. optical sub-sampling [5, 6], due to the high coherence and temporal periodicity of the soliton state. Taken together, our work indicates the promising properties of soliton microcombs for SD-OCT.


title: Slow interaction quench in BCS superconductors: emergence of pre-formed pairs

abstract: We investigate the non-equilibrium behavior of BCS superconductors subjected to slow ramps of their internal interaction strength. We identify three dynamical regimes as a function of ramp duration. For short ramp times, these systems become non-superconducting; however, fermions with opposite momenta remain paired albeit with reduced amplitudes, and the associated pair amplitude distribution is non-thermal. In this first regime, the disappearance of superconductivity is due to the loss of phase coherence between pairs. By contrast, for intermediate ramp times, superconductivity survives but the magnitude of the order parameter is reduced and presents long-lived oscillations. Finally, for long ramp times, phase coherence is almost fully retained during the slow interaction quench, and the steady-state is characterized by a thermal-like pair amplitude distribution. Using this approach, one can therefore dynamically tune the coherence between pairs in order to control the magnitude of the superconducting order parameter and even engineer a non-equilibrium state made of pre-formed pairs.


title: Randomization improved Strichartz estimates and global well-posedness for supercritical data

abstract: We introduce a novel data randomisation for the free wave equation which leads to the same range of Strichartz estimates as for radial data, albeit in a non-radial context. We then use these estimates to establish global well-posedness for a wave maps type nonlinear wave equation for certain supercritical data, provided the data are suitably small and randomised.


title: Micromagnetometry of two-dimensional ferromagnets

abstract: The study of atomically thin ferromagnetic crystals has led to the discovery of unusual magnetic behaviour and provided insight into the magnetic properties of bulk materials. However, the experimental techniques that have been used to explore ferromagnetism in such materials cannot probe the magnetic field directly. Here, we show that ballistic Hall micromagnetometry can be used to measure the magnetization of individual two-dimensional ferromagnets. Our devices are made by van der Waals assembly in such a way that the investigated ferromagnetic crystal is placed on top of a multi-terminal Hall bar made from encapsulated graphene. We use the micromagnetometry technique to study atomically thin chromium tribromide (CrBr3). We find that the material remains ferromagnetic down to monolayer thickness and exhibits strong out-of-plane anisotropy. We also find that the magnetic response of CrBr3 varies little with the number of layers and its temperature dependence cannot be described by the simple Ising model of two-dimensional ferromagnetism.


title: The role of the stochastic color field fluctuations on $J/\psi$ suppression in ultra-relativistic heavy-ion collisions

abstract: We consider the effect of the stochastic color field fluctuations in addition to the collisional as well as the radiative energy losses in the propagation of charm quarks in the hot and dense deconfined medium of quarks and gluons created in ultra-relativistic heavy-ion collisions. These fluctuations lead to energy gain of the propagating charm quarks. We construct and solve Langevin transport equations for charm quarks under the evolving background matter described by the ($3+1$)-D relativistic viscous hydrodynamics. Considering the energy gain of charm quarks, the nuclear modification factor $R_{AA}$ of $J/\psi$ is calculated. Interestingly, the experimental measurements for $J/\psi$ suppression in $Au-Au$ collisions at $\sqrt{s_{NN}} = 200$ GeV by PHENIX Collaboration and $Pb-Pb$ collisions at $\sqrt{s_{NN}} = 2.76$ TeV by ALICE and CMS Collaborations, can be nicely described with the effect of these field fluctuations without invoking the regeneration phenomena.


title: Effectiveness of Crypto-Transcoding for H.264/AVC and HEVC Video Bit-streams

abstract: To avoid delays arising from a need to decrypt a video prior to transcoding and then re-encrypt it afterwards, this paper assesses a selective encryption (SE) content protection scheme. The scheme is suited to both recent standardized codecs, namely H.264/Advanced Video Coding (AVC) and High Efficiency Video Coding (HEVC). Specifically, the paper outlines a joint crypto-transcoding scheme for secure transrating of a video bitstream. That is to say it generates new video bitrates, possibly as part of an HTTP Adaptive Streaming (HAS) content delivery network. The scheme will reduce the bitrate to one or more lower desired bit-rate without consuming time in the encryption/decryption process, which would be the case when full encryption is used. In addition, the decryption key no longer needs to be exposed at intermediate middleboxes, including when transrating is performed in a cloud datacenter. The effectiveness of the scheme is variously evaluated: by examination of the SE generated visual distortion; by the extent of computational and bitrate overheads; and by choice of cipher when encrypting the selected elements within the bitstream. Results indicate that there remains: a content; quantization level (after transrating of an encrypted video); and codec-type dependency to any distortion introduced. A further recommendation is that the Advanced Encryption Standard (AES) is preferred for SE to lightweight XOR encryption, despite it being taken up elsewhere as a real-time encryption method.


title: Realizations of groups of piecewise continuous transformations of the circle

abstract: We study the near action of the group PC of piecewise continuous self-transformations of the circle. Elements of this group are only defined modulo indeterminacy on a finite subset, which raises the question of realizability: a subgroup of PC is said to be realizable if it can be lifted to a group of permutations of the circle. We show that every finitely generated abelian subgroup of PC is realizable. We show that this is not true for arbitrary subgroups, by exhibiting a non-realizable finitely generated subgroup of the group of interval exchanges with flips. The group of (oriented) interval exchanges is obviously realizable (choosing the unique left-continuous representative). We show that it has only two realizations (up to conjugation by a finitely supported permutation): the left and right-continuous ones.


title: Stochastic Conditional Gradient++

abstract: In this paper, we consider the general non-oblivious stochastic optimization where the underlying stochasticity may change during the optimization procedure and depends on the point at which the function is evaluated. We develop Stochastic Frank-Wolfe++ ($\text{SFW}{++} $), an efficient variant of the conditional gradient method for minimizing a smooth non-convex function subject to a convex body constraint. We show that $\text{SFW}{++} $ converges to an $\epsilon$-first order stationary point by using $O(1/\epsilon^3)$ stochastic gradients. Once further structures are present, $\text{SFW}{++}$'s theoretical guarantees, in terms of the convergence rate and quality of its solution, improve. In particular, for minimizing a convex function, $\text{SFW}{++} $ achieves an $\epsilon$-approximate optimum while using $O(1/\epsilon^2)$ stochastic gradients. It is known that this rate is optimal in terms of stochastic gradient evaluations. Similarly, for maximizing a monotone continuous DR-submodular function, a slightly different form of $\text{SFW}{++} $, called Stochastic Continuous Greedy++ ($\text{SCG}{++} $), achieves a tight $[(1-1/e)\text{OPT} -\epsilon]$ solution while using $O(1/\epsilon^2)$ stochastic gradients. Through an information theoretic argument, we also prove that $\text{SCG}{++} $'s convergence rate is optimal. Finally, for maximizing a non-monotone continuous DR-submodular function, we can achieve a $[(1/e)\text{OPT} -\epsilon]$ solution by using $O(1/\epsilon^2)$ stochastic gradients. We should highlight that our results and our novel variance reduction technique trivially extend to the standard and easier oblivious stochastic optimization settings for (non-)covex and continuous submodular settings.


title: Detecting Heavy Hitters in the Data-plane

abstract: The ability to detect, in real-time, heavy hitters is beneficial to many network applications, such as DoS and anomaly detection. Through programmable languages as P4, heavy hitter detection can be implemented directly in the data-plane, allowing custom actions to be applied to packets as they are processed at a network node. This enables networks to immediately respond to changes in network traffic in the data-plane itself and allows for different QoS profiles for heavy hitter and non-heavy hitter traffic. Current interval-based methods that flush the whole counting structure are not well-suited for programmable hardware (the data-plane), because they either require more resources than available in that hardware, they do not provide good accuracy, or require too many actions from the control-plane. A sliding window approach that maintains accuracy over time would solve these issues. However, to the best of our knowledge, the concept of sliding windows in programmable hardware has not been studied yet. In this paper, we develop streaming approaches to detect heavy hitters in the data-plane. We consider the problems of (1) adopting a sliding window and (2) identifying heavy hitters separately and propose multiple memory- and processing-efficient solutions for each of them. These solutions are suitable for P4 programmable hardware and can be combined at will to solve the streaming variant of the heavy hitter detection problem.


title: A closed-form filter for binary time series

abstract: Non-Gaussian state-space models arise in several applications, and within this framework the binary time series setting provides a relevant example. However, unlike for Gaussian state-space models - where filtering, predictive and smoothing distributions are available in closed form - binary state-space models require approximations or sequential Monte Carlo strategies for inference and prediction. This is due to the apparent absence of conjugacy between the Gaussian states and the likelihood induced by the observation equation for the binary data. In this article we prove that the filtering, predictive and smoothing distributions in dynamic probit models with Gaussian state variables are, in fact, available and belong to a class of unified skew-normals (SUN) whose parameters can be updated recursively in time via analytical expressions. Also the key functionals of these distributions are, in principle, available, but their calculation requires the evaluation of multivariate Gaussian cumulative distribution functions. Leveraging SUN properties, we address this issue via novel Monte Carlo methods based on independent samples from the smoothing distribution, that can easily be adapted to the filtering and predictive case, thus improving state-of-the-art approximate and sequential Monte Carlo inference in small-to-moderate dimensional studies. Novel sequential Monte Carlo procedures that exploit the SUN properties are also developed to deal with online inference in high dimensions. Performance gains over competitors are outlined in a financial application.


title: Topology and localization of a periodically driven Kitaev model

abstract: Periodically driven quantum many-body systems support anomalous topological phases of matter, which cannot be realized by static systems. In many cases, these anomalous phases can be many-body localized, which implies that they are stable and do not heat up as a result of the driving. What types of anomalous topological phenomena can be stabilized in driven systems, and in particular, can an anomalous phase exhibiting non-Abelian anyons be stabilized? We address this question using an exactly solvable, stroboscopically driven 2D Kitaev spin model, in which anisotropic exchange couplings are boosted at consecutive time intervals. The model shows a rich phase diagram which contains anomalous topological phases. We characterize these phases using weak and strong scattering-matrix invariants defined for the fermionic degrees of freedom. Of particular importance is an anomalous phase whose zero flux sector exhibits fermionic bands with zero Chern numbers, while a vortex binds a pair of Majorana modes, which as we show support non-Abelian braiding statistics. We further show that upon adding disorder, the zero flux sector of the model becomes localized. However, the model does not remain localized for a finite density of vortices. Hybridization of Majorana modes bound to vortices form "vortex bands", which delocalize by either forming Chern bands or a thermal metal phase. We conclude that while the model cannot be many-body localized, it may still exhibit long thermalization times, owing to the necessity to create a finite density of vortices for delocalization to occur.


title: Agent Madoff: A Heuristic-Based Negotiation Agent For The Diplomacy Strategy Game

abstract: In this paper, we present the strategy of Agent Madoff, which is a heuristic-based negotiation agent that won 2nd place at the Automated Negotiating Agents Competition (ANAC 2017). Agent Madoff is implemented to play the game Diplomacy, which is a strategic board game that mimics the situation during World War I. Each player represents a major European power which has to negotiate with other forces and win possession of a majority supply centers on the map. We propose a design architecture which consists of 3 components: heuristic module, acceptance strategy and bidding strategy. The heuristic module, responsible for evaluating which regions on the graph are more worthy, considers the type of region and the number of supply centers adjacent to the region and return a utility value for each region on the map. The acceptance strategy is done on a case-by-case basis according to the type of the order by calculating the acceptance probability using a composite function. The bidding strategy adopts a defensive approach aimed to neutralize attacks and resolve conflict moves with other players to minimize our loss on supply centers.


title: Interactive Restriction of a Mobile Robot's Workspace in a Smart Home Environment

abstract: Virtual borders are employed to allow humans the interactive and flexible restriction of their mobile robots' workspaces in human-centered environments, e.g. to exclude privacy zones from the workspace or to indicate certain areas for working. They have been successfully specified in interaction processes using methods from human-robot interaction. However, these methods often lack an expressive feedback system, are restricted to robot's on-board interaction capabilities and require a direct line of sight between human and robot. This negatively affects the user experience and interaction time. Therefore, we investigate the effect of a smart environment on the teaching of virtual borders with the objective to enhance the perceptual and interaction capabilities of a robot. For this purpose, we propose a novel interaction method based on a laser pointer, that leverages a smart home environment in the interaction process. This interaction method comprises an architecture for a smart home environment designed to support the interaction process, the cooperation of human, robot and smart environment in the interaction process, a cooperative perception including stationary and mobile cameras to perceive laser spots and an algorithm to extract virtual borders from multiple camera observations. The results of an experimental evaluation support our hypotheses that our novel interaction method features a significantly shorter interaction time and a better user experience compared to an approach without support of a smart environment. Moreover, the interaction method does not negatively affect other user requirements concerning completeness and accuracy.


title: On the spectral properties of real anti-tridiagonal Hankel matrices

abstract: In this paper we express the eigenvalues of real anti-tridiagonal Hankel matrices as the zeros of given rational functions. We still derive eigenvectors for these structured matrices at the expense of prescribed eigenvalues.


title: A Numerical Investigation on the High-Frequency Geometry of Spherical Random Eigenfunctions

abstract: A lot of attention has been drawn over the last few years by the investigation of the geometry of spherical random eigenfunctions (random spherical harmonics) in the high frequency regime, i.e ., for diverging eigenvalues. In this paper, we present a review of these results and we collect for the first time a comprehensive numerical investigation, focussing on particular on the behaviour of Lipschitz-Killing curvatures/Minkowski functionals (i.e., the area, the boundary length and the Euler-Poincar\'e characteristic of excursion sets) and on critical points. We show in particular that very accurate analytic predictions exist for their expected values and variances, for the correlation among these functionals, and for the cancellation that occurs for some specific thresholds (the variances becoming an order of magnitude smaller - the so-called Berry's cancellation phenomenon). Most of these functionals can be used for important statistical applications, for instance in connection to the analysis of Cosmic Microwave Background data.