title: Recorp: Receiver-Oriented Policies for Industrial Wireless Networks

abstract: Future Industrial Internet-of-Things (IIoT) systems will require wireless solutions to connect sensors, actuators, and controllers as part of high data rate feedback-control loops over real-time flows. A key challenge in such networks is to provide predictable performance and adaptability in response to link quality variations. We address this challenge by developing RECeiver ORiented Policies (Recorp), which leverages the stability of IIoT workloads by combining offline policy synthesis and run-time adaptation. Compared to schedules that service a single flow in a slot, Recorp policies share slots among multiple flows by assigning a coordinator and a list of flows that may be serviced in the same slot. At run-time, the coordinator will execute one of the flows depending on which flows the coordinator has already received. A salient feature of Recorp is that it provides predictable performance: a policy meets the end-to-end reliability and deadline of flows when the link quality exceeds a user-specified threshold. Experiments show that across IIoT workloads, policies provided a median increase of 50% to 142% in real-time capacity and a median decrease of 27% to 70% in worst-case latency when schedules and policies are configured to meet an end-to-end reliability of 99%.


title: Adaptive multi-channel event segmentation and feature extraction for monitoring health outcomes

abstract: $\textbf{Objective}$: To develop a multi-channel device event segmentation and feature extraction algorithm that is robust to changes in data distribution. $\textbf{Methods}$: We introduce an adaptive transfer learning algorithm to classify and segment events from non-stationary multi-channel temporal data. Using a multivariate hidden Markov model (HMM) and Fisher's linear discriminant analysis (FLDA) the algorithm adaptively adjusts to shifts in distribution over time. The proposed algorithm is unsupervised and learns to label events without requiring $\textit{a priori}$ information about true event states. The procedure is illustrated on experimental data collected from a cohort in a human viral challenge (HVC) study, where certain subjects have disrupted wake and sleep patterns after exposure to a H1N1 influenza pathogen. $\textbf{Results}$: Simulations establish that the proposed adaptive algorithm significantly outperforms other event classification methods. When applied to early time points in the HVC data the algorithm extracts sleep/wake features that are predictive of both infection and infection onset time. $\textbf{Conclusion}$: The proposed transfer learning event segmentation method is robust to temporal shifts in data distribution and can be used to produce highly discriminative event-labeled features for health monitoring. $\textbf{Significance}$: Our integrated multisensor signal processing and transfer learning method is applicable to many ambulatory monitoring applications.


title: Seshadri constants on principally polarized abelian surfaces with real multiplication

abstract: Seshadri constants on abelian surfaces are fully understood in the case of Picard number one. Little is known so far for simple abelian surfaces of higher Picard number. In this paper we investigate principally polarized abelian surfaces with real multiplication. They are of Picard number two and might be considered the next natural case to be studied. The challenge is to not only determine the Seshadri constants of individual line bundles, but to understand the whole \emph{Seshadri function} on these surfaces. Our results show on the one hand that this function is surprisingly complex: On surfaces with real multiplication in $\mathbb Z[\sqrt e]$ it consists of linear segments that are never adjacent to each other -- it behaves like the Cantor function. On the other hand, we prove that the Seshadri function it is invariant under an infinite group of automorphisms, which shows that it does have interesting regular behavior globally.


title: Simultaneous input & state estimation, singular filtering and stability

abstract: Input estimation is a signal processing technique associated with deconvolution of measured signals after filtering through a known dynamic system. Kitanidis and others extended this to the simultaneous estimation of the input signal and the state of the intervening system. This is normally posed as a special least-squares estimation problem with unbiasedness. The approach has application in signal analysis and in control. Despite the connection to optimal estimation, the standard algorithms are not necessarily stable, leading to a number of recent papers which present sufficient conditions for stability. In this paper we complete these stability results in two ways in the time-invariant case: for the square case, where the number of measurements equals the number of unknown inputs, we establish exactly the location of the algorithm poles; for the non-square case, we show that the best sufficient conditions are also necessary. We then draw on our previous results interpreting these algorithms, when stable, as singular Kalman filters to advocate a direct, guaranteed stable implementation via Kalman filtering. This has the advantage of clarity and flexibility in addition to stability. En route, we decipher the existing algorithms in terms of system inversion and successive singular filtering. The stability results are extended to the time-varying case directly to recover the earlier sufficient conditions for stability via the Riccati difference equation.


title: Stochastic scattering theory for excitation induced dephasing: Comparison to the Anderson-Kubo lineshape

abstract: In this paper we present a quantum stochastic model for spectroscopic line-shapes in the presence of a co-evolving and non-stationary background population of excitations. Starting from a field theory description for interacting bosonic excitons, we derive a reduced model whereby optical excitons are coupled to an incoherent background via scattering as mediated by their screened Coulomb coupling. The Heisenberg equations of motion for the optical excitons are then driven by an auxiliary stochastic population variable, which we take to be the solution of an Ornstein-Uhlenbeck process. It\^o's Lemma then allows us to easily construct and evaluate correlation functions and response functions. Focusing on the linear response, we compare our model to the classic Anderson-Kubo model. While similar in motivation, there are profound differences in the predicted lineshapes, notably in terms of asymmetry, and variation with increasing background population.


abstract: We study Lelong numbers of currents of full mass intersection on a compact Kaehler manifold in a mixed setting. Our main theorems cover some recent results due to Darvas-Di Nezza-Lu. One of the key ingredients in our approach is a new notion of products of pseudoeffective classes which captures some "pluripolar part" of the "total intersection" of given pseudoeffective classes.


title: A trajectorial approach to the gradient flow properties of Langevin-Smoluchowski diffusions

abstract: We revisit the variational characterization of conservative diffusion as entropic gradient flow and provide for it a probabilistic interpretation based on stochastic calculus. It was shown by Jordan, Kinderlehrer, and Otto that, for diffusions of Langevin-Smoluchowski type, the Fokker-Planck probability density flow maximizes the rate of relative entropy dissipation, as measured by the distance traveled in the ambient space of probability measures with finite second moments, in terms of the quadratic Wasserstein metric. We obtain novel, stochastic-process versions of these features, valid along almost every trajectory of the diffusive motion in the backward direction of time, using a very direct perturbation analysis. By averaging our trajectorial results with respect to the underlying measure on path space, we establish the maximal rate of entropy dissipation along the Fokker-Planck flow and measure exactly the deviation from this maximum that corresponds to any given perturbation. As a bonus of our trajectorial approach we derive the HWI inequality relating relative entropy (H), Wasserstein distance (W) and relative Fisher information (I).


title: Invariant measure for 2D stochastic Cahn-Hilliard-Navier-Stokes equations

abstract: Using the Maslowski and Seidler method, the existence of invariant measure for 2-dimensional stochastic Cahn-Hilliard-Navier-Stokes equations with multiplicative noise is proved in state space $L_x^2\times H^1$, working with the weak topology. Also, the existence of global pathwise solution is investigated using the stochastic compactness argument.


title: Interplanetary Radio Emission: A Summary of Recent Results

abstract: This paper summarizes some recent results in the low-frequency radio physics of the Sun. The spatial domain covers the space from the outer corona to the orbit of Earth. The results obtained make use of radio dynamic spectra and white-light coronagraph images and involve radio bursts associated with solar eruptions and those occurring outside solar eruptions. In particular, the connection between type II radio bursts and the sustained gamma-ray emission from the Sun is highlighted. The directivity of interplanetary type IV bursts found recently is discussed to understand the physical reason behind it. A new event showing the diffuse interplanetary radio emission (DIRE) is introduced and its properties are compared with those of regular type II bursts. The DIRE is from the flanks of a CME-driven shock propagating through nearby streamer. Finally, a new noise storm observed by two spacecraft is briefly discussed to highlight its evolution over two solar rotations including the disruption and recovery by solar eruptions.


title: Dark photon search with a gyrotron and a transition edge sensor

abstract: A dark photon, one of the candidates of light dark matter, will be searched around 0.1 meV range by using a gyrotron. The use of a Transition Edge Sensor is the key of this experiment and the expected result is promising. This search will pave a way to future axion search using similar instruments.

categories: hep-ex astro-ph.IM hep-ph physics.ins-det


title: On the problem of modeling the boat wake climate; the Florida intracoastal waterway

abstract: The impact of boat traffic on the health of coastal ecosystems is a multi-scale process: from minutes (individual wakes) to days (tidal modulation of sediment transport), to seasons and years (traffic is seasonal). A considerable numerical effort, notwithstanding the value of a boat-by-boat numerical modeling approach, is questionable, because of the practical impossibility of specifying the exact type and navigation characteristics for every boat comprising the traffic at any given time. Here, we propose a statistical-mechanics description of the traffic using a joint probability density of the wake population in some characteristic parameter space. We attempt to answer two basic questions: (1) what is the relevant parameter space and (2) how should a numerical model be tested for a wake population? We describe the linear and nonlinear characteristics of wakes observed in the Florida Intracoastal Waters. Adopting provisionally a two-dimensional parameter space (depth- and length-based Froude numbers) we conduct numerical simulations using the open-source FUNWAVE-TVD Boussinesq model. The model performance is excellent for weakly-dispersive, completely specified wakes (e.g., the analytical linear wakes), and also for the range of Froude numbers observed in the field, or for large container ships generating relatively long waves. The model is challenged by the short waves generated by small, slow boats. However, simulations suggest that the problem is confined to the deeper water domain and linear evolution. Nonlinear wake shoaling, essential for modeling wake-induced sediment transport and wake impact on the environment, is described well.


title: A matter of time: Using dynamics and theory to uncover mechanisms of transcriptional bursting

abstract: Eukaryotic transcription generally occurs in bursts of activity lasting minutes to hours; however, state-of-the-art measurements have revealed that many of the molecular processes that underlie bursting, such as transcription factor binding to DNA, unfold on timescales of seconds. This temporal disconnect lies at the heart of a broader challenge in physical biology of predicting transcriptional outcomes and cellular decision-making from the dynamics of underlying molecular processes. Here, we review how new dynamical information about the processes underlying transcriptional control can be combined with theoretical models that predict not only averaged transcriptional dynamics, but also their variability, to formulate testable hypotheses about the molecular mechanisms underlying transcriptional bursting and control.


