title: A Survey for C II Emission-Line Stars in the Large Magellanic Cloud

abstract: We present a narrow-band imaging survey of the Large Magellanic Cloud, designed to isolate the C II $\lambda\lambda$7231, 7236 emission lines in objects as faint as $m_{\lambda7400}\sim18$. The work is motivated by the recent serendipitous discovery in the LMC of the first confirmed extragalactic [WC11] star, whose spectrum is dominated by C II emission, and the realization that the number of such objects is currently largely unconstrained. The survey, which imaged $\sim$50$~$deg$^2$ using on-band and off-band filters, will significantly increase the total census of these rare stars. In addition, each new LMC [WC] star has a known luminosity, a quantity quite uncertain in the Galactic sample. Multiple known C II emitters were easily recovered, validating the survey design. We find 38 new C II emission candidates; spectroscopy of the complete sample will be needed to ascertain their nature. In a preliminary spectroscopic reconnaissance, we observed three candidates, finding C II emission in each. One is a new [WC11]. Another shows both the narrow C II emission lines characteristic of a [WC11], but also broad emission of C IV, O V, and He II characteristic of a much hotter [WC4] star; we speculate that this is a binary [WC]. The third object shows weak C II emission, but the spectrum is dominated by a dense thicket of strong absorption lines, including numerous O II transitions. We conclude it is likely an unusual hot, hydrogen-poor post-AGB star, possibly in transition from [WC] to white dwarf. Even lacking a complete spectroscopic program, we can infer that late [WC] stars do not dominate the central stars of LMC planetary nebulae, and that the detected C II emitters are largely of an old population.


title: Characterizing Sociolinguistic Variation in the Competing Vaccination Communities

abstract: Public health practitioners and policy makers grapple with the challenge of devising effective message-based interventions for debunking public health misinformation in cyber communities. "Framing" and "personalization" of the message is one of the key features for devising a persuasive messaging strategy. For an effective health communication, it is imperative to focus on "preference-based framing" where the preferences of the target sub-community are taken into consideration. To achieve that, it is important to understand and hence characterize the target sub-communities in terms of their social interactions. In the context of health-related misinformation, vaccination remains to be the most prevalent topic of discord. Hence, in this paper, we conduct a sociolinguistic analysis of the two competing vaccination communities on Twitter: "pro-vaxxers" or individuals who believe in the effectiveness of vaccinations, and "anti-vaxxers" or individuals who are opposed to vaccinations. Our data analysis show significant linguistic variation between the two communities in terms of their usage of linguistic intensifiers, pronouns, and uncertainty words. Our network-level analysis show significant differences between the two communities in terms of their network density, echo-chamberness, and the EI index. We hypothesize that these sociolinguistic differences can be used as proxies to characterize and understand these communities to devise better message interventions.


title: Visual-based Kinematics and Pose Estimation for Skid-Steering Robots

abstract: To build commercial robots, skid-steering mechanical design is of increased popularity due to its manufacturing simplicity and unique mechanism. However, these also cause significant challenges on software and algorithm design, especially for the pose estimation (i.e., determining the robot's rotation and position) of skid-steering robots, since they change their orientation with an inevitable skid. To tackle this problem, we propose a probabilistic sliding-window estimator dedicated to skid-steering robots, using measurements from a monocular camera, the wheel encoders, and optionally an inertial measurement unit (IMU). Specifically, we explicitly model the kinematics of skid-steering robots by both track instantaneous centers of rotation (ICRs) and correction factors, which are capable of compensating for the complexity of track-to-terrain interaction, the imperfectness of mechanical design, terrain conditions and smoothness, etc. To prevent performance reduction in robots' long-term missions, the time- and location- varying kinematic parameters are estimated online along with pose estimation states in a tightly-coupled manner. More importantly, we conduct in-depth observability analysis for different sensors and design configurations in this paper, which provides us with theoretical tools in making the correct choice when building real commercial robots. In our experiments, we validate the proposed method by both simulation tests and real-world experiments, which demonstrate that our method outperforms competing methods by wide margins.


title: Inflation in $f(R,T)$ Gravity

abstract: The article presents modeling of inflationary scenarios for the first time in the $f(R,T)$ theory of gravity. We assume the $f(R,T)$ functional from to be $R + \eta T$, where $R$ denotes the Ricci scalar, $T$ the trace of the energy-momentum tensor and $\eta$ the model parameter (constant). We first investigated an inflationary scenario where the inflation is driven purely due to geometric effects outside of GR. We found the inflation observables to be independent of the number of e-foldings in this setup. The computed value of the spectral index is consistent with latest Planck 2018 dataset while the scalar to tensor ratio is a bit higher. We then proceeded to analyze the behavior of an inflation driven by $f(R,T)$ gravity coupled with a real scalar field. By taking the slow-roll approximation, we generated interesting scenarios where a Klein Gordon potential leads to observationally consistent inflation observables. Our results makes it clear-cut that in addition to the Ricci scalar and scalar fields, the trace of energy momentum tensor also play a major role in driving inflationary scenarios.


title: PSPACE-completeness of Pulling Blocks to Reach a Goal

abstract: We prove PSPACE-completeness of all but one problem in a large space of pulling-block problems where the goal is for the agent to reach a target destination. The problems are parameterized by whether pulling is optional, the number of blocks which can be pulled simultaneously, whether there are fixed blocks or thin walls, and whether there is gravity. We show NP-hardness for the remaining problem, Pull?-1FG (optional pulling, strength 1, fixed blocks, with gravity).


title: A Decentralized Policy Gradient Approach to Multi-task Reinforcement Learning

abstract: We develop a mathematical framework for solving multi-task reinforcement learning (MTRL) problems based on a type of policy gradient method. The goal in MTRL is to learn a common policy that operates effectively in different environments; these environments have similar (or overlapping) state spaces, but have different rewards and dynamics. We highlight two fundamental challenges in MTRL that are not present in its single task counterpart, and illustrate them with simple examples. We then develop a decentralized entropy-regularized policy gradient method for solving the MTRL problem, and study its finite-time convergence rate. We demonstrate the effectiveness of the proposed method using a series of numerical experiments. These experiments range from small-scale "GridWorld" problems that readily demonstrate the trade-offs involved in multi-task learning to large-scale problems, where common policies are learned to navigate an airborne drone in multiple (simulated) environments.


title: Interacting Tsallis and R\'enyi Holographic Dark Energy with Hybrid Expansion Law

abstract: The manuscript presents the dynamics of Tsallis holographic dark energy (THDE) and R\'enyi holographic dark energy (RHDE) prescribed by a non-linear interaction in the FRW spacetime and for a scale factor evolving with a composite power law-exponential (hybrid) form. To construct the energy densities of these holographic dark energy models, I assume the Hubble cutoff to be the IR limit. I find that the deceleration parameter undergoes a signature flipping at a redshift $z$ consistent with observations. The EoS parameter $\omega_{de}$ for both the HDE models exhibit quite contrasting dynamical behavior despite assuming values close to $-1$ at $z=0$ and therefore consistent with current observations. Next, I find the squared sound speed $c_{s}^{2}$ to be positive for the THDE model ensuring stability against perturbations, whereas for the RHDE model, $c_{s}^{2}<0$ implying instability against perturbations. Furthermore, I analyzed the evolutionary behavior of the EoS parameter of the HDE models by constructing the $\omega_{de}-\omega_{de}^{'}$ plane and find that the plane lies in the freezing region for the THDE model and in the thawing region for the RHDE model.


title: The Strength of Nesterov's Extrapolation in the Individual Convergence of Nonsmooth Optimization

abstract: The extrapolation strategy raised by Nesterov, which can accelerate the convergence rate of gradient descent methods by orders of magnitude when dealing with smooth convex objective, has led to tremendous success in training machine learning tasks. In this article, the convergence of individual iterates of projected subgradient (PSG) methods for nonsmooth convex optimization problems is theoretically studied based on Nesterov's extrapolation, which we name individual convergence. We prove that Nesterov's extrapolation has the strength to make the individual convergence of PSG optimal for nonsmooth problems. In light of this consideration, a direct modification of the subgradient evaluation suffices to achieve optimal individual convergence for strongly convex problems, which can be regarded as making an interesting step toward the open question about stochastic gradient descent (SGD) posed by Shamir. Furthermore, we give an extension of the derived algorithms to solve regularized learning tasks with nonsmooth losses in stochastic settings. Compared with other state-of-the-art nonsmooth methods, the derived algorithms can serve as an alternative to the basic SGD especially in coping with machine learning problems, where an individual output is needed to guarantee the regularization structure while keeping an optimal rate of convergence. Typically, our method is applicable as an efficient tool for solving large-scale $l$1-regularized hinge-loss learning problems. Several comparison experiments demonstrate that our individual output not only achieves an optimal convergence rate but also guarantees better sparsity than the averaged solution.


title: Charge correlation in V$_2$OPO$_4$ probed by hard x-ray photoemission spectroscopy

abstract: Electronic properties of V$_2$OPO$_4$ have been investigated by means of hard x-ray photoemission spectroscopy (HAXPES) and subsequent theoretical calculations. The V 1$s$ and 2$p$ HAXPES spectra are consistent with the charge ordering of V$^{2+}$ and V$^{3+}$. The binding energy difference between the V$^{2+}$ and V$^{3+}$ components is unexpectedly large indicating large bonding-antibonding splitting between them in the final states of core level photoemission. The V 1$s$ HAXPES spectrum exhibits a charge transfer satellite which can be analyzed by configuration interaction calculations on a V$_2$O$_9$ cluster. The V 3$d$ spectral weight near the Fermi level is assigned to the 3$d$ $t_{2g}$ orbitals of the V$^{2+}$ site. The broad V 3$d$ spectral distribution is consistent with the strong hybridization between V$^{2+}$ and V$^{3+}$ in the ground state. The core level and valence band HAXPES results indicate substantial charge transfer from the V$^{2+}$ site to the V$^{3+}$ site.7 figure


title: Joint Sensor Node Selection and State Estimation for Nonlinear Networks and Systems

