title: roadscene2vec: A Tool for Extracting and Embedding Road Scene-Graphs

abstract: Recently, road scene-graph representations used in conjunction with graph learning techniques have been shown to outperform state-of-the-art deep learning techniques in tasks including action classification, risk assessment, and collision prediction. To enable the exploration of applications of road scene-graph representations, we introduce roadscene2vec: an open-source tool for extracting and embedding road scene-graphs. The goal of roadscene2vec is to enable research into the applications and capabilities of road scene-graphs by providing tools for generating scene-graphs, graph learning models to generate spatio-temporal scene-graph embeddings, and tools for visualizing and analyzing scene-graph-based methodologies. The capabilities of roadscene2vec include (i) customized scene-graph generation from either video clips or data from the CARLA simulator, (ii) multiple configurable spatio-temporal graph embedding models and baseline CNN-based models, (iii) built-in functionality for using graph and sequence embeddings for risk assessment and collision prediction applications, (iv) tools for evaluating transfer learning, and (v) utilities for visualizing scene-graphs and analyzing the explainability of graph learning models. We demonstrate the utility of roadscene2vec for these use cases with experimental results and qualitative evaluations for both graph learning models and CNN-based models. roadscene2vec is available at https://github.com/AICPS/roadscene2vec.


title: Remote Multilinear Compressive Learning with Adaptive Compression

abstract: Multilinear Compressive Learning (MCL) is an efficient signal acquisition and learning paradigm for multidimensional signals. The level of signal compression affects the detection or classification performance of a MCL model, with higher compression rates often associated with lower inference accuracy. However, higher compression rates are more amenable to a wider range of applications, especially those that require low operating bandwidth and minimal energy consumption such as Internet-of-Things (IoT) applications. Many communication protocols provide support for adaptive data transmission to maximize the throughput and minimize energy consumption. By developing compressive sensing and learning models that can operate with an adaptive compression rate, we can maximize the informational content throughput of the whole application. In this paper, we propose a novel optimization scheme that enables such a feature for MCL models. Our proposal enables practical implementation of adaptive compressive signal acquisition and inference systems. Experimental results demonstrated that the proposed approach can significantly reduce the amount of computations required during the training phase of remote learning systems but also improve the informational content throughput via adaptive-rate sensing.


title: Surface-Facilitated Trapping by Active Sites: From Catalysts to Viruses

abstract: Trapping by active sites on surfaces plays important roles in various chemical and biological processes, including catalysis, enzymatic reactions, and viral entry into host cells. However, the mechanisms of these processes remain not well understood, mostly because the existing theoretical descriptions are not fully accounting for the role of the surfaces. Here we present a theoretical investigation on the dynamics of surface-assisted trapping by specific active sites. In our model, a diffusing particle can be occasionally reversibly bound to the surface and diffuse on it before reaching the final target site. An approximate theoretical framework is developed, and its predictions are tested by Brownian Dynamics computer simulations. It is found that the surface diffusion can be crucial in mediating the association to active sites. Our theoretical predictions work reasonably well as long as the size of the active site is much smaller than the overall surface area. Potential applications of our method are discussed.


title: Exploratory Design of a Hands-free Video Game Controller for a Quadriplegic Individual

abstract: From colored pixels to hyper-realistic 3D landscapes of virtual reality, video games have evolved immensely over the last few decades. However, video game input still requires two-handed dexterous finger manipulations for simultaneous joystick and trigger or mouse and keyboard presses. In this work, we explore the design of a hands-free game control method using realtime facial expression recognition for individuals with neurological and neuromuscular diseases who are unable to use traditional game controllers. Similar to other Assistive Technologies (AT), our facial input technique is also designed and tested in collaboration with a graduate student who has Spinal Muscular Atrophy. Our preliminary evaluation shows the potential of facial expression recognition for augmenting the lives of quadriplegic individuals by enabling them to accomplish things like walking, running, flying or other adventures that may not be so attainable otherwise.


title: Hosting Industry Centralization and Consolidation

abstract: There have been growing concerns about the concentration and centralization of Internet infrastructure. In this work, we scrutinize the hosting industry on the Internet by using active measurements, covering 19 Top-Level Domains (TLDs). We show how the market is heavily concentrated: 1/3 of the domains are hosted by only 5 hosting providers, all US-based companies. For the country-code TLDs (ccTLDs), however, hosting is primarily done by local, national hosting providers and not by the large American cloud and content providers. We show how shared languages (and borders) shape the hosting market -- German hosting companies have a notable presence in Austrian and Swiss markets, given they all share German as official language. While hosting concentration has been relatively high and stable over the past four years, we see that American hosting companies have been continuously increasing their presence in the market related to high traffic, popular domains within ccTLDs -- except for Russia, notably.


title: NVMExplorer: A Framework for Cross-Stack Comparisons of Embedded Non-Volatile Memories

