title: Turbulent magnetic fields in merging clusters: A case study of Abell 2146

abstract: Kelvin-Helmholtz Instabilities (KHI) along contact discontinuities in galaxy clusters have been used to constrain the strength of magnetic fields in galaxy clusters, following the assumption that, as magnetic field lines drape around the interface between the cold and hot phases, their magnetic tension resists the growth of perturbations. This has been observed in simulations of rigid objects moving through magnetised media and sloshing galaxy clusters, and then applied in interpreting observations of merger cold fronts. Using a suite of MHD simulations of binary cluster mergers, we show that even magnetic field strengths stronger than yet observed ($\beta = P_{\rm th}/P_B = 50$) show visible KHI features. This is because our initial magnetic field is tangled, producing Alfven waves and associated velocity fluctuations in the ICM; stronger initial fields therefore seed larger fluctuations, so that even a reduced growth rate due to magnetic tension produces a significant KHI. The net result is that a stronger initial magnetic field produces more dramatic fluctuations in surface brightness and temperature, not the other way around. We show that this is hard to distinguish from the evolution of turbulent perturbations of the same initial magnitude. Therefore, in order to use observations of KHI in the ICM to infer magnetic field strengths by comparing to idealized simulations, the perturbations which seed the KHI must be well-understood and (if possible) carefully controlled.


title: O6-plane backreaction on scale-separated Type IIA AdS$_3$ vacua

abstract: We evaluate the backreaction of O6-planes in scale-separated $\text{AdS}_3$ flux vacua of massive Type IIA. Using the appropriate flux scaling we show that the corrections to the various background fields and moduli are controlled and subleading when going from smeared to localized sources. Similarly, the backreaction corrections to the scalar potential are parametrically small in the scale-separation limit, assuming always that the near-O6-plane singularities will find a resolution within string theory, even in the presence of a Romans mass. Our analysis is based on the equations of motion and therefore applies also to the non-supersymmetric vacua.


title: Electrical and thermal transport in van der Waals magnets 2H-M$_x$TaS$_2$ (M = Mn, Co)

abstract: We report a detailed study of electrical and thermal transport properties in 2H-M$_x$TaS$_2$ (M = Mn, Co) magnets where M atoms are intercalated in the van der Waals gap. The intercalation induces ferromagentism with an easy-plane anisotropy in 2H-Mn$_x$TaS$_2$, but ferromagnetism with a strong uniaxial anisotropy in 2H-Co$_{0.22}$TaS$_2$, which finally evolves into a three-dimensional antiferromagnetism in 2H-Co$_{0.34}$TaS$_2$. Temperature-dependent electrical resistivity shows metallic behavior for all samples. Thermopower is negative in the whole temperature range for 2H-Co$_x$TaS$_2$, whereas the sign changes from negative to positive with increasing Mn for 2H-Mn$_x$TaS$_2$. The diffusive thermoelectric response dominates in both high- and low-temperature ranges for all samples. A clear kink in electrical resistivity, a weak anomaly in thermal conductivity, as well as a slope change in thermopower were observed at the magnetic transitions for 2H-Mn$_{0.28}$TaS$_2$ ($T_\textrm{c}$ $\approx$ 82 K) and 2H-Co$_{0.34}$TaS$_2$ ($T_\textrm{N}$ $\approx$ 36 K), respectively, albeit weaker for lower $x$ crystals. Co-intercalation promoted ferromagnetic to antiferromagnetic transition is further confirmed by the Hall resistivity; the sign change of the ordinary Hall coefficient indicates a multi-band behavior in 2H-Co$_x$TaS$_2$.


title: Feasibility and Acceptability of Remote Neuromotor Rehabilitation Interactions Using Social Robot Augmented Telepresence: A Case Study

abstract: There is a growing need to deliver rehabilitation care to patients remotely. Long term demographic changes, geographic shortages of care providers, and now a global pandemic contribute to this need. Telepresence provides an option for delivering this care. However, telepresence using video and audio alone does not provide an interaction of the same quality as in-person. To bridge this gap, we propose the use of social robot augmented telepresence (SRAT). We have constructed a demonstration SRAT system for upper extremity rehab, in which a humanoid, with a head, body, face, and arms, is attached to a mobile telepresence system, to collaborate with the patient and clinicians as an independent social entity. The humanoid can play games with the patient and demonstrate activities.These activities could be used both to perform assessments in support of self-directed rehab and to perform exercises. In this paper, we present a case series with six subjects who completed interactions with the robot, three subjects who have previously suffered a stroke and three pediatric subjects who are typically developing. Subjects performed a Simon Says activity and a target touch activity in person, using classical telepresence (CT), and using SRAT. Subjects were able to effectively work with the social robot guiding interactions and 5 of 6 rated SRAT better than CT. This study demonstrates the feasibility of SRAT and some of its benefits.


title: Negation-Closure for JSON Schema

abstract: JSON Schema is an evolving standard for describing families of JSON documents. It is a logical language, based on a set of assertions that describe features of the JSON value under analysis and on logical or structural combinators for these assertions, including a negation operator. Most logical languages with negation enjoy negation closure, that is, for every operator they have a negation dual that expresses its negation. We show that this is not the case for JSON Schema, we study how that changed with the latest versions of the Draft, and we discuss how the language may be enriched accordingly. In the process, we define an algebraic reformulation of JSON Schema, which we successfully employed in a prototype system for generating schema witnesses.


title: Thermoelectricity and electronic correlations enhancement in FeS by slight Se substitution

