title: Tailoring Terahertz Propagation by Phase and Amplitude Control in Metasurfaces

abstract: Using metasurfaces to control the wave propagation at will has been very successful over the broad electromagnetic spectrum in recent years. By encoding specially designed abrupt changes of electromagnetic parameters into metasurfaces, such as phase and amplitude, nearly arbitrary control over the output wavefronts could be realized. Constituted by a single- or fewlayer of planar structures, metasurfaces are straightforward in design and fabrication, thus promising many realistic applications. Moreover, such control concept can be further extended to the surface wave regime. In this review, we present our recent progress on metasurfaces capable of tailoring the propagation of both free-space and surface terahertz waves. Following an introduction of the basic concept and theory, a number of unique terahertz metasurfaces are presented, showing the ability in devising ultra-thin and compact functional terahertz components.


title: Testing Feedforward Neural Networks Training Programs

abstract: Nowadays, we are witnessing an increasing effort to improve the performance and trustworthiness of Deep Neural Networks (DNNs), with the aim to enable their adoption in safety critical systems such as self-driving cars. Multiple testing techniques are proposed to generate test cases that can expose inconsistencies in the behavior of DNN models. These techniques assume implicitly that the training program is bug-free and appropriately configured. However, satisfying this assumption for a novel problem requires significant engineering work to prepare the data, design the DNN, implement the training program, and tune the hyperparameters in order to produce the model for which current automated test data generators search for corner-case behaviors. All these model training steps can be error-prone. Therefore, it is crucial to detect and correct errors throughout all the engineering steps of DNN-based software systems and not only on the resulting DNN model. In this paper, we gather a catalog of training issues and based on their symptoms and their effects on the behavior of the training program, we propose practical verification routines to detect the aforementioned issues, automatically, by continuously validating that some important properties of the learning dynamics hold during the training. Then, we design, TheDeepChecker, an end-to-end property-based debugging approach for DNN training programs. We assess the effectiveness of TheDeepChecker on synthetic and real-world buggy DL programs and compare it with Amazon SageMaker Debugger (SMD). Results show that TheDeepChecker's on-execution validation of DNN-based program's properties succeeds in revealing several coding bugs and system misconfigurations, early on and at a low cost. Moreover, TheDeepChecker outperforms the SMD's offline rules verification on training logs in terms of detection accuracy and DL bugs coverage.


title: On the Kor\'anyi Spherical maximal function on Heisenberg groups

abstract: We prove $L^p\to L^q$ estimates for the local maximal operator associated with dilates of the K\'oranyi sphere in Heisenberg groups. These estimates are sharp up to endpoints and imply new bounds on sparse domination for the corresponding global maximal operator. We also prove sharp $L^p\to L^q$ estimates for spherical means over the Kor\'anyi sphere, which can be used to improve the sparse domination bounds for the associated lacunary maximal operator.


title: Advancements in high refractive index media: from quantum coherence in atomic system to deep sub-wavelength coupling in metamaterials

abstract: Refractive index enhancement is crucial in the field of lithography, imaging, optical communications, solar devices and many more. We present a review of advancements in the process of designing high refractive index metamaterials, starting from quantum coupling and photonic bandgap materials to metamaterials utilizing deep subwavelength coupling to achieve ever-high values of refractive index. A crisp and critical impression of each scheme are presented. The understanding of evolution of material design from intrinsic electronic states manipulation to meta-atoms design is not only fascinating but prerequisite to developing successful devices and applications.


title: Assisted Shortest Path Planning for a Convoy through a Repairable Network

abstract: In this article, we consider a multi-agent path planning problem in a partially impeded environment. The impeded environment is represented by a graph with select road segments (edges) in disrepair impeding vehicular movement in the road network. A convoy wishes to travel from a starting location to a destination while minimizing some accumulated cost. The convoy may traverse an impeded edge for an additional cost (associated with repairing the edge) than if it were unimpeded. A second vehicle, referred to as a service vehicle, is simultaneously deployed with the convoy. The service vehicle assists the convoy by repairing an edge, reducing the cost for the convoy to traverse that edge. The convoy is permitted to wait at any vertex to allow the service vehicle to complete repairing an edge. The service vehicle is permitted to terminate its path at any vertex. The goal is then to find a pair of paths so the convoy reaches its destination while minimizing the total time (cost) the two vehicles are active, including any time the convoy waits. We refer to this problem as the Assisted Shortest Path Problem (ASPP). We present a generalized permanent labeling algorithm to find an optimal solution for the ASPP. We also introduce additional modifications to the labeling algorithm to significantly improve the computation time and refer to the modified labeling algorithm as $GPLA^*$. Computational results are presented to illustrate the effectiveness of $GPLA^*$ in solving the ASPP. We then give concluding remarks and briefly discuss potential variants of the ASPP for future work.


title: Improving the convergence order of binary neutron star merger simulations in the Baumgarte-Shapiro-Shibata-Nakamura formulation

abstract: High-accuracy numerical relativity simulations of binary neutron star mergers are a necessary ingredient for constructing gravitational waveform templates to analyze and interpret observations of compact object mergers. Numerical convergence in the post-merger phase of such simulations is challenging to achieve with many modern codes. In this paper, we study two ways of improving the convergence properties of binary neutron star merger simulations within the Baumgarte-Shapiro-Shibata-Nakamura formulation of Einstein's equations. We show that discontinuities in a particular constraint damping scheme in this formulation can destroy the post-merger convergence of the simulation. A continuous prescription, in contrast, ensures convergence until late times. We additionally study the impact of the equation of state parametrization on the pre- and post-merger convergence properties of the simulations. In particular, we compare results for a piecewise polytropic parametrization, which is commonly used in merger simulations but suffers unphysical discontinuities in the sound speed, with results using a "generalized" piecewise polytropic parametrization, which was designed to ensure both continuity and differentiability of the equation of state. We report on the differences in the gravitational waves and any spurious pre-merger heating, depending on which equation of state parametrization is used.


title: Reduced density matrix functional theory from an ab initio seniority-zero wave function: Exact and approximate formulations along adiabatic connection paths

abstract: Currently, there is a growing interest in the development of a new hierarchy of methods based on the concept of seniority, which has been introduced quite recently in quantum chemistry. Despite the enormous potential of these methods, the accurate description of both dynamical and static correlation effects within a single and in-principle-exact approach remains a challenge. In this work, we propose an alternative formulation of reduced density-matrix functional theory (RDMFT) where the (one-electron reduced) density matrix is mapped onto an ab initio seniority-zero wave function. In this theory, the exact natural orbitals and their occupancies are determined self-consistently from an effective seniority-zero calculation. The latter involves a universal higher-seniority density matrix functional for which an adiabatic connection (AC) formula is derived and implemented under specific constraints that are related to the density matrix. The pronounced curvature of the (constrained) AC integrand, which is numerically observed in prototypical hydrogen chains and the Helium dimer, indicates that a description of higher-seniority correlations within second-order perturbation theory is inadequate in this context. Applying multiple linear interpolations along the AC or connecting second-order perturbation theory to a full-seniority treatment via Pad\'{e} approximants are better strategies. Such information is expected to serve as a guide in the future design of higher-seniority density-matrix functional approximations.


title: Asymptotic normality of the least sum of squares of trimmed residuals estimator

abstract: To enhance the robustness of the classic least sum of squares (LS) of the residuals estimator, Zuo (2022) introduced the least sum of squares of trimmed (LST) residuals estimator. The LST enjoys many desired properties and serves well as a robust alternative to the LS. Its asymptotic properties, including strong and root-n consistency, have been established whereas the asymptotic normality is left unaddressed. This article solves this remained problem.


title: Feedback and control systems for future linear colliders: White Paper for Snowmass 2021 Topical Group AF07-RF

abstract: Particle accelerators for high energy physics will generate TeV-scale particle beams in large, multi-Km size machines colliding high brightness beams at the interaction point [1-4]. The high luminosity in such machines is achieved by producing very small asymmetric beam size at the interaction point, with short durations to minimize beam-beam effects. Tuning energy, timing and position of the beam for optimal performance will require high-precision controls of amplitude and phase of high-frequency electromagnetic fields and real-time processing of complex algorithms. The stability of the colliding beams has a large impact on the collider's effective luminosity. Therefore, the technology readiness level of diagnostic and control systems will be a major consideration in the collider design. The technical requirements of such systems depend on the specifics of beam parameters, such as transverse and longitudinal dimensions, charge/pulse and beam pulse format, which are driven by the accelerating technology of choice. While feedback systems with single bunch position monitor resolution below 50 nm and latency <300 ns have been demonstrated in beam test facilities, many advanced collider concepts make use of higher repetition rates, brighter beams and higher accelerating frequencies, and will require better performance, up to 1-2 order of magnitude, demanding aggressive R&D to be able to deliver and maintain the targeted luminosity.


title: Behavioral Feedback for Optimal LQG Control

abstract: In this work, we revisit the Linear Quadratic Gaussian (LQG) optimal control problem from a behavioral perspective. Motivated by the suitability of behavioral models for data-driven control, we begin with a reformulation of the LQG problem in the space of input-output behaviors and obtain a complete characterization of the optimal solutions. In particular, we show that the optimal LQG controller can be expressed as a static behavioral-feedback gain, thereby eliminating the need for dynamic state estimation characteristic of state space methods. The static form of the optimal LQG gain also makes it amenable to its computation by gradient descent, which we investigate via numerical experiments. Furthermore, we highlight the advantage of this approach in the data-driven control setting of learning the optimal LQG controller from expert demonstrations.


title: A Reinforcement Learning Approach to Sensing Design in Resource-Constrained Wireless Networked Control Systems