abstract: State estimation and sensor selection problems for nonlinear networks and systems are ubiquitous problems that are important for the control, monitoring, analysis, and prediction of a large number of engineered and physical systems. Sensor selection problems are extensively studied for linear networks. However, less attention has been dedicated to networks with nonlinear dynamics. Furthermore, widely used sensor selection methods relying on structural (graph-based) observability approaches might produce far from optimal results when applied to nonlinear network dynamics. In addition, state estimation and sensor selection problems are often treated separately, and this might decrease the overall estimation performance. To address these challenges, we develop a novel methodology for selecting sensor nodes for networks with nonlinear dynamics. Our main idea is to incorporate the sensor selection problem into an initial state estimation problem. The resulting mixed-integer nonlinear optimization problem is approximately solved using three methods. The good numerical performance of our approach is demonstrated by testing the algorithms on prototypical Duffing oscillator, associative memory, and chemical reaction networks. The developed codes are available online.


title: Deep Neural Network Based Real-time Kiwi Fruit Flower Detection in an Orchard Environment

abstract: In this paper, we present a novel approach to kiwi fruit flower detection using Deep Neural Networks (DNNs) to build an accurate, fast, and robust autonomous pollination robot system. Recent work in deep neural networks has shown outstanding performance on object detection tasks in many areas. Inspired this, we aim for exploiting DNNs for kiwi fruit flower detection and present intensive experiments and their analysis on two state-of-the-art object detectors; Faster R-CNN and Single Shot Detector (SSD) Net, and feature extractors; Inception Net V2 and NAS Net with real-world orchard datasets. We also compare those approaches to find an optimal model which is suitable for a real-time agricultural pollination robot system in terms of accuracy and processing speed. We perform experiments with dataset collected from different seasons and locations (spatio-temporal consistency) in order to demonstrate the performance of the generalized model. The proposed system demonstrates promising results of 0.919, 0.874, and 0.889 for precision, recall, and F1-score respectively on our real-world dataset, and the performance satisfies the requirement for deploying the system onto an autonomous pollination robotics system.


abstract: We investigate Euclidean wormholes in Gauss-Bonnet-dilaton gravity to explain the creation of the universe from nothing. We considered two types of dilaton couplings (i.e., the string-inspired model and the Gaussian model) and we obtained qualitatively similar results. There can exist Euclidean wormholes that explain the possible origin of our universe, where the dilaton field is located over the barrier of dilaton potential. This solution can exist even if dilaton potential does not satisfy slow-roll conditions. In addition, the probability is higher than that of the Hawking-Moss instanton with the same final condition. Therefore, Euclidean wormholes in Gauss-Bonnet-dilaton gravity are a possible and probable scenario, which explains the origin of our universe.


title: Fast Synthetic LiDAR Rendering via Spherical UV Unwrapping of Equirectangular Z-Buffer Images

abstract: LiDAR data is becoming increasingly essential with the rise of autonomous vehicles. Its ability to provide 360deg horizontal field of view of point cloud, equips self-driving vehicles with enhanced situational awareness capabilities. While synthetic LiDAR data generation pipelines provide a good solution to advance the machine learning research on LiDAR, they do suffer from a major shortcoming, which is rendering time. Physically accurate LiDAR simulators (e.g. Blensor) are computationally expensive with an average rendering time of 14-60 seconds per frame for urban scenes. This is often compensated for via using 3D models with simplified polygon topology (low poly assets) as is the case of CARLA (Dosovitskiy et al., 2017). However, this comes at the price of having coarse grained unrealistic LiDAR point clouds. In this paper, we present a novel method to simulate LiDAR point cloud with faster rendering time of 1 sec per frame. The proposed method relies on spherical UV unwrapping of Equirectangular Z-Buffer images. We chose Blensor (Gschwandtner et al., 2011) as the baseline method to compare the point clouds generated using the proposed method. The reported error for complex urban landscapes is 4.28cm for a scanning range between 2-120 meters with Velodyne HDL64-E2 parameters. The proposed method reported a total time per frame to 3.2 +/- 0.31 seconds per frame. In contrast, the BlenSor baseline method reported 16.2 +/- 1.82 seconds.


title: Bilinear Hilbert Transforms and (Sub)Bilinear Maximal Functions along Convex Curves

abstract: In this paper, we determine the $L^p(\mathbb{R})\times L^q(\mathbb{R})\rightarrow L^r(\mathbb{R})$ boundedness of the bilinear Hilbert transform $H_{\gamma}(f,g)$ along a convex curve $\gamma$ $$H_{\gamma}(f,g)(x):=\mathrm{p.\,v.}\int_{-\infty}^{\infty}f(x-t)g(x-\gamma(t)) \,\frac{\textrm{d}t}{t},$$ where $p$, $q$, and $r$ satisfy $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$, and $r>\frac{1}{2}$, $p>1$, and $q>1$. Moreover, the same $L^p(\mathbb{R})\times L^q(\mathbb{R})\rightarrow L^r(\mathbb{R})$ boundedness property holds for the corresponding (sub)bilinear maximal function $M_{\gamma}(f,g)$ along a convex curve $\gamma$ $$M_{\gamma}(f,g)(x):=\sup_{\varepsilon>0}\frac{1}{2\varepsilon}\int_{-\varepsilon}^{\varepsilon}|f(x-t)g(x-\gamma(t))| \,\textrm{d}t.$$


title: Confidence sequences for sampling without replacement

abstract: Many practical tasks involve sampling sequentially without replacement (WoR) from a finite population of size $N$, in an attempt to estimate some parameter $\theta^\star$. Accurately quantifying uncertainty throughout this process is a nontrivial task, but is necessary because it often determines when we stop collecting samples and confidently report a result. We present a suite of tools for designing confidence sequences (CS) for $\theta^\star$. A CS is a sequence of confidence sets $(C_n)_{n=1}^N$, that shrink in size, and all contain $\theta^\star$ simultaneously with high probability. We present a generic approach to constructing a frequentist CS using Bayesian tools, based on the fact that the ratio of a prior to the posterior at the ground truth is a martingale. We then present Hoeffding- and empirical-Bernstein-type time-uniform CSs and fixed-time confidence intervals for sampling WoR, which improve on previous bounds in the literature and explicitly quantify the benefit of WoR sampling.


title: Supplementary Variable Method for Developing Structure-Preserving Numerical Approximations to Thermodynamically Consistent Partial Differential Equations

abstract: We present a new temporal discretization paradigm for developing energy-production-rate preserving numerical approximations to thermodynamically consistent partial differential equation systems, called the supplementary variable method. The central idea behind it is to introduce a supplementary variable to the thermodynamically consistent model to make the over-determined equation system, consisting of the thermodynamically consistent PDE system, the energy definition and the energy dissipation equation, structurally stable. The supplementary variable allows one to retain the consistency between the energy dissipation equation and the PDE system after the temporal discretization. We illustrate the method using a dissipative gradient flow model. Among virtually infinite many possibilities, we present two ways to add the supplementary variable in the gradient flow model to develop energy-dissipation-rate preserving algorithms. Spatial discretizations are carried out using the pseudo-spectral method. We then compare the two new schemes with the energy stable SAV scheme and the fully implicit Crank-Nicolson scheme. The results favor the new schemes in the overall performance. This new numerical paradigm can be applied to any thermodynamically consistent models.


title: Distributional Robustness with IPMs and links to Regularization and GANs

abstract: Robustness to adversarial attacks is an important concern due to the fragility of deep neural networks to small perturbations and has received an abundance of attention in recent years. Distributionally Robust Optimization (DRO), a particularly promising way of addressing this challenge, studies robustness via divergence-based uncertainty sets and has provided valuable insights into robustification strategies such as regularization. In the context of machine learning, the majority of existing results have chosen $f$-divergences, Wasserstein distances and more recently, the Maximum Mean Discrepancy (MMD) to construct uncertainty sets. We extend this line of work for the purposes of understanding robustness via regularization by studying uncertainty sets constructed with Integral Probability Metrics (IPMs) - a large family of divergences including the MMD, Total Variation and Wasserstein distances. Our main result shows that DRO under \textit{any} choice of IPM corresponds to a family of regularization penalties, which recover and improve upon existing results in the setting of MMD and Wasserstein distances. Due to the generality of our result, we show that other choices of IPMs correspond to other commonly used penalties in machine learning. Furthermore, we extend our results to shed light on adversarial generative modelling via $f$-GANs, constituting the first study of distributional robustness for the $f$-GAN objective. Our results unveil the inductive properties of the discriminator set with regards to robustness, allowing us to give positive comments for several penalty-based GAN methods such as Wasserstein-, MMD- and Sobolev-GANs. In summary, our results intimately link GANs to distributional robustness, extend previous results on DRO and contribute to our understanding of the link between regularization and robustness at large.


title: Topologically different spin disorder phases of the J1-J2 Heisenberg model on the honeycomb lattice

abstract: Searching for spin liquids on the honeycomb J1-J2 Heisenberg model has been attracting great attention in the past decade. In this Paper we investigate the topological properties of the J1-J2 Heisenberg model by introducing nearest-neighbour and next-nearest-neighbour bond parameters. We find that there exist two topologically different phases in the spin disordered regime 0.2<J2/J1<0.5: for J2/J1<0.32, the system is a zero-flux spin liquid which is topological trivial and gapless; for J2/J1>0.32, it is a pi-flux chiral spin liquid, which is topological nontrivial and gapped. These results suggest that there exist two topologically different spin disorder phases in honeycomb J1-J2 Heisenberg model.


title: Near-Perfect Recovery in the One-Dimensional Latent Space Model

