title: MaDi: Learning to Mask Distractions for Generalization in Visual Deep Reinforcement Learning

abstract: The visual world provides an abundance of information, but many input pixels received by agents often contain distracting stimuli. Autonomous agents need the ability to distinguish useful information from task-irrelevant perceptions, enabling them to generalize to unseen environments with new distractions. Existing works approach this problem using data augmentation or large auxiliary networks with additional loss functions. We introduce MaDi, a novel algorithm that learns to mask distractions by the reward signal only. In MaDi, the conventional actor-critic structure of deep reinforcement learning agents is complemented by a small third sibling, the Masker. This lightweight neural network generates a mask to determine what the actor and critic will receive, such that they can focus on learning the task. The masks are created dynamically, depending on the current input. We run experiments on the DeepMind Control Generalization Benchmark, the Distracting Control Suite, and a real UR5 Robotic Arm. Our algorithm improves the agent's focus with useful masks, while its efficient Masker network only adds 0.2% more parameters to the original structure, in contrast to previous work. MaDi consistently achieves generalization results better than or competitive to state-of-the-art methods.


title: Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems

abstract: This paper addresses the problem of Neural Network (NN) based adaptive stability certification in a dynamical system. The state-of-the-art methods, such as Neural Lyapunov Functions (NLFs), use NN-based formulations to assess the stability of a non-linear dynamical system and compute a Region of Attraction (ROA) in the state space. However, under parametric uncertainty, if the values of system parameters vary over time, the NLF methods fail to adapt to such changes and may lead to conservative stability assessment performance. We circumvent this issue by integrating Model Agnostic Meta-learning (MAML) with NLFs and propose meta-NLFs. In this process, we train a meta-function that adapts to any parametric shifts and updates into an NLF for the system with new test-time parameter values. We demonstrate the stability assessment performance of meta-NLFs on some standard benchmark autonomous dynamical systems.


title: Statistical inverse learning problems with random observations

abstract: We provide an overview of recent progress in statistical inverse problems with random experimental design, covering both linear and nonlinear inverse problems. Different regularization schemes have been studied to produce robust and stable solutions. We discuss recent results in spectral regularization methods and regularization by projection, exploring both approaches within the context of Hilbert scales and presenting new insights particularly in regularization by projection. Additionally, we overview recent advancements in regularization using convex penalties. Convergence rates are analyzed in terms of the sample size in a probabilistic sense, yielding minimax rates in both expectation and probability. To achieve these results, the structure of reproducing kernel Hilbert spaces is leveraged to establish minimax rates in the statistical learning setting. We detail the assumptions underpinning these key elements of our proofs. Finally, we demonstrate the application of these concepts to nonlinear inverse problems in pharmacokinetic/pharmacodynamic (PK/PD) models, where the task is to predict changes in drug concentrations in patients.


title: A High Order Geometry Conforming Immersed Finite Element for Elliptic Interface Problems

abstract: We present a high order immersed finite element (IFE) method for solving the elliptic interface problem with interface-independent meshes. The IFE functions developed here satisfy the interface conditions exactly and they have optimal approximation capabilities. The construction of this novel IFE space relies on a nonlinear transformation based on the Frenet-Serret frame of the interface to locally map it into a line segment, and this feature makes the process of constructing the IFE functions cost-effective and robust for any degree. This new class of immersed finite element functions is locally conforming with the usual weak form of the interface problem so that they can be employed in the standard interior penalty discontinuous Galerkin scheme without additional penalties on the interface. Numerical examples are provided to showcase the convergence properties of the method under $h$ and $p$ refinements.


title: Asymmetric travelling wave solutions of the capillary-gravity Whitham Equation

abstract: By a bifurcation argument we prove that the capillary-gravity Whitham equation features asymmetrical periodic travelling wave solution of arbitrarily small amplitude. Such waves exist only in the weak surface tension regime $0<T<\frac{1}{3}$ and are necessarily bimodal; they are located at double bifurcation points satisfying a certain symmetry breaking condition. Our bifurcation argument is an extension of the one applied by Ehrnstr\"om et al to find symmetric waves: Here, two additional scalar equations arise. Combining the variational structure of our problem with its translation symmetry, we show that these two additional equations are in fact linearly dependent, and can (at 'symmetry breaking' bifurcation points) be solved by incorporating the surface tension as a bifurcation parameter. Contrary to the symmetric case, only very specific modal pairs $(k_1,k_2)$ give rise to (small) asymmetrical periodic waves and we here provide a partial characterization of such pairs.


title: Probing the local rapidity distribution of a 1D Bose gas