abstract: We report thermoelectric studies of FeS$_{1-x}$Se$_x$ ($x$ = 0, 0.06) superconducting single crystals that feature high irreversibility fields and critical current density $J_c$ comparable to materials with much higher superconducting critical temperatures ($T_c$'s). The ratio of $T_c$ to the Fermi temperature $T_F$ is very small indicating weak electronic correlations. With a slight selenium substitution on sulfur site in FeS both $T_c$/$T_F$ and the effective mass $m^*$ rise considerably, implying increase in electronic correlation of the bulk conducting states. The first-principle calculations show rise of the density of states at the Fermi level in FeS$_{0.94}$Se$_{0.06}$ when compared to FeS which is related not only to Fe but also to chalcogen-derived electronic states.


title: Neural-Progressive Hedging: Enforcing Constraints in Reinforcement Learning with Stochastic Programming

abstract: We propose a framework, called neural-progressive hedging (NP), that leverages stochastic programming during the online phase of executing a reinforcement learning (RL) policy. The goal is to ensure feasibility with respect to constraints and risk-based objectives such as conditional value-at-risk (CVaR) during the execution of the policy, using probabilistic models of the state transitions to guide policy adjustments. The framework is particularly amenable to the class of sequential resource allocation problems since feasibility with respect to typical resource constraints cannot be enforced in a scalable manner. The NP framework provides an alternative that adds modest overhead during the online phase. Experimental results demonstrate the efficacy of the NP framework on two continuous real-world tasks: (i) the portfolio optimization problem with liquidity constraints for financial planning, characterized by non-stationary state distributions; and (ii) the dynamic repositioning problem in bike sharing systems, that embodies the class of supply-demand matching problems. We show that the NP framework produces policies that are better than deep RL and other baseline approaches, adapting to non-stationarity, whilst satisfying structural constraints and accommodating risk measures in the resulting policies. Additional benefits of the NP framework are ease of implementation and better explainability of the policies.


title: A Unified Wasserstein Distributional Robustness Framework for Adversarial Training

abstract: It is well-known that deep neural networks (DNNs) are susceptible to adversarial attacks, exposing a severe fragility of deep learning systems. As the result, adversarial training (AT) method, by incorporating adversarial examples during training, represents a natural and effective approach to strengthen the robustness of a DNN-based classifier. However, most AT-based methods, notably PGD-AT and TRADES, typically seek a pointwise adversary that generates the worst-case adversarial example by independently perturbing each data sample, as a way to "probe" the vulnerability of the classifier. Arguably, there are unexplored benefits in considering such adversarial effects from an entire distribution. To this end, this paper presents a unified framework that connects Wasserstein distributional robustness with current state-of-the-art AT methods. We introduce a new Wasserstein cost function and a new series of risk functions, with which we show that standard AT methods are special cases of their counterparts in our framework. This connection leads to an intuitive relaxation and generalization of existing AT methods and facilitates the development of a new family of distributional robustness AT-based algorithms. Extensive experiments show that our distributional robustness AT algorithms robustify further their standard AT counterparts in various settings.


title: Thermal transport and mixed valence in ZrTe$_3$ doped with Hf and Se

abstract: Two-dimensional transition metal trichalcogenides (TMTC's) feature covalently bonded metal-chalcogen layers separated by the van der Waals (vdW) gap. Similar to transition metal dichalcogenides (TMDCs), TMTCs often host charge density waves (CDWs) and superconductivity but unlike TMDCs atomic chains in the crystal structure give rise to quasi one-dimensional (quasi 1D) conduction. ZrTe$_3$ features CDW below $T_{\textrm{CDW}}$ = 63 K and filamentary superconductivity below 2 K that can be enhanced by pressure or chemical substitution. Here we report the presence of mixed valent Zr$^{2+}$ and Zr$^{4+}$ atoms in ZrTe$_3$ crystals that is reduced by doping in ZrTe$_{3-x}$Se$_x$ and Zr$_{1-y}$Hf$_y$Te$_3$. Superconductivity is enhanced via disorder in Te2-Te3 atomic chains that are associated with CDW formation. Hf substitution on Zr atomic site enhances $T_{\textrm{CDW}}$ due to unperturbed Te2-Te3 chain periodicity and enhanced electron-phonon coupling. Weak electronic correlations in ZrTe$_{3-x}$Se$_x$ are likely governed by the lattice contraction effects.


title: (Looking For) The Heart of Abelian Polish Groups

abstract: We prove that the category $\mathcal{M}$ of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category $\mathcal{A}$ of abelian Polish groups in the sense of Beilinson--Bernstein--Deligne and Schneiders. Thus, $\mathcal{M}$ is an abelian category containing $\mathcal{A}$ as a full subcategory such that the inclusion functor $\mathcal{A}\rightarrow \mathcal{M}$ is exact and finitely continuous. Furthermore, $\mathcal{M}$ is uniquely characterized up to equivalence by the following universal property: for every abelian category $\mathcal{B}$, a functor $\mathcal{A}\rightarrow \mathcal{B}$ is exact and finitely continuous if and only if it extends to an exact and finitely continuous functor $\mathcal{M}\rightarrow \mathcal{B}$. In particular, this provides a description of the left heart of $\mathcal{A}$ as a concrete category. We provide similar descriptions of the left heart of a number of categories of algebraic structures endowed with a topology, including: non-Archimedean abelian Polish groups; locally compact abelian Polish groups; totally disconnected locally compact abelian Polish groups; Polish $R$-modules, for a given Polish group or Polish ring $R$; and separable Banach spaces and separable Fr\'{e}chet spaces over a separable complete non-Archimedean valued field.


title: Robust Control of Partially Specified Boolean Networks

abstract: Regulatory networks (RNs) are a well-accepted modelling formalism in computational systems biology. The control of RNs is currently receiving a lot of attention because it provides a computational basis for cell reprogramming -- an attractive technology developed in regenerative medicine. By solving the control problem, we learn which parts of a biological system should be perturbed to stabilise the system in the desired phenotype. We allow the specification of the Boolean model representing a given RN to be incomplete. To that end, we utilise the formalism of partially specified Boolean networks which covers every possible behaviour of unspecified parts of the system. Such an approach causes a significant state explosion. This problem is addressed by using symbolic methods to represent both the unspecified model parts and all possible perturbations of the system. Additionally, to make the control design efficient and practically applicable, the optimal control should be minimal in terms of size. Moreover, in a partially specified model, a control may achieve the desired stabilisation only for a subset of the possible fully specified model instantiations. To address these aspects, we utilise several quantitative measures. Apart from the size of perturbation, we also examine its robustness -- a portion of instantiations for which the control is applicable. We show that proposed symbolic methods solving the control problem for partially specified BNs are efficient and scale well. We also evaluate the robustness metrics in cases of all three studied control types. The robustness metric tells us how big a proportion of fully defined systems the given perturbation works. Our experiments support the hypothesis that one-step perturbations may be less robust than temporary or permanent perturbations. This is a full version of a paper that is submitted to a journal.


title: Stability vs Implicit Bias of Gradient Methods on Separable Data and Beyond

abstract: An influential line of recent work has focused on the generalization properties of unregularized gradient-based learning procedures applied to separable linear classification with exponentially-tailed loss functions. The ability of such methods to generalize well has been attributed to the their implicit bias towards large margin predictors, both asymptotically as well as in finite time. We give an additional unified explanation for this generalization and relate it to two simple properties of the optimization objective, that we refer to as realizability and self-boundedness. We introduce a general setting of unconstrained stochastic convex optimization with these properties, and analyze generalization of gradient methods through the lens of algorithmic stability. In this broader setting, we obtain sharp stability bounds for gradient descent and stochastic gradient descent which apply even for a very large number of gradient steps, and use them to derive general generalization bounds for these algorithms. Finally, as direct applications of the general bounds, we return to the setting of linear classification with separable data and establish several novel test loss and test accuracy bounds for gradient descent and stochastic gradient descent for a variety of loss functions with different tail decay rates. In some of these cases, our bounds significantly improve upon the existing generalization error bounds in the literature.


title: Oxygen-vacancy Mediated Deterministic Domain Distribution at the Onset of Ferroelectricity

abstract: Ferroelectric domains are mesoscale structures that mediate between synchronized atomic-scale ion displacements and switchable macroscopic polarization. Here, we evaluated the randomness of the domain distribution at the onset of ferroelectricity. First-principle calculations combined with atomic-scale imaging demonstrate that oxygen vacancies that serve as pinning sites for the ferroic domain walls remain immobile above the Curie temperature. Thus, upon cooling to a ferroelectric state, these oxygen vacancies dictate reproducible domain-wall patterning. Domain-scale imaging with variable-temperature piezoresponse force microscopy confirmed the memory effect, questioning the spontaneity of domain distribution under thermotropic transitions.


title: Molecular rectifiers with very high rectification ratio enabled by oxidative damage in double-stranded DNA

abstract: In this work, we report a novel strategy to construct molecular diodes with a record tunable rectification ratio of as high as 10^6 using oxidatively damaged DNA molecules. Being exposed to several endogenous and exogenous events, DNA suffers constant oxidative damages leading to oxidation of guanine to 8-Oxoguanine (8oxoG). Here, we study the charge migration properties of native and oxidatively damaged DNA using a multiscale multiconfigurational methodology comprising of molecular dynamics, density functional theory and kinetic Monte Carlo simulations. We perform a comprehensive study to understand the effect of different concentrations and locations of 8oxoG in a dsDNA sequence on its CT properties and find tunable rectifier properties having potential applications in molecular electronics such as molecular switches and molecular rectifiers. We also discover the negative differential resistance properties of fully oxidized Drew-Dickerson sequence. The presence of 8oxoG guanine leads to the trapping of charge, thus operates as a charge sink, which reveals how oxidized guanine saves the rest of the genome from further oxidative damage.

categories: cond-mat.soft physics.bio-ph physics.chem-ph physics.comp-ph


title: The Impact of Explanations on Layperson Trust in Artificial Intelligence-Driven Symptom Checker Apps: Experimental Study

abstract: To achieve the promoted benefits of an AI symptom checker, laypeople must trust and subsequently follow its instructions. In AI, explanations are seen as a tool to communicate the rationale behind black-box decisions to encourage trust and adoption. However, the effectiveness of the types of explanations used in AI-driven symptom checkers has not yet been studied. Social theories suggest that why-explanations are better at communicating knowledge and cultivating trust among laypeople. This study ascertains whether explanations provided by a symptom checker affect explanatory trust among laypeople (N=750) and whether this trust is impacted by their existing knowledge of disease. Results suggest system builders developing explanations for symptom-checking apps should consider the recipient's knowledge of a disease and tailor explanations to each user's specific need. Effort should be placed on generating explanations that are personalized to each user of a symptom checker to fully discount the diseases that they may be aware of and to close their information gap.


title: Goodness-of-fit tests for stochastic frontier models based on the characteristic function

abstract: We consider goodness-of-fit tests for the distribution of the composed error in Stochastic Frontier Models. The proposed test statistic utilizes the characteristic function of the composed error term, and is formulated as a weighted integral of properly standardized data. The new test statistic is shown to be consistent and computationally convenient. Simulation results are presented whereby resampling versions of the new tests are compared to classical goodness-of-fit methods.


title: The Unfairness of Popularity Bias in Book Recommendation

abstract: Recent studies have shown that recommendation systems commonly suffer from popularity bias. Popularity bias refers to the problem that popular items (i.e., frequently rated items) are recommended frequently while less popular items are recommended rarely or not at all. Researchers adopted two approaches to examining popularity bias: (i) from the users' perspective, by analyzing how far a recommendation system deviates from user's expectations in receiving popular items, and (ii) by analyzing the amount of exposure that long-tail items receive, measured by overall catalog coverage and novelty. In this paper, we examine the first point of view in the book domain, although the findings may be applied to other domains as well. To this end, we analyze the well-known Book-Crossing dataset and define three user groups based on their tendency towards popular items (i.e., Niche, Diverse, Bestseller-focused). Further, we evaluate the performance of nine state-of-the-art recommendation algorithms and two baselines (i.e., Random, MostPop) from both the accuracy (e.g., NDCG, Precision, Recall) and popularity bias perspectives. Our results indicate that most state-of-the-art recommendation algorithms suffer from popularity bias in the book domain, and fail to meet users' expectations with Niche and Diverse tastes despite having a larger profile size. Conversely, Bestseller-focused users are more likely to receive high-quality recommendations, both in terms of fairness and personalization. Furthermore, our study shows a tradeoff between personalization and unfairness of popularity bias in recommendation algorithms for users belonging to the Diverse and Bestseller groups, that is, algorithms with high capability of personalization suffer from the unfairness of popularity bias.


title: Graph-Assisted Communication-Efficient Ensemble Federated Learning

abstract: Communication efficiency arises as a necessity in federated learning due to limited communication bandwidth. To this end, the present paper develops an algorithmic framework where an ensemble of pre-trained models is learned. At each learning round, the server selects a subset of pre-trained models to construct the ensemble model based on the structure of a graph, which characterizes the server's confidence in the models. Then only the selected models are transmitted to the clients, such that certain budget constraints are not violated. Upon receiving updates from the clients, the server refines the structure of the graph accordingly. The proposed algorithm is proved to enjoy sub-linear regret bound. Experiments on real datasets demonstrate the effectiveness of our novel approach.


title: Federated Online Sparse Decision Making

abstract: This paper presents a novel federated linear contextual bandits model, where individual clients face different K-armed stochastic bandits with high-dimensional decision context and coupled through common global parameters. By leveraging the sparsity structure of the linear reward , a collaborative algorithm named \texttt{Fedego Lasso} is proposed to cope with the heterogeneity across clients without exchanging local decision context vectors or raw reward data. \texttt{Fedego Lasso} relies on a novel multi-client teamwork-selfish bandit policy design, and achieves near-optimal regrets for shared parameter cases with logarithmic communication costs. In addition, a new conceptual tool called federated-egocentric policies is introduced to delineate exploration-exploitation trade-off. Experiments demonstrate the effectiveness of the proposed algorithms on both synthetic and real-world datasets.


title: The reconstructed thermal lattice Boltzmann flux solver and its applications for simulations of thermal flows

abstract: The thermal lattice Boltzmann flux solver (TLBFS) has been proposed to overcome the drawbacks of the thermal lattice Boltzmann models. However, as a weakly compressible model, its mechanism of good numerical stability for high Rayleigh number thermal flows is still unclear. To reveal the mechanism, the present paper firstly derives the macroscopic equations of TLBFS (MEs-TLBFS) with actual numerical dissipation terms by approximating its computational process. By solving MEs-TLBFS with the finite volume method, the reconstructed TLBFS (RTLBFS) is proposed. Detailed analyses prove that these actual numerical dissipation terms are the mechanism of the good numerical stability of TLBFS for high Rayleigh number thermal flows. More detailed numerical tests indicate RTLBFS has similar performances as TLBFS for stability, accuracy, and efficiency. Moreover, the present RTLBFS shows a clear mechanism to achieve good numerical stability for high Rayleigh number flows.


title: ZipZap: A Blockchain Solution for Local Energy Trading

abstract: In the last few years, electric utility companies have increasingly invested into transactive energy systems. This trend was primarily caused by the integration of distributed energy resources (DERs) and internet-of-things (IoT) devices into their existing distribution networks. Influenced by the general interest in blockchain technologies, many industry specialists are considering new, more efficient peer-to-peer market structures for DERs. Since blockchain-based energy exchanges can automate transactions between their members and provide increased levels of security thanks to smart contracts, these new initiatives may eventually revolutionize how customers interact with utility companies. In this paper, we explore the trade-off between cost and traceability in the form of on-chain and off-chain solutions. We also propose ZipZap, a first step towards a blockchain-based local smart grid system. ZipZap is an ERC-1155 compliant solution with four different prototypes: Heavyweight, Featherweight, Lightweight and Weightless. The first three prototypes were developed in Solidity and deployed using Ethereum. Heavyweight is fully on-chain, whereas Featherweight and Lightweight showcase various levels of hybridization. Weightless, in turn, was deployed using Quorum, a gas-free alternative to Ethereum. Our evaluation uses realistic parameters and measures the impact of different types of metadata storage scopes, with some Ethereum prototypes showcasing gas cost reductions of more than 97% in comparison to our fully on-chain baseline.


title: A note on infinite partitions of free products of Boolean algebras

abstract: If $A$ is an infinite Boolean algebra the cardinal invariant $\mathfrak{a}(A)$ is defined as the smallest size of an infinite partition of $A$. The cardinal $\mathfrak{a}(A\oplus B)$, where $A\oplus B$ is the free product of the Boolean algebras $A$ and $B$ (whose dual topological space is the product of the dual topological spaces of $A$ and $B$), is below both $\mathfrak{a}(A)$ and $\mathfrak{a}(B)$. The equality $\mathfrak{a}(A\oplus B)=\min\lbrace\mathfrak{a}(A),\mathfrak{a}(B)\rbrace$ is not known to hold for all infinite Boolean algebras $A$ and $B$. Here some lower bounds of $\mathfrak{a}(A\oplus B)$ are provided.


title: Byzantine Agreement in Polynomial Time with Near-Optimal Resilience

abstract: It has been known since the early 1980s that Byzantine Agreement in the full information, asynchronous model is impossible to solve deterministically against even one crash fault [FLP85], but that it can be solved with probability 1 [Ben83], even against an adversary that controls the scheduling of all messages and corrupts up to $f<n/3$ players [Bra87]. The main downside of [Ben83, Bra87] is that they terminate in $2^{\Theta(n)}$ rounds in expectation whenever $f=\Theta(n)$. King and Saia [KS16, KS18(arXiv:1812.10169)] developed a polynomial protocol (polynomial rounds, polynomial computation) that is resilient to $f < (1.14\times 10^{-9})n$ Byzantine faults. The new idea in their protocol is to detect -- and blacklist -- coalitions of likely-bad players by analyzing the deviations of random variables generated by those players over many rounds. In this work we design a simple collective coin-flipping protocol such that if any coalition of faulty players repeatedly does not follow protocol, then they will eventually be detected by one of two simple statistical tests. Using this coin-flipping protocol, we solve Byzantine Agreement in a polynomial number of rounds, even in the presence of up to $f<n/4$ Byzantine faults. This comes close to the $f<n/3$ upper bound on the maximum number of faults [BT85,FLM86,LSP82].


title: Fourier--Hermite Dynamic Programming for Optimal Control

abstract: In this paper, we propose a novel computational method for solving non-linear optimal control problems. The method is based on the use of Fourier--Hermite series for approximating the action-value function arising in dynamic programming instead of the conventional Taylor series expansion used in differential dynamic programming (DDP). The coefficients of the Fourier--Hermite series can be numerically computed by using sigma-point methods, which leads to a novel class of sigma-point based dynamic programming methods. We also prove the quadratic convergence of the method and experimentally test its performance against other methods.


title: Hamiltonian field theory close to the wave equation: from Fermi-Pasta-Ulam to water waves

abstract: In the present work we analyse the structure of the Hamiltonian field theory in the neighbourhood of the wave equation $q_{tt}=q_{xx}$. We show that, restricting to ``graded'' polynomial perturbations in $q_x$, $p$ and their space derivatives of higher order, the local field theory is equivalent, in the sense of the Hamiltonian normal form, to that of the Korteweg-de Vries hierarchy of second order. Within this framework, we explain the connection between the theory of water waves and the Fermi-Pasta-Ulam system.


title: New description of perverse sheaves on a disc

abstract: There is a connection between the category of perverse sheaves on a disc and different notions related to spherical functors. We introduce a category whose objects are analogous to 4-periodic semiorthogonal decompositions and prove that it is equivalent to the category of perverse sheaves on a disc stratified by the origin and its complement.


title: PheroCom: Decentralised and asynchronous swarm robotics coordination based on virtual pheromone and vibroacoustic communication

abstract: Representation and control of the dynamics of stigmergic substances used by bio-inspired approaches is a challenge when applied to robotics. In order to overcome this challenge, this work proposes a model to coordinate swarms of robots based on the virtualisation and control of these substances in a local scope. The model presents a new pheromone modelling, which enables the decentralisation and asynchronicity of navigation decisions. Each robot maintains an independent virtual pheromone map, which is continuously updated with the robot's deposits and pheromone evaporation. Moreover, the individual pheromone map is also updated by aggregating information from other robots that are exploring nearby areas. Thus, individual and independent maps replace the need of a centralising agent that controls and distributes the pheromone information, which is not always practicable. Pheromone information propagation is inspired by ants' vibroacoustic communication, which, in turn, is characterised as an indirect communication through a type of gossip protocol. The proposed model was evaluated through an agent simulation software, implemented by the authors, and in the Webots platform. Experiments were carried out to validate the model in different environments, with different shapes and sizes, as well as varying the number of robots. The analysis of the results has shown that the model was able to perform the coordination of the swarm, and the robots have exhibited an expressive performance executing the surveillance task.


title: Enhancing Legal Argument Mining with Domain Pre-training and Neural Networks

abstract: The contextual word embedding model, BERT, has proved its ability on downstream tasks with limited quantities of annotated data. BERT and its variants help to reduce the burden of complex annotation work in many interdisciplinary research areas, for example, legal argument mining in digital humanities. Argument mining aims to develop text analysis tools that can automatically retrieve arguments and identify relationships between argumentation clauses. Since argumentation is one of the key aspects of case law, argument mining tools for legal texts are applicable to both academic and non-academic legal research. Domain-specific BERT variants (pre-trained with corpora from a particular background) have also achieved strong performance in many tasks. To our knowledge, previous machine learning studies of argument mining on judicial case law still heavily rely on statistical models. In this paper, we provide a broad study of both classic and contextual embedding models and their performance on practical case law from the European Court of Human Rights (ECHR). During our study, we also explore a number of neural networks when being combined with different embeddings. Our experiments provide a comprehensive overview of a variety of approaches to the legal argument mining task. We conclude that domain pre-trained transformer models have great potential in this area, although traditional embeddings can also achieve strong performance when combined with additional neural network layers.


title: The Large Dispersion and Scattering of FRB 20190520B are Dominated by the Host Galaxy

abstract: The repeating FRB 20190520B is localized to a galaxy at $z=0.241$, much closer than expected given its dispersion measure $\rm DM=1205\pm4\ pc\ cm^{-3}$. Here we assess implications of the large DM and scattering observed from FRB 20190520B for the host galaxy's plasma properties. A sample of 75 bursts detected with the Five-hundred-meter Aperture Spherical radio Telescope shows scattering on two scales: a mean temporal delay $\tau(1.41\ {\rm GHz})=10.9\pm1.5$ ms, which is attributed to the host galaxy, and a mean scintillation bandwidth $\nu_{\rm d}(1.41\ {\rm GHz})=0.21\pm0.01$ MHz, which is attributed to the Milky Way. Balmer line measurements for the host imply an H$\alpha$ emission measure (galaxy frame) $\rm EM_s=620$ pc cm$^{-6} \times (T/10^4 {\rm K})^{0.9}$, implying $\rm DM_{\rm H\alpha}$ of order the value inferred from the FRB DM budget, $\rm DM_h=1121^{+89}_{-138}$ pc cm$^{-3}$ for plasma temperatures greater than the typical value $10^4$ K. Combining $\tau$ and $\rm DM_h$ yields a nominal constraint on the scattering amplification from the host galaxy $\tilde{F} G=1.5^{+0.8}_{-0.3}$ (pc$^2$ km)$^{-1/3}$, where $\tilde{F}$ describes turbulent density fluctuations and $G$ represents the geometric leverage to scattering that depends on the location of the scattering material. For a two-screen scattering geometry where $\tau$ arises from the host galaxy and $\Delta \nu_{\rm d}$ from the Milky Way, the implied distance between the FRB source and dominant scattering material is $\lesssim100$ pc. The host galaxy scattering and DM contributions support a novel technique for estimating FRB redshifts using the $\tau-\rm DM$ relation, and are consistent with previous findings that scattering of localized FRBs is largely dominated by plasma within host galaxies and the Milky Way.


title: Improving the Efficiency of Variationally Enhanced Sampling with Wavelet-Based Bias Potentials

abstract: Collective variable-based enhanced sampling methods are routinely used on systems with metastable states, where high free energy barriers impede proper sampling of the free energy landscapes when using conventional molecular dynamics simulations. One such method is variationally enhanced sampling (VES), which is based on a variational principle where a bias potential in the space of some chosen slow degrees of freedom, or collective variables, is constructed by minimizing a convex functional. In practice, the bias potential is taken as a linear expansion in some basis function set. So far, primarily basis functions delocalized in the collective variable space, like plane waves, Chebyshev, or Legendre polynomials, have been used. However, there has not been an extensive study of how the convergence behavior is affected by the choice of the basis functions. In particular, it remains an open question if localized basis functions might perform better. In this work, we implement, tune, and validate Daubechies wavelets as basis functions for VES\@. The wavelets construct orthogonal and localized bases that exhibit an attractive multiresolution property. We evaluate the performance of wavelet and other basis functions on various systems, going from model potentials to the calcium carbonate association process in water. We observe that wavelets exhibit excellent performance and much more robust convergence behavior than all other basis functions, as well as better performance than metadynamics. In particular, using wavelet bases yields far smaller fluctuations of the bias potential within individual runs and smaller differences between independent runs. Based on our overall results, we can recommend wavelets as basis functions for VES.


title: Conditional Simulation Using Diffusion Schr\"odinger Bridges

abstract: Denoising diffusion models have recently emerged as a powerful class of generative models. They provide state-of-the-art results, not only for unconditional simulation, but also when used to solve conditional simulation problems arising in a wide range of inverse problems. A limitation of these models is that they are computationally intensive at generation time as they require simulating a diffusion process over a long time horizon. When performing unconditional simulation, a Schr\"odinger bridge formulation of generative modeling leads to a theoretically grounded algorithm shortening generation time which is complementary to other proposed acceleration techniques. We extend the Schr\"odinger bridge framework to conditional simulation. We demonstrate this novel methodology on various applications including image super-resolution, optimal filtering for state-space models and the refinement of pre-trained networks. Our code can be found at https://github.com/vdeborto/cdsb.


title: Configuration Control for Physical Coupling of Heterogeneous Robot Swarms

abstract: In this paper, we present a heterogeneous robot swarm system that can physically couple with each other to form functional structures and dynamically decouple to perform individual tasks. The connection between robots can be formed with a passive coupling mechanism, ensuring minimum energy consumption during coupling and decoupling behavior. The heterogeneity of the system enables the robots to perform structural enhancement configurations based on specific environmental requirements. We propose a connection-pair oriented configuration control algorithm to form different assemblies. We show experiments of up to nine robots performing the coupling, gap-crossing, and decoupling behaviors.


title: Temporal signals drive the emergence of multicellular information networks

abstract: Coordinated responses to environmental stimuli are critical for multicellular organisms. To overcome the obstacles of cell-to-cell heterogeneity and noisy signaling dynamics within individual cells, cells must effectively exchange information with peers. However, the dynamics and mechanisms of collective information transfer driven by external signals is poorly understood. Here we investigate the calcium dynamics of neuronal cells that form confluent monolayers and respond to cyclic ATP stimuli in microfluidic devices. Using Granger inference to reconstruct the underlying causal relations between the cells, we find that the cells self-organize into spatially decentralized and temporally stationary networks to support information transfer via gap junction channels. The connectivity of the causal networks depend on the temporal profile of the external stimuli, where short periods, or long periods with small duty fractions, lead to reduced connectivity and fractured network topology. We build a theoretical model based on communicating excitable units that reproduces our observations. The model further predicts that connectivity of the causal network is maximal at an optimal communication strength, which is confirmed by the experiments. Together, our results show that information transfer between neuronal cells is externally regulated by the temporal profile of the stimuli, and internally regulated by cell-cell communication.


title: Application of DatasetGAN in medical imaging: preliminary studies

abstract: Generative adversarial networks (GANs) have been widely investigated for many potential applications in medical imaging. DatasetGAN is a recently proposed framework based on modern GANs that can synthesize high-quality segmented images while requiring only a small set of annotated training images. The synthesized annotated images could be potentially employed for many medical imaging applications, where images with segmentation information are required. However, to the best of our knowledge, there are no published studies focusing on its applications to medical imaging. In this work, preliminary studies were conducted to investigate the utility of DatasetGAN in medical imaging. Three improvements were proposed to the original DatasetGAN framework, considering the unique characteristics of medical images. The synthesized segmented images by DatasetGAN were visually evaluated. The trained DatasetGAN was further analyzed by evaluating the performance of a pre-defined image segmentation technique, which was trained by the use of the synthesized datasets. The effectiveness, concerns, and potential usage of DatasetGAN were discussed.


title: Technical Debt and Maintainability: How do tools measure it?

abstract: The technical state of software, i.e., its technical debt (TD) and maintainability are of increasing interest as ever more software is developed and deployed. Since td and maintainability are neither uniformly defined, not easy to understand, nor directly measurable, practitioners are likely to apply readily available tools to assess TD or maintainability and they may rely on the reported results without properly understanding what they embody. In this paper, we: a) methodically identify 11 readily available tools that measure TD or maintainability, b) present an in-depth investigation on how each of these tools measures and computes TD or maintainability, and c) compare these tools and their characteristics. We find that contemporary tools focus mainly on internal qualities of software, i.e., quality of source code, that they define and measure TD or maintainability in widely different ways, that most of the tools measure TD or maintainability opaquely, and that it is not obvious why the measure of one tool is more trustworthy or representative than the one of another.