abstract: Suppose a graph $G$ is stochastically created by uniformly sampling vertices along a line segment and connecting each pair of vertices with a probability that is a known decreasing function of their distance. We ask if it is possible to reconstruct the actual positions of the vertices in $G$ by only observing the generated unlabeled graph. We study this question for two natural edge probability functions -- one where the probability of an edge decays exponentially with the distance and another where this probability decays only linearly. We initiate our study with the weaker goal of recovering only the order in which vertices appear on the line segment. For a segment of length $n$ and a precision parameter $\delta$, we show that for both exponential and linear decay edge probability functions, there is an efficient algorithm that correctly recovers (up to reflection symmetry) the order of all vertices that are at least $\delta$ apart, using only $\tilde{O}(\frac{n}{\delta ^ 2})$ samples (vertices). Building on this result, we then show that $O(\frac{n^2 \log n}{\delta ^2})$ vertices (samples) are sufficient to additionally recover the location of each vertex on the line to within a precision of $\delta$. We complement this result with an $\Omega (\frac{n^{1.5}}{\delta})$ lower bound on samples needed for reconstructing positions (even by a computationally unbounded algorithm), showing that the task of recovering positions is information-theoretically harder than recovering the order. We give experimental results showing that our algorithm recovers the positions of almost all points with high accuracy.


title: Eigenvalues of the Liouvillians of Quantum Master Equation for a Harmonic Oscillator

abstract: The eigenvalues of the Liouvillians of Markovian master equation for a harmonic oscillator have a generic form. The Liouvillians considered are quadratic in the position coordinates or creation and annihilation operators, as well as having positive renormalized frequencies. We prove this by showing that a generic Liouvillian of this form can be similarly related to the Liouvillian of the Kossakowski--Lindblad equation, whose eigenvalues are already known. The left and right eigenfunctions of the generic Liouvillian also form a complete and biorthogonal set. Examples of similarly related right eigenfunctions are given.


title: Stable Reinforcement Learning with Unbounded State Space

abstract: We consider the problem of reinforcement learning (RL) with unbounded state space motivated by the classical problem of scheduling in a queueing network. Traditional policies as well as error metric that are designed for finite, bounded or compact state space, require infinite samples for providing any meaningful performance guarantee (e.g. $\ell_\infty$ error) for unbounded state space. That is, we need a new notion of performance metric. As the main contribution of this work, inspired by the literature in queuing systems and control theory, we propose stability as the notion of "goodness": the state dynamics under the policy should remain in a bounded region with high probability. As a proof of concept, we propose an RL policy using Sparse-Sampling-based Monte Carlo Oracle and argue that it satisfies the stability property as long as the system dynamics under the optimal policy respects a Lyapunov function. The assumption of existence of a Lyapunov function is not restrictive as it is equivalent to the positive recurrence or stability property of any Markov chain, i.e., if there is any policy that can stabilize the system then it must possess a Lyapunov function. And, our policy does not utilize the knowledge of the specific Lyapunov function. To make our method sample efficient, we provide an improved, sample efficient Sparse-Sampling-based Monte Carlo Oracle with Lipschitz value function that may be of interest in its own right. Furthermore, we design an adaptive version of the algorithm, based on carefully constructed statistical tests, which finds the correct tuning parameter automatically.


title: A Model-free Learning Algorithm for Infinite-horizon Average-reward MDPs with Near-optimal Regret

abstract: Recently, model-free reinforcement learning has attracted research attention due to its simplicity, memory and computation efficiency, and the flexibility to combine with function approximation. In this paper, we propose Exploration Enhanced Q-learning (EE-QL), a model-free algorithm for infinite-horizon average-reward Markov Decision Processes (MDPs) that achieves regret bound of $O(\sqrt{T})$ for the general class of weakly communicating MDPs, where $T$ is the number of interactions. EE-QL assumes that an online concentrating approximation of the optimal average reward is available. This is the first model-free learning algorithm that achieves $O(\sqrt T)$ regret without the ergodic assumption, and matches the lower bound in terms of $T$ except for logarithmic factors. Experiments show that the proposed algorithm performs as well as the best known model-based algorithms.


title: $K_{r+1}$-saturated graphs with small spectral radius

abstract: For a graph $H$, a graph $G$ is $H$-saturated if $G$ does not contain $H$ as a subgraph but for any $e \in E(\overline{G})$, $G+e$ contains $H$. In this note, we prove a sharp lower bound for the number of paths and walks on length $2$ in $n$-vertex $K_{r+1}$-saturated graphs. We then use this bound to give a lower bound on the spectral radii of such graphs which is asymptotically tight for each fixed $r$ and $n\to\infty$.


title: Associate-3Ddet: Perceptual-to-Conceptual Association for 3D Point Cloud Object Detection

abstract: Object detection from 3D point clouds remains a challenging task, though recent studies pushed the envelope with the deep learning techniques. Owing to the severe spatial occlusion and inherent variance of point density with the distance to sensors, appearance of a same object varies a lot in point cloud data. Designing robust feature representation against such appearance changes is hence the key issue in a 3D object detection method. In this paper, we innovatively propose a domain adaptation like approach to enhance the robustness of the feature representation. More specifically, we bridge the gap between the perceptual domain where the feature comes from a real scene and the conceptual domain where the feature is extracted from an augmented scene consisting of non-occlusion point cloud rich of detailed information. This domain adaptation approach mimics the functionality of the human brain when proceeding object perception. Extensive experiments demonstrate that our simple yet effective approach fundamentally boosts the performance of 3D point cloud object detection and achieves the state-of-the-art results.


title: Neural Sparse Representation for Image Restoration

abstract: Inspired by the robustness and efficiency of sparse representation in sparse coding based image restoration models, we investigate the sparsity of neurons in deep networks. Our method structurally enforces sparsity constraints upon hidden neurons. The sparsity constraints are favorable for gradient-based learning algorithms and attachable to convolution layers in various networks. Sparsity in neurons enables computation saving by only operating on non-zero components without hurting accuracy. Meanwhile, our method can magnify representation dimensionality and model capacity with negligible additional computation cost. Experiments show that sparse representation is crucial in deep neural networks for multiple image restoration tasks, including image super-resolution, image denoising, and image compression artifacts removal. Code is available at https://github.com/ychfan/nsr


title: Quantum correlations and quantum-memory-assisted entropic uncertainty relation in a quantum dot system

abstract: The uncertainty principle is one of the comprehensive and fundamental concept in quantum theory. This principle states that it is not possible to simultaneously measure two incompatible observatories with high accuracy. Uncertainty principle has been formulated in various form. The most famous type of uncertainty relation is expressed based on the standard deviation of observables. In quantum information theory the uncertainty principle can be formulated using Shannon and von Neumann entropy. Entropic uncertainty relation in the presence of quantum memory is one of the most useful entropic uncertainty relations. Due to their importance and scalability, solid state systems have received considerable attention nowadays. In this work we will consider a quantum dot system as a solid state system. We will study the quantum correlation and quantum memory assisted entropic uncertainty in this typ of system. We will show that the temperature in of quantum dot system can affect the quantum correlation and entropic uncertainty bound. It will be observed that the entropic uncertainty bound decreases with decreasing temperature and quantum correlations decreases with increasing the temperature.


title: Robust Controller Design for Stochastic Nonlinear Systems via Convex Optimization

abstract: This paper presents ConVex optimization-based Stochastic steady-state Tracking Error Minimization (CV-STEM), a new state feedback control framework for a class of Ito stochastic nonlinear systems and Lagrangian systems. Its innovation lies in computing the control input by an optimal contraction metric, which greedily minimizes an upper bound of the steady-state mean squared tracking error of the system trajectories. Although the problem of minimizing the bound is non-convex, its equivalent convex formulation is proposed utilizing state-dependent coefficient parameterizations of the nonlinear system equation. It is shown using stochastic incremental contraction analysis that the CV-STEM provides a sufficient guarantee for exponential boundedness of the error for all time with L2-robustness properties. For the sake of its sampling-based implementation, we present discrete-time stochastic contraction analysis with respect to a state- and time-dependent metric along with its explicit connection to continuous-time cases. We validate the superiority of the CV-STEM to PID, H-infinity, and baseline nonlinear controllers for spacecraft attitude control and synchronization problems.


title: A note on Harmonic Gauge(s) in Massive Gravity

abstract: We consider the harmonic gauge condition in linearized gravity, seen as a gauge theory for a symmetric tensor field. Once the harmonic gauge condition is implemented, as customary, according to the Faddeev-Popov procedure, the gauge fixed action still depends on one gauge parameter. Consequently, the harmonic gauge appears to be a class of conditions, rather than a particular one. This allows to give a physical motivation for the covariant harmonic gauge(s), which emerges when the gravitational perturbation is given a mass term. In fact, for a particular choice of harmonic gauge, we find a theory of linearized massive gravity displaying five degrees of freedom, as it should, and which is not affected by the vDVZ discontinuity, differently from what happens in the standard Fierz-Pauli theory.


title: Neural Contraction Metrics for Robust Estimation and Control: A Convex Optimization Approach

abstract: This paper presents a new deep learning-based framework for robust nonlinear estimation and control using the concept of a Neural Contraction Metric (NCM). The NCM uses a deep long short-term memory recurrent neural network for a global approximation of an optimal contraction metric, the existence of which is a necessary and sufficient condition for exponential stability of nonlinear systems. The optimality stems from the fact that the contraction metrics sampled offline are the solutions of a convex optimization problem to minimize an upper bound of the steady-state Euclidean distance between perturbed and unperturbed system trajectories. We demonstrate how to exploit NCMs to design an online optimal estimator and controller for nonlinear systems with bounded disturbances utilizing their duality. The performance of our framework is illustrated through Lorenz oscillator state estimation and spacecraft optimal motion planning problems.


title: Narrow-Band Signal Localization for SETI on Noisy Synthetic Spectrogram Data