title: On the minimal drift for recurrence in the frog model on $d$-ary trees

abstract: We study the recurrence of one-per-site frog model $\text{FM}(d, p)$ on a $d$-ary tree with drift parameter $p\in [0,1]$, which determines the bias of frogs' random walks. We are interested in the minimal drift $p_{d}$ so that the frog model is recurrent. Using a coupling argument together with a generating function technique, we prove that for all $d \ge 2$, $p_{d}\le 1/3$, which is the optimal universal upper bound.


title: Spatial homogeneity learning for spatially correlated functional data with application to COVID-19 Growth rate curves

abstract: We study the spatial heterogeneity effect on regional COVID-19 pandemic timing and severity by analyzing the COVID-19 growth rate curves in the United States. We propose a geographically detailed functional data grouping method equipped with a functional conditional autoregressive (CAR) prior to fully capture the spatial correlation in the pandemic curves. The spatial homogeneity pattern can then be detected by a geographically weighted Chinese restaurant process prior which allows both locally spatially contiguous groups and globally discontiguous groups. We design an efficient Markov chain Monte Carlo (MCMC) algorithm to simultaneously infer the posterior distributions of the number of groups and the grouping configuration of spatial functional data. The superior numerical performance of the proposed method over competing methods is demonstrated using simulated studies and an application to COVID-19 state-level and county-level data study in the United States.


title: AWNet: Attentive Wavelet Network for Image ISP

abstract: As the revolutionary improvement being made on the performance of smartphones over the last decade, mobile photography becomes one of the most common practices among the majority of smartphone users. However, due to the limited size of camera sensors on phone, the photographed image is still visually distinct to the one taken by the digital single-lens reflex (DSLR) camera. To narrow this performance gap, one is to redesign the camera image signal processor (ISP) to improve the image quality. Owing to the rapid rise of deep learning, recent works resort to the deep convolutional neural network (CNN) to develop a sophisticated data-driven ISP that directly maps the phone-captured image to the DSLR-captured one. In this paper, we introduce a novel network that utilizes the attention mechanism and wavelet transform, dubbed AWNet, to tackle this learnable image ISP problem. By adding the wavelet transform, our proposed method enables us to restore favorable image details from RAW information and achieve a larger receptive field while remaining high efficiency in terms of computational cost. The global context block is adopted in our method to learn the non-local color mapping for the generation of appealing RGB images. More importantly, this block alleviates the influence of image misalignment occurred on the provided dataset. Experimental results indicate the advances of our design in both qualitative and quantitative measurements. The code is available publically.


title: Image Stitching and Rectification for Hand-Held Cameras

abstract: In this paper, we derive a new differential homography that can account for the scanline-varying camera poses in Rolling Shutter (RS) cameras, and demonstrate its application to carry out RS-aware image stitching and rectification at one stroke. Despite the high complexity of RS geometry, we focus in this paper on a special yet common input -- two consecutive frames from a video stream, wherein the inter-frame motion is restricted from being arbitrarily large. This allows us to adopt simpler differential motion model, leading to a straightforward and practical minimal solver. To deal with non-planar scene and camera parallax in stitching, we further propose an RS-aware spatially-varying homography field in the principle of As-Projective-As-Possible (APAP). We show superior performance over state-of-the-art methods both in RS image stitching and rectification, especially for images captured by hand-held shaking cameras.


title: Competing interactions near the liquid-liquid phase transition of core-softened water/methanol mixtures

abstract: Water is an unique material with a long list of thermodynamic, dynamic and structural anomalies, which are usually attributed to the competition between two characteristic length scales in the intermolecular interaction. It has been argued that a potential liquid-liquid phase transition (LLPT) ending at a liquid-liquid critical point (LLCP) lies at the core of the anomalous behavior of water. This transition which has been evidenced in multiple simulation studies seems to be preempted experimentally by spontaneous crystallization. Here, in order to expose the connection between the spontaneous crystallization observed in the supercooled regime in the vicinity of the LLPT, and the density anomaly, we perform extensive Molecular Dynamics simulations of a model mixture of core-softened water and methanol. The pure water-like fluid exhibits a LLPT and a density anomaly. In contrast, our pure methanol-like model does have a LLPT but lacks the density anomaly. Our results illustrate the relation between the vanishing of the density anomaly and an increase in the temperature of the spontaneous crystallization: once this temperature surpasses the LLCP critical temperature, no density anomaly is observed. This peculiar feature illustrates how fine tuning the competitive interactions determine the anomalous behavior of water/alcohol mixtures.


title: A Bunched Logic for Conditional Independence

abstract: Independence and conditional independence are fundamental concepts for reasoning about groups of random variables in probabilistic programs. Verification methods for independence are still nascent, and existing methods cannot handle conditional independence. We extend the logic of bunched implications (BI) with a non-commutative conjunction and provide a model based on Markov kernels; conditional independence can be directly captured as a logical formula in this model. Noting that Markov kernels are Kleisli arrows for the distribution monad, we then introduce a second model based on the powerset monad and show how it can capture join dependency, a non-probabilistic analogue of conditional independence from database theory. Finally, we develop a program logic for verifying conditional independence in probabilistic programs.


title: Two-dimensional ferromagnetic semiconductor VBr3 with tunable anisotropy

abstract: Two-dimensional (2D) ferromagnets (FMs) have attracted widespread attention due to their prospects in spintronic applications. Here we explore the electronic structure and magnetic properties of the bulk and monolayer of VBr$_{3}$ in the honeycomb lattice, using first-principles calculations, crystal field level analyses, and Monte Carlo simulations. Our results show that VBr$_{3}$ bulk has the $e'_{g}$$^2$ ($S$=1) ground state and possesses a small orbital moment and weak in-plane magnetic anisotropy. Those results well explain the recent experiments. More interestingly, we find that a tensile strain on the semiconducting VBr$_{3}$ monolayer tunes the ground state into $a_{1g}$$^1$$e'_{g}$$^1$ and thus produces a large orbital moment and a strong out-of-plane anisotropy. Then, the significantly enhanced FM superexchange and single ion anisotropy (SIA) would raise $T_{\rm C}$ from 20 K for the bare VBr$_{3}$ monolayer to 100-115 K under a 2.5$\%$-5$\%$ strain. Therefore, VBr$_{3}$ would be a promising 2D FM semiconductor with a tunable anisotropy.


title: An Examination of Grouping and Spatial Organization Tasks for High-Dimensional Data Exploration

abstract: How do analysts think about grouping and spatial operations? This overarching question incorporates a number of points for investigation, including understanding how analysts begin to explore a dataset, the types of grouping/spatial structures created and the operations performed on them, the relationship between grouping and spatial structures, the decisions analysts make when exploring individual observations, and the role of external information. This work contributes the design and results of such a study, in which a group of participants are asked to organize the data contained within an unfamiliar quantitative dataset. We identify several overarching approaches taken by participants to design their organizational space, discuss the interactions performed by the participants, and propose design recommendations to improve the usability of future high-dimensional data exploration tools that make use of grouping (clustering) and spatial (dimension reduction) operations.


title: Learning to Abstract and Predict Human Actions

abstract: Human activities are naturally structured as hierarchies unrolled over time. For action prediction, temporal relations in event sequences are widely exploited by current methods while their semantic coherence across different levels of abstraction has not been well explored. In this work we model the hierarchical structure of human activities in videos and demonstrate the power of such structure in action prediction. We propose Hierarchical Encoder-Refresher-Anticipator, a multi-level neural machine that can learn the structure of human activities by observing a partial hierarchy of events and roll-out such structure into a future prediction in multiple levels of abstraction. We also introduce a new coarse-to-fine action annotation on the Breakfast Actions videos to create a comprehensive, consistent, and cleanly structured video hierarchical activity dataset. Through our experiments, we examine and rethink the settings and metrics of activity prediction tasks toward unbiased evaluation of prediction systems, and demonstrate the role of hierarchical modeling toward reliable and detailed long-term action forecasting.


title: Certain L2-norms on automorphic representations of SL(2)

abstract: Let $\Gamma$ be a non-uniform lattice in $SL(2, \mathbb R)$. In this paper, we study various $L^2$-norms of automorphic representations of $SL(2, \mathbb R)$. We bound these norms with intrinsic norms defined on the representation. Comparison of these norms will help us understand the growth of $L$-functions in a systematic way.


title: Spatial Language Representation with Multi-Level Geocoding

abstract: We present a multi-level geocoding model (MLG) that learns to associate texts to geographic locations. The Earth's surface is represented using space-filling curves that decompose the sphere into a hierarchy of similarly sized, non-overlapping cells. MLG balances generalization and accuracy by combining losses across multiple levels and predicting cells at each level simultaneously. Without using any dataset-specific tuning, we show that MLG obtains state-of-the-art results for toponym resolution on three English datasets. Furthermore, it obtains large gains without any knowledge base metadata, demonstrating that it can effectively learn the connection between text spans and coordinates - and thus can be extended to toponymns not present in knowledge bases.


title: COOKIE: A Dataset for Conversational Recommendation over Knowledge Graphs in E-commerce

abstract: In this work, we present a new dataset for conversational recommendation over knowledge graphs in e-commerce platforms called COOKIE. The dataset is constructed from an Amazon review corpus by integrating both user-agent dialogue and custom knowledge graphs for recommendation. Specifically, we first construct a unified knowledge graph and extract key entities between user--product pairs, which serve as the skeleton of a conversation. Then we simulate conversations mirroring the human coarse-to-fine process of choosing preferred items. The proposed baselines and experiments demonstrate that our dataset is able to provide innovative opportunities for conversational recommendation.


title: Logic-Induced Bisimulations

abstract: We define a new logic-induced notion of bisimulation (called $\rho$-bisimulation) for coalgebraic modal logics given by a logical connection, and investigate its properties. We show that it is structural in the sense that it is defined only in terms of the coalgebra structure and the one-step modal semantics and, moreover, can be characterised by a form of relation lifting. Furthermore we compare $\rho$-bisimulations to several well-known equivalence notions, and we prove that the collection of bisimulations between two models often forms a complete lattice. The main technical result is a Hennessy-Milner type theorem which states that, under certain conditions, logical equivalence implies $\rho$-bisimilarity. In particular, the latter does \emph{not} rely on a duality between functors $\mathsf{T}$ (the type of the coalgebras) and $\mathsf{L}$ (which gives the logic), nor on properties of the logical connection $\rho$.