title: Ergodic theorems for algorithmically random points

abstract: This paper is a survey of applications of the theory of algorithmic randomness to ergodic theory. We establish various degrees of constructivity for asymptotic laws of probability theory. In the framework of the Kolmogorov approach to the substantiation of the probability theory and information theory on the base of the theory of algorithms, we formulate probabilistic laws, i.e. statements which hold almost surely, in a pointwise form, i.e., for Martin-Lof random points. It is shown in this paper that the main statement of ergodic theory - Birkhoff ergodic theorem, is non-constructive in the strong (classical) sense, but it is constructive in some weaker sense - in terms of Martin-Lof randomness.


title: Dynamical renormalization and universality in classical multifield cosmological models

abstract: We study the scaling behavior of classical multifield cosmological models with complete scalar manifold $({\cal M},{\cal G})$ and positive smooth scalar potential $\Phi$, introducing a dynamical renormalization group action which relates their UV and IR limits. We show that the RG flow of such models interpolates between a modification of the geodesic flow of $({\cal M},{\cal G})$ (obtained in the UV limit) and the gradient flow of $({\cal M},{\cal G},V)$ (obtained in the IR limit), where the classical effective potential $V$ is proportional to $\sqrt{2\Phi}$. Using this fact, we show that two-field models whose scalar manifold has constant Gaussian curvature equal to $-1$, $0$ or $1$ are infrared universal in the sense that they suffice to describe the first order IR approximants of cosmological orbits for all two-field models with positive smooth scalar potential.


