title: Topology Management, Multi-Path Routing, and Link Scheduling for mmW WMN Backhaul

abstract: Mobile backhaul system based on a wireless mesh network using point-to-point millimetre wave links is a promising solution for dense 5G small cell deployments. While mmW radio technology can provide the sufficient capacity, the management of transport delays over multiple wireless hops is challenging especially if TDD backhaul radios are used. Earlier, we have proposed the Self-Optimizing WMN concept and presented routing and link scheduling principles that can be used for backhaul nodes with single radio unit. In this paper, we are extending the concept to support backhaul nodes that can have multiple radio units with own beam steering antennas covering non-overlapping sectors. The proposed system is based on dividing the task in separate phases. In the first phase, an active network topology is created by selecting a suitable subset of all available links. In the next step, the routing information and transmission sets are generated. Finally, the link schedule is optimized by finding an optimal ordering of transmission sets. In this paper, we are proposing a feedback loop from transmission set generation to topology management. We show that this feedback loop removes efficiently "troublesome" links from the active topology making it easier to find optimal link schedules.


title: Atmospheric circulation of brown dwarfs and directly imaged exoplanets driven by cloud radiative feedback: effects of rotation

abstract: Observations of brown dwarfs (BDs), free-floating planetary-mass objects, and directly imaged extrasolar giant planets (EGPs) exhibit rich evidence of large-scale weather. Cloud radiative feedback has been proposed as a potential mechanism driving the vigorous atmospheric circulation on BDs and directly imaged EGPs, and yet it has not been demonstrated in three-dimensional dynamical models at relevant conditions. Here we present a series of atmospheric circulation models that self-consistently coupled dynamics with idealized cloud formation and its radiative effects. We demonstrate that vigorous atmospheric circulation can be triggered and self-maintained by cloud radiative feedback. Typical isobaric temperature variation could reach over 100 K and horizontally averaged wind speed could be several hundred m/s. The circulation is dominated by cloud-forming and clear-sky vortices that evolve over timescales from several to tens of hours. The typical horizontal lengthscale of dominant vortices is closed to the Rossby deformation radius, showing a linear dependence on the inverse of rotation rate. Stronger rotation tends to weaken the vertical transport of vapor and clouds, leading to overall thinner clouds. Domain-mean outgoing radiative flux exhibits variability over timescales of tens of hours due to the statistical evolution of storms. Different bottom boundary conditions in the models could lead to qualitatively different circulation near the observable layer. The circulation driven by cloud radiative feedback represents a robust mechanism generating significant surface inhomogeneity as well as irregular flux time variability. Our results have important implications for near-IR colors of dusty BDs and EGPs, including the scatter in the near-IR color-magnitude diagram and the viewing-geometry dependent near-IR colors.


title: Selection by vanishing common noise for potential finite state mean field games

abstract: The goal of this paper is to provide a selection principle for potential mean field games on a finite state space and, in this respect, to show that equilibria that do not minimize the corresponding mean field control problem should be ruled out. Our strategy is a tailored-made version of the vanishing viscosity method for partial differential equations. Here, the viscosity has to be understood as the square intensity of a common noise that is inserted in the mean field game or, equivalently, as the diffusivity parameter in the related parabolic version of the master equation. As established recently, the randomly forced mean field game becomes indeed uniquely solvable for a relevant choice of a Wright-Fisher common noise, the counterpart of which in the master equation is a Kimura operator on the simplex. We here elaborate on this idea to make the mean field game with common noise both uniquely solvable and potential, meaning that its unique solution is in fact equal to the unique minimizer of a suitable stochastic mean field control problem. Taking the limit as the intensity of the common noise vanishes, we obtain a rigorous proof of the aforementioned selection principle. As a byproduct, we get that the classical solution to the viscous master equation associated with the mean field game with common noise converges to the gradient of the value function of the mean field control problem without common noise; we hence select a particular weak solution of the master equation of the original mean field game. Lastly, we establish an intrinsic uniqueness criterion for this solution within a suitable class.


title: Adversarial Feature Selection against Evasion Attacks

abstract: Pattern recognition and machine learning techniques have been increasingly adopted in adversarial settings such as spam, intrusion and malware detection, although their security against well-crafted attacks that aim to evade detection by manipulating data at test time has not yet been thoroughly assessed. While previous work has been mainly focused on devising adversary-aware classification algorithms to counter evasion attempts, only few authors have considered the impact of using reduced feature sets on classifier security against the same attacks. An interesting, preliminary result is that classifier security to evasion may be even worsened by the application of feature selection. In this paper, we provide a more detailed investigation of this aspect, shedding some light on the security properties of feature selection against evasion attacks. Inspired by previous work on adversary-aware classifiers, we propose a novel adversary-aware feature selection model that can improve classifier security against evasion attacks, by incorporating specific assumptions on the adversary's data manipulation strategy. We focus on an efficient, wrapper-based implementation of our approach, and experimentally validate its soundness on different application examples, including spam and malware detection.


title: DeepSSM: Deep State-Space Model for 3D Human Motion Prediction