abstract: One-dimensional Bose gases with contact repulsive interactions are characterized by the presence of infinite-lifetime quasiparticles whose momenta are called the `rapidities'. Here we develop a probe of the local rapidity distribution, based on the fact that rapidities are the asymptotic momenta of the particles after a long one-dimensional expansion. This is done by performing an expansion of a selected slice of the gas. We first apply this idea to a cloud in the quasi-condensate regime at equilibrium in a trap. We obtain an experimental picture of the position-dependent rapidity distribution which is in fair agreement with the theory prediction. The asymptotic regime is barely reached, but we show that finite expansion time can be taken into account using the Generalized Hydrodynamics theory. We then apply this local probe to an out-of-equilibrium situation where the local rapidity distribution is expected to be doubly peaked -- a hallmark of a non-thermal state -- even though the global rapidity distribution would possess no such distinctive feature. We observe the doubly-peaked local rapidity distribution.


title: RoboFiSense: Attention-Based Robotic Arm Activity Recognition with WiFi Sensing

abstract: Despite the current surge of interest in autonomous robotic systems, robot activity recognition within restricted indoor environments remains a formidable challenge. Conventional methods for detecting and recognizing robotic arms' activities often rely on vision-based or light detection and ranging (LiDAR) sensors, which require line-of-sight (LoS) access and may raise privacy concerns, for example, in nursing facilities. This research pioneers an innovative approach harnessing channel state information (CSI) measured from WiFi signals, subtly influenced by the activity of robotic arms. We developed an attention-based network to classify eight distinct activities performed by a Franka Emika robotic arm in different situations. Our proposed bidirectional vision transformer-concatenated (BiVTC) methodology aspires to predict robotic arm activities accurately, even when trained on activities with different velocities, all without dependency on external or internal sensors or visual aids. Considering the high dependency of CSI data on the environment motivated us to study the problem of sniffer location selection, by systematically changing the sniffer's location and collecting different sets of data. Finally, this paper also marks the first publication of the CSI data of eight distinct robotic arm activities, collectively referred to as RoboFiSense. This initiative aims to provide a benchmark dataset and baselines to the research community, fostering advancements in the field of robotics sensing.


title: Learning Multi-Step Manipulation Tasks from A Single Human Demonstration

abstract: Learning from human demonstrations has exhibited remarkable achievements in robot manipulation. However, the challenge remains to develop a robot system that matches human capabilities and data efficiency in learning and generalizability, particularly in complex, unstructured real-world scenarios. We propose a system that processes RGBD videos to translate human actions to robot primitives and identifies task-relevant key poses of objects using Grounded Segment Anything. We then address challenges for robots in replicating human actions, considering the human-robot differences in kinematics and collision geometry. To test the effectiveness of our system, we conducted experiments focusing on manual dishwashing. With a single human demonstration recorded in a mockup kitchen, the system achieved 50-100% success for each step and up to a 40% success rate for the whole task with different objects in a home kitchen. Videos are available at https://robot-dishwashing.github.io


title: On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis

abstract: Hamilton-Jacobi (HJ) reachability-based filtering provides a powerful framework to co-optimize performance and safety (or liveness) for autonomous systems. Under this filtering scheme, a nominal controller is minimally modified to ensure system safety or liveness. However, the resulting controllers can exhibit abrupt switching and bang-bang behavior, which is not suitable for applications of autonomous systems in the real world. This work presents a novel, unifying framework to design safety and liveness filters through reachability analysis. We explicitly characterize the maximal set of control inputs that ensures safety (or liveness) at a given state. Different safety filters can then be constructed using different subsets of this maximal set along with a projection operator to modify the nominal controller. We use the proposed framework to design three safety filters, each balancing performance, computation time, and smoothness differently. The proposed filters can easily handle dynamics uncertainties, disturbances, and bounded control inputs. We highlight their relative strengths and limitations by applying these filters to autonomous navigation and rocket landing scenarios and on a physical robot testbed. We also discuss practical aspects associated with implementing these filters on real-world autonomous systems. Our research advances the understanding and potential application of reachability-based controllers on real-world autonomous systems.


title: Localization in Quantum Field Theory

abstract: We review the issue of localization in quantum field theory and detail the nonrelativistic limit. Three distinct localization schemes are examined: the Newton-Wigner, the algebraic quantum field theory, and the modal scheme. Among these, the algebraic quantum field theory provides a fundamental concept of localization, rooted in its axiomatic formulation. In contrast, the Newton-Wigner scheme draws inspiration from the Born interpretation, applying mainly to the nonrelativistic regime. The modal scheme, relying on the representation of single particles as positive frequency modes of the Klein-Gordon equation, is found to be incompatible with the algebraic quantum field theory localization. This review delves into the distinctive features of each scheme, offering a comparative analysis. A specific focus is placed on the property of independence between state preparations and observable measurements in spacelike separated regions. Notably, the notion of localization in algebraic quantum field theory violates this independence due to the Reeh-Schlieder theorem. Drawing parallels with the quantum teleportation protocol, it is argued that causality remains unviolated. Additionally, we consider the nonrelativistic limit of quantum field theory, revealing the emergence of the Born scheme as the fundamental concept of localization. Consequently, the nonlocality associated with the Reeh-Schlieder theorem is shown to be suppressed under nonrelativistic conditions.


title: A WECC-based Model for Simulating Two-stage Market Clearing with High-temporal-resolution

abstract: This paper presents a new open-source model for simulating two-stage market clearing based on the Western Electricity Coordinating Council Anchor Data Set. We model accurate two-stage market clearing with day-ahead unit commitment at hourly resolution and real-time economic dispatch with five-minute resolution. Both day-ahead unit commitment and real-time economic dispatch can incorporate look-ahead rolling horizons. The model includes seven market regions and a full year of data, detailing 2,403 individual generation assets across diverse energy sources. The year-long simulation demonstrates the capability of our model to closely reflect the generation and price patterns of the California ISO. Our sensitivity analysis revealed that extending the ED look-ahead horizon reduces system costs by up to 0.12%. We expect this new system model to fulfill the needs of conducting electricity market analysis at finer time granularity for market designs and emerging technology integration. While we focus on the western interconnection, the model serves as a base to simulate other two-stage clearing market locations.


title: Why Not Mitigate Vulnerabilities in Helm Charts?

abstract: [Context]: Containerization ensures the resilience of distributed applications by Kubernetes. Helm is a package manager for Kubernetes applications. A Helm package, namely "Chart'', is a set of pre-configured resources that one could quickly deploy a complex application. However, Helm broadens the attack surface of the distributed applications. [Objective]: This study aims to investigate the prevalence of fixable vulnerabilities, the factors related to the vulnerabilities, and current mitigation strategies in Helm Charts. [Method]: We conduct a mixed-methods study on 11,035 Helm Charts affected by 10,982 fixable vulnerabilities. We analyze the complexity of Charts and compare the distribution of vulnerabilities between official and unofficial Charts. Subsequently, we investigate vulnerability mitigation strategies from the Chart-associated repositories by a grounded theory. [Results]: Our findings highlight that the complexity of a Chart correlates with the number of vulnerabilities, and the official Charts do not contain fewer vulnerabilities compared to unofficial Charts. The 10,982 fixable vulnerabilities are at a median of high severity and can be easily exploited. In addition, we identify 11 vulnerability mitigation strategies in three categories. Due to the complexity of Charts, maintainers are required to investigate where a vulnerability impacts and how to mitigate it. The use of automated strategies is low as automation has limited capability(e.g., a higher number of false positives) in such complex Charts. [Conclusion]: There exists need for automation tools that assist maintainers in mitigating vulnerabilities to reduce manual effort. In addition, Chart maintainers lack incentives to mitigate vulnerabilities, given a lack of guidelines for mitigation responsibilities. Adopting a shared responsibility model in the Helm ecosystem would increase its security.


title: Biframes in Hilbert $C^{\ast}-$modules

abstract: In this paper, we will introduce the concept of biframes for Hilbert $ C^{\ast}- $modules produced by a pair of sequences, and we present various examples of biframes. Then, we examine the characteristics of biframes from the viewpoint of operator theory by establishing some properties of biframes in Hilbert $ C^{\ast}- $modules.


title: A Bayesian Basket Trial Design Using Local Power Prior

abstract: In recent years, basket trials, which enable the evaluation of an experimental therapy across multiple tumor types within a single protocol, have gained prominence in early-phase oncology development. Unlike traditional trials, where each tumor type is evaluated separately with limited sample size, basket trials offer the advantage of borrowing information across various tumor types. However, a key challenge in designing basket trials lies in dynamically determining the extent of information borrowing across tumor types to enhance statistical power while maintaining an acceptable type I error rate. In this paper, we propose a local power prior framework that includes a 3-component borrowing mechanism with explicit model interpretation. Unlike many existing Bayesian methods that require Markov Chain Monte Carlo (MCMC) sampling, the proposed framework offers a closed-form solution, eliminating the time-consuming nature of MCMC in large-scale simulations for evaluating operating characteristics. Extensive simulations have been conducted and demonstrated a good performance of the proposal method comparable to the other complex methods. The significantly shortened computation time further underscores the practical utility in the context of basket trials.


title: Representing Outcome-driven Higher-order Dependencies in Graphs of Disease Trajectories

abstract: The widespread application of machine learning techniques to biomedical data has produced many new insights into disease progression and improving clinical care. Inspired by the flexibility and interpretability of graphs (networks), as well as the potency of sequence models like transformers and higher-order networks (HONs), we propose a method that identifies combinations of risk factors for a given outcome and accurately encodes these higher-order relationships in a graph. Using historical data from 913,475 type 2 diabetes (T2D) patients, we found that, compared to other approaches, the proposed networks encode significantly more information about the progression of T2D toward a variety of outcomes. We additionally demonstrate how structural information from the proposed graph can be used to augment the performance of transformer-based models on predictive tasks, especially when the data are noisy. By increasing the order, or memory, of the graph, we show how the proposed method illuminates key risk factors while successfully ignoring noisy elements, which facilitates analysis that is simultaneously accurate and interpretable.


title: Scout-Net: Prospective Personalized Estimation of CT Organ Doses from Scout Views

abstract: Purpose: Estimation of patient-specific organ doses is required for more comprehensive dose metrics, such as effective dose. Currently, available methods are performed retrospectively using the CT images themselves, which can only be done after the scan. To optimize CT acquisitions before scanning, rapid prediction of patient-specific organ dose is needed prospectively, using available scout images. We, therefore, devise an end-to-end, fully-automated deep learning solution to perform real-time, patient-specific, organ-level dosimetric estimation of CT scans. Approach: We propose the Scout-Net model for CT dose prediction at six different organs as well as for the overall patient body, leveraging the routinely obtained frontal and lateral scout images of patients, before their CT scans. To obtain reference values of the organ doses, we used Monte Carlo simulation and 3D segmentation methods on the corresponding CT images of the patients. Results: We validate our proposed Scout-Net model against real patient CT data and demonstrate the effectiveness in estimating organ doses in real-time (only 27 ms on average per scan). Additionally, we demonstrate the efficiency (real-time execution), sufficiency (reasonable error rates), and robustness (consistent across varying patient sizes) of the Scout-Net model. Conclusions: An effective, efficient, and robust Scout-Net model, once incorporated into the CT acquisition plan, could potentially guide the automatic exposure control for balanced image quality and radiation dose.


title: Joint action of phase mixing and nonlinear effects in MHD waves propagating in coronal loops

abstract: We investigate the interplay of phase mixing and the nonlinear turbulent cascade in the evolution and dissipation of Alfv\'en waves using compressible magnetohydrodynamics numerical simulations. We consider perturbations in the form of torsional waves, both propagating and standing, or turbulent fluctuations, or a combination of the two. The main purpose is to study how phase mixing and nonlinear couplings jointly work to produce small scales in different regimes. We conduct a numerical campaign to explore the typical parameters as the loop length, the amplitude and spatial profile of the perturbations, and the dissipative coefficients. A pseudo-spectral code is employed to solve the three-dimensional compressible magnetohydrodynamic equations, modeling the evolution of perturbations propagating in a flux tube corresponding to an equilibrium configuration with cylindrical symmetry. We find that phase mixing takes place for moderate amplitudes of the turbulent component even in a distorted, non-axisymmetric configuration, building small scales that are locally transverse to the density gradient. The dissipative time decreases with increasing the percentage of the turbulent component. This behavior is verified both for propagating and standing waves. Even in the fully turbulent case, a mechanism qualitatively similar to phase mixing occurs: it actively generates small scales together with the nonlinear cascade, thus providing the shortest dissipative time. General considerations are given to identify this regime in the parameter space. The turbulent perturbation also distorts the background density, locally increasing the Alfv\'en velocity gradient and further contributing to accelerating the formation of small scales.


title: Short-lived High-volume Multi-A(rmed)/B(andits) Testing

abstract: Modern platforms leverage randomized experiments to make informed decisions from a given set of items (``treatments''). As a particularly challenging scenario, these items may (i) arrive in high volume, with thousands of new items being released per hour, and (ii) have short lifetime, say, due to the item's transient nature or underlying non-stationarity that impels the platform to perceive the same item as distinct copies over time. Thus motivated, we study a Bayesian multiple-play bandit problem that encapsulates the key features of the multivariate testing (or ``multi-A/B testing'') problem with a high volume of short-lived arms. In each round, a set of $k$ arms arrive, each available for $w$ rounds. Without knowing the mean reward for each arm, the learner selects a multiset of $n$ arms and immediately observes their realized rewards. We aim to minimize the loss due to not knowing the mean rewards, averaged over instances generated from a given prior distribution. We show that when $k = O(n^\rho)$ for some constant $\rho>0$, our proposed policy has $\tilde O(n^{-\min \{\rho, \frac 12 (1+\frac 1w)^{-1}\}})$ loss on a sufficiently large class of prior distributions. We complement this result by showing that every policy suffers $\Omega (n^{-\min \{\rho, \frac 12\}})$ loss on the same class of distributions. We further validate the effectiveness of our policy through a large-scale field experiment on {\em Glance}, a content-card-serving platform that faces exactly the above challenge. A simple variant of our policy outperforms the platform's current recommender by 4.32\% in total duration and 7.48\% in total number of click-throughs.


title: Optimal Decision Tree with Noisy Outcomes

abstract: In pool-based active learning, the learner is given an unlabeled data set and aims to efficiently learn the unknown hypothesis by querying the labels of the data points. This can be formulated as the classical Optimal Decision Tree (ODT) problem: Given a set of tests, a set of hypotheses, and an outcome for each pair of test and hypothesis, our objective is to find a low-cost testing procedure (i.e., decision tree) that identifies the true hypothesis. This optimization problem has been extensively studied under the assumption that each test generates a deterministic outcome. However, in numerous applications, for example, clinical trials, the outcomes may be uncertain, which renders the ideas from the deterministic setting invalid. In this work, we study a fundamental variant of the ODT problem in which some test outcomes are noisy, even in the more general case where the noise is persistent, i.e., repeating a test gives the same noisy output. Our approximation algorithms provide guarantees that are nearly best possible and hold for the general case of a large number of noisy outcomes per test or per hypothesis where the performance degrades continuously with this number. We numerically evaluated our algorithms for identifying toxic chemicals and learning linear classifiers, and observed that our algorithms have costs very close to the information-theoretic minimum.


title: Seat number configuration of the box-ball system, and its relation to the 10-elimination and invariant measures

abstract: The box-ball system (BBS) is a soliton cellular automaton introduced by [TS], and it is known that the dynamics of the BBS can be linearized by several methods. Recently, a new linearization method, called the seat number configuration, is introduced by arXiv:2301.00132. The aim of this paper is fourfold. First, we introduce the $k$-skip map $\Psi_{k} : \Omega \to \Omega$, where $\Omega$ is the state space of the BBS, and show that the $k$-skip map induces a shift operator of the seat number configuration. Second, we show that the $k$-skip map is a natural generalization of the $10$-elimination, which was originally introduced by [MIT] to solve the initial value problem of the periodic BBS. Third, we generalize the notions and results of the seat number configuration and the $k$-skip map for the BBS on the whole-line. Finally, we investigate the distribution of $\Psi_{k}(\eta), \eta \in \Omega$ when the distribution of $\eta$ belongs to a certain class of invariant measures of the BBS introduced by [FG]. As an application of the above results, we obtain the long-time behavior of the integrated current of $\Psi_{k}(\eta)$ with Markov stationary initial distributions.


title: LETA: Learning Transferable Attribution for Generic Vision Explainer

abstract: Explainable machine learning significantly improves the transparency of deep neural networks~(DNN). However, existing work is constrained to explaining the behavior of individual model predictions, and lacks the ability to transfer the explanation across various models and tasks. This limitation results in explaining various tasks being time- and resource-consuming. To address this problem, we develop a pre-trained, DNN-based, generic explainer on large-scale image datasets, and leverage its transferability to explain various vision models for downstream tasks. In particular, the pre-training of generic explainer focuses on LEarning Transferable Attribution (LETA). The transferable attribution takes advantage of the versatile output of the target backbone encoders to comprehensively encode the essential attribution for explaining various downstream tasks. LETA guides the pre-training of the generic explainer towards the transferable attribution, and introduces a rule-based adaptation of the transferable attribution for explaining downstream tasks, without the need for additional training on downstream data. Theoretical analysis demonstrates that the pre-training of LETA enables minimizing the explanation error bound aligned with the conditional $\mathcal{V}$-information on downstream tasks. Empirical studies involve explaining three different architectures of vision models across three diverse downstream datasets. The experiment results indicate LETA is effective in explaining these tasks without the need for additional training on the data of downstream tasks.


title: Lifshitz Transition and Band Structure Evolution in Alkali Metal Intercalated 1Tprime-MoTe2

abstract: MoTe2 is a paradigmatic van der Waals layered semimetal with two energetically close electronic phases, the topologically trivial 1Tprime and the low-temperature Td type-II Weyl semimetal phase. The ability to manipulate this phase transition, perhaps towards occurring near room temperature, would open new avenues for harnessing the full potential of Weyl semimetals for high-efficiency electronic and spintronic applications. Here, we show that potassium dosing on 1Tprime-MoTe2 induces a Lifshitz transition by a combination of angle-resolved photoemission spectroscopy, scanning tunneling microscopy, x-ray spectroscopy and density functional theory. While the electronic structure shifts rigidly for small concentrations of K, MoTe2 undergoes significant band structure renormalization for larger concentrations. Our results demonstrate that the origin of this electronic structure change stems from alkali metal intercalation. We show that these profound changes are caused by effectively decoupling the 2D sheets, bringing K-intercalated 1Tprime-MoTe2 to the quasi-2D limit, but do not cause a topological phase transition.


title: Cooperative Federated Learning over Ground-to-Satellite Integrated Networks: Joint Local Computation and Data Offloading

abstract: While network coverage maps continue to expand, many devices located in remote areas remain unconnected to terrestrial communication infrastructures, preventing them from getting access to the associated data-driven services. In this paper, we propose a ground-to-satellite cooperative federated learning (FL) methodology to facilitate machine learning service management over remote regions. Our methodology orchestrates satellite constellations to provide the following key functions during FL: (i) processing data offloaded from ground devices, (ii) aggregating models within device clusters, and (iii) relaying models/data to other satellites via inter-satellite links (ISLs). Due to the limited coverage time of each satellite over a particular remote area, we facilitate satellite transmission of trained models and acquired data to neighboring satellites via ISL, so that the incoming satellite can continue conducting FL for the region. We theoretically analyze the convergence behavior of our algorithm, and develop a training latency minimizer which optimizes over satellite-specific network resources, including the amount of data to be offloaded from ground devices to satellites and satellites' computation speeds. Through experiments on three datasets, we show that our methodology can significantly speed up the convergence of FL compared with terrestrial-only and other satellite baseline approaches.


title: Interdependent Total Factor Productivity in an Input-Output model

abstract: Industries learn productivity improvements from their suppliers. The observed empirical importance of these interactions, often omitted by input-output models, mandates larger attention. This article embeds interdependent total factor productivity (TFP) growth into a general non-parametric input-output model. TFP growth is assumed to be Cobb-Douglas in TFP-stocks of adjacent sectors, where elasticities are the input-output coefficients. Studying how the steady state of the system reacts to changes in research effort bears insight for policy and the input-output literature. First, industries higher in the supply chain see a greater multiplication of their productivity gains. Second, the presence of `laggard' industries can bottleneck the the rest of the economy. By deriving these insights formally, we review a canonical method for aggregating TFP -- Hulten's Theorem -- and show the potential importance of backward linkages.