title: A Weyl geometric scalar field approach to the dark sector

abstract: This paper explores the dark sector (dark matter and dark energy) from the perspective of Weyl geometric scalar tensor theory (integrable Weyl geometry). In order to account for the galactic dynamics successfully modelled by MOND ("modified Newtonian dynamics"), the non-minimally coupled scalar field considered here has a Lagrangian with two non-conventional contributions in addition to a standard kinetic term: one is inspired by Bekenstein/Milgrom's RAQUAL ("relativistic a-quadratic Lagrangian") from 1983, the other one by a second order term introduced in cosmological studies by Novello et al. in 1993. {\bf See, however, the error warning below}. We consider the transition to the Einstein gravity on one hand and to scalar field cosmology in the FRW framework on the other. A bouncing cosmological model is tentatively discussed at the end.


title: Roadway Design Matters: Variation in Bicyclists' Psycho-Physiological Responses in Different Urban Roadway Designs

abstract: As a healthier and more sustainable way of mobility, cycling has been advocated by literature and policy. However, current trends in bicyclist crash fatalities suggest deficiencies in current roadway design in protecting these vulnerable road users. The lack of cycling data is a common challenge for studying bicyclists' safety, behavior, and comfort levels under different design contexts. To understand bicyclists' behavioral and physiological responses in an efficient and safe way, this study uses a bicycle simulator within an immersive virtual environment (IVE). Off-the-shelf sensors are utilized to evaluate bicyclists' cycling performance (speed and lane position) and physiological responses (eye tracking and heart rate (HR)). Participants bike in a simulated virtual environment modeled to scale from a real-world street with a shared bike lane (sharrow) to evaluate how introduction of a bike lane and a protected bike lane with pylons may impact perceptions of safety, as well as behavioral and psycho-physiological responses. Results from 50 participants show that the protected bike lane design received the highest perceived safety rating and exhibited the lowest average cycling speed. Furthermore, both the bike lane and the protected bike lane scenarios show a less dispersed gaze distribution than the as-built sharrow scenario, reflecting a higher gaze focus among bicyclists on the biking task in the bike lane and protected bike lane scenarios, compared to when bicyclists share right of way with vehicles. Additionally, heart rate change point results from the study suggest that creating dedicated zones for bicyclists (bike lanes or protected bike lanes) has the potential to reduce bicyclists' stress levels.


title: UCTopic: Unsupervised Contrastive Learning for Phrase Representations and Topic Mining

abstract: High-quality phrase representations are essential to finding topics and related terms in documents (a.k.a. topic mining). Existing phrase representation learning methods either simply combine unigram representations in a context-free manner or rely on extensive annotations to learn context-aware knowledge. In this paper, we propose UCTopic, a novel unsupervised contrastive learning framework for context-aware phrase representations and topic mining. UCTopic is pretrained in a large scale to distinguish if the contexts of two phrase mentions have the same semantics. The key to pretraining is positive pair construction from our phrase-oriented assumptions. However, we find traditional in-batch negatives cause performance decay when finetuning on a dataset with small topic numbers. Hence, we propose cluster-assisted contrastive learning(CCL) which largely reduces noisy negatives by selecting negatives from clusters and further improves phrase representations for topics accordingly. UCTopic outperforms the state-of-the-art phrase representation model by 38.2% NMI in average on four entity cluster-ing tasks. Comprehensive evaluation on topic mining shows that UCTopic can extract coherent and diverse topical phrases.