abstract: As it stands today, the search for extraterrestrial intelligence (SETI) is highly dependent on our ability to detect interesting candidate signals, or technosignatures, in radio telescope observations and distinguish these from human radio frequency interference (RFI). Current signal search pipelines look for signals in spectrograms of intensity as a function of time and frequency (which can be thought of as images), but tend to do poorly in identifying multiple signals in a single data frame. This is especially apparent when there are dim signals in the same frame as bright, high signal-to-noise ratio (SNR) signals. In this work, we approach this problem using convolutional neural networks (CNN) as a computationally efficient method for localizing signals in synthetic observations resembling data collected by Breakthrough Listen using the Green Bank Telescope. We generate two synthetic datasets, the first with exactly one signal at various SNR levels and the second with exactly two signals, one of which represents RFI. We find that a residual CNN with strided convolutions and using multiple image normalizations as input outperforms a more basic CNN with max pooling trained on inputs with only one normalization. Training each model on a smaller subset of the training data at higher SNR levels results in a significant increase in model performance, reducing root mean square errors by at least a factor of 3 at an SNR of 25 dB. Although each model produces outliers with significant error, these results demonstrate that using CNNs to analyze signal location is promising, especially in image frames that are crowded with multiple signals.


title: Hallucinating Value: A Pitfall of Dyna-style Planning with Imperfect Environment Models

abstract: Dyna-style reinforcement learning (RL) agents improve sample efficiency over model-free RL agents by updating the value function with simulated experience generated by an environment model. However, it is often difficult to learn accurate models of environment dynamics, and even small errors may result in failure of Dyna agents. In this paper, we investigate one type of model error: hallucinated states. These are states generated by the model, but that are not real states of the environment. We present the Hallucinated Value Hypothesis (HVH): updating values of real states towards values of hallucinated states results in misleading state-action values which adversely affect the control policy. We discuss and evaluate four Dyna variants; three which update real states toward simulated -- and therefore potentially hallucinated -- states and one which does not. The experimental results provide evidence for the HVH thus suggesting a fruitful direction toward developing Dyna algorithms robust to model error.


title: A remark on the rigidity of the first conformal Steklov eigenvalue

abstract: We show rigidity of the first conformal Steklov eigenvalue on annuli and M\"obius bands. The proof relies, among others, on uniqueness results due to Fraser--Schoen, a compactness theorem of the second named author, and recent work of the authors on asymptotic control of Steklov eigenvalues in glueing constructions.


title: Role of Dirac nodal lines and strain on the high spin Hall conductivity of epitaxial IrO2 thin films

abstract: Since the discovery of a 'giant' spin Hall effect (SHE) in certain heavy metal elements there has been an intense effort to identify and develop new and technologically viable, heavy-metal-based thin film materials that could generate spin currents with even greater efficiency to exert spin-orbit torques (SOT) on adjacent ferromagnetic nanostructures. In parallel, there have been wide ranging fundamental studies of the spin currents that can arise from robust, intrinsic spin-orbit interaction (SOI) effects in more exotic systems including topological insulators, transition metal dichalcogenides with broken crystalline symmetry, Weyl and Dirac semimetals where gapless electronic excitations are protected by topology and symmetry. Here we experimentally study strong SOT from the topological semimetal IrO2 in (001) and (110) normal films, which exhibit distinctly different SHE strengths. Angle resolved photoemission spectroscopy studies have shown IrO2 exhibits Dirac nodal lines (DNL) in the band structure, which could enable a very high spin Hall conductivity (SHC). The (001) films exhibit exceptionally high damping like torque efficiency ranging from 0.45 at 293 K to 0.65 at 30 K which sets the lower bound of SHC that is ten times higher and of opposite sign than the theoretical prediction. We observe a substantial reduction of SHC in anisotropically strained (110) films, which suggests that the DNLs that are present in the (001) films and contribute to SHC, are disrupted and gapped due to the large anisotropic strain in (110) films, which in turn significantly lowers SHC. Very large value of SHC at room temperature of this Dirac semimetal could be very promising for the practical application.


title: Double Descent Risk and Volume Saturation Effects: A Geometric Perspective

abstract: The appearance of the double-descent risk phenomenon has received growing interest in the machine learning and statistics community, as it challenges well-understood notions behind the U-shaped train-test curves. Motivated through Rissanen's minimum description length (MDL), Balasubramanian's Occam's Razor, and Amari's information geometry, we investigate how the logarithm of the model volume: $\log V$, works to extend intuition behind the AIC and BIC model selection criteria. We find that for the particular model classes of isotropic linear regression and statistical lattices, the $\log V$ term may be decomposed into a sum of distinct components, each of which assist in their explanations of the appearance of this phenomenon. In particular they suggest why generalization error does not necessarily continue to grow with increasing model dimensionality.


title: Reference tracking stochastic model predictive control over unreliable channels and bounded control actions

abstract: A stochastic model predictive control framework over unreliable Bernoulli communication channels, in the presence of unbounded process noise and under bounded control inputs, is presented for tracking a reference signal. The data losses in the control channel are compensated by a carefully designed transmission protocol, and that of the sensor channel by a dropout compensator. A class of saturated, disturbance feedback policies is proposed for control in the presence of noisy dropout compensation. A reference governor is employed to generate trackable reference trajectories and stability constraints are employed to ensure mean-square boundedness of the reference tracking error. The overall approach yields a computationally tractable quadratic program, which can be iteratively solved online.


title: Photoacoustic Microscopy with Sparse Data Enabled by Convolutional Neural Networks for Fast Imaging

abstract: Photoacoustic microscopy (PAM) has been a promising biomedical imaging technology in recent years. However, the point-by-point scanning mechanism results in low-speed imaging, which limits the application of PAM. Reducing sampling density can naturally shorten image acquisition time, which is at the cost of image quality. In this work, we propose a method using convolutional neural networks (CNNs) to improve the quality of sparse PAM images, thereby speeding up image acquisition while keeping good image quality. The CNN model utilizes both squeeze-and-excitation blocks and residual blocks to achieve the enhancement, which is a mapping from a 1/4 or 1/16 low-sampling sparse PAM image to a latent fully-sampled image. The perceptual loss function is applied to keep the fidelity of images. The model is mainly trained and validated on PAM images of leaf veins. The experiments show the effectiveness of our proposed method, which significantly outperforms existing methods quantitatively and qualitatively. Our model is also tested using in vivo PAM images of blood vessels of mouse ears and eyes. The results show that the model can enhance the image quality of the sparse PAM image of blood vessels from several aspects, which may help fast PAM and facilitate its clinical applications.


title: Observation of High-frequency Transverse Phonons in Metallic Glasses

abstract: Using inelastic neutron scattering and molecular dynamics simulations on a model Zr-Cu-Al metallic glass, we show that transverse phonons persist well into the high-frequency regime, and can be detected at large momentum transfer. Furthermore, the apparent peak width of the transverse phonons was found to follow the static structure factor. The one-to-one correspondence, which was demonstrated for both Zr-Cu-Al metallic glass and a 3-dimensional Lennard-Jones model glass, suggests a universal correlation between the phonon dynamics and the underlying disordered structure. This remarkable correlation, not found for longitudinal phonons, underscores the key role that transverse phonons hold for understanding the structure-dynamics relationship in disordered materials.


title: Dirac-type theorems in random hypergraphs

abstract: For positive integers $d<k$ and $n$ divisible by $k$, let $m_{d}(k,n)$ be the minimum $d$-degree ensuring the existence of a perfect matching in a $k$-uniform hypergraph. In the graph case (where $k=2$), a classical theorem of Dirac says that $m_{1}(2,n)=\lceil n/2\rceil$. However, in general, our understanding of the values of $m_{d}(k,n)$ is still very limited, and it is an active topic of research to determine or approximate these values. In this paper we prove a "transference" theorem for Dirac-type results relative to random hypergraphs. Specifically, for any $d< k$, any $\varepsilon>0$ and any "not too small" $p$, we prove that a random $k$-uniform hypergraph $G$ with $n$ vertices and edge probability $p$ typically has the property that every spanning subgraph of $G$ with minimum degree at least $(1+\varepsilon)m_{d}(k,n)p$ has a perfect matching. One interesting aspect of our proof is a "non-constructive" application of the absorbing method, which allows us to prove a bound in terms of $m_{d}(k,n)$ without actually knowing its value.


title: Semantics-Driven Unsupervised Learning for Monocular Depth and Ego-Motion Estimation

abstract: We propose a semantics-driven unsupervised learning approach for monocular depth and ego-motion estimation from videos in this paper. Recent unsupervised learning methods employ photometric errors between synthetic view and actual image as a supervision signal for training. In our method, we exploit semantic segmentation information to mitigate the effects of dynamic objects and occlusions in the scene, and to improve depth prediction performance by considering the correlation between depth and semantics. To avoid costly labeling process, we use noisy semantic segmentation results obtained by a pre-trained semantic segmentation network. In addition, we minimize the position error between the corresponding points of adjacent frames to utilize 3D spatial information. Experimental results on the KITTI dataset show that our method achieves good performance in both depth and ego-motion estimation tasks.


title: Zero resource speech synthesis using transcripts derived from perceptual acoustic units

abstract: Zerospeech synthesis is the task of building vocabulary independent speech synthesis systems, where transcriptions are not available for training data. It is, therefore, necessary to convert training data into a sequence of fundamental acoustic units that can be used for synthesis during the test. This paper attempts to discover, and model perceptual acoustic units consisting of steady-state, and transient regions in speech. The transients roughly correspond to CV, VC units, while the steady-state corresponds to sonorants and fricatives. The speech signal is first preprocessed by segmenting the same into CVC-like units using a short-term energy-like contour. These CVC segments are clustered using a connected components-based graph clustering technique. The clustered CVC segments are initialized such that the onset (CV) and decays (VC) correspond to transients, and the rhyme corresponds to steady-states. Following this initialization, the units are allowed to re-organise on the continuous speech into a final set of AUs in an HMM-GMM framework. AU sequences thus obtained are used to train synthesis models. The performance of the proposed approach is evaluated on the Zerospeech 2019 challenge database. Subjective and objective scores show that reasonably good quality synthesis with low bit rate encoding can be achieved using the proposed AUs.


title: MC2G: An Efficient Algorithm for Matrix Completion with Social and Item Similarity Graphs