title: BEV-CV: Birds-Eye-View Transform for Cross-View Geo-Localisation

abstract: Cross-view image matching for geo-localisation is a challenging problem due to the significant visual difference between aerial and ground-level viewpoints. The method provides localisation capabilities from geo-referenced images, eliminating the need for external devices or costly equipment. This enhances the capacity of agents to autonomously determine their position, navigate, and operate effectively in environments where GPS signals are unavailable. Current research employs a variety of techniques to reduce the domain gap such as applying polar transforms to aerial images or synthesising between perspectives. However, these approaches generally rely on having a 360{\deg} field of view, limiting real-world feasibility. We propose BEV-CV, an approach which introduces two key novelties. Firstly we bring ground-level images into a semantic Birds-Eye-View before matching embeddings, allowing for direct comparison with aerial segmentation representations. Secondly, we introduce the use of a Normalised Temperature-scaled Cross Entropy Loss to the sub-field, achieving faster convergence than with the standard triplet loss. BEV-CV achieves state-of-the-art recall accuracies, improving feature extraction Top-1 rates by more than 300%, and Top-1% rates by approximately 150% for 70{\deg} crops, and for orientation-aware application we achieve a 35% Top-1 accuracy increase with 70{\deg} crops.


title: WildScenes: A Benchmark for 2D and 3D Semantic Segmentation in Large-scale Natural Environments

abstract: Recent progress in semantic scene understanding has primarily been enabled by the availability of semantically annotated bi-modal (camera and lidar) datasets in urban environments. However, such annotated datasets are also needed for natural, unstructured environments to enable semantic perception for applications, including conservation, search and rescue, environment monitoring, and agricultural automation. Therefore, we introduce WildScenes, a bi-modal benchmark dataset consisting of multiple large-scale traversals in natural environments, including semantic annotations in high-resolution 2D images and dense 3D lidar point clouds, and accurate 6-DoF pose information. The data is (1) trajectory-centric with accurate localization and globally aligned point clouds, (2) calibrated and synchronized to support bi-modal inference, and (3) containing different natural environments over 6 months to support research on domain adaptation. Our 3D semantic labels are obtained via an efficient automated process that transfers the human-annotated 2D labels from multiple views into 3D point clouds, thus circumventing the need for expensive and time-consuming human annotation in 3D. We introduce benchmarks on 2D and 3D semantic segmentation and evaluate a variety of recent deep-learning techniques to demonstrate the challenges in semantic segmentation in natural environments. We propose train-val-test splits for standard benchmarks as well as domain adaptation benchmarks and utilize an automated split generation technique to ensure the balance of class label distributions. The data, evaluation scripts and pretrained models will be released upon acceptance at https://csiro-robotics.github.io/WildScenes.


title: On the Cascade-Dissipation Balance in Astrophysical Plasmas

abstract: The differential heating of electrons and ions by turbulence in weakly collisional magnetized plasmas and the scales at which such energy dissipation is most effective are still debated. Using a large data sample measured in the Earth's magnetosheath by the Magnetospheric Multiscale mission and the coarse-grained energy equations derived from the Vlasov-Maxwell system we find evidence of a balance over two decades in scales between the energy cascade and dissipation rates. The decline of cascade rate at kinetic scales (in contrasts with a constant one in the inertial range), is balanced by an increasing ion and electron heating rates, estimated via the pressure-strain. Ion scales are found to contribute most effectively to ion heating, while electron heating originates equally from ion and electron scales. These results can potentially impact current understanding of particle heating in turbulent magnetized plasmas as well as their theoretical and numerical modeling.


title: Closed and asymptotic formulae for harmonic and quadratic harmonic sums

abstract: We present here a large collection of harmonic and quadratic harmonic sums, that can be useful in applied questions, e.g., probabilistic ones. We find closed-form formulae, that we were not able to locate in the literature.


title: Global Sobolev regularity for nonvariational operators built with homogeneous H\"{o}rmander vector fields