title: Attacks on Deidentification's Defenses

abstract: Quasi-identifier-based deidentification techniques (QI-deidentification) are widely used in practice, including $k$-anonymity, $\ell$-diversity, and $t$-closeness. We present three new attacks on QI-deidentification: two theoretical attacks and one practical attack on a real dataset. In contrast to prior work, our theoretical attacks work even if every attribute is a quasi-identifier. Hence, they apply to $k$-anonymity, $\ell$-diversity, $t$-closeness, and most other QI-deidentification techniques. First, we introduce a new class of privacy attacks called downcoding attacks, and prove that every QI-deidentification scheme is vulnerable to downcoding attacks if it is minimal and hierarchical. Second, we convert the downcoding attacks into powerful predicate singling-out (PSO) attacks, which were recently proposed as a way to demonstrate that a privacy mechanism fails to legally anonymize under Europe's General Data Protection Regulation. Third, we use LinkedIn.com to reidentify 3 students in a $k$-anonymized dataset published by EdX (and show thousands are potentially vulnerable), undermining EdX's claimed compliance with the Family Educational Rights and Privacy Act. The significance of this work is both scientific and political. Our theoretical attacks demonstrate that QI-deidentification may offer no protection even if every attribute is treated as a quasi-identifier. Our practical attack demonstrates that even deidentification experts acting in accordance with strict privacy regulations fail to prevent real-world reidentification. Together, they rebut a foundational tenet of QI-deidentification and challenge the actual arguments made to justify the continued use of $k$-anonymity and other QI-deidentification techniques.


title: ONE-NAS: An Online NeuroEvolution based Neural Architecture Search for Time Series Forecasting

abstract: Time series forecasting (TSF) is one of the most important tasks in data science, as accurate time series (TS) predictions can drive and advance a wide variety of domains including finance, transportation, health care, and power systems. However, real-world utilization of machine learning (ML) models for TSF suffers due to pretrained models being able to learn and adapt to unpredictable patterns as previously unseen data arrives over longer time scales. To address this, models must be periodically retained or redesigned, which takes significant human and computational resources. This work presents the Online NeuroEvolution based Neural Architecture Search (ONE-NAS) algorithm, which to the authors' knowledge is the first neural architecture search algorithm capable of automatically designing and training new recurrent neural networks (RNNs) in an online setting. Without any pretraining, ONE-NAS utilizes populations of RNNs which are continuously updated with new network structures and weights in response to new multivariate input data. ONE-NAS is tested on real-world large-scale multivariate wind turbine data as well a univariate Dow Jones Industrial Average (DJIA) dataset, and is shown to outperform traditional statistical time series forecasting, including naive, moving average, and exponential smoothing methods, as well as state of the art online ARIMA strategies.


title: Synergistic Network Learning and Label Correction for Noise-robust Image Classification

abstract: Large training datasets almost always contain examples with inaccurate or incorrect labels. Deep Neural Networks (DNNs) tend to overfit training label noise, resulting in poorer model performance in practice. To address this problem, we propose a robust label correction framework combining the ideas of small loss selection and noise correction, which learns network parameters and reassigns ground truth labels iteratively. Taking the expertise of DNNs to learn meaningful patterns before fitting noise, our framework first trains two networks over the current dataset with small loss selection. Based on the classification loss and agreement loss of two networks, we can measure the confidence of training data. More and more confident samples are selected for label correction during the learning process. We demonstrate our method on both synthetic and real-world datasets with different noise types and rates, including CIFAR-10, CIFAR-100 and Clothing1M, where our method outperforms the baseline approaches.


title: The Spectral Bias of Polynomial Neural Networks

abstract: Polynomial neural networks (PNNs) have been recently shown to be particularly effective at image generation and face recognition, where high-frequency information is critical. Previous studies have revealed that neural networks demonstrate a $\textit{spectral bias}$ towards low-frequency functions, which yields faster learning of low-frequency components during training. Inspired by such studies, we conduct a spectral analysis of the Neural Tangent Kernel (NTK) of PNNs. We find that the $\Pi$-Net family, i.e., a recently proposed parametrization of PNNs, speeds up the learning of the higher frequencies. We verify the theoretical bias through extensive experiments. We expect our analysis to provide novel insights into designing architectures and learning frameworks by incorporating multiplicative interactions via polynomials.


title: Interpretable Concept-based Prototypical Networks for Few-Shot Learning

abstract: Few-shot learning aims at recognizing new instances from classes with limited samples. This challenging task is usually alleviated by performing meta-learning on similar tasks. However, the resulting models are black-boxes. There has been growing concerns about deploying black-box machine learning models and FSL is not an exception in this regard. In this paper, we propose a method for FSL based on a set of human-interpretable concepts. It constructs a set of metric spaces associated with the concepts and classifies samples of novel classes by aggregating concept-specific decisions. The proposed method does not require concept annotations for query samples. This interpretable method achieved results on a par with six previously state-of-the-art black-box FSL methods on the CUB fine-grained bird classification dataset.


title: The Equation of State of Neutron-Rich Matter at Fourth Order of Chiral Effective Field Theory and the Radius of a Medium-Mass Neutron Star

abstract: We report neutron star predictions based on our most recent equations of state. These are derived from chiral effective field theory, which allows for a systematic development of nuclear forces, order by order. We utilize high-quality two-nucleon interactions and include all three-nucleon forces up to fourth order in the chiral expansion. Our ab initio predictions are restricted to the domain of applicability of chiral effective field theory. However, stellar matter in the interior of neutron stars can be up to several times denser than normal nuclear matter at saturation, and its composition is essentially unknown. Following established practices, we extend our microscopic predictions to higher densities matching piecewise polytropes. The radius of the average-size neutron star, about 1.4 solar masses, is sensitive to the pressure at normal densities, and thus it is suitable to constrain ab initio theories of the equation of state. For this reason, we focus on the radius of medium-mass stars. We compare our results with other theoretical predictions and recent constraints.


title: The heterogeneous helicoseir

abstract: We study the rotations of a heavy string (helicoseir) about a vertical axis with one free endpoint and with arbitrary density, under the action of the gravitational force. We show that the problem can be transformed into a nonlinear eigenvalue equation, as in the uniform case. The eigenmodes of this equation represent equilibrium configurations of the rotating string in which the shape of the string doesn't change with time. As previously proved by Kolodner for the homogenous case, the occurrence of new modes of the nonlinear equation is tied to the spectrum of the corresponding linear equation. We have been able to generalize this result to a class of densities $\rho(s) = \gamma (1-s)^{\gamma-1}$, which includes the homogenous string as a special case ($\gamma=1$). We also show that the solutions to the nonlinear eigenvalue equation (NLE) for an arbitrary density are orthogonal and that a solution of this equation with a given number of nodes contains solutions of a different helicoseir, with a smaller number of nodes. Both properties hold also for the homogeneous case and had not been established before.


title: Superspreading and Heterogeneity in Epidemics

abstract: Epidemic disease spreading is conventionally often modelled and analyzed by means of rate and diffusion equations, following the paradigms of well-controlled chemical reactions and diffusive dynamics in a test tube. Yet, serious worries that this suggestive and appealing similarity might be a false friend were already voiced by the pioneers of mathematical epidemiology. A century later, we can draw on cross-fertilizations from network and game theory and the emerging field of eco-evolutionary dynamics to substantiate them. Epidemiological spreading is thereby revealed as a fundamentally heterogeneous and erratic process that shares certain properties with more unwieldy phenomena, such as earthquakes, hurricanes, traffic jams, and stock crashes. They are all characterised by high tail risks that materialize very rarely but fatally. That they arise from bursts of unlikely chains of localized random "superspreader" events, by which micro-scale fluctuations and uncertainties may get heftily magnified, makes their accurate prediction and control intrinsically and notoriously hard. That epidemic disease spreading is moreover closely intertwined with equally heterogeneous genetic drift and information feedback adds new challenges -- and chances.


title: Coset topologies on $\mathbb{Z}$ and arithmetic applications

abstract: We provide a construction which covers as special cases many of the topologies on integers one can find in the literature. Moreover, our analysis of the Golomb and Kirch topologies inserts them in a family of connected, Hausdorff topologies on $\mathbb{Z}$, obtained from closed sets of the profinite completion $\hat{\mathbb{Z}}$. We also discuss various applications to number theory.


title: Robustness of quantum Hall interferometry

abstract: Fabry-P\'{e}rot interferometry has emerged as a tool to probe anyon statistics in the quantum Hall effect. The interference phase is interpreted as a combination of a quantized statistical phase and an Aharonov-Bohm phase, proportional to the device area and the charge of the anyons propagating along the device edge. This interpretation faces two challenges. First, the edge states have a finite width and hence the device area is ill-defined. Second, multiple localized anyons may be present in states that overlap with the edge, and it may not be clear whether a second anyon traveling along the edge will go inside or outside the region with a localized anyon and therefore whether or not it should pick up a statistical phase. We show how one may overcome both challenges. In a case where only one chiral edge mode passes through the constrictions defining the interferometer, as when electrons in a constriction are in a Laughlin state with $\nu=1/(2n+1)$ or the integer state at $\nu=1$, we show that the interference phase can be directly related to the total electron charge contained in the interferometer. This holds for arbitrary electron-electron interactions and holds even if the bulk of the interferometer has a higher electron density than the region of the constrictions. In contrast to the device area or to the number of anyons inside a propagating edge channel, the total charge is well-defined. We examine, at the microscopic level, how the relation between charge and phase is maintained when there is a soft confining potential and disorder near the edge of the interferometer, and we discuss briefly the complications that can occur when multiple chiral modes can pass through the constriction.


