title: RIS-Aided Offshore Communications with Adaptive Beamforming and Service Time Allocation

abstract: Reconfigurable intelligent surfaces (RISs), which can deliberately adjust the phase of incident waves, have shown enormous potentials to reconfigure the signal propagation for performance enhancement. In this paper, we investigate the RIS-aided offshore system to provide a cost-effective coverage of high-speed data service. The shipborne RIS is placed offshore to improve the signal quality at the vessels, and the coastal base station is equipped with low-cost reconfigurable reflect-arrays (RRAs), instead of the conventional costly fully digital antenna arrays (FDAAs), to reduce the hardware cost. In order to meet the rate requirements of diversified maritime activities, the effective sum rate (ESR) is studied by jointly optimizing the beamforming scheme and the service time allocated to each vessel. The optimal allocation scheme is derived, and an efficient fixed-point based alternating ascent method is developed to obtain a suboptimal solution to the non-convex beamforming problem. Numerical results show that the ESR is considerably improved with the aid of the RIS, and the proposed scheme using the hardwareefficient RRAs has only a slight performance loss, compared to its FDAA-based counterpart.


title: Semiclassical limit of Gross-Pitaevskii equation with Dirichlet boundary condition

abstract: In this paper, we justify the semiclassical limit of Gross-Pitaevskii equation with Dirichlet boundary condition on the 3-D upper space under the assumption that the leading order terms to both initial amplitude and initial phase function are sufficiently small in some high enough Sobolev norms. We remark that the main difficulty of the proof lies in the fact that the boundary layer appears in the leading order terms of the amplitude functions and the gradient of the phase functions to the WKB expansions of the solutions. In particular, we partially solved the open question proposed in \cite{CR2009, PNB2005} concerning the semiclassical limit of Gross-Pitaevskii equation with Dirichlet boundary condition.


title: Revocable Federated Learning: A Benchmark of Federated Forest

abstract: A learning federation is composed of multiple participants who use the federated learning technique to collaboratively train a machine learning model without directly revealing the local data. Nevertheless, the existing federated learning frameworks have a serious defect that even a participant is revoked, its data are still remembered by the trained model. In a company-level cooperation, allowing the remaining companies to use a trained model that contains the memories from a revoked company is obviously unacceptable, because it can lead to a big conflict of interest. Therefore, we emphatically discuss the participant revocation problem of federated learning and design a revocable federated random forest (RF) framework, RevFRF, to further illustrate the concept of revocable federated learning. In RevFRF, we first define the security problems to be resolved by a revocable federated RF. Then, a suite of homomorphic encryption based secure protocols are designed for federated RF construction, prediction and revocation. Through theoretical analysis and experiments, we show that the protocols can securely and efficiently implement collaborative training of an RF and ensure that the memories of a revoked participant in the trained RF are securely removed.


title: Controlled Crowdsourcing for High-Quality QA-SRL Annotation

abstract: Question-answer driven Semantic Role Labeling (QA-SRL) was proposed as an attractive open and natural flavour of SRL, potentially attainable from laymen. Recently, a large-scale crowdsourced QA-SRL corpus and a trained parser were released. Trying to replicate the QA-SRL annotation for new texts, we found that the resulting annotations were lacking in quality, particularly in coverage, making them insufficient for further research and evaluation. In this paper, we present an improved crowdsourcing protocol for complex semantic annotation, involving worker selection and training, and a data consolidation phase. Applying this protocol to QA-SRL yielded high-quality annotation with drastically higher coverage, producing a new gold evaluation dataset. We believe that our annotation protocol and gold standard will facilitate future replicable research of natural semantic annotations.


title: Chloride-induced alterations of the passive film on 316L stainless steel and blocking effect of pre-passivation

abstract: Electrochemical polarization measurements were combined with surface analysis by Time of Flight Secondary Ion Mass Spectroscopy (ToF-SIMS), X-Ray Photoelectron Spectroscopy (XPS) and Atomic Force Microscopy (AFM) to study the alterations of the passive film on 316L austenitic stainless steel induced by the presence of chlorides in sulfuric acid electrolyte. The work was performed at a stage of initiation of localized corrosion preceding metastable pitting at the micrometer scale as verified by current transient analysis and AFM. The results show that Cl-ions enter the bilayer structure of the surface oxide already formed in the native oxide-covered initial surface state at concentrations below the detection limit of XPS (< 0.5 at%), mostly in the hydroxide outer layer where Fe(III) and Mo(IV,VI) species are concentrated but barely in the oxide inner layer enriched in Cr(III). Their main effect is to produce a less resistive passive state by poisoning dehydroxylation and further Cr(III) and Mo(IV,VI) enrichments obtained in the absence of chlorides. This detrimental effect can be suppressed by pre-passivation in a Cl-free electrolyte, which blocks the entry of chlorides in the passive film, including in the outer exchange layer, and enables the beneficial aging-induced variations of the composition to take place despite the presence of chlorides in the environment.


title: Dual Representation of Expectile based Expected Shortfall and Its Properties

abstract: The expectile can be considered as a generalization of quantile. While expected shortfall is a quantile based risk measure, we study its counterpart -- the expectile based expected shortfall -- where expectile takes the place of quantile. We provide its dual representation in terms of Bochner integral. Among other properties, we show that it is bounded from below in terms of convex combinations of expected shortfalls, and also from above by the smallest law invariant, coherent and comonotonic risk measure, for which we give the explicit formulation of the corresponding distortion function. As a benchmark to the industry standard expected shortfall we further provide its comparative asymptotic behavior in terms of extreme value distributions. Based on these results, we finally compute explicitly the expectile based expected shortfall for some selected class of distributions.


title: On the well-posedness of the Hall-magnetohydrodynamics system in critical spaces

abstract: We investigate the existence and uniqueness issues of the 3D incompressible Hall-magnetohydrodynamic system supplemented with initial velocity $u_0$ and magnetic field $B_0$ in critical regularity spaces.In the case where $u_0,$ $B_0$ and the current $J_0:=\nabla\times B_0$ belong to the homogeneous Besov space $\dot B^{\frac 3p-1}_{p,1},$ $\:1\leq p<\infty,$ and are small enough, we establish a global result and the conservation of higher regularity.If the viscosity is equal to the magnetic resistivity, then we obtain the global well-posedness provided $u_0,$ $B_0$ and $J_0$ are small enough in the \emph{larger} Besov space $\dot B^{\frac12}_{2,r},$ $r\geq1.$If $r=1,$ then we also establish the local existence for large data, and exhibit continuation criteria for solutions with critical regularity. Our results rely on an extended formulation of the Hall-MHD system, that has some similarities with the incompressibleNavier-Stokes equations.


title: SZ contribution to characterize the shape of galaxy cluster haloes

abstract: We present the on-going activity to characterize the geometrical properties of the gas and dark matter haloes using multi-wavelength observations of galaxy clusters. The role of the SZ signal in describing the gas distribution is discussed for the pilot case of the CLASH object MACS J1206.2-0847. Preliminary images of the NIKA2 and ALMA exposures are presented.


title: NOEMA complementarity with NIKA2

abstract: IRAM operates two observatories - the 30-meter Telescope on Pico Veleta in Spain and NOEMA, an interferometer of ten 15-meter antennas on Plateau de Bure in France. Both observatories allow to observe at millimeter wavelengths. Here, we aim at discussing the complementary between continuum observations with NOEMA and NIKA2 at the 30m and their role at the cutting edge of research in astronomy. In particular, we will review possible synergies of continuum studies from nearby star forming regions to high redshift galaxies at cosmological distances.


title: Advances in Machine Learning for the Behavioral Sciences

abstract: The areas of machine learning and knowledge discovery in databases have considerably matured in recent years. In this article, we briefly review recent developments as well as classical algorithms that stood the test of time. Our goal is to provide a general introduction into different tasks such as learning from tabular data, behavioral data, or textual data, with a particular focus on actual and potential applications in behavioral sciences. The supplemental appendix to the article also provides practical guidance for using the methods by pointing the reader to proven software implementations. The focus is on R, but we also cover some libraries in other programming languages as well as systems with easy-to-use graphical interfaces.


title: Canada and the SKA from 2020-2030

abstract: This white paper submitted for the 2020 Canadian Long-Range Planning process (LRP2020) presents the prospects for Canada and the Square Kilometre Array (SKA) from 2020-2030, focussing on the first phase of the project (SKA1) scheduled to begin construction early in the next decade. SKA1 will make transformational advances in our understanding of the Universe across a wide range of fields, and Canadians are poised to play leadership roles in several. Canadian key SKA technologies will ensure a good return on capital investment in addition to strong scientific returns, positioning Canadian astronomy for future opportunities well beyond 2030. We therefore advocate for Canada's continued scientific and technological engagement in the SKA from 2020-2030 through participation in the construction and operations phases of SKA1.


title: Fibered Cohomology Classes in Dimension Three, Twisted Alexander Polynomials and Novikov Homology

abstract: We prove that for "most" closed 3-dimensional manifolds $M$, the existence of a closed non singular one-form in a given cohomology class $u\in H^1 (M,\bf R)$ is equivalent to the fact that every twisted Alexander polynomial $\Delta^H(M,u) \in {\bf Z}[G/\ker u]$ associated to a normal subgroup with finite index $H < \pi_1(M)$ has a unitary $u$-minimal term.


title: Linear integrable systems on quad-graphs