abstract: We consider a class of nonvariational degenerate elliptic operators of the kind \[ Lu=\sum_{i,j=1}^{m}a_{ij}\left( x\right) X_{i}X_{j}u \] where $\left\{ a_{ij}\left( x\right) \right\} _{i,j=1}^{m}$ is a symmetric uniformly positive matrix of bounded measurable functions defined in the whole $\mathbb{R}^{n}$ ($n>m$), possibly discontinuos but satisfying a $VMO$ assumption, and $X_{1},...,X_{m}$ are real smooth vector fields satisfying H\"{o}rmander rank condition in the whole $\mathbb{R}^{n}$ and $1$-homogeneous w.r.t. a family of nonisotropic dilations. We do not assume that the vector fields are left invariant w.r.t. an underlying Lie group of translations. We prove global $W_{X}^{2,p}$ a-priori estimates, for every $p\in\left( 1,\infty\right) $, of the kind: \[ \Vert u\Vert_{W_{X}^{2,p}(\mathbb{R}^{n})}\leq c\left\{ \left\Vert Lu\right\Vert _{L^{p}\left( \mathbb{R}^{n}\right) }+\left\Vert u\right\Vert _{L^{p}\left( \mathbb{R}^{n}\right) }\right\} \] for every $u\in W_{X}^{2,p}\left( \mathbb{R}^{n}\right) .$ We also prove higher order estimates and corresponding regularity results: if $a_{ij}\in W_{X}^{k,\infty}\left( \mathbb{R}^{n}\right) $, $u\in W_{X}^{2,p}\left( \mathbb{R}^{n}\right) $, $Lu\in W_{X}^{k,p}\left( \mathbb{R}^{n}\right) $, then $u\in W_{X}^{k+2,p}\left( \mathbb{R}^{n}\right) $ and \[ \Vert u\Vert_{W_{X}^{k+2,p}(\mathbb{R}^{n})}\leq c\left\{ \Vert Lu\Vert_{W_{X}^{k,p}(\mathbb{R}^{n})}+\Vert u\Vert_{L^{p}(\mathbb{R}^{n} )}\right\} . \]


title: Self-organising maps in the analysis of strains of human abdominal wall to identify areas of similar mechanical behaviour

abstract: The study refers to the application of a type of artificial neural network called the Self-Organising Map (SOM) for the identification of areas of the human abdominal wall that perform in a similar mechanical way. The research was based on data acquired during in vivo tests using the digital image correlation technique (DIC). The mechanical behaviour of the human abdominal wall was analysed during changing intra-abdominal pressure. SOM allowed us to study simultaneously three variables in four time steps. The variables referred to the principal strains and their directions. SOM classified into clusters all the abdominal surface data points that behaved similarly in accordance with the 12 variables. The analysis of the clusters provided a better insight into abdominal wall deformation and its evolution under pressure than when observing a single mechanical variable. The presented results may provide a better understanding of the mechanics of the living human abdominal wall. It might be particularly useful in the designing of surgical meshes for the treatment of abdominal hernias, which would be mechanically compatible with identified regions of the human anterior abdominal wall, and possibly open the way for patient-specific implants.


title: The birational geometry of moduli of cubic surfaces and cubic surfaces with a line

abstract: We determine the cones of effective and nef divisors on the toroidal compactification of the ball quotient model of the moduli space of complex cubic surfaces with a chosen line. From this we also compute the corresponding cones for the moduli space of unmarked cubics surfaces.


title: On the maximum number of common neighbours in dense random regular graphs

abstract: We derive the distribution of the maximum number of common neighbours of a pair of vertices in a dense random regular graph.The proof involves two important steps. One step is to establish the extremal independence property: the asymptotic equivalence with the maximum component of a vector with independent marginal distributions. The other step is to prove that the distribution of the number of common neighbours for each pair of vertices can be approximated by the binomial distribution.


title: New three-dimensional dispersion in the type-II Dirac semimetals PtTe$_2$ and PdTe$_2$ revealed through Angle Resolved Photoemission Spectroscopy

abstract: PtTe$_2$ and PdTe$_2$ are among the first transition metal dichalcogenides that were predicted to host type-II Dirac fermions, exotic particles prohibited in free space. These materials are layered and air-stable, which makes them top candidates for technological applications that take advantage of their anisotropic magnetotransport properties. Here, we provide a detailed characterization of the electronic structure of PtTe$_2$ and PdTe$_2$ using Angle Resolved Photoemission Spectroscopy (ARPES) and Density Functional Theory (DFT) calculations, unveiling a new three-dimensional dispersion in these materials. Through the use of circularly polarized light, we report a different behavior of such dispersion in PdTe$_2$ compared to PtTe$_2$, that we relate to a symmetry analysis of the dipole matrix element. Such analysis reveals a link between the observed circular dichroism and the different momentum-dependent terms in the dispersion of these two compounds, despite their close similarity in crystal structure. Additionally, our data shows a clear difference in the circular dichroic signal for the type-II Dirac cones characteristic of these materials, compared to their topologically protected surface states. Our work provides a useful reference for the ARPES characterization of other transition metal dichalcogenides with topological properties and illustrates the use of circular dichroism as a guide to identify the topological character of two otherwise equivalent band dispersions, and to recognize different attributes in the band structure of similar materials.


title: Accelerating Plasmonic Hydrogen Sensors for Inert Gas Environments by Transformer-Based Deep Learning

abstract: The ability to rapidly detect hydrogen gas upon occurrence of a leak is critical for the safe large-scale implementation of hydrogen (energy) technologies. However, to date, no technically viable sensor solution exists that meets the corresponding response time targets set by stakeholders at technically relevant conditions. Here, we demonstrate how a tailored Long Short-term Transformer Ensemble Model for Accelerated Sensing (LEMAS) accelerates the response of a state-of-the-art optical plasmonic hydrogen sensor by up to a factor of 40 in an oxygen-free inert gas environment, by accurately predicting its response value to a hydrogen concentration change before it is physically reached by the sensor hardware. Furthermore, it eliminates the pressure dependence of the response intrinsic to metal hydride-based sensors, while leveraging their ability to operate in oxygen-starved environments that are proposed to be used for inert gas encapsulation systems of hydrogen installations. Moreover LEMAS provides a measure for the uncertainty of the predictions that is pivotal for safety-critical sensor applications. Our results thus advertise the use of deep learning for the acceleration of sensor response, also beyond the realm of plasmonic hydrogen detection.


title: A Multi-day Needs-based Modeling Approach for Activity and Travel Demand Analysis

abstract: This paper proposes a multi-day needs-based model for activity and travel demand analysis. The model captures the multi-day dynamics in activity generation, which enables the modeling of activities with increased flexibility in time and space (e.g., e-commerce and remote working). As an enhancement to activity-based models, the proposed model captures the underlying decision-making process of activity generation by accounting for psychological needs as the drivers of activities. The level of need satisfaction is modeled as a psychological inventory, whose utility is optimized via decisions on activity participation, location, and duration. The utility includes both the benefit in the inventory gained and the cost in time, monetary expense as well as maintenance of safety stock. The model includes two sub-models, a Deterministic Model that optimizes the utility of the inventory, and an Empirical Model that accounts for heterogeneity and stochasticity. Numerical experiments are conducted to demonstrate model scalability. A maximum likelihood estimator is proposed, the properties of the log-likelihood function are examined and the recovery of true parameters is tested. This research contributes to the literature on transportation demand models in the following three aspects. First, it is arguably better grounded in psychological theory than traditional models and allows the generation of activity patterns to be policy-sensitive (while avoiding the need for ad hoc utility definitions). Second, it contributes to the development of needs-based models with a non-myopic approach to model multi-day activity patterns. Third, it proposes a tractable model formulation via problem reformulation and computational enhancements, which allows for maximum likelihood parameter estimation.


title: Symplectic embeddings of toric domains with boundary a lens space

abstract: We give a combinatorial description of the embedded contact complex (ECC) of a certain family of contact toric lens spaces that we call concave lens spaces. We also define a notion of a concave toric domain that generalizes the usual concave toric domain in a way that possesses a singularity point and has a boundary a lens space. After desingularization these toric domains include the unitary cotangent bundle of $\mathbb{S}^2$ and the unitary cotangent bundle of $\mathbb{R}P^2$. We use the combinatorial expression of the ECC to compute the ECH capacities of these toric domains. Furthermore, for certain concave toric domains we describe a packing of symplectic manifolds that recovers their ECH capacities.


title: An Empirical Study of Efficiency and Privacy of Federated Learning Algorithms

abstract: In today's world, the rapid expansion of IoT networks and the proliferation of smart devices in our daily lives, have resulted in the generation of substantial amounts of heterogeneous data. These data forms a stream which requires special handling. To handle this data effectively, advanced data processing technologies are necessary to guarantee the preservation of both privacy and efficiency. Federated learning emerged as a distributed learning method that trains models locally and aggregates them on a server to preserve data privacy. This paper showcases two illustrative scenarios that highlight the potential of federated learning (FL) as a key to delivering efficient and privacy-preserving machine learning within IoT networks. We first give the mathematical foundations for key aggregation algorithms in federated learning, i.e., FedAvg and FedProx. Then, we conduct simulations, using Flower Framework, to show the \textit{efficiency} of these algorithms by training deep neural networks on common datasets and show a comparison between the accuracy and loss metrics of FedAvg and FedProx. Then, we present the results highlighting the trade-off between maintaining privacy versus accuracy via simulations - involving the implementation of the differential privacy (DP) method - in Pytorch and Opacus ML frameworks on common FL datasets and data distributions for both FedAvg and FedProx strategies.


title: Geodesic Optimal Transport Regression

abstract: Classical regression models do not cover non-Euclidean data that reside in a general metric space, while the current literature on non-Euclidean regression by and large has focused on scenarios where either predictors or responses are random objects, i.e., non-Euclidean, but not both. In this paper we propose geodesic optimal transport regression models for the case where both predictors and responses lie in a common geodesic metric space and predictors may include not only one but also several random objects. This provides an extension of classical multiple regression to the case where both predictors and responses reside in non-Euclidean metric spaces, a scenario that has not been considered before. It is based on the concept of optimal geodesic transports, which we define as an extension of the notion of optimal transports in distribution spaces to more general geodesic metric spaces, where we characterize optimal transports as transports along geodesics. The proposed regression models cover the relation between non-Euclidean responses and vectors of non-Euclidean predictors in many spaces of practical statistical interest. These include one-dimensional distributions viewed as elements of the 2-Wasserstein space and multidimensional distributions with the Fisher-Rao metric that are represented as data on the Hilbert sphere. Also included are data on finite-dimensional Riemannian manifolds, with an emphasis on spheres, covering directional and compositional data, as well as data that consist of symmetric positive definite matrices. We illustrate the utility of geodesic optimal transport regression with data on summer temperature distributions and human mortality.