abstract: Repeated off-chip memory accesses to DRAM drive up operating power for data-intensive applications, and SRAM technology scaling and leakage power limits the efficiency of embedded memories. Future on-chip storage will need higher density and energy efficiency, and the actively expanding field of emerging, embeddable non-volatile memory (eNVM) technologies is providing many potential candidates to satisfy this need. Each technology proposal presents distinct trade-offs in terms of density, read, write, and reliability characteristics, and we present a comprehensive framework for navigating and quantifying these design trade-offs alongside realistic system constraints and application-level impacts. This work evaluates eNVM-based storage for a range of application and system contexts including machine learning on the edge, graph analytics, and general purpose cache hierarchy, in addition to describing a freely available (http://nvmexplorer.seas.harvard.edu/) set of tools for application experts, system designers, and device experts to better understand, compare, and quantify the next generation of embedded memory solutions.


title: A second order low-regularity integrator for the nonlinear Schr\"odinger equation

abstract: In this paper, we analyse a new exponential-type integrator for the nonlinear cubic Schr\"odinger equation on the $d$ dimensional torus $\mathbb T^d$. The scheme has recently also been derived in a wider context of decorated trees in [Y. Bruned and K. Schratz, arXiv:2005.01649]. It is explicit and efficient to implement. Here, we present an alternative derivation, and we give a rigorous error analysis. In particular, we prove second-order convergence in $H^\gamma(\mathbb T^d)$ for initial data in $H^{\gamma+2}(\mathbb T^d)$ for any $\gamma > d/2$. This improves the previous work in [Kn\"oller, A. Ostermann, and K. Schratz, SIAM J. Numer. Anal. 57 (2019), 1967-1986]. The design of the scheme is based on a new method to approximate the nonlinear frequency interaction. This allows us to deal with the complex resonance structure in arbitrary dimensions. Numerical experiments that are in line with the theoretical result complement this work.


title: Assisting Decision Making in Scholarly Peer Review: A Preference Learning Perspective

abstract: Peer review is the primary means of quality control in academia; as an outcome of a peer review process, program and area chairs make acceptance decisions for each paper based on the review reports and scores they received. Quality of scientific work is multi-faceted; coupled with the subjectivity of reviewing, this makes final decision making difficult and time-consuming. To support this final step of peer review, we formalize it as a paper ranking problem. We introduce a novel, multi-faceted generic evaluation framework for ranking submissions based on peer reviews that takes into account effectiveness, efficiency and fairness. We propose a preference learning perspective on the task that considers both review texts and scores to alleviate the inevitable bias and noise in reviews. Our experiments on peer review data from the ACL 2018 conference demonstrate the superiority of our preference-learning-based approach over baselines and prior work, while highlighting the importance of using both review texts and scores to rank submissions.


title: Strange and charm contributions to nucleon charges and moments

abstract: We present preliminary results for strange and charm contributions to nucleon charges and moments. The scalar, axial and tensor charges, and unpolarized first moments are calculated using clover-on-HISQ formulation and cover four lattice spacings, $a=\{0.06,0.09,0.12, 0.15\}$~fm, and three pion masses, $M_\pi=\{310,220,130\}$~MeV. The renormalization factors are calculated nonperturbatively using the RI-sMOM scheme. We carry out a chiral and continuum extrapolation to obtain physical results.


title: Log severity levels matter: A multivocal mapping

abstract: The choice of log severity level can be challenging and cause problems in producing reliable logging data. However, there is a lack of specifications and practical guidelines to support this challenge. In this study, we present a multivocal systematic mapping of log severity levels from peer-reviewed literature, logging libraries, and practitioners' views. We analyzed 19 severity levels, 27 studies, and 40 logging libraries. Our results show redundancy and semantic similarity between the levels and a tendency to converge the levels for a total of six levels. Our contributions help leverage the reliability of log entries: (i) mapping the literature about log severity levels, (ii) mapping the severity levels in logging libraries, (iii) a set of synthesized six definitions and four general purposes for severity levels. We recommend that developers use a standard nomenclature, and for logging library creators, we suggest providing accurate and unambiguous definitions of log severity levels.


title: Generalized source multipole moments of dynamical horizons in binary black hole mergers

abstract: In this work, we uncover new features in the evolution of the deformations of the dynamical horizon geometry in a binary black hole merger scenario using numerical relativity. First, in the inspiral phase, owing to the deformations, the dynamical horizons of the two black holes are found to steadily acquire multipole moments that vanish when the horizons are isolated. Out of these, the dominant moment is found to be the quadrupole moment. Second, we show that they encode detailed information about the dynamics of the binary black hole system. The dominant quadrupole multipole moment is particularly shown to be strongly correlated with the gravitational field of the system at future null infinity. Therefore, the gravitational waves carried away from the system contain information about the geometrical structure of the black holes in the strong-field regime. Third, we also find that, in the post-merger phase, the multipolar structure of the outer common dynamical horizon of the system is strongly correlated with that of the individual horizons just before the merger. The outer common horizon then settles down to equilibrium as suggested by the decay of the multipole moments gained by the system through the inspiral phase.


title: A simple proof for the chromatic number of cyclic Latin squares of even order

abstract: The chromatic number of a cyclic Latin square of order 2n is 2n+2. The available proof for this statement includes a coloring that is rather lengthy. Here, we introduce a coloring of cyclic Latin square of even order 2n (the Latin square of a cyclic group's Cayley table) with 2n+2 colors using a simple method supported by a graphical presentation.


title: Drastically enhanced cation incorporation in the epitaxy of oxides due to formation and evaporation of suboxides from elemental sources

abstract: In the molecular beam epitaxy of oxide films, the cation (Sn, Ga) or dopant (Sn) incorporation does not follow the vapor pressure of the elemental metal sources, but is enhanced by several orders of magnitude for low source temperatures. Using line-of-sight quadrupole mass spectrometry, we identify the dominant contribution to the total flux emanating from Sn and Ga sources at these temperatures to be due to the unintentional formation and evaporation of the respective suboxides SnO and Ga$_{2}$O. We quantitatively describe this phenomenon by a rate-equation model that takes into account the O background pressure, the resulting formation of the suboxides via oxidation of the metal source, and their subsequent thermally activated evaporation. As a result, the total flux composed of the metal and the suboxide fluxes exhibit an \textsf{S}-shape temperature dependence instead of the expected linear one in an Arrhenius plot, in excellent agreement with the available experimental data. Our model reveals that the thermally activated regimes at low and high temperatures are almost exclusively due to suboxide and metal evaporation, respectively, joined by an intermediate plateau-like regime in which the flux is limited by the available amount of O. An important suboxide contribution is expected for all elemental sources whose suboxide exhibits a higher vapor pressure than the element, such as B, Ga, In, La, Si, Ge, Sn, Sb, Mo, Nb, Ru, Ta, V, and W. This contribution can play a decisive role in the molecular beam epitaxy of oxides, including multicomponent or complex oxides, from elemental sources. Finally, our model predicts suboxide-dominated growth in low-pressure chemical vapor deposition of Ga$_{2}$O$_{3}$ and In$_{2}$O$_{3}$.


title: Effectiveness of smearing and tetrahedron methods: best practices in DFT codes

abstract: Density functional theory (DFT) codes are commonly treated as a "black box" in high-throughput screening of materials, with users opting for the default values of the input parameters. Often, non-experts may not sufficiently consider the effect of these parameters on prediction quality. In this work, we attempt to identify a robust set of parameters related to smearing and tetrahedron methods that return numerically accurate and efficient results for a wide variety of metallic systems. The effects of smearing and tetrahedron methods on the total energy, number of self-consistent field cycles, and forces on atoms are studied in two popular DFT codes: the Vienna Ab initio Simulation Package (VASP) and Quantum Espresso (QE). From nearly 40,000 computations, it is apparent that the optimal smearing depends on the system, smearing method, smearing parameter, and $k$-point density. The benefit of smearing is a minor reduction in the number of self-consistent field cycles, which is independent of the smearing method or parameter. A large smearing parameter -- what is considered large is system dependent -- leads to inaccurate total energies and forces. Bl\"ochl's tetrahedron method leads to small improvements in total energies. When treating diverse systems with the same input parameters, we suggest using as little smearing as possible due to the system dependence of smearing and the risk of selecting a parameter that gives inaccurate energies and forces.


title: Force Correlations in Disordered Magnets

abstract: We present a proof of principle for the validity of the functional renormalization group, by measuring the force correlations in Barkhausen-noise experiments. Our samples are soft ferromagnets in two distinct universality classes, differing in the range of spin interactions, and the effects of eddy currents. We show that the force correlations have a universal form predicted by the functional renormalization group, distinct for short-range and long-range elasticity, and mostly independent of eddy currents. In all cases correlations grow linearly at small distances, as in mean-field models, but in contrast to the latter are bounded at large distances. As a consequence, avalanches are anti-correlated. We derive bounds for these anti-correlations, which are saturated in the experiments, showing that the multiple domain walls in our samples effectively behave as a single wall.


title: Equivariantly slicing strongly negative amphichiral knots

abstract: We prove obstructions to a strongly negative amphichiral knot bounding an equivariant slice disk in the 4-ball using the determinant, Spinc-structures and Donaldson's theorem. Of the 16 slice strongly negative amphichiral knots with 12 or fewer crossings, our obstructions show that 8 are not equivariantly slice, we exhibit equivariant ribbon diagrams for 5 others, and the remaining 3 are unknown. Finally, we give an obstruction to a knot being strongly negative amphichiral in terms of Heegaard Floer correction terms.


title: Sums of CR and projective dual CR functions

abstract: A smooth, strongly $\mathbb{C}$-convex, real hypersurface $S$ in $\mathbb{CP}^n$ admits a projective dual CR structure in addition to the standard CR structure. Given a smooth function $u$ on $S$, we provide characterizations for when $u$ can be decomposed as a sum of a CR function and a dual CR function. Following work of Lee on pluriharmonic boundary values, we provide a characterization using differential forms. We further provide a characterization using tangential vector fields in the style of Audibert and Bedford.


title: Sarnak's conjecture for rank-one subshifts

abstract: Using techniques developed in \cite{KLR}, we verify Sarnak's conjecture for two classes of rank-one subshifts with unbounded cutting parameters. The first class of rank-one subshifts we consider are called {\em almost complete congruency classes} ({\em accc}), the definition of which is motivated by the main result of \cite{GS}, which implies that, when a rank-one subshift carries a unique non-atomic invariant probability measure, it is accc if it is measure-theoretically isomorphic to an odometer. The second class we consider consists of Katok's map and its generalizations.


title: ECO: Edge-Cloud Optimization of 5G applications

abstract: Centralized cloud computing with 100+ milliseconds network latencies cannot meet the tens of milliseconds to sub-millisecond response times required for emerging 5G applications like autonomous driving, smart manufacturing, tactile internet, and augmented or virtual reality. We describe a new, dynamic runtime that enables such applications to make effective use of a 5G network, computing at the edge of this network, and resources in the centralized cloud, at all times. Our runtime continuously monitors the interaction among the microservices, estimates the data produced and exchanged among the microservices, and uses a novel graph min-cut algorithm to dynamically map the microservices to the edge or the cloud to satisfy application-specific response times. Our runtime also handles temporary network partitions, and maintains data consistency across the distributed fabric by using microservice proxies to reduce WAN bandwidth by an order of magnitude, all in an {\it application-specific manner} by leveraging knowledge about the application's functions, latency-critical pipelines and intermediate data. We illustrate the use of our runtime by successfully mapping two complex, representative real-world video analytics applications to the AWS/Verizon Wavelength edge-cloud architecture, and improving application response times by 2x when compared with a static edge-cloud implementation.


title: NavStick: Making Video Games Blind-Accessible via the Ability to Look Around

abstract: Video games remain largely inaccessible to visually impaired people (VIPs). Today's blind-accessible games are highly simplified renditions of what sighted players enjoy, and they do not give VIPs the same freedom to look around and explore game worlds on their own terms. In this work, we introduce NavStick, an audio-based tool for looking around within virtual environments, with the aim of making 3D adventure video games more blind-accessible. NavStick repurposes a game controller's thumbstick to allow VIPs to survey what is around them via line-of-sight. In a user study, we compare NavStick with traditional menu-based surveying for different navigation tasks and find that VIPs were able to form more accurate mental maps of their environment with NavStick than with menu-based surveying. In an additional exploratory study, we investigate NavStick in the context of a representative 3D adventure game. Our findings reveal several implications for blind-accessible games, and we close by discussing these.


title: Light Emission by Free Electrons in Photonic Time-Crystals

abstract: Photonic time-crystals (PTCs) are spatially-homogeneous media whose electromagnetic (EM) susceptibility varies periodically in time, causing temporal reflections and refractions for any wave propagating within the medium. The time-reflected and time-refracted waves interfere, giving rise to Floquet modes with momentum bands separated by gaps (rather than energy bands and gaps, as in photonic crystals). Here, we show that a free electron moving in a PTC spontaneously emits radiation, and, when associated with momentum-gap modes, the radiation of the electron is exponentially amplified by the modulation of the refractive index. Moreover, under strong electron-photon coupling, the quantum formulation reveals that the spontaneous emission into the PTC bandgap experiences destructive quantum interference with the emission of the electron into the PTC band modes, leading to suppression of the interdependent emission. Free-electron physics in PTCs offers a new platform for studying a plethora of exciting phenomena such as radiating dipoles moving at relativistic speeds and highly efficient quantum interactions with free electrons. Radiation emission in PTCs and its non-resonant nature hold the promise for constructing new particle detectors with adjustable sensitivity and highly tunable laser sources, ranging from terahertz to the x-ray regime, drawing their power from the modulation.


abstract: Motivated by the works of Wang [Y. Wang, \textit{Lie (Jordan) derivations of arbitrary triangular algebras,} Aequationes Mathematicae, \textbf{93} (2019), 1221-1229] and Moafian et al. [F. Moafian and H. R. Ebrahimi Vishki, \textit{Lie higher derivations on triangular algebras revisited,} Filomat, \textbf{30}(12) (2016), 3187-3194.], we shall study Lie higher derivations of arbitrary triangular algebras. In fact, it is shown that every Lie higher derivation on an arbitrary triangular algebra is proper, using the notion of maximal left (right) ring of quotients.


title: Byzantine Consensus in Directed Hypergraphs

abstract: Byzantine consensus is a classical problem in distributed computing. Each node in a synchronous system starts with a binary input. The goal is to reach agreement in the presence of Byzantine faulty nodes. We consider the setting where communication between nodes is modelled via a directed hypergraph. In the classical point-to-point communication model, the communication between nodes is modelled as a simple graph where all messages sent on an edge are private between the two endpoints of the edge. This allows a faulty node to equivocate, i.e., lie differently to its different neighbors. Different models have been proposed in the literature that weaken equivocation. In the local broadcast model, every message transmitted by a node is received identically and correctly by all of its neighbors. In the hypergraph model, every message transmitted by a node on a hyperedge is received identically and correctly by all nodes on the hyperedge. Tight network conditions are known for each of the three cases for undirected (hyper)graphs. For the directed models, tight conditions are known for the point-to-point and local broadcast models. In this work, we consider the directed hypergraph model that encompasses all the models above. Each directed hyperedge consists of a single head (sender) and at least one tail (receiver), This models a local multicast channel where messages transmitted by the sender are received identically by all the receivers in the hyperedge. For this model, we identify tight network conditions for consensus. We observe how the directed hypergraph model reduces to each of the three models above under specific conditions. In each case, we relate our network condition to the corresponding known tight conditions. The directed hypergraph model also encompasses other practical network models of interest that have not been explored previously, as elaborated in the paper.


title: Mechanical Chameleons: Evaluating the effects of a social robot's non-verbal behavior on social influence

abstract: In this paper we present a pilot study which investigates how non-verbal behavior affects social influence in social robots. We also present a modular system which is capable of controlling the non-verbal behavior based on the interlocutor's facial gestures (head movements and facial expressions) in real time, and a study investigating whether three different strategies for facial gestures ("still", "natural movement", i.e. movements recorded from another conversation, and "copy", i.e. mimicking the user with a four second delay) has any affect on social influence and decision making in a "survival task". Our preliminary results show there was no significant difference between the three conditions, but this might be due to among other things a low number of study participants (12).


title: Similarity of Sentence Representations in Multilingual LMs: Resolving Conflicting Literature and Case Study of Baltic Languages

abstract: Low-resource languages, such as Baltic languages, benefit from Large Multilingual Models (LMs) that possess remarkable cross-lingual transfer performance capabilities. This work is an interpretation and analysis study into cross-lingual representations of Multilingual LMs. Previous works hypothesized that these LMs internally project representations of different languages into a shared cross-lingual space. However, the literature produced contradictory results. In this paper, we revisit the prior work claiming that "BERT is not an Interlingua" and show that different languages do converge to a shared space in such language models with another choice of pooling strategy or similarity index. Then, we perform cross-lingual representational analysis for the two most popular multilingual LMs employing 378 pairwise language comparisons. We discover that while most languages share joint cross-lingual space, some do not. However, we observe that Baltic languages do belong to that shared space. The code is available at https://github.com/TartuNLP/xsim.


title: Online Distributed Optimization in Radial Power Distribution Systems: Closed-Form Expressions

abstract: The limitations of centralized optimization methods in managing power distribution systems operations motivate distributed control and optimization algorithms. However, the existing distributed optimization algorithms are inefficient in managing fast varying phenomena, resulting from highly variable distributed energy resources (DERs). Related online distributed control methods are equally limited in their applications. They require thousands of time-steps to track the network-level optimal solutions, resulting in slow performance. We have previously developed an online distributed controller that leverages the system's radial topology to achieve network-level optimal solutions within a few time steps. However, it requires solving a node-level nonlinear programming problem at each time step. This paper analyzes the solution space for the node-level optimization problem and derives the analytical closed-form solutions for the decision variables. The theoretical analysis of the node-level optimization problem and obtained closed-form optimal solutions eliminate the need for embedded optimization solvers at each distributed agent and significantly reduce the computational time and optimization costs.


title: Quantum spin Hall effect in two-dimensional transition-metal chalcogenides

abstract: Based on first-principles calculations, we have found a family of 2D transition-metal (TM) chalcogenides MX5 (M = Zr, Hf and X = S, Se and Te) can host quantum spin Hall (QSH) effect. The molecular dynamics simulation indicate that they are all thermal-dynamically stable at room temperature, the largest band gap is 0.19 eV. We have investigated MX5's electronic properties and found their properties are very similar. The single-layer ZrX5 are all gapless semimetals without consideration of spin-orbit coupling (SOC). The consideration of SOC will result in insulating phases with band gaps of 0.05 eV (direct), 0.18 eV (direct) and 0.13 eV (indirect) for ZrS5, ZrSe5 to ZrTe5, respectively. The evolution of Wannier charge centers and edge states confirm they are all QSH insulators. The mechanisms for QSH effect in ZrX5 originate from the special nonsymmorphic space group features. In addition, the QSH state of ZrS5 survives at a large range of strain as long as the interchain coupling is not strong enough to reverse the band ordering. The single-layer ZrS5 will occur a topological insulator (TI)-to-semimetal (metal) or metal-to-semimetal transition under certain strain. Monolayer MX5 expand the TI materials based on TM chalcogenides and may open up a new way to fabricate novel low power spintronic devices at room temperature.


title: Compatibility of the Fargues-Scholze and Gan-Takeda Local Langlands

abstract: Given a prime $p$, a finite extension $L/\mathbb{Q}_{p}$, a connected $p$-adic reductive group $G/L$, and a smooth irreducible representation $\pi$ of $G(L)$, Fargues-Scholze recently attached a semisimple Weil parameter to such $\pi$, giving a general candidate for the local Langlands correspondence. It is natural to ask whether this construction is compatible with known instances of the correspondence after semisimplification. For $G = \mathrm{GL}_{n}$ and its inner forms, Fargues-Scholze and Hansen-Kaletha-Weinstein showed that the correspondence is compatible with the correspondence of Harris-Taylor/Henniart. We verify a similar compatibility for $G = \mathrm{GSp}_{4}$ and its unique non-split inner form $G = \mathrm{GU}_{2}(D)$, where $D$ is the quaternion division algebra over $L$, assuming that $L/\mathbb{Q}_{p}$ is unramified and $p > 2$. In this case, the local Langlands correspondence has been constructed by Gan-Takeda and Gan-Tantono. Analogous to the case of $\mathrm{GL}_{n}$ and its inner forms, this compatibility is proven by describing the Weil group action on the cohomology of a local Shimura variety associated to $\mathrm{GSp}_{4}$, using basic uniformization of abelian type Shimura varieties due to Shen, combined with various global results of Kret-Shin and Sorensen on Galois representations in the cohomology of global Shimura varieties associated to inner forms of $\mathrm{GSp}_{4}$ over a totally real field. After showing the parameters are the same, we apply some ideas from the geometry of the Fargues-Scholze construction explored recently by Hansen, to give a more precise description of the cohomology of this local Shimura variety, verifying a strong form of the Kottwitz conjecture in the process.


title: Quantifying Reproducibility in NLP and ML

abstract: Reproducibility has become an intensely debated topic in NLP and ML over recent years, but no commonly accepted way of assessing reproducibility, let alone quantifying it, has so far emerged. The assumption has been that wider scientific reproducibility terminology and definitions are not applicable to NLP/ML, with the result that many different terms and definitions have been proposed, some diametrically opposed. In this paper, we test this assumption, by taking the standard terminology and definitions from metrology and applying them directly to NLP/ML. We find that we are able to straightforwardly derive a practical framework for assessing reproducibility which has the desirable property of yielding a quantified degree of reproducibility that is comparable across different reproduction studies.


title: A Reliable, Self-Adaptive Face Identification Framework via Lyapunov Optimization

abstract: Realtime face identification (FID) from a video feed is highly computation-intensive, and may exhaust computation resources if performed on a device with a limited amount of resources (e.g., a mobile device). In general, FID performs better when images are sampled at a higher rate, minimizing false negatives. However, performing it at an overwhelmingly high rate exposes the system to the risk of a queue overflow that hampers the system's reliability. This paper proposes a novel, queue-aware FID framework that adapts the sampling rate to maximize the FID performance while avoiding a queue overflow by implementing the Lyapunov optimization. A preliminary evaluation via a trace-based simulation confirms the effectiveness of the framework.


title: Zelevinsky Duality on Basic Local Shimura Varieties

abstract: We give a simple proof of a general result describing the action of the Zelevinsky involution on the cohomology of certain basic local Shimura varieties, using the machinery of Fargues-Scholze. As an application, we generalize earlier results of Fargues and Mieda on the action of the Zelevinsky involution on the cohomology of $GL_{n}$ and $GSp_{4}$ type basic local Shimura varieties, respectively.


title: What drives bitcoin? An approach from continuous local transfer entropy and deep learning classification models

abstract: Bitcoin has attracted attention from different market participants due to unpredictable price patterns. Sometimes, the price has exhibited big jumps. Bitcoin prices have also had extreme, unexpected crashes. We test the predictive power of a wide range of determinants on bitcoins' price direction under the continuous transfer entropy approach as a feature selection criterion. Accordingly, the statistically significant assets in the sense of permutation test on the nearest neighbour estimation of local transfer entropy are used as features or explanatory variables in a deep learning classification model to predict the price direction of bitcoin. The proposed variable selection methodology excludes the NASDAQ index and Tesla as drivers. Under different scenarios and metrics, the best results are obtained using the significant drivers during the pandemic as validation. In the test, the accuracy increased in the post-pandemic scenario of July 2020 to January 2021 without drivers. In other words, our results indicate that in times of high volatility, Bitcoin seems to autoregulate and does not need additional drivers to improve the accuracy of the price direction.


title: The Spatiotemporal Evolution of Temperature During Transient Heating of Nanoparticle Arrays

abstract: Nanoparticle (NP) are promising agents to absorb external energy excitation and generate heat. Cluster of NPs or NP array heating have found essential roles for biomedical applications, diagnostic techniques and chemical catalysis. Various studies have shed light on the heat transfer of nanostructures and greatly advanced our understanding of NP array heating. However, there is a lack of analytical tools and dimensionless parameters to describe the transient heating of NP arrays. Here we demonstrate a comprehensive analysis of the transient NP array heating. Firstly, we developed analytical solution for the NP array heating and provide a useful mathematical description of the spatial-temporal evolution of temperature for 2D, 3D and spherical NP array heating. Based on this, we proposed the idea of thermal resolution that quantifies the relationship between minimal heating time, NP array size, energy intensity and target temperature. Lastly, we define a dimensionless parameter that characterize the transition from confined heating to delocalized heating. This study advances the in-depth understanding of nanomaterials heating and provides guidance for rationally designing innovative approaches for NP array heating.


title: Charmed Baryon Physics Circa 2021

abstract: This is an update of the two articles (H.Y. Cheng, 2009; Cheng, 2015) in which charmed baryon physics around 2007 and 2015, respectively, were reviewed. In this review we emphasize the experimental progress and the theoretical development since 2015.


title: Nonsplitting of the Hilbert exact sequence and the principal Chebotarev density theorem

abstract: Let $K/k$ be a finite Galois extension of number fields, and let $H_K$ be the Hilbert class field of $K$. We find a way to verify the nonsplitting of the short exact sequence $$1\to Cl_K\to \text{Gal}(H_K/k)\to\text{Gal}(K/k)\to 1$$ by finite calculation. Our method is based on the study of the principal version of the Chebotarev density theorem, which represents the density of the prime ideals of $k$ that factor into the product of principal prime ideals in $K$. We also find explicit equations to express the principal density in terms of the invariants of $K/k$. In particular, we prove that the group structure of the ideal class group of $K$ can be determined by reading the principal densities.


title: Evaluating the Use of Generalized Dynamic Weighted Ordinary Least Squares for Individualized HIV Treatment Strategies

abstract: Dynamic treatment regimes (DTR) are a statistical paradigm in precision medicine which aim to optimize patient outcomes by individualizing treatments. At its simplest, a DTR may require only a single decision to be made; this special case is called an individualized treatment rule (ITR) and is often used to maximize short-term rewards. Generalized dynamic weighted ordinary least squares (G-dWOLS), a DTR estimation method that offers theoretical advantages such as double robustness of parameter estimators in the decision rules, has been recently extended to now accommodate categorical treatments. In this work, G-dWOLS is applied to longitudinal data to estimate an optimal ITR, which is demonstrated in simulations. This novel method is then applied to a population affected by HIV whereby an ITR for the administration of Interleukin 7 (IL-7) is devised to maximize the duration where the CD4 load is above a healthy threshold (500 cells/$\mu$L) while preventing the administration of unnecessary injections.


title: Robust confidence distributions from proper scoring rules

abstract: A confidence distribution is a distribution for a parameter of interest based on a parametric statistical model. As such, it serves the same purpose for frequentist statisticians as a posterior distribution for Bayesians, since it allows to reach point estimates, to assess their precision, to set up tests along with measures of evidence, to derive confidence intervals, comparing the parameter of interest with other parameters from other studies, etc. A general recipe for deriving confidence distributions is based on classical pivotal quantities and their exact or approximate distributions. However, in the presence of model misspecifications or outlying values in the observed data, classical pivotal quantities, and thus confidence distributions, may be inaccurate. The aim of this paper is to discuss the derivation and application of robust confidence distributions. In particular, we discuss a general approach based on the Tsallis scoring rule in order to compute a robust confidence distribution. Examples and simulation results are discussed for some problems often encountered in practice, such as the two-sample heteroschedastic comparison, the receiver operating characteristic curves and regression models.


title: An Oracle and Observations for the OpenAI Gym / ALE Freeway Environment

abstract: The OpenAI Gym project contains hundreds of control problems whose goal is to provide a testbed for reinforcement learning algorithms. One such problem is Freeway-ram-v0, where the observations presented to the agent are 128 bytes of RAM. While the goals of the project are for non-expert AI agents to solve the control problems with general training, in this work, we seek to learn more about the problem, so that we can better evaluate solutions. In particular, we develop on oracle to play the game, so that we may have baselines for success. We present details of the oracle, plus optimal game-playing situations that can be used for training and testing AI agents.


title: The Optimization of Signed Trees

abstract: A signed graph $G$ is a graph where each edge is assigned a + (positive edge) or a - (negative edge). The signed degree of a vertex $v$ in a signed graph, denoted by $sdeg(v)$, is the number of positive edges incident to $v$ subtracted by the number of negative edges incident to $v$. Finally, we say $G$ realizes the set $D$ if: $$ D = \{sdeg(v) \text{ : } v\in V(G) \}. $$ The topic of signed degree sets and signed degree sequences has been studied from many directions. In this paper, we study properties needed for signed trees to have a given signed degree set. We start by proving that $D$ is the signed degree set of a tree if and only if $1\in D$ or $-1\in D$. Further, for every valid set $D$, we find the smallest diameter that a tree must have to realize $D$. Lastly, for valid sets $D$ with nonnegative numbers, we find the smallest order that a tree must have to realize $D$.


title: Diluted Axion Star Collisions with Neutron Stars

abstract: Diluted axion star, a self-gravitating object with the quantum pressure balancing gravity, has been predicted in many models with a QCD axion or axion-like particle. It can be formed in the early universe and composes a sizable fraction of dark matter. One could detect the transient radio signals when it passes by a magnetar with the axion particle converted into photon in the magnetic field. Using both numerical and semi-analytic approaches, we simulate the axion star's dynamic evolution and estimate the fraction of axion particles that can have a resonance conversion during such a collision event. We have found that both self-gravity and quantum pressure are not important after the diluted axion star enters the Roche radius. A free-fall approximate can capture individual particle trajectories very well. With some optimistic cosmological and astrophysical assumptions, the QCD axion parameter space can be probed from detecting such a collision event by radio telescopes.


title: Giant effective damping of octupole oscillation in an antiferromagnetic Weyl semimetal

abstract: A magnetic Weyl semimetal is a recent focus of extensive research as it may exhibit large and robust transport phenomena associated with topologically protected Weyl points in momentum space. Since a magnetic texture provides a handle for the configuration of the Weyl points and its transport response, understanding of magnetic dynamics should form a basis of future control of a topological magnet. Mn3Sn is an example of an antiferromagnetic Weyl semimetal that exhibits a large response comparable to the one observed in ferromagnets despite a vanishingly small magnetization. The non-collinear spin order in Mn3Sn can be viewed as a ferroic order of cluster magnetic octupole and breaks the time-reversal symmetry, stabilizing Weyl points and the significantly enhanced Berry curvature near the Fermi energy. Here we report our first observation of time-resolved octupole oscillation in Mn3Sn. In particular, we find the giant effective damping of the octupole dynamics, and it is feasible to conduct an ultrafast switching at < 10 ps, a hundred times faster than the case of spin-magnetization in a ferromagnet. Moreover, high domain wall velocity over 10 km/s is theoretically predicted. Our work paves the path towards realizing ultrafast electronic devices using the topological antiferromagnet.


title: Resilience to Denial-of-Service and Integrity Attacks: A Structured Systems Approach

abstract: The resilience of cyberphysical systems to denial-of-service (DoS) and integrity attacks is studied in this paper. The cyberphysical system is modeled as a linear structured system, and its resilience to an attack is interpreted in a graph theoretical framework. The structural resilience of the system is characterized in terms of unmatched vertices in maximum matchings of the bipartite graph and connected components of directed graph representations of the system under attack. We first present conditions for the system to be resilient to DoS attacks when an adversary may block access or turn off certain inputs to the system. We extend this analysis to characterize resilience of the system when an adversary might additionally have the ability to affect the implementation of state-feedback control strategies. This is termed an integrity attack. We establish conditions under which a system that is structurally resilient to a DoS attack will also be resilient to a certain class of integrity attacks. Finally, we formulate an extension to the case of switched linear systems, and derive conditions for such systems to be structurally resilient to a DoS attack.


title: Ab initio electron dynamics in high electric fields: accurate predictions of velocity-field curves

abstract: Electron dynamics in external electric fields governs the behavior of solid-state electronic devices. First-principles calculations enable precise predictions of charge transport in low electric fields. However, studies of high-field electron dynamics remain elusive due to a lack of accurate and broadly applicable methods. Here we develop an efficient approach to solve the real-time Boltzmann transport equation with both the electric field term and ab initio electron-phonon collisions. These simulations provide field-dependent electronic distributions in the time domain, allowing us to investigate both transient and steady-state transport in electric fields ranging from low to high (>10 kV/cm). The broad capabilities of our approach are shown by computing nonequilibrium electron occupations and velocity-field curves in Si, GaAs, and graphene, obtaining results in quantitative agreement with experiment. Our approach sheds light on microscopic details of transport in high electric fields, including dominant scattering mechanisms and valley occupation dynamics. Our results demonstrate quantitatively accurate calculations of electron dynamics in low-to-high electric fields, with broad application to power- and micro-electronics, optoelectronics, and sensing.


title: So Cloze yet so Far: N400 Amplitude is Better Predicted by Distributional Information than Human Predictability Judgements

abstract: More predictable words are easier to process - they are read faster and elicit smaller neural signals associated with processing difficulty, most notably, the N400 component of the event-related brain potential. Thus, it has been argued that prediction of upcoming words is a key component of language comprehension, and that studying the amplitude of the N400 is a valuable way to investigate the predictions we make. In this study, we investigate whether the linguistic predictions of computational language models or humans better reflect the way in which natural language stimuli modulate the amplitude of the N400. One important difference in the linguistic predictions of humans versus computational language models is that while language models base their predictions exclusively on the preceding linguistic context, humans may rely on other factors. We find that the predictions of three top-of-the-line contemporary language models - GPT-3, RoBERTa, and ALBERT - match the N400 more closely than human predictions. This suggests that the predictive processes underlying the N400 may be more sensitive to the surface-level statistics of language than previously thought.


title: Lower bounds on the Lyapunov exponents of stochastic differential equations

abstract: In this article, we review our recently introduced methods for obtaining strictly positive lower bounds on the top Lyapunov exponent of high-dimensional, stochastic differential equations such as the weakly-damped Lorenz-96 (L96) model or Galerkin truncations of the 2d Navier-Stokes equations. This hallmark of chaos has long been observed in these models, however, no mathematical proof had been made for either deterministic or stochastic forcing. The method we proposed combines (A) a new identity connecting the Lyapunov exponents to a Fisher information of the stationary measure of the Markov process tracking tangent directions (the so-called "projective process"); and (B) an $L^1$-based hypoelliptic regularity estimate to show that this (degenerate) Fisher information is an upper bound on some fractional regularity. For L96 and GNSE, we then further reduce the lower bound of the top Lyapunov exponent to proving that the projective process satisfies H\"ormander's condition. We review the recent contributions of the first and third author on the verification of this condition for the 2d Galerkin-Navier-Stokes equations in a rectangular, periodic box of any aspect ratio. Finally, we briefly contrast this work with our earlier work on Lagrangian chaos in the stochastic Navier-Stokes equations. We end the review with a discussion of some open problems.


title: Chirality-induced effective magnetic field in a phthalocyanine molecule

abstract: Chirality in organic molecules has attracted considerable attention in the fields of chemistry, biology, and spintronics. This paper reports on perpendicular magnetization hysteresis loops of a multilayer consisting of ultrathin Fe (001), chiral phthalocyanine molecule ((P)- or (M)-PbPc-DTBPh), and MgO (001). We find a chirality-dependent shift of the hysteresis loop. Unlike the previously reported bias current induced phenomena, the result shows a chirality-induced effective magnetic field in the phthalocyanine molecule in the absence of a bias current in the system. This study opens up a new direction in the emerging field of chiral molecular spintronics.


title: Multimodal Conditionality for Natural Language Generation

abstract: Large scale pretrained language models have demonstrated state-of-the-art performance in language understanding tasks. Their application has recently expanded into multimodality learning, leading to improved representations combining vision and language. However, progress in adapting language models towards conditional Natural Language Generation (NLG) has been limited to a single modality, generally text. We propose MAnTiS, Multimodal Adaptation for Text Synthesis, a general approach for multimodal conditionality in transformer-based NLG models. In this method, we pass inputs from each modality through modality-specific encoders, project to textual token space, and finally join to form a conditionality prefix. We fine-tune the pretrained language model and encoders with the conditionality prefix guiding the generation. We apply MAnTiS to the task of product description generation, conditioning a network on both product images and titles to generate descriptive text. We demonstrate that MAnTiS outperforms strong baseline approaches on standard NLG scoring metrics. Furthermore, qualitative assessments demonstrate that MAnTiS can generate human quality descriptions consistent with given multimodal inputs.


title: The dual problems of coordination and anti-coordination on random bipartite graphs

abstract: In some scenarios ("anti-coordination games"), individuals are better off choosing different actions than their neighbors while in other scenarios ("coordination games"), it is beneficial for individuals to choose the same strategy as their neighbors. Despite having different incentives and resulting population dynamics, it is largely unknown which collective outcome, anti-coordination or coordination, is easier to achieve. To address this issue, we focus on the distributed graph coloring problem on bipartite graphs. We show that with only two strategies, anti-coordination games (2-colorings) and coordination games (uniform colorings) are dual problems that are equally difficult to solve. To prove this, we construct an isomorphism between the Markov chains arising from the corresponding anti-coordination and coordination games under certain specific individual stochastic decision-making rules. Our results provide novel insights into solving collective action problems on networks.


title: The ALMA Survey of 70 $\mu$m Dark High-mass Clumps in Early Stages (ASHES). IV. Star formation signatures in G023.477

abstract: With a mass of $\sim$1000 $M_\odot$ and a surface density of $\sim$0.5 g cm$^{-2}$, G023.477+0.114 also known as IRDC 18310-4 is an infrared dark cloud (IRDC) that has the potential to form high-mass stars and has been recognized as a promising prestellar clump candidate. To characterize the early stages of high-mass star formation, we have observed G023.477+0.114 as part of the ALMA Survey of 70 $\mu$m Dark High-mass Clumps in Early Stages (ASHES). We have conducted $\sim$1."2 resolution observations with the Atacama Large Millimeter/submillimeter Array (ALMA) at 1.3 mm in dust continuum and molecular line emission. We identified 11 cores, whose masses range from 1.1 $M_\odot$ to 19.0 $M_\odot$. Ignoring magnetic fields, the virial parameters of the cores are below unity, implying that the cores are gravitationally bound. However, when magnetic fields are included, the prestellar cores are close to virial equilibrium, while the protostellar cores remain sub-virialized. Star formation activity has already started in this clump. Four collimated outflows are detected in CO and SiO. H$_2$CO and CH$_3$OH emission coincide with the high-velocity components seen in the CO and SiO emission. The outflows are randomly oriented for the natal filament and the magnetic field. The position-velocity diagrams suggest that episodic mass ejection has already begun even in this very early phase of protostellar formation. The masses of the identified cores are comparable to the expected maximum stellar mass that this IRDC could form (8-19 $M_\odot$). We explore two possibilities on how IRDC G023.477+0.114 could eventually form high-mass stars in the context of theoretical scenarios.


title: A Study of Mixed Precision Strategies for GMRES on GPUs

abstract: Support for lower precision computation is becoming more common in accelerator hardware due to lower power usage, reduced data movement and increased computational performance. However, computational science and engineering (CSE) problems require double precision accuracy in several domains. This conflict between hardware trends and application needs has resulted in a need for mixed precision strategies at the linear algebra algorithms level if we want to exploit the hardware to its full potential while meeting the accuracy requirements. In this paper, we focus on preconditioned sparse iterative linear solvers, a key kernel in several CSE applications. We present a study of mixed precision strategies for accelerating this kernel on an NVIDIA V$100$ GPU with a Power 9 CPU. We seek the best methods for incorporating multiple precisions into the GMRES linear solver; these include iterative refinement and parallelizable preconditioners. Our work presents strategies to determine when mixed precision GMRES will be effective and to choose parameters for a mixed precision iterative refinement solver to achieve better performance. We use an implementation that is based on the Trilinos library and employs Kokkos Kernels for performance portability of linear algebra kernels. Performance results demonstrate the promise of mixed precision approaches and demonstrate even further improvements are possible by optimizing low-level kernels.


title: Triconed Graphs, weighted forests, and h-vectors of matroid complexes

abstract: A well-known conjecture of Stanley is that the h-vector of a matroid is a pure O-sequence. There have been numerous papers with partial progress on this conjecture, but it is still wide open. In particular, for graphic matroids coming from taking the spanning trees of a graph as bases, the conjecture is mostly unsolved. In graph theory, a set of vertices is called dominating if every other vertex is adjacent to some vertex inside the chosen set. Kook proved Stanley's conjecture for coned graphs, which is the class of graphs that are dominated by a single vertex. Cranford et al extended that result to biconed graphs, which is the class of graphs dominated by a single edge. In this paper we extend that result to triconed graphs, the class of graphs dominated by a path of length 2.


title: A common framework for single-molecule localization using sequential structured illumination

abstract: Localization of single fluorescent molecules is key for physicochemical and biophysical measurements such as single-molecule tracking and super-resolution imaging by single-molecule localization microscopy (SMLM). Recently a series of methods have been developed in which the localization precision is enhanced by interrogating the molecular position with a sequence of spatially modulated patterns of light. Among them, the MINFLUX technique outstands for achieving a ~10-fold improvement compared to wide-field camera-based single-molecule localization, reaching ~1-2 nm localization precision at moderate photon counts. Here, we present a common mathematical framework for this type of measurement that allows a fair comparison between reported methods and facilitates the design and evaluation of new methods. With it, we benchmark all reported methods for single-molecule localization using sequential structured illumination, including long-established methods such as orbital tracking, along with two new proposed methods: orbital tracking and raster scanning with a minimum of intensity.


title: DeepTracks: Geopositioning Maritime Vehicles in Video Acquired from a Moving Platform

abstract: Geopositioning and tracking a moving boat at sea is a very challenging problem, requiring boat detection, matching and estimating its GPS location from imagery with no common features. The problem can be stated as follows: given imagery from a camera mounted on a moving platform with known GPS location as the only valid sensor, we predict the geoposition of a target boat visible in images. Our solution uses recent ML algorithms, the camera-scene geometry and Bayesian filtering. The proposed pipeline first detects and tracks the target boat's location in the image with the strategy of tracking by detection. This image location is then converted to geoposition to the local sea coordinates referenced to the camera GPS location using plane projective geometry. Finally, target boat local coordinates are transformed to global GPS coordinates to estimate the geoposition. To achieve a smooth geotrajectory, we apply unscented Kalman filter (UKF) which implicitly overcomes small detection errors in the early stages of the pipeline. We tested the performance of our approach using GPS ground truth and show the accuracy and speed of the estimated geopositions. Our code is publicly available at https://github.com/JianliWei1995/AI-Track-at-Sea.


title: Non-intrusive load decomposition based on CNN-LSTM hybrid deep learning model

abstract: With the rapid development of science and technology, the problem of energy load monitoring and decomposition of electrical equipment has been receiving widespread attention from academia and industry. For the purpose of improving the performance of non-intrusive load decomposition, a non-intrusive load decomposition method based on a hybrid deep learning model is proposed. In this method, first of all, the data set is normalized and preprocessed. Secondly, a hybrid deep learning model integrating convolutional neural network (CNN) with long short-term memory network (LSTM) is constructed to fully excavate the spatial and temporal characteristics of load data. Finally, different evaluation indicators are used to analyze the mixture. The model is fully evaluated, and contrasted with the traditional single deep learning model. Experimental results on the open dataset UK-DALE show that the proposed algorithm improves the performance of the whole network system. In this paper, the proposed decomposition method is compared with the existing traditional deep learning load decomposition method. At the same time, compared with the obtained methods: spectral decomposition, EMS, LSTM-RNN, and other algorithms, the accuracy of load decomposition is significantly improved, and the test accuracy reaches 98%.


title: Linear cover time is exponentially unlikely

abstract: Proving a 2009 conjecture of Itai Benjamini, we show: For any C there is an $\varepsilon>0$ such that for any simple graph $G$ on $V$ of size $n$, and $X_0,\ldots$ an ordinary random walk on $G$, $P(\{X_0,\dots, X_{Cn}\}= V) < e^{-\varepsilon n}.$ A first ingredient in the proof of this is a similar statement for Markov chains in which all transition probabilities are sufficiently small relative to $C$.


title: An Empirical Study on Leveraging Position Embeddings for Target-oriented Opinion Words Extraction

abstract: Target-oriented opinion words extraction (TOWE) (Fan et al., 2019b) is a new subtask of target-oriented sentiment analysis that aims to extract opinion words for a given aspect in text. Current state-of-the-art methods leverage position embeddings to capture the relative position of a word to the target. However, the performance of these methods depends on the ability to incorporate this information into word representations. In this paper, we explore a variety of text encoders based on pretrained word embeddings or language models that leverage part-of-speech and position embeddings, aiming to examine the actual contribution of each component in TOWE. We also adapt a graph convolutional network (GCN) to enhance word representations by incorporating syntactic information. Our experimental results demonstrate that BiLSTM-based models can effectively encode position information into word representations while using a GCN only achieves marginal gains. Interestingly, our simple methods outperform several state-of-the-art complex neural structures.


title: A Max-Min Task Offloading Algorithm for Mobile Edge Computing Using Non-Orthogonal Multiple Access

abstract: To mitigate computational power gap between the network core and edges, mobile edge computing (MEC) is poised to play a fundamental role in future generations of wireless networks. In this letter, we consider a non-orthogonal multiple access (NOMA) transmission model to maximize the worst task to be offloaded among all users to the network edge server. A provably convergent and efficient algorithm is developed to solve the considered non-convex optimization problem for maximizing the minimum number of offloaded bits in a multi-user NOMAMEC system. Compared to the approach of optimized orthogonal multiple access (OMA), for given MEC delay, power and energy limits, the NOMA-based system considerably outperforms its OMA-based counterpart in MEC settings. Numerical results demonstrate that the proposed algorithm for NOMA-based MEC is particularly useful for delay sensitive applications.


title: Entrainment into particle-laden turbulent plumes

abstract: We use laboratory experiments to investigate the entrainment of ambient fluid into an axisymmetric turbulent plume that contains dense particles with a settling velocity that is considerably smaller than the plume velocity. We consider the effect of particle size, particle concentration, and the orientation of the plume buoyancy flux - either in the same or opposite direction to the particle buoyancy flux. When the plume buoyancy flux is in the opposite direction to the particle buoyancy flux, entrainment into the plume increases by up to 40%. The rate of entrainment increases linearly with the ratio of particle buoyancy flux to fluid buoyancy flux but does not depend on the particle size. In contrast, when the plume buoyancy flux is in the same direction as the particle buoyancy flux, entrainment into the plume is unaffected by the addition of particles. The observed increase in entrainment, when the plume and particle buoyancy fluxes are in opposite directions, is consistent with inertial clustering whereby particles are ejected from regions of relatively high vorticity and accumulate in regions of relatively high strain rate within the turbulent flow field. Regions with high particle concentration can then experience convective instabilities that affect the entrainment of ambient fluid into the plume. The differing behaviour observed based on the plume buoyancy flux orientation is also consistent with the above mechanism. Finally, based on the laboratory findings, we propose a new expression for the entrainment coefficient to take into account the effect of suspended particles of opposing buoyancy flux to the plume buoyancy flux.


title: Invariant Filtering for Bipedal Walking on Dynamic Rigid Surfaces with Orientation-based Measurement Model

abstract: Real-world applications of bipedal robot walking require accurate, real-time state estimation. State estimation for locomotion over dynamic rigid surfaces (DRS), such as elevators, ships, public transport vehicles, and aircraft, remains under-explored, although state estimator designs for stationary rigid surfaces have been extensively studied. Addressing DRS locomotion in state estimation is a challenging problem mainly due to the nonlinear, hybrid nature of walking dynamics, the nonstationary surface-foot contact points, and hardware imperfections (e.g., limited availability, noise, and drift of onboard sensors). Towards solving this problem, we introduce an Invariant Extended Kalman Filter (InEKF) whose process and measurement models explicitly consider the DRS movement and hybrid walking behaviors while respectively satisfying the group-affine condition and invariant form. Due to these attractive properties, the estimation error convergence of the filter is provably guaranteed for hybrid DRS locomotion. The measurement model of the filter also exploits the holonomic constraint associated with the support-foot and surface orientations, under which the robot's yaw angle in the world becomes observable in the presence of general DRS movement. Experimental results of bipedal walking on a rocking treadmill demonstrate the proposed filter ensures the rapid error convergence and observable base yaw angle.


title: Entity Linking and Discovery via Arborescence-based Supervised Clustering

abstract: Previous work has shown promising results in performing entity linking by measuring not only the affinities between mentions and entities but also those amongst mentions. In this paper, we present novel training and inference procedures that fully utilize mention-to-mention affinities by building minimum arborescences (i.e., directed spanning trees) over mentions and entities across documents in order to make linking decisions. We also show that this method gracefully extends to entity discovery, enabling the clustering of mentions that do not have an associated entity in the knowledge base. We evaluate our approach on the Zero-Shot Entity Linking dataset and MedMentions, the largest publicly available biomedical dataset, and show significant improvements in performance for both entity linking and discovery compared to identically parameterized models. We further show significant efficiency improvements with only a small loss in accuracy over previous work, which use more computationally expensive models.


title: Discovery of a Highly Collimated Flow from the High-Mass Protostar ISOSS J23053+5953 SMM2

abstract: We present Very Large Array C, X, and Q-band continuum observations, as well as 1.3 mm continuum and CO(2-1) observations with the Submillimeter Array toward the high-mass protostellar candidate ISOSS J23053+5953 SMM2. Compact cm continuum emission was detected near the center of the SMM2 core with a spectral index of 0.24 between 6 and 3.6 cm, and a radio luminosity of 1.3 mJy kpc$^2$. The 1.3 mm thermal dust emission indicates a mass of the SMM2 core of 45.8 Msun. The CO(2-1) observations reveal a large, massive molecular outflow centered on the SMM2 core. This fast outflow ($>$ 50 km/s from the cloud systemic velocity) is highly collimated, with a broader, lower-velocity component. The large values for outflow mass (45.2 Msun), and momentum rate (6 x 10$^{-3}$ Msun km/s/yr) derived from the CO emission are consistent with those of flows driven by high-mass YSOs. The dynamical timescale of the flow is between 1.5 - 7.2 x 10$^4$ yr. We also found from the C18O to thermal dust emission ratio that CO is depleted by a factor of about 20, possibly due to freeze out of CO molecules on dust grains. Our data are consistent with previous findings that ISOSS J23053+5953 SMM2 is an emerging high-mass protostar in an early phase of evolution, with an ionized jet, and a fast, highly collimated, and massive outflow.


title: Kerr-Schild-Kundt Metrics in Generic Gravity Theories with Modified Horndeski Couplings

abstract: The Kerr-Schild-Kundt (KSK) metrics are known to be one of the universal metrics in general relativity, which means that they solve the vacuum field equations of any gravity theory constructed from the curvature tensor and its higher-order covariant derivatives. There is yet no complete proof that these metrics are universal in the presence of matter fields such as electromagnetic and/or scalar fields. In order to get some insight into what happens when we extend the "universality theorem" to the case in which the electromagnetic field is present, as a first step, we study the KSK class of metrics in the context of Modified Horndeski theories with Maxwell's field. We obtain exact solutions of these theories representing the $pp$-waves and AdS-plane waves in arbitrary $D$ dimensions.


title: Chaotic waves serve as universal pattern generators

abstract: Excitable media are prevalent models for describing physical, chemical, and biological systems which support wave propagation. In this letter, we show that the time evolution of the medium state at the wave fronts can be determined by complicated chaotic attractors. Wave front dynamics can be controlled by initial data choice. Building on this groundwork, we show that there is a mechano-chemical analog of the Universal Turing machine for morphogenesis problems. Namely, a fixed mechano-chemical system can produce any prescribed cell pattern depending on its input (initial data). This universal mechanism uses fundamental physical effects: spontaneous symmetry breaking with formation of many interfaces (kinks), which interact non-locally via a fast diffusing reagent. This interaction creates chaos. We present algorithms allowing us to obtain a prescribed target cell pattern.


title: Two Shifts for Crop Mapping: Leveraging Aggregate Crop Statistics to Improve Satellite-based Maps in New Regions

abstract: Crop type mapping at the field level is critical for a variety of applications in agricultural monitoring, and satellite imagery is becoming an increasingly abundant and useful raw input from which to create crop type maps. Still, in many regions crop type mapping with satellite data remains constrained by a scarcity of field-level crop labels for training supervised classification models. When training data is not available in one region, classifiers trained in similar regions can be transferred, but shifts in the distribution of crop types as well as transformations of the features between regions lead to reduced classification accuracy. We present a methodology that uses aggregate-level crop statistics to correct the classifier by accounting for these two types of shifts. To adjust for shifts in the crop type composition we present a scheme for properly reweighting the posterior probabilities of each class that are output by the classifier. To adjust for shifts in features we propose a method to estimate and remove linear shifts in the mean feature vector. We demonstrate that this methodology leads to substantial improvements in overall classification accuracy when using Linear Discriminant Analysis (LDA) to map crop types in Occitanie, France and in Western Province, Kenya. When using LDA as our base classifier, we found that in France our methodology led to percent reductions in misclassifications ranging from 2.8% to 42.2% (mean = 21.9%) over eleven different training departments, and in Kenya the percent reductions in misclassification were 6.6%, 28.4%, and 42.7% for three training regions. While our methodology was statistically motivated by the LDA classifier, it can be applied to any type of classifier. As an example, we demonstrate its successful application to improve a Random Forest classifier.


title: Do Prompt-Based Models Really Understand the Meaning of their Prompts?

abstract: Recently, a boom of papers has shown extraordinary progress in zero-shot and few-shot learning with various prompt-based models. It is commonly argued that prompts help models to learn faster in the same way that humans learn faster when provided with task instructions expressed in natural language. In this study, we experiment with over 30 prompt templates manually written for natural language inference (NLI). We find that models learn just as fast with many prompts that are intentionally irrelevant or even pathologically misleading as they do with instructively "good" prompts. Further, such patterns hold even for models as large as 175 billion parameters (Brown et al., 2020) as well as the recently proposed instruction-tuned models which are trained on hundreds of prompts (Sanh et al., 2022). That is, instruction-tuned models often produce good predictions with irrelevant and misleading prompts even at zero shots. In sum, notwithstanding prompt-based models' impressive improvement, we find evidence of serious limitations that question the degree to which such improvement is derived from models understanding task instructions in ways analogous to humans' use of task instructions.


title: A Bijection theorem for Gorenstein projective \tau-tilting modules

abstract: We introduce the notions of Gorenstein projective $\tau$-rigid modules, Gorenstein projective support $\tau$-tilting modules and Gorenstein torsion pairs and give a Gorenstein analog to Adachi-Iyama-Reiten's bijection theorem on support $\tau$-tilting modules. More precisely, for an algebra $\Lambda$, We prove that there is a bijection between the set of Gorenstein projective support $\tau$-tilting modules and the set of functorially finite Gorenstein projective torsion classes. As an application, we introduce the notion of CM-$\tau$-tilting finite algebras and show that $\Lambda$ is CM-$\tau$-tilting finite if and only if $\Lambda^{\rm {op}}$ is CM-$\tau$-tilting finite. Moreover, we show that the Bongartz completion of a Gorenstein projective $\tau$-rigid module need not be a Gorenstein projective $\tau$-tilting module.


title: Coherence for bicategories, lax functors, and shadows

abstract: Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This perspective makes the approach of Mac Lane's proof very amenable to generalization. We use the technique to give efficient proofs of many standard coherence theorems and new coherence results for bicategories with shadow and for their functors.


title: Properties of Thorne-Zytkow object explosions

abstract: Thorne-Zytkow objects are stars that have a neutron star core with an extended hydrogen-rich envelope. Massive Thorne-Zytkow objects are proposed to explode when the nuclear reactions sustaining their structure are terminated by the exhaustion of the seed elements. In this paper, we investigate the observational properties of the possible Thorne-Zytkow object explosions. We find that Thorne-Zytkow object explosions are observed as long-duration transients lasting for several years. If the accretion disk triggering the explosions does not last for a long time, Thorne-Zytkow object explosions have a luminosity plateau with about 1e39 erg/s lasting for a few years, and then they suddenly become faint. They would be observed as vanished stars after a bright phase lasting for a few years. If the accretion disk is sustained for long time, the Thorne-Zytkow object explosions become as bright as supernovae. They would be observed as supernovae with rise times of several hundred days. We found that their photospheric velocities are 2000 km/s at most, much smaller than those found in supernovae. Supernovae with extremely long rise times such as HSC16aayt and SN 2008iy may be related to the explosions of Thorne-Zytkow objects.


title: Leveraging Open Threat Exchange (OTX) to Understand Spatio-Temporal Trends of Cyber Threats: Covid-19 Case Study

abstract: Understanding the properties exhibited by Spatial-temporal evolution of cyber attacks improve cyber threat intelligence. In addition, better understanding on threats patterns is a key feature for cyber threats prevention, detection, and management and for enhancing defenses. In this work, we study different aspects of emerging threats in the wild shared by 160,000 global participants form all industries. First, we perform an exploratory data analysis of the collected cyber threats. We investigate the most targeted countries, most common malwares and the distribution of attacks frequency by localisation. Second, we extract attacks' spreading patterns at country level. We model these behaviors using transition graphs decorated with probabilities of switching from a country to another. Finally, we analyse the extent to which cyber threats have been affected by the COVID-19 outbreak and sanitary measures imposed by governments to prevent the virus from spreading.


title: Introduction to the Liouville quantum gravity metric

abstract: Liouville quantum gravity (LQG) is a one-parameter family of models of random fractal surfaces which first appeared in the physics literature in the 1980s. Recent works have constructed a metric (distance function) on an LQG surface. We give an overview of the construction of this metric and discuss some of its most important properties, such as the behavior of geodesics and the KPZ formula. We also discuss some of the main techniques for proving statements about the LQG metric, give examples of their use, and discuss some open problems.


title: New efficient time-stepping schemes for the anisotropic phase-field dendritic crystal growth model

abstract: In this paper, we propose and analyze a first-order and a second-order time-stepping schemes for the anisotropic phase-field dendritic crystal growth model. The proposed schemes are based on an auxiliary variable approach for the Allen-Cahn equation and delicate treatment of the terms coupling the Allen-Cahn equation and temperature equation. The idea of the former is to introduce suitable auxiliary variables to facilitate construction of high order stable schemes for a large class of gradient flows. We propose a new technique to treat the coupling terms involved in the crystal growth model and introduce suitable stabilization terms to result in totally decoupled schemes, which satisfy a discrete energy law without affecting the convergence order. A delicate implementation demonstrates that the proposed schemes can be realized in a very efficient way. That is, it only requires solving four linear elliptic equations and a simple algebraic equation at each time step. A detailed comparison with existing schemes is given, and the advantage of the new schemes are emphasized. As far as we know this is the first second-order scheme that is totally decoupled, linear, unconditionally stable for the dendritic crystal growth model with variable mobility parameter.


title: Performance Health Index for Complex Cyber Infrastructures

abstract: Most IT systems depend on a set of configuration variables (CVs), expressed as a name/value pair that collectively define the resource allocation for the system. While the ill-effects of misconfiguration or improper resource allocation are well-known, there is no effective a priori metric to quantify the impact of the configuration on the desired system attributes such as performance, availability, etc. In this paper, we propose a \textit{Configuration Health Index} (CHI) framework specifically attuned to the performance attribute to capture the influence of CVs on the performance aspects of the system. We show how CHI, which is defined as a configuration scoring system, can take advantage of the domain knowledge and the available (but rather limited) performance data to produce important insights into the configuration settings. We compare the CHI with both well-advertised segmented non-linear models and state-of-the-art data-driven models, and show that the CHI not only consistently provides better results but also avoids the dangers of pure data drive approach which may predict incorrect behavior or eliminate some essential configuration variables from consideration.


title: Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach

abstract: While conventional reinforcement learning focuses on designing agents that can perform one task, meta-learning aims, instead, to solve the problem of designing agents that can generalize to different tasks (e.g., environments, obstacles, and goals) that were not considered during the design or the training of these agents. In this spirit, in this paper, we consider the problem of training a provably safe Neural Network (NN) controller for uncertain nonlinear dynamical systems that can generalize to new tasks that were not present in the training data while preserving strong safety guarantees. Our approach is to learn a set of NN controllers during the training phase. When the task becomes available at runtime, our framework will carefully select a subset of these NN controllers and compose them to form the final NN controller. Critical to our approach is the ability to compute a finite-state abstraction of the nonlinear dynamical system. This abstract model captures the behavior of the closed-loop system under all possible NN weights, and is used to train the NNs and compose them when the task becomes available. We provide theoretical guarantees that govern the correctness of the resulting NN. We evaluated our approach on the problem of controlling a wheeled robot in cluttered environments that were not present in the training data.


title: A Finsler Geometrical Programming for the Nonlinear Complementarity Problem of Traffic Equilibrium

abstract: This work is a geometrical approach to the optimization problem motivated by transportation system management. First, an attempt has been made to furnish a comprehensive account of geometric programming based on the elementary Finsler geometry in $I\!\!R^n$. Then, a Finslerian dynamical model for the nonlinear complementarity problem of traffic equilibrium is presented that may be applied for different equilibrium problems.


title: Tight Hilbert Polynomial and F-rational local rings

abstract: Let $(R,\mathfrak{m})$ be a Noetherian local ring of prime characteristic $p$ and $Q$ be an $\mathfrak{m}$-primary parameter ideal. We give criteria for F-rationality of $R$ using the tight Hilbert function $H^*_Q(n)=\ell(R/(Q^n)^*$ and the coefficient $e_1^*(Q)$ of the tight Hilbert polynomial $P^*_Q(n)=\sum_{i=0}^d(-1)^ie_i^*(Q)\binom{n+d-1-i}{d-i}.$ We obtain a lower bound for the tight Hilbert function of $Q$ for equidimensional excellent local rings that generalises a result of Goto and Nakamura. We show that if $\dim R=2 $, the Hochster-Huneke graph of $R$ is connected and this lower bound is achieved then $R$ is F-rational. Craig Huneke asked if the $F$-rationality of unmixed local rings may be characterized by the vanishing of $e_1^*(Q).$ We construct examples to show that without additional conditions, this is not possible. Let $R$ be an excellent, reduced, equidimensional Noetherian local ring and $Q$ be generated by parameter test elements. We find formulas for $e_1^*(Q), e_2^*(Q), \ldots, e_d^*(Q)$ in terms of Hilbert coefficients of $Q$, lengths of local cohomology modules of $R,$ and the length of the tight closure of the zero submodule of $H^d_{\mathfrak{m}}(R).$ Using these we prove: $R$ is F-rational $\Leftrightarrow e_1^*(Q)=e_1(Q) \Leftrightarrow$ depth $R\geq 2$ and $e_1^*(Q)=0.$


title: Estimating Demand Flexibility Using Siamese LSTM Neural Networks

abstract: There is an opportunity in modern power systems to explore the demand flexibility by incentivizing consumers with dynamic prices. In this paper, we quantify demand flexibility using an efficient tool called time-varying elasticity, whose value may change depending on the prices and decision dynamics. This tool is particularly useful for evaluating the demand response potential and system reliability. Recent empirical evidences have highlighted some abnormal features when studying demand flexibility, such as delayed responses and vanishing elasticities after price spikes. Existing methods fail to capture these complicated features because they heavily rely on some predefined (often over-simplified) regression expressions. Instead, this paper proposes a model-free methodology to automatically and accurately derive the optimal estimation pattern. We further develop a two-stage estimation process with Siamese long short-term memory (LSTM) networks. Here, a LSTM network encodes the price response, while the other network estimates the time-varying elasticities. In the case study, the proposed framework and models are validated to achieve higher overall estimation accuracy and better description for various abnormal features when compared with the state-of-the-art methods.


title: Probing double hadron resonances by the complex scaling method

abstract: Many newly discovered excited states are interpreted as bound states of hadrons. Can these hadrons also form resonant states? In this paper, we extend the complex scaling method (CSM) to calculate the bound state and resonant state consistently for the $\Lambda_c D(\bar D)$ and $\Lambda_c \Lambda_c (\bar \Lambda_c)$ systems. For these systems, the $\pi, \eta, \rho$ meson exchange contributions are suppressed, the contributions of intermediate- and short-range forces from $\sigma/\omega$ exchange are dominant. Our results indicate that $\Lambda_c D$ system can not form bound state and resonant state. There exist resonant states in a wide range of parameters for $\Lambda_c \bar D$ and $\Lambda_c \Lambda_c (\bar \Lambda_c)$ systems. For these systems, the larger bound state energy, the easier to form resonant states. Among all the resonant states, the energies and widths of the P wave resonant states are smaller and more stable, which is possible to be observed in the experiments. The energies of D and F wave resonant states can reach dozens of MeV and the widths can reach hundreds of MeV.


title: Metric quasiconformality and Sobolev regularity in non-Ahlfors regular spaces

abstract: Given a homeomorphism $f\colon X\to Y$ between $Q$-dimensional spaces $X,Y$, we show that $f$ satisfying the metric definition of quasiconformality outside suitable exceptional sets implies that $f$ belongs to the Sobolev class $N_{\rm{loc}}^{1,p}(X;Y)$, where $1< p\le Q$, and also implies one direction of the geometric definition of quasiconformality. Unlike previous results, we only assume a pointwise version of Ahlfors $Q$-regularity, which particularly enables various weighted spaces to be included in the theory. Unexpectedly, we can apply this to obtain results that are new even in the classical Euclidean setting. In particular, in spaces including the Carnot groups, we are able to prove the Sobolev regularity $f\in N_{\rm{loc}}^{1,Q}(X;Y)$ without the strong assumption of the infinitesimal distortion $h_f$ belonging to $L^{\infty}(X)$.


title: On long-lived electroweak-singlet coloured scalars

abstract: There has been much recent interest in long-lived massive particles at the LHC, understood as those with lifetimes between tens of micrometers and several meters. In this context we consider the possibility of long-lived electroweak singlet scalars charged under colour $\mathrm{SU}(3)$ with masses near a TeV. The shortest lifetime of interest is already longer than typical hadronisation scales. These exotic new particles would therefore appear as colour singlet bound states of the new scalars with quarks and gluons and it is their colour charge that prevents them from decaying. In particular we consider colour representations consistent with maintaining asymptotic freedom, those with dimensionality $d_R \leq 15$. We find that only the octets can decay, and they do so into multi-jet final states through the two-gluon channel. The other representations are stable and form fractionally charged colour singlets, with the decuplet being the only one that can form electrically neutral colour singlets.


title: On the Accuracy of Analog Neural Network Inference Accelerators

abstract: Specialized accelerators have recently garnered attention as a method to reduce the power consumption of neural network inference. A promising category of accelerators utilizes nonvolatile memory arrays to both store weights and perform $\textit{in situ}$ analog computation inside the array. While prior work has explored the design space of analog accelerators to optimize performance and energy efficiency, there is seldom a rigorous evaluation of the accuracy of these accelerators. This work shows how architectural design decisions, particularly in mapping neural network parameters to analog memory cells, influence inference accuracy. When evaluated using ResNet50 on ImageNet, the resilience of the system to analog non-idealities - cell programming errors, analog-to-digital converter resolution, and array parasitic resistances - all improve when analog quantities in the hardware are made proportional to the weights in the network. Moreover, contrary to the assumptions of prior work, nearly equivalent resilience to cell imprecision can be achieved by fully storing weights as analog quantities, rather than spreading weight bits across multiple devices, often referred to as bit slicing. By exploiting proportionality, analog system designers have the freedom to match the precision of the hardware to the needs of the algorithm, rather than attempting to guarantee the same level of precision in the intermediate results as an equivalent digital accelerator. This ultimately results in an analog accelerator that is more accurate, more robust to analog errors, and more energy-efficient.


title: Radiative MHD Simulations of Photon Bubbles in Radiation-Supported Magnetized Atmospheres of Neutron Stars with Isotropic Thomson Scattering

abstract: A major uncertainty in the structure and dynamics of magnetized, radiation pressure dominated neutron star accretion columns in X-ray pulsars and pulsating ultraluminous X-ray sources is that they are thought to be subject to the photon bubble instability. We present the results of two dimensional radiation relativistic magnetohydrodynamic simulations of a non-accreting, static atmosphere to study the development of this instability assuming isotropic Thomson scattering in the slow diffusion regime that is relevant to neutron star accretion columns. Photon bubbles generally grow faster toward shorter wavelengths, until a maximum growth rate is achieved at the radiation viscosity length scale, which is generally quite small and requires high numerical resolution to simulate. We confirm the consistency between our simulation results and linear theory in detail, and show that the nonlinear evolution inevitably leads to collapse of the atmosphere with the higher resolution simulation collapsing faster due to the presence of shorter length scale nonlinear structures. At least in static atmospheres with horizontally periodic boundary conditions, this resolution dependence may make simulations of the nonlinear dynamics of photon bubble instability in neutron star accretion columns challenging. It remains to be seen whether these difficulties will persist upon inclusion of an accretion flow through the top and magnetically-confined horizontal boundaries through which photons can escape. Our results here provide a foundation for such future work.


title: Classical gauge principle -- From field theories to classical mechanics

abstract: In this paper we discuss how the gauge principle can be applied to classical-mechanics models with finite degrees of freedom. The local invariance of a model is understood as its invariance under the action of a matrix Lie group of transformations parametrized by arbitrary functions. It is formally presented how this property can be introduced in such systems, followed by modern applications. Furthermore, Lagrangians describing classical-mechanics systems with local invariance are separated in equivalence classes according to their local structures.


title: Searching for heavy leptoquarks at a muon collider

abstract: The LHCb Collaboration recently gave an update on testing lepton flavour universality with $B^+ \rightarrow K^+ \ell^+ \ell^-$, in which a 3.1 standard deviations from the standard model prediction was observed. The g-2 experiment also reports a 3.3 standard deviations from the standard model on muon anomalous magnetic moment measurement. These deviations could be explained by introducing new particles including leptoquarks. In this paper, we show the possibility to search for heavy spin-1 leptoquarks at a future TeV scale muon collider by performing studies from three channels: 1) same flavour final states with either two bottom or two light quarks, 2) different flavour quark final states, and 3) a so-called "VXS" process representing the scattering between a vector boson and a leptoquark to probe the coupling between leptoquark and tau lepton. We conclude that a 3 TeV muon collider with $3~{ab^{-1}}$ of integrated luminosity is already sufficient to cover the leptoquark parameter space in order to explain the LHCb lepton flavour universality anomaly.