abstract: In this paper, we design and analyze MC2G (Matrix Completion with 2 Graphs), an algorithm that performs matrix completion in the presence of social and item similarity graphs. MC2G runs in quasilinear time and is parameter free. It is based on spectral clustering and local refinement steps. The expected number of sampled entries required for MC2G to succeed (i.e., recover the clusters in the graphs and complete the matrix) matches an information-theoretic lower bound up to a constant factor for a wide range of parameters. We show via extensive experiments on both synthetic and real datasets that MC2G outperforms other state-of-the-art matrix completion algorithms that leverage graph side information.


title: Theory of edge states based on the hermiticity of tight-binding Hamiltonian operators

abstract: We develop a theory of edge states based on the Hermiticity of Hamiltonian operators for tight-binding models defined on lattices with boundaries. We describe Hamiltonians using shift operators which serve as differential operators in continuum theories. It turns out that such Hamiltonian operators are not necessarily Hermitian on lattices with boundaries, which is due to the boundary terms associated with the summation by parts. The Hermiticity of Hamiltonian operators leads to natural boundary conditions, and for models with nearest-neighbor (NN) hoppings only, there are reference states that satisfy the Hermiticity and boundary conditions simultaneously. Based on such reference states, we develop a Bloch-type theory for edge states of NN models on a half-plane. This enables us to extract Hamiltonians describing edge-states at one end, which are separated from the bulk contributions. It follows that we can describe edge states at the left and right ends separately by distinct Hamiltonians for systems of cylindrical geometry. We show various examples of such edge state Hamiltonians (ESHs), including Hofstadter model, graphene model, and higher-order topological insulators (HOTIs).


title: Viscosity solutions for the crystalline mean curvature flow with a nonuniform driving force term

abstract: A general purely crystalline mean curvature flow equation with a nonuniform driving force term is considered. The unique existence of a level set flow is established when the driving force term is continuous and spatially Lipschitz uniformly in time. By introducing a suitable notion of a solution a comparison principle of continuous solutions is established for equations including the level set equations. An existence of a solution is obtained by stability and approximation by smoother problems. A necessary equi-continuity of approximate solutions is established. It should be noted that the value of crystalline curvature may depend not only on the geometry of evolving surfaces but also on the driving force if it is spatially inhomogeneous.


title: Speaker Diarization as a Fully Online Learning Problem in MiniVox

abstract: We proposed a novel machine learning framework to conduct real-time multi-speaker diarization and recognition without prior registration and pretraining in a fully online learning setting. Our contributions are two-fold. First, we proposed a new benchmark to evaluate the rarely studied fully online speaker diarization problem. We built upon existing datasets of real world utterances to automatically curate MiniVox, an experimental environment which generates infinite configurations of continuous multi-speaker speech stream. Second, we considered the practical problem of online learning with episodically revealed rewards and introduced a solution based on semi-supervised and self-supervised learning methods. Additionally, we provided a workable web-based recognition system which interactively handles the cold start problem of new user's addition by transferring representations of old arms to new ones with an extendable contextual bandit. We demonstrated that our proposed method obtained robust performance in the online MiniVox framework.


title: Null Gravitational Redshift by a Reissner-Nordstr\"{o}m Black Hole in the Strong Field Limit

abstract: The gravitational shift of electromagnetic frequency in the strong field limit is usually investigated under the common scenario, where the light receiver is far away from the central body while the emitter is in the strong-field region of the lens. In this paper, the gravitational frequency shift of light caused by a Reissner-Nordstr\"{o}m (RN) black hole is studied numerically in the traditional strong-field scenario, as well as in the scenario where both the light emission and reception events happen in the strong-field region of the black hole. In order to obtain the numerical results of the gravitational redshift, we first derive the exact null equations of motion in the RN geometry in harmonic coordinates. For a given light observer, a new numerical technique is proposed in the integration of the geodesic equations to determine the spatial position of the emitter, considering the fact that their spatial positions are not always known simultaneously. Our work might be helpful to the related observations for probing strong gravity.


title: Strong approximation of particular one-dimensional diffusions

abstract: This paper develops a new technique for the path approximation of one-dimensional stochastic processes, more precisely the Brownian motion and families of stochastic differential equations sharply linked to the Brownian motion (usually known as L and G-classes). We are interested here in the $\epsilon$-strong approximation. We propose an explicit and easy to implement procedure that constructs jointly, the sequences of exit times and corresponding exit positions of some well chosen domains. The main results control the number of steps to cover a fixed time interval and the convergence theorems for our scheme. We combine results on Brownian exit times from time-depending domains (one-dimensional heat balls) and classical renewal theory. Numerical examples and issues are also described in order to complete the theoretical results.


title: Schr\"{o}dinger PCA: On the Duality between Principal Component Analysis and Schr\"{o}dinger Equation

abstract: Principal component analysis (PCA) has achieved great success in unsupervised learning by identifying covariance correlations among features. If the data collection fails to capture the covariance information, PCA will not be able to discover meaningful modes. In particular, PCA will fail the spatial Gaussian Process (GP) model in the undersampling regime, i.e. the averaged distance of neighboring anchor points (spatial features) is greater than the correlation length of GP. Counterintuitively, by drawing the connection between PCA and Schr\"odinger equation, we can not only attack the undersampling challenge but also compute in an efficient and decoupled way with the proposed algorithm called Schr\"odinger PCA. Our algorithm only requires variances of features and estimated correlation length as input, constructs the corresponding Schr\"odinger equation, and solves it to obtain the energy eigenstates, which coincide with principal components. We will also establish the connection of our algorithm to the model reduction techniques in the partial differential equation (PDE) community, where the steady-state Schr\"odinger operator is identified as a second-order approximation to the covariance function. Numerical experiments are implemented to testify the validity and efficiency of the proposed algorithm, showing its potential for unsupervised learning tasks on general graphs and manifolds.

categories: physics.comp-ph cond-mat.dis-nn cs.LG math.PR


title: Learning the Compositional Visual Coherence for Complementary Recommendations

abstract: Complementary recommendations, which aim at providing users product suggestions that are supplementary and compatible with their obtained items, have become a hot topic in both academia and industry in recent years. %However, it is challenging due to its complexity and subjectivity. Existing work mainly focused on modeling the co-purchased relations between two items, but the compositional associations of item collections are largely unexplored. Actually, when a user chooses the complementary items for the purchased products, it is intuitive that she will consider the visual semantic coherence (such as color collocations, texture compatibilities) in addition to global impressions. Towards this end, in this paper, we propose a novel Content Attentive Neural Network (CANN) to model the comprehensive compositional coherence on both global contents and semantic contents. Specifically, we first propose a \textit{Global Coherence Learning} (GCL) module based on multi-heads attention to model the global compositional coherence. Then, we generate the semantic-focal representations from different semantic regions and design a \textit{Focal Coherence Learning} (FCL) module to learn the focal compositional coherence from different semantic-focal representations. Finally, we optimize the CANN in a novel compositional optimization strategy. Extensive experiments on the large-scale real-world data clearly demonstrate the effectiveness of CANN compared with several state-of-the-art methods.


title: Balance-Subsampled Stable Prediction

abstract: In machine learning, it is commonly assumed that training and test data share the same population distribution. However, this assumption is often violated in practice because the sample selection bias may induce the distribution shift from training data to test data. Such a model-agnostic distribution shift usually leads to prediction instability across unknown test data. In this paper, we propose a novel balance-subsampled stable prediction (BSSP) algorithm based on the theory of fractional factorial design. It isolates the clear effect of each predictor from the confounding variables. A design-theoretic analysis shows that the proposed method can reduce the confounding effects among predictors induced by the distribution shift, hence improve both the accuracy of parameter estimation and prediction stability. Numerical experiments on both synthetic and real-world data sets demonstrate that our BSSP algorithm significantly outperforms the baseline methods for stable prediction across unknown test data.


title: An Impulse-Regime Switching Game Model of Vertical Competition

abstract: We study a new kind of non-zero-sum stochastic differential game with mixed impulse/switching controls, motivated by strategic competition in commodity markets. A representative upstream firm produces a commodity that is used by a representative downstream firm to produce a final consumption good. Both firms can influence the price of the commodity. By shutting down or increasing generation capacities, the upstream firm influences the price with impulses. By switching (or not) to a substitute, the downstream firm influences the drift of the commodity price process. We study the resulting impulse--regime switching game between the two firms, focusing on explicit threshold-type equilibria. Remarkably, this class of games naturally gives rise to multiple Nash equilibria, which we obtain via a verification based approach. We exhibit three types of equilibria depending on the ultimate number of switches by the downstream firm (zero, one or an infinite number of switches). We illustrate the diversification effect provided by vertical integration in the specific case of the crude oil market. Our analysis shows that the diversification gains strongly depend on the pass-through from the crude price to the gasoline price.


title: Quantum information aspects of approximate position measurement

abstract: We perform a quantum information analysis for multi-mode Gaussian approximate position measurements, underlying noisy homodyning in quantum optics. The "Gaussian maximizer" property is established for the entropy reduction of these measurements which provides explicit formulas for computations including their entanglement-assisted capacity. The case of one mode is discussed in detail.


title: Distributed Attribute-Based Access Control System Using a Permissioned Blockchain

abstract: Auditing provides an essential security control in computer systems, by keeping track of all access attempts, including both legitimate and illegal access attempts. This phase can be useful to the context of audits, where eventual misbehaving parties can be held accountable. Blockchain technology can provide trusted auditability required for access control systems. In this paper, we propose a distributed \ac{ABAC} system based on blockchain to provide trusted auditing of access attempts. Besides auditability, our system presents a level of transparency that both access requestors and resource owners can benefit from it. We present a system architecture with an implementation based on Hyperledger Fabric, achieving high efficiency and low computational overhead. The proposed solution is validated through a use case of independent digital libraries. Detailed performance analysis of our implementation is presented, taking into account different consensus mechanisms and databases. The experimental evaluation shows that our presented system can process 5,000 access control requests with the send rate of 200 per second and a latency of 0.3 seconds.


title: Near-UV Spectroscopy with the VLT