title: End-to-End 3D Object Detection using LiDAR Point Cloud

abstract: There has been significant progress made in the field of autonomous vehicles. Object detection and tracking are the primary tasks for any autonomous vehicle. The task of object detection in autonomous vehicles relies on a variety of sensors like cameras, and LiDAR. Although image features are typically preferred, numerous approaches take spatial data as input. Exploiting this information we present an approach wherein, using a novel encoding of the LiDAR point cloud we infer the location of different classes near the autonomous vehicles. This approach does not implement a bird's eye view approach, which is generally applied for this application and thus saves the extensive pre-processing required. After studying the numerous networks and approaches used to solve this approach, we have implemented a novel model with the intention to inculcate their advantages and avoid their shortcomings. The output is predictions about the location and orientation of objects in the scene in form of 3D bounding boxes and labels of scene objects.


title: An analogue of Law of Iterated Logarithm for Heavy Tailed Random Variables

abstract: We study heavy tailed random variables obtained by sampling an observable with a power singularity along an orbit of an expanding map on the circle. In the regime where the observables have infinite variance, we show that the set of limit points of the ergodic sum process, rescaled by $N^{1/s} (\ln N)^\alpha$, where $s$ is the index of limiting stable law, equals to the set of piecewise constant increasing functions with finitely many jumps. The proof relies on the multiple Borel-Cantelli Lemma proven in Dolgopyat, Fayad and Liu [J. Mod. Dyn. 18 (2022) 209--289].


title: Expressive modular verification of termination for busy-waiting programs

abstract: Busy-waiting is an important, low-level synchronization pattern that is used to implement higher-level abstractions for synchronization. Its termination depends on cooperation by other threads as well as a fair thread scheduler. We present a general approach for modularly verifying busy-waiting concurrent programs based on higher-order separation logic. The approach combines two strands of prior work. First, the Jacobs and Piessens (2011) higher-order-programming perspective for verifying concurrent modules. Second, the Reinhard and Jacobs (2021) ghost signals approach to verify busy-waiting. The latter uses classical specifications for synchronization constructs where the module creates and discharges obligations. Such specifications, however, fix particular client patterns and would in general require "obligation transfer" to handle more intricate wait dependencies. This precludes clients from performing lock handoffs, an important mechanism to control (un)fairness in the design of locks. Our contribution -- inspired by D'Osualdo, Sutherland, Farzan and Gardner (2021)'s TaDA Live -- is to require the client to create and discharge obligations as necessary to satisfy the module's liveness requirements. However, instead of building these liveness requirements into the logic, we express them by having the module's operations take auxiliary code as arguments whose job it is to generate the call permissions the module needs for its busy-waiting. In the paper we present specifications and proofs in Iris. We validated our approach by developing a (non-foundational) machine-checked proof of a cohort lock -- to the best of our knowledge the first of its kind -- using an encoding of our approach in the VeriFast program verifier for C and Java. This fair lock is implemented on top of another fair lock module and involves lock handoff, thus exercising the asserted contributions.


title: Battery-Care Resource Allocation and Task Offloading in Multi-Agent Post-Disaster MEC Environment

abstract: Being an up-and-coming application scenario of mobile edge computing (MEC), the post-disaster rescue suffers multitudinous computing-intensive tasks but unstably guaranteed network connectivity. In rescue environments, quality of service (QoS), such as task execution delay, energy consumption and battery state of health (SoH), is of significant meaning. This paper studies a multi-user post-disaster MEC environment with unstable 5G communication, where device-to-device (D2D) link communication and dynamic voltage and frequency scaling (DVFS) are adopted to balance each user's requirement for task delay and energy consumption. A battery degradation evaluation approach to prolong battery lifetime is also presented. The distributed optimization problem is formulated into a mixed cooperative-competitive (MCC) multi-agent Markov decision process (MAMDP) and is tackled with recurrent multi-agent Proximal Policy Optimization (rMAPPO). Extensive simulations and comprehensive comparisons with other representative algorithms clearly demonstrate the effectiveness of the proposed rMAPPO-based offloading scheme.


title: Classical Mereology is Axiomatizable Using Primitive Fusion in Two Sorted Logic

abstract: \textit{Mereological fusion}, also known as \textit{composition} and \textit{sum}, was originally used by me as a primitive notion to axiomatize \textit{Extensional Mereology} wih \textit{atoms} in \cite{Ly22}. Here, I extend this idea to axiomatize \textit{General Extensional Mereology}, also called \textit{Classical Mereology}, which is neutral regarding the existence of atoms. I give a proof that classical mereology is axiomatizable using primitive mereological fusion within the framework of two-sorted logic, as I announced in \cite{Ly22}. The use of the primitive notion of fusion instead of primitive notion of \textit{part} was considered by G. Leibniz \cite[50]{CoVa21}, S. Le\'sniewski \cite[CCLXIV, CCLXIV]{Le92}, K. Fine \cite{Fi10}, J. Ketland, and T. Schindler \cite{KeSh16}, and S. Kleishmid \cite{Kl17}. C. Lejewski formulated mereology using a single axiom with primitive mereological sum \cite[222]{Sb84}. However, Lejewski's theory is formulated in non-classical language of Le\'sniewski's ontology and contains complicated quantification over function symbols, including quantification on \textit{part of} and \textit{sum of}. Lejewski's approach is not expressible in modern mereologies. The presented theory is the first contemporary axiomatization of classical mereology in two-sorted logic with primitive mereological fusion.


title: Efficient simulation of mixed boundary value problems and conformal mappings

abstract: In this paper, we present a stochastic method for the simulation of Laplace's equation with a mixed boundary condition in planar domains that are polygonal or bounded by circular arcs. We call this method the Reflected Walk on Spheres algorithm. The method combines a traditional Walk on Spheres algorithm with use of reflections at the Neumann boundaries. We apply our algorithm to simulate numerical conformal mappings from certain quadrilaterals to the corresponding canonical domains, and to compute their conformal moduli. Finally, we give examples of the method on three dimensional polyhedral domains, and use it to simulate the heat flow on an L-shaped insulated polyhedron.


title: SoK: Technical Implementation and Human Impact of Internet Privacy Regulations

abstract: Growing recognition of the potential for exploitation of personal data and of the shortcomings of prior privacy regimes has led to the passage of a multitude of new online privacy regulations. Some of these laws -- notably the European Union's General Data Protection Regulation (GDPR) and the California Consumer Privacy Act (CCPA) -- have been the focus of large bodies of research by the computer science community, while others have received less attention. In this work, we analyze a set of Internet privacy and data protection regulations drawn from around the world -- both those that have frequently been studied by computer scientists and those that have not -- and develop a taxonomy of rights granted and obligations imposed by these laws. We then leverage this taxonomy to systematize 270 technical research papers published in computer science venues that investigate the impact of these laws and explore how technical solutions can complement legal protections. Finally, we analyze the results in this space through an interdisciplinary lens and make recommendations for future work at the intersection of computer science and legal privacy.


title: Outer-space branch-and-bound algorithm for generalized linear multiplicative programs

abstract: This paper introduces a new global optimization algorithm for solving the generalized linear multiplicative problem (GLMP). The algorithm starts by introducing $\bar{p}$ new variables and applying a logarithmic transformation to convert the problem into an equivalent problem (EP). By using the strong duality of linear program, a new convex relaxation subproblem is formulated to obtain the lower bounds for the optimal value of EP. This relaxation subproblem, combined with a simplicial branching process, forms the foundation of a simplicial branch-and-bound algorithm that can globally solve the problem. The paper also includes an analysis of the theoretical convergence and computational complexity of the algorithm. Additionally, numerical experiments are conducted to demonstrate the effectiveness of the proposed algorithm in various test instances.


title: Discrete-Time Mean-Variance Strategy Based on Reinforcement Learning

abstract: This paper studies a discrete-time mean-variance model based on reinforcement learning. Compared with its continuous-time counterpart in \cite{zhou2020mv}, the discrete-time model makes more general assumptions about the asset's return distribution. Using entropy to measure the cost of exploration, we derive the optimal investment strategy, whose density function is also Gaussian type. Additionally, we design the corresponding reinforcement learning algorithm. Both simulation experiments and empirical analysis indicate that our discrete-time model exhibits better applicability when analyzing real-world data than the continuous-time model.


title: Hyperspectral shadow removal with Iterative Logistic Regression and latent Parametric Linear Combination of Gaussians

abstract: Shadow detection and removal is a challenging problem in the analysis of hyperspectral images. Yet, this step is crucial for analyzing data for remote sensing applications like methane detection. In this work, we develop a shadow detection and removal method only based on the spectrum of each pixel and the overall distribution of spectral values. We first introduce Iterative Logistic Regression (ILR) to learn a spectral basis in which shadows can be linearly classified. We then model the joint distribution of the mean radiance and the projection coefficients of the spectra onto the above basis as a parametric linear combination of Gaussians. We can then extract the maximum likelihood mixing parameter of the Gaussians to estimate the shadow coverage and to correct the shadowed spectra. Our correction scheme reduces correction artefacts at shadow borders. The shadow detection and removal method is applied to hyperspectral images from MethaneAIR, a precursor to the satellite MethaneSAT.

categories: physics.data-an astro-ph.EP eess.IV physics.ao-ph


title: MotifPiece: A Data-Driven Approach for Effective Motif Extraction and Molecular Representation Learning