abstract: In the first part of the paper, we classify linear integrable (multi-dimensionally consistent) quad-equations on bipartite isoradial quad-graphs in $\mathbb C$, enjoying natural symmetries and the property that the restriction of their solutions to the black vertices satisfies a Laplace type equation. The classification reduces to solving a functional equation. Under certain restriction, we give a complete solution of the functional equation, which is expressed in terms of elliptic functions. We find two real analytic reductions, corresponding to the cases when the underlying complex torus is of a rectangular type or of a rhombic type. The solution corresponding to the rectangular type was previously found by Boutillier, de Tili\`ere and Raschel. Using the multi-dimensional consistency, we construct the discrete exponential function, which serves as a basis of solutions of the quad-equation. In the second part of the paper, we focus on the integrability of discrete linear variational problems. We consider discrete pluri-harmonic functions, corresponding to a discrete 2-form with a quadratic dependence on the fields at black vertices only. In an important particular case, we show that the problem reduces to a two-field generalization of the classical star-triangle map. We prove the integrability of this novel 3D system by showing its multi-dimensional consistency. The Laplacians from the first part come as a special solution of the two-field star-triangle map.


title: Well-Posedness and Ill-Posedness for the Fourth order cubic nonlinear Schr\"odinger equation in negative Sobolev spaces

abstract: We consider the Cauchy problem for the fourth order cubic nonlinear Schr\"odinger equation (4NLS). The main goal of this paper is to prove low regularity well-posedness and mild ill-posedness for (4NLS). We prove three results. First, we show that (4NLS) is locally well-posed in $H^s\left(\mathbb{R}\right), s\geq -\frac{1}{2}$ using the Fourier restriction norm method. Second, we show that (4NLS) is globally well-posed in $H^s\left(\mathbb{R}\right),s\geq -\frac{1}{2}$. To prove this, we use the $I$-method with the correction term strategy presented in Colliander-Keel-Staffilani-Takaoka-Tao [7]. Finally, we prove that (4NLS) is mildly ill-posed in the sense that the flow map fails to be locally uniformly continuous in $H^s(\mathbb{R}), s<-\frac{1}{2}$. Therefore, these results show that $s=-\frac{1}{2}$ is the sharp regularity threshold for which the well-posedness problem can be dealt with an iteration argument.


title: Flatness produced by some geometric PDEs

abstract: This paper has several goals. The first idea is to study the geometric PDEs of connection-flatness, curvature-flatness, Ricci-flatness, scalar curvature-flatness in a modern and rigorous way. Although the idea is not new, our main Theorems about flatness introduce a different point of view in Differential Geometry. The second idea is to introduce and study the Euler-Lagrange prolongations of PDEs-flatness solutions via associated least squares Lagrangian densities and functionals on Riemannian manifolds. All geometric PDEs turned into one of the most intensively developing branches of modern differential geometry.


title: Newmark algorithm for dynamic analysis with Maxwell chain model

abstract: This paper investigates a time-stepping procedure of the Newmark type for dynamic analyses of viscoelastic structures characterized by a generalized Maxwell model. We depart from a scheme developed for a three-parameter model by Hatada et al. in 2000, which we extend to a generic Maxwell chain and demonstrate that the resulting algorithm can be derived from a suitably discretized Hamilton variational principle. This variational structure manifests itself in an excellent stability and a low artificial damping of the integrator, as we confirm with a mass-spring-dashpot example. After a straightforward generalization to distributed systems, the integrator may find use in, e.g., fracture simulations of laminated glass units, once combined with variationally-based fracture models.


title: Full distribution of the superfluid fraction and extreme value statistics in a one dimensional disordered Bose gas

abstract: The full statistical distribution of the superfluid fraction characterizing one-dimensional Bose gases in random potentials is discussed. Rare configurations with extreme fluctuations of the disorder potential can fragment the condensate and reduce the superfluid fraction to zero. The resulting bimodal probability distribution for the superfluid fraction is calculated numerically in the quasi-1D mean-field regime of ultracold atoms in laser speckle potentials. Using extreme-value statistics, an analytical scaling of the zero-superfluid probability as function of disorder strength, disorder correlation length and system size is presented. It is argued that similar results can be expected for point-like impurities, and that these findings are in reach for present-day experiments.


title: Dust evolution in pre-stellar cores

abstract: Dust grains are the building {blocks} of future planets. They evolve in size, shape and composition during the life cycle of the interstellar medium. We seek to understand the process which leads from diffuse medium grains to dust grains in the vicinity of protostars inside disks. As a first step, we propose to characterize the dust evolution inside pre-stellar cores thanks to multi-wavelength observations. We will present how NIKA2 maps are crucial to better constrain dust properties and {we will} introduce SIGMA: a new flexible dust model in open access.


title: Magnetic glassy state at low spin state of Co3+ in EuBaCo2O5+{\delta} ({\delta} = 0.47) cobaltite

abstract: The magnetic glassy state is a fascinating phenomenon, which results from the kinetic arrest of the first order magnetic phase transition. Interesting properties, such as metastable magnetization and nonequilibrium magnetic phases, are naturally developed in the magnetic glassy state. Here, we report magnetic glass property in the low spin state of Co3+ in EuBaCo2O5+{\delta} ({\delta} = 0.47) cobaltite at low temperature (T < 60 K). The measurements of magnetization under the cooling and heating in unequal fields, magnetization relaxation and thermal cycling of magnetization show the kinetic arrest of low magnetization state below 60 K. The kinetically arrested low temperature magnetic phase is further supported through the study of isothermal magnetic entropy, which shows the significant entropy change. The present results will open a new window to search the microscopic relation between the spin state transitions and the kinetic arrest induced magnetic glassy phenomena in complex materials.


title: Enumeration of plane partitions by descents

abstract: We study certain bijection between plane partitions and $\mathbb{N}$-matrices. As applications, we prove a Cauchy-type identity for generalized dual Grothendieck polynomials. We introduce two statistics on plane partitions, whose generating functions are similar to classical MacMahon's formulas; one of these statistics is equidistributed with the usual volume. We also show natural connections with the longest increasing subsequences of words.


title: Image formation process with the solar gravitational lens

abstract: We study image formation with the solar gravitational lens (SGL). We consider a point source that is positioned at a large but finite distance from the Sun. We assume that an optical telescope is positioned in the image plane, in the focal region of the SGL. We model the telescope as a convex lens and evaluate the intensity distribution produced by the electromagnetic field that forms the image in the focal plane of the convex lens. We first investigate the case when the telescope is located on the optical axis of the SGL or in its immediate vicinity. This is the region of strong interference where the SGL forms an image of a distant source, which is our primary interest. We derive analytic expressions that describe the progression of the image from an Einstein ring corresponding to an on-axis telescope position, to the case of two bright spots when the telescope is positioned some distance away from the optical axis. At greater distances from the optical axis, in the region of weak interference and that of geometric optics, we recover expressions that are familiar from models of gravitational microlensing, but developed here using a wave-optical treatment. We discuss applications of the results for imaging and spectroscopy of exoplanets with the SGL.


title: Regularity of the solution to fractional diffusion, advection, reaction equations

abstract: In this report we investigate the regularity of the solution to the fractional diffusion, advection, reaction equation on a bounded domain in $\mathbb{R}^{1}$. The analysis is performed in the weighted Sobolev spaces, $H_{(a , b)}^{s}(\mathrm{I})$. Three different characterizations of $H_{(a , b)}^{s}(\mathrm{I})$ are presented, together with needed embedding theorems for these spaces. The analysis shows that the regularity of the solution is bounded by the endpoint behavior of the solution, which is determined by the parameters $\alpha$ and $r$ defining the fractional diffusion operator. Additionally, the analysis shows that for a sufficiently smooth right hand side function, the regularity of the solution to fractional diffusion reaction equation is lower than that of the fractional diffusion equation. Also, the regularity of the solution to fractional diffusion advection reaction equation is two orders lower than that of the fractional diffusion reaction equation.


title: ROSY: An elegant language to teach the pure reactive nature of robot programming

abstract: Robotics is incredibly fun and is long recognized as a great way to teach programming, while drawing inspiring connections to other branches of engineering and science such as maths, physics or electronics. Although this symbiotic relationship between robotics and programming is perceived as largely beneficial, educational approaches often feel the need to hide the underlying complexity of the robotic system, but as a result fail to transmit the reactive essence of robot programming to the roboticists and programmers of the future. This paper presents ROSY, a novel language for teaching novice programmers through robotics. Its functional style is both familiar with a high-school algebra background and a materialization of the inherent reactive nature of robotic programming. Working at a higher-level of abstraction also teaches valuable design principles of decomposition of robotics software into collections of interacting controllers. Despite its simplicity, ROSY is completely valid Haskell code compatible with the ROS ecosystem. We make a convincing case for our language by demonstrating how non-trivial applications can be expressed with ease and clarity, exposing its sound functional programming foundations, and developing a web-enabled robot programming environment.


title: Estimating States for Nonlinear Systems Using the Particle Filter

abstract: Kalman filtering has been traditionally applied in three application areas of estimation, state estimation, parameter estimation (a.k.a. model updating), and dual estimation. However, Kalman filter is often not sufficient when experimenting with highly uncertain nonlinear dynamic systems. In this study, a nonlinear estimator is developed by adopting a particle filter algorithm that takes advantage of measured signals. This approach is shown to significantly improve the ability to estimate states. To illustrate this approach, a model for a nonlinear device coupled with a hydraulic actuator plays the role of an actual plant and a nonlinear algebraic function is considered as an approximation of the nonlinear device, thus generating non-parametric and parametric uncertainties. Then we use displacement and force signals to improve the distribution of the states by resampling the set of particles. Finally, all of the states are estimated from these posterior density functions. A set of simulations considering three different noise levels demonstrates that the performance of the particle filter approach is superior to the Kalman filter, yielding substantially better performance when estimating nonlinear physical systems in the presence of modeling uncertainties.


title: Experienced Deep Reinforcement Learning with Generative Adversarial Networks (GANs) for Model-Free Ultra Reliable Low Latency Communication

abstract: In this paper, a novel experienced deep reinforcement learning (deep-RL) framework is proposed to provide model-free resource allocation for ultra reliable low latency communication (URLLC). The proposed, experienced deep-RL framework can guarantee high end-to-end reliability and low end-to-end latency, under explicit data rate constraints, for each wireless without any models of or assumptions on the users' traffic. In particular, in order to enable the deep-RL framework to account for extreme network conditions and operate in highly reliable systems, a new approach based on generative adversarial networks (GANs) is proposed. This GAN approach is used to pre-train the deep-RL framework using a mix of real and synthetic data, thus creating an experienced deep-RL framework that has been exposed to a broad range of network conditions. Formally, the URLLC resource allocation problem is posed as a power minimization problem under reliability, latency, and rate constraints. To solve this problem using experienced deep-RL, first, the rate of each user is determined. Then, these rates are mapped to the resource block and power allocation vectors of the studied wireless system. Finally, the end-to-end reliability and latency of each user are used as feedback to the deep-RL framework. It is then shown that at the fixed-point of the deep-RL algorithm, the reliability and latency of the users are near-optimal. Moreover, for the proposed GAN approach, a theoretical limit for the generator output is analytically derived. Simulation results show how the proposed approach can achieve near-optimal performance within the rate-reliability-latency region, depending on the network and service requirements. The results also show that the proposed experienced deep-RL framework is able to remove the transient training time that makes conventional deep-RL methods unsuitable for URLLC.


title: The Effect of Erasure Coding on the Burstiness of Packet Loss

abstract: The perceived quality of real-time media delivered over IP networks depends on both the rate and burstiness of packet loss. In this paper, we develop a new mathematical model for the residual burstiness of loss under erasure coding. We derive the expected number of consecutive losses in a burst as a function of erasure coding parameters and the network loss probability assuming a Bernoulli model for network losses.


title: Estimates near the boundary for critical SQG

abstract: We obtain estimates near the boundary for the critical dissipative SQG equation in bounded domains, with the square root of the Dirichlet Laplacian dissipation. We prove that global regularity up to the boundary holds if and only if a certain quantitative vanishing of the scalar at the boundary is maintained.


title: Algorithmic Design and Implementation of Unobtrusive Multistatic Serial LiDAR Image

abstract: To fully understand interactions between marine hydrokinetic (MHK) equipment and marine animals, a fast and effective monitoring system is required to capture relevant information whenever underwater animals appear. A new automated underwater imaging system composed of LiDAR (Light Detection and Ranging) imaging hardware and a scene understanding software module named Unobtrusive Multistatic Serial LiDAR Imager (UMSLI) to supervise the presence of animals near turbines. UMSLI integrates the front end LiDAR hardware and a series of software modules to achieve image preprocessing, detection, tracking, segmentation and classification in a hierarchical manner.


title: Inducing brain-relevant bias in natural language processing models

abstract: Progress in natural language processing (NLP) models that estimate representations of word sequences has recently been leveraged to improve the understanding of language processing in the brain. However, these models have not been specifically designed to capture the way the brain represents language meaning. We hypothesize that fine-tuning these models to predict recordings of brain activity of people reading text will lead to representations that encode more brain-activity-relevant language information. We demonstrate that a version of BERT, a recently introduced and powerful language model, can improve the prediction of brain activity after fine-tuning. We show that the relationship between language and brain activity learned by BERT during this fine-tuning transfers across multiple participants. We also show that, for some participants, the fine-tuned representations learned from both magnetoencephalography (MEG) and functional magnetic resonance imaging (fMRI) are better for predicting fMRI than the representations learned from fMRI alone, indicating that the learned representations capture brain-activity-relevant information that is not simply an artifact of the modality. While changes to language representations help the model predict brain activity, they also do not harm the model's ability to perform downstream NLP tasks. Our findings are notable for research on language understanding in the brain.


title: Ground-state properties of spin-orbit-coupled dipolar Bose-Einstein condensates with in-plane gradient magnetic field

abstract: We investigate the ground-state properties of spin-orbit-coupled pseudo-spin-1/2 dipolar Bose-Einstein condensates (BECs) in a two-dimensional harmonic trap and an in-plane quadrupole field. The effects of spin-orbit coupling (SOC), dipole-dipole interaction (DDI) and the in-plane quadrupole field on the ground-state structures and spin textures of the system are systematically analyzed and discussed. For fixed SOC and DDI strengths, the system shows a quadrupole stripe phase with a half-quantum vortex, or a quadrupole Thomas-Fermi phase with a half-quantum antivortex for small quadrupole field strength, depending on the ratio between inter- and intraspecies interaction. As the quadrupole field strength enhances, the system realizes a ring mixed phase with a hidden vortex-antivortex cluster rather than an ordinary giant vortex in each component. Of particular interest, when the strengths of DDI and quadrupole field are fixed, strong SOC leads to the formation of criss-crossed vortex string structure. For given SOC and quadrupole field, the system for strong DDI displays a sandwich-like structure, or a special delaminated structure with a prolate antivortex in the spin-up component. In addition, typical spin textures for the ground states of the system are analyzed. It is shown that the system sustains exotic topological structures, such as a hyperbolic spin domain wall, skyrmion-half-antiskyrmion-antiskyrmion lattice, half-skyrmion-skyrmion-half-antiskyrmion lattice, and a drum-shaped antimeron.


title: Char-RNN and Active Learning for Hashtag Segmentation

abstract: We explore the abilities of character recurrent neural network (char-RNN) for hashtag segmentation. Our approach to the task is the following: we generate synthetic training dataset according to frequent n-grams that satisfy predefined morpho-syntactic patterns to avoid any manual annotation. The active learning strategy limits the training dataset and selects informative training subset. The approach does not require any language-specific settings and is compared for two languages, which differ in inflection degree.


title: Anomalous Dissipation in Passive Scalar Transport

abstract: We study anomalous dissipation in hydrodynamic turbulence in the context of passive scalars. Our main result produces an incompressible $C^\infty([0,T)\times \mathbb{T}^d)\cap L^1([0,T]; C^{1-}(\mathbb{T}^d))$ velocity field which explicitly exhibits anomalous dissipation. As a consequence, this example also shows non-uniqueness of solutions to the transport equation with an incompressible $L^1([0,T]; C^{1-}(\mathbb{T}^d))$ drift, which is smooth except at one point in time. We also provide three sufficient conditions for anomalous dissipation provided solutions to the inviscid equation become singular in a controlled way. Finally, we discuss connections to the Obukhov-Corrsin monofractal theory of scalar turbulence along with other potential applications.


title: The Complexity of Verifying Loop-Free Programs as Differentially Private

abstract: We study the problem of verifying differential privacy for loop-free programs with probabilistic choice. Programs in this class can be seen as randomized Boolean circuits, which we will use as a formal model to answer two different questions: first, deciding whether a program satisfies a prescribed level of privacy; second, approximating the privacy parameters a program realizes. We show that the problem of deciding whether a program satisfies $\varepsilon$-differential privacy is $coNP^{\#P}$-complete. In fact, this is the case when either the input domain or the output range of the program is large. Further, we show that deciding whether a program is $(\varepsilon,\delta)$-differentially private is $coNP^{\#P}$-hard, and in $coNP^{\#P}$ for small output domains, but always in $coNP^{\#P^{\#P}}$. Finally, we show that the problem of approximating the level of differential privacy is both $NP$-hard and $coNP$-hard. These results complement previous results by Murtagh and Vadhan showing that deciding the optimal composition of differentially private components is $\#P$-complete, and that approximating the optimal composition of differentially private components is in $P$.


title: Dynamics of curved travelling fronts for the discrete Allen-Cahn equation on a two-dimensional lattice

abstract: In this paper we consider the discrete Allen-Cahn equation posed on a two-dimensional rectangular lattice. We analyze the large-time behaviour of solutions that start as bounded perturbations to the well-known planar front solution that travels in the horizontal direction. In particular, we construct an asymptotic phase function $\gamma_j(t)$ and show that for each vertical coordinate $j$ the corresponding horizontal slice of the solution converges to the planar front shifted by $\gamma_j(t)$. We exploit the comparison principle to show that the evolution of these phase variables can be approximated by an appropriate discretization of the mean curvature flow with a direction-dependent drift term. This generalizes the results obtained in [Matano & Nara, 2011] for the spatially continuous setting. Finally, we prove that the horizontal planar wave is nonlinearly stable with respect to perturbations that are asymptotically periodic in the vertical direction.


title: Imperceptible Adversarial Attacks on Tabular Data

abstract: Security of machine learning models is a concern as they may face adversarial attacks for unwarranted advantageous decisions. While research on the topic has mainly been focusing on the image domain, numerous industrial applications, in particular in finance, rely on standard tabular data. In this paper, we discuss the notion of adversarial examples in the tabular domain. We propose a formalization based on the imperceptibility of attacks in the tabular domain leading to an approach to generate imperceptible adversarial examples. Experiments show that we can generate imperceptible adversarial examples with a high fooling rate.


title: Probabilistic One-Dimensional Inversion of Frequency-Domain Electromagnetic Data Using a Kalman Ensemble Generator

abstract: Frequency-domain electromagnetic (FDEM) data of the subsurface are determined by electrical conductivity and magnetic susceptibility. We apply a Kalman Ensemble generator (KEG) to one-dimensional probabilistic multi-layer inversion of FDEM data to derive conductivity and susceptibility simultaneously. The KEG provides an efficient alternative to an exhaustive Bayesian framework for FDEM inversion, including a measure for the uncertainty of the inversion result. Additionally, the method provides a measure for the depth below which the measurement is insensitive to the parameters of the subsurface. This so-called depth of investigation is derived from ensemble covariances. A synthetic and a field data example reveal how the KEG approach can be applied to FDEM data and how FDEM calibration data and prior beliefs can be combined in the inversion procedure. For the field data set, many inversions for one-dimensional subsurface models are performed at neighbouring measurement locations. Assuming identical prior models for these inversions, we save computational time by re-using the initial KEG ensemble across all measurement locations.


title: Online Learning and Optimization Under a New Linear-Threshold Model with Negative Influence

abstract: Problem definition: Corporate brands, grassroots activists, and ordinary citizens all routinely employ Word-of-mouth (WoM) diffusion to promote products and instigate social change. Our work models the formation and spread of negative attitudes via WoM on a social network represented by a directed graph. In an online learning setting, we examine how an agent could simultaneously learn diffusion parameters and choose sets of seed users to initiate diffusions and maximize positive influence. In contrast to edge-level feedback, in which an agent observes the relationship (edge) through which a user (node) is influenced, we more realistically assume node-level feedback, where an agent only observes when a user is influenced and whether that influence is positive or negative. Methodology/results: We propose a new class of negativity-aware Linear Threshold Models. We show that in these models, the expected positive influence spread is a monotone submodular function of the seed set. Therefore, when maximizing positive influence by selecting a seed set of fixed size, a greedy algorithm can guarantee a solution with a constant approximation ratio. For the online learning setting, we propose an algorithm that runs in epochs of growing lengths, each consisting of a fixed number of exploration rounds followed by an increasing number of exploitation rounds controlled by a hyperparameter. Under mild assumptions, we show that our algorithm achieves asymptotic expected average scaled regret that is inversely related to any fractional constant power of the number of rounds. Managerial implications: During seed selection, our negativity-aware models and algorithms allow WoM campaigns to discover and best account for characteristics of local users and propagated content. We also give the first algorithms with regret guarantees for influence maximization under node-level feedback.


title: Probing the robustness of nested multi-layer networks

abstract: We consider a multi-layer network with two layers, $\mathcal{L}_{1}$, $\mathcal{L}_{2}$. Their intra-layer topology shows a scale-free degree distribution and a core-periphery structure. A nested structure describes the inter-layer topology, i.e., some nodes from $\mathcal{L}_{1}$, the generalists, have many links to nodes in $\mathcal{L}_{2}$, specialists only have a few. This structure is verified by analyzing two empirical networks from ecology and economics. To probe the robustness of the multi-layer network, we remove nodes from $\mathcal{L}_{1}$ with their inter- and intra-layer links and measure the impact on the size of the largest connected component, $F_{2}$, in $\mathcal{L}_{2}$, which we take as a robustness measure. We test different attack scenarios by preferably removing peripheral or core nodes. We also vary the intra-layer coupling between generalists and specialists, to study their impact on the robustness of the multi-layer network. We find that some combinations of attack scenario and intra-layer coupling lead to very low robustness values, whereas others demonstrate high robustness of the multi-layer network because of the intra-layer links. Our results shed new light on the robustness of bipartite networks, which consider only inter-layer, but no intra-layer links.

categories: physics.soc-ph cond-mat.stat-mech cs.MA cs.SI nlin.AO


title: Assessing soundscape disturbance through hierarchical models and acoustic indices: a case study on a shelterwood logged northern Michigan forest

abstract: Assessing the effects of anthropogenic disturbances on wildlife is a necessary conservation task. The soundscape is a critical habitat component for acoustically communicating organisms, but the use of the soundscape as a tool for assessing disturbance impacts has been relatively unexplored until recently. Here we present a broad modeling framework for assessing disturbance impacts on soundscapes, which we apply to quantify the influence of a shelterwood logging on soundscapes in northern Michigan. Our modeling approach can be broadly applied to assess anthropogenic disturbance impacts on soundscapes. The approach accommodates inherent differences in control and treatment sites to improve inference about treatment effects, while also accounting for extraneous variables (e.g., rain) that influence acoustic indices. Recordings were obtained at 13 sites before and after a shelterwood logging. Four sites were in the logging region and nine sites served as control recordings outside the logging region. We quantify the soundscapes using common acoustic indices (Normalized Difference Soundscape Index (NDSI), Acoustic Entropy (H), Acoustic Complexity Index (ACI), Acoustic Evenness Index (AEI), Welch Power Spectral Density (PSD)) and build two hierarchical Bayesian models to quantify the changes in the soundscape over the study period. Our analysis reveals no long-lasting effects of the shelterwood logging on the soundscape diversity as measured by the NDSI, but analysis of H, AEI, and PSD suggest changes in the evenness of sounds across the frequency spectrum, indicating a potential shift in the avian species communicating in the soundscapes as a result of the logging. Acoustic recordings, in conjunction with this modeling framework, can deliver cost efficient assessment of disturbance impacts on the landscape and underlying biodiversity as represented through the soundscape.


title: On Capable groups of order p^2q

abstract: A group is said to be capable if it is the central factor of some group. In this paper, among other results we have characterized capable groups of order $p^2q$, for any distinct primes $p, q$, which extends Theorem 1.2 of S. Rashid, N. H. Sarmin, A. Erfanian, and N. M. Mohd Ali, {\em On the non abelian tensor square and capability of groups of order $p^2q$}, Arch. Math., \textbf{97} (2011), 299--306. We have also computed the number of distinct element centralizers of a group (finite or infinite) with central factor of order $p^3$, which extends Proposition 2.10 of S. M. Jafarian Amiri, H. Madadi and H. Rostami, {\em On $F$-groups with the central factor of order $p^4$}, Math. Slovaca, \textbf{67} (5) (2017), 1147--1154.


title: Physical conditions in the gas phases of the giant HII region LMC-N11: II. Origin of [CII] and fraction of CO-dark gas

abstract: (abridged) The ambiguous origin of [CII] 158um in the interstellar medium complicates its use for diagnostics concerning the star-formation rate and physical conditions in photodissociation regions (PDRs). We observed the giant HII region N11 in the Large Magellanic Cloud with SOFIA/GREAT in order to investigate the origin of [CII] to obtain the total H2 gas content, the fraction of CO-dark H2 gas, and the influence of environmental effects such as stellar feedback. We present an innovative spectral decomposition method that allows statistical trends to be derived. The [CII] line is resolved in velocity and compared to HI and CO, using a Bayesian approach to decompose the profiles. A simple model accounting for collisions in the neutral atomic and molecular gas was used in order to derive the H2 column density traced by C+. The profile of [CII] most closely resembles that of CO, but the integrated [CII] line width lies between that of CO and that of HI. Using various methods, we find that [CII] mostly originates from the neutral gas. We show that [CII] mostly traces the CO-dark H2 gas but there is evidence of a weak contribution from neutral atomic gas preferentially in the faintest components. Most of the molecular gas is CO-dark. The fraction of CO-dark H2 gas decreases with increasing CO column density, with a slope that seems to depend on the impinging radiation field from nearby massive stars. Finally we extend previous measurements of the photoelectric-effect heating efficiency, which we find is constant across regions probed with Herschel, with [CII] and [OI] being the main coolants in faint and diffuse, and bright and compact regions, respectively, and with PAH emission tracing the CO-dark H2 gas heating where [CII] and [OI] emit. Our study highlights the importance of velocity-resolved PDR diagnostics and higher spatial resolution for HI observations.


title: Dynamic Multi-Task Learning for Face Recognition with Facial Expression

abstract: Benefiting from the joint learning of the multiple tasks in the deep multi-task networks, many applications have shown the promising performance comparing to single-task learning. However, the performance of multi-task learning framework is highly dependant on the relative weights of the tasks. How to assign the weight of each task is a critical issue in the multi-task learning. Instead of tuning the weights manually which is exhausted and time-consuming, in this paper we propose an approach which can dynamically adapt the weights of the tasks according to the difficulty for training the task. Specifically, the proposed method does not introduce the hyperparameters and the simple structure allows the other multi-task deep learning networks can easily realize or reproduce this method. We demonstrate our approach for face recognition with facial expression and facial expression recognition from a single input image based on a deep multi-task learning Conventional Neural Networks (CNNs). Both the theoretical analysis and the experimental results demonstrate the effectiveness of the proposed dynamic multi-task learning method. This multi-task learning with dynamic weights also boosts of the performance on the different tasks comparing to the state-of-art methods with single-task learning.


title: nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems

abstract: We present nanoBench, a tool for evaluating small microbenchmarks using hardware performance counters on Intel and AMD x86 systems. Most existing tools and libraries are intended to either benchmark entire programs, or program segments in the context of their execution within a larger program. In contrast, nanoBench is specifically designed to evaluate small, isolated pieces of code. Such code is common in microbenchmark-based hardware analysis techniques. Unlike previous tools, nanoBench can execute microbenchmarks directly in kernel space. This allows to benchmark privileged instructions, and it enables more accurate measurements. The reading of the performance counters is implemented with minimal overhead avoiding functions calls and branches. As a consequence, nanoBench is precise enough to measure individual memory accesses. We illustrate the utility of nanoBench at the hand of two case studies. First, we briefly discuss how nanoBench has been used to determine the latency, throughput, and port usage of more than 13,000 instruction variants on recent x86 processors. Second, we show how to generate microbenchmarks to precisely characterize the cache architectures of eleven Intel Core microarchitectures. This includes the most comprehensive analysis of the employed cache replacement policies to date.


title: Composing and Embedding the Words-as-Classifiers Model of Grounded Semantics

abstract: The words-as-classifiers model of grounded lexical semantics learns a semantic fitness score between physical entities and the words that are used to denote those entities. In this paper, we explore how such a model can incrementally perform composition and how the model can be unified with a distributional representation. For the latter, we leverage the classifier coefficients as an embedding. For composition, we leverage the underlying mechanics of three different classifier types (i.e., logistic regression, decision trees, and multi-layer perceptrons) to arrive at a several systematic approaches to composition unique to each classifier including both denotational and connotational methods of composition. We compare these approaches to each other and to prior work in a visual reference resolution task using the refCOCO dataset. Our results demonstrate the need to expand upon existing composition strategies and bring together grounded and distributional representations.


title: Pairing dynamics in low energy nuclear collisions

abstract: Superfluidity is a generic feature of various quantum systems at low temperatures and it is in particular important for the description of dynamics of low energy nuclear reactions. The time-dependent density functional theory (TDDFT) is, to date, the only microscopic method which takes into account in a consistent way far from equilibrium dynamics of pairing field and single-particle degrees of freedom. The local version of TDDFT, so called TDSLDA, is particularly useful for the description of nuclear reactions and is well suited for leadership class computers of hybrid (CPU+GPU) architecture. The preliminary results obtained for collisions involving both medium-mass and heavy nuclei at the energies around the Coulomb barrier are presented.


title: Topological excitations in rotating Bose-Einstein condensates with Rashba-Dresselhaus spin-orbit coupling in a two-dimensional optical lattice

abstract: We study the ground-state configurations and spin textures of rotating two-component Bose-Einstein condensates (BECs) with Rashba-Dresselhaus spin-orbit coupling (RD-SOC), which are confined in a two-dimensional (2D) optical lattice plus a 2D harmonic trap. In the absence of rotation, a relatively small isotropic 2D RD-SOC leads to the generation of ghost vortices for initially miscible BECs, while it gives rise to the creation of rectangular vortex-antivortex lattices for initially immiscible BECs. As the strength of the 2D RD-SOC enhances, the visible vortices or the 2D vortex-antivortex chains are created for the former case, whereas the rectangular vortex-antivortex lattices are transformed into vortex-antivortex rings for the later case. For the initially immiscible BECs with fixed 2D RD-SOC strength, the increase of rotation frequency can result in the structural phase transition from square vortex lattice to irregular triangular vortex lattice and the system transition from initial phase separation to phase mixing. In addition, we analyze the combined effects of 1D RD-SOC and rotation on the vortex configurations of the ground states for the case of initial phase separation. The increase of 1D SOC strength, rotation frequency or both of them may result in the formation of vortex chain and phase mixing. Furthermore, the typical spin textures for both the cases of 2D RD-SOC and 1D RD-SOC are discussed. It is shown that the system favors novel spin textures and skyrmion configurations including an exotic skyrmion-half-skyrmion lattice (skyrmion-meron lattice), a complicated meron lattice, a skyrmion chain, and a Bloch domain wall.


title: On the possibility of a terahertz light emitting diode based on a dressed quantum well

abstract: We consider theoretically the realization of a tunable terahertz light emitting diode from a quantum well with dressed electrons placed in a highly doped p-n junction. In the considered system the strong resonant dressing field forms dynamic Stark gaps in the valence and conduction bands and the electric field inside the p-n junction makes the QW asymmetric. It is shown that the electrons transiting through the light induced Stark gaps in the conduction band emit photons with energy directly proportional to the dressing field. This scheme is tunable, compact, and shows a fair efficiency.


title: Accessible tables in digital documents

abstract: Accessibility of tables on websites for Visually Impaired Persons (VIP) is not optimal with screen readers which are not always effective for the recovery of visual information (2D). Actual Web/Multimedia technologies are not taking in account the difference of the visual perception with respect to the vocal perception which is linear. This paper analyses the difficulties for accessing to spatial information with the existing recommendations for the conception of accessible (for all) websites. Different solutions to facilitate accessible table creation are presented.


title: Torus-Equivariant Chow Rings of Quiver Moduli

abstract: We compute rational equivariant Chow rings with respect to a torus of quiver moduli spaces. We derive a presentation in terms of generators and relations, use torus localization to identify it as a subring of the Chow ring of the fixed point locus, and we compare the two descriptions.


title: Kinetic Ising Models with Self-interaction: Sequential and Parallel Updating

abstract: Kinetic Ising models on the square lattice with both nearest-neighbor interactions and self-interaction are studied for the cases of random sequential updating and parallel updating. The equilibrium phase diagrams and critical dynamics are studied using Monte Carlo simulations and analytic approximations. The Hamiltonians appearing in the Gibbs distribution describing the equilibrium properties differs for sequential and parallel updating but in both cases feature multispin and non-nearest-neighbor couplings. For parallel updating the system is a probabilistic cellular automaton and the equilibrium distribution satisfies detailed balance with respect to the dynamics [E. N. M. Cirillo, P. Y. Louis, W. M. Ruszel and C. Spitoni, Chaos, Solitons and Fractals, 64:36(2014)]. In the limit of weak self-interaction for parallel dynamics, odd and even sublattices are nearly decoupled and checkerboard patterns are present in the critical and low temperature regimes, leading to singular behavior in the shape of the critical line. For sequential updating the equilibrium Gibbs distribution satisfies global balance but not detailed balance and the Hamiltonian is obtained perturbatively in the limit of weak nearest-neighbor dynamical interactions. In the limit of strong self-interaction the equilibrium properties for both parallel and sequential updating are described by a nearest-neighbor Hamiltonian with twice the interaction strength of the dynamical model.


title: Static force from the lattice

abstract: We present a novel approach to compute the force between a static quark and a static antiquark from lattice gauge theory directly, rather than extracting it from the static energy. We explore this approach for SU(3) pure gauge theory using the multilevel algorithm and smeared operators.


title: PnyxDB: a Lightweight Leaderless Democratic Byzantine Fault Tolerant Replicated Datastore

abstract: Byzantine-Fault-Tolerant (BFT) systems are rapidly emerging as a viable technology for production-grade systems, notably in closed consortia deployments for nancial and supply-chain applications. Unfortunately, most algorithms proposed so far to coordinate these systems suffer from substantial scalability issues, and lack important features to implement Internet-scale governance mechanisms. In this paper, we observe that many application workloads offer little concurrency, and propose PnyxDB, an eventually-consistent Byzantine Fault Tolerant replicated datastore that exhibits both high scalability and low latency. Our approach is based on conditional endorsements, that allow nodes to specify the set of transactions that must not be committed for the endorsement to be valid. In addition to its high scalability, PnyxDB supports application-level voting, i.e. individual nodes are able to endorse or reject a transaction according to application-defined policies without compromising consistency. We provide a comparison against BFTSMaRt and Tendermint, two competitors with different design aims, and show that our implementation speeds up commit latencies by a factor of 11, remaining below 5 seconds in a worldwide geodistributed deployment of 180 nodes.


title: Distinguishing between the twin $b$-flavored unitarity triangles on a circular arc

abstract: With the help of the generalized Wolfenstein parametrization of quark flavor mixing and CP violation, we calculate fine differences between the twin $b$-flavored unitarity triangles defined by $V^{*}_{ub} V^{}_{ud} + V^{*}_{cb} V^{}_{cd} + V^{*}_{tb} V^{}_{td} = 0$ and $V^{*}_{ud} V^{}_{td} + V^{*}_{us} V^{}_{ts} + V^{*}_{ub} V^{}_{tb} = 0$ in the complex plane. We find that vertices of the rescaled versions of these two triangles, described respectively by $\bar{\rho} + {\rm i} \bar{\eta} = -\left(V^{*}_{ub} V^{}_{ud}\right)/\left(V^{*}_{cb} V^{}_{cd}\right)$ and $\widetilde{\rho} + {\rm i} \widetilde{\eta} = -\left(V^{*}_{ub} V^{}_{tb}\right)/\left(V^{*}_{us} V^{}_{ts}\right)$, are located on a circular arc whose center and radius are given by $O = \left(0.5, 0.5 \cot\alpha\right)$ and $R = 0.5 \csc\alpha$ with $\alpha$ being their common inner angle. The small difference between $(\bar{\rho}, \bar{\eta})$ and $(\widetilde{\rho}, \widetilde{\eta})$ is characterized by $\widetilde{\rho} - \bar{\rho} \sim \widetilde{\eta} - \bar{\eta} \sim {\cal O}(\lambda^2)$ with $\lambda \simeq 0.22$ being the Wolfenstein expansion parameter, and these two vertices are insensitive to the two-loop renormalization-group running effects up to the accuracy of ${\cal O}(\lambda^4)$. Some comments are also made on similar features of three pairs of the rescaled unitarity triangles of lepton flavor mixing and CP violation.


title: The relation "commutator equals function'' in Banach algebras

abstract: The relation $xy-yx=h(y)$, where $h$ is a holomorphic function, occurs naturally in the definitions of some quantum groups. To attach a rigorous meaning to the right-hand side of this equality, we assume that $x$ and $y$ are elements of a Banach algebra (or of an Arens--Michael algebra). We prove that the universal algebra generated by a commutation relation of this kind can be represented explicitly as an analytic Ore extension. An analysis of the structure of the algebra shows that the set of holomorphic functions of $y$ degenerates, but at each zero of $h$, some local algebra of power series remains. Moreover, this local algebra depends only on the order of the zero. As an application, we prove a result about closed subalgebras of holomorphically finitely generated algebras.


title: Conspiracy of BSM physics and cosmology

abstract: The lack of experimental evidence at the LHC for physics beyond the Standard model (BSM) of elementary particles together with necessity of its existence to provide solutions of internal problems of the Standard model (SM) as well as of physical nature of the basic elements of the modern cosmology demonstrates the conspiracy of BSM physics. Simultaneously the data of precision cosmology only tighten the constraints on the deviations from the now standard LambdaCDM model and thus exhibit conspiracy of the nonstandard cosmological scenarios. We show that studying new physics in combination of its physical, astrophysical and cosmological probes, can not only unveil the conspiracy of BSM physics but will also inevitably reveal nonstandard features in the cosmological scenario.


title: Discovering Invariances in Healthcare Neural Networks

abstract: We study the invariance characteristics of pre-trained predictive models by empirically learning transformations on the input that leave the prediction function approximately unchanged. To learn invariant transformations, we minimize the Wasserstein distance between the predictive distribution conditioned on the data instances and the predictive distribution conditioned on the transformed data instances. To avoid finding degenerate or perturbative transformations, we add a similarity regularization to discourage similarity between the data and its transformed values. We theoretically analyze the correctness of the algorithm and the structure of the solutions. Applying the proposed technique to clinical time series data, we discover variables that commonly-used LSTM models do not rely on for their prediction, especially when the LSTM is trained to be adversarially robust. We also analyze the invariances of BioBERT on clinical notes and discover words that it is invariant to.


title: Geometry and dynamics on sublinearly Morse boundaries of CAT(0) groups

abstract: Given a sublinear function $\kappa$, $\kappa$-Morse boundaries $\pka X$ of proper \CAT spaces are introduced by Qing, Rafi and Tiozzo. It is a topological space that consists of a large set of quasi-geodesic rays and it is quasi-isometrically invariant and metrizable. In this paper, we study the sublinearly Morse boundaries with the assumption that there is a proper cocompact action of a group $G$ on the \CAT space in question. We show that $G$ acts minimally on $\pka G$ and that contracting elements of $G$ induces a weak north-south dynamic on $\pka G$. Furthermore, we show that a homeomorphism $f \from \pka G \to \pka G'$ comes from a quasi-isometry if and only if $f$ is successively quasi-m{\"o}bius and stable. Lastly, we characterize exactly when the sublinearly Morse boundary of a \CAT space is compact.


title: Structural Parameterizations for Equitable Coloring

abstract: An $n$-vertex graph is equitably $k$-colorable if there is a proper coloring of its vertices such that each color is used either $\left\lfloor n/k \right\rfloor$ or $\left\lceil n/k \right\rceil$ times. While classic Vertex Coloring is fixed parameter tractable under well established parameters such as pathwidth and feedback vertex set, Equitable Coloring is $\mathsf{W}[1]$-$\mathsf{hard}$. We present an extensive study of structural parameterizations of Equitable Coloring, tackling both tractability and kernelization questions. We begin by showing that the problem is fixed parameter tractable when parameterized by distance to cluster or by distance to co-cluster -- improving on the $\mathsf{FPT}$ algorithm of Fiala et al. [Theoretical Computer Science, 2011] parameterized by vertex cover -- and also when parameterized by distance to disjoint paths of bounded length. To justify the latter result, we adapt a proof of Fellows et al. [Information and Computation, 2011] to show that Equitable Coloring is $\mathsf{W}[1]$-$\mathsf{hard}$ when simultaneously parameterized by distance to disjoint paths and number of colors. In terms of kernelization, on the positive side we present a linear kernel for the distance to clique parameter and a cubic kernel when parameterized by the maximum leaf number; on the other hand, we show that, unlike Vertex Coloring, Equitable Coloring does not admit a polynomial kernel when jointly parameterized by vertex cover and number of colors, unless $\mathsf{NP} \subseteq \mathsf{coNP}/\mathsf{poly}$. We also revisit the literature and derive other results on the parameterized complexity of the problem through minor reductions or other observations.


title: Blockchain for Future Smart Grid: A Comprehensive Survey

abstract: The concept of smart grid has been introduced as a new vision of the conventional power grid to figure out an efficient way of integrating green and renewable energy technologies. In this way, Internet-connected smart grid, also called energy Internet, is also emerging as an innovative approach to ensure the energy from anywhere at any time. The ultimate goal of these developments is to build a sustainable society. However, integrating and coordinating a large number of growing connections can be a challenging issue for the traditional centralized grid system. Consequently, the smart grid is undergoing a transformation to the decentralized topology from its centralized form. On the other hand, blockchain has some excellent features which make it a promising application for smart grid paradigm. In this paper, we aim to provide a comprehensive survey on application of blockchain in smart grid. As such, we identify the significant security challenges of smart grid scenarios that can be addressed by blockchain. Then, we present a number of blockchain-based recent research works presented in different literatures addressing security issues in the area of smart grid. We also summarize several related practical projects, trials, and products that have been emerged recently. Finally, we discuss essential research challenges and future directions of applying blockchain to smart grid security issues.


title: Subspace Clustering with Active Learning

abstract: Subspace clustering is a growing field of unsupervised learning that has gained much popularity in the computer vision community. Applications can be found in areas such as motion segmentation and face clustering. It assumes that data originate from a union of subspaces, and clusters the data depending on the corresponding subspace. In practice, it is reasonable to assume that a limited amount of labels can be obtained, potentially at a cost. Therefore, algorithms that can effectively and efficiently incorporate this information to improve the clustering model are desirable. In this paper, we propose an active learning framework for subspace clustering that sequentially queries informative points and updates the subspace model. The query stage of the proposed framework relies on results from the perturbation theory of principal component analysis, to identify influential and potentially misclassified points. A constrained subspace clustering algorithm is proposed that monotonically decreases the objective function subject to the constraints imposed by the labelled data. We show that our proposed framework is suitable for subspace clustering algorithms including iterative methods and spectral methods. Experiments on synthetic data sets, motion segmentation data sets, and Yale Faces data sets demonstrate the advantage of our proposed active strategy over state-of-the-art.


title: Phase diagram and phonon-induced backscattering in topological insulator nanowires

abstract: We present an effective low-energy theory of electron-phonon coupling effects for clean cylindrical topological insulator nanowires. Acoustic phonons are modelled by isotropic elastic continuum theory with stress-free boundary conditions. We take into account the deformation potential coupling between phonons and helical surface Dirac fermions, and also include electron-electron interactions within the bosonization approach. For half-integer values of the magnetic flux $\Phi_B$ along the wire, the low-energy theory admits an exact solution since a topological protection mechanism then rules out phonon-induced $2k_F$-backscattering processes. We determine the zero-temperature phase diagram and identify a regime dominated by superconducting pairing of surface states. As example, we consider the phase diagram of HgTe nanowires. We also determine the phonon-induced electrical resistivity, where we find a quadratic dependence on the flux deviation $\delta\Phi_B$ from the nearest half-integer value.


title: Two jets during the impact of viscous droplets onto a less-viscous liquid pool

abstract: It is generally accepted that the Worthington jet occurs when a droplet impacts onto a liquid pool. However, in this experimental study of the impact of viscous droplets onto a less-viscous liquid pool, we identify another jet besides the Worthington jet, forming a two-jet phenomenon. The two jets, a surface-climbing jet and the Worthington jet, may appear successively during one impact event. By carefully tuning the impact condition, we find that the two-jet phenomenon is jointly controlled by the droplet-pool viscosity ratio, the droplet Weber number, and the droplet-pool miscibility. The mechanism of the surface-climbing jet is completely different from that of the Worthington jet: the liquid in the pool climbs along the surface of the droplet and forms a liquid layer which converges at the droplet apex and produces the surface-climbing jet. This surface-climbing jet has a very high speed, i.e., an order of magnitude higher than the droplet impact speed. The effects of the impact speed, droplet viscosity, droplet size, and surface tension on the surface-climbing jet are also analysed. This study does not only provide physical insights into the mechanism of droplet and jet dynamics, but also be helpful in the optimisation of the droplet impact process in many relevant applications.


title: Probing binary neutron star mergers in dense environments using afterglow counterparts

abstract: The only binary neutron star merger gravitational wave event with detected electromagnetic counterparts recorded to date is GRB170817A. This merger occurred in a rarefied medium with a density smaller than $10^{-3}-10^{-2}~{\rm cm}^{-3}$. Since kicks are imparted to neutron star binaries upon formation, and due to their long delay times before merger, such low-density circum-merger media are generally expected. However, there is some indirect evidence for fast-merging or low-kick binaries, which would coalesce in denser environments. Nonetheless, present astronomical data are largely inconclusive on the possibility of these high-density mergers. We describe a method to directly probe this hypothetical population of high-density mergers through multi-messenger observations of binary neutron star merger afterglows, exploiting the high sensitivity of these signals to the density of the merger environment. This method is based on a sample of merger afterglows that has yet to be collected. Its constraining power is large, even with a small sample of events. We discuss the method's limitations and applicability. In the upcoming era of third-generation gravitational wave detectors, this method's potential will be fully realized as it will allow us to probe mergers that occurred soon after the peak of cosmic star formation, provided the follow-up campaigns are able to locate the sources.


title: Ground states of dipolar spin-orbit-coupled Bose-Einstein condensates in a toroidal trap

abstract: We investigate the ground-state structures of dipolar spin-orbit-coupled Bose-Einstein condensates in a toroidal trap. Combined effects of dipole-dipole interaction (DDI) and spin-orbit coupling (SOC) on the ground states of the system are discussed. A ground-state phase diagram is obtained as a function of the SOC and DDI strengths. As two new degrees of freedom, the DDI and SOC can be used to obtain the desired ground-state phases and to control the phase transition between various ground states. In particular, the system displays exotic topological structures and spin textures, such as half-quantum vortex, vortex string, vortex necklace, complex vortex lattice including giant vortex and hidden antivortex chains, different skyrmions, meron (half-skyrmion)-antimeron (half-antiskyrmion) necklace, and composite meron-antimeron lattice.


title: A nonlinear tracking model predictive control scheme for dynamic target signals

abstract: We present a nonlinear model predictive control (MPC) scheme for tracking of dynamic target signals. The scheme combines stabilization and dynamic trajectory planning in one layer, thus ensuring constraint satisfaction irrespective of changes in the dynamic target signal. For periodic target signals we ensure exponential stability of the optimal reachable periodic trajectory using suitable terminal ingredients and a convexity condition for the underlying periodic optimal control problem. Furthermore, we introduce an online optimization of the terminal set size to automate the trade-off between fast convergence and operation close to the constraints. In addition, we show how stabilization and dynamic trajectory planning can be formulated as partially decoupled optimization problems, which reduces the computational demand while ensuring recursive feasibility and convergence. The main tool to enable the proposed design is a novel reference generic offline computation that provides suitable terminal ingredients for tracking of dynamic reference trajectories. The practicality of this approach is demonstrated on benchmark examples, which demonstrates superior performance compared to state of the art approaches.


title: The DNNLikelihood: enhancing likelihood distribution with Deep Learning

abstract: We introduce the DNNLikelihood, a novel framework to easily encode, through Deep Neural Networks (DNN), the full experimental information contained in complicated likelihood functions (LFs). We show how to efficiently parametrise the LF, treated as a multivariate function of parameters and nuisance parameters with high dimensionality, as an interpolating function in the form of a DNN predictor. We do not use any Gaussian approximation or dimensionality reduction, such as marginalisation or profiling over nuisance parameters, so that the full experimental information is retained. The procedure applies to both binned and unbinned LFs, and allows for an efficient distribution to multiple software platforms, e.g. through the framework-independent ONNX model format. The distributed DNNLikelihood can be used for different use cases, such as re-sampling through Markov Chain Monte Carlo techniques, possibly with custom priors, combination with other LFs, when the correlations among parameters are known, and re-interpretation within different statistical approaches, i.e. Bayesian vs frequentist. We discuss the accuracy of our proposal and its relations with other approximation techniques and likelihood distribution frameworks. As an example, we apply our procedure to a pseudo-experiment corresponding to a realistic LHC search for new physics already considered in the literature.

categories: hep-ph astro-ph.CO hep-ex physics.data-an


title: AutoIDS: Auto-encoder Based Method for Intrusion Detection System

abstract: Intrusion Detection System (IDS) is one of the most effective solutions for providing primary security services. IDSs are generally working based on attack signatures or by detecting anomalies. In this paper, we have presented AutoIDS, a novel yet efficient solution for IDS, based on a semi-supervised machine learning technique. AutoIDS can distinguish abnormal packet flows from normal ones by taking advantage of cascading two efficient detectors. These detectors are two encoder-decoder neural networks that are forced to provide a compressed and a sparse representation from the normal flows. In the test phase, failing these neural networks on providing compressed or sparse representation from an incoming packet flow, means such flow does not comply with the normal traffic and thus it is considered as an intrusion. For lowering the computational cost along with preserving the accuracy, a large number of flows are just processed by the first detector. In fact, the second detector is only used for difficult samples which the first detector is not confident about them. We have evaluated AutoIDS on the NSL-KDD benchmark as a widely-used and well-known dataset. The accuracy of AutoIDS is 90.17\% showing its superiority compared to the other state-of-the-art methods.


title: Pushing the limits of atomistic simulations towards ultra-high temperature: a machine-learning force field for ZrB2

abstract: Determining thermal and physical quantities across a broad temperature domain, especially up to the ultra-high temperature region, is a formidable theoretical and experimental challenge. At the same time it is essential for understanding the performance of ultra-high temperature ceramic (UHTC) materials. Here we present the development of a machine-learning force field for ZrB2, one of the primary members of the UHTC family with a complex bonding structure. The force field exhibits chemistry accuracy for both energies and forces and can reproduce structural, elastic and phonon properties, including thermal expansion and thermal transport. A thorough comparison with available empirical potentials shows that our force field outperforms the competitors. Most importantly, its effectiveness is extended from room temperature to the ultra-high temperature region (up to ~ 2,500 K), where measurements are very difficult, costly and some time impossible. Our work demonstrates that machine-learning force fields can be used for simulations of materials in a harsh environment, where no experimental tools are available, but crucial for a number of engineering applications, such as in aerospace, aviation and nuclear.


title: Fully Bayesian Recurrent Neural Networks for Safe Reinforcement Learning

abstract: Reinforcement Learning (RL) has demonstrated state-of-the-art results in a number of autonomous system applications, however many of the underlying algorithms rely on black-box predictions. This results in poor explainability of the behaviour of these systems, raising concerns as to their use in safety-critical applications. Recent work has demonstrated that uncertainty-aware models exhibit more cautious behaviours through the incorporation of model uncertainty estimates. In this work, we build on Probabilistic Backpropagation to introduce a fully Bayesian Recurrent Neural Network architecture. We apply this within a Safe RL scenario, and demonstrate that the proposed method significantly outperforms a popular approach for obtaining model uncertainties in collision avoidance tasks. Furthermore, we demonstrate that the proposed approach requires less training and is far more efficient than the current leading method, both in terms of compute resource and memory footprint.


title: Donn\'ees endoscopiques d'un groupe r\'eductif connexe: applications d'une construction de Langlands

abstract: Let $F$ be a global field, and $G$ a connected reductive group defined over $F$. We prove that two endoscopic data of $G$ which are equivalent almost everywhere, are equivalent. The result remains true for (non-twisted) endoscopy with character. We also give, for $F$ global or local and $G$ quasi-simple simply connected, a description of the elliptic endoscopic data of $G$.


title: How Language-Neutral is Multilingual BERT?

abstract: Multilingual BERT (mBERT) provides sentence representations for 104 languages, which are useful for many multi-lingual tasks. Previous work probed the cross-linguality of mBERT using zero-shot transfer learning on morphological and syntactic tasks. We instead focus on the semantic properties of mBERT. We show that mBERT representations can be split into a language-specific component and a language-neutral component, and that the language-neutral component is sufficiently general in terms of modeling semantics to allow high-accuracy word-alignment and sentence retrieval but is not yet good enough for the more difficult task of MT quality estimation. Our work presents interesting challenges which must be solved to build better language-neutral representations, particularly for tasks requiring linguistic transfer of semantics.


title: On introducing Charge-Symmetry-Breaking terms to nuclear Energy Density Functionals

abstract: The Charge-Symmetry-Breaking (CSB) character of the nucleon-nucleon interaction is well established. This work presents two different ways of introducing such effects into a nuclear Energy Density Functional (EDF). CSB terms are either coming from the effective theory expansion or are derived from electromagnetic mixing of $\rho^0$ and $\omega$ mesons. These terms are then introduced to Skyrme and Quark-Meson-Coupling EDFs, respectively.


title: CPM Training Waveforms With Autocorrelation Sidelobes Close To Zero

abstract: Continuous phase modulation (CPM) plays an important role in wireless communications due to its constant envelope signal property and tight spectrum confinement capability. Although CPM has been studied for many years, CPM training waveforms having autocorrelations with zero sidelobes have not been reported before, to the best of our knowledge. Existing works on CPM system design mostly assume that the channel fading coefficients are either perfectly known at the receiver or estimated using random CPM training waveforms. In this work, we propose a novel class of CPM training waveforms displaying autocorrelation sidelobes close to zero. The key idea of our construction is to apply differential encoding to Golay complementary pair having perfect aperiodic autocorrelation sum properties.


title: Optimal Z-complementary Code Set From Generalized Reed-Muller Codes

abstract: Z-complementary code set (ZCCS), an extension of perfect complementary codes (CCs), refers to a set of two-dimensional matrices having zero correlation zone properties. ZCCS can be used in various multi-channel systems to support, for example, quasi-synchronous interference-free multicarrier code-division multiple access communication and optimal channel estimation in multiple-input multiple-output systems. Traditional constructions of ZCCS heavily rely on a series of sequence operations which may not be feasible for rapid hardware generation particularly for long ZCCSs. In this paper, we propose a direct construction of ZCCS using second-order Reed-Muller codes with efficient graphical representation. Our proposed construction, valid for any number of isolated vertices present in the graph, is capable of generating optimal ZCCS meeting the set size upper bound.


title: FANN-on-MCU: An Open-Source Toolkit for Energy-Efficient Neural Network Inference at the Edge of the Internet of Things

abstract: The growing number of low-power smart devices in the Internet of Things is coupled with the concept of "Edge Computing", that is moving some of the intelligence, especially machine learning, towards the edge of the network. Enabling machine learning algorithms to run on resource-constrained hardware, typically on low-power smart devices, is challenging in terms of hardware (optimized and energy-efficient integrated circuits), algorithmic and firmware implementations. This paper presents FANN-on-MCU, an open-source toolkit built upon the Fast Artificial Neural Network (FANN) library to run lightweight and energy-efficient neural networks on microcontrollers based on both the ARM Cortex-M series and the novel RISC-V-based Parallel Ultra-Low-Power (PULP) platform. The toolkit takes multi-layer perceptrons trained with FANN and generates code targeted at execution on low-power microcontrollers either with a floating-point unit (i.e., ARM Cortex-M4F and M7F) or without (i.e., ARM Cortex M0-M3 or PULP-based processors). This paper also provides an architectural performance evaluation of neural networks on the most popular ARM Cortex-M family and the parallel RISC-V processor called Mr. Wolf. The evaluation includes experimental results for three different applications using a self-sustainable wearable multi-sensor bracelet. Experimental results show a measured latency in the order of only a few microseconds and a power consumption of few milliwatts while keeping the memory requirements below the limitations of the targeted microcontrollers. In particular, the parallel implementation on the octa-core RISC-V platform reaches a speedup of 22x and a 69% reduction in energy consumption with respect to a single-core implementation on Cortex-M4 for continuous real-time classification.


title: Online learning-based Model Predictive Control with Gaussian Process Models and Stability Guarantees

abstract: Model predictive control allows to provide high performance and safety guarantees in the form of constraint satisfaction. These properties, however, can be satisfied only if the underlying model, used for prediction, of the controlled process is sufficiently accurate. One way to address this challenge is by data-driven and machine learning approaches, such as Gaussian processes, that allow to refine the model online during operation. We present a combination of an output feedback model predictive control scheme and a Gaussian process-based prediction model that is capable of efficient online learning. To this end, the concept of evolving Gaussian processes is combined with recursive posterior prediction updates. The presented approach guarantees recursive constraint satisfaction and input-to-state stability with respect to the model-plant mismatch. Simulation studies underline that the Gaussian process prediction model can be successfully and efficiently learned online. The resulting computational load is significantly reduced via the combination of the recursive update procedure and by limiting the number of training data points while maintaining good performance.


title: Branching problem on winding subalgebras of affine Kac-Moody algebras A^{(1)}_1 and A^{(2)}_2

abstract: We consider an affine Kac-Moody algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$. Let $\mathfrak{g}[u]$ be a winding subalgebra of $\mathfrak{g}$. Given $\Lambda$ (resp. $\lambda$) in the set $P_+$ (resp. $\dot{P}_+$) of dominant integral weights of $\mathfrak{g}$ (resp. $\mathfrak{g}[u]$), we denote by $L(\Lambda)$ (resp. $\dot{L}(\lambda)$) the integrable highest weight $\mathfrak{g}$-module (resp. $\mathfrak{g}[u]$-module) with highest weight $\Lambda$ (resp. $\lambda$). The $\mathfrak{g}$-module $L(\Lambda)$ decomposes as a direct sum of weight spaces $L(\Lambda)_\mu$ ($\mu \in \mathfrak{h}^*$). It also decomposes as a direct sum of $\mathfrak{g}[u]$-modules $\dot{L}(\lambda)$. We are interested in the supports of these decompositions $\Gamma(\mathfrak{g},\mathfrak{h})$ and $\Gamma(\mathfrak{g},\mathfrak{g}[u])$. We show that they are semigroups. Let $P(\Lambda)$ (resp. $P_{\mathfrak{g},u}(\Lambda)$) be the set of all $\lambda \in \mathfrak{h}^*$ (resp. $\dot{P}_+$) such that $L(\Lambda)_\lambda \ne 0$ (resp. $\dot{L}(\lambda) \subset L(\Lambda)$). Let $\delta$ be the basis imaginary root of $\mathfrak{g}$. For each $\lambda \in P(\Lambda)+\mathbb{C}\delta$ (resp. $P_{\mathfrak{g},u}(\Lambda)+\mathbb{C}\delta$), we set $b_{\Lambda,\lambda}$ (resp. $b_{\Lambda,\lambda,u}$) the complex number $b$ such that $\lambda+b\delta \in P(A)$ (resp. $P_{\mathfrak{g},u}(\Lambda)$) and $\lambda+(b+n)\delta \not\in P(\Lambda)$ (resp. $P_{\mathfrak{g},u}(\Lambda)$) for any $n\in \mathbb{Z}_{>0}$. For the cases $A^{(1)}_1$ and $A^{(2)}_2$, we determine explicitly the number $b_{\Lambda,\lambda}$ and a set $\mathcal{A}_u(\Lambda)$ of $\lambda$ satisfying $b_{\Lambda,\lambda,u}=b_{\Lambda,\lambda}$. This help us realize the relation between $\Gamma(\mathfrak{g},\mathfrak{g}[u])$ and its satured setting.


title: MDP based Decision Support for Earthquake Damaged Distribution System Restoration

abstract: As the society becomes more dependent on the presence of electricity, the resilience of the power systems gains more importance. This paper develops a decision support method for distribution system operators to restore electricity after an earthquake to the maximum number of customers in the minimum expected duration. The proposed method employs Markov Decision Process (MDP) to determine the optimal restoration scheme. In order to determine the probability of the field component damage due to the earthquake, the Probability of Failure ($P_f$) of structures are calculated using the Peak Ground Acceleration (PGA) values recorded by observatories and earthquake research centers during the earthquake.


title: Deep Transfer Learning for Thermal Dynamics Modeling in Smart Buildings

abstract: Thermal dynamics modeling has been a critical issue in building heating, ventilation, and air-conditioning (HVAC) systems, which can significantly affect the control and maintenance strategies. Due to the uniqueness of each specific building, traditional thermal dynamics modeling approaches heavily depending on physics knowledge cannot generalize well. This study proposes a deep supervised domain adaptation (DSDA) method for thermal dynamics modeling of building indoor temperature evolution and energy consumption. A long short term memory network based Sequence to Sequence scheme is pre-trained based on a large amount of data collected from a building and then adapted to another building which has a limited amount of data by applying the model fine-tuning. We use four publicly available datasets: SML and AHU for temperature evolution, long-term datasets from two different commercial buildings, termed as Building 1 and Building 2 for energy consumption. We show that the deep supervised domain adaptation is effective to adapt the pre-trained model from one building to another building and has better predictive performance than learning from scratch with only a limited amount of data.


title: Diagnostics of low-pressure hydrogen discharge created in a 13.56 MHz RF plasma reactor

abstract: A 13.56 MHz RF discharge in hydrogen was studied within the pressure range of 1-17 10 Pa, and at power range of 400-1000 W. The electron energy distribution function and 18 electron density were measured by a Langmuir probe. The gas temperature was determined by 19 the Fulcher-$\alpha$ system in pure H2, and by the second positive system of nitrogen using N2 as the 20 probing gas. The gas temperature was constant and equal to 450 $\pm$ 50 K in the Capacitively 21 Coupled Plasma mode (CCP), and it was increasing with pressure and power in the Inductively 22 Coupled Plasma mode (ICP). Also the vibrational temperature of ground state of hydrogen 23 molecules was determined to be around 3100 and 2000 $\pm$ 500 K in ICP and CCP mode, 24 respectively. The concentration of atomic hydrogen was determined by means of actinometry, 25 either by using Ar (5 %) as the probing gas, or by using H2 as the actinometer in pure hydrogen 26 (Q1 rotational line of Fulcher-$\alpha$ system) The concentration of hydrogen density was increasing 27 with pressure in both modes, but with a dissociation degree slightly higher in the ICP mode (a 28 factor 2). 29 30 Submitted to Physica Scripta 31


title: Nonabelian elliptic Poisson structures on projective spaces

abstract: We review nonabelian Poisson structures on affine and projective spaces over $\mathbb{C}$. We also construct a class of examples of nonabelian Poisson structures on $\mathbb{C} P^{n-1}$ for $n>2$. These nonabelian Poisson structures depend on a modular parameter $\tau\in\mathbb{C}$ and an additional descrete parameter $k\in\mathbb{Z}$, where $1\leq k<n$ and $k,n$ are coprime. The abelianization of these Poisson structures can be lifted to the quadratic elliptic Poisson algebras $q_{n,k}(\tau)$.


title: A closed-form approximate incoherent GN-model supporting MCI contributions

abstract: In this paper, a closed form formula for nonlinearity modeling in modern coherent fiber optic communication systems is derived based on the incoherent GN model. The model covers multi-channel interference (MCI). The effectiveness of the derived formula is shown particularly in near zero dispersion environment. Finally, accuracy of the derived formula is improved by adding correction factors based on a large data test set.


title: High temperature annealing enhanced diamond 13C hyperpolarization at room temperature

abstract: Methods of optical dynamic nuclear polarization (DNP) open the door to the replenishable hyperpolarization of nuclear spins, boosting their NMR/MRI signature by orders of magnitude. Nanodiamond powder rich in negatively charged Nitrogen Vacancy (NV) defect centers has recently emerged as one such promising platform, wherein 13C nuclei can be hyperpolarized through the optically pumped defects completely at room temperature and at low magnetic fields. Given the compelling possibility of relaying this 13C polarization to nuclei in external liquids, there is an urgent need for the engineered production of highly "hyperpolarizable" diamond particles. In this paper, we report on a systematic study of various material dimensions affecting optical 13C hyperpolarization in diamond particles -- especially electron irradiation and annealing conditions that drive NV center formation. We discover surprisingly that diamond annealing at elevated temperatures close to 1720C have remarkable effects on the hyperpolarization levels, enhancing them by upto 36-fold over materials annealed through conventional means. We unravel the intriguing material origins of these gains, and demonstrate they arise from a simultaneous improvement in NV electron relaxation time and coherence time, as well as the reduction of paramagnetic content, and an increase in 13C relaxation lifetimes. Overall this points to significant recovery of the diamond lattice from radiation damage as a result of the high-temperature annealing. Our work suggests methods for the guided materials production of fluorescent, 13C hyperpolarized, nanodiamonds and pathways for their use as multi-modal (optical and MRI) imaging and hyperpolarization agents.


title: Room Temperature Spin to Charge Conversion in Amorphous Topological Insulating Gd-Alloyed BixSe1-x/CoFeB Bilayers

abstract: Disordered topological insulator (TI) films have gained intense interest by benefiting from both the TIs exotic transport properties and the advantage of mass production by sputtering. Here, we report on the clear evidence of spin-charge conversion (SCC) in amorphous Gd-alloyed BixSe1-x (BSG)/CoFeB bilayers fabricated by sputtering, which could be related to the amorphous TI surface states. Two methods have been employed to study SCC in BSG/CoFeB(5 nm) bilayers with different BSG thicknesses. Firstly, spin pumping is used to generate a spin current in CoFeB and to detect SCC by inverse Edelstein effect. The maximum SCC efficiency (SCE) is measured as large as 0.035 nm in a 6 nm thick BSG sample, which shows a strong decay when tBSG increases due to the increase of BSG surface roughness. The second method is the THz time-domain spectroscopy, which reveals a small tBSG dependence of SCE, validating the occurrence of a pure interface state related SCC. Furthermore, our angle-resolved photoemission spectroscopy data show dispersive two-dimensional surface states that cross the bulk gap until to the Fermi level, strengthening the possibility of SCC due to the amorphous TI states. Our studies provide a new experimental direction towards the search for topological systems in the amorphous solids.


title: Transforming Wikipedia into Augmented Data for Query-Focused Summarization

abstract: The limited size of existing query-focused summarization datasets renders training data-driven summarization models challenging. Meanwhile, the manual construction of a query-focused summarization corpus is costly and time-consuming. In this paper, we use Wikipedia to automatically collect a large query-focused summarization dataset (named WIKIREF) of more than 280, 000 examples, which can serve as a means of data augmentation. We also develop a BERT-based query-focused summarization model (Q-BERT) to extract sentences from the documents as summaries. To better adapt a huge model containing millions of parameters to tiny benchmarks, we identify and fine-tune only a sparse subnetwork, which corresponds to a small fraction of the whole model parameters. Experimental results on three DUC benchmarks show that the model pre-trained on WIKIREF has already achieved reasonable performance. After fine-tuning on the specific benchmark datasets, the model with data augmentation outperforms strong comparison systems. Moreover, both our proposed Q-BERT model and subnetwork fine-tuning further improve the model performance. The dataset is publicly available at https://aka.ms/wikiref.


title: FP-injectivity of factors of injective modules

abstract: It is shown that a ring is left semihereditary if and only each homomorphic image of its injective hull as left module is FP-injective. It is also proven that a commutative ring R is reduced and arithmetical if and only if E/U if FP-injective for any FP-injective R-module E and for any submodule U of finite Goldie dimension. A characterization of commutative rings for which each module of finite Goldie dimension is of injective dimension at most one is given. Let R be a chain ring and Z its subset of zerodivisors. It is proven that E/U is FP-injective for each FP-injective R-module E and each pure polyserial submodule U of E if R/I is complete in its f.c. topology for each ideal I whose the top prime ideal is Z. The converse holds if each indecomposable injective module whose the bottom prime ideal is Z contains a pure uniserial submodule. For some chain ring R we show that E/U is FP-injective for any FP-injective module E and any its submodule U of finite Goldie dimension, even if R is not coherent. It follows that any Archimedean chain ring is either coherent or maximal if and only if each factor of any injective module of finite Goldie dimension modulo a pure submodule is injective.


title: Measurement of the $\eta_c(1S)$ production cross-section in $pp$ collisions at $\sqrt{s} = 13$ TeV

abstract: Using a data sample corresponding to an integrated luminosity of $2.0\,fb^{-1}$, collected by the LHCb experiment, the production of the $\eta_c(1S)$ state in proton-proton collisions at a centre-of-mass energy of $\sqrt{s}=13 \text{ TeV}$ is studied in the rapidity range ${2.0 < y < 4.5}$ and in the transverse momentum range ${6.5 < p_{T} < 14.0\text{ GeV}}$. The cross-section for prompt production of $\eta_c(1S)$ mesons relative to that of the $J/\psi$ meson is measured using the ${p\bar{p}}$ decay mode and is found to be ${\sigma_{\eta_c(1S)}/\sigma_{J/\psi} = 1.69 \pm 0.15 \pm 0.10 \pm 0.18}$. The quoted uncertainties are, in order, statistical, systematic and due to uncertainties on the branching fractions of the ${J/\psi\to p \bar{p}}$ and ${\eta_c\to p \bar{p}}$ decays. The prompt $\eta_c(1S)$ production cross-section is determined to be ${\sigma_{\eta_c(1S)} = 1.26 \pm 0.11\pm 0.08 \pm 0.14 \,\mu b}$, where the last uncertainty includes that on the ${J/\psi}$ meson cross-section. The ratio of the branching fractions of $b$-hadron decays to the $\eta_c(1S)$ and ${J/\psi}$ states is measured to be ${\mathcal{B}_{b\to\eta_c X}/\mathcal{B}_{b\to J/\psi X} = 0.48 \pm 0.03 \pm 0.03 \pm 0.05}$, where the last uncertainty is due to those on the branching fractions of the ${J/\psi \to p \bar{p}}$ and ${\eta_c\to p \bar{p}}$ decays. The difference between the ${J/\psi}$ and $\eta_c(1S)$ masses is also determined to be ${113.0 \pm 0.7 \pm 0.1\text{ MeV}}$, which is the most precise single measurement of this quantity to date.