abstract: In this paper, we consider a wireless network of smart sensors (agents) that monitor a dynamical process and send measurements to a base station that performs global monitoring and decision-making. Smart sensors are equipped with both sensing and computation, and can either send raw measurements or process them prior to transmission. Constrained agent resources raise a fundamental latency-accuracy trade-off. On the one hand, raw measurements are inaccurate but fast to produce. On the other hand, data processing on resource-constrained platforms generates accurate measurements at the cost of non-negligible computation latency. Further, if processed data are also compressed, latency caused by wireless communication might be higher for raw measurements. Hence, it is challenging to decide when and where sensors in the network should transmit raw measurements or leverage time-consuming local processing. To tackle this design problem, we propose a Reinforcement Learning approach to learn an efficient policy that dynamically decides when measurements are to be processed at each sensor. Effectiveness of our proposed approach is validated through a numerical simulation with case study on smart sensing motivated by the Internet of Drones.


title: THz emission from Fe/Pt spintronic emitters with L1$_{0}$-FePt alloyed interface

abstract: Recent developments in nanomagnetism and spintronics have enabled the use of ultrafast spin physics for terahertz (THz) emission. Spintronic THz emitters, consisting of ferromagnetic FM / non-magnetic (NM) thin film heterostructures, have demonstrated impressive properties for the use in THz spectroscopy and have great potential in scientific and industrial applications. In this work, we focus on the impact of the FM/NM interface on the THz emission by investigating Fe/Pt bilayers with engineered interfaces. In particular, we intentionally modify the Fe/Pt interface by inserting an ordered L1$_{0}$-FePt alloy interlayer. Subsequently, we establish that a Fe/L1$_{0}$-FePt (2\,nm)/Pt configuration is significantly superior to a Fe/Pt bilayer structure, regarding THz emission amplitude. The latter depends on the extent of alloying on either side of the interface. The unique trilayer structure opens new perspectives in terms of material choices for the next generation of spintronic THz emitters.


title: Structure and Correlations for Harmonically Confined Charges

abstract: Coulomb charges confined by a harmonic potential display a rich structure at strong coupling, both classical and quantum. A simple density functional theory is reviewed showing the essential role of correlations in forming shell structure and order within the shells. An overview of previous comparisons with molecular dynamics and Monte Carlo simulations is summarized and extended.


title: Strategies for Safe Multi-Armed Bandits with Logarithmic Regret and Risk

abstract: We investigate a natural but surprisingly unstudied approach to the multi-armed bandit problem under safety risk constraints. Each arm is associated with an unknown law on safety risks and rewards, and the learner's goal is to maximise reward whilst not playing unsafe arms, as determined by a given threshold on the mean risk. We formulate a pseudo-regret for this setting that enforces this safety constraint in a per-round way by softly penalising any violation, regardless of the gain in reward due to the same. This has practical relevance to scenarios such as clinical trials, where one must maintain safety for each round rather than in an aggregated sense. We describe doubly optimistic strategies for this scenario, which maintain optimistic indices for both safety risk and reward. We show that schema based on both frequentist and Bayesian indices satisfy tight gap-dependent logarithmic regret bounds, and further that these play unsafe arms only logarithmically many times in total. This theoretical analysis is complemented by simulation studies demonstrating the effectiveness of the proposed schema, and probing the domains in which their use is appropriate.


title: Efficient Argument Structure Extraction with Transfer Learning and Active Learning

abstract: The automation of extracting argument structures faces a pair of challenges on (1) encoding long-term contexts to facilitate comprehensive understanding, and (2) improving data efficiency since constructing high-quality argument structures is time-consuming. In this work, we propose a novel context-aware Transformer-based argument structure prediction model which, on five different domains, significantly outperforms models that rely on features or only encode limited contexts. To tackle the difficulty of data annotation, we examine two complementary methods: (i) transfer learning to leverage existing annotated data to boost model performance in a new target domain, and (ii) active learning to strategically identify a small amount of samples for annotation. We further propose model-independent sample acquisition strategies, which can be generalized to diverse domains. With extensive experiments, we show that our simple-yet-effective acquisition strategies yield competitive results against three strong comparisons. Combined with transfer learning, substantial F1 score boost (5-25) can be further achieved during the early iterations of active learning across domains.


title: A Networked Competitive Multi-Virus SIR Model: Analysis and Observability

abstract: This paper proposes a novel discrete-time multi-virus SIR (susceptible-infected-recovered) model that captures the spread of competing SIR epidemics over a population network. First, we provide a sufficient condition for the infection level of all the viruses over the networked model to converge to zero in exponential time. Second, we propose an observation model which captures the summation of all the viruses' infection levels in each node, which represents the individuals who are infected by different viruses but share similar symptoms. We present a sufficient condition for the model to be locally observable. We propose a Luenberger observer for the system state estimation and show via simulations that the estimation error of the Luenberger observer converges to zero before the viruses die out.


title: Estimating the Heights of Martian Vortices from Mars 2020 MEDA Data

abstract: Small convective vortices occur ubiquitously on Mars, frequently as dust devils, and they produce detectable signals in meteorological data -- in pressure, temperature, and wind speed and direction. In addition to being important contributors to the martian dust budget, convective vortices may serve as probes of the boundary layer, providing clues on convective instability, boundary layer diurnal evolution, and surface-atmosphere interactions. Using vortices as boundary layer probes requires a detailed understanding of the link between their properties and occurrence rates and the conditions that produce them. Fortunately, the growing cache of data from the Mars Environmental Dynamics Analyzer (MEDA) instrument suite onboard the Mars 2020 Perseverance rover promises to elucidate these relationships. In this study, we present a catalog of vortex detections from mission sols 90 through 179 to bolster our previous catalog based on sols 15 through 89. Consistent with predictions, we find more vortex encounters during this second half of the mission than from the first half. In addition to analyzing the pressure signals from these vortex encounters, we also use a Gaussian process analysis to recover contemporaneous temperature signals. By combining these signals with a long-established thermodynamics model, we estimate heights of the vortices and find some agreement with previous work and evidence for the diurnal growth and decay of the martian boundary layer. We also discuss prospects for additional boundary layer studies using martian vortex encounters.


title: Improving quantum state detection with adaptive sequential observations

abstract: For many quantum systems intended for information processing, one detects the logical state of a qubit by integrating a continuously observed quantity over time. For example, ion and atom qubits are typically measured by driving a cycling transition and counting the number of photons observed from the resulting fluorescence. Instead of recording only the total observed count in a fixed time interval, one can observe the photon arrival times and get a state detection advantage by using the temporal structure in a model such as a Hidden Markov Model. We study what further advantage may be achieved by applying pulses to adaptively transform the state during the observation. We give a three-state example where adaptively chosen transformations yield a clear advantage, and we compare performances on an ion example, where we see improvements in some regimes. We provide a software package that can be used for exploration of temporally resolved strategies with and without adaptively chosen transformations.


title: TAC: Optimizing Error-Bounded Lossy Compression for Three-Dimensional Adaptive Mesh Refinement Simulations

abstract: Today's scientific simulations require a significant reduction of data volume because of extremely large amounts of data they produce and the limited I/O bandwidth and storage space. Error-bounded lossy compression has been considered one of the most effective solutions to the above problem. However, little work has been done to improve error-bounded lossy compression for Adaptive Mesh Refinement (AMR) simulation data. Unlike the previous work that only leverages 1D compression, in this work, we propose to leverage high-dimensional (e.g., 3D) compression for each refinement level of AMR data. To remove the data redundancy across different levels, we propose three pre-process strategies and adaptively use them based on the data characteristics. Experiments on seven AMR datasets from a real-world large-scale AMR simulation demonstrate that our proposed approach can improve the compression ratio by up to 3.3X under the same data distortion, compared to the state-of-the-art method. In addition, we leverage the flexibility of our approach to tune the error bound for each level, which achieves much lower data distortion on two application-specific metrics.


title: Scattering for Schr\"{o}dinger operators with potentials concentrated near a subspace

abstract: We study the scattering properties of Schr\"{o}dinger operators with bounded potentials concentrated near a subspace of $\mathbb{R}^d$. For such operators, we show the existence of scattering states and characterize their orthogonal complement as a set of surface states, which consists of states that are confined to the subspace (such as pure point states) and states that escape it at a sublinear rate, in a suitable sense. We provide examples of surface states for different systems including those that propagate along the subspace and those that escape the subspace arbitrarily slowly. Our proof uses a novel interpretation of the Enss method in order to obtain a dynamical characterisation of the orthogonal complement of the scattering states.


title: Individual Rationality Conditions of Identifying Matching Costs in Transferable Utility Matching Games

abstract: As the widely applied method for measuring matching assortativeness in a transferable utility matching game, a matching maximum score estimation is proposed by \cite{fox2010qe}. This article reveals that combining unmatched agents, transfers, and individual rationality conditions with sufficiently large penalty terms makes it possible to identify the coefficient parameter of a single common constant, i.e., matching costs in the market.


title: Reliable Geofence Activation with Sparse and Sporadic Location Measurements: Extended Version

abstract: Geofences are a fundamental tool of location-based services. A geofence is usually activated by detecting a location measurement inside the geofence region. However, location measurements such as GPS often appear sporadically on smartphones, partly due to weak signal, or privacy preservation, because users may restrict location sensing, or energy conservation, because sensing locations can consume a significant amount of energy. These unpredictable, and sometimes long, gaps between measurements mean that entry into a geofence can go completely undetected. In this paper we argue that short term location prediction can help alleviate this problem by computing the probability of entering a geofence in the future. Complicating this prediction approach is the fact that another location measurement could appear at any time, making the prediction redundant and wasteful. Therefore, we develop a framework that accounts for uncertain location predictions and the possibility of new measurements to trigger geofence activations. Our framework optimizes over the benefits and costs of correct and incorrect geofence activations, leading to an algorithm that reacts intelligently to the uncertainties of future movements and measurements.


title: A landscape of peaks: The intermittency islands of the stochastic heat equation with L\'evy noise