title: A Bibliometric Horizon Scanning Methodology for Identifying Emerging Topics in the Scientific Literature

abstract: A bibliometric methodology for scanning for emerging science and technology areas is described, where topics in the science, technology and innovation enterprise are discovered using Latent Dirichlet Allocation, their growth rates are modeled using first-order rate kinetics, and research specialization of various entities in these topics is measured using the location quotient. Multiple interactive visualization interfaces that integrate these results together to assist human analysts are developed. This methodology is demonstrated by analyzing the last five years of publications, patents and grants (~ 14 million documents) showing, for example, that deep learning for machine vision is the fastest growing area, and that China has a stronger focus than the U.S. in this area.


title: PARIS and ELSA: An Elastic Scheduling Algorithm for Reconfigurable Multi-GPU Inference Servers

abstract: In cloud machine learning (ML) inference systems, providing low latency to end-users is of utmost importance. However, maximizing server utilization and system throughput is also crucial for ML service providers as it helps lower the total-cost-of-ownership. GPUs have oftentimes been criticized for ML inference usages as its massive compute and memory throughput is hard to be fully utilized under low-batch inference scenarios. To address such limitation, NVIDIA's recently announced Ampere GPU architecture provides features to "reconfigure" one large, monolithic GPU into multiple smaller "GPU partitions". Such feature provides cloud ML service providers the ability to utilize the reconfigurable GPU not only for large-batch training but also for small-batch inference with the potential to achieve high resource utilization. In this paper, we study this emerging GPU architecture with reconfigurability to develop a high-performance multi-GPU ML inference server. Our first proposition is a sophisticated partitioning algorithm for reconfigurable GPUs that systematically determines a heterogeneous set of multi-granular GPU partitions, best suited for the inference server's deployment. Furthermore, we co-design an elastic scheduling algorithm tailored for our heterogeneously partitioned GPU server which effectively balances low latency and high GPU utilization.


title: Causal Domain Adaptation with Copula Entropy based Conditional Independence Test

abstract: Domain Adaptation (DA) is a typical problem in machine learning that aims to transfer the model trained on source domain to target domain with different distribution. Causal DA is a special case of DA that solves the problem from the view of causality. It embeds the probabilistic relationships in multiple domains in a larger causal structure network of a system and tries to find the causal source (or intervention) on the system as the reason of distribution drifts of the system states across domains. In this sense, causal DA is transformed as a causal discovery problem that finds invariant representation across domains through the conditional independence between the state variables and observable state of the system given interventions. Testing conditional independence is the corner stone of causal discovery. Recently, a copula entropy based conditional independence test was proposed with a rigorous theory and a non-parametric estimation method. In this paper, we first present a mathemetical model for causal DA problem and then propose a method for causal DA that finds the invariant representation across domains with the copula entropy based conditional independence test. The effectiveness of the method is verified on two simulated data. The power of the proposed method is then demonstrated on two real-world data: adult census income data and gait characteristics data.


title: Out of Hypervisor (OoH): When Nested Virtualization Becomes Practical

abstract: This paper introduces Out of Hypervisor (OoH), a new research axis close to nested virtualization. Instead of emulating a full virtual hardware inside a VM to support a hypervisor, the OoH principle is to individually expose current hypervisor-oriented hardware virtualization features to the guest OS so that its processes could also take benefit from those features. In fact, several hardware virtualization features such as Intel PML, SPP, CAT, and EPT which currently can only be used by the hypervisor also be beneficial for processes that run inside the VM. We illustrate OoH with Intel PML (Page Modification Logging), a feature which allows efficient dirty page tracking for improving VM live migration. According to the fact that dirty page tracking is at the heart of process checkpointing (CRIU) and concurrent garbage collection (Boehm), we present two OoH PML designs namely Shadow PML (SPML) and Extended PML (EPML). The former requires no hardware changes but incurs significant overhead, justifying EPML which extends PML. We evaluated and compared SPML and EPML with /proc and userfaultfd,t wo default solutions in Linux. We do this using a key-value store database as the benchmark. The results show that EPML reduces CRIU checkpointing time by about 14% while leading to a negligible overhead (of about 0.5%) compared to SPML, /proc, and userfaultfd.


title: On Problems Related to Unbounded SubsetSum: A Unified Combinatorial Approach

abstract: Unbounded SubsetSum is a classical textbook problem: given integers $w_1,w_2,\cdots,w_n\in [1,u],~c,u$, we need to find if there exists $m_1,m_2,\cdots,m_n\in \mathbb{N}$ satisfying $c=\sum_{i=1}^n w_im_i$. In its all-target version, $t\in \mathbb{Z}_+$ is given and answer for all integers $c\in[0,t]$ is required. In this paper, we study three generalizations of this simple problem: All-Target Unbounded Knapsack, All-Target CoinChange and Residue Table. By new combinatorial insights into the structures of solutions, we present a novel two-phase approach for such problems. As a result, we present the first near-linear algorithms for CoinChange and Residue Table, which runs in $\tilde{O}(u+t)$ and $\tilde{O}(u)$ time deterministically. We also show if we can compute $(\min,+)$ convolution for $n$-length arrays in $T(n)$ time, then All-Target Unbounded Knapsack can be solved in $\tilde{O}(T(u)+t)$ time, thus establishing sub-quadratic equivalence between All-Target Unbounded Knapsack and $(\min,+)$ convolution.


title: Pareto-Rational Verification

abstract: We study the rational verification problem which consists in verifying the correctness of a system executing in an environment that is assumed to behave rationally. We consider the model of rationality in which the environment only executes behaviors that are Pareto-optimal with regard to its set of objectives, given the behavior of the system (which is committed in advance of any interaction). We examine two ways of specifying this behavior, first by means of a deterministic Moore machine, and then by lifting its determinism. In the latter case the machine may embed several different behaviors for the system, and the universal rational verification problem aims at verifying that all of them are correct when the environment is rational. For parity objectives, we prove that the Pareto-rational verification problem is co-NP-complete and that its universal version is in PSPACE and both NP-hard and co-NP-hard. For Boolean B\"uchi objectives, the former problem is $\Pi_2\mathsf{P}$-complete and the latter is PSPACE-complete. We also study the case where the objectives are expressed using LTL formulas and show that the first problem is PSPACE-complete, and that the second is 2EXPTIME-complete. Both problems are also shown to be fixed-parameter tractable (FPT) for parity and Boolean B\"uchi objectives. Finally, we evaluate two variations of the FPT algorithm proposed to solve the Pareto-rational verification problem on a parametric toy example as well as on randomly generated instances.


title: Architectural Optimization and Feature Learning for High-Dimensional Time Series Datasets

abstract: As our ability to sense increases, we are experiencing a transition from data-poor problems, in which the central issue is a lack of relevant data, to data-rich problems, in which the central issue is to identify a few relevant features in a sea of observations. Motivated by applications in gravitational-wave astrophysics, we study the problem of predicting the presence of transient noise artifacts in a gravitational wave detector from a rich collection of measurements from the detector and its environment. We argue that feature learning--in which relevant features are optimized from data--is critical to achieving high accuracy. We introduce models that reduce the error rate by over 60% compared to the previous state of the art, which used fixed, hand-crafted features. Feature learning is useful not only because it improves performance on prediction tasks; the results provide valuable information about patterns associated with phenomena of interest that would otherwise be undiscoverable. In our application, features found to be associated with transient noise provide diagnostic information about its origin and suggest mitigation strategies. Learning in high-dimensional settings is challenging. Through experiments with a variety of architectures, we identify two key factors in successful models: sparsity, for selecting relevant variables within the high-dimensional observations; and depth, which confers flexibility for handling complex interactions and robustness with respect to temporal variations. We illustrate their significance through systematic experiments on real detector data. Our results provide experimental corroboration of common assumptions in the machine-learning community and have direct applicability to improving our ability to sense gravitational waves, as well as to many other problem settings with similarly high-dimensional, noisy, or partly irrelevant data.


title: Point Label Aware Superpixels for Multi-species Segmentation of Underwater Imagery

abstract: Monitoring coral reefs using underwater vehicles increases the range of marine surveys and availability of historical ecological data by collecting significant quantities of images. Analysis of this imagery can be automated using a model trained to perform semantic segmentation, however it is too costly and time-consuming to densely label images for training supervised models. In this letter, we leverage photo-quadrat imagery labeled by ecologists with sparse point labels. We propose a point label aware method for propagating labels within superpixel regions to obtain augmented ground truth for training a semantic segmentation model. Our point label aware superpixel method utilizes the sparse point labels, and clusters pixels using learned features to accurately generate single-species segments in cluttered, complex coral images. Our method outperforms prior methods on the UCSD Mosaics dataset by 3.62% for pixel accuracy and 8.35% for mean IoU for the label propagation task, while reducing computation time reported by previous approaches by 76%. We train a DeepLabv3+ architecture and outperform state-of-the-art for semantic segmentation by 2.91% for pixel accuracy and 9.65% for mean IoU on the UCSD Mosaics dataset and by 4.19% for pixel accuracy and 14.32% mean IoU for the Eilat dataset.


title: Generic Gelfand-Tsetlin Modules of Quantized and Classical Orthogonal Algebras

abstract: We construct infinite-dimensional analogues of finite-dimensional simple modules of the nonstandard $q$-deformed enveloping algebra $U_q'(\mathfrak{so}_n)$ defined by Gavrilik and Klimyk, and we do the same for the classical universal enveloping algebra $U(\mathfrak{so}_n)$. In this paper we only consider the case when $q$ is not a root of unity, and $q\to 1$ for the classical case. Extending work by Mazorchuk on $\mathfrak{so}_n$, we provide rational matrix coefficients for these infinite-dimensional modules of both $U_q'(\mathfrak{so}_n)$ and $U(\mathfrak{so}_n)$. We use these modules with rationalized formulas to embed the respective algebras into skew group algebras of shift operators. Casimir elements of $U_q'(\mathfrak{so}_n)$ were given by Gavrilik and Iorgov, and we consider the commutative subalgebra $\Gamma\subset U_q'(\mathfrak{so}_n)$ generated by these elements and the corresponding subalgebra $\Gamma_1\subset U(\mathfrak{so}_n)$. The images of $\Gamma$ and $\Gamma_1$ under their respective embeddings into skew group algebras are equal to invariant algebras under certain group actions. We use these facts to show $\Gamma$ is a Harish-Chandra subalgebra of $U_q'(\mathfrak{so}_n)$ and $\Gamma_1$ is a Harish-Chandra subalgebra of $U(\mathfrak{so}_n)$.