abstract: The 39-meter European Extremely Large Telescope (E-ELT) is expected to have very low throughput in the blue part of the visible spectrum. Because of that, a blue-optimised spectrograph at the 8-meter Very Large Telescope could potentially be competitive against the E-ELT at wavelengths shorter than 400 nm. A concept study for such an instrument was concluded in 2012. This would be a high-throughput, medium resolution (R $\sim$ 20\,000) spectrograph, operating between 300 and 400 nm. It is currently expected that construction of this instrument will start in the next few years. In this contribution, I present a summary of the instrument concept and of some of the possible Galactic and extragalactic science cases that motivate such a spectrograph.


title: Understanding Graph Neural Networks from Graph Signal Denoising Perspectives

abstract: Graph neural networks (GNNs) have attracted much attention because of their excellent performance on tasks such as node classification. However, there is inadequate understanding on how and why GNNs work, especially for node representation learning. This paper aims to provide a theoretical framework to understand GNNs, specifically, spectral graph convolutional networks and graph attention networks, from graph signal denoising perspectives. Our framework shows that GNNs are implicitly solving graph signal denoising problems: spectral graph convolutions work as denoising node features, while graph attentions work as denoising edge weights. We also show that a linear self-attention mechanism is able to compete with the state-of-the-art graph attention methods. Our theoretical results further lead to two new models, GSDN-F and GSDN-EF, which work effectively for graphs with noisy node features and/or noisy edges. We validate our theoretical findings and also the effectiveness of our new models by experiments on benchmark datasets. The source code is available at \url{https://github.com/fuguoji/GSDN}.


title: An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

abstract: In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions. Preferences are combined to define a preferential interpretation in which defeasible inclusions can be evaluated. The construction of the concept-aware multipreference semantics is related to Brewka's framework for qualitative preferences. We exploit Answer Set Programming (in particular, asprin) to achieve defeasible reasoning under the multipreference approach for the lightweight description logic EL+bot. The paper is under consideration for acceptance in TPLP.


title: Generalized Focal Loss: Learning Qualified and Distributed Bounding Boxes for Dense Object Detection

abstract: One-stage detector basically formulates object detection as dense classification and localization. The classification is usually optimized by Focal Loss and the box location is commonly learned under Dirac delta distribution. A recent trend for one-stage detectors is to introduce an individual prediction branch to estimate the quality of localization, where the predicted quality facilitates the classification to improve detection performance. This paper delves into the representations of the above three fundamental elements: quality estimation, classification and localization. Two problems are discovered in existing practices, including (1) the inconsistent usage of the quality estimation and classification between training and inference and (2) the inflexible Dirac delta distribution for localization when there is ambiguity and uncertainty in complex scenes. To address the problems, we design new representations for these elements. Specifically, we merge the quality estimation into the class prediction vector to form a joint representation of localization quality and classification, and use a vector to represent arbitrary distribution of box locations. The improved representations eliminate the inconsistency risk and accurately depict the flexible distribution in real data, but contain continuous labels, which is beyond the scope of Focal Loss. We then propose Generalized Focal Loss (GFL) that generalizes Focal Loss from its discrete form to the continuous version for successful optimization. On COCO test-dev, GFL achieves 45.0\% AP using ResNet-101 backbone, surpassing state-of-the-art SAPD (43.5\%) and ATSS (43.6\%) with higher or comparable inference speed, under the same backbone and training settings. Notably, our best model can achieve a single-model single-scale AP of 48.2\%, at 10 FPS on a single 2080Ti GPU. Code and models are available at https://github.com/implus/GFocal.


title: Bounds for the Davis-Wielandt radius of bounded linear operators

abstract: We obtain upper and lower bounds for the Davis-Wielandt radius of bounded linear operators defined on a complex Hilbert space, which improve on the existing ones. We also obtain bounds for the Davis-Wielandt radius of operator matrices. We determine the exact value of the Davis-Wielandt radius of two special type of operator matrices $\left(\begin{array}{cc} I & B 0 & 0 \end{array}\right)$ and $\left(\begin{array}{cc} 0 & A B & 0 \end{array}\right)$, where $A,B\in \mathcal{B}(\mathcal{H})$, $I$ and $0$ are the identity operator and the zero operator on $\mathcal{H},$ respectively. Finally we obtain bounds for the Davis-Wielandt radius of operator matrices of the form $\left(\begin{array}{cc} A& B 0 & C \end{array}\right),$ where $A,B, C\in \mathcal{B}(\mathcal{H}).$


title: Cross-Domain Segmentation with Adversarial Loss and Covariate Shift for Biomedical Imaging

abstract: Despite the widespread use of deep learning methods for semantic segmentation of images that are acquired from a single source, clinicians often use multi-domain data for a detailed analysis. For instance, CT and MRI have advantages over each other in terms of imaging quality, artifacts, and output characteristics that lead to differential diagnosis. The capacity of current segmentation techniques is only allow to work for an individual domain due to their differences. However, the models that are capable of working on all modalities are essentially needed for a complete solution. Furthermore, robustness is drastically affected by the number of samples in the training step, especially for deep learning models. Hence, there is a necessity that all available data regardless of data domain should be used for reliable methods. For this purpose, this manuscript aims to implement a novel model that can learn robust representations from cross-domain data by encapsulating distinct and shared patterns from different modalities. Precisely, covariate shift property is retained with structural modification and adversarial loss where sparse and rich representations are obtained. Hence, a single parameter set is used to perform cross-domain segmentation task. The superiority of the proposed method is that no information related to modalities are provided in either training or inference phase. The tests on CT and MRI liver data acquired in routine clinical workflows show that the proposed model outperforms all other baseline with a large margin. Experiments are also conducted on Covid-19 dataset that it consists of CT data where significant intra-class visual differences are observed. Similarly, the proposed method achieves the best performance.


title: AutoMat -- Automatic Differentiation for Generalized Standard Materials on GPUs

abstract: We propose a universal method for the evaluation of generalized standard materials that greatly simplifies the material law implementation process. By means of automatic differentiation and a numerical integration scheme, AutoMat reduces the implementation effort to two potential functions. By moving AutoMat to the GPU, we close the performance gap to conventional evaluation routines and demonstrate in detail that the expression level reverse mode of automatic differentiation as well as its extension to second order derivatives can be applied inside CUDA kernels. We underline the effectiveness and the applicability of AutoMat by integrating it into the FFT-based homogenization scheme of Moulinec and Suquet and discuss the benefits of using AutoMat with respect to runtime and solution accuracy for an elasto-viscoplastic example.


title: Thermostatistics of a q-deformed Relativistic Ideal Fermi Gas

abstract: In this paper, we formulate a q-deformed many-body theory for the relativistic Fermi gas and discuss the effects of the deformation parameter q on physical properties of such systems. Since antiparticle excitations appear in the relativistic regime, a suitable treatment to the choice of deformation parameters for both fermions and antifermions must be carefully taken in order to get a consistent theory. By applying this formulation, we further study the thermostatistic properties of a q-deformed ideal relativistic Fermi gas. It can be shown that even in the noninteracting scenario, the system exhibits interesting characteristics which are significantly different from ordinary Fermi gases. Explicitly, antiparticles may become dominant due to the shift of chemical potential by the deformation parameter q. This may build a solid foundation for the further studies of q-deformed relativistic interacting systems.


title: The Gaia-ESO Survey: an extremely Li-rich giant in the globular cluster NGC 1261

abstract: Lithium rich stars in globular clusters are rare. In fact, only 14 have been found so far, in different evolutionary phases from dwarfs to giants. Different mechanisms have been proposed to explain this enhancement, but it is still an open problem. Using spectra collected within the Gaia-ESO Survey, obtained with the GIRAFFE spectrograph at the ESO Very Large Telescope, we present the discovery of the first Li-rich star in the cluster NGC 1261, the second star known in the red giant branch bump phase. The star shows an extreme Li overabundance of A(Li)_LTE=3.92\pm0.14, corresponding to A(Li)_NLTE=3.40 dex. We propose that the Li enhancement is caused by fresh Li production through an extra mixing process (sometimes referred to as {\em cool bottom burning}) or could be a pre-existing Li overabundance resulting from binary mass transfer, likely from a red giant branch star, because of the low barium abundance. To unambiguously explain the Li enhancement in globular cluster stars, however, a reliable determination of the abundance of key species like Be, 6Li, 12C/13C, and several s-process elements is required, as well as detailed modeling of chromospheric activity indicators.


title: Random dynamics on real and complex projective surfaces

abstract: We initiate the study of random iteration of automorphisms of real and complex projective surfaces, or more generally compact K{\"a}hler surfaces, focusing on the fundamental problem of classification of stationary measures. We show that, in a number of cases, such stationary measures are invariant, and provide criteria for uniqueness, smoothness and rigidity of invariant probability measures. This involves a variety of tools from complex and algebraic geometry, random products of matrices, non-uniform hyperbolicity, as well as recent results of Brown and Rodriguez Hertz on random iteration of surface diffeomorphisms.


title: Dynamics of a toroidal bubble on a cylinder surface with an application to geophysical exploration

abstract: During the operation of a seismic airgun source, a certain amount of compressed high-pressure air is released from the airgun chamber into the surrounding water, generating an expanding toroidal bubble attached to the airgun-body. The subsequent oscillations of the bubble generate low-frequency pressure waves, which are used to map the ocean subbottom, e.g., to locate oil and gas reserves. The bubble dynamic behavior and the emitted pressure waves are inevitably influenced by the airgun-body. However, the bubble-airgun-body interaction is far from well understood. This paper investigates the strong interaction between a long cylinder and an attached toroidal bubble via hundreds of boundary integral simulations, aiming to provide new physical insights for airgun-bubble dynamics. Firstly, the overall physical phenomena are discussed and three types of bubble collapse patterns are identified, namely (i) upward jetting due to gravity, (ii) annular jet toward the cylinder body and (iii) weak/no jet. Thereafter, we investigate the effects of the cylinder radius, initial bubble pressure and Froude number on the bubble oscillation period and the pressure wave induced by the bubble. At last, the impact of a cylinder on a Sercel type airgun-bubble is discussed with a particular focus on the spectrum of the pressure waves.


abstract: Detection and parameter estimation of binary neutron star merger remnants can shed light on the physics of hot matter at supranuclear densities. Here we develop a fast, simple model that can generate gravitational waveforms, and show it can be used for both detection and parameter estimation of post-merger remnants. The model consists of three exponentially-damped sinusoids with a linear frequency-drift term. The median fitting factors between the model waveforms and numerical-relativity simulations exceed 0.90. We detect remnants at a post-merger signal-to-noise ratio of $\ge 7$ using a Bayes-factor detection statistic with a threshold of 3000. We can constrain the primary post-merger frequency to $\pm_{1.2}^{1.4}\%$ at post-merger signal-to-noise ratios of 15 with an increase in precision to $\pm_{0.2}^{0.3}\%$ for post-merger signal-to-noise ratios of 50. The tidal coupling constant can be constrained to $\pm^{9}_{12}\%$ at post-merger signal-to-noise ratios of 15, and $\pm 5\%$ at post-merger signal-to-noise ratios of 50 using a hierarchical inference model.


title: Long time dynamics for generalized Korteweg-de Vries and Benjamin-Ono equations

abstract: We provide an accurate description of the long time dynamics of the solutions of the generalized Korteweg-De Vries (gKdV) and Benjamin-Ono (gBO) equations on the one dimension torus, without external parameters, and that are issued from almost any (in probability and in density) small and smooth initial data. We stress out that these two equations have unbounded nonlinearities. In particular, we prove a long-time stability result in Sobolev norm: given a large constant r and a sufficiently small parameter $\epsilon$, for generic initial datum u(0) of size $\epsilon$, we control the Sobolev norm of the solution u(t) for times of order $\epsilon$^{--r}. These results are obtained by putting the system in rational normal form : we conjugate, up to some high order remainder terms, the vector fields of these equations to integrable ones on large open sets surrounding the origin in high Sobolev regularity.


title: Braids, inner automorphisms and the Andreadakis problem

abstract: In this paper, we generalize the tools that were introduced in [Dar19b] in order to study the Andreadakis problem for subgroups of IAn. In particular, we study the behaviour of the Andreadakis problem when we add inner automorphisms to a subgroup of IAn. We notably use this to show that the Andreadakis equality holds for the pure braid group on n strands modulo its center acting on the free group on n-1 generators , that is, for the (pure, based) mapping class group of the n-punctured sphere acting on its fundamental group.


title: Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version)

abstract: We study various formulations of the completeness of first-order logic phrased in constructive type theory and mechanised in the Coq proof assistant. Specifically, we examine the completeness of variants of classical and intuitionistic natural deduction and sequent calculi with respect to model-theoretic, algebraic, and game-theoretic semantics. As completeness with respect to the standard model-theoretic semantics \`a la Tarski and Kripke is not readily constructive, we analyse connections of completeness theorems to Markov's Principle and Weak K\"onig's Lemma and discuss non-standard semantics admitting assumption-free completeness. We contribute a reusable Coq library for first-order logic containing all results covered in this paper.


title: A priori tests of subgrid-scale models in an anisothermal turbulent channel flow at low mach number

abstract: The subgrid-scale modelling of a low Mach number strongly anisothermal turbulent flow is investigated using direct numerical simulations. The study is based on the filtering of the low Mach number equations, suited to low Mach number flows with highly variable fluid properties. The results are relevant to formulations of the filtered low Mach number equations established with the classical filter or the Favre filter. The two most significant subgrid terms of the filtered low Mach number equations are considered. They are associated with the momentum convection and the density-velocity correlation. We focus on eddy-viscosity and eddy-diffusivity models. Subgrid-scale models from the literature are analysed and two new models are proposed. The subgrid-scale models are compared to the exact subgrid term using the instantaneous flow field of the direct numerical simulation of a strongly anisothermal fully developed turbulent channel flow. There is no significant differences between the use of the classical and Favre filter regarding the performance of the models. We suggest that the models should take into account the asymptotic near-wall behaviour of the filter length. Eddy-viscosity and eddy-diffusivity models are able to represent the energetic contribution of the subgrid term but not its effect in the flow governing equations. The AMD and scalar AMD models are found to be in better agreement with the exact subgrid terms than the other investigated models in the a priori tests.


title: Field-induced oscillation of magnetization blocking in holmium metallacrown magnet

abstract: Single-molecule magnets (SMMs) are promising elements for quantum informatics. In the presence of strong magnetic anisotropy, they exhibit magnetization blocking - a magnetic memory effect at the level of a single molecule. Recent studies have shown that the SMM performance scales with the height of magnetization blocking barrier. By employing molecular engineering this can be significantly modified, remaining independent from other external factors such as magnetic field. Taking advantage of hyperfine coupling of electronic and nuclear spins further enhances their functionality, however, a poor understanding of relaxation mechanisms in such SMMs limits the exploitation of nuclear-spin molecular qubits. Here we report the opening discovery of field-dependent oscillation of the magnetization blocking barrier in a new holmium metallacrown magnet driven by the switch of relaxation mechanisms involving hyperfine interaction. Single-crystal magnetic hysteresis measurements combined with first-principles calculations reveal an activated temperature dependence of magnetic relaxation dominated either by incoherent quantum tunneling of magnetization at anti-crossing points of exchange-hyperfine states or by Orbach-like processes at crossing points. We demonstrate that these relaxation mechanisms can be consecutively switched on and off by increasing the external field, which paves a way for manipulating the magnetization dynamics of SMMs using hyperfine interaction.


title: Space-Aware Reconfiguration

abstract: We consider the problem of reconfiguring a set of physical objects into a desired target configuration, a typical (sub)task in robotics and automation, arising in product assembly, packaging, stocking store shelves, and more. In this paper we address a variant, which we call space-aware reconfiguration, where the goal is to minimize the physical space needed for the reconfiguration, while obeying constraints on the allowable collision-free motions of the objects. Since for given start and target configurations, reconfiguration may be impossible, we translate the entire target configuration rigidly into a location that admits a valid sequence of moves, where each object moves in turn just once, along a straight line, from its starting to its target location, so that the overall physical space required by the start, all intermediate, and target configurations for all the objects is minimized. We investigate two variants of space-aware reconfiguration for the often examined setting of $n$ unit discs in the plane, depending on whether the discs are distinguishable (labeled) or indistinguishable (unlabeled). For the labeled case, we propose a representation of size $O(n^4)$ of the space of all feasible initial rigid translations, and use it to find, in $O(n^6)$ time, a shortest valid translation, or one that minimizes the enclosing disc or axis-aligned rectangle of both the start and target configurations. For the significantly harder unlabeled case, we show that for almost every direction, there exists a translation in this direction that makes the problem feasible. We use this to devise heuristic solutions, where we optimize the translation under stricter notions of feasibility. We present an implementation of such a heuristic, which solves unlabeled instances with hundreds of discs in seconds.


title: Global Robustness Verification Networks

abstract: The wide deployment of deep neural networks, though achieving great success in many domains, has severe safety and reliability concerns. Existing adversarial attack generation and automatic verification techniques cannot formally verify whether a network is globally robust, i.e., the absence or not of adversarial examples in the input space. To address this problem, we develop a global robustness verification framework with three components: 1) a novel rule-based ``back-propagation'' finding which input region is responsible for the class assignment by logic reasoning; 2) a new network architecture Sliding Door Network (SDN) enabling feasible rule-based ``back-propagation''; 3) a region-based global robustness verification (RGRV) approach. Moreover, we demonstrate the effectiveness of our approach on both synthetic and real datasets.


title: Gradient Flow Approach to the Calculation of Stationary States on Nonlinear Quantum Graphs

abstract: We introduce and implement a method to compute stationary states of nonlinear Schr\''odinger equations on metric graphs. Stationary states are obtained as local minimizers of the nonlinear Schr\''odinger energy at fixed mass. Our method is based on a normalized gradient flow for the energy (i.e. a gradient flow projected on a fixed mass sphere) adapted to the context of nonlinear quantum graphs. We first prove that, at the continuous level, the normalized gradient flow is well-posed, mass-preserving, energy diminishing and converges (at least locally) towards stationary states. We then establish the link between the continuous flow and its discretized version. We conclude by conducting a series of numerical experiments in model situations showing the good performance of the discrete flow to compute stationary states. Further experiments as well as detailed explanation of our numerical algorithm are given in a companion paper.


title: Proposal for a quantum traveling Brillouin resonator

abstract: Brillouin systems operating in the quantum regime have recently been identified as a valuable tool for quantum information technologies and fundamental science. However, reaching the quantum regime is extraordinarily challenging, owing to the stringent requirements of combining low thermal occupation with low optical and mechanical dissipation, and large coherent phonon-photon interactions. Here, we propose an on-chip liquid based Brillouin system that is predicted to exhibit ultra-high coherent phonon-photon coupling with exceptionally low acoustic dissipation. The system is comprised of a silicon-based "slot" waveguide filled with superfluid helium. This type of waveguide supports optical and acoustical traveling waves, strongly confining both fields into a subwavelength-scale mode volume. It serves as the foundation of an on-chip traveling wave Brillouin resonator with a single photon optomechanical coupling rate exceeding $240$kHz. Such devices may enable applications ranging from ultra-sensitive superfluid-based gyroscopes, to non-reciprocal optical circuits. Furthermore, this platform opens up new possibilities to explore quantum fluid dynamics in a strongly interacting condensate.


title: Passive Batch Injection Training Technique: Boosting Network Performance by Injecting Mini-Batches from a different Data Distribution

abstract: This work presents a novel training technique for deep neural networks that makes use of additional data from a distribution that is different from that of the original input data. This technique aims to reduce overfitting and improve the generalization performance of the network. Our proposed technique, namely Passive Batch Injection Training Technique (PBITT), even reduces the level of overfitting in networks that already use the standard techniques for reducing overfitting such as $L_2$ regularization and batch normalization, resulting in significant accuracy improvements. Passive Batch Injection Training Technique (PBITT) introduces a few passive mini-batches into the training process that contain data from a distribution that is different from the input data distribution. This technique does not increase the number of parameters in the final model and also does not increase the inference (test) time but still improves the performance of deep CNNs. To the best of our knowledge, this is the first work that makes use of different data distribution to aid the training of convolutional neural networks (CNNs). We thoroughly evaluate the proposed approach on standard architectures: VGG, ResNet, and WideResNet, and on several popular datasets: CIFAR-10, CIFAR-100, SVHN, and ImageNet. We observe consistent accuracy improvement by using the proposed technique. We also show experimentally that the model trained by our technique generalizes well to other tasks such as object detection on the MS-COCO dataset using Faster R-CNN. We present extensive ablations to validate the proposed approach. Our approach improves the accuracy of VGG-16 by a significant margin of 2.1% over the CIFAR-100 dataset.


title: Atmospheric CO$_2$ and total electricity production before and during the nation-wide restriction of activities as a consequence of the COVID-19 pandemic

abstract: In this paper, we analysed real-time measurements of atmospheric CO$_2$ with total electricity production and nation-wide restrictions phases due to the novel coronavirus COVID-19 pandemic, and its effects on atmospheric CO$_2$ concentrations. A decline of 3.7% in the global energy demand at about 150 million tonnes of oil equivalent (Mtoe) in the first quarter (Q1), of 2020 was recorded, as compared to the same first quarter (Q1), of 2019, due to the cutback on global economic activities. Our results showed that: 1) electricity production for the same period in the years 2018, 2019, and 2020, shrunk at an offset of about 9.20%, which resulted in the modest reduction of about (-1.79%), in the atmospheric CO$_2$, to that of 2017-2018 CO$_2$ level; 2) a non-seasonal abrupt; but brief, atmospheric CO$_2$ decrease by about 0.85% in mid-February 2020, could be due to the Phase 1 movement restrictions in China. The results showed that, the reduction in electricity production is significant to the short-term variability of atmospheric CO$_2$. It also highlights the significant contributions from China to the atmospheric CO$_2$, which suggests that, without the national restriction of activities, CO$_2$ concentration are set to exceed 2019 by 1.79%, but it quickly decreased due to the lockdown, and sustained the reduction for two consecutive months. The results underscore the atmospheric CO$_2$ reductions on the monthly time scale that can be achieved, if electricity production from combustible sources were slashed, which could be useful for cost-benefit analyses of the reduction in electricity production from combustible sources, and the impact of these reduction to the atmospheric CO$_2$.


title: Stacking-dependent spin interactions in Pd/Fe bilayers on Re(0001)

abstract: Using spin-polarized scanning tunneling microscopy and density functional theory, we have studied the magnetic properties of Pd/Fe atomic bilayers on Re(0001). Two kinds of magnetic ground states are discovered due to different types of stacking of the Pd adlayer on Fe/Re(0001). For fcc-stacking of Pd on Fe/Re(0001), it is a spin spiral propagating along the close-packed direction with a period of about 0.9 nm, driven by frustrated exchange and Dzyaloshinskii-Moriya interactions. For the hcp stacking, the higher-order exchange interactions stabilize an uudd (up-up-down-down) state propagating perpendicular to the close-packed direction with a period of about 1.0 nm.


title: An Optimal Tester for $k$-Linear

abstract: A Boolean function $f:\{0,1\}^n\to \{0,1\}$ is $k$-linear if it returns the sum (over the binary field $F_2$) of $k$ coordinates of the input. In this paper, we study property testing of the classes $k$-Linear, the class of all $k$-linear functions, and $k$-Linear$^*$, the class $\cup_{j=0}^kj$-Linear. We give a non-adaptive distribution-free two-sided $\epsilon$-tester for $k$-Linear that makes $$O\left(k\log k+\frac{1}{\epsilon}\right)$$ queries. This matches the lower bound known from the literature. We then give a non-adaptive distribution-free one-sided $\epsilon$-tester for $k$-Linear$^*$ that makes the same number of queries and show that any non-adaptive uniform-distribution one-sided $\epsilon$-tester for $k$-Linear must make at least $ \tilde\Omega(k)\log n+\Omega(1/\epsilon)$ queries. The latter bound, almost matches the upper bound $O(k\log n+1/\epsilon)$ known from the literature. We then show that any adaptive uniform-distribution one-sided $\epsilon$-tester for $k$-Linear must make at least $\tilde\Omega(\sqrt{k})\log n+\Omega(1/\epsilon)$ queries.


title: Propositionalization and Embeddings: Two Sides of the Same Coin

abstract: Data preprocessing is an important component of machine learning pipelines, which requires ample time and resources. An integral part of preprocessing is data transformation into the format required by a given learning algorithm. This paper outlines some of the modern data processing techniques used in relational learning that enable data fusion from different input data types and formats into a single table data representation, focusing on the propositionalization and embedding data transformation approaches. While both approaches aim at transforming data into tabular data format, they use different terminology and task definitions, are perceived to address different goals, and are used in different contexts. This paper contributes a unifying framework that allows for improved understanding of these two data transformation techniques by presenting their unified definitions, and by explaining the similarities and differences between the two approaches as variants of a unified complex data transformation task. In addition to the unifying framework, the novelty of this paper is a unifying methodology combining propositionalization and embeddings, which benefits from the advantages of both in solving complex data transformation and learning tasks. We present two efficient implementations of the unifying methodology: an instance-based PropDRM approach, and a feature-based PropStar approach to data transformation and learning, together with their empirical evaluation on several relational problems. The results show that the new algorithms can outperform existing relational learners and can solve much larger problems.


title: A Survey on Approximation in Parameterized Complexity: Hardness and Algorithms

abstract: Parameterization and approximation are two popular ways of coping with NP-hard problems. More recently, the two have also been combined to derive many interesting results. We survey developments in the area both from the algorithmic and hardness perspectives, with emphasis on new techniques and potential future research directions.


title: Environmentally Induced Entanglement -- Anomalous Behavior in the Adiabatic Regime

abstract: Considering two non-interacting qubits in the context of open quantum systems, it is well known that their common environment may act as an entangling agent. In a perturbative regime the influence of the environment on the system dynamics can effectively be described by a unitary and a dissipative contribution. For the two-spin Boson model with (sub-) Ohmic spectral density considered here, the particular unitary contribution (Lamb shift) easily explains the buildup of entanglement between the two qubits. Furthermore it has been argued that in the adiabatic limit, adding the so-called counterterm to the microscopic model compensates the unitary influence of the environment and, thus, inhibits the generation of entanglement. Investigating this assertion is one of the main objectives of the work presented here. Using the hierarchy of pure states (HOPS) method to numerically calculate the exact reduced dynamics, we find and explain that the degree of inhibition crucially depends on the parameter $s$ determining the low frequency power law behavior of the spectral density $J(\omega) \sim \omega^s e^{-\omega/\omega_c}$. Remarkably, we find that for resonant qubits, even in the adiabatic regime (arbitrarily large $\omega_c$), the entanglement dynamics is still influenced by an environmentally induced Hamiltonian interaction. Further, we study the model in detail and present the exact entanglement dynamics for a wide range of coupling strengths, distinguish between resonant and detuned qubits, as well as Ohmic and deep sub-Ohmic environments. Notably, we find that in all cases the asymptotic entanglement does not vanish and conjecture a linear relation between the coupling strength and the asymptotic entanglement measured by means of concurrence. Further we discuss the suitability of various perturbative master equations for obtaining approximate entanglement dynamics.


title: Constraining gravitational-wave polarizations with Taiji

abstract: Space-based gravitational-wave detectors consist of a triangle of three spacecraft, which makes it possible to detect polarization modes of gravitational waves due to the motion of the detectors in space. In this paper we explore the ability of Taiji to detect the polarization modes in the parametrized post-Einsteinian framework. Assuming massive black hole binaries with the total mass of $M=4\times10^5\,M_{\odot}$ at redshift of $z=1$, we find that Taiji can measure the dipole and quadruple emission ($\Delta\alpha_D/\alpha_D$ and $\Delta\alpha_Q/\alpha_Q$) with the accuracy of up to $\sim 0.04\%$, with the fiducial value of $\alpha_D=0.001$, the scalar transverse and longitudinal modes ($\Delta\alpha_B$ and $\Delta\alpha_L$) up to $\sim 0.01$, and the vector modes ($\Delta\alpha_V$) up to $\sim 0.0005$.


title: Stable Adversarial Learning under Distributional Shifts

abstract: Machine learning algorithms with empirical risk minimization are vulnerable under distributional shifts due to the greedy adoption of all the correlations found in training data. Recently, there are robust learning methods aiming at this problem by minimizing the worst-case risk over an uncertainty set. However, they equally treat all covariates to form the decision sets regardless of the stability of their correlations with the target, resulting in the overwhelmingly large set and low confidence of the learner.In this paper, we propose Stable Adversarial Learning (SAL) algorithm that leverages heterogeneous data sources to construct a more practical uncertainty set and conduct differentiated robustness optimization, where covariates are differentiated according to the stability of their correlations with the target. We theoretically show that our method is tractable for stochastic gradient-based optimization and provide the performance guarantees for our method. Empirical studies on both simulation and real datasets validate the effectiveness of our method in terms of uniformly good performance across unknown distributional shifts.


title: Real-time discrete multi-tone transmission for passive optical networks in C- and O-band

abstract: DMT at 25 Gbit/s, 50 Gbit/s and 100 Gbit/s in passive systems with electro-absorption modulators is investigated. Transmission in C- and O-band are compared, yielding up to 22 km reach, 100 Gbit/s in O-band. All results are obtained with a real-time signal processing ASIC.


title: Metro-haul Project Vertical Service Demo: Video Surveillance Real-time Low-latency Object Tracking

abstract: We report on the EU H2020 project METRO-HAUL use-case demonstration, including flexible allocation of storage and computing resources in different network locations and deployment of a network slice instance through a programmable multi-layer optical network.