title: Testing the tidal stripping scenario of ultra-compact dwarf galaxy formation by using internal properties

abstract: We use the hydrodynamical EAGLE simulation to test if ultra-compact dwarf galaxies (UCDs) can form by tidal stripping by predicting the ages and metallicities of tidally stripped galaxy nuclei in massive galaxy clusters, and compare these results to compiled observations of age and metallicities of observed UCDs. We further calculate the colours of our sample of simulated stripped nuclei using SSP models and compare these colours to observations of UCDs in the Virgo cluster. We find that the ages of observed UCDs are consistent with simulated stripped nuclei, with both groups of objects having a mean age > 9 Gyr. Both stripped nuclei and UCDs follow a similar mass-metallicity relationship, and the metallicities of observed UCDs are consistent with those of simulated stripped nuclei for objects with M > $10^{7}~M_{\odot}$. The colours of observed UCDs are also consistent with our simulated stripped nuclei, for objects with M > $10^{7}~M_{\odot}$, with more massive objects being redder. We find that the colours of stripped nuclei exhibit a bimodal red and blue distribution that can be explained by the dependency of colour on age and metallicity, and by the mass-colour relation. We additionally find that our low mass stripped nuclei sample is consistent with the colour of blue globular clusters. We conclude that the internal properties of simulated nuclei support the tidal stripping model of UCD formation.