title: Textual analysis of clinical notes on pathology request forms to determine sensitivity and specificity of Hepatitis B and C virus infection status

abstract: Background: It is not established whether clinical notes provided on pathology request forms are useful as decision support data when assessing Hepatitis B and C viral infection status. Objective: To determine sensitivity, specificity, and predictive value of clinical notes for identifying infection status of Hepatitis B and C. Methods: The study comprises 179 cases and 166 cases tested for HBsAg and anti-HCV serological markers, respectively, and accompanied by a written description (clinical note) provided on pathology request forms by the clinician on duty. The clinical note sensitivity, specificity, positive (PPV) and negative (NPV) predictive values were calculated using serological HBsAg and anti-HCV tests as gold standards. Results: The sensitivity and specificity of clinical notes for Hepatitis B infection status were 90 percent and 56 percent, respectively. The sensitivity and specificity of clinical notes for Hepatitis C infection status were 86 percent and 21 percent, respectively. Conclusions: Clinical note information identifies moderate-to-high sensitivity with regards to Hepatitis B and C viral infection status, however, given low specificity in both groups, the clinical note is not favourable for ruling disease in, possibly due to high rate of false positives.


title: Limitations of Deep Learning for Inverse Problems on Digital Hardware

abstract: Deep neural networks have seen tremendous success over the last years. Since the training is performed on digital hardware, in this paper, we analyze what actually can be computed on current hardware platforms modeled as Turing machines, which would lead to inherent restrictions of deep learning. For this, we focus on the class of inverse problems, which, in particular, encompasses any task to reconstruct data from measurements. We prove that finite-dimensional inverse problems are not Banach-Mazur computable for small relaxation parameters. Even more, our results introduce a lower bound on the accuracy that can be obtained algorithmically.


title: Sparsity-aware neural user behavior modeling in online interaction platforms

abstract: Modern online platforms offer users an opportunity to participate in a variety of content-creation, social networking, and shopping activities. With the rapid proliferation of such online services, learning data-driven user behavior models is indispensable to enable personalized user experiences. Recently, representation learning has emerged as an effective strategy for user modeling, powered by neural networks trained over large volumes of interaction data. Despite their enormous potential, we encounter the unique challenge of data sparsity for a vast majority of entities, e.g., sparsity in ground-truth labels for entities and in entity-level interactions (cold-start users, items in the long-tail, and ephemeral groups). In this dissertation, we develop generalizable neural representation learning frameworks for user behavior modeling designed to address different sparsity challenges across applications. Our problem settings span transductive and inductive learning scenarios, where transductive learning models entities seen during training and inductive learning targets entities that are only observed during inference. We leverage different facets of information reflecting user behavior (e.g., interconnectivity in social networks, temporal and attributed interaction information) to enable personalized inference at scale. Our proposed models are complementary to concurrent advances in neural architectural choices and are adaptive to the rapid addition of new applications in online platforms.


title: Well-posedness of a modified degenerate Cahn-Hilliard model for surface diffusion

abstract: We study the well-posedness of a modified degenerate Cahn-Hilliard type model for surface diffusion. With degenerate phase-dependent diffusion mobility and additional stabilizing function, this model is able to give the correct sharp interface limit. We introduce a notion of weak solutions for the nonlinear model. The existence result is obtained by approximations of the proposed model with nondegenerate mobilities. We also employ this method to prove existence of weak solutions to a related model where the chemical potential contains a nonlocal term originated from self-climb of dislocations in crystalline materials.


title: PetroFit: A Python Package for Computing Petrosian Radii and Fitting Galaxy Light Profiles

abstract: PetroFit is an open-source Python package, based on Astropy and Photutils, that can calculate Petrosian profiles and fit galaxy images. It offers end-to-end tools for making accurate photometric measurements, estimating morphological properties, and fitting 2D models to galaxy images. Petrosian metric radii can be used for model parameter estimation and aperture photometry to provide accurate total fluxes. Correction tools are provided for improving Petrosian radii estimates affected by galaxy morphology. PetroFit also provides tools for sampling Astropy-based models (including custom profiles and multi-component models) onto image grids and enables PSF convolution to account for the effects of seeing. These capabilities provide a robust means of modeling and fitting galaxy light profiles. We have made the PetroFit package publicly available on GitHub (PetroFit/petrofit) and PyPi (pip install petrofit).


title: Hybrid Molecular Beam Epitaxy of Ge-based Oxides

abstract: Germanium-based oxides such as rutile GeO2 are garnering attention owing to their wide band gaps and the prospects for ambipolar doping for application in high-power devices. Here, we present the use of germanium tetraisopropoxide (GTIP) (an organometallic chemical precursor) as a source of Ge for the demonstration of hybrid molecular beam epitaxy (MBE) for Ge-containing compounds. We use Sn1-xGexO2 and SrSn1-xGexO3 as model systems to demonstrate this new synthesis method. A combination of high-resolution X-ray diffraction, scanning transmission electron microscopy, and X-ray photoelectron spectroscopy confirms the successful growth of epitaxial rutile Sn1-xGexO2 on TiO2(001) substrates up to x = 0.54 and coherent perovskite SrSn1-xGexO3 on GdScO3(110) substrates up to x = 0.16. Characterization and first-principles calculations corroborate that Ge preferentially occupies the Sn site, as opposed to the Sr site. These findings confirm the viability of the GTIP precursor for the growth of germanium-containing oxides by hybrid MBE, and thus open the door to high-quality perovskite germanate films.


title: An empirical comparison of machine learning models for student's mental health illness assessment

abstract: Student's mental health problems have been explored previously in higher education literature in various contexts including empirical work involving quantitative and qualitative methods. Nevertheless, comparatively few research could be found, aiming for computational methods that learn information directly from data without relying on set parameters for a predetermined equation as an analytical method. This study aims to investigate the performance of Machine learning (ML) models used in higher education. ML models considered are Naive Bayes, Support Vector Machine, K-Nearest Neighbor, Logistic regression, Stochastic Gradient Descent, Decision Tree, Random Forest, XGBoost (Extreme Gradient Boosting Decision Tree), and NGBoost (Natural) algorithm. Considering the factors of mental health illness among students, we follow three phases of data processing: segmentation, feature extraction, and classification. We evaluate these ML models against classification performance metrics such as accuracy, precision, recall, F1 score, and predicted run time. The empirical analysis includes two contributions: 1. It examines the performance of various ML models on a survey-based educational dataset, inferring a significant classification performance by a tree-based XGBoost algorithm; 2. It explores the feature importance [variables] from the datasets to infer the significant importance of social support, learning environment, and childhood adversities on a student's mental health illness.


title: Machine learning techniques to identify antibiotic resistance in patients diagnosed with various skin and soft tissue infections

abstract: Skin and soft tissue infections (SSTIs) are among the most frequently observed diseases in ambulatory and hospital settings. Resistance of diverse bacterial pathogens to antibiotics is a significant cause of severe SSTIs, and treatment failure results in morbidity, mortality, and increased cost of hospitalization. Therefore, antimicrobial surveillance is essential to predict antibiotic resistance trends and monitor the results of medical interventions. To address this, we developed machine learning (ML) models (deep and conventional algorithms) to predict antimicrobial resistance using antibiotic susceptibility testing (ABST) data collected from patients clinically diagnosed with primary and secondary pyoderma over a period of one year. We trained an individual ML algorithm on each antimicrobial family to determine whether a Gram-Positive Cocci (GPC) or Gram-Negative Bacilli (GNB) bacteria will resist the corresponding antibiotic. For this purpose, clinical and demographic features from the patient and data from ABST were employed in training. We achieved an Area Under the Curve (AUC) of 0.68-0.98 in GPC and 0.56-0.93 in GNB bacteria, depending on the antimicrobial family. We also conducted a correlation analysis to determine the linear relationship between each feature and antimicrobial families in different bacteria. ML techniques suggest that a predictable nonlinear relationship exists between patients' clinical-demographic characteristics and antibiotic resistance; however, the accuracy of this prediction depends on the type of the antimicrobial family.


title: Zariski dense orbits for endomorphisms of a power of the additive group scheme defined over finite fields

abstract: We prove the Zariski dense orbit conjecture in positive characteristic for endomorphisms of $\mathbb{G}_a^N$ defined over $\overline{\mathbb{F}_p}$.


title: Deconfined Quantum Criticality among Grand Unified Theories

abstract: This article overviews the recent developments in applying the idea of deconfined quantum criticality in condensed matter physics to understand quantum phase transitions among grand unified theories in high energy physics in the 4-dimensional spacetime. In particular, dictated by a mod 2 class nonperturbative global mixed gauge-gravitational anomaly, there can be a gapless deconfined quantum critical region between Georgi-Glashow and Pati-Salam models -- not only the Standard Model occurs as a neighbor phase, but also beyond the Standard Model phenomena (such as deconfined dark gauge force and fractionalized/fragmentary fermionic partons) emerge near the critical region.


title: A remark on the essential self-adjointness for Klein-Gordon type operators

abstract: Here we discuss a new simplified proof of the essential self-adjointness for formally self-adjoint differential operators of real principal type, previously proved by Vasy (2020) and Nakamura-Taira (2021). For simplicity, here we discuss the second order cases, i.e., Klein-Gordon type operators only.


title: The Golden Circle: Creating Socio-technical Alignment in Content Moderation