abstract: We show that the spatial profile of the solution to the stochastic heat equation features multiple layers of intermittency islands if the driving noise is non-Gaussian. On the one hand, as expected, if the noise is sufficiently heavy-tailed, the largest peaks of the solution will be taller under multiplicative than under additive noise. On the other hand, surprisingly, as soon as the noise has a finite moment of order $\frac2d$, where $d$ is the spatial dimension, the largest peaks will be of the same order for both additive and multiplicative noise, which is in sharp contrast to the behavior of the solution under Gaussian noise. However, in this case, a closer inspection reveals a second layer of peaks, beneath the largest peaks, that is exclusive to multiplicative noise and that can be observed by sampling the solution on the lattice. Finally, we compute the macroscopic Hausdorff and Minkowski dimensions of the intermittency islands of the solution. Under both additive and multiplicative noise, if it is not too heavy-tailed, the largest peaks will be self-similar in terms of their large-scale multifractal behavior. But under multiplicative noise, this type of self-similarity is not present in the peaks observed on the lattice.


title: CharacterBERT and Self-Teaching for Improving the Robustness of Dense Retrievers on Queries with Typos

abstract: Current dense retrievers are not robust to out-of-domain and outlier queries, i.e. their effectiveness on these queries is much poorer than what one would expect. In this paper, we consider a specific instance of such queries: queries that contain typos. We show that a small character level perturbation in queries (as caused by typos) highly impacts the effectiveness of dense retrievers. We then demonstrate that the root cause of this resides in the input tokenization strategy employed by BERT. In BERT, tokenization is performed using the BERT's WordPiece tokenizer and we show that a token with a typo will significantly change the token distributions obtained after tokenization. This distribution change translates to changes in the input embeddings passed to the BERT-based query encoder of dense retrievers. We then turn our attention to devising dense retriever methods that are robust to such queries with typos, while still being as performant as previous methods on queries without typos. For this, we use CharacterBERT as the backbone encoder and an efficient yet effective training method, called Self-Teaching (ST), that distills knowledge from queries without typos into the queries with typos. Experimental results show that CharacterBERT in combination with ST achieves significantly higher effectiveness on queries with typos compared to previous methods. Along with these results and the open-sourced implementation of the methods, we also provide a new passage retrieval dataset consisting of real-world queries with typos and associated relevance assessments on the MS MARCO corpus, thus supporting the research community in the investigation of effective and robust dense retrievers. Code, experimental results and dataset are made available at https://github.com/ielab/CharacterBERT-DR.


title: A Sensory Feedback Control Law for Octopus Arm Movements

abstract: The main contribution of this paper is a novel sensory feedback control law for an octopus arm. The control law is inspired by, and helps integrate, several observations made by biologists. The proposed control law is distinct from prior work which has mainly focused on open-loop control strategies. Several analytical results are described including characterization of the equilibrium and its stability analysis. Numerical simulations demonstrate life-like motion of the soft octopus arm, qualitatively matching behavioral experiments. Quantitative comparison with bend propagation experiments helps provide the first explanation of such canonical motion using a sensory feedback control law. Several remarks are included that help draw parallels with natural pursuit strategies such as motion camouflage or classical pursuit.


title: Implicit Feedback for Dense Passage Retrieval: A Counterfactual Approach

abstract: In this paper we study how to effectively exploit implicit feedback in Dense Retrievers (DRs). We consider the specific case in which click data from a historic click log is available as implicit feedback. We then exploit such historic implicit interactions to improve the effectiveness of a DR. A key challenge that we study is the effect that biases in the click signal, such as position bias, have on the DRs. To overcome the problems associated with the presence of such bias, we propose the Counterfactual Rocchio (CoRocchio) algorithm for exploiting implicit feedback in Dense Retrievers. We demonstrate both theoretically and empirically that dense query representations learnt with CoRocchio are unbiased with respect to position bias and lead to higher retrieval effectiveness. We make available the implementations of the proposed methods and the experimental framework, along with all results at https://github.com/ielab/Counterfactual-DR.


title: Attention-Based Applications in Extended Reality to Support Autistic Users: A Systematic Review

abstract: With the rising prevalence of autism diagnoses, it is essential for research to understand how to leverage technology to support the diverse nature of autistic traits. While traditional interventions focused on technology for medical cure and rehabilitation, recent research aims to understand how technology can accommodate each unique situation in an efficient and engaging way. Extended reality (XR) technology has been shown to be effective in improving attention in autistic users given that it is more engaging and motivating than other traditional mediums. Here, we conducted a systematic review of 59 research articles that explored the role of attention in XR interventions for autistic users. We systematically analyzed demographics, study design and findings, including autism screening and attention measurement methods. Furthermore, given methodological inconsistencies in the literature, we systematically synthesize methods and protocols including screening tools, physiological and behavioral cues of autism and XR tasks. While there is substantial evidence for the effectiveness of using XR in attention-based interventions for autism to support autistic traits, we have identified three principal research gaps that provide promising research directions to examine how autistic populations interact with XR. First, our findings highlight the disproportionate geographic locations of autism studies and underrepresentation of autistic adults, evidence of gender disparity, and presence of individuals diagnosed with co-occurring conditions across studies. Second, many studies used an assortment of standardized and novel tasks and self-report assessments with limited tested reliability. Lastly, the research lacks evidence of performance maintenance and transferability.


title: Shared User Interfaces of Physiological Data: Systematic Review of Social Biofeedback Systems and Contexts in HCI

abstract: As an emerging interaction paradigm, physiological computing is increasingly being used to both measure and feed back information about our internal psychophysiological states. While most applications of physiological computing are designed for individual use, recent research has explored how biofeedback can be socially shared between multiple users to augment human-human communication. Reflecting on the empirical progress in this area of study, this paper presents a systematic review of 64 studies to characterize the interaction contexts and effects of social biofeedback systems. Our findings highlight the importance of physio-temporal and social contextual factors surrounding physiological data sharing as well as how it can promote social-emotional competences on three different levels: intrapersonal, interpersonal, and task-focused. We also present the Social Biofeedback Interactions framework to articulate the current physiological-social interaction space. We use this to frame our discussion of the implications and ethical considerations for future research and design of social biofeedback interfaces.


title: Identifying Exoplanets with Machine Learning Methods: A Preliminary Study

abstract: The discovery of habitable exoplanets has long been a heated topic in astronomy. Traditional methods for exoplanet identification include the wobble method, direct imaging, gravitational microlensing, etc., which not only require a considerable investment of manpower, time, and money, but also are limited by the performance of astronomical telescopes. In this study, we proposed the idea of using machine learning methods to identify exoplanets. We used the Kepler dataset collected by NASA from the Kepler Space Observatory to conduct supervised learning, which predicts the existence of exoplanet candidates as a three-categorical classification task, using decision tree, random forest, na\"ive Bayes, and neural network; we used another NASA dataset consisted of the confirmed exoplanets data to conduct unsupervised learning, which divides the confirmed exoplanets into different clusters, using k-means clustering. As a result, our models achieved accuracies of 99.06%, 92.11%, 88.50%, and 99.79%, respectively, in the supervised learning task and successfully obtained reasonable clusters in the unsupervised learning task.


title: Twin-width VIII: delineation and win-wins