title: A Context-Aware Hierarchical BERT Fusion Network for Multi-turn Dialog Act Detection

abstract: The success of interactive dialog systems is usually associated with the quality of the spoken language understanding (SLU) task, which mainly identifies the corresponding dialog acts and slot values in each turn. By treating utterances in isolation, most SLU systems often overlook the semantic context in which a dialog act is expected. The act dependency between turns is non-trivial and yet critical to the identification of the correct semantic representations. Previous works with limited context awareness have exposed the inadequacy of dealing with complexity in multiproned user intents, which are subject to spontaneous change during turn transitions. In this work, we propose to enhance SLU in multi-turn dialogs, employing a context-aware hierarchical BERT fusion Network (CaBERT-SLU) to not only discern context information within a dialog but also jointly identify multiple dialog acts and slots in each utterance. Experimental results show that our approach reaches new state-of-the-art (SOTA) performances in two complicated multi-turn dialogue datasets with considerable improvements compared with previous methods, which only consider single utterances for multiple intents and slot filling.


title: A list of applications of Stallings automata

abstract: This survey is intended to be a fast (and reasonably updated) reference for the theory of Stallings automata and its applications to the study of subgroups of the free group, with the main accent on algorithmic aspects. Consequently, results concerning finitely generated subgroups have greater prominence in the paper. However, when possible, we try to state the results with more generality, including the usually overlooked non-(finitely-generated) case.