title: Robust Mean Estimation in High Dimensions via $\ell_0$ Minimization

abstract: We study the robust mean estimation problem in high dimensions, where $\alpha <0.5$ fraction of the data points can be arbitrarily corrupted. Motivated by compressive sensing, we formulate the robust mean estimation problem as the minimization of the $\ell_0$-`norm' of the outlier indicator vector, under second moment constraints on the inlier data points. We prove that the global minimum of this objective is order optimal for the robust mean estimation problem, and we propose a general framework for minimizing the objective. We further leverage the $\ell_1$ and $\ell_p$ $(0<p<1)$, minimization techniques in compressive sensing to provide computationally tractable solutions to the $\ell_0$ minimization problem. Both synthetic and real data experiments demonstrate that the proposed algorithms significantly outperform state-of-the-art robust mean estimation methods.

categories: stat.ML cs.LG eess.SP math.ST stat.CO stat.TH


title: Suboptimal Nonlinear Model Predictive Control Strategies for Tracking Near Rectilinear Halo Orbits

abstract: Near Rectilinear Halo Orbits (NRHOs), a subclass of halo orbits around the L1 and L2 Lagrange points, are promising candidates for future lunar gateways in cis-lunar space and as staging orbits for lunar missions. Closed-loop control is beneficial to compensate orbital perturbations and potential instabilities while maintaining spacecraft on NRHOs and performing relative motion maneuvers. This paper investigates the use of nonlinear model predictive control (NMPC) coupled with low-thrust actuators for station-keeping on NRHOs. It is demonstrated through numerical simulations that NMPC is able to stabilize a spacecraft to a reference orbit and handle control constraints. Further, it is shown that the computational burden of NMPC can be managed using specialized optimization routines and suboptimal approaches without jeopardizing closed-loop performance.


title: Learning Affordance Landscapes for Interaction Exploration in 3D Environments

abstract: Embodied agents operating in human spaces must be able to master how their environment works: what objects can the agent use, and how can it use them? We introduce a reinforcement learning approach for exploration for interaction, whereby an embodied agent autonomously discovers the affordance landscape of a new unmapped 3D environment (such as an unfamiliar kitchen). Given an egocentric RGB-D camera and a high-level action space, the agent is rewarded for maximizing successful interactions while simultaneously training an image-based affordance segmentation model. The former yields a policy for acting efficiently in new environments to prepare for downstream interaction tasks, while the latter yields a convolutional neural network that maps image regions to the likelihood they permit each action, densifying the rewards for exploration. We demonstrate our idea with AI2-iTHOR. The results show agents can learn how to use new home environments intelligently and that it prepares them to rapidly address various downstream tasks like "find a knife and put it in the drawer." Project page: http://vision.cs.utexas.edu/projects/interaction-exploration/


title: A year long superoutburst from an ultracompact white dwarf binary reveals the importance of donor star irradiation

abstract: SDSS J080710+485259 is the longest period outbursting ultracompact white dwarf binary. Its first ever detected superoutburst started in November of 2018 and lasted for a year, the longest detected so far for any short orbital period accreting white dwarf. Here we show that the superoutburst duration of SDSS J080710+485259 exceeds the 2 months viscous time of its accretion disk by a factor of about 5. Consequently it follows neither the empirical relation nor the theoretical relation between the orbital period and the superoutburst duration for AM CVn systems. Six months after the end of the superoutburst the binary remained 0.4 mag brighter than its quiescent level before the superoutburst. We detect a variable X-ray behavior during the post-outburst cooling phase, demonstrating changes in the mass accretion rate. We discuss how irradiation of the donor star, a scenario poorly explored so far and which ultimately can have important consequences for AM CVns as gravitational wave sources, might explain the unusual observed features of the superoutburst.


title: The wide-field VLBA calibrator survey -- WFCS

abstract: The paper presents the results of the largest to date VLBI absolute astrometry campaign of observations of 13,645 radio sources with the Very Long Baseline Array (VLBA). Of them, 7220 have been detected, including 6755 target sources that have never been observed with VLBI before. This makes the present VLBI catalogue the largest ever published. Positions of the target sources have been determined with the median uncertainty 1.7 mas, and 15,599 images of 7179 sources have been generated. Unlike to previous absolute radio astrometry campaigns, observations were made at 4.3 and 7.6 GHz simultaneously using a single wide-band receiver. Because of the fine spectral and time resolutions, the field of view was 4 to 8 arcminutes -- much greater than 10 to 20 arcseconds in previous surveys. This made possible to use input catalogues with low position accuracy and detect a compact component in extended sources. Unlike to previous absolute astrometry campaigns, both steep and flat spectrum sources were observed. The observations were scheduled in the so-called fill-in mode to fill the gaps between other high priority programs. That was achieved by development of the totally automatic scheduling procedure.


title: A constrained transport divergence-free finite element method for Incompressible MHD equations

abstract: In this paper we study finite element method for three-dimensional incompressible resistive magnetohydrodynamic equations, in which the velocity, the current density, and the magnetic induction are divergence-free. It is desirable that the discrete solutions should also satisfy divergence-free conditions exactly especially for the momentum equations. Inspired by constrained transport method,we devise a new stable mixed finite element method that can achieve the goal. We also prove the well-posedness of the discrete solutions. To solve the resulting linear algebraic equations, we propose a GMRES solver with an augmented Lagrangian block preconditioner. By numerical experiments, we verify the theoretical results and demonstrate the quasi-optimality of the discrete solver with respect to the number of degrees of freedom


title: Anomaly Detection on Seasonal Metrics via Robust Time Series Decomposition

abstract: The stability and persistence of web services are important to Internet companies to improve user experience and business performances. To keep eyes on numerous metrics and report abnormal situations, time series anomaly detection methods are developed and applied by various departments in companies and institutions. In this paper, we proposed a robust anomaly detection algorithm (MEDIFF) to monitor online business metrics in real time. Specifically, a decomposition method using robust statistical metric--median--of the time series was applied to decouple the trend and seasonal components. With the effects of daylight saving time (DST) shift and holidays, corresponding components were decomposed from the time series. The residual after decomposition was tested by a generalized statistics method to detect outliers in the time series. We compared the proposed MEDIFF algorithm with two open source algorithms (SH-ESD and DONUT) by using our labeled internal business metrics. The results demonstrated the effectiveness of the proposed MEDIFF algorithm.


title: A(DP)$^2$SGD: Asynchronous Decentralized Parallel Stochastic Gradient Descent with Differential Privacy

abstract: As deep learning models are usually massive and complex, distributed learning is essential for increasing training efficiency. Moreover, in many real-world application scenarios like healthcare, distributed learning can also keep the data local and protect privacy. A popular distributed learning strategy is federated learning, where there is a central server storing the global model and a set of local computing nodes updating the model parameters with their corresponding data. The updated model parameters will be processed and transmitted to the central server, which leads to heavy communication costs. Recently, asynchronous decentralized distributed learning has been proposed and demonstrated to be a more efficient and practical strategy where there is no central server, so that each computing node only communicates with its neighbors. Although no raw data will be transmitted across different local nodes, there is still a risk of information leak during the communication process for malicious participants to make attacks. In this paper, we present a differentially private version of asynchronous decentralized parallel SGD (ADPSGD) framework, or A(DP)$^2$SGD for short, which maintains communication efficiency of ADPSGD and prevents the inference from malicious participants. Specifically, R{\'e}nyi differential privacy is used to provide tighter privacy analysis for our composite Gaussian mechanisms while the convergence rate is consistent with the non-private version. Theoretical analysis shows A(DP)$^2$SGD also converges at the optimal $\mathcal{O}(1/\sqrt{T})$ rate as SGD. Empirically, A(DP)$^2$SGD achieves comparable model accuracy as the differentially private version of Synchronous SGD (SSGD) but runs much faster than SSGD in heterogeneous computing environments.


title: Diameter free estimates for the quadratic Vinogradov mean value theorem

abstract: Let $s \geq 3$ be a natural number, let $\psi(x)$ be a polynomial with real coefficients and degree $d \geq 2$, and let $A$ be some large, non-empty, finite subset of real numbers. We use $E_{s,2}(A)$ to denote the number of solutions to the system of equations \[ \sum_{i=1}^{s} (\psi(x_i) - \psi(x_{i+s}) )= \sum_{i=1}^{s} ( x_i - x_{i+s} ) = 0, \] where $x_i \in A$ for each $1 \leq i \leq 2s$. Our main result shows that \[ E_{s,2}(A) \ll_{d,s} |A|^{2s -3 + \eta_{s}}, \] where $\eta_3 = 1/2$, and $\eta_{s} = (1/4- 1/7246)\cdot 2^{-s + 4}$ when $s \geq 4$. The only other previously known result of this flavour is due to Bourgain and Demeter, who showed that when $\psi(x) = x^2$ and $s=3$, we have \[E_{3,2}(A) \ll_{\epsilon} |A|^{3 + 1/2 + \epsilon},\] for each $\epsilon > 0$. Thus our main result improves upon the above estimate, while also generalising it for larger values of $s$ and more wide-ranging choices of $\psi(x)$. The novelty of our estimates is that they only depend on $d$, $s$ and $|A|$, and are independent of the diameter of $A$. Thus when $A$ is a sparse set, our results are stronger than the corresponding bounds that are provided by methods such as decoupling and efficient congruencing. Consequently, our strategy differs from these two lines of approach, and we employ techniques from incidence geometry, arithmetic combinatorics and analytic number theory. Amongst other applications, our estimates lead to stronger discrete restriction estimates for sparse sequences.


title: Location Information Aided Multiple Intelligent Reflecting Surface Systems

abstract: This paper proposes a novel location information aided multiple intelligent reflecting surface (IRS) systems. Assuming imperfect user location information, the effective angles from the IRS to the users are estimated, which is then used to design the transmit beam and IRS beam. Furthermore, closed-form expressions for the achievable rate are derived. The analytical findings indicate that the achievable rate can be improved by increasing the number of base station (BS) antennas or reflecting elements. Specifically, a power gain of order $N M^2$ is achieved, where $N$ is the antenna number and $M$ is the number of reflecting elements. Moreover, with a large number of reflecting elements, the individual signal to interference plus noise ratio (SINR) is proportional to $M$, while becomes proportional to $M^2$ as non-line-of-sight (NLOS) paths vanish. Also, it has been shown that high location uncertainty would significantly degrade the achievable rate. Besides, IRSs should be deployed at distinct directions (relative to the BS) and be far away from each other to reduce the interference from multiple IRSs. Finally, an optimal power allocation scheme has been proposed to improve the system performance.


title: GRIT: Generative Role-filler Transformers for Document-level Event Entity Extraction

abstract: We revisit the classic problem of document-level role-filler entity extraction (REE) for template filling. We argue that sentence-level approaches are ill-suited to the task and introduce a generative transformer-based encoder-decoder framework (GRIT) that is designed to model context at the document level: it can make extraction decisions across sentence boundaries; is implicitly aware of noun phrase coreference structure, and has the capacity to respect cross-role dependencies in the template structure. We evaluate our approach on the MUC-4 dataset, and show that our model performs substantially better than prior work. We also show that our modeling choices contribute to model performance, e.g., by implicitly capturing linguistic knowledge such as recognizing coreferent entity mentions.


title: Spin treacle in a frustrated magnet observed with spin current

abstract: By means of spin current, the flow of spin angular momentum, we find a regime of "spin treacle" in a frustrated magnetic system. To establish its existence, we have performed spin transport measurements in nanometer-scale spin glasses. At temperatures high enough that the magnetic moments fluctuate at high frequencies, the spin Hall angle, the conversion yield between spin current and charge current, is independent of temperature. The spin Hall angle starts to decrease at a certain temperature $T^{*}$ and completely vanishes at a lower temperature. We argue that the latter corresponds to the spin freezing temperature $T_{\rm f}$ of the nanometer-scale spin glass, where the direction of conduction electron spin is randomized by the exchange coupling with the localized moments. The present experiment \textit{quantitatively} verifies the existence of a distinct "spin treacle" between $T_{\rm f}$ and $T^{*}$. We have also quantified a time scale of fluctuation of local magnetic moments in the spin treacle from the spin relaxation time of conduction electrons.


title: Refined Analysis of FPL for Adversarial Markov Decision Processes

abstract: We consider the adversarial Markov Decision Process (MDP) problem, where the rewards for the MDP can be adversarially chosen, and the transition function can be either known or unknown. In both settings, Follow-the-PerturbedLeader (FPL) based algorithms have been proposed in previous literature. However, the established regret bounds for FPL based algorithms are worse than algorithms based on mirrordescent. We improve the analysis of FPL based algorithms in both settings, matching the current best regret bounds using faster and simpler algorithms.


title: Towards simulating 2D effects in lattice gauge theories on a quantum computer

abstract: Gauge theories are the most successful theories for describing nature at its fundamental level, but obtaining analytical or numerical solutions often remains a challenge. We propose an experimental quantum simulation scheme to study ground state properties in two-dimensional quantum electrodynamics (2D QED) using existing quantum technology. The proposal builds on a formulation of lattice gauge theories as effective spin models in arXiv:2006.14160, which reduces the number of qubits needed by eliminating redundant degrees of freedom and by using an efficient truncation scheme for the gauge fields. The latter endows our proposal with the perspective to take a well-controlled continuum limit. Our protocols allow in principle scaling up to large lattices and offer the perspective to connect the lattice simulation to low energy observable quantities, e.g. the hadron spectrum, in the continuum theory. By including both dynamical matter and a non-minimal gauge field truncation, we provide the novel opportunity to observe 2D effects on present-day quantum hardware. More specifically, we present two Variational Quantum Eigensolver (VQE) based protocols for the study of magnetic field effects, and for taking an important first step towards computing the running coupling of QED. For both instances, we include variational quantum circuits for qubit-based hardware, which we explicitly apply to trapped ion quantum computers. We simulate the proposed VQE experiments classically to calculate the required measurement budget under realistic conditions. While this feasibility analysis is done for trapped ions, our approach can be easily adapted to other platforms. The techniques presented here, combined with advancements in quantum hardware pave the way for reaching beyond the capabilities of classical simulations by extending our framework to include fermionic potentials or topological terms.


title: Describing Console I/O Behavior for Testing Student Submissions in Haskell

abstract: We present a small, formal language for specifying the behavior of simple console I/O programs. The design is driven by the concrete application case of testing interactive Haskell programs written by students. Specifications are structurally similar to lexical analysis regular expressions, but are augmented with features like global variables that track state and history of program runs, enabling expression of an interesting range of dynamic behavior. We give a semantics for our specification language based on acceptance of execution traces. From this semantics we derive a definition of the set of all traces valid for a given specification. Sampling that set enables us to mechanically check program behavior against specifications in a probabilistic fashion. Beyond testing, other possible uses of the specification language in an education context include related activities like providing more helpful feedback, generating sample solutions, and even generating random exercise tasks.


title: Visual Designing and Debugging of Deterministic Finite-State Machines in FSM

abstract: This article presents a visualization tool for designing and debugging deterministic finite-state machines in FSM -- a domain specific language for the automata theory classroom. Like other automata visualization tools, users can edit machines and observe their execution, given some input. Unlike other automata visualization tools, the user is not burdened nor distracted with rendering a machine as a graph. Furthermore, emphasis is placed on the design of machines and this article presents a novel design recipe for deterministic finite-state machines. In support of the design process, the visualization tool allows for each state to be associated with an invariant predicate. During machine execution, the visualization tool indicates if the proposed invariant holds or does not hold after each transition. In this manner, students can validate and debug their machines before attempting to prove partial correctness or submitting for grading. In addition, any machine edited with the visualization tool can be rendered as executable code. The interface of the visualization tool along with extended examples of its use are presented.


title: The Blanco DECam Bulge Survey. I. The Survey Description and Early Results

abstract: The Blanco Dark Energy Camera (DECam) Bulge survey is a Vera Rubin Observatory (LSST) pathfinder imaging survey, spanning $\sim 200$ sq. deg. of the Southern Galactic bulge, $-2^\circ <$b$< -13^\circ$ and $-11^\circ <$l$ < +11^\circ$. We have employed the CTIO-4m telescope and the Dark Energy Camera (DECam) to image a contiguous $\sim 200$ sq. deg. region of the relatively less reddened Southern Galactic bulge, in SDSS $u$ + Pan-STARRS$grizy$. Optical photometry with its large colour baseline will be used to investigate the age and metallicity distributions of the major structures of the bulge. Included in the survey footprint are 26 globular clusters imaged in all passbands. Over much of the bulge, we have Gaia DR2 matching astrometry to $i\sim 18$, deep enough to reach the faint end of the red clump. This paper provides the background, scientific case, and description of the survey. We present an array of new reddening-corrected colour-magnitude diagrams that span the extent of Southern Galactic bulge. We argue that a population of massive stars in the blue loop evolutionary phase, proposed to lie in the bulge, are instead at $\sim 2$ kpc from the Sun and likely red clump giants in the old disk. A bright red clump near $(l,b)=(+8^\circ,-4^\circ)$ may be a feature in the foreground disk, or related to the long bar reported in earlier work. We also report the first map of the blue horizontal branch population spanning the BDBS field of regard, and our data does not confirm the reality of a number of proposed globular clusters in the bulge.


title: K-theory of n-coherent rings

abstract: Let $R$ be a strong $n$-coherent ring such that each finitely $n$-presented $R$-module has finite projective dimension. We consider $\mathcal{FP}_{n}(R)$ the full subcategory of $R$-Mod of finitely $n$-presented modules. We prove that $\mathcal{FP}_{n}(R)$ is an exact category, $K_{i}(R) = K_{i}(\mathcal{FP}_{n}(R))$ for every $i\geq 0$ and obtain an expression of $\operatorname{Nil}_{i}(R)$.


title: Blanco DECam Bulge Survey (BDBS) II: Project Performance, Data Analysis, and Early Science Results

abstract: The Blanco DECam Bulge Survey (BDBS) imaged more than 200 square degrees of the Southern Galactic bulge using the ugrizY filters of the Dark Energy Camera, and produced point spread function photometry of approximately 250 million unique sources. In this paper, we present details regarding the construction and collation of survey catalogs, and also discuss the adopted calibration and dereddening procedures. Early science results are presented with a particular emphasis on the bulge metallicity distribution function and globular clusters. A key result is the strong correlation (sigma ~ 0.2 dex) between (u-i)o and [Fe/H] for bulge red clump giants. We utilized this relation to find that interior bulge fields may be well described by simple closed box enrichment models, but fields exterior to b ~ -6 degrees seem to require a secondary metal-poor component. Applying scaled versions of the closed box model to the outer bulge fields is shown to significantly reduce the strengths of any additional metal-poor components when compared to Gaussian mixture models. Additional results include: a confirmation that the u-band splits the sub-giant branch in M 22 as a function of metallicity, the detection of possible extra-tidal stars along the orbits of M 22 and FSR 1758, and additional evidence that NGC 6569 may have a small but discrete He spread, as evidenced by red clump luminosity variations in the reddest bands. We do not confirm previous claims that FSR 1758 is part of a larger extended structure.


title: Four Microlensing Planets with Faint-source Stars Identified in the 2016 and 2017 Season Data

abstract: Microlensing planets occurring on faint source stars can escape detection due to their weak signals. Occasionally, detections of such planets are not reported due to the difficulty of extracting high-profile scientific issues on the detected planets. For the solid demographic census of microlensing planetary systems based on a complete sample, we investigate the microlensing data obtained in the 2016 and 2017 seasons to search for planetary signals in faint-source lensing events. From this investigation, we find four unpublished microlensing planets including KMT-2016-BLG-2364Lb, KMT-2016-BLG-2397Lb, OGLE-2017-BLG-0604Lb, and OGLE-2017-BLG-1375Lb. We analyze the observed lensing light curves and determine their lensing parameters. From Bayesian analyses conducted with the constraints from the measured parameters, it is found that the masses of the hosts and planets are in the ranges $0.50\lesssim M_{\rm host}/M_\odot\lesssim 0.85$ and $0.5 \lesssim M_{\rm p}/M_{\rm J}\lesssim 13.2$, respectively, indicating that all planets are giant planets around host stars with subsolar masses. The lenses are located in the distance range of $3.8 \lesssim \dl/{\rm kpc}\lesssim 6.4$. It is found that the lenses of OGLE-2017-BLG-0604 and OGLE-2017-BLG-1375 are likely to be in the Galactic disk.


title: Homogeneity Test of Several High-Dimensional Covariance Matrices for Stationary Processes under Non-normality

abstract: This article presents a homogeneity test for testing the equality of several high-dimensional covariance matrices for stationary processes with ignoring the assumption of normality. We give the asymptotic distribution of the proposed test. The simulation illustrates that the proposed test has perfect performance. Moreover, the power of the test can approach any high probability uniformly on a set of covariance matrices.


title: Greedy Approaches to Online Stochastic Matching

abstract: Within the context of stochastic probing with commitment, we consider the online stochastic matching problem; that is, the one-sided online bipartite matching problem where edges adjacent to an online node must be probed to determine if they exist based on edge probabilities that become known when an online vertex arrives. If a probed edge exists, it must be used in the matching (if possible). We consider the competitiveness of online algorithms in both the adversarial order model (AOM) and the random order model (ROM). More specifically, we consider a bipartite stochastic graph $G = (U,V,E)$ where $U$ is the set of offline vertices, $V$ is the set of online vertices and $G$ has edge probabilities $(p_{e})_{e \in E}$ and edge weights $(w_{e})_{e \in E}$. Additionally, $G$ has probing constraints $(\scr{C}_{v})_{v \in V}$, where $\scr{C}_v$ indicates which sequences of edges adjacent to an online vertex $v$ can be probed. We assume that $U$ is known in advance, and that $\scr{C}_v$, together with the edge probabilities and weights adjacent to an online vertex are only revealed when the online vertex arrives. This model generalizes the various settings of the classical bipartite matching problem, and so our main contribution is in making progress towards understanding which classical results extend to the stochastic probing model.


title: Dynamic change of gene-to-gene regulatory networks in response to SARS-CoV-2 infection

abstract: The current pandemic of SARS-CoV-2 has caused extensive damage to society. The characterization of SARS-CoV-2 profiles has been addressed by researchers globally with the aim of resolving this disruptive crisis. This investigation process is indispensable for an understanding of how SARS-CoV-2 behaves in human host cells. However, little is known about the systematic molecular mechanisms involved in the effect of SARS-CoV-2 infection on human host cells. Here, we have presented gene-to-gene regulatory networks in response to SARS-CoV-2 using a Bayesian network. We examined the dynamic changes of the SARS-CoV-2-purturbated networks established by our proposed framework for gene network analysis, revealing that interferon signaling gradually switches to the subsequent inflammatory-cytokine signaling cascades. Furthermore, we have succeeded in capturing a COVID-19 patient-specific network in which transduction of these signalings is coincidently induced. This enabled us to explore local regulatory systems influenced by SARS-CoV-2 in host cells more precisely at an individual level. Our panel of network analyses has provided new insight into SARS-CoV-2 research from the perspective of cellular systems.


title: On the Optimal 3D Placement of a UAV Base Station for Maximal Coverage of UAV Users

abstract: Unmanned aerial vehicles (UAVs) can be users that support new applications, or be communication access points that serve terrestrial and/or aerial users. In this paper, we focus on the connectivity problem of aerial users when they are exclusively served by aerial base stations (BS), i.e., UAVBSs. Specifically, the 3D placement problem of a directional antenna equipped UAV-BS, aiming to maximize the number of covered aerial users under a spectrum sharing policy with terrestrial networks, is investigated. Given a known spectrum sharing policy between the aerial and terrestrial networks, we propose a 3D placement algorithm that achieves optimality. Simulation results show the performance of our approach, in terms of number of covered aerial users, for different configurations and parameters, such as the spectrum sharing policy, antenna beamwidth, transmit power, and aerial users density. These results represent novel guidelines for exclusive aerial networks deployment and applications, distinctively for orthogonal and non-orthogonal spectrum sharing policies with terrestrial networks.


title: Empirical Likelihood Covariate Adjustment for Regression Discontinuity Designs

abstract: This paper proposes a versatile covariate adjustment method that directly incorporates covariate balance in regression discontinuity (RD) designs. The new empirical entropy balancing method reweights the standard local polynomial RD estimator by using the entropy balancing weights that minimize the Kullback--Leibler divergence from the uniform weights while satisfying the covariate balance constraints. Our estimator can be formulated as an empirical likelihood estimator that efficiently incorporates the information from the covariate balance condition as correctly specified over-identifying moment restrictions, and thus has an asymptotic variance no larger than that of the standard estimator without covariates. We demystify the asymptotic efficiency gain of Calonico, Cattaneo, Farrell, and Titiunik (2019)'s regression-based covariate-adjusted estimator, as their estimator has the same asymptotic variance as ours. Further efficiency improvement from balancing over sieve spaces is possible if our entropy balancing weights are computed using stronger covariate balance constraints that are imposed on functions of covariates. We then show that our method enjoys favorable second-order properties from empirical likelihood estimation and inference: the estimator has a small (bounded) nonlinearity bias, and the likelihood ratio based confidence set admits a simple analytical correction that can be used to improve coverage accuracy. The coverage accuracy of our confidence set is robust against slight perturbation to the covariate balance condition, which may happen in cases such as data contamination and misspecified "unaffected" outcomes used as covariates. The proposed entropy balancing approach for covariate adjustment is applicable to other RD-related settings.


title: CITISEN: A Deep Learning-Based Speech Signal-Processing Mobile Application

abstract: This study presents a deep learning-based speech signal-processing mobile application known as CITISEN. The CITISEN provides three functions: speech enhancement (SE), model adaptation (MA), and background noise conversion (BNC), allowing CITISEN to be used as a platform for utilizing and evaluating SE models and flexibly extend the models to address various noise environments and users. For SE, a pretrained SE model downloaded from the cloud server is used to effectively reduce noise components from instant or saved recordings provided by users. For encountering unseen noise or speaker environments, the MA function is applied to promote CITISEN. A few audio samples recording on a noisy environment are uploaded and used to adapt the pretrained SE model on the server. Finally, for BNC, CITISEN first removes the background noises through an SE model and then mixes the processed speech with new background noise. The novel BNC function can evaluate SE performance under specific conditions, cover people's tracks, and provide entertainment. The experimental results confirmed the effectiveness of SE, MA, and BNC functions. Compared with the noisy speech signals, the enhanced speech signals achieved about 6\% and 33\% of improvements, respectively, in terms of short-time objective intelligibility (STOI) and perceptual evaluation of speech quality (PESQ). With MA, the STOI and PESQ could be further improved by approximately 6\% and 11\%, respectively. Finally, the BNC experiment results indicated that the speech signals converted from noisy and silent backgrounds have a close scene identification accuracy and similar embeddings in an acoustic scene classification model. Therefore, the proposed BNC can effectively convert the background noise of a speech signal and be a data augmentation method when clean speech signals are unavailable.


title: Sum index and difference index of graphs

abstract: Let $G$ be a nonempty simple graph with a vertex set $V(G)$ and an edge set $E(G)$. For every injective vertex labeling $f:V(G)\to\mathbb{Z}$, there are two induced edge labelings, namely $f^+:E(G)\to\mathbb{Z}$ defined by $f^+(uv)=f(u)+f(v)$, and $f^-:E(G)\to\mathbb{Z}$ defined by $f^-(uv)=|f(u)-f(v)|$. The sum index and the difference index are the minimum cardinalities of the ranges of $f^+$ and $f^-$, respectively. We provide upper and lower bounds on the sum index and difference index, and determine the sum index and difference index of various families of graphs. We also provide an interesting conjecture relating the sum index and the difference index of graphs.


title: Adapting Event Extractors to Medical Data: Bridging the Covariate Shift

abstract: We tackle the task of adapting event extractors to new domains without labeled data, by aligning the marginal distributions of source and target domains. As a testbed, we create two new event extraction datasets using English texts from two medical domains: (i) clinical notes, and (ii) doctor-patient conversations. We test the efficacy of three marginal alignment techniques: (i) adversarial domain adaptation (ADA), (ii) domain adaptive fine-tuning (DAFT), and (iii) a novel instance weighting technique based on language model likelihood scores (LIW). LIW and DAFT improve over a no-transfer BERT baseline on both domains, but ADA only improves on clinical notes. Deeper analysis of performance under different types of shifts (e.g., lexical shift, semantic shift) reveals interesting variations among models. Our best-performing models reach F1 scores of 70.0 and 72.9 on notes and conversations respectively, using no labeled data from target domains.


title: The Synchrotron Polarization in Decaying Magnetic Field in Gamma-Ray Bursts

abstract: Polarization can serve as a probe of the radiation mechanism and magnetic field (MF) configuration in gamma-ray bursts (GRBs). In the case of constant MF, the synchrotron polarization in the prompt phase of GRBs has been widely studied. In this paper, we consider the case of the decaying MF. We calculate the time-averaged and instantaneous synchrotron polarizations in a pulse for different viewing angles and for the large-scale decaying MF model, which can explain the so-called Band spectrum. We find that the on-axis time-averaged polarization degree (PD) in the energy band of 50-500 keV for the decaying large-scale MF model ($\sim 0.6$ for typical parameters) is higher than that in the constant MF model ($\sim 0.5$). An interesting result is the instantaneous PD in the off-axis case will experience a turnover, i.e., the PD will evolve from a positive value to a negative one. This suggests the polarization angle (PA) change by an angle of $90^\circ$. Such a result is roughly consistent with the discovery of the PA evolution within a pulse in some bursts, such as GRB 170114A and GRB 160821A. Our result implies at least a part of bursts (off-axis bursts) should have the PA evolution in a pulse.


title: Spitz: A Verifiable Database System

abstract: Databases in the past have helped businesses maintain and extract insights from their data. Today, it is common for a business to involve multiple independent, distrustful parties. This trend towards decentralization introduces a new and important requirement to databases: the integrity of the data, the history, and the execution must be protected. In other words, there is a need for a new class of database systems whose integrity can be verified (or verifiable databases). In this paper, we identify the requirements and the design challenges of verifiable databases.We observe that the main challenges come from the need to balance data immutability, tamper evidence, and performance. We first consider approaches that extend existing OLTP and OLAP systems with support for verification. We next examine a clean-slate approach, by describing a new system, Spitz, specifically designed for efficiently supporting immutable and tamper-evident transaction management. We conduct a preliminary performance study of both approaches against a baseline system, and provide insights on their performance.


title: Beyond Fixed Grid: Learning Geometric Image Representation with a Deformable Grid

abstract: In modern computer vision, images are typically represented as a fixed uniform grid with some stride and processed via a deep convolutional neural network. We argue that deforming the grid to better align with the high-frequency image content is a more effective strategy. We introduce \emph{Deformable Grid} DefGrid, a learnable neural network module that predicts location offsets of vertices of a 2-dimensional triangular grid, such that the edges of the deformed grid align with image boundaries. We showcase our DefGrid in a variety of use cases, i.e., by inserting it as a module at various levels of processing. We utilize DefGrid as an end-to-end \emph{learnable geometric downsampling} layer that replaces standard pooling methods for reducing feature resolution when feeding images into a deep CNN. We show significantly improved results at the same grid resolution compared to using CNNs on uniform grids for the task of semantic segmentation. We also utilize DefGrid at the output layers for the task of object mask annotation, and show that reasoning about object boundaries on our predicted polygonal grid leads to more accurate results over existing pixel-wise and curve-based approaches. We finally showcase DefGrid as a standalone module for unsupervised image partitioning, showing superior performance over existing approaches. Project website: http://www.cs.toronto.edu/~jungao/def-grid


title: On a characterization of finite-dimensional vector spaces

abstract: We provide a characterization of the finite dimensionality of vector spaces in terms of the right-sided invertibility of linear operators on them.


title: High-redshift galaxy groups as seen by Athena/WFI

abstract: The first massive galaxy groups in the Universe are predicted to have formed at redshifts well beyond two. Baryonic physics, like stellar and active galactic nuclei (AGN) feedback in this very active epoch, are expected to have left a strong imprint on the thermo-dynamic properties of these early galaxy groups. Therefore, observations of these groups are key to constrain the relative importance of these physical processes. However, current instruments are not sensitive enough to detect them easily and characterize their hot gas content. In this work, we quantify the observing power of the Advanced Telescope for High ENergy Astrophysics (Athena), the future large X-ray observatory of the European Space Agency (ESA), for discovering and characterizing early galaxy groups at high redshifts. We used the SImulation of X-ray TElescopes (SIXTE) simulator to mimic Athena observations, and a custom-made wavelet-based algorithm to detect galaxy groups and clusters in the redshift range $0.5 \le z \le 4$. We performed extensive X-ray spectral fitting in order to characterize their gas temperature and X-ray luminosity. We also investigate how well Athena will constrain different feedback mechanisms. In the deep Wide Field Imager (WFI) survey expected to be carried out during part of Athena's first four years (the nominal mission lifetime) more than 10,000 galaxy groups and clusters at $z\ge 0.5$ will be discovered. We find that Athena can detect $\sim20$ high-redshift galaxy groups with masses of $M_{500}\geq$ $5\times 10^{13}$ $M_{\odot}$ and $z\geq2$, and almost half of them will have a gas temperature determined to a precision of $\Delta T/T \le 25\%$. We demonstrate that high-redshift galaxy groups can be detected very efficiently as extended sources by Athena and that a key parameter determining the total number of such newly discovered sources is the area on the sky surveyed by Athena.


title: Magic square and half-hypermultiplets in F-theory

abstract: In six-dimensional F-theory/heterotic string theory, half-hypermultiplets arise only when they correspond to particular quaternionic K\"ahler symmetric spaces, which are mostly associated with the Freudenthal-Tits magic square. Motivated by the intriguing singularity structure previously found in such F-theory models with a gauge group $SU(6)$,$SO(12)$ or $E_7$, we investigate, as the final magical example, an F-theory on an elliptic fibration over a Hirzebruch surface of the non-split $I_6$ type, in which the unbroken gauge symmetry is supposed to be $Sp(3)$. We find significant qualitative differences between the previous F-theory models associated with the magic square and the present case. We argue that the relevant half-hypermultiplets arise at the $E_6$ points, where half-hypermultiplets ${\bf 20}$ of $SU(6)$ would have appeared in the split model. We also consider the problem on the non-local matter generation near the $D_6$ point. After stating what the problem is, we explain why this is so by using the recent result that a split/non-split transition can be regarded as a conifold transition.


title: The Connection Between Popularity Bias, Calibration, and Fairness in Recommendation

abstract: Recently there has been a growing interest in fairness-aware recommender systems including fairness in providing consistent performance across different users or groups of users. A recommender system could be considered unfair if the recommendations do not fairly represent the tastes of a certain group of users while other groups receive recommendations that are consistent with their preferences. In this paper, we use a metric called miscalibration for measuring how a recommendation algorithm is responsive to users' true preferences and we consider how various algorithms may result in different degrees of miscalibration for different users. In particular, we conjecture that popularity bias which is a well-known phenomenon in recommendation is one important factor leading to miscalibration in recommendation. Our experimental results using two real-world datasets show that there is a connection between how different user groups are affected by algorithmic popularity bias and their level of interest in popular items. Moreover, we show that the more a group is affected by the algorithmic popularity bias, the more their recommendations are miscalibrated.


title: Doping dependence of electronic structure of infinite-layer NdNiO2

abstract: We investigate the electronic structure of nickelate superconductor NdNiO2 upon hole doping, by means of density-functional theory and dynamical mean-field theory. We demonstrate the strong intrinsic hybridization between strongly correlated states formed by Ni-3dx2-y2 orbital and itinerant electrons due to Nd-5d and Ni-3dz2 orbitals, producing a valence-fluctuating correlated metal as the normal state of hole-doped NdNiO2. The Hund's rule appears to play a dominating role on multi-orbital physics in the lightly doped compound, while its effect is gradually reduced by increasing the doping level. Crucially, the hole-doping leads to intricate effects on Ni-3d orbitals, such as a non-monotonic change of electron occupation in lightly doped level, and a flipping orbital configuration in the overdoped regime. Additionaly, we also map out the topology of Fermi surface at different doping levels. These findings render a preferred window to peek into electron pairing and superconductivity.


title: Probability and consequences of living inside a computer simulation

abstract: It is shown that under reasonable assumptions a Drake-style equation can be obtained for the probability that our universe is the result of a deliberate simulation. Evaluating loose bounds for certain terms in the equation shows that the probability is unlikely to be as high as previously reported in the literature, especially in a scenario where the simulations are recursive. Furthermore, we investigate the possibility of eavesdropping from the outside of such a simulation and introduce a general attack that can circumvent attempts at quantum cryptography inside the simulation, even if the quantum properties of the simulation are genuine.


title: QCD phase diagram and critical exponents within the nonextensive Polyakov-Nambu-Jona-Lasinio model

abstract: We present a nonextensive version of the Polyakov-Nambu-Jona-Lasinio model which is based on the nonextentive statistical mechanics. This new statistics is characterized by a dimensionless nonextensivity parameter $q$ that accounts for all possible effects violating the assumptions of the Boltzmann-Gibbs (BG) statistics (when $q\rightarrow1$, it returns to the BG case). Based on the nonextensive Polyakov-Nambu-Jona-Lasinio model, we discussed the influence of the nonextensive effects on the QCD phase transition, especially on the location of the critical end point (CEP). A new and interesting phenomenon we found is that with the increase of $q$, the CEP position initially shifted toward the direction of larger chemical potential and lower temperature. But then, when $q$ is greater than a critical value $q_{c}$, the CEP position moves in the opposite direction. In other words, as $q$ increases, the CEP position moves in the direction of smaller chemical potential and higher temperature. In addition, we calculated the influence of the nonextensive effects on the critical exponents and found that they remain almost constant with $q$.


title: Electronic Structure of a Single-Component Molecular Conductor [Pd(dddt)$_2$] (dddt = 5,6-dihydro-1,4-dithiin-2,3-dithiolate) under High Pressure

abstract: We examined high-pressure electronic structure of a single-component molecular conductor [Pd(dddt)$_2$] (dddt = 5,6-dihydro-1,4-dithiin-2,3-dithiolate) at room temperature, based on the crystal structure determined by single crystal synchrotron X-ray diffraction measurements at 5.9 GPa. The monoclinic unit cell contains four molecules that form two crystallographically independent molecular layers. A tight-binding model of 8 $\times$ 8 matrix Hamiltonian gives an electronic structure as a Dirac electron system. The Dirac point describes a loop within the first Brillouin zone, and a nodal line semimetal is obtained. The noticeable property of the Dirac cone with a linear dispersion is shown by calculating density of states (DOS). The Dirac cone in this system is associated with the crossing of HOMO (highest occupied molecular orbital) and LUMO (lowest unoccupied molecular orbital) bands, which originates from the direct interaction between different molecular layers. This is a newly found mechanism in addition to the indirect one [J. Phys. Soc. Jpn., {\bf 86}, 064705 (2017)]. The Dirac points emerge as a line, when the HOMO and LUMO bands meet on the surface and the HOMO-LUMO couplings are absent. Such a mechanism is verified using a reduced model of 4 $\times$ 4 matrix Hamiltonian. The deviation of the band energy ($\delta E$) at the Dirac point from the Fermi level is very small ($\delta E < $ 0.4meV). The nodal line is examined by calculating the parity of the occupied band eigen states at TRIM (Time Reversal Invariant Momentum) showing that the topological number is 1.


title: Complete Sobolev Type Inequalities

abstract: We establish Sobolev type inequalities in the noncommutative settings by generalizing monotone metrics in the space of quantum states, such as matrix-valued Beckner inequalities. We also discuss examples such as random transpositions and Bernoulli-Laplace models.


title: Defending Regression Learners Against Poisoning Attacks

abstract: Regression models, which are widely used from engineering applications to financial forecasting, are vulnerable to targeted malicious attacks such as training data poisoning, through which adversaries can manipulate their predictions. Previous works that attempt to address this problem rely on assumptions about the nature of the attack/attacker or overestimate the knowledge of the learner, making them impractical. We introduce a novel Local Intrinsic Dimensionality (LID) based measure called N-LID that measures the local deviation of a given data point's LID with respect to its neighbors. We then show that N-LID can distinguish poisoned samples from normal samples and propose an N-LID based defense approach that makes no assumptions of the attacker. Through extensive numerical experiments with benchmark datasets, we show that the proposed defense mechanism outperforms the state of the art defenses in terms of prediction accuracy (up to 76% lower MSE compared to an undefended ridge model) and running time.


title: Time-frequency optical filtering: efficiency vs. temporal-mode discrimination in incoherent and coherent implementations

abstract: Time-frequency (TF) filtering of analog signals has played a crucial role in the development of radio-frequency communications, and is currently being recognized as an essential capability for communications, both classical and quantum, in the optical frequency domain. How best to design optical time-frequency (TF) filters to pass a targeted temporal mode (TM), and to reject background (noise) photons in the TF detection window? The solution for coherent TF filtering is known, the quantum pulse gate, whereas the conventional, more common method is implemented by a sequence of incoherent spectral filtering and temporal gating operations. To compare these two methods, we derive a general formalism for two-stage incoherent time frequency filtering, finding expressions for signal pulse transmission efficiency, and for the ability to discriminate TMs, which allows the blocking of unwanted background light. We derive the tradeoff between efficiency and TM discrimination ability, and find a remarkably concise relation between these two quantities and the time-bandwidth product of the combined filters. We apply the formalism to two examples, rectangular filters or Gaussian filters, both of which have known orthogonal-function decompositions. The formalism can be applied to any state of light occupying the input temporal mode, e.g., classical coherent-state signals or pulsed single photon states of light. We point out implications in classical and quantum optical communications. As an example, we study quantum key distribution, wherein strong rejection of background noise is necessary to maintain a high quality of entanglement, while high signal transmission is needed to ensure a useful key generation rate.


title: Enhanced scattering between electrons and exciton-polaritons in a microcavity

abstract: The interplay between strong light-matter interactions and charge doping represents an important frontier in the pursuit of exotic many-body physics and optoelectronics. Here, we consider a simplified model of a two-dimensional semiconductor embedded in a microcavity, where the interactions between electrons and holes are strongly screened, allowing us to develop a diagrammatic formalism for this system with an analytic expression for the exciton-polariton propagator. We apply this to the scattering of spin-polarized polaritons and electrons, and show that this is strongly enhanced compared with exciton-electron interactions. As we argue, this counter-intuitive result is a consequence of the shift of the collision energy due to the strong light-matter coupling, and hence this is a generic feature that applies also for more realistic electron-hole and electron-electron interactions. We furthermore demonstrate that the lack of Galilean invariance inherent in the light-matter coupled system can lead to a narrow resonance-like feature for polariton-electron interactions close to the polariton inflection point. Our results are potentially important for realizing tunable light-mediated interactions between charged particles.


title: Phase-isometries on the unit sphere of $C(K)$

abstract: We say that a map $T: S_X\rightarrow S_Y$ between the unit spheres of two real normed-spaces $X$ and $Y$ is a phase-isometry if it satisfies \begin{eqnarray*} \{\|T(x)+T(y)\|, \|T(x)-T(y)\|\}=\{\|x+y\|, \|x-y\|\} \end{eqnarray*} for all $x,y\in S_X$. In the present paper, we show that there is a phase function $\varepsilon:S_X\rightarrow \{-1,1\}$ such that $\varepsilon \cdot T$ is an isometry which can be extended a linear isometry on the whole space $X$ whenever $T$ is surjective, $X=C(K)$ ($K$ is a compact Hausdorff space) and $Y$ is an arbitrary Banach space. Additionally, if $T$ is a phase-isometry between the unit spheres of $C(K)$ and $C(\Omega)$, where $K$ and $\Omega$ are compact Hausdorff spaces, we prove that there is a homeomorphism $\varphi: \Omega\rightarrow K$ such that $T(f)\in\{f\circ \varphi,-f\circ \varphi\}$ for all $f\in S_{C(K)}$. This also can be seen as a Banach-Stone type representation for phase-isometries in $C(K)$ spaces.


title: Algorithmic Transparency with Strategic Users

abstract: Should firms that apply machine learning algorithms in their decision-making make their algorithms transparent to the users they affect? Despite growing calls for algorithmic transparency, most firms have kept their algorithms opaque, citing potential gaming by users that may negatively affect the algorithm's predictive power. We develop an analytical model to compare firm and user surplus with and without algorithmic transparency in the presence of strategic users and present novel insights. We identify a broad set of conditions under which making the algorithm transparent benefits the firm. We show that, in some cases, even the predictive power of machine learning algorithms may increase if the firm makes them transparent. By contrast, users may not always be better off under algorithmic transparency. The results hold even when the predictive power of the opaque algorithm comes largely from correlational features and the cost for users to improve on them is close to zero. Overall, our results show that firms should not view manipulation by users as bad. Rather, they should use algorithmic transparency as a lever to motivate users to invest in more desirable features.


title: Defending Distributed Classifiers Against Data Poisoning Attacks

abstract: Support Vector Machines (SVMs) are vulnerable to targeted training data manipulations such as poisoning attacks and label flips. By carefully manipulating a subset of training samples, the attacker forces the learner to compute an incorrect decision boundary, thereby cause misclassifications. Considering the increased importance of SVMs in engineering and life-critical applications, we develop a novel defense algorithm that improves resistance against such attacks. Local Intrinsic Dimensionality (LID) is a promising metric that characterizes the outlierness of data samples. In this work, we introduce a new approximation of LID called K-LID that uses kernel distance in the LID calculation, which allows LID to be calculated in high dimensional transformed spaces. We introduce a weighted SVM against such attacks using K-LID as a distinguishing characteristic that de-emphasizes the effect of suspicious data samples on the SVM decision boundary. Each sample is weighted on how likely its K-LID value is from the benign K-LID distribution rather than the attacked K-LID distribution. We then demonstrate how the proposed defense can be applied to a distributed SVM framework through a case study on an SDR-based surveillance system. Experiments with benchmark data sets show that the proposed defense reduces classification error rates substantially (10% on average).


title: Occupancy Anticipation for Efficient Exploration and Navigation

abstract: State-of-the-art navigation methods leverage a spatial memory to generalize to new environments, but their occupancy maps are limited to capturing the geometric structures directly observed by the agent. We propose occupancy anticipation, where the agent uses its egocentric RGB-D observations to infer the occupancy state beyond the visible regions. In doing so, the agent builds its spatial awareness more rapidly, which facilitates efficient exploration and navigation in 3D environments. By exploiting context in both the egocentric views and top-down maps our model successfully anticipates a broader map of the environment, with performance significantly better than strong baselines. Furthermore, when deployed for the sequential decision-making tasks of exploration and navigation, our model outperforms state-of-the-art methods on the Gibson and Matterport3D datasets. Our approach is the winning entry in the 2020 Habitat PointNav Challenge. Project page: http://vision.cs.utexas.edu/projects/occupancy_anticipation/


title: One dimensional nexus objects, network of Kibble-Lazarides-Shafi string walls, and their spin dynamic response in polar distorted B-phase of $^3$He

abstract: The Kibble-Lazarides-Shafi (KLS) domain wall problem in the axion solution of CP violation in QCD has condensed-matter based analogy in the nafen-distorted superfluid $^3$He. Recent experiment in rotating superfluid $^3$He produced the network of KLS string walls in human controllable system. In this system, KLS string wall appears in two-step symmetry break transition from normal phase to polar-distorted B phase and turn out to be the descendants of HQVs of polar phase. Here we show the KLS string wall smoothly connects to spin solitons when the spin orbital coupling is taken into account. This means HQVs are 1D nexus which connects the spin solitons and the KLS domain walls. This is because the subgroup $G=\pi_{1}(S_{S}^{1},\tilde{R}_{2})$ of relative homotopy group describing the spin solitons is isomorphic to the group describing the half spin vortices -- the spin textures KLS string wall. In the nafen-distorted $^3$He system, 1D nexus objects and the spin solitons with topological invariant $2/4$ form two different types of network, which are named as pseudo-random lattices of inseparable and separable spin solitons. These two types lattices correspond to two different representations of $G$. We discuss the condition under which pseudo-random lattices model works. The equilibrium configuration and surface densities of free energies are calculated by numeric minimization. Based on the equilibrium spin textures of different pseudo-random lattices, we calculated their transverse NMR spectrum, the resulted frequency shifts and $\sqrt{\Omega}$-scaling of ratio intensity exactly coincide with the experimental measurements. We also discussed the mirror symmetry in the presence of KLS domain wall and the influence of the explicitly break of this discrete symmetry. Our discussions and considerations can be applied to the composite defects in other condensed matter and cosmological system.

categories: cond-mat.mes-hall astro-ph.CO cond-mat.dis-nn cond-mat.supr-con hep-ph


title: Influence of inhibitory synapses on the criticality of excitable neuronal networks

abstract: In this work, we study the dynamic range of a neuronal network of excitable neurons with excitatory and inhibitory synapses. We obtain an analytical expression for the critical point as a function of the excitatory and inhibitory synaptic intensities. We also determine an analytical expression that gives the critical point value in which the maximal dynamic range occurs. Depending on the mean connection degree and coupl\-ing weights, the critical points can exhibit ceasing or ceaseless dynamics. However, the dynamic range is equal in both cases. We observe that the external stimulus mask some effects of self-sustained activity (ceaseless dynamic) in the region where the dynamic range is calculated. In these regions, the firing rate is the same for ceaseless dynamics and ceasing activity. Furthermore, we verify that excitatory and inhibitory inputs are approximately equal for a network with a large number of connections, showing excitatory-inhibitory balance as reported experimentally.


title: Low background measurement in CANDLES-III for studying the neutrino-less double beta decay of $^{48}$Ca

abstract: We developed a CANDLES-III system to study the neutrino-less double beta (0$\nu\beta\beta$) decay of $^{48}$Ca. The proposed system employs 96 CaF$_{2}$ scintillation crystals (305 kg) with natural Ca ($^{\rm nat.}$Ca) isotope which corresponds 350\,g of $^{48}$Ca. External backgrounds were rejected using a 4$\pi$ active shield of a liquid scintillator surrounding the CaF$_2$ crystals. The internal backgrounds caused by the radioactive impurities within the CaF$_2$ crystals can be reduced effectively through analysis of the signal pulse shape. We analyzed the data obtained in the Kamioka underground for a live-time of 130.4\,days to evaluate the feasibility of the low background measurement with the CANDLES-III detector. Using Monte Carlo simulations, we estimated the background rate from the radioactive impurities in the CaF$_{2}$ crystals and the rate of high energy $\gamma$-rays caused by the (n, $\gamma$) reactions induced by environmental neutrons. The expected background rate was in a good agreement with the measured rate, i.e., approximately 10$^{-3}$ events/keV/yr/(kg of $^{\rm nat.}$Ca), in the 0$\nu\beta\beta$ window. In conclusion, the background candidates were estimated properly by comparing the measured energy spectrum with the background simulations. With this measurement method, we performed the first search for 0$\nu\beta\beta$ decay in a low background condition using a detector with a Ca isotope, in which the Ca present was not enriched, in a scale of hundreds of kg. The $^{48}$Ca isotope has a high potential for use in 0$\nu\beta\beta$ decay search, and is expected to be useful for the development of a next-generation detector for highly sensitive measurements.


title: Automating the assessment of biofouling in images using expert agreement as a gold standard

abstract: Biofouling is the accumulation of organisms on surfaces immersed in water. It is of particular concern to the international shipping industry because it increases fuel costs and presents a biosecurity risk by providing a pathway for non-indigenous marine species to establish in new areas. There is growing interest within jurisdictions to strengthen biofouling risk-management regulations, but it is expensive to conduct in-water inspections and assess the collected data to determine the biofouling state of vessel hulls. Machine learning is well suited to tackle the latter challenge, and here we apply deep learning to automate the classification of images from in-water inspections to identify the presence and severity of fouling. We combined several datasets to obtain over 10,000 images collected from in-water surveys which were annotated by a group biofouling experts. We compared the annotations from three experts on a 120-sample subset of these images, and found that they showed 89% agreement (95% CI: 87-92%). Subsequent labelling of the whole dataset by one of these experts achieved similar levels of agreement with this group of experts, which we defined as performing at most 5% worse (p=0.009-0.054). Using these expert labels, we were able to train a deep learning model that also agreed similarly with the group of experts (p=0.001-0.014), demonstrating that automated analysis of biofouling in images is feasible and effective using this method.


title: Don't Change Me! User-Controllable Selective Paraphrase Generation

abstract: In the paraphrase generation task, source sentences often contain phrases that should not be altered. Which phrases, however, can be context dependent and can vary by application. Our solution to this challenge is to provide the user with explicit tags that can be placed around any arbitrary segment of text to mean "don't change me!" when generating a paraphrase; the model learns to explicitly copy these phrases to the output. The contribution of this work is a novel data generation technique using distant supervision that allows us to start with a pretrained sequence-to-sequence model and fine-tune a paraphrase generator that exhibits this behavior, allowing user-controllable paraphrase generation. Additionally, we modify the loss during fine-tuning to explicitly encourage diversity in model output. Our technique is language agnostic, and we report experiments in English and Chinese.


title: The non-commuting, non-generating graph of a nilpotent group

abstract: For a nilpotent group $G$, let $\Xi(G)$ be the difference between the complement of the generating graph of $G$ and the commuting graph of $G$, with vertices corresponding to central elements of $G$ removed. That is, $\Xi(G)$ has vertex set $G \setminus Z(G)$, with two vertices adjacent if and only if they do not commute and do not generate $G$. Additionally, let $\Xi^+(G)$ be the subgraph of $\Xi(G)$ induced by its non-isolated vertices. We show that if $\Xi(G)$ has an edge, then $\Xi^+(G)$ is connected with diameter $2$ or $3$, with $\Xi(G) = \Xi^+(G)$ in the diameter $3$ case. In the infinite case, our results apply more generally, to any group with every maximal subgroup normal. When $G$ is finite, we explore the relationship between the structures of $G$ and $\Xi(G)$ in more detail.


title: Theory of polariton-electron interactions in semiconductor microcavities

abstract: We develop a microscopic description of an electron-doped two-dimensional semiconductor embedded in a microcavity. Specifically, we investigate the interactions between exciton-polaritons and electrons for the case where the interactions between charges are strongly screened and the system is spin polarized. As a starting point, we obtain an analytic expression for the exciton-polariton wave function, and we relate the microscopic parameters of the light-matter system to experimentally measurable quantities, such as the Rabi coupling and the cavity photon frequency. We then derive the polariton-electron interaction within the standard Born approximation and compare it with the exact polariton-electron scattering $T$ matrix that we obtain from a diagrammatic approach that has proven highly successful in the context of nuclear physics and ultracold atomic gases. In particular, we show that the Born approximation provides an upper bound on the polariton-electron coupling strength at vanishing momentum. Using our exact microscopic calculation, we demonstrate that polariton-electron scattering can be strongly enhanced compared to the exciton-electron case, which is the opposite of that expected from the Born approximation. We furthermore expose a resonance-like peak at scattering momenta near the polariton inflection point, whose size is set by the strength of the light-matter coupling. Our results arise from the non-Galilean nature of the polariton system and should thus be applicable to a range of semiconductor microcavities such as GaAs quantum wells and atomically thin materials.


title: A Composable Specification Language for Reinforcement Learning Tasks

abstract: Reinforcement learning is a promising approach for learning control policies for robot tasks. However, specifying complex tasks (e.g., with multiple objectives and safety constraints) can be challenging, since the user must design a reward function that encodes the entire task. Furthermore, the user often needs to manually shape the reward to ensure convergence of the learning algorithm. We propose a language for specifying complex control tasks, along with an algorithm that compiles specifications in our language into a reward function and automatically performs reward shaping. We implement our approach in a tool called SPECTRL, and show that it outperforms several state-of-the-art baselines.


title: Properly colored cycles in edge-colored complete graphs containing no monochromatic triangles: a vertex-pancyclic analogous result

abstract: A properly colored cycle (path) in an edge-colored graph is a cycle (path) with consecutive edges assigned distinct colors. A monochromatic triangle is a cycle of length $3$ with the edges assigned a same color. It is known that every edge-colored complete graph without containing monochromatic triangles always contains a properly colored Hamilton path. In this paper, we investigate the existence of properly colored cycles in edge-colored complete graphs when monochromatic triangles are forbidden. We obtain a vertex-pancyclic analogous result combined with a characterization of all the exceptions.


title: Effects of drug resistance in the tumour-immune system with chemotherapy treatment

abstract: Cancer is a term used to refer to a large set of diseases. The cancerous cells grow and divide and, as a result, they form tumours that grow in size. The immune system recognise the cancerous cells and attack them, though, it can be weakened by the cancer. One type of cancer treatment is chemotherapy, which uses drugs to kill cancer cells. Clinical, experimental, and theoretical research has been developed to understand the dynamics of cancerous cells with chemotherapy treatment, as well as the interaction between tumour growth and immune system. We study a mathematical model that describes the cancer growth, immune system response, and chemotherapeutic agents. The immune system is composed of resting cells that are converted to hunting cells to combat the cancer. In this work, we consider drug sensitive and resistant cancer cells. We show that the tumour growth can be controlled not only by means of different chemotherapy protocols, but also by the immune system that attacks both sensitive and resistant cancer cells. Furthermore, for all considered protocols, we demonstrate that the time delay from resting to hunting cells plays a crucial role in the combat against cancer cells.


title: Experimental determination of ferric iron partitioning between pyroxene and melt at 100KPa

abstract: Pyroxene is the principal host of Fe$^{3+}$ in basalt source regions, hosting 79 and 81% of the Fe$^{3+}$ in spinel and garnet lherzolite, respectively, with opx and cpx hosting 48% and 31%, respectively, of the total Fe$^{3+}$ in spinel peridotite. To better understand partitioning of Fe$^{3+}$ between pyroxene and melt we conducted experiments at 100 KPa with f$_{O2}$ controlled by CO-CO$_2$ gas mixes between $\Delta$QFM -1.19 to +2.06 in a system containing andesitic melt saturated with opx or cpx only. To produce large (100-150 $\mu$m), homogeneous pyroxenes, we employed a dynamic cooling technique with a 5-10$\deg$C/h cooling rate, and initial and final dwell temperatures 5-10$\deg$C and 20-30$^\circ$C super and sub-liquidus, respectively. Resulting pyroxene crystals have absolute variation in Al$_2$O$_3$ and TiO$_2$ <0.05 wt.% and <0.02 wt.%, respectively. Fe$^{3+}$/Fe$^T$ in pyroxenes and quenched glass were measured by XANES. We used a newly developed XANES calibration for cpx and opx by only selecting spectra with X-ray vibrating on the optic axial plane at $50 \pm 5^\circ$ to the crystallographic c axis. Values of DFe$^{3+}$ cpx/melt increase from 0.03 to 0.53 as fO2 increases from $\Delta$QFM -0.44 to 2.06, while DFe$^{3+}$ opx/melt remains unchanged at 0.26 between $\Delta$QFM -1.19 to +1.37. In comparison to natural peridotitic pyroxenes, Fe$^{3+}$/FeT in pyroxenes crystallized in this study are lower at similar f$_{O2}$, presumably owing to lower Al$^{3+}$ contents. This study shows that the existing thermodynamic models implemented in pMELTS and Perple_X over-predict the stability of Fe$^{3+}$ in pyroxenes, causing an anomalous reduced character to spinel peridotites at calculated conditions of MORB genesis.