abstract: Motif extraction is an important task in motif based molecular representation learning. Previously, machine learning approaches employing either rule-based or string-based techniques to extract motifs. Rule-based approaches may extract motifs that aren't frequent or prevalent within the molecular data, which can lead to an incomplete understanding of essential structural patterns in molecules. String-based methods often lose the topological information inherent in molecules. This can be a significant drawback because topology plays a vital role in defining the spatial arrangement and connectivity of atoms within a molecule, which can be critical for understanding its properties and behavior. In this paper, we develop a data-driven motif extraction technique known as MotifPiece, which employs statistical measures to define motifs. To comprehensively evaluate the effectiveness of MotifPiece, we introduce a heterogeneous learning module. Our model shows an improvement compared to previously reported models. Additionally, we demonstrate that its performance can be further enhanced in two ways: first, by incorporating more data to aid in generating a richer motif vocabulary, and second, by merging multiple datasets that share enough motifs, allowing for cross-dataset learning.


title: DEAP: Design Space Exploration for DNN Accelerator Parallelism

abstract: The boom in Large Language Models (LLMs) like GPT-4 and ChatGPT has marked a significant advancement in artificial intelligence. These models are becoming increasingly complex and powerful to train and serve. This growth in capabilities comes with a substantial increase in computational requirements, both in terms of hardware resources and energy consumption. The goal of this paper is to showcase how hardware and software co-design can come together and allow us to create customized hardware systems for specific LLM workloads. We propose a simulation workflow that allows us to combine model parallelism techniques with a multi-accelerator simulation framework for efficiency metrics. We focus on inference workloads and report power, cycle, and latency metrics upon performing a design space exploration search over multiple software and hardware configurations.


title: TJDR: A High-Quality Diabetic Retinopathy Pixel-Level Annotation Dataset

abstract: Diabetic retinopathy (DR), as a debilitating ocular complication, necessitates prompt intervention and treatment. Despite the effectiveness of artificial intelligence in aiding DR grading, the progression of research toward enhancing the interpretability of DR grading through precise lesion segmentation faces a severe hindrance due to the scarcity of pixel-level annotated DR datasets. To mitigate this, this paper presents and delineates TJDR, a high-quality DR pixel-level annotation dataset, which comprises 561 color fundus images sourced from the Tongji Hospital Affiliated to Tongji University. These images are captured using diverse fundus cameras including Topcon's TRC-50DX and Zeiss CLARUS 500, exhibit high resolution. For the sake of adhering strictly to principles of data privacy, the private information of images is meticulously removed while ensuring clarity in displaying anatomical structures such as the optic disc, retinal blood vessels, and macular fovea. The DR lesions are annotated using the Labelme tool, encompassing four prevalent DR lesions: Hard Exudates (EX), Hemorrhages (HE), Microaneurysms (MA), and Soft Exudates (SE), labeled respectively from 1 to 4, with 0 representing the background. Significantly, experienced ophthalmologists conduct the annotation work with rigorous quality assurance, culminating in the construction of this dataset. This dataset has been partitioned into training and testing sets and publicly released to contribute to advancements in the DR lesion segmentation research community.


title: Epitaxial growth of high-quality GaAs on Si(001) using ultrathin buffer layers

abstract: The direct growth of III-V semiconductors on silicon holds tremendous potential for photonics applications. However, the inherent differences in their properties lead to defects in the epitaxial layer, including threading dislocations (TDs), antiphase boundaries (APBs), and thermal cracks, significantly impacting device performance. Current processes struggle to suppress these defects simultaneously, necessitating the development of methods to inhibit TDs and APBs in a thin buffer on silicon. This study introduces a GaSb buffer layer during GaAs epitaxy on a silicon (001) substrate. This approach successfully suppresses defect formation by promoting the formation of interfacial misfit dislocation (IMF) arrays at both the AlSb/Si and GaAs/GaSb interfaces. The resulting GaAs layer exhibits a step-flow surface with a rough mean square of approximately 3.8 nm and a full width at half maximum of 158 arcsec. Remarkably, the growth is achieved without any observable interfacial intermixing. Building on this platform, InAs/GaAs quantum dots (QDs) are grown with a density of 3.8E10/cm2, emitting at a wavelength of 1288 nm. This breakthrough holds immense promise for developing high-quality GaAs films with reduced defect densities on silicon for O band lasers, laying the foundation for the mass production of silicon-based integrated circuits.


title: Connecting Tribimaximal and Bitrimaximal Mixings

abstract: In this paper, we study the connection between the tribimaximal and bitrimaximal mixing patterns. In doing so, we are forced to work in a non-diagonal charged lepton basis. This leads to several relations that must hold between the lepton mixing angles. After a short discussion, we analyze the underlying flavor symmetry responsible for this prediction. Finally, we add CP violation to bitrimaximal mixing and study its effect on the flavor symmetry group.


title: Blockchain Smart Contract Threat Detection Technology Based on Symbolic Execution

abstract: The security of smart contracts, which are an important part of blockchain technology, has attracted much attention. In particular, reentrancy vulnerability, which is hidden and complex, poses a great threat to smart contracts. In order to improve the existing detection methods, which exhibit low efficiency and accuracy, in this paper, we propose a smart contract threat detection technology based on symbolic execution. In this method, first, the recursive descent algorithm is used to recover the basic blocks of contract code and control flow diagram, and static type inference is performed for static single assignment (SSA) variables. Then, the control flow diagram is encoded into constrained horn clause (CHC) constraints in combination with the symbolic execution technology. Model checking is conducted for the generated constraints using an automatic theorem prover based on the abstraction refinement technique for fast static detection of common security threats in smart contracts. Compared with existing detection methods, the method proposed in this paper allows the detection of both the checks-effects-interactions pattern and the vulnerability in relation to reentrant locks. It can simulate the state changes of reentrant locks as well as other global variables in multiple recursive transactions. The experimental results show that this method significantly increases both detection efficiency and accuracy, improving the security of smart contracts.


title: Debiased Learning for Remote Sensing Data

abstract: Deep learning has had remarkable success at analyzing handheld imagery such as consumer photos due to the availability of large-scale human annotations (e.g., ImageNet). However, remote sensing data lacks such extensive annotation and thus potential for supervised learning. To address this, we propose a highly effective semi-supervised approach tailored specifically to remote sensing data. Our approach encompasses two key contributions. First, we adapt the FixMatch framework to remote sensing data by designing robust strong and weak augmentations suitable for this domain. Second, we develop an effective semi-supervised learning method by removing bias in imbalanced training data resulting from both actual labels and pseudo-labels predicted by the model. Our simple semi-supervised framework was validated by extensive experimentation. Using 30\% of labeled annotations, it delivers a 7.1\% accuracy gain over the supervised learning baseline and a 2.1\% gain over the supervised state-of-the-art CDS method on the remote sensing xView dataset.


title: Order Relations of the Wasserstein mean and the spectral geometric mean

abstract: On the space of positive definite matrices, several operator means are popular and have been studied extensively. In this paper, we investigate the near order and the L\"owner order relations on the curves defined by the Wasserstein mean and the spectral geometric mean. We show that the near order $\preceq $ is stronger than the eigenvalue entrywise order, and that $A\natural_t B \preceq A\diamond_t B$ for $t\in [0,1]$. We prove the monotonicity properties of the curves originated from the Wasserstein mean and the spectral geometric mean in terms of the near order. The L\"owner order properties of the Wasserstein mean and the spectral geometric mean are also explored.


title: Prompt Valuation Based on Shapley Values

abstract: Large language models (LLMs) excel on new tasks without additional training, simply by providing natural language prompts that demonstrate how the task should be performed. Prompt ensemble methods comprehensively harness the knowledge of LLMs while mitigating individual biases and errors and further enhancing performance. However, more prompts do not necessarily lead to better results, and not all prompts are beneficial. A small number of high-quality prompts often outperform many low-quality prompts. Currently, there is a lack of a suitable method for evaluating the impact of prompts on the results. In this paper, we utilize the Shapley value to fairly quantify the contributions of prompts, helping to identify beneficial or detrimental prompts, and potentially guiding prompt valuation in data markets. Through extensive experiments employing various ensemble methods and utility functions on diverse tasks, we validate the effectiveness of using the Shapley value method for prompts as it effectively distinguishes and quantifies the contributions of each prompt.


title: PKBOIN-12: A Bayesian optimal interval Phase I/II design incorporating pharmacokinetics outcomes to find the optimal biological dose

abstract: Immunotherapies and targeted therapies have gained popularity due to their promising therapeutic effects across multiple treatment areas. The focus of early phase dose-finding clinical trials has shifted from finding the maximum tolerated dose (MTD) to identifying the optimal biological dose (OBD), which aims to balance the toxicity and efficacy outcomes, thereby optimizing the risk-benefit trade-off. These trials often collect multiple pharmacokinetics (PK) outcomes to assess drug exposure, which has shown correlations with toxicity and efficacy outcomes but has not been utilized in the current dose-finding designs for OBD selection. Moreover, PK outcomes are usually available within days after initial treatment, much faster than toxicity and efficacy outcomes. To bridge this gap, we introduce the innovative model-assisted PKBOIN-12 design, which enhances the BOIN12 design by integrating PK information into both the dose-finding algorithm and the final OBD determination process. We further extend PKBOIN-12 to the TITE-PKBOIN-12 design to address the challenges of late-onset toxicity and efficacy outcomes. Simulation results demonstrate that the PKBOIN-12 design more effectively identifies the OBD and allocates a greater number of patients to it than BOIN12. Additionally, PKBOIN-12 decreases the probability of selecting inefficacious doses as the OBD by excluding those with low drug exposure. Comprehensive simulation studies and sensitivity analysis confirm the robustness of both PKBOIN-12 and TITE-PKBOIN-12 designs in various scenarios.


title: On the equivalence between the effective adjunction conjectures of Prokhorov-Shokurov and of Li

abstract: Prokhorov and Shokurov introduced the famous effective adjunction conjecture, also known as the effective base-point-freeness conjecture. This conjecture asserts that the moduli component of an lc-trivial fibration is effectively base-point-free. Li proposed a variation of this conjecture, which is known as the $\Gamma$-effective adjunction conjecture, and proved that a weaker version of his conjecture is implied by the original Prokhorov-Shokurov conjecture. In this paper, we establish the equivalence of Prokhorov-Shokurov's and Li's effective adjunction conjectures. The key to our proof is the formulation of a uniform rational polytope for canonical bundle formulas, which relies on recent developments in the minimal model program theory of algebraically integrable foliations by Ambro-Cascini-Shokurov-Spicer and Chen-Han-Liu-Xie.