abstract: Predicting future human motion plays a significant role in human-machine interactions for various real-life applications. A unified formulation and multi-order modeling are two critical perspectives for analyzing and representing human motion. In contrast to prior works, we improve the multi-order modeling ability of human motion systems for more accurate predictions by building a deep state-space model (DeepSSM). The DeepSSM utilizes the advantages of both the state-space theory and the deep network. Specifically, we formulate the human motion system as the state-space model of a dynamic system and model the motion system by the state-space theory, offering a unified formulation for diverse human motion systems. Moreover, a novel deep network is designed to parameterize this system, which jointly models the state-state transition and state-observation transition processes. In this way, the state of a system is updated by the multi-order information of a time-varying human motion sequence. Multiple future poses are recursively predicted via the state-observation transition. To further improve the model ability of the system, a novel loss, WT-MPJPE (Weighted Temporal Mean Per Joint Position Error), is introduced to optimize the model. The proposed loss encourages the system to achieve more accurate predictions by increasing weights to the early time steps. The experiments on two benchmark datasets (i.e., Human3.6M and 3DPW) confirm that our method achieves state-of-the-art performance with improved accuracy of at least 2.2mm per joint. The code will be available at: \url{https://github.com/lily2lab/DeepSSM.git}.


title: ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts

abstract: Smart contracts are Turing-complete programs that are executed across a blockchain. Unlike traditional programs, once deployed, they cannot be modified. As smart contracts carry more value, they become more of an exciting target for attackers. Over the last years, they suffered from exploits costing millions of dollars due to simple programming mistakes. As a result, a variety of tools for detecting bugs have been proposed. Most of these tools rely on symbolic execution, which may yield false positives due to over-approximation. Recently, many fuzzers have been proposed to detect bugs in smart contracts. However, these tend to be more effective in finding shallow bugs and less effective in finding bugs that lie deep in the execution, therefore achieving low code coverage and many false negatives. An alternative that has proven to achieve good results in traditional programs is hybrid fuzzing, a combination of symbolic execution and fuzzing. In this work, we study hybrid fuzzing on smart contracts and present ConFuzzius, the first hybrid fuzzer for smart contracts. ConFuzzius uses evolutionary fuzzing to exercise shallow parts of a smart contract and constraint solving to generate inputs that satisfy complex conditions that prevent evolutionary fuzzing from exploring deeper parts. Moreover, ConFuzzius leverages dynamic data dependency analysis to efficiently generate sequences of transactions that are more likely to result in contract states in which bugs may be hidden. We evaluate the effectiveness of ConFuzzius by comparing it with state-of-the-art symbolic execution tools and fuzzers for smart contracts. Our evaluation on a curated dataset of 128 contracts and 21K real-world contracts shows that our hybrid approach detects more bugs (up to 23%) while outperforming state-of-the-art in terms of code coverage (up to 69%), and that data dependency analysis boosts bug detection up to 18%.


title: Another model for the regularized big bang

abstract: We propose a gravitational model with a Brans-Dicke-type scalar field having, in the would-be action, a "wrong-sign" kinetic term and a quartic interaction term. In a cosmological context, we obtain, depending on the boundary conditions, either the Friedmann solution or a kink-bounce solution. The expanding-universe Friedmann solution has a big bang curvature singularity, whereas the kink-bounce solution has a nonsingular bouncing behavior of the cosmic scale factor. The bounce occurs precisely at the moment when the scalar field of the kink-type configuration goes through zero, making for a vanishing effective gravitational coupling.


title: Hyperbolic Discretization via Riemann Invariants

abstract: We are interested in numerical schemes for the simulation of large scale gas networks. Typical models are based on the isentropic Euler equations with realistic gas constant. The numerical scheme is based on transformation of conservative variables in Riemann invariants and its corresponding numerical dsicretization. A particular, novelty of the proposed method is the possbility to allow for an efficient discretization of the boundary and coupling conditions at nodal points of the network. The original discretization is analysed in view of its property to correctly recover steady states as well as to resolve possible analytic solutions. Comparisons with existing methods show the advantage of the novel method.


title: Cosmological Information from the Small-scale Redshift Space Distortions

abstract: The redshift-space distortion (RSD) in the observed distribution of galaxies is known as a powerful probe of cosmology. Observations of large-scale RSD have given tight constraints on the linear growth rate of the large-scale structures in the universe. On the other hand, the small-scale RSD, caused by galaxy random motions inside clusters, has not been much used in cosmology, but also has cosmological information because universes with different cosmological parameters have different halo mass functions and virialized velocities. We focus on the projected correlation function $w(r_p)$ and the multipole moments $\xi_l$ on small scales ($1.4$ to $30\ h^{-1}\rm{Mpc}$). Using simulated galaxy samples generated from a physically motivated most bound particle (MBP)-galaxy correspondence scheme in the Multiverse Simulation, we examine the dependence of the small-scale RSD on the cosmological matter density parameter $\Omega_m$, the satellite velocity bias with respect to MBPs, $b_v^s$, and the merger-time-scale parameter $\alpha$. We find that $\alpha=1.5$ gives an excellent fit to the $w(r_p)$ and $\xi_l$ measured from the SDSS-KIAS value added galaxy catalog. We also define the ``strength'' of Fingers-of-God as the ratio of the parallel and perpendicular size of the contour in the two-point correlation function set by a specific threshold value and show that the strength parameter helps constraining $(\Omega_m, b_v^s, \alpha)$ by breaking the degeneracy among them. The resulting parameter values from all measurements are $(\Omega_m,b_v^s)=(0.272\pm0.013,0.982\pm0.040)$, indicating a slight reduction of satellite galaxy velocity relative to the MBP. However, considering that the average MBP speed inside haloes is $0.94$ times the dark matter velocity dispersion, the main drivers behind the galaxy velocity bias are gravitational interactions, rather than baryonic effects.


title: Importance Sampling for Pathwise Sensitivity of Stochastic Chaotic Systems

abstract: This paper proposes a new pathwise sensitivity estimator for chaotic SDEs. By introducing a spring term between the original and perturbated SDEs, we derive a new estimator by importance sampling. The variance of the new estimator increases only linearly in time $T,$ compared with the exponential increase of the standard pathwise estimator. We compare our estimator with the Malliavin estimator and extend both of them to the Multilevel Monte Carlo method, which further improves the computational efficiency. Finally, we also consider using this estimator for the SDE with small volatility to approximate the sensitivities of the invariant measure of chaotic ODEs. Furthermore, Richardson-Romberg extrapolation on the volatility parameter gives a more accurate and efficient estimator. Numerical experiments support our analysis.


title: Triangularized Orthogonalization-free Method for Solving Extreme Eigenvalue Problems

abstract: A novel orthogonalization-free method together with two specific algorithms are proposed to solve extreme eigenvalue problems. On top of gradient-based algorithms, the proposed algorithms modify the multi-column gradient such that earlier columns are decoupled from later ones. Global convergence to eigenvectors instead of eigenspace is guaranteed almost surely. Locally, algorithms converge linearly with convergence rate depending on eigengaps. Momentum acceleration, exact linesearch, and column locking are incorporated to further accelerate both algorithms and reduce their computational costs. We demonstrate the efficiency of both algorithms on several random matrices with different spectrum distribution and matrices from computational chemistry.


title: On Lagrange duality theory for dynamics vaccination games

abstract: The authors study an infinite dimensional duality theory finalized to obtain the existence of a strong duality between a convex optimization problem connected with the management of vaccinations and its Lagrange dual. Specifically, the authors show the solvability of a dual problem using as basic tool an hypothesis known as Assumption S. Roughly speaking, it requires to show that a particular limit is nonnegative. This technique improves the previous strong duality results that need the nonemptyness of the interior of the convex ordering cone. The authors use the duality theory to analyze the dynamic vaccination game in order to obtain the existence of the Lagrange multipliers related to the problem and to better comprehend the meaning of the problem.


title: A local CLT for linear statistics of 2D Coulomb gases

abstract: We prove a local central limit theorem for fluctuations of linear statistics of smooth enough test functions under the canonical Gibbs measure of two-dimensional Coulomb gases at any positive temperature. The proof relies on the existing global central limit theorem and a new decay estimate for the characteristic function of such fluctuations.


title: An X-Ray Burst from a Magnetar Enlightening the Mechanism of Fast Radio Bursts

abstract: Fast radio bursts (FRBs) are short (millisecond) radio pulses originating from enigmatic sources at extragalactic distances so far lacking a detection in other energy bands. Magnetized neutron stars (magnetars) have been considered as the sources powering the FRBs, but the connection is controversial because of differing energetics and the lack of radio and X-ray detections with similar characteristics in the two classes. We report here the detection by the AGILE satellite on April 28, 2020 of an X-ray burst in coincidence with the very bright radio burst from the Galactic magnetar SGR 1935+2154. The burst detected by AGILE in the hard X-ray band (18-60 keV) lasts about 0.5 seconds, it is spectrally cutoff above 80 keV, and implies an isotropically emitted energy ~ $10^{40}$ erg. This event is remarkable in many ways: it shows for the first time that a magnetar can produce X-ray bursts in coincidence with FRB-like radio bursts; it also suggests that FRBs associated with magnetars may emit X-ray bursts of both magnetospheric and radio-pulse types that may be discovered in nearby sources. Guided by this detection, we discuss SGR 1935+2154 in the context of FRBs, and especially focus on the class of repeating-FRBs. Based on energetics, magnetars with fields B ~ $10^{15}$ G may power the majority of repeating-FRBs. Nearby repeating-FRBs offer a unique occasion to consolidate the FRB-magnetar connection, and we present new data on the X-ray monitoring of nearby FRBs. Our detection enlightens and constrains the physical process leading to FRBs: contrary to previous expectations, high-brightness temperature radio emission coexists with spectrally-cutoff X-ray radiation.


title: A structural model for the Coronavirus Nucleocapsid

abstract: We propose a mesoscale model structure for the coronavirus nucleocapsid, assembled from the high resolution structures of the basic building blocks of the N-protein, CryoEM imaging and mathematical constraints for an overall quasi-spherical particle. The structure is a truncated octahedron that accommodates two layers: an outer shell composed of triangular and quadrangular lattices of the N-terminal domain and an inner shell of equivalent lattices of coiled parallel helices of the C-terminal domain. The model is consistent with the dimensions expected for packaging large viral genomes and provides a rationale to interpret the apparent pleomorphic nature of coronaviruses.


title: A model-free, data-based forecast for sunspot cycle 25

abstract: The dynamic activity of the Sun, governed by its cycle of sunspots -- strongly magnetized regions that are observed on its surface -- modulate our solar system space environment creating space weather. Severe space weather leads to disruptions in satellite operations, telecommunications, electric power grids and air-traffic on polar routes. Forecasting the cycle of sunspots, however, has remained a challenging problem. We use reservoir computing -- a model-free, neural--network based machine-learning technique -- to forecast the upcoming solar cycle, sunspot cycle 25. The standard algorithm forecasts that solar cycle 25 is going to last about ten years, the maxima is going to appear in the year 2024 and the maximum number of sunspots is going to be 113 ($\pm15$). We also develop a novel variation of the standard algorithm whose forecasts for duration and peak timing matches that of the standard algorithm, but whose peak amplitude forecast is 124 ($\pm2$) -- within the upper bound of the standard reservoir computing algorithm. We conclude that sunspot cycle 25 is likely to be a weak, lower than average solar cycle, somewhat similar in strength to sunspot cycle 24.


title: Sample Complexity of Data-Driven Stochastic LQR with Multiplicative Uncertainty

abstract: This paper studies the sample complexity of the stochastic Linear Quadratic Regulator when applied to systems with multiplicative noise. We assume that the covariance of the noise is unknown and estimate it using the sample covariance, which results in suboptimal behaviour. The main contribution of this paper is then to bound the suboptimality of the methodology and prove that it decreases with 1/N, where N denotes the amount of samples. The methodology easily generalizes to the case where the mean is unknown and to the distributionally robust case studied in a previous work of the authors. The analysis is mostly based on results from matrix function perturbation analysis.


title: Reducing Variance with Sample Allocation Based on Expected Response Rates

abstract: Several techniques exist to assess and reduce nonresponse bias, including propensity models, calibration methods, or post-stratification. These approaches can only be applied after the data collection, and assume reliable information regarding unit nonresponse patterns for the entire population. In this paper, we demonstrate that sample allocation taking into account the expected response rates (ERR) have advantages in this context. The performance of ERR allocation is assessed by comparing the variances of estimates obtained those arising from a classical allocation proportional to size (PS) and then applying post-stratification. The main theoretical tool is asymptotic calculations using the delta-method, and these are complemented with extensive simulations. The main finding is that the ERR allocation leads to lower variances than the PS allocation, when the response rates are correctly specified, and also under a wide range of conditions when the response rates can not be correctly specified in advance.


title: Depth-2 QAC circuits cannot simulate quantum parity

abstract: We show that the quantum parity gate on $n > 3$ qubits cannot be cleanly simulated by a quantum circuit with two layers of arbitrary C-SIGN gates of any arity and arbitrary 1-qubit unitary gates, regardless of the number of allowed ancilla qubits. This is the best known and first nontrivial separation between the parity gate and circuits of this form. The same bounds also apply to the quantum fanout gate. Our results are incomparable with those of Fang et al. [3], which apply to any constant depth but require a sublinear number of ancilla qubits on the simulating circuit.


title: Modelling provincial Covid-19 epidemic data in Italy using an adjusted time-dependent SIRD model

abstract: In this paper we develop a predictive model for the spread of COVID-19 infection at a provincial (i.e. EU NUTS-3) level in Italy by using official data from the Italian Ministry of Health integrated with data extracted from daily official press conferences of regional authorities and from local newspaper websites. This integration is mainly concerned with COVID-19 cause specific death data which are not available at NUTS-3 level from open official data data channels. An adjusted time-dependent SIRD model is used to predict the behavior of the epidemic, specifically the number of susceptible, infected, deceased and recovered people. Predictive model performance is evaluated using comparison with real data.


title: Comment on "Landau equation and QCD sum rules for the tetraquark molecular states" [Phys. Rev. D 101, 074011 (2020)]

abstract: Recently, a QCD sum-rule analysis of tetraquark molecular states has been published, having the objective of demonstrating that our previously formulated tetraquark-adequate QCD sum rules are not correct. This comment brings to the attention of the reader inconsistencies in that article and explains some subtle details of QCD sum rules for exotic states.


title: Empirical Likelihood Inference With Public-Use Survey Data

abstract: Public-use survey data are an important source of information for researchers in social science and health studies to build statistical models and make inferences on the target finite population. This paper presents two general inferential tools through the pseudo empirical likelihood and the sample empirical likelihood methods. Theoretical results on point estimation and linear or nonlinear hypothesis tests involving parameters defined through estimating equations are established, and practical issues with the implementation of the proposed methods are discussed. Results from simulation studies and an application to the 2016 General Social Survey dataset of Statistics Canada show that the proposed methods work well under different scenarios. The inferential procedures and theoretical results presented in the paper make the empirical likelihood a practically useful tool for users of complex survey data.


title: On Evaluation of Risky Investment Projects. Investment Certainty Equivalence

abstract: The purpose of the study is to propose a methodology for evaluation and ranking of risky investment projects.An investment certainty equivalence approach dual to the conventional separation of riskless and risky contributions based on cash flow certainty equivalence is introduced. Proposed ranking of investment projects is based on gauging them with the Omega measure, which is defined as the ratio of chances to obtain profit/return greater than some critical (minimal acceptable) profitability over the chances to obtain the profit/return less than the critical one.Detailed consideration of alternative riskless investment is presented. Various performance measures characterizing investment projects with a special focus on the role of reinvestment are discussed. Relation between the proposed methodology and the conventional approach based on utilization of risk-adjusted discount rate (RADR) is discussed. Findings are supported with an illustrative example.The methodology proposed can be used to rank projects of different nature, scale and lifespan. In contrast to the conventional RADR approach for investment project evaluation, in the proposed method a risk profile of a specific project is explicitly analyzed in terms of appropriate performance measure distribution. No ad-hoc assumption about suitable risk-premium is made.


title: Measuring HERA's primary beam in-situ: methodology and first results

abstract: The central challenge in 21~cm cosmology is isolating the cosmological signal from bright foregrounds. Many separation techniques rely on the accurate knowledge of the sky and the instrumental response, including the antenna primary beam. For drift-scan telescopes such as the Hydrogen Epoch of Reionization Array \citep[HERA, ][]{DeBoer2017} that do not move, primary beam characterization is particularly challenging because standard beam-calibration routines do not apply \citep{Cornwell2005} and current techniques require accurate source catalogs at the telescope resolution. We present an extension of the method from \citet{Pober2012} where they use beam symmetries to create a network of overlapping source tracks that break the degeneracy between source flux density and beam response and allow their simultaneous estimation. We fit the beam response of our instrument using early HERA observations and find that our results agree well with electromagnetic simulations down to a -20~dB level in power relative to peak gain for sources with high signal-to-noise ratio. In addition, we construct a source catalog with 90 sources down to a flux density of 1.4~Jy at 151~MHz.


title: Formal Methods with a Touch of Magic

abstract: Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fields. The use of black-box neural networks in deep reinforcement learning (deep RL) poses a challenge for such a combination. Instead of reasoning formally about the output of deep RL, which we call the {\em wizard}, we extract from it a decision-tree based model, which we refer to as the {\em magic book}. Using the extracted model as an intermediary, we are able to handle problems that are infeasible for either deep RL or formal methods by themselves. First, we suggest, for the first time, combining a magic book in a synthesis procedure. We synthesize a stand-alone correct-by-design controller that enjoys the favorable performance of RL. Second, we incorporate a magic book in a bounded model checking (BMC) procedure. BMC allows us to find numerous traces of the plant under the control of the wizard, which a user can use to increase the trustworthiness of the wizard and direct further training.


title: Characterizing Proton-Proton Collisions at the Large Hadron Collider with Thermal Properties

abstract: High-multiplicity proton-proton (pp) collisions at the Large Hadron Collider (LHC) energies have created a new domain of research to look for a possible formation of quark-gluon plasma in these events. In this paper, we estimate various thermal properties of the matter formed in pp collisions at the LHC energies, such as mean free path, isobaric expansivity, thermal pressure, and heat capacity using a thermodynamically consistent Tsallis distribution function. Particle species-dependent mean free path and isobaric expansivity are studied as functions of final state charged particle multiplicity for pp collisions at the center-of-mass energy $\sqrt{s}$ = 7 TeV. The effects of degree of non-extensivity, baryochemical potential, and temperature on these thermal properties are studied. The findings are compared with the theoretical expectations.


title: The Role of Inhomogeneities in Supernova Shock Breakout Emission

abstract: The breakout of a supernova blast wave from its progenitor star provides strong constraints on the star and its immediate surroundings. These surroundings are shaped by mass loss from the star and can include a wide variety of inhomogeneities. Here we present results of multi-dimensional radiation-hydrodynamics calculations of the interactions of the supernova blast wave with inhomogeneities in the immediate surroundings of a massive Wolf-Rayet star, calculating the effect these interactions have on the shock breakout signal from supernovae.


title: Incremental Real-Time Personalization in Human Activity Recognition Using Domain Adaptive Batch Normalization

abstract: Human Activity Recognition (HAR) from devices like smartphone accelerometers is a fundamental problem in ubiquitous computing. Machine learning based recognition models often perform poorly when applied to new users that were not part of the training data. Previous work has addressed this challenge by personalizing general recognition models to the unique motion pattern of a new user in a static batch setting. They require target user data to be available upfront. The more challenging online setting has received less attention. No samples from the target user are available in advance, but they arrive sequentially. Additionally, the motion pattern of users may change over time. Thus, adapting to new and forgetting old information must be traded off. Finally, the target user should not have to do any work to use the recognition system by, say, labeling any activities. Our work addresses all of these challenges by proposing an unsupervised online domain adaptation algorithm. Both classification and personalization happen continuously and incrementally in real time. Our solution works by aligning the feature distributions of all subjects, be they sources or the target, in hidden neural network layers. To this end, we normalize the input of a layer with user-specific mean and variance statistics. During training, these statistics are computed over user-specific batches. In the online phase, they are estimated incrementally for any new target user.


title: Role of orbital selectivity on crystal structures and electronic states in BiMnO$_3$ and LaMnO$_3$ perovskites

abstract: Correlated oxides, such as BiMnO$_3$ and LaMnO$_3$, show complex interplay of electronic correlations and crystal structure exhibiting multiple first order phase transitions, some without a clear order parameter. The quantitative theoretical description of this temperature dependent electronic-structural interplay in the vicinity of a Mott transition is still a challenge. Here we address this issue by simultaneously considering both structural and electronic degrees of freedom, within a self-consistent density functional theory with embedded dynamical mean field theory. Our results show the existence of novel electronic states characterized by coexistence of insulating, semi-metallic and metallic orbitals. This state is in agreement with resonant X-ray scattering. We also show that electronic entropy plays a decisive role in both electronic and structural phase transitions. By self-consistent determination of both, the electronic state and the corresponding crystal structure, we show that the temperature evolution of these phases can be quantitatively explained from first principles, thus demonstrating the predictive power of the theoretical method for both the structural and the electronic properties.


title: Solar Flare Prediction Using Magnetic Field Diagnostics Above the Photosphere

abstract: In this article, we present the application of the weighted horizontal gradient of magnetic field (WGM) flare prediction method to 3-dimensional (3D) extrapolated magnetic configurations of 13 flaring solar active regions (ARs). The main aim is to identify an optimal height range, if any, in the interface region between the photosphere and lower corona, where the flare onset time prediction capability of WGM is best exploited. The optimal height is where flare prediction, by means of the WGM method, is achieved earlier than at the photospheric level. 3D magnetic structures, based on potential and non-linear force-free field extrapolations, are constructed to study a vertical range from the photosphere up to the low corona with a 45 km step size. The WGM method is applied as a function of height to all 13 flaring AR cases that are subject to certain selection criteria. We found that applying the WGM method between 1000 and 1800 km above the solar surface would improve the prediction of the flare onset time by around 2-8 hours.Certain caveats and an outlook for future work along these lines are also discussed.


title: SunDown: Model-driven Per-Panel Solar Anomaly Detection for Residential Arrays

abstract: There has been significant growth in both utility-scale and residential-scale solar installations in recent years, driven by rapid technology improvements and falling prices. Unlike utility-scale solar farms that are professionally managed and maintained, smaller residential-scale installations often lack sensing and instrumentation for performance monitoring and fault detection. As a result, faults may go undetected for long periods of time, resulting in generation and revenue losses for the homeowner. In this paper, we present SunDown, a sensorless approach designed to detect per-panel faults in residential solar arrays. SunDown does not require any new sensors for its fault detection and instead uses a model-driven approach that leverages correlations between the power produced by adjacent panels to detect deviations from expected behavior. SunDown can handle concurrent faults in multiple panels and perform anomaly classification to determine probable causes. Using two years of solar generation data from a real home and a manually generated dataset of multiple solar faults, we show that our approach has a MAPE of 2.98\% when predicting per-panel output. Our results also show that SunDown is able to detect and classify faults, including from snow cover, leaves and debris, and electrical failures with 99.13% accuracy, and can detect multiple concurrent faults with 97.2% accuracy.


title: Generalized diffusion equation with nonlocality of space-time. Memory function modelling

abstract: We presented a general approach for obtaining the generalized transport equations with fractional derivatives by using the Liouville equation with fractional derivatives for a system of classical particles and Zubarev's nonequilibrium statistical operator (NSO) method within Gibbs statistics. The new non-Markovian diffusion equations of ions in spatially heterogeneous environment with fractal structure and generalized Cattaneo-Maxwell diffusion equation with taking into account the space-time nonlocality are obtained. Dispersion relations are found for the Cattaneo-Maxwell diffusion equation with taking into account the space-time nonlocality in fractional derivatives. The frequency spectrum, phase and group velocities are calculated. It is shown that it has a wave behaviour with discontinuities, which are also manifested in the behaviour of the phase velocity.


title: Thermodynamics-based Artificial Neural Networks for constitutive modeling

abstract: Machine Learning methods and, in particular, Artificial Neural Networks (ANNs) have demonstrated promising capabilities in material constitutive modeling. One of the main drawbacks of such approaches is the lack of a rigorous frame based on the laws of physics. This may render physically inconsistent the predictions of a trained network, which can be even dangerous for real applications. Here we propose a new class of data-driven, physics-based, neural networks for constitutive modeling of strain rate independent processes at the material point level, which we define as Thermodynamics-based Artificial Neural Networks (TANNs). The two basic principles of thermodynamics are encoded in the network's architecture by taking advantage of automatic differentiation to compute the numerical derivatives of a network with respect to its inputs. In this way, derivatives of the free-energy, the dissipation rate and their relation with the stress and internal state variables are hardwired in the network. Consequently, our network does not have to identify the underlying pattern of thermodynamic laws during training, reducing the need of large data-sets. Moreover the training is more efficient and robust, and the predictions more accurate. Finally and more important, the predictions remain thermodynamically consistent, even for unseen data. Based on these features, TANNs are a starting point for data-driven, physics-based constitutive modeling with neural networks. We demonstrate the wide applicability of TANNs for modeling elasto-plastic materials, with strain hardening and strain softening. Detailed comparisons show that the predictions of TANNs outperform those of standard ANNs. TANNs ' architecture is general, enabling applications to materials with different or more complex behavior, without any modification.


title: On the road to percent accuracy IV: ReACT -- computing the non-linear power spectrum beyond $\Lambda$CDM

abstract: To effectively exploit large-scale structure surveys, we depend on accurate and reliable predictions of non-linear cosmological structure formation. Tools for efficient and comprehensive computational modelling are therefore essential to perform cosmological parameter inference analyses. We present the public software package ReACT, demonstrating its capability for the fast and accurate calculation of non-linear power spectra from non-standard physics. We showcase ReACT through a series of analyses on the DGP and $f(R)$ gravity models, adopting LSST-like cosmic shear power spectra. Accurate non-linear modelling with ReACT has the potential to more than double LSST's constraining power on the $f(R)$ parameter, in contrast to an analysis that is limited to the quasi-linear regime. We find that ReACT is sufficiently robust for the inference of consistent constraints on theories beyond $\Lambda$CDM for current and ongoing surveys. With further improvement, particularly in terms of the accuracy of the non-linear $\Lambda$CDM power spectrum, ReACT can, in principle, meet the accuracy requirements for future surveys such as Euclid and LSST.


title: Variance of Longest Run Duration in a Random Bitstring

abstract: We continue an earlier study, starting with unconstrained $n$-bitstrings, focusing now less on average behavior and more on uncertainty. The interplay between $\bullet$ longest runs of 0s and of 1s, when bitstrings are multus $\bullet$ longest runs of 0s and bitsums (# of 1s), when bitstrings are solus $\\$ is examined. While negative correlations approach zero as $n \rightarrow \infty$ in the former (for clumped 1s), the limit is evidently nonzero in the latter (for separated 1s). Similar analysis is possible when both 0s and 1s are clumped (bimultus), and when 0s are clumped but 1s are separated (persolus). Our methods are experimentally-based.


title: Learnability of Timescale Graphical Event Models

abstract: This technical report tries to fill a gap in current literature on Timescale Graphical Event Models. I propose and evaluate different heuristics to determine hyper-parameters during the structure learning algorithm and refine an existing distance measure. A comprehensive benchmark on synthetic data will be conducted allowing conclusions about the applicability of the different heuristics.


title: AMR Quality Rating with a Lightweight CNN

abstract: Structured semantic sentence representations such as Abstract Meaning Representations (AMRs) are potentially useful in various NLP tasks. However, the quality of automatic parses can vary greatly and jeopardizes their usefulness. This can be mitigated by models that can accurately rate AMR quality in the absence of costly gold data, allowing us to inform downstream systems about an incorporated parse's trustworthiness or select among different candidate parses. In this work, we propose to transfer the AMR graph to the domain of images. This allows us to create a simple convolutional neural network (CNN) that imitates a human judge tasked with rating graph quality. Our experiments show that the method can rate quality more accurately than strong baselines, in several quality dimensions. Moreover, the method proves to be efficient and reduces the incurred energy consumption.


title: Automating the Surveillance of Mosquito Vectors from Trapped Specimens Using Computer Vision Techniques

abstract: Among all animals, mosquitoes are responsible for the most deaths worldwide. Interestingly, not all types of mosquitoes spread diseases, but rather, a select few alone are competent enough to do so. In the case of any disease outbreak, an important first step is surveillance of vectors (i.e., those mosquitoes capable of spreading diseases). To do this today, public health workers lay several mosquito traps in the area of interest. Hundreds of mosquitoes will get trapped. Naturally, among these hundreds, taxonomists have to identify only the vectors to gauge their density. This process today is manual, requires complex expertise/ training, and is based on visual inspection of each trapped specimen under a microscope. It is long, stressful and self-limiting. This paper presents an innovative solution to this problem. Our technique assumes the presence of an embedded camera (similar to those in smart-phones) that can take pictures of trapped mosquitoes. Our techniques proposed here will then process these images to automatically classify the genus and species type. Our CNN model based on Inception-ResNet V2 and Transfer Learning yielded an overall accuracy of 80% in classifying mosquitoes when trained on 25,867 images of 250 trapped mosquito vector specimens captured via many smart-phone cameras. In particular, the accuracy of our model in classifying Aedes aegypti and Anopheles stephensi mosquitoes (both of which are deadly vectors) is amongst the highest. We present important lessons learned and practical impact of our techniques towards the end of the paper.


title: Initial solidification dynamics of spreading droplets

abstract: When a droplet is brought in contact with an undercooled surface, it wets the substrate and solidifies at the same time. The interplay between the phase transition effects and the contact-line motion, leading to its arrest, remains poorly understood. Here we reveal the early solidification patterns and dynamics of spreading hexadecane droplets. Total internal reflection (TIR) imaging is employed to temporally and spatially resolve the early solidification behaviour. With this, we determine the conditions leading to the contact-line arrest. We quantify the overall nucleation behaviour, \textit{i.e.} the nucleation rate and the crystal growth speed, and show its sensitivity to the applied undercooling of the substrate. By combining the Johnson-Mehl-Avrami-Kolmogorov nucleation theory and scaling relations for the spreading, we can calculate the temporal evolution of the solid area fraction, which is in good agreement with our observations. We also show that for strong enough undercooling it is the rapid growth of the crystals which determines the eventual arrest of the spreading contact line.


title: Number of points of curves over finite fields in some relative situations from an euclidean point of vue

abstract: We study the number of rational points of smooth projective curves over finite fields in some relative situations in the spirit of a previous paper from an euclidean point of vue. We prove some kinds of relative Weil bounds, derived from Schwarz inequality for some "relative parts" of the diagonal and of the graph of the Frobenius on some euclidean sub-spaces of the numerical space of the squared curve endowed with the opposite of the intersection product.


title: Cognitive State Analysis, Understanding, and Decoding from the Perspective of Brain Connectivity

abstract: Cognitive states are involving in our daily life, which motivates us to explore them and understand them by a vast variety of perspectives. Among these perspectives, brain connectivity is increasingly receiving attention in recent years. It is the right time to summarize the past achievements, serving as a cornerstone for the upcoming progress in the field. In this chapter, the definition of the cognitive state is first given and the cognitive states that are frequently investigated are then outlined. The introduction of the methods for estimating connectivity strength and graph theoretical metrics is followed. Subsequently, each cognitive state is separately described and the progress in cognitive state investigation is summarized, including analysis, understanding, and decoding. We concentrate on the literature ascertaining macro-scale representations of cognitive states from the perspective of brain connectivity and give an overview of achievements related to cognitive states to date, especially within the past ten years. The discussions and future prospects are stated at the end of the chapter.


title: Incompressible Euler limit from Boltzmann equation with Diffuse Boundary Condition for Analytic data

abstract: A rigorous derivation of the incompressible Euler equations with the no-penetration boundary condition from the Boltzmann equation with the diffuse reflection boundary condition has been a challenging open problem. We settle this open question in the affirmative when the initial data of fluid are well-prepared in a real analytic space, in 3D half space. As a key of this advance we capture the Navier-Stokes equations of $$\textit{viscosity} \sim \frac{\textit{Knudsen number}}{\textit{Mach number}}$$ satisfying the no-slip boundary condition, as an $\textit{intermediary}$ approximation of the Euler equations through a new Hilbert-type expansion of Boltzmann equation with the diffuse reflection boundary condition. Aiming to justify the approximation we establish a novel quantitative $L^p$-$L^\infty$ estimate of the Boltzmann perturbation around a local Maxwellian of such viscous approximation, along with the commutator estimates and the integrability gain of the hydrodynamic part in various spaces; we also establish direct estimates of the Navier-Stokes equations in higher regularity with the aid of the initial-boundary and boundary layer weights using a recent Green's function approach. The incompressible Euler limit follows as a byproduct of our framework.


title: Feature Statistics Guided Efficient Filter Pruning

abstract: Building compact convolutional neural networks (CNNs) with reliable performance is a critical but challenging task, especially when deploying them in real-world applications. As a common approach to reduce the size of CNNs, pruning methods delete part of the CNN filters according to some metrics such as $l1$-norm. However, previous methods hardly leverage the information variance in a single feature map and the similarity characteristics among feature maps. In this paper, we propose a novel filter pruning method, which incorporates two kinds of feature map selections: diversity-aware selection (DFS) and similarity-aware selection (SFS). DFS aims to discover features with low information diversity while SFS removes features that have high similarities with others. We conduct extensive empirical experiments with various CNN architectures on publicly available datasets. The experimental results demonstrate that our model obtains up to 91.6% parameter decrease and 83.7% FLOPs reduction with almost no accuracy loss.


title: The permutahedral variety, mixed Eulerian numbers, and principal specializations of Schubert polynomials

abstract: We compute the expansion of the cohomology class of the permutahedral variety in the basis of Schubert classes. The resulting structure constants $a_w$ are expressed as a sum of \emph{normalized} mixed Eulerian numbers indexed naturally by reduced words of $w$. The description implies that the $a_w$ are positive for all permutations $w\in S_n$ of length $n-1$, thereby answering a question of Harada, Horiguchi, Masuda and Park. We use the same expression to establish the invariance of $a_w$ under taking inverses and conjugation by the longest word, and subsequently establish an intriguing cyclic sum rule for the numbers. We then move toward a deeper combinatorial understanding for the $a_w$ by exploiting in addition the relation to Postnikov's divided symmetrization. Finally, we are able to give a combinatorial interpretation for $a_w$ when $w$ is vexillary, in terms of certain tableau descents. It is based in part on a relation between the numbers $a_w$ and principal specializations of Schubert polynomials. Along the way, we prove results and raise questions of independent interest about the combinatorics of permutations, Schubert polynomials and related objects. We also sketch how to extend our approach to other Lie types, highlighting in particular an identity of Klyachko.


title: End-to-End Auditory Object Recognition via Inception Nucleus

abstract: Machine learning approaches to auditory object recognition are traditionally based on engineered features such as those derived from the spectrum or cepstrum. More recently, end-to-end classification systems in image and auditory recognition systems have been developed to learn features jointly with classification and result in improved classification accuracy. In this paper, we propose a novel end-to-end deep neural network to map the raw waveform inputs to sound class labels. Our network includes an "inception nucleus" that optimizes the size of convolutional filters on the fly that results in reducing engineering efforts dramatically. Classification results compared favorably against current state-of-the-art approaches, besting them by 10.4 percentage points on the Urbansound8k dataset. Analyses of learned representations revealed that filters in the earlier hidden layers learned wavelet-like transforms to extract features that were informative for classification.


title: Artificial Intelligence (AI) and IT identity: Antecedents Identifying with AI Applications

abstract: In the age of Artificial Intelligence and automation, machines have taken over many key managerial tasks. Replacing managers with AI systems may have a negative impact on workers outcomes. It is unclear if workers receive the same benefits from their relationships with AI systems, raising the question: What degree does the relationship between AI systems and workers impact worker outcomes? We draw on IT identity to understand the influence of identification with AI systems on job performance. From this theoretical perspective, we propose a research model and conduct a survey of 97 MTurk workers to test the model. The findings reveal that work role identity and organizational identity are key determinants of identification with AI systems. Furthermore, the findings show that identification with AI systems does increase job performance.


title: Spatiotemporal Network Evolution of Anthropogenic Night Light 1992-2015

abstract: Satellite imaging of night light provides a global record of lighted development from 1992 to present. Not all settlements can be detected with night light, but the continuum of built environments where a rapidly growing majority of the population lives generally can. Segmenting a continuous field into discrete spatially contiguous subsets of pixels produces a spatial network in which each contiguous segment represents a distinct network component. Representing the continuum of lighted development as spatial networks of varying spatial connectivity allows the generative conditions for power law network structure to be applied in a spatial context to provide a general explanation for similar scaling observed in settlements and other land cover types. This study introduces a novel methodology to combine complementary sources of satellite-derived night light observations to quantify the evolution of the global spatial network structure of lighted development from 1992 to 2015. Area-perimeter distributions of network components show multifractal scaling with larger components becoming increasingly tortuous. Rank-size distributions of network components are linear and well described by power laws with exponents within 0.08 of -1 for all 27 subsets of geography, year and degree of connectivity - indicating robust scaling properties. Area distributions of luminance within network components show an abrupt transition from continuously low-skewed for smaller components to discontinuous, nearly uniform luminance distributions for larger components, suggesting a fundamental change in network structure despite a continuum of size and shape. These results suggest that city size scaling, observed inconsistently for administratively-defined city populations, is more consistent for physically-defined settlement network area and can be explained more simply by a spatial network growth process.


title: Supervised Convex Clustering

abstract: Clustering has long been a popular unsupervised learning approach to identify groups of similar objects and discover patterns from unlabeled data in many applications. Yet, coming up with meaningful interpretations of the estimated clusters has often been challenging precisely due to its unsupervised nature. Meanwhile, in many real-world scenarios, there are some noisy supervising auxiliary variables, for instance, subjective diagnostic opinions, that are related to the observed heterogeneity of the unlabeled data. By leveraging information from both supervising auxiliary variables and unlabeled data, we seek to uncover more scientifically interpretable group structures that may be hidden by completely unsupervised analyses. In this work, we propose and develop a new statistical pattern discovery method named Supervised Convex Clustering (SCC) that borrows strength from both information sources and guides towards finding more interpretable patterns via a joint convex fusion penalty. We develop several extensions of SCC to integrate different types of supervising auxiliary variables, to adjust for additional covariates, and to find biclusters. We demonstrate the practical advantages of SCC through simulations and a case study on Alzheimer's Disease genomics. Specifically, we discover new candidate genes as well as new subtypes of Alzheimer's Disease that can potentially lead to better understanding of the underlying genetic mechanisms responsible for the observed heterogeneity of cognitive decline in older adults.


title: Laser-induced frequency tuning of Fourier-limited single-molecule emitters

abstract: The local interaction of charges and light in organic solids is the basis of distinct and fundamental effects. We here observe, at the single molecule scale, how a focused laser beam can locally shift by hundreds-time their natural linewidth and in a persistent way the transition frequency of organic chromophores, cooled at liquid helium temperatures in different host matrices. Supported by quantum chemistry calculations, the results are interpreted as effects of a photo-ionization cascade, leading to a stable electric field, which Stark-shifts the molecular electronic levels. The experimental method is then applied to a common challenge in quantum photonics, i.e. the independent tuning and synchronization of close-by quantum emitters, which is desirable for multi-photon experiments. Five molecules that are spatially separated by about 50 microns and originally 20 GHz apart are brought into resonance within twice their linewidth. Combining this ability with an emission linewidth that is only limited by the spontaneous decay, the system enables fabrication-free, independent tuning of multiple molecules integrated on the same photonic chip.


title: Large gradients via correlation in random parameterized quantum circuits

abstract: Scaling of variational quantum algorithms to large problem sizes requires efficient optimization of random parameterized quantum circuits. For such circuits with uncorrelated parameters, the presence of exponentially vanishing gradients in cost function landscapes is an obstacle to optimization by gradient descent methods. In this work, we prove that reducing the dimensionality of the parameter space by utilizing circuit modules containing spatially or temporally correlated gate layers can allow one to circumvent the vanishing gradient phenomenon. Examples are drawn from random separable circuits and asymptotically optimal variational versions of Grover's algorithm based on the quantum alternating operator ansatz (QAOA). In the latter scenario, our bounds on cost function variation imply a transition between vanishing gradients and efficient trainability as the number of layers is increased toward $\mathcal{O}(2^{n/2})$, the optimal oracle complexity of quantum unstructured search.


title: Black Hole Spin Energy Contribution to Black Hole Mass and the Spin Energy Reservoir

abstract: The mass of a black hole is the sum of the irreducible mass and the mass associated with the rotational or spin energy of the black hole. The contribution of spin energy (divided by $c^2$) to the total black hole mass is studied here for four samples of sources including 576 LINERs, 100 classical double radio sources, 80 relatively local AGN, and 102 measurements of four stellar mass X-ray binary systems. The spin mass-energy of a black hole may be extracted causing the mass of the black hole to decrease. The ratio of spin mass-energy to black hole mass ranges from about ten to thirty percent for the sources studied here, where the maximum possible value of this quantity is close to thirty percent. Typical fractions of the black hole mass available for extraction for the samples studied are about $0.2 \pm 0.1$. The spin energy of black holes represents a major reservoir that when tapped may impact the immediate and extended black hole environment, decrease the black hole mass, and perhaps modify relationships between black hole mass and galaxy properties. These results are consistent with expectations based on other observations and numerical simulations.


title: Supercritical deformed Hermitian-Yang-Mills equation

abstract: In this paper, we provide a necessary and sufficient condition for the solvability of the supercritical deformed Hermitian-Yang-Mills equation using integrals on subvarieties. This result confirms the mirror version of the Thomas-Yau conjecture about special Lagrangian submanifolds on Calabi-Yau manifolds.


title: Oscillations of a suspended slinky

abstract: This paper discusses the oscillations of a spring (slinky) under its own weight. A discrete model, describing the slinky by $N$ springs and $N$ masses, is introduced and compared to a continuous treatment. One interesting result is that the upper part of the slinky performs a triangular oscillation whereas the bottom part performs an almost harmonic oscillation if the slinky starts with "natural" initial conditions, where the spring is just pulled further down from its rest position under gravity and then released. It is also shown that the period of the oscillation is simply given by $T=\sqrt{32 L/g}$, where $L$ is the length of the slinky under its own weight and $g$ the acceleration of gravity independent of the other properties of the spring.


title: The Polish topology of the isometry group of the infinite dimensional hyperbolic space

abstract: We consider the isometry group of the infinite dimensional separable hyperbolic space with its Polish topology. This topology is given by the pointwise convergence. For non-locally compact Polish groups, some striking phenomena like automatic continuity or extreme amenability may happen. Our leading idea is to compare this topological group with usual Lie groups on one side and with non-Archimedean infinite dimensional groups like $\mathcal{S}_\infty$, the group of all permutations of a countable set on the other side. Our main results are Automatic continuity (any homomorphism to a separable group is continuous), minimality of the Polish topology, identification of its universal Furstenberg boundary as the closed unit ball of a separable Hilbert space with its weak topology, identification of its universal minimal flow as the completion of some suspension of the action of the additive group of the reals on its universal minimal flow. All along the text, we lead a parallel study with the sibling group of isometries of a separable Hilbert space.


title: Quantum confinement of Dirac quasiparticles in graphene patterned with subnanometer precision

abstract: Quantum confinement of graphene Dirac-like electrons in artificially crafted nanometer structures is a long sought goal that would provide a strategy to selectively tune the electronic properties of graphene, including bandgap opening or quantization of energy levels However, creating confining structures with nanometer precision in shape, size and location, remains as an experimental challenge, both for top-down and bottom-up approaches. Moreover, Klein tunneling, offering an escape route to graphene electrons, limits the efficiency of electrostatic confinement. Here, a scanning tunneling microscope (STM) is used to create graphene nanopatterns, with sub-nanometer precision, by the collective manipulation of a large number of H atoms. Individual graphene nanostructures are built at selected locations, with predetermined orientations and shapes, and with dimensions going all the way from 2 nanometers up to 1 micron. The method permits to erase and rebuild the patterns at will, and it can be implemented on different graphene substrates. STM experiments demonstrate that such graphene nanostructures confine very efficiently graphene Dirac quasiparticles, both in zero and one dimensional structures. In graphene quantum dots, perfectly defined energy band gaps up to 0.8 eV are found, that scale as the inverse of the dots linear dimension, as expected for massless Dirac fermions


title: Generator and Critic: A Deep Reinforcement Learning Approach for Slate Re-ranking in E-commerce

abstract: The slate re-ranking problem considers the mutual influences between items to improve user satisfaction in e-commerce, compared with the point-wise ranking. Previous works either directly rank items by an end to end model, or rank items by a score function that trades-off the point-wise score and the diversity between items. However, there are two main existing challenges that are not well studied: (1) the evaluation of the slate is hard due to the complex mutual influences between items of one slate; (2) even given the optimal evaluation, searching the optimal slate is challenging as the action space is exponentially large. In this paper, we present a novel Generator and Critic slate re-ranking approach, where the Critic evaluates the slate and the Generator ranks the items by the reinforcement learning approach. We propose a Full Slate Critic (FSC) model that considers the real impressed items and avoids the impressed bias of existing models. For the Generator, to tackle the problem of large action space, we propose a new exploration reinforcement learning algorithm, called PPO-Exploration. Experimental results show that the FSC model significantly outperforms the state of the art slate evaluation methods, and the PPO-Exploration algorithm outperforms the existing reinforcement learning methods substantially. The Generator and Critic approach improves both the slate efficiency(4% gmv and 5% number of orders) and diversity in live experiments on one of the largest e-commerce websites in the world.


title: Scattering Observables from One- and Two-Body Densities: Formalism and Application to $\gamma\,{}^3$He Scattering

abstract: We introduce the transition-density formalism, an efficient and general method for calculating the interaction of external probes with light nuclei. One- and two-body transition densities that encode the nuclear structure of the target are evaluated once and stored. They are then convoluted with an interaction kernel to produce amplitudes, and hence observables. By choosing different kernels, the same densities can be used for any reaction in which a probe interacts perturbatively with the target. The method therefore exploits the factorisation between nuclear structure and interaction kernel that occurs in such processes. We study in detail the convergence in the number of partial waves for matrix elements relevant in elastic Compton scattering on $^3$He. The results are fully consistent with our previous calculations in Chiral Effective Field Theory. But the new approach is markedly more computationally efficient, which facilitates the inclusion of more partial-wave channels in the calculation. We also discuss the usefulness of the transition-density method for other nuclei and reactions. Calculations of elastic Compton scattering on heavier targets like $^4$He are straightforward extensions of this study, since the same interaction kernels are used. And the generality of the formalism means that our $^3$He densities can be used to evaluate any $^3$He elastic-scattering observable with contributions from one- and two-body operators. They are available at https://datapub.fz-juelich.de/anogga.


title: Soliton Resolution for the Short-pluse Equation

abstract: In this paper, we study the Cauchy problem for the focusing nonlinear short-pluse equation by using $\overline\partial$ steepest descent method. \begin{align} &u_{xt}=u+\frac{1}{6}(u^3)_{xx}, \nonumber\\ &u(x,0)=u_0(x)\in H^{1,1}(R),\nonumber \end{align} where $H^{1,1}(R)$ is a weighted Sobolev space. Because the spectral variable z is the same order in the WKI-type Lax pair, we construct the solution of SP equation in the new scale $(y,t)$, whereas the original scale $(x,t)$ is given in terms of functions in the new scale and the solution of Riemann-Hilbert problem. In any fixed space-time cone of the new scale $(y,t)$ which stratify that $v_1\leq v_1 \in R^-$ and $\xi=\frac{y}{t}<0$, \begin{equation} C(y_1,y_2,v_1,v_2) = \left\lbrace (y,t) \in R^2|y=y_0+vt, y_0 \in[y_1,y_2]\text{, } v\in[v_1,v_2]\right\rbrace, \nonumber \end{equation} we compute the long time asymptotic expansion of the solution $u(x,t)$, which prove soliton resolution conjecture consisting of three terms: the leading order term can be characterized with an $N(I)$-soliton whose parameters are modulated by a sum of localied soliton-soliton interactions as one moves through the cone; the second $t^{-1/2}$ order term coming from soliton-radiation interactions on continuous spectrum up to an residual error order $\mathcal{O}(|t|^{-1})$ from a $\overline\partial$ equation. Our results also show that soliton solutions of short-pluse equation are asymptotically stable.


title: JSSR: A Joint Synthesis, Segmentation, and Registration System for 3D Multi-Modal Image Alignment of Large-scale Pathological CT Scans

abstract: Multi-modal image registration is a challenging problem that is also an important clinical task for many real applications and scenarios. As a first step in analysis, deformable registration among different image modalities is often required in order to provide complementary visual information. During registration, semantic information is key to match homologous points and pixels. Nevertheless, many conventional registration methods are incapable in capturing high-level semantic anatomical dense correspondences. In this work, we propose a novel multi-task learning system, JSSR, based on an end-to-end 3D convolutional neural network that is composed of a generator, a registration and a segmentation component. The system is optimized to satisfy the implicit constraints between different tasks in an unsupervised manner. It first synthesizes the source domain images into the target domain, then an intra-modal registration is applied on the synthesized images and target images. The segmentation module are then applied on the synthesized and target images, providing additional cues based on semantic correspondences. The supervision from another fully-annotated dataset is used to regularize the segmentation. We extensively evaluate JSSR on a large-scale medical image dataset containing 1,485 patient CT imaging studies of four different contrast phases (i.e., 5,940 3D CT scans with pathological livers) on the registration, segmentation and synthesis tasks. The performance is improved after joint training on the registration and segmentation tasks by 0.9% and 1.9% respectively compared to a highly competitive and accurate deep learning baseline. The registration also consistently outperforms conventional state-of-the-art multi-modal registration methods.


title: How Useful are Reviews for Recommendation? A Critical Review and Potential Improvements

abstract: We investigate a growing body of work that seeks to improve recommender systems through the use of review text. Generally, these papers argue that since reviews 'explain' users' opinions, they ought to be useful to infer the underlying dimensions that predict ratings or purchases. Schemes to incorporate reviews range from simple regularizers to neural network approaches. Our initial findings reveal several discrepancies in reported results, partly due to (e.g.) copying results across papers despite changes in experimental settings or data pre-processing. First, we attempt a comprehensive analysis to resolve these ambiguities. Further investigation calls for discussion on a much larger problem about the "importance" of user reviews for recommendation. Through a wide range of experiments, we observe several cases where state-of-the-art methods fail to outperform existing baselines, especially as we deviate from a few narrowly-defined settings where reviews are useful. We conclude by providing hypotheses for our observations, that seek to characterize under what conditions reviews are likely to be helpful. Through this work, we aim to evaluate the direction in which the field is progressing and encourage robust empirical evaluation.


title: Minimal permutation representations for ${\rm GL}_2(\mathbb F_q)$

abstract: In this paper we determine all minimal permutation representations of ${\rm GL}_2(\mathbb F_q)$.


title: Solitons and Instantons in the inverse {\phi}4 theory of critical phenomena. A proposal for the violation of causality of tachyonic field

abstract: We investigate about the existence of static solitons solutions in the inverse G-L free energy in phase transitions of {\phi}4 theory. We calculate all the characteristics of these solitons , like localized structure, finite energy and mass . We show that solitons appears in spontaneous symmetry breaking (SSB) phenomenon only if the critical point is in excited state. When the time is introduced we shown that the static solitons of SSB remain as solitons in Minkowski space-time while the static solitons of inverse G-L free energy converted to instantons in Euclidean space. The violation of causality which appears in the tachyonic field could be faced passing from Minkowski solitons to Euclidean instantons.


title: Beyond the Petermann limit: can exceptional points increase sensor precision?

abstract: Experiments near the lock-in region in maximally dissipative non-Hermitian systems, e.g., conventional laser gyroscopes near the deadband, have run up against the Petermann limit, where excess noise exactly cancels any scale-factor enhancement resulting in no overall enhancement in precision. As a result, one might be tempted to conclude that exceptional points (EPs) generally cannot be used to increase the precision of laser sensors. Indeed, using a linear eigenmode analysis we show that the Petermann limit applies not just to maximally dissipative systems, but for any type of EP, owing to the fact that EPs are rotationally invariant. It turns out, however, that this restriction comes from the assumption of linearity. We find that nonlinearity breaks the rotation symmetry such that the different types of EPs are no longer equivalent above threshold. In particular, for sufficiently high measurement frequencies, EPs in conservatively coupled systems having a saturation imbalance can lead to an increase in the fundamental precision beyond the Petermann limit. Importantly, we find that only one mode lases under these conditions. We show that the beat note can be recovered by interference with an auxiliary mode, but that this has consequences for the quantum and classical noise that depend on the recovery scheme. Thus, it remains to be seen whether practical experiments can be designed that can take advantage of this enhancement.


title: Passivity-based distributed acquisition and station-keeping control of a satellite constellation in areostationary orbit

abstract: We present a distributed control law to assemble a cluster of satellites into an equally-spaced, planar constellation in a desired circular orbit about a planet. We assume each satellite only uses local information, transmitted through communication links with neighboring satellites. The same control law is used to maintain relative angular positions in the presence of disturbance forces. The stability of the constellation in the desired orbit is proved using a compositional approach. We first show the existence and uniqueness of an equilibrium of the interconnected system. We then certify each satellite and communication link is equilibrium-independent passive with respective storage functions. By leveraging the skew symmetric coupling structure of the constellation and the equilibrium-independent passivity property of each subsystem, we show that the equilibrium of the interconnected system is stable with a Lyapunov function composed of the individual subsystem storage functions. We further prove that the angular velocity of each satellite converges to the desired value necessary to maintain circular, areostationary orbit. Finally, we present simulation results to demonstrate the efficacy of the proposed control law in acquisition and station-keeping of an equally-spaced satellite constellation in areostationary orbit despite the presence of unmodeled disturbance forces.


title: Piggybacking on Quantum Streams

abstract: This paper shows that it is possible to piggyback classical information on a stream of qubits protected by quantum error correcting codes. The piggyback channel can be created by introducing intentional errors corresponding to a controlled sequence of syndromes. These syndromes are further protected, when quantum noise is present, by classical error correcting codes according to a performance-delay trade-off. Classical information can thus be added and extracted at arbitrary epochs without consuming additional quantum resources and without disturbing the quantum stream.


title: Conformal Unification in a Quiver Theory and Gravitational Waves

abstract: The detection of a stochastic background of gravitational waves can reveal details about first-order phase transitions (FOPTs) at a time of $10^{-13}s$ of the early universe. We specifically discuss quiver-type GUTs which avoid both proton decay and a desert hypothesis. A quiver based on $SU(3)^{12}$ which breaks at a $E=4000$ GeV to trinification $SU(3)^3$ has a much larger ($g_*=1,272$) number of effective massless degrees of freedom than the Standard Model. Assuming a FOPT for this model we investigate the strain sensitivity of this model for a wide range of FOPT parameters.


title: Directed, elliptic and higher order flow harmonics of protons, deuterons and tritons in Au+Au collisions at $\sqrt{s_{NN}} = 2.4$ GeV

abstract: Flow coefficients $v_{n}$ of the orders $n = 1 - 6$ are measured with the High-Acceptance DiElectron Spectrometer (HADES) at GSI for protons, deuterons and tritons as a function of centrality, transverse momentum and rapidity in Au+Au collisions at $\sqrt{s_{NN}} = 2.4$ GeV. Combining the information from the flow coefficients of all orders allows to construct for the first time, at collision energies of a few GeV, a multi-differential picture of the angular emission pattern of these particles. It reflects the complicated interplay between the effect of the central fireball pressure on the emission of particles and their subsequent interaction with spectator matter. The high precision information on higher order flow coefficients is a major step forward in constraining the equation-of-state of dense baryonic matter.


title: User behavior and token adoption on ERC20

abstract: Cryptocurrencies and Blockchain-based technologies are disrupting all markets. While the potential of such technologies remains to be seen, there is a current need to understand emergent patterns of user behavior and token adoption in order to design future products. In this paper we analyze the social dynamics taking place during one arbitrary day on the ERC20 platform. We characterize the network of token transactions among agents. We show heterogeneous profiles of user behavior, portfolio diversity, and token adoption. While most users are specialized in transacting with a few tokens, those that have diverse portfolios are bridging across large parts of the network and may jeopardize the system stability. We believe this work to be a foundation for unveiling the usage dynamics of crypto-currencies networks.


title: Robin fractional problems with symmetric variable growth

abstract: In this paper we study the fractional p(., .)-Laplacian and we introduce the corresponding nonlocal conormal derivative for this operator. We prove basic properties of the corresponding function space and we establish a nonlocal version of the divergence theorem for such operators. In the second part of this paper, we prove the existence of weak solutions of corresponding p(., .)-Robin boundary problems with sign-changing potentials by applying variational tools.


title: An ab-initio study of circular photogalvanic effect in chiral multifold semimetals

abstract: So far, the circular photogalvanic effect (CPGE) is the only possible quantized signal in Weyl semimetals. With inversion and mirror symmetries broken, Weyl and multifold fermions in band structures with opposite chiralities can stay at different energies and generate a net topological charge. Such kind of net topological charge can present as a quantized signal in the circular polarized light induced injection current. According to current theoretical understanding, RhSi and its counterparts are believed to be the most promising candidate for the experimental observation of the quantized CPGE. However, the real quantized signal was not experimentally observed to date. Since all the previous theoretical studies for the quantized CPGE were based on effective model but not realistic band structures, it should lose some crucial details that influence the quantized signal. The current status motives us to perform a realistic ab-initio study for the CPGE. Our result shows that the quantized value is very easy to be interfered by trivial bands related optic transitions, and an fine tuning of the chemical potential by doping is essential for the observation of quantized CPGE. This work performs the first ab-initio analysis for the quantized CPGE based on realistic electronic band structure and provides an effective way to solve the current problem for given materials.


title: On the properties of methanolic NaCl solution by molecular dynamics simulations

abstract: Isothermal-isobaric molecular dynamics simulations are used to examine the microscopic structure and principal thermodynamic properties of a model solution consisting of NaCl salt dissolved in methanol solvent. Four united atom force fields for methanol are involved. Concerning ion solutes we used the Joung-Cheatham, Smith-Dang models as well as the model from the laboratory of Vrabec. Our principal focus is to evaluate the quality of predictions of different combinations of models for basic properties of these solutions. Specifically, we explored the change of density on molality, the structural properties in terms of various pair distribution functions, the coordination numbers, the number of ion pairs and the average number of hydrogen bonds. In addition, changes of the self-diffusion coefficients of species, the solvent dielectric constant and the evolution of the surface tension with ion concentration are described.


title: Extended reionization in models beyond $\Lambda$CDM with Planck 2018 data

abstract: We provide an update on the constraints on extended reionization histories with the Planck 2018 cosmic microwave background anisotropy data. The Planck 2018 data on large angular scales improve the measurement of the $E$-mode polarization reionization bump at low multipoles providing the possibility to improve our previous results. Using a minor modification to the original Poly-reion model for the reionization history, we find that the Planck 2018 data significantly improve all our previous results: we find as optical depth of $\tau=0.0572_{-0.0075}^{+0.0064}$ at 68% CL, that early onsets of reionization are strongly disfavoured, i.e. redshift when the reionization begins, $z_{xe=0}=18.18_{-10.89}^{+1.61}$ at 68% CL,and that reionization duration (defined between 10% and 99% reionization) is significantly reduced, i.e. $\Delta_z^{Reion}=4.59_{-2.45}^{+1.67}$ at 68% CL. We explore possible correlations between reionization histories and cosmological parameters, including important extensions beyond $\Lambda$CDM. We find that the degeneracy between reionization and scalar spectral index,neutrino mass sum, spatial curvature, dark matter annihilation and other non-standard models are significantly reduced.The reduction of the error bars and the degeneracies, together with the shift towards lower values of the optical depth that we observe in the Poly-reion model are mainly driven by the new low-$\ell$ polarization likelihood of Planck 2018 baseline based on the HFI data. This is confirmed also by the results derived without this likelihood and the ones with different alternatives to the baseline that are presented for a subset of models.


title: Mapping properties of fundamental harmonic analysis operators in the exotic Bessel framework

abstract: We prove sharp power-weighted $L^p$, weak type and restricted weak type inequalities for the heat semigroup maximal operator and Riesz transforms associated with the Bessel operator $B_{\nu}$ in the exotic range of the parameter $-\infty < \nu < 1$. Moreover, in the same framework, we characterize basic mapping properties for other fundamental harmonic analysis operators, including the heat semigroup based vertical $g$-function and fractional integrals (Riesz potential operators).


title: Cubic interactions of arbitrary spin fields in 3d flat space

abstract: Using light-cone gauge formulation, massive arbitrary spin irreducible fields and massless (scalar and one-half spin) fields in three-dimensional flat space are considered. Both the integer spin and half-integer spin fields are studied. For such fields, we provide classification for cubic interactions and obtain explicit expressions for all cubic interaction vertices. We study two forms of the cubic interaction vertices which we refer to as first-derivative form and higher-derivative form. All cubic interaction vertices are built by using the first-derivative form.


title: An alternative to synthetic control for models with many covariates under sparsity

abstract: The synthetic control method is a an econometric tool to evaluate causal effects when only one unit is treated. While initially aimed at evaluating the effect of large-scale macroeconomic changes with very few available control units, it has increasingly been used in place of more well-known microeconometric tools in a broad range of applications, but its properties in this context are unknown. This paper introduces an alternative to the synthetic control method, which is developed both in the usual asymptotic framework and in the high-dimensional scenario. We propose an estimator of average treatment effect that is doubly robust, consistent and asymptotically normal. It is also immunized against first-step selection mistakes. We illustrate these properties using Monte Carlo simulations and applications to both standard and potentially high-dimensional settings, and offer a comparison with the synthetic control method.


title: Optimal assignment of collaborating agents in multi-body asset-guarding games

abstract: We study a multi-body asset-guarding game in missile defense where teams of interceptor missiles collaborate to defend a non-manuevering asset against a group of threat missiles. We approach the problem in two steps. We first formulate an assignment problem where we optimally assign subsets of collaborating interceptors to each threat so that all threats are intercepted as far away from the asset as possible. We assume that each interceptor is controlled by a collaborative guidance law derived from linear quadratic dynamic games. Our results include a 6-DOF simulation of a 5-interceptor versus 3-threat missile engagement where each agent is modeled as a missile airframe controlled by an autopilot. Despite the assumption of linear dynamics in our collaborative guidance law and the unmodeled dynamics in the simulation environment (e.g., varying density and gravity), we show that the simulated trajectories match well with those predicted by our approach. Furthermore, we show that a more agile threat, with greater speed and acceleration, can be intercepted by inferior interceptors when they collaborate. We believe the concepts introduced in this paper may be applied in asymmetric missile defense scenarios, including defense against advanced cruise missiles and hypersonic vehicles.


title: Keyed Non-Parametric Hypothesis Tests

abstract: The recent popularity of machine learning calls for a deeper understanding of AI security. Amongst the numerous AI threats published so far, poisoning attacks currently attract considerable attention. In a poisoning attack the opponent partially tampers the dataset used for learning to mislead the classifier during the testing phase. This paper proposes a new protection strategy against poisoning attacks. The technique relies on a new primitive called keyed non-parametric hypothesis tests allowing to evaluate under adversarial conditions the training input's conformance with a previously learned distribution $\mathfrak{D}$. To do so we use a secret key $\kappa$ unknown to the opponent. Keyed non-parametric hypothesis tests differs from classical tests in that the secrecy of $\kappa$ prevents the opponent from misleading the keyed test into concluding that a (significantly) tampered dataset belongs to $\mathfrak{D}$.


title: On a Gravity Dual to Flavored Topological Quantum Mechanics

abstract: In this paper, we propose a generalization of the $\mathrm{AdS_2/CFT_1}$ correspondence constructed by Mezei, Pufu and Wang in \cite{MezeiPufuWang}, which is the duality between 2d Yang-Mills theory with higher derivatives in the $\mathrm{AdS}_2$ background, and 1d topological quantum mechanics of two adjoint and two fundamental $\mathrm{U}(N)$ fields, governing certain protected sector of operators in 3d ABJM theory at the Chern-Simons level $k = 1$. We construct a holographic dual to a flavored generalization of the 1d quantum mechanics considered in \cite{MezeiPufuWang}, which arises as the effective field theory living on the intersection of stacks of $N$ D2-branes and $k$ D6-branes in the $\Omega$-background in Type IIA string theory, and describes the dynamics of the protected sector of operators in $\mathcal{N} = 4$ theory with $k$ fundamental hypermultiplets, having a holographic description as M-theory in the $\mathrm{AdS}_4 \times \mathrm{S}^7/\mathbb{Z}_k$ background. We compute the structure constants of the bulk theory gauge group, and construct a map between the observables of the boundary theory and the fields of the bulk theory.


title: Symbolic coding of linear complexity for generic translations of the torus, using continued fractions

abstract: In this paper, we prove that almost every translation of $\mathbb{T}^2$ admits a symbolic coding which has linear complexity $2n+1$. The partitions are constructed with Rauzy fractals associated with sequences of substitutions, which are produced by a particular extended continued fraction algorithm in projective dimension $2$. More generally, in dimension $d\geq 1$, we study extended measured continued fraction algorithms, which associate to each direction a subshift generated by substitutions, called $S$-adic subshift. We give some conditions which imply the existence, for almost every direction, of a translation of the torus $\mathbb{T}^d$ and a nice generating partition, such that the associated coding is a conjugacy with the subshift.


title: Speaker and Posture Classification using Instantaneous Intraspeech Breathing Features

abstract: Acoustic features extracted from speech are widely used in problems such as biometric speaker identification and first-person activity detection. However, the use of speech for such purposes raises privacy issues as the content is accessible to the processing party. In this work, we propose a method for speaker and posture classification using intraspeech breathing sounds. Instantaneous magnitude features are extracted using the Hilbert-Huang transform (HHT) and fed into a CNN-GRU network for classification of recordings from the open intraspeech breathing sound dataset, BreathBase, that we collected for this study. Using intraspeech breathing sounds, 87% speaker classification, and 98% posture classification accuracy were obtained.


title: Quantum jump approach to microscopic heat engines

abstract: Modern technologies could soon make it possible to investigate the operation cycles of quantum heat engines by counting the photons that are emitted and absorbed by their working systems. Using the quantum jump approach to open-system dynamics, we show that such experiments would give access to a set of observables that determine the trade-off between power and efficiency in finite-time engine cycles. By analyzing the single-jump statistics of thermodynamic fluxes such as heat and entropy production, we obtain a family of general bounds on the power of microscopic heat engines. Our new bounds unify two earlier results and admit a transparent physical interpretation in terms of single-photon measurements. In addition, these bounds confirm that driving-induced coherence leads to an increase in dissipation that suppresses the efficiency of slowly driven quantum engines in the weak-coupling regime. A nanoscale heat engine based on a superconducting qubit serves as an experimentally relevant example and a guiding paradigm for the development of our theory.


title: Verification of the IBOS Browser Security Properties in Reachability Logic

abstract: This paper presents a rewriting logic specification of the Illinois Browser Operating System (IBOS) and defines several security properties, including the same-origin policy (SOP) in reachability logic. It shows how these properties can be deductively verified using our constructor-based reachability logic theorem prover. This paper also highlights the reasoning techniques used in the proof and three modularity principles that have been crucial to scale up and complete the verification effort.


title: Finite Point Configurations and the Regular Value Theorem in a Fractal setting

abstract: In this article, we study two problems concerning the size of the set of finite point configurations generated by a compact set $E\subset \mathbb{R}^d$. The first problem concerns how the Lebesgue measure or the Hausdorff dimension of the finite point configuration set depends on that of $E$. In particular, we show that if a planar set has dimension exceeding $\frac{5}{4}$, then there exists a point $x\in E$ so that for each integer $k\geq2$, the set of "$k$-chains" with initial point at $x$ has positive Lebesgue measure. The second problem is a continuous analogue of the Erd\H{o}s unit distance problem, which aims to determine the maximum number of times a point configuration with prescribed gaps can appear in $E$. For instance, given a triangle with prescribed sides and given a sufficiently regular planar set $E$ with Hausdorff dimension no less than $\frac{7}{4}$, we show that the dimension of the set of vertices in $E$ forming said triangle does not exceed $3\,\dim_{\mathcal{H}} (E)-3$. In addition to the Euclidean norm, we consider more general distances given by functions satisfying the so-called Phong-Stein rotational curvature condition. We also explore a number of examples to demonstrate the extent to which our results are sharp.


title: Emission-aware Energy Storage Scheduling for a Greener Grid

abstract: Reducing our reliance on carbon-intensive energy sources is vital for reducing the carbon footprint of the electric grid. Although the grid is seeing increasing deployments of clean, renewable sources of energy, a significant portion of the grid demand is still met using traditional carbon-intensive energy sources. In this paper, we study the problem of using energy storage deployed in the grid to reduce the grid's carbon emissions. While energy storage has previously been used for grid optimizations such as peak shaving and smoothing intermittent sources, our insight is to use distributed storage to enable utilities to reduce their reliance on their less efficient and most carbon-intensive power plants and thereby reduce their overall emission footprint. We formulate the problem of emission-aware scheduling of distributed energy storage as an optimization problem, and use a robust optimization approach that is well-suited for handling the uncertainty in load predictions, especially in the presence of intermittent renewables such as solar and wind. We evaluate our approach using a state of the art neural network load forecasting technique and real load traces from a distribution grid with 1,341 homes. Our results show a reduction of >0.5 million kg in annual carbon emissions -- equivalent to a drop of 23.3% in our electric grid emissions.


title: Dynamic Compression Ratio Selection for Edge Inference Systems with Hard Deadlines

abstract: Implementing machine learning algorithms on Internet of things (IoT) devices has become essential for emerging applications, such as autonomous driving, environment monitoring. But the limitations of computation capability and energy consumption make it difficult to run complex machine learning algorithms on IoT devices, especially when latency deadline exists. One solution is to offload the computation intensive tasks to the edge server. However, the wireless uploading of the raw data is time consuming and may lead to deadline violation. To reduce the communication cost, lossy data compression can be exploited for inference tasks, but may bring more erroneous inference results. In this paper, we propose a dynamic compression ratio selection scheme for edge inference system with hard deadlines. The key idea is to balance the tradeoff between communication cost and inference accuracy. By dynamically selecting the optimal compression ratio with the remaining deadline budgets for queued tasks, more tasks can be timely completed with correct inference under limited communication resources. Furthermore, information augmentation that retransmits less compressed data of task with erroneous inference, is proposed to enhance the accuracy performance. While it is often hard to know the correctness of inference, we use uncertainty to estimate the confidence of the inference, and based on that, jointly optimize the information augmentation and compression ratio selection. Lastly, considering the wireless transmission errors, we further design a retransmission scheme to reduce performance degradation due to packet losses. Simulation results show the performance of the proposed schemes under different deadlines and task arrival rates.