abstract: We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$ is monadically dependent. An effective strengthening of delineation for a class $\mathcal C$ implies that tractable FO model checking on $\mathcal C$ is perfectly understood: On hereditary closures $\mathcal D$ of subclasses of $\mathcal C$, FO model checking is fixed-parameter tractable (FPT) exactly when $\mathcal D$ has bounded twin-width. Ordered graphs [BGOdMSTT, STOC '22] and permutation graphs [BKTW, JACM '22] are effectively delineated, while subcubic graphs are not. On the one hand, we prove that interval graphs, and even, rooted directed path graphs are delineated. On the other hand, we show that segment graphs, directed path graphs, and visibility graphs of simple polygons are not delineated. In an effort to draw the delineation frontier between interval graphs (that are delineated) and axis-parallel two-lengthed segment graphs (that are not), we investigate the twin-width of restricted segment intersection classes. It was known that (triangle-free) pure axis-parallel unit segment graphs have unbounded twin-width [BGKTW, SODA '21]. We show that $K_{t,t}$-free segment graphs, and axis-parallel $H_t$-free unit segment graphs have bounded twin-width, where $H_t$ is the half-graph or ladder of height $t$. In contrast, axis-parallel $H_4$-free two-lengthed segment graphs have unbounded twin-width. Our new results, combined with the known FPT algorithm for FO model checking on graphs given with $O(1)$-sequences, lead to win-win arguments. For instance, we derive FPT algorithms for $k$-Ladder on visibility graphs of 1.5D terrains, and $k$-Independent Set on visibility graphs of simple polygons.


title: Analysis of Sparse Subspace Clustering: Experiments and Random Projection

abstract: Clustering can be defined as the process of assembling objects into a number of groups whose elements are similar to each other in some manner. As a technique that is used in many domains, such as face clustering, plant categorization, image segmentation, document classification, clustering is considered one of the most important unsupervised learning problems. Scientists have surveyed this problem for years and developed different techniques that can solve it, such as k-means clustering. We analyze one of these techniques: a powerful clustering algorithm called Sparse Subspace Clustering. We demonstrate several experiments using this method and then introduce a new approach that can reduce the computational time required to perform sparse subspace clustering.


title: On 2-transitive sets of equiangular lines

abstract: All finite sets of equiangular lines spanning finite-dimensional unitary spaces are determined for which the action on the lines of the set-stabilizer in the unitary group is 2-transitive with a regular normal subgroup.


title: Reduced-density-matrix-based ab initio cavity quantum electrodynamics

abstract: A reduced-density-matrix (RDM)-based approach to {\em ab initio} cavity quantum electrodynamics (QED) is developed. The expectation value of the Pauli-Fierz Hamiltonian is expressed in terms of one- and two-body electronic and photonic RDMs, and the elements of these RDMs are optimized directly in polynomial time by semidefinite programming techniques, without knowledge of the full wave function. QED generalizations of important ensemble $N$-representability conditions are derived and enforced in this procedure. The resulting approach is applied to the description of classic ground-state strong electron correlation problems, augmented by the presence of ultrastrong light-matter coupling. First, we assess cavity-induced changes to the singlet-triplet energy gap of the linear oligoacene series; for a heptacene molecule, this gap can change by as much as 1.9 kcal mol$^{-1}$ (or 15\%) when the molecule is aligned along the cavity mode polarization axis. We also explore the metal-insulator transition in linear hydrogen chains and demonstrate that strong electron-photon interactions increase the insulating character of these systems under all coupling strengths considered.


title: Numerical computation of a preimage domain for an infinite strip with rectilinear slits

abstract: Let $\Omega$ be the multiply connected domain in the extended complex plane $\overline{\C}$ obtained by removing $m$ non-overlapping rectilinear segments from the infinite strip $S=\{z\,:\, \left|\Im z\right|<\pi/2\}$. In this paper, we present an iterative method for numerical computation of a conformally equivalent bounded multiply connected domain $G$ in the interior of the unit disk $\D$ and the exterior of $m$ non-overlapping smooth Jordan curves. We demonstrate the utility of the proposed method through two applications. First, we estimate the capacity of condensers of the form $(S,E)$ where $E\subset S$ be a union of disjoint segments. Second, we determine the streamlines associated with uniform incompressible, inviscid and irrotational flow past disjoint segments in the strip $S$.


title: Quantum coherence of an orbital angular momentum multiplexed continuous-variable entangled state

abstract: Orbital angular momentum (OAM) multiplexed entangled state is an important quantum resource for high dimensional quantum information processing. In this paper, we experimentally quantify quantum coherence of OAM multiplexed continuous-variable (CV) entangled state and characterize its evolution in a noisy environment. We show that the quantum coherence of the OAM multiplexed CV entangled state carrying topological charges $l=1$ and $l=2$ are the same as that of the Gaussian mode with $l=0$ in a noisy channel. Furthermore, we show that the quantum coherence of OAM multiplexed entangled state is robust to noise, even though the sudden death of entanglement is observed. Our results provide reference for applying quantum coherence of OAM multiplexed CV entangled state in a noisy environment.


title: CO Emission Delineating the Interface between the Milky Way Nuclear Wind Cavity and the Gaseous Disk

abstract: Based on the MWISP survey, we study high-z CO emission toward the tangent points, in which the distances of the molecular clouds (MCs) are well determined. In the region of l=12-26 deg and |b|<5.1 deg, a total of 321 MCs with |z|> 110 pc are identified, of which nearly 30 extreme high-z MCs (EHMCs at |z|> 260 pc) are concentrated in a narrow region of R_GC=2.6-3.1 kpc. The EHMC concentrations, together with other high-z MCs at R_GC=2.3-2.6 kpc, constitute molecular crater-wall structures surrounding the edges of the HI voids that are physically associated with the Fermi bubbles. Intriguingly, some large high-z MCs, which lie in the crater walls above and below the Galactic plane, show cometary structures with the head toward the plane, favouring the scenario that the entrained molecular gas moves with the multi-phase flows from the plane to the high-z regions. We suggest that the Milky Way nuclear wind has a significant impact on the Galactic gaseous disk. The powerful nuclear wind at ~3-6 Myr ago is likely responsible for the observational features, (1) the enhanced CO gas lying in the edges of the HI voids, (2) the deficiency of atomic and molecular gas within R_GC<3 kpc, (3) the possible connection between the EHMC concentrations and the 3-kpc arm, and (4) the elongated high-z MCs with the tail pointing away from the Galactic plane.


title: The obstacle problem in masonry structures and cable nets

abstract: We consider the problem of finding a net that supports prescribed forces applied at prescribed points, yet avoids certain obstacles, with all the elements of the net under compression (strut net) or under tension (cable web). In the case of masonry structures, for instance, this consists in finding a strut net that supports the forces, is contained within the physical structure, and avoids regions that may be not accessible due, for instance, to the presence of holes. We solve such a problem in the two-dimensional case, where the prescribed forces are applied at the vertices of a convex polygon, and we treat the cases of both single and multiple obstacles. By approximating the obstacles by polygonal regions, the task reduces to identifying the feasible domain in a linear programming problem. For a single obstacle we show how the region $\Gamma$ available to the obstacle can be enlarged as much as possible in the sense that there is no other strut net, having a region $\Gamma_1$ available to the obstacle with $\Gamma_1 \subset\Gamma$. The case where some of the forces are reactive, unprescribed but reacting to the other prescribed forces, is also treated. It again reduces to identifying the feasible domain in a linear programming problem. Finally, one may allow a subset of the reactive forces to each act not at a prescribed point, but rather at any point on a prescribed line segment. Then the task reduces to identifying the feasible domain in a quadratic programming problem.


title: Hamiltonian variational formulation for nonequilibrium thermodynamics of simple closed systems

abstract: In this paper, we develop a Hamiltonian variational formulation for the nonequilibrium thermodynamics of simple adiabatically closed systems that is an extension of Hamilton's phase space principle in mechanics. We introduce the Hamilton-d'Alembert principle for thermodynamic systems by considering nonlinear nonholonomic constraints of thermodynamic type. In particular, for the case in which the given Lagrangian is degenerate, we construct the Hamiltonian by incorporating the primary constraints via Dirac's theory of constraints. We illustrate our Hamiltonian variational formulation with some examples of systems with friction, with internal matter transfer as well as with chemical reactions.


title: Intrinsic Frequency Limit of Direct Modulation of Resonant-Tunneling-Diode Terahertz Emitters and Effect of External Feedback Injection

abstract: Output power of resonant-tunneling-diode (RTD) terahertz (THz) emitters can be modulated by the bias modulation similar to a semiconductor laser. This property is useful for applications of the THz waves to wireless communications and radars. In this paper, we theoretically analyze the modulation-frequency dependence of the output response using an equivalent circuit of the RTD-THz oscillator. It is shown that there exists an intrinsic cutoff frequency of modulation in RTD, which is independent of the external circuit that supplies the modulation signal to the oscillator. This cutoff frequency is determined by the time constant given by the capacitance of RTD divided by the absolute value of negative differential conductance minus loss conductance of the oscillator, and is about 100 GHz for typical RTD-THz oscillators. We also analyze the effect of external feedback injection on the modulation characteristics. If the period of the modulation frequency is equal to an integral multiple of the round-trip time of the feedback, a dip or peak occurs in the modulation response of the output, depending on whether the THz carrier components in the output and the feedback are in phase or out of phase. We also discuss the possibility of increase in cutoff frequency by the feedback with short round-trip time.


title: Existence of a conjugate point in the incompressible Euler flow on a three-dimensional ellipsoid

abstract: The existence of a conjugate point on the volume-preserving diffeomorphism group of a compact Riemannian manifold M is related to the Lagrangian stability of a solution of the incompressible Euler equation on M. The Misiolek curvature is a reasonable criterion for the existence of a conjugate point on the volume-preserving diffeomorphism group corresponding to a stationary solution of the incompressible Euler equation. In this article, we introduce a class of stationary solutions on an arbitrary Riemannian manifold whose behavior is nice with respect to the Misiolek curvature and give a positivity result of the Misiolek curvature for solutions belonging to this class. Moreover, we also show the existence of a conjugate point in the three-dimensional ellipsoid case as its corollary.


title: Singular asymptotics for the Clarkson-McLeod solutions of the fourth Painlev\'e equation

abstract: We consider the Clarkson-McLeod solutions of the fourth Painlev\'e equation. This family of solutions behave like $\kappa D_{\alpha-\frac{1}{2}}^2(\sqrt{2}x)$ as $x\rightarrow +\infty$, where $\kappa $ is an arbitrary real constant and $D_{\alpha-\frac{1}{2}}(x)$ is the parabolic cylinder function. Using the Deift-Zhou nonlinear steepest descent method, we obtain the singular asymptotics of the solutions as $x\to-\infty$ when $\kappa \left( \kappa -\kappa ^*\right )>0$ for some real constant $\kappa ^*$. The connection formulas are also explicitly evaluated. This proves and extends Clarkson and McLeod's conjecture that when the parameter $\kappa >\kappa ^*>0$, the Clarkson-McLeod solutions have infinitely many simple poles on the negative real axis.


title: SkeleVision: Towards Adversarial Resiliency of Person Tracking with Multi-Task Learning

abstract: Person tracking using computer vision techniques has wide ranging applications such as autonomous driving, home security and sports analytics. However, the growing threat of adversarial attacks raises serious concerns regarding the security and reliability of such techniques. In this work, we study the impact of multi-task learning (MTL) on the adversarial robustness of the widely used SiamRPN tracker, in the context of person tracking. Specifically, we investigate the effect of jointly learning with semantically analogous tasks of person tracking and human keypoint detection. We conduct extensive experiments with more powerful adversarial attacks that can be physically realizable, demonstrating the practical value of our approach. Our empirical study with simulated as well as real-world datasets reveals that training with MTL consistently makes it harder to attack the SiamRPN tracker, compared to typically training only on the single task of person tracking.


title: Genetic programming-based learning of carbon interatomic potential for materials discovery

abstract: Efficient and accurate interatomic potential functions are critical to computational study of materials while searching for structures with desired properties. Traditionally, potential functions or energy landscapes are designed by experts based on theoretical or heuristic knowledge. Here, we propose a new approach to leverage strongly typed parallel genetic programming (GP) for potential function discovery. We use a multi-objective evolutionary algorithm with NSGA-III selection to optimize individual age, fitness, and complexity through symbolic regression. With a DFT dataset of 863 unique carbon allotrope configurations drawn from 858 carbon structures, the generated potentials are able to predict total energies within $\pm 7.70$ eV at low computational cost while generalizing well across multiple carbon structures. Our code is open source and available at \url{http://www.github.com/usccolumbia/mlpotential


title: Eigenvalue processes of symmetric tridiagonal matrix-valued processes associated with Gaussian beta ensemble

abstract: We consider the symmetric tridiagonal matrix-valued process associated with Gaussian beta ensemble (G$\beta$E) by putting independent Brownian motions and Bessel processes on the diagonal entries and upper (lower)-diagonal ones, respectively. Then, we derive the stochastic differential equations that the eigenvalue processes satisfy, and we show that eigenvalues of their (indexed) principal minor sub-matrices appear in the stochastic differential equations. By the Cauchy's interlacing argument for eigenvalues, we can characterize the sufficient condition that the eigenvalue processes never collide with each other almost surely, by the dimensions of the Bessel processes.


title: Tungsten vs Selenium as a potential source of kilonova nebular emission observed by Spitzer

abstract: Infrared emission lines arising from transitions between fine structure levels of heavy elements are expected to produce kilonova nebular emission. For the kilonova in GW170817, strong emission at 4.5 ${\rm \mu m}$ at late times was detected by the Spitzer Space Telescope but no source was detected at 3.6 ${\rm \mu m}$. This peculiar spectrum indicates that there exist strong line emitters around 4.5 ${\rm \mu m}$ and the absence of strong lines around 3.6 ${\rm \mu m}$. To model the spectrum we prepare a line list based on the selection rules in LS coupling from the experimentally calibrated energy levels in the NIST database. This method enables to generate the synthetic spectra with accurate line wavelengths. We find that the spectrum is sensitive to the abundance pattern whether or not the first r-process peak elements are included. In both cases, the synthetic spectra can match the observed data, leading to two possible interpretations. If the first peak elements are abundant a Se III line dominates the flux. If otherwise, W III with Os III, Rh III, and Ce IV can be the main sources. Observing nebular spectra for the future kilonovae in a wider wavelength range can provide more conclusive elemental identification.


title: Data-Driven Quantum Approximate Optimization Algorithm for Cyber-Physical Power Systems

abstract: Quantum technology provides a ground-breaking methodology to tackle challenging computational issues in power systems, especially for Distributed Energy Resources (DERs) dominant cyber-physical systems that have been widely developed to promote energy sustainability. The systems' maximum power or data sections are essential for monitoring, operation, and control, while high computational effort is required. Quantum Approximate Optimization Algorithm (QAOA) provides a promising means to search for these sections by leveraging quantum resources. However, its performance highly relies on the critical parameters, especially for weighted graphs. We present a data-driven QAOA, which transfers quasi-optimal parameters between weighted graphs based on the normalized graph density, and verify the strategy with 39,774 instances. Without parameter optimization, our data-driven QAOA is comparable with the Goemans-Williamson algorithm. This work advances QAOA and pilots the practical application of quantum technique to power systems in noisy intermediate-scale quantum devices, heralding its next-generation computation in the quantum era.


title: The accretion flow geometry of MAXI J1820+070 through broadband noise research with Insight-HXMT

abstract: Here we present a detailed study of the broadband noise in the power density spectra of the black hole X-ray binary MAXI J1820+070 during the hard state of its 2018 outburst, using the Hard X-ray Modulation Telescope (Insight-HXMT) observations. The broadband noise shows two main humps, which might separately correspond to variability from a variable disk and two Comptonization regions. We fitted the two humps with multiple Lorentzian functions and studied the energy-dependent properties of each component up to 100--150 keV and their evolution with spectral changes. The lowest frequency component is considered as the sub-harmonic of QPO component and shows different energy dependence compared with other broadband noise components. We found that although the fractional rms of all the broadband noise components mainly decrease with energy, their rms spectra are different in shape. Above $\sim$ 20--30 keV, the characteristic frequencies of these components increase sharply with energy, meaning that the high-energy component is more variable on short timescales. Our results suggest that the hot inner flow in MAXI J1820+070 is likely to be inhomogeneous. We propose a geometry with a truncated accretion disk, two Comptonization regions.


title: Path Development Network with Finite-dimensional Lie Group Representation

abstract: The path signature, a mathematically principled and universal feature of sequential data, leads to a performance boost of deep learning-based models in various sequential data tasks as a complimentary feature. However, it suffers from the curse of dimensionality when the path dimension is high. To tackle this problem, we propose a novel, trainable path development layer, which exploits representations of sequential data with the help of finite-dimensional matrix Lie groups. We also design the backpropagation algorithm of the development layer via an optimisation method on manifolds known as trivialisation. Numerical experiments demonstrate that the path development consistently and significantly outperforms, in terms of accuracy and dimensionality, signature features on several empirical datasets. Moreover, stacking the LSTM with the development layer with a suitable matrix Lie group is empirically proven to alleviate the gradient issues of LSTMs and the resulting hybrid model achieves the state-of-the-art performance.


title: Learning to Simplify with Data Hopelessly Out of Alignment

abstract: We consider whether it is possible to do text simplification without relying on a "parallel" corpus, one that is made up of sentence-by-sentence alignments of complex and ground truth simple sentences. To this end, we introduce a number of concepts, some new and some not, including what we call Conjoined Twin Networks, Flip-Flop Auto-Encoders (FFA) and Adversarial Networks (GAN). A comparison is made between Jensen-Shannon (JS-GAN) and Wasserstein GAN, to see how they impact performance, with stronger results for the former. An experiment we conducted with a large dataset derived from Wikipedia found the solid superiority of Twin Networks equipped with FFA and JS-GAN, over the current best performing system. Furthermore, we discuss where we stand in a relation to fully supervised methods in the past literature, and highlight with examples qualitative differences that exist among simplified sentences generated by supervision-free systems.


title: An inequality for the convolutions on unimodular locally compact groups and the optimal constant of Young's inequality

abstract: Let $\mu$ be the Haar measure of a unimodular locally compact group $G$ and $m (G)$ as the infimum of the volumes of all open subgroups of $G$. The main result of this paper is that \begin{align*} \int_{G}^{} f \circ \left( \phi_1 * \phi_2 \right) \left( g \right) dg \leq \int_{\mathbb{R}}^{} f \circ \left( \phi_1^* * \phi_2^* \right) \left( x \right) dx \end{align*} holds for any measurable functions $\phi_1, \phi_2 \colon G \to \mathbb{R}_{\geq 0}$ with $\mu ( \mathrm{supp} \; \phi_1 ) + \mu ( \mathrm{supp} \; \phi_2 ) \leq m(G)$ and any convex function $f \colon \mathbb{R}_{\geq 0} \to \mathbb{R}$ with $f(0) = 0$. Here $\phi^*$ is the rearrangement of $\phi$. Let $Y_O(P,G)$ and $Y_R(P,G)$ denote the optimal constants of Young's and the reverse Young's inequality, respectively, under the assumption $\mu ( \mathrm{supp} \; \phi_1 ) + \mu ( \mathrm{supp} \; \phi_2 ) \leq m(G)$. Then we have $Y_O(P,G) \leq Y_O(P,\mathbb{R})$ and $Y_R(P,G) \geq Y_R(P,\mathbb{R})$ as a corollary. Thus, we obtain that $m (G) = \infty$ if and only if $H (p,G) \leq H (p, \mathbb{R})$ in the case of $p' := p/(p-1) \in 2 \mathbb{Z}$, where $H (p,G)$ is the optimal constant of the Hausdorff--Young inequality.


title: Entity-Centric Query Refinement

abstract: We introduce the task of entity-centric query refinement. Given an input query whose answer is a (potentially large) collection of entities, the task output is a small set of query refinements meant to assist the user in efficient domain exploration and entity discovery. We propose a method to create a training dataset for this task. For a given input query, we use an existing knowledge base taxonomy as a source of candidate query refinements, and choose a final set of refinements from among these candidates using a search procedure designed to partition the set of entities answering the input query. We demonstrate that our approach identifies refinement sets which human annotators judge to be interesting, comprehensive, and non-redundant. In addition, we find that a text generation model trained on our newly-constructed dataset is able to offer refinements for novel queries not covered by an existing taxonomy. Our code and data are available at https://github.com/google-research/language/tree/master/language/qresp.


title: Recurrence formula for any order evolution equations

abstract: Riccati's differential equation is formulated as abstract equation in finite or infinite dimensional Banach spaces. Since the Riccati's differential equation with the Cole-Hopf transform shows a relation between the first order evolution equations and the second order evolution equations, its generalization suggests the existence of recurrence formula leading to a sequence of any order evolution equations. In conclusion, by means of the logarithmic representation of operators, a transform between the first order evolution equations and the higher order evolution equation is presented. Several classes of evolution equations with different orders are found, and some of them are shown as examples.


title: Poincare Map Method for Limit Cycles in a Max-Plus Dynamical System

abstract: Dynamical properties of limit cycles in a two-dimensional max-plus dynamical system are discussed. We apply a Poincare map method to the limit cycles in order to reveal their stabilities. This method reduces the two dimensional system to a one-dimensional piecewise linear discrete dynamical system composed of the Poincare map and its cross section. Basins for one of the limit cycles are derived by considering the inverse system of the original model. It is found that the obtained basins show a hierarchic structure. Relationship between the Poincare map method and the method of piecewise linear mapping studied in integrable system theory for the limit cycles is discussed.


title: What to look at and where: Semantic and Spatial Refined Transformer for detecting human-object interactions

abstract: We propose a novel one-stage Transformer-based semantic and spatial refined transformer (SSRT) to solve the Human-Object Interaction detection task, which requires to localize humans and objects, and predicts their interactions. Differently from previous Transformer-based HOI approaches, which mostly focus at improving the design of the decoder outputs for the final detection, SSRT introduces two new modules to help select the most relevant object-action pairs within an image and refine the queries' representation using rich semantic and spatial features. These enhancements lead to state-of-the-art results on the two most popular HOI benchmarks: V-COCO and HICO-DET.


title: RFID-Based Indoor Spatial Query Evaluation with Bayesian Filtering Techniques

abstract: People spend a significant amount of time in indoor spaces (e.g., office buildings, subway systems, etc.) in their daily lives. Therefore, it is important to develop efficient indoor spatial query algorithms for supporting various location-based applications. However, indoor spaces differ from outdoor spaces because users have to follow the indoor floor plan for their movements. In addition, positioning in indoor environments is mainly based on sensing devices (e.g., RFID readers) rather than GPS devices. Consequently, we cannot apply existing spatial query evaluation techniques devised for outdoor environments for this new challenge. Because Bayesian filtering techniques can be employed to estimate the state of a system that changes over time using a sequence of noisy measurements made on the system, in this research, we propose the Bayesian filtering-based location inference methods as the basis for evaluating indoor spatial queries with noisy RFID raw data. Furthermore, two novel models, indoor walking graph model and anchor point indexing model, are created for tracking object locations in indoor environments. Based on the inference method and tracking models, we develop innovative indoor range and k nearest neighbor (kNN) query algorithms. We validate our solution through use of both synthetic data and real-world data. Our experimental results show that the proposed algorithms can evaluate indoor spatial queries effectively and efficiently. We open-source the code, data, and floor plan at https://github.com/DataScienceLab18/IndoorToolKit.


title: Least energy positive soultions for $d$-coupled Schr\"{o}dinger systems with critical exponent in dimension three

abstract: In the present paper, we consider the coupled Schr\"{o}dinger systems with critical exponent: \begin{equation*} \begin{cases} -\Delta u_i+\lambda_{i}u_i=\sum\limits_{j=1}^{d} \beta_{ij}|u_j|^{3}|u_i|u_i \quad ~\text{ in } \Omega,\\ u_i \in H_0^1(\Omega) ,\quad i= 1,2,...,d. \end{cases} \end{equation*} Here, $\Omega\subset \mathbb{R}^{3}$ is a smooth bounded domain, $d \geq 2$, $\beta_{ii}>0$ for every $i$, and $\beta_{ij}=\beta_{ji}$ for $i \neq j$. We study a Br\'{e}zis-Nirenberg type problem: $-\lambda_{1}(\Omega)<\lambda_{1},\cdots,\lambda_{d}<-\lambda^*(\Omega)$, where $\lambda_{1}(\Omega)$ is the first eigenvalue of $-\Delta$ with Dirichlet boundary conditions and $\lambda^*(\Omega)\in (0, \lambda_1(\Omega))$. We acquire the existence of least energy positive solutions to this system for weakly cooperative case ($\beta_{ij}>0$ small) and for purely competitive case ($\beta_{ij}\leq 0$) by variational arguments. The proof is performed by mathematical induction on the number of equations, and requires more refined energy estimates for this system. Besides, we present a new nonexistence result, revealing some different phenomena comparing with the higher-dimensional case $N\geq 5$. It seems that this is the first paper to give a rather complete picture for the existence of least energy positive solutions to critical Schr\"{o}dinger system in dimension three.


title: Prospects and Strategies for Detecting Nonlinear Gravitational Wave Burst with Memory from Potential Merger Event SDSSJ1430$+$2303 by Pulsar Timing Arrays

abstract: The recently observed chirping signature in the light curves of Seyfert 1 galaxy SDSSJ1430$+$2303 could be explained by a late-inspiralling supermassive binary black hole (SMBBH) system in the galactic center, which will merge in the near future (or could have merged already). For the merging SMBBH scenario, SDSSJ1430$+$2303 can be a source of nonlinear gravitational wave (GW) burst with memory (BWM), which may provide a promising target for future pulsar timing array (PTA) observations. In this work, we investigate the prospects for detecting the BWM signal from SDSSJ1430$+$2303 by the International PTA (IPTA) and FAST-PTA in the next $5$ years. We firstly propose strategies on searching for this target signal, including the selection of millisecond pulsars (MSPs) and the distribution of observation time. Then we simulate PTA observations based on the proposed strategies and obtain the probability density functions of the network signal-to-noise ratio and parameter-estimation errors of the BWM signal, considering the uncertainties of parameters of the SMBBH and both white and red noises of the selected MSPs. Our result shows that although IPTA can marginally detect the BWM in $5$ years, FAST-PTA can detect it with significantly higher confidence. Moreover, the archived IPTA data is important in estimating the merger time of the SMBBH, when combined with the FAST-PTA data. This work can serve as a guidance for future PTA observations and multi-messenger studies on SDSSJ1430$+$2303 and similar systems.


title: Structural randomised selection

abstract: An important problem in the analysis of high-dimensional omics data is to identify subsets of molecular variables that are associated with a phenotype of interest. This requires addressing the challenges of high dimensionality, strong multicollinearity and model uncertainty. We propose a new ensemble learning approach for improving the performance of sparse penalised regression methods, called STructural RANDomised Selection (STRANDS). The approach, that builds and improves upon the Random Lasso method, consists of two steps. In both steps, we reduce dimensionality by repeated subsampling of variables. We apply a penalised regression method to each subsampled dataset and average the results. In the first step, subsampling is informed by variable correlation structure, and in the second step, by variable importance measures from the first step. STRANDS can be used with any sparse penalised regression approach as the "base learner". Using synthetic data and real biological datasets, we demonstrate that STRANDS typically improves upon its base learner, and that taking account of the correlation structure in the first step can help to improve the efficiency with which the model space may be explored.


title: Robotic Process Automation Using Process Mining $\unicode{x2013}$ A Systematic Literature Review

abstract: Process mining (PM) aims to construct, from event logs, process maps that can help discover, automate, improve, and monitor organizational processes. Robotic process automation (RPA) uses software robots to perform some tasks usually executed by humans. It is usually difficult to determine what processes and steps to automate, especially with RPA. PM is seen as one way to address such difficulty. This paper aims to assess the applicability of process mining in accelerating and improving the implementation of RPA, along with the challenges encountered throughout project lifecycle. A systematic literature review was conducted to examine the approaches where PM techniques were used to understand the as-is processes that can be automated with software robots. Seven databases were used to identify papers on this topic. A total of 32 papers, all published since 2018, were selected from 605 unique candidate papers and then analyzed. There is a steady increase in the number of publications in this domain, especially during the year 2022, which suggests a raising interest in the combined use of PM with RPA. The literature mainly focuses on the methods to record the events that occur at the level of user interactions with the application, and on the preprocessing methods that are needed to discover routines with the steps that can be automated. Important challenges are faced with preprocessing such event logs, and many lifecycle steps of automation projects are weakly supported by existing approaches suggesting corresponding research areas in need of further attention.


title: Modeling Dynamic User Preference via Dictionary Learning for Sequential Recommendation

abstract: Capturing the dynamics in user preference is crucial to better predict user future behaviors because user preferences often drift over time. Many existing recommendation algorithms -- including both shallow and deep ones -- often model such dynamics independently, i.e., user static and dynamic preferences are not modeled under the same latent space, which makes it difficult to fuse them for recommendation. This paper considers the problem of embedding a user's sequential behavior into the latent space of user preferences, namely translating sequence to preference. To this end, we formulate the sequential recommendation task as a dictionary learning problem, which learns: 1) a shared dictionary matrix, each row of which represents a partial signal of user dynamic preferences shared across users; and 2) a posterior distribution estimator using a deep autoregressive model integrated with Gated Recurrent Unit (GRU), which can select related rows of the dictionary to represent a user's dynamic preferences conditioned on his/her past behaviors. Qualitative studies on the Netflix dataset demonstrate that the proposed method can capture the user preference drifts over time and quantitative studies on multiple real-world datasets demonstrate that the proposed method can achieve higher accuracy compared with state-of-the-art factorization and neural sequential recommendation methods. The code is available at https://github.com/cchao0116/S2PNM-TKDE2021.


title: Achieving Social Optimum in Non-convex Cooperative Aggregative Games: A Distributed Stochastic Annealing Approach

abstract: This paper designs a distributed stochastic annealing algorithm for non-convex cooperative aggregative games, whose agents' cost functions not only depend on agents' own decision variables but also rely on the sum of agents' decision variables. To seek the the social optimum of cooperative aggregative games, a distributed stochastic annealing algorithm is proposed, where the local cost functions are non-convex and the communication topology between agents is time varying. The weak convergence to the social optimum of the algorithm is further analyzed. A numerical example is given to illustrate the effectiveness of the proposed algorithm.


title: Homography Loss for Monocular 3D Object Detection

abstract: Monocular 3D object detection is an essential task in autonomous driving. However, most current methods consider each 3D object in the scene as an independent training sample, while ignoring their inherent geometric relations, thus inevitably resulting in a lack of leveraging spatial constraints. In this paper, we propose a novel method that takes all the objects into consideration and explores their mutual relationships to help better estimate the 3D boxes. Moreover, since 2D detection is more reliable currently, we also investigate how to use the detected 2D boxes as guidance to globally constrain the optimization of the corresponding predicted 3D boxes. To this end, a differentiable loss function, termed as Homography Loss, is proposed to achieve the goal, which exploits both 2D and 3D information, aiming at balancing the positional relationships between different objects by global constraints, so as to obtain more accurately predicted 3D boxes. Thanks to the concise design, our loss function is universal and can be plugged into any mature monocular 3D detector, while significantly boosting the performance over their baseline. Experiments demonstrate that our method yields the best performance (Nov. 2021) compared with the other state-of-the-arts by a large margin on KITTI 3D datasets.


title: Safe Reinforcement Learning via Shielding under Partial Observability

abstract: Safe exploration is a common problem in reinforcement learning (RL) that aims to prevent agents from making disastrous decisions while exploring their environment. A family of approaches to this problem assume domain knowledge in the form of a (partial) model of this environment to decide upon the safety of an action. A so-called shield forces the RL agent to select only safe actions. However, for adoption in various applications, one must look beyond enforcing safety and also ensure the applicability of RL with good performance. We extend the applicability of shields via tight integration with state-of-the-art deep RL, and provide an extensive, empirical study in challenging, sparse-reward environments under partial observability. We show that a carefully integrated shield ensures safety and can improve the convergence rate and final performance of RL agents. We furthermore show that a shield can be used to bootstrap state-of-the-art RL agents: they remain safe after initial learning in a shielded setting, allowing us to disable a potentially too conservative shield eventually.


title: A generalization of certain associated Bessel functions in connection with a group of shifts

abstract: Considering the kernel of an integral operator intertwining two realizations of the group of motions of the pseudo-Euclidian space, we derive two formulas for series containing Whittaker's functions or Weber's parabolic cylinder functions. We can consider this kernel as a special function. Some particular values of parameters involved in this special function are found to coincide with certain variants of Bessel functions. Using these connections, we also establish some analogues of orthogonality relations for Macdonald and Hankel functions.


title: A neural network based heading and position control system of a ship

abstract: Heading and position control system of ships has remained a challenging control problem. It is a nonlinear multiple input multiple output system. Moreover, the dynamics of the system vary with operating as well as environmental conditions. Conventionally, simple Proportional Integral Derivative controller is used which has well known limitations. Other conventional control techniques have also been investigated but they require an accurate mathematical model of a ship. Unfortunately, accuracy of mathematical models is very difficult to achieve. During the past few decades computational intelligence techniques such as artificial neural networks have been very successful when an accurate mathematical model is not available. Therefore, in this paper, an artificial neural network controller is proposed for heading and position control system. For simulation purposes, a mathematical model with four effective thrusters have been chosen to test the performance of the proposed controller. The final closed loop system has been analyzed and tested through simulation studies. The results are very encouraging.


title: Convert widespread paraelectric perovskite to ferroelectrics

abstract: While nature provides a plethora of perovskite materials, only a few exhibits large ferroelectricity and possibly multiferroicity. The majority of perovskite materials have the non-polar CaTiO$_3$(CTO)structure, limiting the scope of their applications. Based on effective Hamiltonian model as well as first-principles calculations, we propose a general thin-film design method to stabilize the functional BiFeO$_3$(BFO)-type structure, which is a common metastable structure in widespread CaTiO$_3$-type perovskite oxides. It is found that the improper antiferroelectricity in CTO-type perovskite and ferroelectricity in BFO-type perovskite have distinct dependences on mechanical and electric boundary conditions, both of which involve oxygen octahedral rotation and tilt. The above difference can be used to stabilize the highly polar BFO-type structure in many CTO-type perovskite materials.


title: Weak decays of triply heavy baryons: the $3/2\to1/2$ case

abstract: In this work, we investigate the weak decays of spin-3/2 triply heavy baryons to spin-1/2 doubly/triply heavy baryons. We first obtain the form factors using the light-front quark model in the diquark picture, and then apply them to some phenomenological predictions. Our results are expected to be helpful for the experimental search for triply heavy baryons.


title: The Isoperimetric Problem In Randers Planes

abstract: In this paper, the isoperimetric problem in Randers planes, $(\mathbb{R}^2,F=\alpha +\beta)$, which are slight deformation of the Euclidean plane $(\mathbb{R}^2,\alpha)$ by suitable one forms $\beta$, have been studied. We prove that the circles centred at the origin achieves the local maximum area of the isoperimetric problem with respect to well known volume forms in Finsler geometry.


title: Canted Antiferromagnetic phases in the layered candidate Weyl material EuMnSb$_2$

abstract: EuMnSb$_2$ is a candidate topological material which can be tuned towards a Weyl semimetal, but there are differing reports for its antiferromagnetic (AFM) phases. The coupling of bands dominated by pure Sb layers hosting topological fermions to Mn and Eu magnetic states provides a potential path to tune the topological properties. We present a detailed analysis of the magnetic structure on three AFM phases based on single-crystal neutron diffraction, magnetization, and heat capacity data as well as polycrystalline $^{151}$Eu M\"ossbauer data. The Mn magnetic sublattice orders into a C-type AFM structure below $323(1)$~K with the ordered Mn magnetic moment $\mu_{\text{Mn}}$ lying perpendicular to the layers. AFM ordering of the Eu sublattice occurs below $23(1)$~K with the ordered Eu magnetic moment $\mu_{\text{Eu}}$ canted away from the layer normal and $\mu_{\text{Mn}}$ retaining its higher-temperature order. $\mu_{\text{Eu}}$ is ferromagnetically aligned within each Eu layer but exhibits a complicated AFM layer stacking. Both of these higher-temperature phases are described by magnetic space group (MSG) $Pn^{\prime}m^{\prime}a^{\prime}$ with the chemical and magnetic unit cells having the same dimensions. Cooling below $=9(1)$~K reveals a third AFM phase where $\mu_{\text{Mn}}$ remains unchanged but $\mu_{\text{Eu}}$ develops an additional in-plane canting. This phase has MSG $P11\frac{2_1}{a^{\prime}}$. We additionally find evidence of short-range magnetic correlations associated with the Eu between $12~\text{K} \lesssim T \lesssim 30~\text{K}$. Using the determined magnetic structures, we postulate the signs of nearest-neighbor intralayer and interlayer exchange constants and the magnetic anisotropy within a general Heisenberg-model. We then discuss implications of the various AFM states in EuMnSb$_2$ and its topological properties.


title: Do learned representations respect causal relationships?

abstract: Data often has many semantic attributes that are causally associated with each other. But do attribute-specific learned representations of data also respect the same causal relations? We answer this question in three steps. First, we introduce NCINet, an approach for observational causal discovery from high-dimensional data. It is trained purely on synthetically generated representations and can be applied to real representations, and is specifically designed to mitigate the domain gap between the two. Second, we apply NCINet to identify the causal relations between image representations of different pairs of attributes with known and unknown causal relations between the labels. For this purpose, we consider image representations learned for predicting attributes on the 3D Shapes, CelebA, and the CASIA-WebFace datasets, which we annotate with multiple multi-class attributes. Third, we analyze the effect on the underlying causal relation between learned representations induced by various design choices in representation learning. Our experiments indicate that (1) NCINet significantly outperforms existing observational causal discovery approaches for estimating the causal relation between pairs of random samples, both in the presence and absence of an unobserved confounder, (2) under controlled scenarios, learned representations can indeed satisfy the underlying causal relations between their respective labels, and (3) the causal relations are positively correlated with the predictive capability of the representations.


title: Metaphorical User Simulators for Evaluating Task-oriented Dialogue Systems

abstract: Task-oriented dialogue systems (TDSs) are assessed mainly in an offline setting or through human evaluation. The evaluation is often limited to single-turn or is very time-intensive. As an alternative, user simulators that mimic user behavior allow us to consider a broad set of user goals to generate human-like conversations for simulated evaluation. Employing existing user simulators to evaluate TDSs is challenging as user simulators are primarily designed to optimize dialogue policies for TDSs and have limited evaluation capabilities. Moreover, the evaluation of user simulators is an open challenge. In this work, we propose a metaphorical user simulator for end-to-end TDS evaluation, where we define a simulator to be metaphorical if it simulates user's analogical thinking in interactions with systems. We also propose a tester-based evaluation framework to generate variants, i.e., dialogue systems with different capabilities. Our user simulator constructs a metaphorical user model that assists the simulator in reasoning by referring to prior knowledge when encountering new items. We estimate the quality of simulators by checking the simulated interactions between simulators and variants. Our experiments are conducted using three TDS datasets. The proposed user simulator demonstrates better consistency with manual evaluation than an agenda-based simulator and a seq2seq model on three datasets; our tester framework demonstrates efficiency and has been tested on multiple tasks, such as conversational recommendation and e-commerce dialogues.


title: A Study of Real-World Data Races in Golang

abstract: The concurrent programming literature is rich with tools and techniques for data race detection. Less, however, has been known about real-world, industry-scale deployment, experience, and insights about data races. Golang (Go for short) is a modern programming language that makes concurrency a first-class citizen. Go offers both message passing and shared memory for communicating among concurrent threads. Go is gaining popularity in modern microservice-based systems. Data races in Go stand in the face of its emerging popularity. In this paper, using our industrial codebase as an example, we demonstrate that Go developers embrace concurrency and show how the abundance of concurrency alongside language idioms and nuances make Go programs highly susceptible to data races. Google's Go distribution ships with a built-in dynamic data race detector based on ThreadSanitizer. However, dynamic race detectors pose scalability and flakiness challenges; we discuss various software engineering trade-offs to make this detector work effectively at scale. We have deployed this detector in Uber's 46 million lines of Go codebase hosting 2100 distinct microservices, found over 2000 data races, and fixed over 1000 data races, spanning 790 distinct code patches submitted by 210 unique developers over a six-month period. Based on a detailed investigation of these data race patterns in Go, we make seven high-level observations relating to the complex interplay between the Go language paradigm and data races.


title: An analogue of the Riemann Hypothesis via quantum walks

abstract: We consider an analogue of the well-known Riemann Hypothesis based on quantum walks on graphs with the help of the Konno-Sato theorem. Furthermore, we give some examples for complete, cycle, and star graphs.

categories: quant-ph math-ph math.MP math.NT math.PR


title: The number of locally invariant orderings of a group

abstract: We show that if a nontrivial group admits a locally invariant ordering, then it admits uncountably many locally invariant orderings. For the case of a left-orderable group, we provide an explicit construction of uncountable families of locally invariant orderings; for a general group we provide an existence theorem that applies compactness to yield uncountably many locally invariant orderings. Along the way, we define and investigate the space of locally invariant orderings of a group, the natural group actions on this space, and their relationship to the space of left-orderings.


title: Thin shell dynamics in Lovelock gravity

abstract: We study matching conditions for a spherically symmetric thin shell in Lovelock gravity which can be read off from the variation of the corresponding first-order action. In point of fact, the addition of Myers' boundary terms to the gravitational action eliminates the dependence on the acceleration in this functional and such that the canonical momentum appears in the surface term in the variation of the total action. This procedure leads to junction conditions given by the discontinuity of the canonical momentum defined for an evolution normal to the boundary. In particular, we correct existing results in the literature for the thin shell collapse in generic Lovelock theories, which were mistakenly drawn from an inaccurate analysis of the total derivative terms in the system.


title: VQTTS: High-Fidelity Text-to-Speech Synthesis with Self-Supervised VQ Acoustic Feature

abstract: The mainstream neural text-to-speech(TTS) pipeline is a cascade system, including an acoustic model(AM) that predicts acoustic feature from the input transcript and a vocoder that generates waveform according to the given acoustic feature. However, the acoustic feature in current TTS systems is typically mel-spectrogram, which is highly correlated along both time and frequency axes in a complicated way, leading to a great difficulty for the AM to predict. Although high-fidelity audio can be generated by recent neural vocoders from ground-truth(GT) mel-spectrogram, the gap between the GT and the predicted mel-spectrogram from AM degrades the performance of the entire TTS system. In this work, we propose VQTTS, consisting of an AM txt2vec and a vocoder vec2wav, which uses self-supervised vector-quantized(VQ) acoustic feature rather than mel-spectrogram. We redesign both the AM and the vocoder accordingly. In particular, txt2vec basically becomes a classification model instead of a traditional regression model while vec2wav uses an additional feature encoder before HifiGAN generator for smoothing the discontinuous quantized feature. Our experiments show that vec2wav achieves better reconstruction performance than HifiGAN when using self-supervised VQ acoustic feature. Moreover, our entire TTS system VQTTS achieves state-of-the-art performance in terms of naturalness among all current publicly available TTS systems.


title: Variational message passing for online polynomial NARMAX identification

abstract: We propose a variational Bayesian inference procedure for online nonlinear system identification. For each output observation, a set of parameter posterior distributions is updated, which is then used to form a posterior predictive distribution for future outputs. We focus on the class of polynomial NARMAX models, which we cast into probabilistic form and represent in terms of a Forney-style factor graph. Inference in this graph is efficiently performed by a variational message passing algorithm. We show empirically that our variational Bayesian estimator outperforms an online recursive least-squares estimator, most notably in small sample size settings and low noise regimes, and performs on par with an iterative least-squares estimator trained offline.


title: Speaker adaptation for Wav2vec2 based dysarthric ASR

abstract: Dysarthric speech recognition has posed major challenges due to lack of training data and heavy mismatch in speaker characteristics. Recent ASR systems have benefited from readily available pretrained models such as wav2vec2 to improve the recognition performance. Speaker adaptation using fMLLR and xvectors have provided major gains for dysarthric speech with very little adaptation data. However, integration of wav2vec2 with fMLLR features or xvectors during wav2vec2 finetuning is yet to be explored. In this work, we propose a simple adaptation network for fine-tuning wav2vec2 using fMLLR features. The adaptation network is also flexible to handle other speaker adaptive features such as xvectors. Experimental analysis show steady improvements using our proposed approach across all impairment severity levels and attains 57.72\% WER for high severity in UASpeech dataset. We also performed experiments on German dataset to substantiate the consistency of our proposed approach across diverse domains.


title: Fast Real-time Personalized Speech Enhancement: End-to-End Enhancement Network (E3Net) and Knowledge Distillation

abstract: This paper investigates how to improve the runtime speed of personalized speech enhancement (PSE) networks while maintaining the model quality. Our approach includes two aspects: architecture and knowledge distillation (KD). We propose an end-to-end enhancement (E3Net) model architecture, which is $3\times$ faster than a baseline STFT-based model. Besides, we use KD techniques to develop compressed student models without significantly degrading quality. In addition, we investigate using noisy data without reference clean signals for training the student models, where we combine KD with multi-task learning (MTL) using automatic speech recognition (ASR) loss. Our results show that E3Net provides better speech and transcription quality with a lower target speaker over-suppression (TSOS) rate than the baseline model. Furthermore, we show that the KD methods can yield student models that are $2-4\times$ faster than the teacher and provides reasonable quality. Combining KD and MTL improves the ASR and TSOS metrics without degrading the speech quality.


title: Improved Approximation Algorithm for Graph Burning on Trees

abstract: Given a graph $G=(V,E)$, the problem of \gb{} is to find a sequence of nodes from $V$, called burning sequence, in order to burn the whole graph. This is a discrete-step process, in each step an unburned vertex is selected as an agent to spread fire to its neighbors by marking it as a burnt node. A node that is burnt spreads the fire to its neighbors at the next consecutive step. The goal is to find the burning sequence of minimum length. The \gb{} problem is NP-Hard for general graphs and even for binary trees. A few approximation results are known, including a $3$-approximation algorithm for general graphs and a $2$- approximation algorithm for trees. In this paper, we propose an approximation algorithm for trees that produces a burning sequence of length at most $\lfloor 1.75b(T) \rfloor + 1$, where $b(T)$ is length of the optimal burning sequence, also called the burning number of the tree $T$. In other words, we achieve an approximation factor of $(\lfloor 1.75b(T) \rfloor + 1)/b(T)$.


title: Energy Efficient HARQ for Ultrareliability via Novel Outage Probability Bound and Geometric Programming

abstract: Hybrid automatic repeat 1 request (HARQ) is a key enabler for ultrareliable communications. This paper optimizes transmit power for the initial transmission and the subsequent retransmissions of HARQ with either incremental redundancy or Chase combining, aiming to minimize the expected energy consumption given the target outage probability and the target latency. The main challenge is due to the fact that the outage probability is a complicated function of the power variables which are nested in successive convolutions. The existing works mostly use a classic upper bound to approximate the outage probability by assuming unbounded transmit power, then convert the original problem to a geometric programming (GP) problem. In contrast, we propose a novel and much tighter upper bound by taking the practical power limit into consideration. The new bound and the resulting new GP method are further extended to a broader group of channel models with various fading, multiple antennas, and multiple receivers. As shown in simulations, the GP method based on the new bound significantly outperforms the existing strategies that either fix transmit power or optimize power by the classic bounding technique.


title: A Generalized Family of Exponentiated Composite Distributions

abstract: In this paper, we propose a new class of distributions by exponentiating the random variables associated with the probability density functions of composite distributions. We also derive some mathematical properties of this new class of distributions including the moments and the limited moments. Specifically, two special models in this family are discussed. Two real data sets were chosen to assess the performance of these two special exponentiated composite models. When fitting to these two data sets, theses two special exponentiated composite distributions demonstrate significantly better performance compared to the original composite distributions.


title: Class Numbers, Cyclic Simple Groups and Arithmetic

abstract: Here we initiate a program to study relationships between finite groups and arithmetic-geometric invariants in a systematic way. To do this we first introduce a notion of optimal module for a finite group in the setting of holomorphic mock Jacobi forms. Then we classify optimal modules for the cyclic groups of prime order, in the special case of weight two and index one, where class numbers of imaginary quadratic fields play an important role. Finally we exhibit a connection between the classification we establish and the arithmetic geometry of imaginary quadratic twists of modular curves of prime level.


title: Non-autonomous stochastic lattice systems with Markovian switching

abstract: The aim of this paper is to study the dynamical behavior of non-autonomous stochastic lattice systems with Markovian switching. We first show existence of an evolution system of measures of the stochastic system. We then study the pullback (or forward) asymptotic stability in distribution of the evolution system of measures. We finally prove that any limit point of a tight sequence of an evolution system of measures of the stochastic lattice systems must be an evolution system of measures of the corresponding limiting system as the intensity of noise converges zero. In particular, when the coefficients are periodic with respect to time, we show every limit point of a sequence of periodic measures of the stochastic system must be a periodic measure of the limiting system as the noise intensity goes to zero.


title: Revealing the CO2 emission reduction of ridesplitting and its determinants based on real-world data

abstract: Ridesplitting, which is a form of pooled ridesourcing service, has great potential to alleviate the negative impacts of ridesourcing on the environment. However, most existing studies only explored its theoretical environmental benefits based on optimization models and simulations. By contrast, this study aims to reveal the real-world emission reduction of ridesplitting and its determinants based on the observed data of ridesourcing in Chengdu, China. Integrating the trip data with the COPERT model, this study calculates the CO2 emissions of shared rides (ridesplitting) and their substituted single rides (regular ridesourcing) to estimate the CO2 emission reduction of each ridesplitting trip. The results show that not all ridesplitting trips reduce emissions from ridesourcing in the real world. The CO2 emission reduction rate of ridesplitting varies from trip to trip, averaging at 43.15g/km. Then, interpretable machine learning models, gradient boosting machines, are applied to explore the relationship between the CO2 emission reduction rate of ridesplitting and its determinants. Based on the SHapley Additive exPlanations (SHAP) method, the overlap rate and detour rate of shared rides are identified to be the most important factors that determine the CO2 emission reduction rate of ridesplitting. Increasing the overlap rate, the number of shared rides, average speed, and ride distance ratio while decreasing the detour rate, actual trip distance, and ride distance gap can increase the CO2 emission reduction rate of ridesplitting. In addition, nonlinear effects and interactions of the determinants are examined through the partial dependence plots. To sum up, this study provides a scientific method for the government and ridesourcing companies to better assess and optimize the environmental benefits of ridesplitting.


title: Distributional Gradient Boosting Machines

abstract: We present a unified probabilistic gradient boosting framework for regression tasks that models and predicts the entire conditional distribution of a univariate response variable as a function of covariates. Our likelihood-based approach allows us to either model all conditional moments of a parametric distribution, or to approximate the conditional cumulative distribution function via Normalizing Flows. As underlying computational backbones, our framework is based on XGBoost and LightGBM. Modelling and predicting the entire conditional distribution greatly enhances existing tree-based gradient boosting implementations, as it allows to create probabilistic forecasts from which prediction intervals and quantiles of interest can be derived. Empirical results show that our framework achieves state-of-the-art forecast accuracy.