title: Fairness-Aware Structured Pruning in Transformers

abstract: The increasing size of large language models (LLMs) has introduced challenges in their training and inference. Removing model components is perceived as a solution to tackle the large model sizes, however, existing pruning methods solely focus on performance, without considering an essential aspect for the responsible use of LLMs: model fairness. It is crucial to address the fairness of LLMs towards diverse groups, such as women, Black people, LGBTQ+, Jewish communities, among others, as they are being deployed and available to a wide audience. In this work, first, we investigate how attention heads impact fairness and performance in pre-trained transformer-based language models. We then propose a novel method to prune the attention heads that negatively impact fairness while retaining the heads critical for performance, i.e. language modeling capabilities. Our approach is practical in terms of time and resources, as it does not require fine-tuning the final pruned, and fairer, model. Our findings demonstrate a reduction in gender bias by 19%, 19.5%, 39.5%, 34.7%, 23%, and 8% for DistilGPT-2, GPT-2, GPT-Neo of two different sizes, GPT-J, and Llama 2 models, respectively, in comparison to the biased model, with only a slight decrease in performance.


title: Improved security bounds against the Trojan-Horse attack in decoy-state quantum key distribution

abstract: In a quantum Trojan-horse attack (THA), eavesdroppers learn encoded information by injecting bright light into encoded or decoded devices of quantum key distribution (QKD) systems. These attacks severely compromise the security of non-isolated systems. Thus, analytical security bound was derived in previous studies. However, these studies achieved poor performance unless the devices were strongly isolated. Here, we present a numerical method for achieving improved security bound for a decoy-state QKD system under THAs. The developed method takes advantage of the well-established numerical framework and significantly outperforms previous analytical bounds regarding the achievable final key and secure transmitted distance. The results provide a new tool for investigating the efficient security bounds of THA in practical decoy-state QKD systems. This study constitutes an important step toward securing QKD with real-life components.


title: Combinatorial music generation model with song structure graph analysis

abstract: In this work, we propose a symbolic music generation model with the song structure graph analysis network. We construct a graph that uses information such as note sequence and instrument as node features, while the correlation between note sequences acts as the edge feature. We trained a Graph Neural Network to obtain node representation in the graph, then we use node representation as input of Unet to generate CONLON pianoroll image latent. The outcomes of our experimental results show that the proposed model can generate a comprehensive form of music. Our approach represents a promising and innovative method for symbolic music generation and holds potential applications in various fields in Music Information Retreival, including music composition, music classification, and music inpainting systems.


title: Ion Conductivity in Salt-Doped Polymers: Combined Effects of Temperature and Salt Concentration

abstract: We construct a coarse-grained molecular dynamics model based on poly(ethylene oxide) and lithium bis-(trifluoromethane)sulfonimide salt to examine the combined effects of temperature and salt concentration on the transport properties. Salt doping notably slows down the dynamics of polymer chains and reduces ion diffusivity, resulting in a glass transition temperature increase proportional to the salt concentration. The polymer diffusion is shown to be well represented by a modified Vogel-Fulcher-Tamman (M-VFT) equation that accounts for both the temperature and salt concentration dependence. Furthermore, we find that at any temperature, the concentration dependence of the conductivity is well described by the product of its infinite dilution value and a correction factor accounting for the reduced segmental mobility with increasing salt concentration. These results highlight the important role of polymer segmental mobility in the salt concentration dependence of ionic conductivity for temperatures near and above the glass transition.


title: An Unfitted Interface Penalty DG--FE Method for Elliptic Interface Problems