abstract: This paper outlines a conceptual framework titled The Golden Circle that describes the roles of actors at individual, organizational, and societal levels, and their dynamics in the content moderation ecosystem. Centering harm reduction and context moderation, it argues that the ML community must attend to multimodal content moderation solutions, align their work with their organizations' goals and values, and pay attention to the ever changing social contexts in which their sociotechnical systems are embedded. This is done by accounting for the why, how, and what of content moderation from a sociological and technical lens.


title: Globally Optimal Boresight Alignment of UAV-LiDAR Systems

abstract: In airborne light detection and ranging (LiDAR) systems, misalignments between the LiDAR-scanner and the inertial navigation system (INS) mounted on an unmanned aerial vehicle (UAV)'s frame can lead to inaccurate 3D point clouds. Determining the orientation offset, or boresight error is key to many LiDAR-based applications. In this work, we introduce a mixed-integer quadratically constrained quadratic program (MIQCQP) that can globally solve this misalignment problem. We also propose a nested spatial branch and bound (nsBB) algorithm that improves computational performance. The nsBB relies on novel preprocessing steps that progressively reduce the problem size. In addition, an adaptive grid search (aGS) allowing us to obtain quick heuristic solutions is presented. Our algorithms are open-source, multi-threaded and multi-machine compatible.


title: ESW Edge-Weights : Ensemble Stochastic Watershed Edge-Weights for Hyperspectral Image Classification

abstract: Hyperspectral image (HSI) classification is a topic of active research. One of the main challenges of HSI classification is the lack of reliable labelled samples. Various semi-supervised and unsupervised classification methods are proposed to handle the low number of labelled samples. Chief among them are graph convolution networks (GCN) and their variants. These approaches exploit the graph structure for semi-supervised and unsupervised classification. While several of these methods implicitly construct edge-weights, to our knowledge, not much work has been done to estimate the edge-weights explicitly. In this article, we estimate the edge-weights explicitly and use them for the downstream classification tasks - both semi-supervised and unsupervised. The proposed edge-weights are based on two key insights - (a) Ensembles reduce the variance and (b) Classes in HSI datasets and feature similarity have only one-sided implications. That is, while same classes would have similar features, similar features do not necessarily imply the same classes. Exploiting these, we estimate the edge-weights using an aggregate of ensembles of watersheds over subsamples of features. These edge weights are evaluated for both semi-supervised and unsupervised classification tasks. The evaluation for semi-supervised tasks uses Random-Walk based approach. For the unsupervised case, we use a simple filter using a graph convolution network (GCN). In both these cases, the proposed edge weights outperform the traditional approaches to compute edge-weights - Euclidean distances and cosine similarities. Fascinatingly, with the proposed edge-weights, the simplest GCN obtained results comparable to the recent state-of-the-art.


title: Variational Interpretable Learning from Multi-view Data

abstract: The main idea of canonical correlation analysis (CCA) is to map different views onto a common latent space with maximum correlation. We propose a deep interpretable variational canonical correlation analysis (DICCA) for multi-view learning. The developed model extends the existing latent variable model for linear CCA to nonlinear models through the use of deep generative networks. DICCA is designed to disentangle both the shared and view-specific variations for multi-view data. To further make the model more interpretable, we place a sparsity-inducing prior on the latent weight with a structured variational autoencoder that is comprised of view-specific generators. Empirical results on real-world datasets show that our methods are competitive across domains.


title: Estimating Galaxy Redshift in Radio-Selected Datasets using Machine Learning

abstract: All-sky radio surveys are set to revolutionise the field with new discoveries. However, the vast majority of the tens of millions of radio galaxies won't have the spectroscopic redshift measurements required for a large number of science cases. Here, we evaluate techniques for estimating redshifts of galaxies from a radio-selected survey. Using a radio-selected sample with broadband photometry at infrared and optical wavelengths, we test the k-Nearest Neighbours (kNN) and Random Forest machine learning algorithms, testing them both in their regression and classification modes. Further, we test different distance metrics used by the kNN algorithm, including the standard Euclidean distance, the Mahalanobis distance and a learned distance metric for both the regression mode (the Metric Learning for Kernel Regression metric) and the classification mode (the Large Margin Nearest Neighbour metric). We find that all regression-based modes fail on galaxies at a redshift $z > 1$. However, below this range, the kNN algorithm using the Mahalanobis distance metric performs best, with an $\eta_{0.15}$ outlier rate of 5.85\%. In the classification mode, the kNN algorithm using the Mahalanobis distance metric also performs best, with an $\eta_{0.15}$ outlier rate of 5.85\%, correctly placing 74\% of galaxies in the top $z > 1.02$ bin. Finally, we also tested the effect of training in one field and applying the trained algorithm to similar data from another field and found that variation across fields does not result in statistically significant differences in predicted redshifts. Importantly, we find that while we may not be able to predict a continuous value for high-redshift radio sources, we can identify the majority of them using the classification modes of existing techniques.


title: Cyber Mobility Mirror: A Deep Learning-based Real-World Object Perception Platform Using Roadside LiDAR

abstract: Object perception plays a fundamental role in Cooperative Driving Automation (CDA) which is regarded as a revolutionary promoter for the next-generation transportation systems. However, the vehicle-based perception may suffer from the limited sensing range and occlusion as well as low penetration rates in connectivity. In this paper, we propose Cyber Mobility Mirror (CMM), a next-generation real-time traffic surveillance system for 3D object perception and reconstruction, to explore the potential of roadside sensors for enabling CDA in the real world. The CMM system consists of six main components: 1) the data pre-processor to retrieve and preprocess the raw data; 2) the roadside 3D object detector to generate 3D detection results; 3) the multi-object tracker to identify detected objects; 4) the global locator to map positioning information from the LiDAR coordinate to geographic coordinate using coordinate transformation; 5) the cloud-based communicator to transmit perception information from roadside sensors to equipped vehicles, and 6) the onboard advisor to reconstruct and display the real-time traffic conditions via Graphical User Interface (GUI). In this study, a field-operational system is deployed at a real-world intersection, University Avenue and Iowa Avenue in Riverside, California to assess the feasibility and performance of our CMM system. Results from field tests demonstrate that our CMM prototype system can provide satisfactory perception performance with 96.99% precision and 83.62% recall. High-fidelity real-time traffic conditions (at the object level) can be geo-localized with an average error of 0.14m and displayed on the GUI of the equipped vehicle with a frequency of 3-4 Hz.


title: Keyword Optimization in Sponsored Search Advertising: A Multi-Level Computational Framework

abstract: In sponsored search advertising, keywords serve as an essential bridge linking advertisers, search users and search engines. Advertisers have to deal with a series of keyword decisions throughout the entire lifecycle of search advertising campaigns. This paper proposes a multi-level and closed-form computational framework for keyword optimization (MKOF) to support various keyword decisions. Based on this framework, we develop corresponding optimization strategies for keyword targeting, keyword assignment and keyword grouping at different levels (e.g., market, campaign and adgroup). With two real-world datasets obtained from past search advertising campaigns, we conduct computational experiments to evaluate our keyword optimization framework and instantiated strategies. Experimental results show that our method can approach the optimal solution in a steady way, and it outperforms two baseline keyword strategies commonly used in practice. The proposed MKOF framework also provides a valid experimental environment to implement and assess various keyword strategies in sponsored search advertising.


title: Hamiltonian Extended Affine Lie Algebras and its representation theory

abstract: We introduce a new class of extended affine Lie algebras called Hamiltonian Extended Lie Algebras(HEALAs). They are so called because the corresponding derivation algebra is the classical Hamiltonian algebra. We classify the irreducible integrable modules for the HEALA based on the classification of irreducible Jet modules for the Hamiltonian algebra (both zero level and non-zero level.


title: Nitrogen decoration of basal plane dislocations in 4H-SiC

abstract: Basal-plane dislocations (BPDs) pose a great challenge to the reliability of bipolar power devices based on the 4H silicon carbide (4H-SiC). It is well established that heavy nitrogen (N) doping promotes the conversion of BPDs to threading edge dislocations (TEDs) and improves the reliability of 4H-SiC-based bipolar power devices. However, the interaction between N and BPDs, and the effect of N on the electronic properties of BPDs are still ambiguous, which significantly hinder the understanding on the electron-transport mechanism of 4H-SiC-based bipolar power devices. Combining molten-alkali etching and the Kelvin probe force microscopy (KPFM) analysis, we demonstrate that BPDs create acceptor-like states in undoped 4H-SiC, while acting as donors in N-doped 4H-SiC. First-principles calculations verify that BPDs create occupied defect states above the valence band maximum (VBM) and unoccupied defect states under the conduction-band minimum (CBM) of undoped 4H-SiC. The electron transfer from the defect states of intrinsic defects and native impurities to the unoccupied defect states of BPDs gives rise to the acceptor-like behavior of BPDs in undoped 4H-SiC. Defect formation energies indicate that N atoms can spontaneously decorate BPDs during the N doping of 4H-SiC. The binding between N and BPD is strong against decomposition. The accumulation of N dopants at the core of BPDs results in the accumulation of donor-like states at the core of BPDs in N-doped 4H-SiC. This work not only enriches the understanding on the electronic behavior of BPDs in N-doped 4H-SiC, but also helps understand the electron transport mechanism of 4H-SiC-based bipolar power devices.


title: Evaluating High-Order Predictive Distributions in Deep Learning

abstract: Most work on supervised learning research has focused on marginal predictions. In decision problems, joint predictive distributions are essential for good performance. Previous work has developed methods for assessing low-order predictive distributions with inputs sampled i.i.d. from the testing distribution. With low-dimensional inputs, these methods distinguish agents that effectively estimate uncertainty from those that do not. We establish that the predictive distribution order required for such differentiation increases greatly with input dimension, rendering these methods impractical. To accommodate high-dimensional inputs, we introduce \textit{dyadic sampling}, which focuses on predictive distributions associated with random \textit{pairs} of inputs. We demonstrate that this approach efficiently distinguishes agents in high-dimensional examples involving simple logistic regression as well as complex synthetic and empirical data.