abstract: We design an unfitted interface penalty DG-FE method (UIPDG-FEM) for an elliptic interface problem, which uses the interior penalty discontinuous Galerkin methods locally along the interface together with additional penalty terms on the interface (or the Nitsche's trick) to deal with the jump conditions, and uses the finite element methods away from the interface. Moreover, the trick of merging elements is used to keep the condition number of the algebraic system not affected by the interface position. The proposed UIPDG-FEM not only possesses flexibilities of the IPDG method, in particular, simplifying the process of merging elements near a complex interface, but also avoids its drawback of larger number of global degrees of freedom. The convergence rates of the UIPDG-FEM solution are optimal and independent of the interface position. Furthermore, a uniform estimate of the flux value is established in terms of the discontinuous physical coefficients. A two dimensional merging algorithm is also presented, which is guaranteed to succeed under appropriate assumptions on the interface. Numerical examples are given to verify the theoretical results.


title: SIRD: A Sender-Informed, Receiver-Driven Datacenter Transport Protocol

abstract: Datacenter congestion management protocols must navigate the throughput-latency buffering trade-off in the presence of growing constraints due to switching hardware trends, oversubscribed topologies, and varying network configurability and features. In this context, receiver-driven protocols, which schedule packet transmissions instead of reacting to congestion, have shown great promise and work exceptionally well when the bottleneck lies at the ToR-to-receiver link. However, independent receiver schedules may collide if a shared link is the bottleneck instead. We present SIRD, a receiver-driven congestion control protocol designed around the simple insight that single-owner links should be scheduled while shared links should be managed through traditional congestion control algorithms. The approach achieves the best of both worlds by allowing precise control of the most common bottleneck and robust bandwidth sharing for shared bottlenecks. SIRD is implemented by end hosts and does not depend on Ethernet priorities or extensive network configuration. We compare SIRD to state-of-the-art receiver-driven protocols (Homa, dcPIM, and ExpressPass) and production-grade reactive protocols (Swift and DCTCP) and show that SIRD is the only one that can consistently maximize link utilization, minimize queuing, and obtain near-optimal latency across a wide set of workloads and traffic patterns. SIRD causes 12x less peak buffering than Homa and achieves competitive latency and utilization without requiring Ethernet priorities. Unlike dcPIM, SIRD operates without latency-inducing message exchange rounds and outperforms it in utilization, buffering, and tail latency by 9%, 43%, and 46% respectively. Finally, SIRD achieves 10x lower tail latency and 26% higher utilization than ExpressPass.


title: Mass and Isospin Breaking Effects in the Skyrme Model and in Holographic QCD

abstract: We discuss how the quark masses and their mass splitting affect the baryons in the Skyrme model as well as the Witten-Sakai-Sugimoto (WSS) model. In both cases baryons are described by solitonic objects, i.e. Skyrmions and instantons, respectively. After the quantization of their zeromodes the nucleons become quantum states of a rotor. We show how the quark mass affects the moment of inertia and we provide a semianalytic approach valid in the small mass limit. Additionally, we show how the two lightest quarks' mass splitting affects the moments of inertia of the Skyrmion and induces an isospin breaking effect. This effect turns out not to be enough to split the degeneracy in the neutron-proton multiplet, but it splits some of the states in the Delta multiplet. Unlike the basic Skyrme model, the WSS model already includes vector mesons and another mechanism to transfer isospin breaking from quark masses to the solitons is known. We compute the splitting of the moment of inertia in the small-mass limit in the WSS model and combine the two effects on the spectrum of baryons.


title: Enhancing Computation Pushdown for Cloud OLAP Databases

abstract: Network is a major bottleneck in modern cloud databases that adopt a storage-disaggregation architecture. Computation pushdown is a promising solution to tackle this issue, which offloads some computation tasks to the storage layer to reduce network traffic. Existing cloud OLAP systems statically decide whether to push down computation during the query optimization phase and do not consider the storage layer's computational capacity and load. Besides, there is a lack of a general principle that determines which operators are amenable for pushdown. Existing systems design and implement pushdown features empirically, which ends up picking a limited set of pushdown operators respectively. In this paper, we first design Adaptive pushdown as a new mechanism to avoid throttling the storage-layer computation during pushdown, which pushes the request back to the computation layer at runtime if the storage-layer computational resource is insufficient. Moreover, we derive a general principle to identify pushdown-amenable computational tasks, by summarizing common patterns of pushdown capabilities in existing systems. We propose two new pushdown operators, namely, selection bitmap and distributed data shuffle. Evaluation results on TPC-H show that Adaptive pushdown can achieve up to 1.9x speedup over both No pushdown and Eager pushdown baselines, and the new pushdown operators can further accelerate query execution by up to 3.0x.


title: Objects as volumes: A stochastic geometry view of opaque solids

abstract: We develop a theory for the representation of opaque solids as volumes. Starting from a stochastic representation of opaque solids as random indicator functions, we prove the conditions under which such solids can be modeled using exponential volumetric transport. We also derive expressions for the volumetric attenuation coefficient as a functional of the probability distributions of the underlying indicator functions. We generalize our theory to account for isotropic and anisotropic scattering at different parts of the solid, and for representations of opaque solids as stochastic implicit surfaces. We derive our volumetric representation from first principles, which ensures that it satisfies physical constraints such as reciprocity and reversibility. We use our theory to explain, compare, and correct previous volumetric representations, as well as propose meaningful extensions that lead to improved performance in 3D reconstruction tasks.


title: A Comprehensive Analysis of the Effectiveness of Large Language Models as Automatic Dialogue Evaluators

abstract: Automatic evaluation is an integral aspect of dialogue system research. The traditional reference-based NLG metrics are generally found to be unsuitable for dialogue assessment. Consequently, recent studies have suggested various unique, reference-free neural metrics that better align with human evaluations. Notably among them, large language models (LLMs), particularly the instruction-tuned variants like ChatGPT, are shown to be promising substitutes for human judges. Yet, existing works on utilizing LLMs for automatic dialogue evaluation are limited in their scope in terms of the number of meta-evaluation datasets, mode of evaluation, coverage of LLMs, etc. Hence, it remains inconclusive how effective these LLMs are. To this end, we conduct a comprehensive study on the application of LLMs for automatic dialogue evaluation. Specifically, we analyze the multi-dimensional evaluation capability of 30 recently emerged LLMs at both turn and dialogue levels, using a comprehensive set of 12 meta-evaluation datasets. Additionally, we probe the robustness of the LLMs in handling various adversarial perturbations at both turn and dialogue levels. Finally, we explore how model-level and dimension-level ensembles impact the evaluation performance. All resources are available at https://github.com/e0397123/comp-analysis.


title: Perception-Distortion Balanced Super-Resolution: A Multi-Objective Optimization Perspective

abstract: High perceptual quality and low distortion degree are two important goals in image restoration tasks such as super-resolution (SR). Most of the existing SR methods aim to achieve these goals by minimizing the corresponding yet conflicting losses, such as the $\ell_1$ loss and the adversarial loss. Unfortunately, the commonly used gradient-based optimizers, such as Adam, are hard to balance these objectives due to the opposite gradient decent directions of the contradictory losses. In this paper, we formulate the perception-distortion trade-off in SR as a multi-objective optimization problem and develop a new optimizer by integrating the gradient-free evolutionary algorithm (EA) with gradient-based Adam, where EA and Adam focus on the divergence and convergence of the optimization directions respectively. As a result, a population of optimal models with different perception-distortion preferences is obtained. We then design a fusion network to merge these models into a single stronger one for an effective perception-distortion trade-off. Experiments demonstrate that with the same backbone network, the perception-distortion balanced SR model trained by our method can achieve better perceptual quality than its competitors while attaining better reconstruction fidelity. Codes and models can be found at https://github.com/csslc/EA-Adam.


title: Primed decomposition tableaux and extended queer crystals

abstract: Our previous work introduced a category of extended queer crystals, whose connected normal objects have unique highest weight elements and characters that are Schur $Q$-polynomials. Our initial models for such crystals were based on semistandard shifted tableaux. Here, we introduce a simpler construction using certain "primed" decomposition tableaux, which slightly generalize the decomposition tableaux used in work of Grantcharov et al. This leads to a new, shorter proof of the highest weight properties of the normal subcategory of extended queer crystals. As one application, we identify bijections between two kinds of decomposition tableaux appearing in the literature.


title: Quantum-criticality in twisted bi-layer graphene

abstract: Transport experiments in twisted bilayer graphene (TBG) show a fan-like region near integer fillings with a resistivity linear in temperature down to the lowest temperature measured. This suggests quantum-critical points at the boundaries to long-range ordered phases. The particular order proposed by Blutinck et al. for twisted bi-layer graphene (TBG) is a loop-current order at the carbon length-scale together with modulations on the moir\'e length scale. This is shown to be the ground state of a xy model with translational symmetry and time-reversal broken. Here, this is extended to derive a model for quantum-critical properties. We derive the quantum xy model coupled to fermions in this situation. The kinetic energy operator for the model and the coupling of fermions to the fluctuations of the xy model are derived. The previously derived universal properties in the quantum-critical region of such a model, leading to a marginal Fermi-liquid, irrespective of the underlying microscopics is briefly reviewed. The properties include the resistivity and various other transport properties with and without applying a magnetic field and the instability of the quantum fluctuating state to superconductivity in d-wave symmetry.


title: Quantum Algorithm for Signal Denoising

abstract: This letter presents a novel \textit{quantum algorithm} for signal denoising, which performs a thresholding in the frequency domain through amplitude amplification and using an adaptive threshold determined by local mean values. The proposed algorithm is able to process \textit{both classical and quantum} signals. It is parametrically faster than previous classical and quantum denoising algorithms. Numerical results show that it is efficient at removing noise of both classical and quantum origin, significantly outperforming existing quantum algorithms in this respect, especially in the presence of quantum noise.


title: CARSS: Cooperative Attention-guided Reinforcement Subpath Synthesis for Solving Traveling Salesman Problem

abstract: This paper introduces CARSS (Cooperative Attention-guided Reinforcement Subpath Synthesis), a novel approach to address the Traveling Salesman Problem (TSP) by leveraging cooperative Multi-Agent Reinforcement Learning (MARL). CARSS decomposes the TSP solving process into two distinct yet synergistic steps: "subpath generation" and "subpath merging." In the former, a cooperative MARL framework is employed to iteratively generate subpaths using multiple agents. In the latter, these subpaths are progressively merged to form a complete cycle. The algorithm's primary objective is to enhance efficiency in terms of training memory consumption, testing time, and scalability, through the adoption of a multi-agent divide and conquer paradigm. Notably, attention mechanisms play a pivotal role in feature embedding and parameterization strategies within CARSS. The training of the model is facilitated by the independent REINFORCE algorithm. Empirical experiments reveal CARSS's superiority compared to single-agent alternatives: it demonstrates reduced GPU memory utilization, accommodates training graphs nearly 2.5 times larger, and exhibits the potential for scaling to even more extensive problem sizes. Furthermore, CARSS substantially reduces testing time and optimization gaps by approximately 50% for TSP instances of up to 1000 vertices, when compared to standard decoding methods.


title: Suppression of Electromagnetic Crosstalk by Differential Excitation for SAW Generation

abstract: Surface acoustic waves (SAWs) hold a vast potential in various fields such as spintronics, quantum acoustics, and electron-quantum optics, but an electromagnetic wave emanating from SAW generation circuits has often been a major hurdle. Here, we investigate a differential excitation method of interdigital transducers (IDTs) to generate SAWs while reducing the electromagnetic wave. The results show that electromagnetic waves are suppressed by more than 90% in all directions. This suppression overcomes the operating limits and improves the scalability of SAW systems. Our results promise to facilitate the development of SAW-based applications in a wide range of research fields.


title: On corrugation mode radial wavelengths of the vertical shear instability

abstract: The vertical shear instability (VSI) is a promising mechanism to drive turbulence in protoplanetary disks. Numerical simulations in the literature demonstrate that the VSI non-linear saturation is predominated by the linear corrugation modes. These modes possess vertical wavelengths crucially longer than radial wavelengths. This paper aims to investigate the natural radial wavelength of corrugation modes upon VSI saturation, by a series of numerical simulations conducted in Athena++ at different grid resolutions, disk aspect ratios, and viscosity parameterized by $\nu$. We find a sign of convergence emerges at 64 cells per gas scale height for fiducial simulations, below which a continuous reduction of wavelengths with grid resolution is observed. Synthetic ALMA molecular line observations of $^{12}\rm CO(2-1)$ are performed to inspect the observability of the corrugation modes feature, which is significantly diminished with more than 32 cells per scale height. Flared and viscous disks, exhibiting longer saturation wavelengths, may mitigate the observational difficulty.


title: Evolution of Tidal Disruption Event Disks with Magnetically Driven Winds

abstract: We present a time-dependent, one-dimensional magnetically driven disk-wind model based on magnetohydrodynamical (MHD) equations in the context of tidal disruption events (TDEs). We assume that the disk is geometrically thin and gas-pressure dominant and explicitly take into account magnetic braking as well as turbulent viscosity by an extended alpha viscosity prescription. We find a particular wind solution for a set of basic equations that satisfies the necessary and sufficient conditions for vertically unbound MHD flows. The solution demonstrates that the disk evolves with losing mass due to wind and accretion from the initial Gaussian density distribution. We confirm that the mass accretion rate follows the power law of time $t^{-19/16}$ at late times if the wind is absent, which corresponds to the classical solution of Cannizzo et al. (1990). We find that the mass accretion rate is steeper than the $t^{-19/16}$ curve if the disk wind is present. This is because the wind removes a significant fraction of the mass and angular momentum. Mass accretion is further induced by magnetic braking, known as a wind-driven accretion mechanism, resulting in more rapid decay with time in both the mass accretion and loss rates. The ultraviolet (UV) luminosity is the highest among the optical, UV, and X-ray luminosities from early to late evolutionary phases, suggesting optical and X-ray emissions from the disk are observationally insignificant due to magnetically driven winds in TDEs. Our model predicts that late-time bolometric light curves steeper than $t^{-19/16}$ in UV-bright TDEs potentially serve as compelling indicators for magnetically driven winds.


title: On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains

abstract: Barrier certificates, serving as differential invariants that witness system safety, play a crucial role in the verification of cyber-physical systems (CPS). Prevailing computational methods for synthesizing barrier certificates are based on semidefinite programming (SDP) by exploiting Putinar Positivstellensatz. Consequently, these approaches are limited by the Archimedean condition, which requires all variables to be bounded, i.e., systems are defined over bounded domains. For systems over unbounded domains, unfortunately, existing methods become incomplete and may fail to identify potential barrier certificates. In this paper, we address this limitation for the unbounded cases. We first give a complete characterization of polynomial barrier certificates by using homogenization, a recent technique in the optimization community to reduce an unbounded optimization problem to a bounded one. Furthermore, motivated by this formulation, we introduce the definition of homogenized systems and propose a complete characterization of a family of non-polynomial barrier certificates with more expressive power. Experimental results demonstrate that our two approaches are more effective while maintaining a comparable level of efficiency.


title: Knot cobordism, torsion order and framed instanton homology

abstract: We construct cobordism maps for the \textit{minus} version of instanton knot homology associated to a \textit{specially decorated} knot cobordisms of arbitrary genus between two null-homologous knots in closed oriented $3$-manifolds. As an application of our construction, we recover an inequality between the torsion order of knots in instanton theory, which was originally established in Heegaard Floer theory by work of Juh\'asz, Miller, and Zemke. We further use this inequality to compute the framed instanton Floer homology of any non-zero Dehn surgeries along an alternating knot of bridge index at most $3$.


title: An optimal control problem of traffic flow on a junction

abstract: We investigate how to control optimally a traffic flow through a junction on the line by acting only on speed reduction or traffic light at the junction. We show the existence of an optimal control and, under structure assumptions, provide optimality conditions. We use this analysis to investigate thoroughly the maximization of the flux on a space-time subset and show the existence of an optimal control which is bang-bang.