abstract: We study the Carath\'eodory metric on some generalized Teichm\"uller spaces. Earle showed that the Carath\'eodory metric is complete on any Teichm\"uller space. Miyachi extended this result for Asymptotic Teichm\"uller spaces. We study the completeness of the Carath\'eodory metric on product Teichm\"uller spaces and on the Teichm\"uller space of a closed set in the Riemann sphere.


title: Fully Convolutional Generative Machine Learning Method for Accelerating Non-Equilibrium Greens Function Simulations

abstract: This work describes a novel simulation approach that combines machine learning and device modelling simulations. The device simulations are based on the quantum mechanical non-equilibrium Greens function (NEGF) approach and the machine learning method is an extension to a convolutional generative network. We have named our new simulation approach ML-NEGF and we have implemented it in our in-house simulator called NESS (nano-electronics simulations software). The reported results demonstrate the improved convergence speed of the ML-NEGF method in comparison to the standard NEGF approach. The trained ML model effectively learns the underlying physics of nano-sheet transistor behaviour, resulting in faster convergence of the coupled Poisson-NEGF simulations. Quantitatively, our ML- NEGF approach achieves an average convergence acceleration of 60%, substantially reducing the computational time while maintaining the same accuracy.


title: Optical Structures for Thermophotovoltaic Emitters: Power Generation from Waste Heat

abstract: Heat is an inevitable outcome in energy consumption processes, as more than 65% of input energy is wasted as heat. If we can generate electricity from waste heat, it will help minimize the needs for fossil fuels in power plants and can reduce carbon emissions. One way to generate power from heat is through the use of thermophotovoltaics (TPVs), where photons radiated from thermal emitters are converted into electricity. To optimize TPV performance, it is crucial to design emitters such that their emissivity spectrum matches their operating temperature. For example, higher emissivity is needed at shorter (longer) wavelengths at higher (lower) temperatures. Thus, having the ability to create wavelength-selective emitters can enable TPV applications for a wider range of temperatures. This research focuses on utilizing metamaterials (2D emitters) and planar thin films (1D emitters) to create those emitters. Simulation, fabrication, material property analysis, and radiation measurements were used to characterize the emitters. Based on simulation, metamaterial emitters exhibit engineerable emissivity due to various mechanisms of their optical resonance. Also, large-area fabrication of 1D emitters (78 cm2) was achieved owing to their simple structure, which is required to produce higher TPV power output. Incorporating the characteristics of emitters of each type, their advantages and challenges are discussed. Therefore, the comprehensive results of this research help realize practical implementation of TPV applications.


title: Delivering Broadband Light Deep Inside Diffusive Media

abstract: Wavefront shaping enables targeted delivery of coherent light into random-scattering media, such as biological tissue, by constructive interference of scattered waves. However, broadband waves have short coherence times, weakening the interference effect. Here, we introduce a broadband deposition matrix that identifies a single input wavefront that maximizes the broadband energy delivered to an extended target deep inside a diffusive system. We experimentally demonstrate that long-range spatial and spectral correlations result in a six-fold energy enhancement for targets containing more than 1500 speckle grains and located at a depth of up to ten transport mean free paths, even when the coherence time is an order of magnitude shorter than the diffusion dwell time of light in the scattering sample. In the broadband (fast decoherence) limit, enhancement of energy delivery to extended targets becomes nearly independent of the target depth and dissipation. Our experiments, numerical simulations, and analytic theory establish the fundamental limit for broadband energy delivery deep into a diffusive system, which has important consequences for practical applications.


title: Frequency-Domain Detection for Molecular Communication with Cross-Reactive Receptors

abstract: Molecular Communications (MC) is a bio-inspired communication paradigm that uses molecules as information carriers, requiring unconventional transceivers and modulation/detection techniques. Practical MC receivers (MC-Rxs) can be implemented using field-effect transistor biosensor (bioFET) architectures, where surface receptors reversibly react with ligands. The time-varying concentration of ligand-bound receptors is translated into electrical signals via field effect, which is used to decode the transmitted information. However, ligand-receptor interactions do not provide an ideal molecular selectivity, as similar ligand types, i.e., interferers, co-existing in the MC channel, can interact with the same type of receptors. Overcoming this molecular cross-talk in the time domain can be challenging, especially when Rx has no knowledge of the interferer statistics or operates near saturation. Therefore, we propose a frequency-domain detection (FDD) technique for bioFET-based MC-Rxs that exploits the difference in binding reaction rates of different ligand types reflected in the power spectrum of the ligand-receptor binding noise. We derive the bit error probability (BEP) of the FDD technique and demonstrate its effectiveness in decoding transmitted concentration signals under stochastic molecular interference compared to a widely used time-domain detection (TDD) technique. We then verified the analytical performance bounds of the FDD through a particle-based spatial stochastic simulator simulating reactions on the MC-Rx in microfluidic channels.


title: Dynamics of Fisheries in the Azores Islands: A Network Analysis Approach

abstract: In the context of the global seafood industry, the Azores archipelago (Portugal) plays a pivotal role due to its vast maritime domain. This study employs complex network analysis techniques to investigate the dynamics of Azores fisheries, using time series data converted into networks. We uncover associations between Tunas and specific islands, consistent links among fish classifications, and identify other pivotal nodes within the fishing network. Remarkably, nodes with high degrees and a local clustering coefficient of one provide crucial insights into the fishing ecosystem. This study highlights the value of network analysis for understanding fisheries complexities and offers insights into sustainable management and the preservation of marine ecosystems. It also emphasizes the urgency for ongoing research and data collection to enrich our understanding of this multifaceted domain.


title: A Critical Analysis of Internal Reliability for Uncertainty Quantification of Dense Image Matching in Multi-view Stereo

abstract: Nowadays, photogrammetrically derived point clouds are widely used in many civilian applications due to their low cost and flexibility in acquisition. Typically, photogrammetric point clouds are assessed through reference data such as LiDAR point clouds. However, when reference data are not available, the assessment of photogrammetric point clouds may be challenging. Since these point clouds are algorithmically derived, their accuracies and precisions are highly varying with the camera networks, scene complexity, and dense image matching (DIM) algorithms, and there is no standard error metric to determine per-point errors. The theory of internal reliability of camera networks has been well studied through first-order error estimation of Bundle Adjustment (BA), which is used to understand the errors of 3D points assuming known measurement errors. However, the measurement errors of the DIM algorithms are intricate to an extent that every single point may have its error function determined by factors such as pixel intensity, texture entropy, and surface smoothness. Despite the complexity, there exist a few common metrics that may aid the process of estimating the posterior reliability of the derived points, especially in a multi-view stereo (MVS) setup when redundancies are present. In this paper, by using an aerial oblique photogrammetric block with LiDAR reference data, we analyze several internal matching metrics within a common MVS framework, including statistics in ray convergence, intersection angles, DIM energy, etc.


title: Mitigating Shortcuts in Language Models with Soft Label Encoding

abstract: Recent research has shown that large language models rely on spurious correlations in the data for natural language understanding (NLU) tasks. In this work, we aim to answer the following research question: Can we reduce spurious correlations by modifying the ground truth labels of the training data? Specifically, we propose a simple yet effective debiasing framework, named Soft Label Encoding (SoftLE). We first train a teacher model with hard labels to determine each sample's degree of relying on shortcuts. We then add one dummy class to encode the shortcut degree, which is used to smooth other dimensions in the ground truth label to generate soft labels. This new ground truth label is used to train a more robust student model. Extensive experiments on two NLU benchmark tasks demonstrate that SoftLE significantly improves out-of-distribution generalization while maintaining satisfactory in-distribution accuracy.


title: Federated Learning in Temporal Heterogeneity

abstract: In this work, we explored federated learning in temporal heterogeneity across clients. We observed that global model obtained by \texttt{FedAvg} trained with fixed-length sequences shows faster convergence than varying-length sequences. We proposed methods to mitigate temporal heterogeneity for efficient federated learning based on the empirical observation.


title: Reframing the Event Horizon: The Harlow-Hayden Computational Approach to the Firewall Paradox

abstract: This study critically reevaluates the Harlow-Hayden (HH) solution to the black hole information paradox and its articulation in the firewall paradox. The exploration recognizes the HH solution as a revolutionary approach in black hole physics, steering away from traditional constraints to depict the event horizon as a computational rather than a physical barrier. The paper first maps the initial physical dilemma that instigated the HH journey, introducing Alice, an observer facing intricate computational challenges as she approaches the black hole. I then depict the evolution of the narrative, describing how Alice was facilitated with a quantum computer to surmount the computational challenges and further detailing the augmented complexities arising from the integration of the physical dynamics of the black hole. Yet, HH's research applies the AdS/CFT correspondence to explore the dynamic unitary transformation in solving the firewall paradox through decoding Hawking radiation. However, it identifies a contradiction; the eternal perspective of black holes from the AdS/CFT theory challenges the firewall paradox's foundation. Finally, I narrate a paradigm shift as HH reframes Alice's task within the realms of error-correcting codes, illustrating a remarkable transition from a physical problem in black hole physics to a computational predicament in computer science. The study revisits pivotal moments in understanding black hole physics ten years later through this reexamination.


title: Waring's problem with restricted digits

abstract: Let $k \geq 2$ and $b \geq 3$ be integers, and suppose that $d_1, d_2 \in \{0,1,\dots, b - 1\}$ are distinct and coprime. Let $\mathcal{S}$ be the set of non-negative integers, all of whose digits in base $b$ are either $d_1$ or $d_2$. Then every sufficiently large integer is a sum of at most $b^{160 k^2}$ numbers of the form $x^k$, $x \in \mathcal{S}$.


title: Mitigating Over-Smoothing and Over-Squashing using Augmentations of Forman-Ricci Curvature

abstract: While Graph Neural Networks (GNNs) have been successfully leveraged for learning on graph-structured data across domains, several potential pitfalls have been described recently. Those include the inability to accurately leverage information encoded in long-range connections (over-squashing), as well as difficulties distinguishing the learned representations of nearby nodes with growing network depth (over-smoothing). An effective way to characterize both effects is discrete curvature: Long-range connections that underlie over-squashing effects have low curvature, whereas edges that contribute to over-smoothing have high curvature. This observation has given rise to rewiring techniques, which add or remove edges to mitigate over-smoothing and over-squashing. Several rewiring approaches utilizing graph characteristics, such as curvature or the spectrum of the graph Laplacian, have been proposed. However, existing methods, especially those based on curvature, often require expensive subroutines and careful hyperparameter tuning, which limits their applicability to large-scale graphs. Here we propose a rewiring technique based on Augmented Forman-Ricci curvature (AFRC), a scalable curvature notation, which can be computed in linear time. We prove that AFRC effectively characterizes over-smoothing and over-squashing effects in message-passing GNNs. We complement our theoretical results with experiments, which demonstrate that the proposed approach achieves state-of-the-art performance while significantly reducing the computational cost in comparison with other methods. Utilizing fundamental properties of discrete curvature, we propose effective heuristics for hyperparameters in curvature-based rewiring, which avoids expensive hyperparameter searches, further improving the scalability of the proposed approach.


title: A Data-Driven Model for Abundances in Metal-poor Stars and Implications for Nucleosynthetic Sources

abstract: We present a data-driven model for abundances of Fe, Sr, Ba, and Eu in metal-poor (MP) stars. The production patterns for core-collapse supernovae (CCSNe) and binary neutron star mergers (BNSMs) are derived from the data of Holmbeck et al. (arXiv:2007.00749) on [Sr/Fe], [Ba/Fe], and [Eu/Fe] for 195 stars. Nearly all the data can be accounted for by mixtures of contributions from these two sources. We find that on average, the Sr contribution to an MP star from BNSMs is $\approx 3$ times that from CCSNe. Our model is also consistent with the solar inventory of Fe, Sr, Ba, and Eu. We carry out a parametric $r$-process study to explore the conditions that can give rise to our inferred production patterns and find that such conditions are largely consistent with those from simulations of CCSNe and BNSMs. Our model can be greatly enhanced by accurate abundances of many $r$-process elements in a large number of MP stars, and future results from this approach can be used to probe the conditions in CCSNe and BNSMs in much more detail.


title: Axioms for Distanceless Graph Partitioning

abstract: In 2002, Kleinberg proposed three axioms for distance-based clustering, and proved that it was impossible for a clustering method to satisfy all three. While there has been much subsequent work examining and modifying these axioms for distance-based clustering, little work has been done to explore axioms relevant to the graph partitioning problem when the graph is unweighted and given without a distance matrix. Here, we propose and explore axioms for graph partitioning for this case, including modifications of Kleinberg's axioms and three others: two axioms relevant to the ``Resolution Limit'' and one addressing well-connectedness. We prove that clustering under the Constant Potts Model satisfies all the axioms, while Modularity clustering and iterative k-core both fail many axioms we pose. These theoretical properties of the clustering methods are relevant both for theoretical investigation as well as to practitioners considering which methods to use for their domain science studies.


title: Climate-Resilient UAVs: Enhancing Energy-Efficient B5G Communication in Harsh Environments

abstract: This paper explores the crucial role of Unmanned Aerial Vehicles (UAVs) in advancing Beyond Fifth Generation (B5G) communication networks, especially in adverse weather conditions like rain, fog, and snow. The study investigates the synergy between climate-resilient UAVs and energy-efficient B5G communication. Key findings include the impact of weather elements on UAV coverage and communication dynamics. The research demonstrates significant enhancements in energy efficiency, reduced interference, increased data transmission rates, and optimal channel gain under various weather conditions. Overall, this paper emphasizes the potential of climate-resilient UAVs to improve energy-efficient B5G communication and highlights technology's role in mitigating climate change's impact on communication systems, promoting sustainability and resilience.


title: Effect of polydispersity on the transport and sound absorbing properties of three-dimensional random fibrous structures

abstract: A technique is proposed that uses a multi-scale approach to calculate transport properties of compressed felts using only image analysis and numerical calculations. From the image analysis fiber diameter distribution and fiber orientation are determined. From a known porosity and the latter two characteristics, two representative elementary volumes (REV) are constructed: one based on the volume-weighted average diameter and one on an inverse volume-weighted average diameter. Numerical calculations on the former showed that it correctly estimates viscous and thermal permeabilities, while the latter correctly estimates tortuosity and viscous and thermal characteristic lengths. From these calculations, micro-macro analytical expressions are developed to estimate the transport properties of polydisperse composite felts based solely on open porosity, fiber diameter polydiversity, and fiber orientation. Good agreements are obtained between analytical predictions and measurements of transport properties. The predicted transport properties are also used in the Johnson-Champoux-Allard-Lafarge (JCAL) equivalent fluid model to predict the sound absorption coefficient of the felts. Excellent agreements are obtained with impedance tube measurements.


title: A limit law for the maximum of subcritical DG-model on a hierarchical lattice

abstract: We study the extremal properties of the "integer-valued Gaussian" a.k.a.\ DG-model on the hierarchical lattice $\Lambda_n:=\{1,\dots,b\}^n$ (with $b\ge2$) of depth $n$. This is a random field $\varphi\in\mathbb Z^{\Lambda_n}$ with law proportional to $e^{\frac12\beta(\varphi,\Delta_n\varphi)}\prod_{x\in\Lambda_n}\#(d\varphi_x)$, where $\Delta_n$ is the hierarchical Laplacian, $\beta$ is the inverse temperature and $\#$ is the counting measure on $\mathbb Z$. Denoting $\beta_c:=2\pi^2/\log b$ and $m_n:=\beta^{-1/2}[(2\log b)^{1/2}n-\frac32(2\log b)^{-1/2}\log n]$, for $0<\beta<\beta_c$ we prove that, along increasing sequences of $n$ such that the fractional part of $m_{n}$ converges to an $s\in[0,1)$, the centered maximum $\max_{x\in\Lambda_n}\varphi_x-\lfloor m_n\rfloor$ tends (as $n\to\infty$) in law to a discrete variant of a randomly shifted Gumbel law with the shift depending non-trivially on $s$. The convergence extends to the extremal process whose law tends to a decorated Poisson point process with a random intensity measure. The proofs rely on renormalization-group analysis which enables a tight coupling of the DG-model to a Gaussian Free Field. The interval $(0,\beta_c]$ marks the full range of values of $\beta$ for which the renormalization-group iterations tend to a "trivial" fixed point.


title: Augmenting text for spoken language understanding with Large Language Models

abstract: Spoken semantic parsing (SSP) involves generating machine-comprehensible parses from input speech. Training robust models for existing application domains represented in training data or extending to new domains requires corresponding triplets of speech-transcript-semantic parse data, which is expensive to obtain. In this paper, we address this challenge by examining methods that can use transcript-semantic parse data (unpaired text) without corresponding speech. First, when unpaired text is drawn from existing textual corpora, Joint Audio Text (JAT) and Text-to-Speech (TTS) are compared as ways to generate speech representations for unpaired text. Experiments on the STOP dataset show that unpaired text from existing and new domains improves performance by 2% and 30% in absolute Exact Match (EM) respectively. Second, we consider the setting when unpaired text is not available in existing textual corpora. We propose to prompt Large Language Models (LLMs) to generate unpaired text for existing and new domains. Experiments show that examples and words that co-occur with intents can be used to generate unpaired text with Llama 2.0. Using the generated text with JAT and TTS for spoken semantic parsing improves EM on STOP by 1.4% and 2.6% absolute for existing and new domains respectively.


title: Towards a dual formulation of quantum gravity via metric-curvature bijections

abstract: We prove that Riemannian metrics in General Relativity in the \emph{`normal-coordinates'} gauge are in one-to-one correspondence with curvature 2-forms. We discuss how this can be used as a change of variables in the operator formalism to construct a dual formulation of quantum gravity pertinent in the context of asymptotic safety-like approaches to quantum gravity.


title: Deep conditional generative models for longitudinal single-slice abdominal computed tomography harmonization

abstract: Two-dimensional single-slice abdominal computed tomography (CT) provides a detailed tissue map with high resolution allowing quantitative characterization of relationships between health conditions and aging. However, longitudinal analysis of body composition changes using these scans is difficult due to positional variation between slices acquired in different years, which leading to different organs/tissues captured. To address this issue, we propose C-SliceGen, which takes an arbitrary axial slice in the abdominal region as a condition and generates a pre-defined vertebral level slice by estimating structural changes in the latent space. Our experiments on 2608 volumetric CT data from two in-house datasets and 50 subjects from the 2015 Multi-Atlas Abdomen Labeling Challenge dataset (BTCV) Challenge demonstrate that our model can generate high-quality images that are realistic and similar. We further evaluate our method's capability to harmonize longitudinal positional variation on 1033 subjects from the Baltimore Longitudinal Study of Aging (BLSA) dataset, which contains longitudinal single abdominal slices, and confirmed that our method can harmonize the slice positional variance in terms of visceral fat area. This approach provides a promising direction for mapping slices from different vertebral levels to a target slice and reducing positional variance for single-slice longitudinal analysis. The source code is available at: https://github.com/MASILab/C-SliceGen.


title: Reactive Base Control for On-The-Move Mobile Manipulation in Dynamic Environments

abstract: We present a reactive base control method that enables high performance mobile manipulation on-the-move in environments with static and dynamic obstacles. Performing manipulation tasks while the mobile base remains in motion can significantly decrease the time required to perform multi-step tasks, as well as improve the gracefulness of the robot's motion. Existing approaches to manipulation on-the-move either ignore the obstacle avoidance problem or rely on the execution of planned trajectories, which is not suitable in environments with dynamic objects and obstacles. The presented controller addresses both of these deficiencies and demonstrates robust performance of pick-and-place tasks in dynamic environments. The performance is evaluated on several simulated and real-world tasks. On a real-world task with static obstacles, we outperform an existing method by 48\% in terms of total task time. Further, we present real-world examples of our robot performing manipulation tasks on-the-move while avoiding a second autonomous robot in the workspace. See https://benburgesslimerick.github.io/MotM-BaseControl for supplementary materials.


title: Numerical analysis of a spherical harmonic discontinuous Galerkin method for scaled radiative transfer equations with isotropic scattering

abstract: In highly diffusion regimes when the mean free path $\varepsilon$ tends to zero, the radiative transfer equation has an asymptotic behavior which is governed by a diffusion equation and the corresponding boundary condition. Generally, a numerical scheme for solving this problem has the truncation error containing an $\varepsilon^{-1}$ contribution, that leads to a nonuniform convergence for small $\varepsilon$. Such phenomenons require high resolutions of discretizations, which degrades the performance of the numerical scheme in the diffusion limit. In this paper, we first provide a--priori estimates for the scaled spherical harmonic ($P_N$) radiative transfer equation. Then we present an error analysis for the spherical harmonic discontinuous Galerkin (DG) method of the scaled radiative transfer equation showing that, under some mild assumptions, its solutions converge uniformly in $\varepsilon$ to the solution of the scaled radiative transfer equation. We further present an optimal convergence result for the DG method with the upwind flux on Cartesian grids. Error estimates of $\left(1+\mathcal{O}(\varepsilon)\right)h^{k+1}$ (where $h$ is the maximum element length) are obtained when tensor product polynomials of degree at most $k$ are used.


title: Formalizing two-level type theory with cofibrant exo-nat

abstract: This study provides some results about two-level type-theoretic notions in a way that the proofs are fully formalizable in a proof assistant implementing two-level type theory such as Agda. The difference from prior works is that these proofs do not assume any abuse of notation, providing us with more direct formalization. Moreover, some new notions, such as function extensionality for cofibrant types, are introduced. The necessity of such notions arises during the task of formalization. In addition, we provide some novel results about inductive types using cofibrant exo-nat, the natural number type at the non-fibrant level. While emphasizing the necessity of this axiom by citing new applications as justifications, we also touch upon the semantic aspect of the theory by presenting various models that satisfy this axiom.


title: Optimality Conditions for Interval-Valued Optimization Problems on Riemannian Manifolds Under a Complete Order Relation

abstract: This article explores fundamental properties of convex interval-valued functions defined on Riemannian manifolds. The study employs generalized Hukuhara directional differentiability to derive KKT-type optimality conditions for an interval-valued optimization problem on Riemannian manifolds. Based on type of functions involved in optimization problems, we consider the following cases: 1. objective function as well as constraints are real-valued; 2. objective function is interval-valued and constraints are real-valued; 3. objective function as well as contraints are interval-valued. The whole theory is justified with the help of examples. The order relation that we use throughout the paper is a complete order relation defined on the collection of all closed and bounded intervals in $\mathbb{R}$.


title: Do Large GPT Models Discover Moral Dimensions in Language Representations? A Topological Study Of Sentence Embeddings

abstract: As Large Language Models are deployed within Artificial Intelligence systems, that are increasingly integrated with human society, it becomes more important than ever to study their internal structures. Higher level abilities of LLMs such as GPT-3.5 emerge in large part due to informative language representations they induce from raw text data during pre-training on trillions of words. These embeddings exist in vector spaces of several thousand dimensions, and their processing involves mapping between multiple vector spaces, with total number of parameters on the order of trillions. Furthermore, these language representations are induced by gradient optimization, resulting in a black box system that is hard to interpret. In this paper, we take a look at the topological structure of neuronal activity in the "brain" of Chat-GPT's foundation language model, and analyze it with respect to a metric representing the notion of fairness. We develop a novel approach to visualize GPT's moral dimensions. We first compute a fairness metric, inspired by social psychology literature, to identify factors that typically influence fairness assessments in humans, such as legitimacy, need, and responsibility. Subsequently, we summarize the manifold's shape using a lower-dimensional simplicial complex, whose topology is derived from this metric. We color it with a heat map associated with this fairness metric, producing human-readable visualizations of the high-dimensional sentence manifold. Our results show that sentence embeddings based on GPT-3.5 can be decomposed into two submanifolds corresponding to fair and unfair moral judgments. This indicates that GPT-based language models develop a moral dimension within their representation spaces and induce an understanding of fairness during their training process.


title: Dynamical Geochemistry: Mantle dynamics and its role in the formation of geochemical heterogeneity

abstract: Chemical geodynamics is a term coined nearly forty years ago to highlight the important link between Earth's geochemical evolution and plate tectonics & mantle convection. Significant progress in our understanding of this connection has taken place since then through advances in the analytical precision of geochemical measurements, dramatically improved geophysical imaging techniques, application of novel isotope systems, and great advances in computational power. Thee latter especially has improved geodynamical models and data interpretation techniques. We provide a review of these advances and their impact on chemical geodynamics, or perhaps, dynamical geochemistry. To focus this review we will address primarily the role of whole mantle convection and oceanic crust formation and recycling together with an update on our understanding of noble gas systematics.


title: Formulating Mass-Loss Rates for Sun-like Stars: A Hybrid Model Approach

abstract: We observe an enhanced stellar wind mass-loss rate from low-mass stars exhibiting higher X-ray flux. This trend, however, does not align with the Sun, where no evident correlation between X-ray flux and mass-loss rate is present. To reconcile these observations, we propose a hybrid model for the stellar wind from solar-type stars, incorporating both Alfv\'en wave dynamics and flux emergence-driven interchange reconnection, an increasingly studied concept guided by the latest heliospheric observations. For establishing a mass-loss rate scaling law, we perform a series of magnetohydrodynamic simulations across varied magnetic activities. Through a parameter survey concerning the surface (unsigned) magnetic flux ($\Phi^{\rm surf}$) and the open-to-surface magnetic flux ratio ($\xi^{\rm open} = \Phi^{\rm open}/\Phi^{\rm surf}$), we derive a scaling law of the mass-loss rate given by $\dot{M}_w/\dot{M}_{w,\odot} = \left( \Phi^{\rm surf} / \Phi^{\rm surf}_\odot \right)^{0.52}\left( \xi^{\rm open} / \xi^{\rm open}_\odot \right)^{0.86}$, where $\dot{M}_{w,\odot} = 2.0 \times 10^{-14} \ M_\odot {\rm \ yr}^{-1}$, $\Phi^{\rm surf}_\odot = 3.0 \times 10^{23} {\rm \ Mx}$, and $\xi^{\rm open}_\odot = 0.2$. By comparing cases with and without flux emergence, we find that the increase in the mass-loss rate with the surface magnetic flux can be attributed to the influence of flux emergence. Our scaling law demonstrates an agreement with solar wind observations spanning 40 years, exhibiting superior performance when compared to X-ray-based estimations. Our findings suggest that flux emergence may play a significant role in the stellar winds of low-mass stars, particularly those originating from magnetically active stars.


title: CulturaX: A Cleaned, Enormous, and Multilingual Dataset for Large Language Models in 167 Languages

abstract: The driving factors behind the development of large language models (LLMs) with impressive learning capabilities are their colossal model sizes and extensive training datasets. Along with the progress in natural language processing, LLMs have been frequently made accessible to the public to foster deeper investigation and applications. However, when it comes to training datasets for these LLMs, especially the recent state-of-the-art models, they are often not fully disclosed. Creating training data for high-performing LLMs involves extensive cleaning and deduplication to ensure the necessary level of quality. The lack of transparency for training data has thus hampered research on attributing and addressing hallucination and bias issues in LLMs, hindering replication efforts and further advancements in the community. These challenges become even more pronounced in multilingual learning scenarios, where the available multilingual text datasets are often inadequately collected and cleaned. Consequently, there is a lack of open-source and readily usable dataset to effectively train LLMs in multiple languages. To overcome this issue, we present CulturaX, a substantial multilingual dataset with 6.3 trillion tokens in 167 languages, tailored for LLM development. Our dataset undergoes meticulous cleaning and deduplication through a rigorous pipeline of multiple stages to accomplish the best quality for model training, including language identification, URL-based filtering, metric-based cleaning, document refinement, and data deduplication. CulturaX is fully released to the public in HuggingFace to facilitate research and advancements in multilingual LLMs: https://huggingface.co/datasets/uonlp/CulturaX.


title: ChatGPT Hallucinates when Attributing Answers

abstract: Can ChatGPT provide evidence to support its answers? Does the evidence it suggests actually exist and does it really support its answer? We investigate these questions using a collection of domain-specific knowledge-based questions, specifically prompting ChatGPT to provide both an answer and supporting evidence in the form of references to external sources. We also investigate how different prompts impact answers and evidence. We find that ChatGPT provides correct or partially correct answers in about half of the cases (50.6% of the times), but its suggested references only exist 14% of the times. We further provide insights on the generated references that reveal common traits among the references that ChatGPT generates, and show how even if a reference provided by the model does exist, this reference often does not support the claims ChatGPT attributes to it. Our findings are important because (1) they are the first systematic analysis of the references created by ChatGPT in its answers; (2) they suggest that the model may leverage good quality information in producing correct answers, but is unable to attribute real evidence to support its answers. Prompts, raw result files and manual analysis are made publicly available.


title: PSMA PET/CT as a predictive tool for sub-regional importance estimates in the parotid gland

abstract: Xerostomia and radiation-induced salivary gland dysfunction remain a common side effect for head-and-neck radiotherapy patients, and attempts have been made to quantify the heterogeneous dose response within parotid glands. Here several models of parotid gland subregional importance are compared with prostate specific membrane antigen (PSMA) positron emission tomography (PET) uptake. PSMA ligands show high concentrations in salivary glands, whose uptake has been previously found to relate to gland functionality. We develop a predictive model for relative importance estimates using PSMA PET and CT radiomic features, and demonstrate a methodology for predicting patient-specific importance deviations from the population. Intra-parotid gland uptake was compared with four regional importance models using 30 [18F]DCFPyL PSMA PET images. A radiomics-based predictive model of population importance was developed using a double cross-validation methodology. Population importance estimates were supplemented using patient-specific radiomic features. Anticorrelative relationships were found to exist between PSMA PET uptake and four independent models of subregional parotid gland importance from the literature. Kernel Ridge Regression with principal component analysis feature selection performed best over test sets (MAE = 0.08), with GLCM features being particularly important. Deblurring PSMA PET images strengthened correlations and improved model performance. This study suggests that regions of relatively low PSMA PET concentration in parotid glands may exhibit relatively high dose-sensitivity. We've demonstrated the utility of PSMA PET radiomic features for predicting relative importance within the parotid glands. PSMA PET appears promising for analyzing salivary gland functionality.


title: Selecting which Dense Retriever to use for Zero-Shot Search

abstract: We propose the new problem of choosing which dense retrieval model to use when searching on a new collection for which no labels are available, i.e. in a zero-shot setting. Many dense retrieval models are readily available. Each model however is characterized by very differing search effectiveness -- not just on the test portion of the datasets in which the dense representations have been learned but, importantly, also across different datasets for which data was not used to learn the dense representations. This is because dense retrievers typically require training on a large amount of labeled data to achieve satisfactory search effectiveness in a specific dataset or domain. Moreover, effectiveness gains obtained by dense retrievers on datasets for which they are able to observe labels during training, do not necessarily generalise to datasets that have not been observed during training. This is however a hard problem: through empirical experimentation we show that methods inspired by recent work in unsupervised performance evaluation with the presence of domain shift in the area of computer vision and machine learning are not effective for choosing highly performing dense retrievers in our setup. The availability of reliable methods for the selection of dense retrieval models in zero-shot settings that do not require the collection of labels for evaluation would allow to streamline the widespread adoption of dense retrieval. This is therefore an important new problem we believe the information retrieval community should consider. Implementation of methods, along with raw result files and analysis scripts are made publicly available at https://www.github.com/anonymized.


title: Promoting Research Collaboration with Open Data Driven Team Recommendation in Response to Call for Proposals

abstract: Building teams and promoting collaboration are two very common business activities. An example of these are seen in the TeamingForFunding problem, where research institutions and researchers are interested to identify collaborative opportunities when applying to funding agencies in response to latter's calls for proposals. We describe a novel system to recommend teams using a variety of AI methods, such that (1) each team achieves the highest possible skill coverage that is demanded by the opportunity, and (2) the workload of distributing the opportunities is balanced amongst the candidate members. We address these questions by extracting skills latent in open data of proposal calls (demand) and researcher profiles (supply), normalizing them using taxonomies, and creating efficient algorithms that match demand to supply. We create teams to maximize goodness along a novel metric balancing short- and long-term objectives. We validate the success of our algorithms (1) quantitatively, by evaluating the recommended teams using a goodness score and find that more informed methods lead to recommendations of smaller number of teams but higher goodness, and (2) qualitatively, by conducting a large-scale user study at a college-wide level, and demonstrate that users overall found the tool very useful and relevant. Lastly, we evaluate our system in two diverse settings in US and India (of researchers and proposal calls) to establish generality of our approach, and deploy it at a major US university for routine use.


title: Does Video Summarization Require Videos? Quantifying the Effectiveness of Language in Video Summarization

abstract: Video summarization remains a huge challenge in computer vision due to the size of the input videos to be summarized. We propose an efficient, language-only video summarizer that achieves competitive accuracy with high data efficiency. Using only textual captions obtained via a zero-shot approach, we train a language transformer model and forego image representations. This method allows us to perform filtration amongst the representative text vectors and condense the sequence. With our approach, we gain explainability with natural language that comes easily for human interpretation and textual summaries of the videos. An ablation study that focuses on modality and data compression shows that leveraging text modality only effectively reduces input data processing while retaining comparable results.


title: Towards construction of analog solver of Schroedinger and Ginzburg-Landau equation based on Long Line

abstract: The analog electronic computers are a type of circuitry used to calculate specific problems using the physical relationships between the voltages and currents following classical laws of physics. One specific class of these circuits are computers based on the interactions between passive circuit elements. Models presented by G.Kron in 1945 are the example of using such passive elements to construct a solver for the problem of free quantum particles confined by rectangular potential. Numerical validation of Kron second model is conducted for different shapes of particle confining potential. Model introduced by Kron is generalized by introduction of non-linear resistive elements what implies deformation of Schr\"odinger equation solution into Ginzburg-Landau form.


title: A bijection for tuples of commuting permutations and a log-concavity conjecture

abstract: Let $A(\ell,n,k)$ denote the number of $\ell$-tuples of commuting permutations of $n$ elements whose permutation action results in exactly $k$ orbits or connected components. We provide a new proof of an explicit formula for $A(\ell,n,k)$ which is essentially due to Bryan and Fulman, in their work on orbifold higher equivariant Euler characteristics. Our proof is self-contained, elementary, and relies on the construction of an explicit bijection, in order to perform the $\ell+1\rightarrow \ell$ reduction. We also investigate a conjecture by the first author, regarding the log-concavity of $A(\ell,n,k)$ with respect to $k$. The conjecture generalizes a previous one by Heim and Neuhauser related to the Nekrasov-Okounkov formula.


title: Guided Online Distillation: Promoting Safe Reinforcement Learning by Offline Demonstration

abstract: Safe Reinforcement Learning (RL) aims to find a policy that achieves high rewards while satisfying cost constraints. When learning from scratch, safe RL agents tend to be overly conservative, which impedes exploration and restrains the overall performance. In many realistic tasks, e.g. autonomous driving, large-scale expert demonstration data are available. We argue that extracting expert policy from offline data to guide online exploration is a promising solution to mitigate the conserveness issue. Large-capacity models, e.g. decision transformers (DT), have been proven to be competent in offline policy learning. However, data collected in real-world scenarios rarely contain dangerous cases (e.g., collisions), which makes it prohibitive for the policies to learn safety concepts. Besides, these bulk policy networks cannot meet the computation speed requirements at inference time on real-world tasks such as autonomous driving. To this end, we propose Guided Online Distillation (GOLD), an offline-to-online safe RL framework. GOLD distills an offline DT policy into a lightweight policy network through guided online safe RL training, which outperforms both the offline DT policy and online safe RL algorithms. Experiments in both benchmark safe RL tasks and real-world driving tasks based on the Waymo Open Motion Dataset (WOMD) demonstrate that GOLD can successfully distill lightweight policies and solve decision-making problems in challenging safety-critical scenarios.


title: Improving Axial Resolution of Optical Resolution Photoacoustic Microscopy with Advanced Frequency Domain Eigenspace Based Minimum Variance Beamforming Method

abstract: Optical resolution photoacoustic microscopy (OR-PAM) leverages optical focusing and acoustic detection for microscopic optical absorption imaging. Intrinsically it owns high optical lateral resolution and poor acoustic axial resolution. Such anisometric resolution hinders good 3-D visualization; thus 2-D maximum amplitude projection images are commonly presented in the literature. Since its axial resolution is limited by the bandwidth of acoustic detectors, ultrahigh frequency, and wideband detectors with Wiener deconvolution have been proposed to address this issue. Nonetheless, they also introduce other issues such as severe high-frequency attenuation and limited imaging depth. In this work, we view axial resolution improvement as an axial signal reconstruction problem, and the axial resolution degradation is caused by axial sidelobe interference. We propose an advanced frequency-domain eigenspace-based minimum variance (F-EIBMV) beamforming technique to suppress axial sidelobe interference and noises. This method can simultaneously enhance the axial resolution and contrast of OR-PAM. For a 25-MHz OR-PAM system, the full-width at half-maximum of an axial point spread function decreased significantly from 69.3 $\mu$m to 16.89 $\mu$m, indicating a significant improvement in axial resolution.


title: BRONCO: Automated modelling of the bronchovascular bundle using the Computed Tomography Images

abstract: Segmentation of the bronchovascular bundle within the lung parenchyma is a key step for the proper analysis and planning of many pulmonary diseases. It might also be considered the preprocessing step when the goal is to segment the nodules from the lung parenchyma. We propose a segmentation pipeline for the bronchovascular bundle based on the Computed Tomography images, returning either binary or labelled masks of vessels and bronchi situated in the lung parenchyma. The method consists of two modules, modeling of the bronchial tree and vessels. The core revolves around a similar pipeline, the determination of the initial perimeter by the GMM method, skeletonization, and hierarchical analysis of the created graph. We tested our method on both low-dose CT and standard-dose CT, with various pathologies, reconstructed with various slice thicknesses, and acquired from various machines. We conclude that the method is invariant with respect to the origin and parameters of the CT series. Our pipeline is best suited for studies with healthy patients, patients with lung nodules, and patients with emphysema.


title: Distributionally Time-Varying Online Stochastic Optimization under Polyak-{\L}ojasiewicz Condition with Application in Conditional Value-at-Risk Statistical Learning

abstract: In this work, we consider a sequence of stochastic optimization problems following a time-varying distribution via the lens of online optimization. Assuming that the loss function satisfies the Polyak-{\L}ojasiewicz condition, we apply online stochastic gradient descent and establish its dynamic regret bound that is composed of cumulative distribution drifts and cumulative gradient biases caused by stochasticity. The distribution metric we adopt here is Wasserstein distance, which is well-defined without the absolute continuity assumption or with a time-varying support set. We also establish a regret bound of online stochastic proximal gradient descent when the objective function is regularized. Moreover, we show that the above framework can be applied to the Conditional Value-at-Risk (CVaR) learning problem. Particularly, we improve an existing proof on the discovery of the PL condition of the CVaR problem, resulting in a regret bound of online stochastic gradient descent.


title: Cross-attention-based saliency inference for predicting cancer metastasis on whole slide images

abstract: Although multiple instance learning (MIL) methods are widely used for automatic tumor detection on whole slide images (WSI), they suffer from the extreme class imbalance within the small tumor WSIs. This occurs when the tumor comprises only a few isolated cells. For early detection, it is of utmost importance that MIL algorithms can identify small tumors, even when they are less than 1% of the size of the WSI. Existing studies have attempted to address this issue using attention-based architectures and instance selection-based methodologies, but have not yielded significant improvements. This paper proposes cross-attention-based salient instance inference MIL (CASiiMIL), which involves a novel saliency-informed attention mechanism, to identify breast cancer lymph node micro-metastasis on WSIs without the need for any annotations. Apart from this new attention mechanism, we introduce a negative representation learning algorithm to facilitate the learning of saliency-informed attention weights for improved sensitivity on tumor WSIs. The proposed model outperforms the state-of-the-art MIL methods on two popular tumor metastasis detection datasets, and demonstrates great cross-center generalizability. In addition, it exhibits excellent accuracy in classifying WSIs with small tumor lesions. Moreover, we show that the proposed model has excellent interpretability attributed to the saliency-informed attention weights. We strongly believe that the proposed method will pave the way for training algorithms for early tumor detection on large datasets where acquiring fine-grained annotations is practically impossible.


title: Are Soft Prompts Good Zero-shot Learners for Speech Recognition?

abstract: Large self-supervised pre-trained speech models require computationally expensive fine-tuning for downstream tasks. Soft prompt tuning offers a simple parameter-efficient alternative by utilizing minimal soft prompt guidance, enhancing portability while also maintaining competitive performance. However, not many people understand how and why this is so. In this study, we aim to deepen our understanding of this emerging method by investigating the role of soft prompts in automatic speech recognition (ASR). Our findings highlight their role as zero-shot learners in improving ASR performance but also make them vulnerable to malicious modifications. Soft prompts aid generalization but are not obligatory for inference. We also identify two primary roles of soft prompts: content refinement and noise information enhancement, which enhances robustness against background noise. Additionally, we propose an effective modification on noise prompts to show that they are capable of zero-shot learning on adapting to out-of-distribution noise environments.


title: The triggering process of an X-class solar flare on a small quadrupolar active region

abstract: The occurrence of X-class solar flares and their potential impact on the space weather often receive great attention than other flares. But predicting when and where an X-class flare will occur is still a challenge. With the multi-wavelength observation from the Solar Dynamics Observatory and FengYun- 3E satellite, we investigate the triggering of a GOES X1.0 flare occurring in the NOAA active region (AR) 12887. Our results show that this unique X-class flare is bred in a relatively small but complex quadrupolar AR. Before the X-class flare, two filaments (F1 and F2) exist below a null-point topology of the quadrupolar AR. Magnetic field extrapolation and observation reveal that F1 and F2 correspond to two magnetic flux ropes with the same chirality and their adjacent feet rooted at nonconjugated opposite polarities, respectively. Interestingly, these two polarities collide rapidly, accompanied by photospheric magnetic flux emergence, cancellation and shear motion in the AR center. Above this site, F1 and F2 subsequently intersect and merge to a longer filament (F3) via a tether-cutting-like reconnection process. As a result, the F3 rises and erupts, involving the large-scale arcades overlying filament and the quadrupolar magnetic field above the AR, and eventually leads to the eruption of the X-class flare with a quasi-X-shaped flare ribbon and a coronal mass ejection. It suggests that the rapid collision of nonconjugated opposite polarities provides a key condition for the triggering of this X-class flare, and also provides a featured case for flare trigger mechanism and space weather forecasting.


title: Energy-efficient Integrated Sensing and Communication System and DNLFM Waveform

abstract: Integrated sensing and communication (ISAC) is a key enabler of 6G. Unlike communication radio links, the sensing signal requires to experience round trips from many scatters. Therefore, sensing is more power-sensitive and faces a severer multi-target interference. In this paper, the ISAC system employs dedicated sensing signals, which can be reused as the communication reference signal. This paper proposes to add time-frequency matched windows at both the transmitting and receiving sides, which avoids mismatch loss and increases energy efficiency. Discrete non-linear frequency modulation (DNLFM) is further proposed to achieve both time-domain constant modulus and frequency-domain arbitrary windowing weights. DNLFM uses very few Newton iterations and a simple geometrically-equivalent method to generate, which greatly reduces the complex numerical integral in the conventional method. Moreover, the spatial-domain matched window is proposed to achieve low sidelobes. The simulation results show that the proposed methods gain a higher energy efficiency than conventional methods.


title: Causal Discovery and Prediction: Methods and Algorithms

abstract: We are not only observers but also actors of reality. Our capability to intervene and alter the course of some events in the space and time surrounding us is an essential component of how we build our model of the world. In this doctoral thesis we introduce a generic a-priori assessment of each possible intervention, in order to select the most cost-effective interventions only, and avoid unnecessary systematic experimentation on the real world. Based on this a-priori assessment, we propose an active learning algorithm that identifies the causal relations in any given causal model, using a least cost sequence of interventions. There are several novel aspects introduced by our algorithm. It is, in most case scenarios, able to discard many causal model candidates using relatively inexpensive interventions that only test one value of the intervened variables. Also, the number of interventions performed by the algorithm can be bounded by the number of causal model candidates. Hence, fewer initial candidates (or equivalently, more prior knowledge) lead to fewer interventions for causal discovery. Causality is intimately related to time, as causes appear to precede their effects. Cyclical causal processes are a very interesting case of causality in relation to time. In this doctoral thesis we introduce a formal analysis of time cyclical causal settings by defining a causal analog to the purely observational Dynamic Bayesian Networks, and provide a sound and complete algorithm for the identification of causal effects in the cyclic setting. We introduce the existence of two types of hidden confounder variables in this framework, which affect in substantially different ways the identification procedures, a distinction with no analog in either Dynamic Bayesian Networks or standard causal graphs.


title: The non-existence of horizontally flat singularity for steady axisymmetric free surface flows near stagnation points

abstract: In a recent research on degenerate points of steady axisymmetric gravity flows with general vorticity, it has been shown that the possible asymptotics near any stagnation point must be the "Stokes corner", the "horizontal cusp", or the "horizontal flatness" (Theorem 1.1, Du, Huang, Pu, Commun. Math. Phys., 400, 2137-2179, 2023). In this paper, we focus on the horizontally flat singularity and show that it is not possible, and therefore the "Stokes corner" and the "cusp" are the only possible asymptotics at the stagnation points. The basic idea of our proof relies on a perturbation of the frequency formula for the two-dimensional problem (Varvaruca, Weiss, Acta Math., 206, 363-403, 2011). Our analysis also suggests that, for steady axisymmetric rotational gravity flows, the singular asymptotic profiles at stagnation points are similar to the scenario observed in two-dimensional waves with vorticity (Varvaruca, Weiss, Ann. I. H. Poincare-AN, 29, 861-885, 2012).


title: Real eigenvalues are determined by the recursion of eigenstates

abstract: Quantum physics is generally concerned with real eigenvalues due to the unitarity of time evolution. With the introduction of $\mathcal{PT}$ symmetry, a widely accepted consensus is that, even if the Hamiltonian of the system is not Hermitian, the eigenvalues can still be pure real under specific symmetry. Hence, great enthusiasm has been devoted to exploring the eigenvalue problem of non-Hermitian systems. In this work, from a distinct perspective, we demonstrate that real eigenvalues can also emerge under the appropriate recursive condition of eigenstates. Consequently, our findings provide another path to extract the real energy spectrum of non-Hermitian systems, which guarantees the conservation of probability and stimulates future experimental observations.


title: Uncertainty Quantification of Autoencoder-based Koopman Operator

abstract: This paper proposes a method for uncertainty quantification of an autoencoder-based Koopman operator. The main challenge of using the Koopman operator is to design the basis functions for lifting the state. To this end, this paper builds an autoencoder to automatically search the optimal lifting basis functions with a given loss function. We approximate the Koopman operator in a finite-dimensional space with the autoencoder, while the approximated Koopman has an approximation uncertainty. To resolve the problem, we compute a robust positively invariant set for the approximated Koopman operator to consider the approximation error. Then, the decoder of the autoencoder is analyzed by robustness certification against approximation error using the Lipschitz constant in the reconstruction phase. The forced Van der Pol model is used to show the validity of the proposed method. From the numerical simulation results, we confirmed that the trajectory of the true state stays in the uncertainty set centered by the reconstructed state.


title: Discovery and inference of a causal network with hidden confounding

abstract: This article proposes a novel causal discovery and inference method called GrIVET for a Gaussian directed acyclic graph with unmeasured confounders. GrIVET consists of an order-based causal discovery method and a likelihood-based inferential procedure. For causal discovery, we generalize the existing peeling algorithm to estimate the ancestral relations and candidate instruments in the presence of hidden confounders. Based on this, we propose a new procedure for instrumental variable estimation of each direct effect by separating it from any mediation effects. For inference, we develop a new likelihood ratio test of multiple causal effects that is able to account for the unmeasured confounders. Theoretically, we prove that the proposed method has desirable guarantees, including robustness to invalid instruments and uncertain interventions, estimation consistency, low-order polynomial time complexity, and validity of asymptotic inference. Numerically, GrIVET performs well and compares favorably against state-of-the-art competitors. Furthermore, we demonstrate the utility and effectiveness of the proposed method through an application inferring regulatory pathways from Alzheimer's disease gene expression data.


title: Unified Pretraining Target Based Video-music Retrieval With Music Rhythm And Video Optical Flow Information

abstract: Background music (BGM) can enhance the video's emotion. However, selecting an appropriate BGM often requires domain knowledge. This has led to the development of video-music retrieval techniques. Most existing approaches utilize pretrained video/music feature extractors trained with different target sets to obtain average video/music-level embeddings. The drawbacks are two-fold. One is that different target sets for video/music pretraining may cause the generated embeddings difficult to match. The second is that the underlying temporal correlation between video and music is ignored. In this paper, our proposed approach leverages a unified target set to perform video/music pretraining and produces clip-level embeddings to preserve temporal information. The downstream cross-modal matching is based on the clip-level features with embedded music rhythm and optical flow information. Experiments demonstrate that our proposed method can achieve superior performance over the state-of-the-art methods by a significant margin.


title: Desensitization and Deception in Differential Games with Asymmetric Information

abstract: Desensitization addresses safe optimal planning under parametric uncertainties by providing sensitivity function-based risk estimates. This paper expands upon the existing work on desensitization in optimal control to address safe planning for a class of two-player differential games. In the proposed game, parametric uncertainties correspond to variations of the model parameters for each player about their nominal values. The two players in the proposed formulation are assumed to have perfect information about these nominal parameter values. However, it is assumed that only one of the players has complete knowledge of the actual parameter value, resulting in information asymmetry in the proposed game. This lack of knowledge regarding the parameter variations is expected to result in state constraint violations for the player with an information disadvantage. In this regard, a desensitized feedback strategy that provides safe trajectories is proposed for the player with incomplete information. The proposed feedback strategy is evaluated for instances involving a single pursuer and a single evader with an uncertain moving obstacle, where the pursuer is assumed to only know the nominal value of the obstacle's speed. At the same time, the evader knows the obstacle's true speed, and also the fact that the pursuer knows only the nominal value of the obstacle's speed. Subsequently, deceptive strategies are proposed for the evader, who has an information advantage, and these strategies are assessed against the pursuer's desensitized strategy.


title: Two Degree of Freedom Adaptive Control for Hysteresis Compensation of Pneumatic Continuum Bending Actuator

abstract: Soft robotics, with their inherent flexibility and infinite degrees of freedom (DoF), offer promising advancements in human-machine interfaces. Particularly, pneumatic artificial muscles (PAMs) and pneumatic bending actuators have been fundamental in driving this evolution, capitalizing on their mimetic nature to natural muscle movements. However, with the versatility of these actuators comes the intricate challenge of hysteresis - a nonlinear phenomenon that hampers precise positioning, especially pronounced in pneumatic actuators due to gas compressibility. In this study, we introduce a novel 2-DoF adaptive control for precise bending tracking using a pneumatic continuum actuator. Notably, our control method integrates adaptability into both the feedback and the feedforward element, enhancing trajectory tracking in the presence of profound nonlinear effects. Comparative analysis with existing approaches underscores the superior tracking accuracy of our proposed strategy. This work discusses a new way of simple yet effective control designs for soft actuators with hysteresis properties.


title: Drastic Circuit Depth Reductions with Preserved Adversarial Robustness by Approximate Encoding for Quantum Machine Learning

abstract: Quantum machine learning (QML) is emerging as an application of quantum computing with the potential to deliver quantum advantage, but its realisation for practical applications remains impeded by challenges. Amongst those, a key barrier is the computationally expensive task of encoding classical data into a quantum state, which could erase any prospective speed-ups over classical algorithms. In this work, we implement methods for the efficient preparation of quantum states representing encoded image data using variational, genetic and matrix product state based algorithms. Our results show that these methods can approximately prepare states to a level suitable for QML using circuits two orders of magnitude shallower than a standard state preparation implementation, obtaining drastic savings in circuit depth and gate count without unduly sacrificing classification accuracy. Additionally, the QML models trained and evaluated on approximately encoded data display an increased robustness to adversarially generated input data perturbations. This partial alleviation of adversarial vulnerability, possible due to the "drowning out" of adversarial perturbations while retaining the meaningful large-scale features of the data, constitutes a considerable benefit for approximate state preparation in addition to lessening the requirements of the quantum hardware. Our results, based on simulations and experiments on IBM quantum devices, highlight a promising pathway for the future implementation of accurate and robust QML models on complex datasets relevant for practical applications, bringing the possibility of NISQ-era QML advantage closer to reality.


title: Data fusion for a multi-scale model of a wheat leaf surface: a unifying approach using a radial basis function partition of unity method

abstract: Realistic digital models of plant leaves are crucial to fluid dynamics simulations of droplets for optimising agrochemical spray technologies. The presence and nature of small features (on the order of 100$\mathrm{\mu m}$) such as ridges and hairs on the surface have been shown to significantly affect the droplet evaporation, and thus the leaf's potential uptake of active ingredients. We show that these microstructures can be captured by implicit radial basis function partition of unity (RBFPU) surface reconstructions from micro-CT scan datasets. However, scanning a whole leaf ($20\mathrm{cm^2}$) at micron resolutions is infeasible due to both extremely large data storage requirements and scanner time constraints. Instead, we micro-CT scan only a small segment of a wheat leaf ($4\mathrm{mm^2}$). We fit a RBFPU implicit surface to this segment, and an explicit RBFPU surface to a lower resolution laser scan of the whole leaf. Parameterising the leaf using a locally orthogonal coordinate system, we then replicate the now resolved microstructure many times across a larger, coarser, representation of the leaf surface that captures important macroscale features, such as its size, shape, and orientation. The edge of one segment of the microstructure model is blended into its neighbour naturally by the partition of unity method. The result is one implicit surface reconstruction that captures the wheat leaf's features at both the micro- and macro-scales.


title: Joint Demosaicing and Denoising with Double Deep Image Priors

abstract: Demosaicing and denoising of RAW images are crucial steps in the processing pipeline of modern digital cameras. As only a third of the color information required to produce a digital image is captured by the camera sensor, the process of demosaicing is inherently ill-posed. The presence of noise further exacerbates this problem. Performing these two steps sequentially may distort the content of the captured RAW images and accumulate errors from one step to another. Recent deep neural-network-based approaches have shown the effectiveness of joint demosaicing and denoising to mitigate such challenges. However, these methods typically require a large number of training samples and do not generalize well to different types and intensities of noise. In this paper, we propose a novel joint demosaicing and denoising method, dubbed JDD-DoubleDIP, which operates directly on a single RAW image without requiring any training data. We validate the effectiveness of our method on two popular datasets -- Kodak and McMaster -- with various noises and noise intensities. The experimental results show that our method consistently outperforms other compared methods in terms of PSNR, SSIM, and qualitative visual perception.


title: TransTouch: Learning Transparent Objects Depth Sensing Through Sparse Touches

abstract: Transparent objects are common in daily life. However, depth sensing for transparent objects remains a challenging problem. While learning-based methods can leverage shape priors to improve the sensing quality, the labor-intensive data collection in the real world and the sim-to-real domain gap restrict these methods' scalability. In this paper, we propose a method to finetune a stereo network with sparse depth labels automatically collected using a probing system with tactile feedback. We present a novel utility function to evaluate the benefit of touches. By approximating and optimizing the utility function, we can optimize the probing locations given a fixed touching budget to better improve the network's performance on real objects. We further combine tactile depth supervision with a confidence-based regularization to prevent over-fitting during finetuning. To evaluate the effectiveness of our method, we construct a real-world dataset including both diffuse and transparent objects. Experimental results on this dataset show that our method can significantly improve real-world depth sensing accuracy, especially for transparent objects.


title: Explicit Results for the Distributions of Queue Lengths for a Non-Preemptive Two-Level Priority Queue

abstract: Explicit results are derived using simple and exact methods for the joint and marginal queue-length distributions for the M/M/c queue with two non-preemptive priority levels. Equal service rates are assumed. Two approaches are considered. One is based on numerically robust quadratic recurrence relations. The other is based on a complex contour-integral representation that yields exact closed-form analytical expressions, not hitherto available in the literature, that can also be evaluated numerically with very high accuracy.


title: Quantum mechanical Gaussian wavepackets of single relativistic particles

abstract: We study the evolutions of selected quasi-(1+1) dimensional wavepacket solutions to the Klein-Gordon equation for a relativistic charged particle in uniform motion or accelerated by a uniform electric field in Minkowski space. We explore how good the charge density of a Klein-Gordon wavepacket can be approximated by a Gaussian state with the single-particle interpretation. We find that the minimal initial width of a wavepacket for a good Gaussian approximation in position space is about the Compton wavelength of the particle divided by its Lorentz factor at the initial moment. Relativistic length contraction also manifests in the spreading of the wavepacket's charge density.


title: Electron electric dipole moment and electroweak baryogenesis in a complex singlet extension of the Standard Model with degenerate scalars

abstract: We study the possibility of electroweak baryogenesis in the standard model with a complex scalar field, focusing mainly on a degenerate scalar scenario. In our setup, CP violation is provided by dimensional-5 Yukawa interactions involving the complex scalar field. In contrast to previous studies in the literature, we exemplify a case in which a complex phase in the singlet scalar potential is transmitted to the fermion sector via the higher-dimensional operators and drives BAU. We point out that an electric dipole moment of the electron can be suppressed due to the Higgs mass degeneracy and the presence of a new electron Yukawa coupling. Thus, viable parameter space for electroweak baryogenesis is still wide open for the latest experimental bound set by the JILA Collaboration.


title: FactoFormer: Factorized Hyperspectral Transformers with Self-Supervised Pretraining

abstract: Hyperspectral images (HSIs) contain rich spectral and spatial information. Motivated by the success of transformers in the field of natural language processing and computer vision where they have shown the ability to learn long range dependencies within input data, recent research has focused on using transformers for HSIs. However, current state-of-the-art hyperspectral transformers only tokenize the input HSI sample along the spectral dimension, resulting in the under-utilization of spatial information. Moreover, transformers are known to be data-hungry and their performance relies heavily on large-scale pretraining, which is challenging due to limited annotated hyperspectral data. Therefore, the full potential of HSI transformers has not been fully realized. To overcome these limitations, we propose a novel factorized spectral-spatial transformer that incorporates factorized self-supervised pretraining procedures, leading to significant improvements in performance. The factorization of the inputs allows the spectral and spatial transformers to better capture the interactions within the hyperspectral data cubes. Inspired by masked image modeling pretraining, we also devise efficient masking strategies for pretraining each of the spectral and spatial transformers. We conduct experiments on six publicly available datasets for HSI classification task and demonstrate that our model achieves state-of-the-art performance in all the datasets. The code for our model will be made available at https://github.com/csiro-robotics/factoformer.


title: Entire solutions of two-convex Lagrangian mean curvature flows

abstract: Given an entire $C^2$ function $u$ on $\mathbb{R}^n$, we consider the graph of $D u$ as a Lagrangian submanifold of $\mathbb{R}^{2n}$, and deform it by the mean curvature flow in $\mathbb{R}^{2n}$. This leads to the special Lagrangian evolution equation, a fully nonlinear Hessian type PDE. We prove long-time existence and convergence results under a 2-positivity assumption of $(I+(D^2 u)^2)^{-1}D^2 u$. Such results were previously known only under the stronger assumption of positivity of $D^2 u$.


title: SN 2022crv: IIb, Or Not IIb: That is the Question

abstract: We present optical and near-infrared observations of SN~2022crv, a stripped envelope supernova in NGC~3054, discovered within 12 hrs of explosion by the Distance Less Than 40 Mpc Survey. We suggest SN~2022crv is a transitional object on the continuum between SNe Ib and SNe IIb. A high-velocity hydrogen feature ($\sim$$-$20,000 -- $-$16,000 $\rm km\,s^{-1}$) was conspicuous in SN~2022crv at early phases, and then quickly disappeared around maximum light. By comparing with hydrodynamic modeling, we find that a hydrogen envelope of $\sim 10^{-3}$ \msun{} can reproduce the behaviour of the hydrogen feature observed in SN~2022crv. The early light curve of SN~2022crv did not show envelope cooling emission, implying that SN~2022crv had a compact progenitor with extremely low amount of hydrogen. The analysis of the nebular spectra shows that SN~2022crv is consistent with the explosion of a He star with a final mass of $\sim$4.5 -- 5.6 \msun{} that has evolved from a $\sim$16 -- 22 \msun{} zero-age main sequence star in a binary system with about 1.0 -- 1.7 \msun{} of oxygen finally synthesized in the core. The high metallicity at the supernova site indicates that the progenitor experienced a strong stellar wind mass loss. In order to retain a small amount of residual hydrogen at such a high metallicity, the initial orbital separation of the binary system is likely larger than $\sim$1000~$\rm R_{\odot}$. The near-infrared spectra of SN~2022crv show a unique absorption feature on the blue side of He I line at $\sim$1.005~$\mu$m. This is the first time that such a feature has been observed in a Type Ib/IIb, and could be due to \ion{Sr}{2}. Further detailed modelling on SN~2022crv can shed light on the progenitor and the origin of the mysterious absorption feature in the near infrared.


title: The contribution and FIP bias of three types of materials inside ICMEs associated with different flare intensities

abstract: The studies on the origination and generation mechanisms of ICME materials are crucial for understanding the connection between CMEs and flares. The materials inside ICMEs can be classified into three types, coming from corona directly (corona-materials), heated by magnetic reconnection in corona (heated-corona-materials), and generated by chromospheric evaporation (chromospheric-evaporation-materials). Here, the contribution and First Ionization Potential (FIP) bias of three types of materials inside ICMEs associated with different flare intensities are analyzed and compared. We find that the speeds and scales of near-Earth ICMEs both increase with flare intensities. The proportions of heated-corona-materials are nearly constant with flare intensities. The contributions of corona-materials (chromospheric-evaporation-materials) are significantly decreased (increased) with flare intensities. More than two-thirds of materials are chromospheric-evaporation-materials for ICMEs associated with strong flares. The FIP bias of corona-materials and heated-corona-materials is almost the same. The FIP bias of chromospheric-evaporation-materials is significantly higher than that of corona-materials and heated-corona-materials, and it is increased with flare intensities. The above characteristics of FIP bias can be explained reasonably by the origination and generation mechanisms of three types of ICME materials. The present study demonstrates that the origination and generation mechanisms of ICME materials are significantly influenced by flare intensities. The reasons for the elevation of FIP bias, if ICMEs are regarded as a whole, are that the FIP bias of chromospheric-evaporation-materials is much higher, and the chromospheric-evaporation-materials contributed significantly to the ICMEs which associated with strong flares.


title: Security and Privacy on Generative Data in AIGC: A Survey

abstract: The advent of artificial intelligence-generated content (AIGC) represents a pivotal moment in the evolution of information technology. With AIGC, it can be effortless to generate high-quality data that is challenging for the public to distinguish. Nevertheless, the proliferation of generative data across cyberspace brings security and privacy issues, including privacy leakages of individuals and media forgery for fraudulent purposes. Consequently, both academia and industry begin to emphasize the trustworthiness of generative data, successively providing a series of countermeasures for security and privacy. In this survey, we systematically review the security and privacy on generative data in AIGC, particularly for the first time analyzing them from the perspective of information security properties. Specifically, we reveal the successful experiences of state-of-the-art countermeasures in terms of the foundational properties of privacy, controllability, authenticity, and compliance, respectively. Finally, we summarize the open challenges and potential exploration directions from each of theses properties.


title: An Iterative Method for Unsupervised Robust Anomaly Detection Under Data Contamination

abstract: Most deep anomaly detection models are based on learning normality from datasets due to the difficulty of defining abnormality by its diverse and inconsistent nature. Therefore, it has been a common practice to learn normality under the assumption that anomalous data are absent in a training dataset, which we call normality assumption. However, in practice, the normality assumption is often violated due to the nature of real data distributions that includes anomalous tails, i.e., a contaminated dataset. Thereby, the gap between the assumption and actual training data affects detrimentally in learning of an anomaly detection model. In this work, we propose a learning framework to reduce this gap and achieve better normality representation. Our key idea is to identify sample-wise normality and utilize it as an importance weight, which is updated iteratively during the training. Our framework is designed to be model-agnostic and hyperparameter insensitive so that it applies to a wide range of existing methods without careful parameter tuning. We apply our framework to three different representative approaches of deep anomaly detection that are classified into one-class classification-, probabilistic model-, and reconstruction-based approaches. In addition, we address the importance of a termination condition for iterative methods and propose a termination criterion inspired by the anomaly detection objective. We validate that our framework improves the robustness of the anomaly detection models under different levels of contamination ratios on five anomaly detection benchmark datasets and two image datasets. On various contaminated datasets, our framework improves the performance of three representative anomaly detection methods, measured by area under the ROC curve.


title: Using LLMs to Facilitate Formal Verification of RTL

abstract: Formal property verification (FPV) has existed for decades and has been shown to be effective at finding intricate RTL bugs. However, formal properties, such as those written as SystemVerilog Assertions (SVA), are time-consuming and error-prone to write, even for experienced users. Prior work has attempted to lighten this burden by raising the abstraction level so that SVA is generated from high-level specifications. However, this does not eliminate the manual effort of reasoning and writing about the detailed hardware behavior. Motivated by the increased need for FPV in the era of heterogeneous hardware and the advances in large language models (LLMs), we set out to explore whether LLMs can capture RTL behavior and generate correct SVA properties. First, we design an FPV-based evaluation framework that measures the correctness and completeness of SVA. Then, we evaluate GPT4 iteratively to craft the set of syntax and semantic rules needed to prompt it toward creating better SVA. We extend the open-source AutoSVA framework by integrating our improved GPT4-based flow to generate safety properties, in addition to facilitating their existing flow for liveness properties. Lastly, our use cases evaluate (1) the FPV coverage of GPT4-generated SVA on complex open-source RTL and (2) using generated SVA to prompt GPT4 to create RTL from scratch. Through these experiments, we find that GPT4 can generate correct SVA even for flawed RTL, without mirroring design errors. Particularly, it generated SVA that exposed a bug in the RISC-V CVA6 core that eluded the prior work's evaluation.


title: Performance Benefit of Aerocapture for the Design Reference Mission Set

abstract: Aerocapture is a maneuver which uses aerodynamic drag to slow down a spacecraft in a single pass through the atmosphere. All planetary orbiters to date have used propulsive orbit insertion. Aerocapture is a promising alternative, especially for small satellite missions and missions to the ice giants. The large {\Delta}V requirement makes it practically impossible for small satellites to enter low circular orbits. Aerocapture can enable insertion of low-cost satellites into circular orbits around Mars and Venus. For ice giant missions, aerocapture can enable orbit insertion from fast arrival trajectories which are impractical with propulsive insertion. By utilizing the atmospheric drag to impart the {\Delta}V, aerocapture can offer significant propellant mass and cost savings for a wide range of planetary missions. The present study analyzes the performance benefit offered by aerocapture for a set of design reference missions and their applications to future Solar System exploration from Venus to Neptune. The estimated performance benefit for aerocapture in terms of delivered mass increase are: Venus (92%), Earth (108%), Mars (17%), and Titan (614%), Uranus (35%), and Neptune (43%). At Uranus and Neptune, aerocapture is a mission enabling technology for orbit insertion from fast arrival interplanetary trajectories.


title: Euclidean and Hamiltonian thermodynamics for regular black holes

abstract: We investigate the thermodynamic properties of the Hayward regular black hole using both Euclidean path integral and Hamiltonian methods, in asymptotically anti-de Sitter, Minkowski, and de Sitter spacetimes. With the inclusion of matter fields which act as a source for the regular black hole geometry, an effective temperature emerges that differs from the conventional definition related to the Killing surface gravity. We posit that this temperature is the appropriate choice for studying thermodynamic phenomena, by demonstrating consistency between the Euclidean and Hamiltonian formulations in the appropriate limits. We examine the thermodynamic properties and phase structure of the Hayward black hole in the canonical ensemble and show that, counter to some earlier indications, standard mean-field theory critical behavior is observed when the cosmological constant is treated as a thermodynamic pressure. We note the absence of a Hawking-Page transition, and conjecture that quantum gravity corrections which are suitably strong to regulate the Schwarzschild singularity generically prevent the transition from occurring. We also show that the Smarr relation remains linear in all cases, despite the absence of a linearity proof for nonlinear electrodynamic theories with nonsymmetry inheriting fields.


title: Online Network Traffic Classification Based on External Attention and Convolution by IP Packet Header

abstract: Network traffic classification is an important part of network monitoring and network management. Three traditional methods for network traffic classification are flow-based, session-based, and packet-based, while flow-based and session-based methods cannot meet the real-time requirements and existing packet-based methods will violate user's privacy. To solve the above problems, we propose a network traffic classification method only by the IP packet header, which satisfies the requirements of both the user's privacy protection and online classification performances. Through statistical analyses, we find that IP packet header information is effective on the network traffic classification tasks and this conclusion is also demonstrated by experiments. Furthermore, we propose a novel external attention and convolution mixed (ECM) model for online network traffic classification. This model adopts both low-computational complexity external attention and convolution to respectively extract the byte-level and packet-level characteristics for traffic classification. Therefore, it can achieve high classification accuracy and low time consumption. The experiments show that ECM can achieve the highest classification accuracy and the lowest delay, compared with other state-of-art models. The accuracy can respectively achieve 98.39% and 95.57% on two datasets and the classification time is shorten to meet the real-time requirements.


title: A Schedule of Duties in the Cloud Space Using a Modified Salp Swarm Algorithm

abstract: Cloud computing is a concept introduced in the information technology era, with the main components being the grid, distributed, and valuable computing. The cloud is being developed continuously and, naturally, comes up with many challenges, one of which is scheduling. A schedule or timeline is a mechanism used to optimize the time for performing a duty or set of duties. A scheduling process is accountable for choosing the best resources for performing a duty. The main goal of a scheduling algorithm is to improve the efficiency and quality of the service while at the same time ensuring the acceptability and effectiveness of the targets. The task scheduling problem is one of the most important NP-hard issues in the cloud domain and, so far, many techniques have been proposed as solutions, including using genetic algorithms (GAs), particle swarm optimization, (PSO), and ant colony optimization (ACO). To address this problem, in this paper, one of the collective intelligence algorithms, called the Salp Swarm Algorithm (SSA), has been expanded, improved, and applied. The performance of the proposed algorithm has been compared with that of GAs, PSO, continuous ACO, and the basic SSA. The results show that our algorithm has generally higher performance than the other algorithms. For example, compared to the basic SSA, the proposed method has an average reduction of approximately 21% in makespan.


title: On the Use of the Kantorovich-Rubinstein Distance for Dimensionality Reduction

abstract: The goal of this thesis is to study the use of the Kantorovich-Rubinstein distance as to build a descriptor of sample complexity in classification problems. The idea is to use the fact that the Kantorovich-Rubinstein distance is a metric in the space of measures that also takes into account the geometry and topology of the underlying metric space. We associate to each class of points a measure and thus study the geometrical information that we can obtain from the Kantorovich-Rubinstein distance between those measures. We show that a large Kantorovich-Rubinstein distance between those measures allows to conclude that there exists a 1-Lipschitz classifier that classifies well the classes of points. We also discuss the limitation of the Kantorovich-Rubinstein distance as a descriptor.


title: Enhancing Multilingual Speech Recognition through Language Prompt Tuning and Frame-Level Language Adapter

abstract: Multilingual intelligent assistants, such as ChatGPT, have recently gained popularity. To further expand the applications of multilingual artificial intelligence assistants and facilitate international communication, it is essential to enhance the performance of multilingual speech recognition, which is a crucial component of speech interaction. In this paper, we propose two simple and parameter-efficient methods: language prompt tuning and frame-level language adapter, to respectively enhance language-configurable and language-agnostic multilingual speech recognition. Additionally, we explore the feasibility of integrating these two approaches using parameter-efficient fine-tuning methods. Our experiments demonstrate significant performance improvements across seven languages using our proposed methods.


title: Investigating Zero- and Few-shot Generalization in Fact Verification

abstract: In this paper, we explore zero- and few-shot generalization for fact verification (FV), which aims to generalize the FV model trained on well-resourced domains (e.g., Wikipedia) to low-resourced domains that lack human annotations. To this end, we first construct a benchmark dataset collection which contains 11 FV datasets representing 6 domains. We conduct an empirical analysis of generalization across these FV datasets, finding that current models generalize poorly. Our analysis reveals that several factors affect generalization, including dataset size, length of evidence, and the type of claims. Finally, we show that two directions of work improve generalization: 1) incorporating domain knowledge via pretraining on specialized domains, and 2) automatically generating training data via claim generation.


title: Suppression of the elastic scattering cross section for 17Ne + 208Pb system

abstract: We investigated the elastic scattering, inelastic scattering, breakup reaction, and total fusion reactions of 17Ne + 208Pb system using the optical model (OM) and a coupled channel (CC) approaches. The aim of this study is to elucidate the suppress of the elastic cross-section that is invisible in proton-rich nuclei such as 8B and 17F projectiles but appears in neutron-rich nuclei such as 11Li and 11Be projectiles. The results revealed that this suppression was caused mainly by the nuclear interaction between the projectile and target nucleus rather than the strong Coulomb interaction observed in neutron-rich nuclei and the contributions of Coulomb excitation interaction due to two low-lying E2 resonance states are relatively small. From the simultaneous chi-square analysis of the 17Ne + 208Pb system, we can infer a strong suppression effect in the elastic scattering cross-section due to the nuclear interaction between the projectile and target nucleus, rather than the Coulomb interaction as observed in neutron-rich nuclei. Also, the contribution of the direct reaction, comprising the inelastic scattering and breakup reaction cross-sections, accounted for almost half of the total reaction. Finally, we perform the CC calculation using the parameters obtained from our OM calculation but our CC calculations could not explain the 15O production cross section.


title: Scalable Label-efficient Footpath Network Generation Using Remote Sensing Data and Self-supervised Learning

abstract: Footpath mapping, modeling, and analysis can provide important geospatial insights to many fields of study, including transport, health, environment and urban planning. The availability of robust Geographic Information System (GIS) layers can benefit the management of infrastructure inventories, especially at local government level with urban planners responsible for the deployment and maintenance of such infrastructure. However, many cities still lack real-time information on the location, connectivity, and width of footpaths, and/or employ costly and manual survey means to gather this information. This work designs and implements an automatic pipeline for generating footpath networks based on remote sensing images using machine learning models. The annotation of segmentation tasks, especially labeling remote sensing images with specialized requirements, is very expensive, so we aim to introduce a pipeline requiring less labeled data. Considering supervised methods require large amounts of training data, we use a self-supervised method for feature representation learning to reduce annotation requirements. Then the pre-trained model is used as the encoder of the U-Net for footpath segmentation. Based on the generated masks, the footpath polygons are extracted and converted to footpath networks which can be loaded and visualized by geographic information systems conveniently. Validation results indicate considerable consistency when compared to manually collected GIS layers. The footpath network generation pipeline proposed in this work is low-cost and extensible, and it can be applied where remote sensing images are available. Github: https://github.com/WennyXY/FootpathSeg.


title: Simultaneous Convergent Continued Fraction Algorithm for Real and $p$-adic Fields with Applications to Quadratic Fields

abstract: Let $p$ be a prime number and $K$ be a field with embeddings into $\mathbb{R}$ and $\mathbb{Q}_p$. We propose an algorithm that generates continued fraction expansions converging in $\mathbb{Q}_p$ and is expected to simultaneously converge in both $\mathbb{R}$ and $\mathbb{Q}_p$. This algorithm produces finite continued fraction expansions for rational numbers. In the case of $p=2$ and if $K$ is a quadratic field, the continued fraction expansions generated by this algorithm converge in $\mathbb{R}$, and they are eventually periodic or finite. For an element $\alpha$ in $K$, let $p_n/q_n$ denote the $n$-th convergent. There exist constants $u_1$ and $u_2$ in ${\mathbb R}_{>0}$ with $u_1 + u_2 = 2$, and constants $C_1$ and $C_2$ in ${\mathbb R}_{>0}$ such that $|\alpha - p_n/q_n| < C_1/|q_n|^{u_1}$ and $|\alpha - p_n/q_n|_2 < C_2/|q_n|^{u_2}$. Here, $|\cdot|_2$ represents the $2$-adic distance. For prime numbers $p > 2$, we present numerical experiences.


title: Fast Radio Bursts: Electromagnetic Counterparts to Extreme Mass Ratio Inspirals

abstract: Recent observations discovered that some repeating fast radio bursts (FRBs) show a large value and complex variations of Faraday rotation measures (RMs). The binary systems containing a supermassive black hole (SMBH) and a neutron star (NS) can be used to explain such RM variations. Meanwhile, such systems produce low-frequency gravitational wave (GW) signals, which are one of the primary interests of three proposed space-based GW detectors: the Laser Interferometer Space Antenna (LISA), Tianqin and Taiji. These signals are known as extreme mass ratio inspirals (EMRIs). Therefore, FRBs can serve as candidates of electromagnetic (EM) counterparts for EMRI signals. In this letter, we study the EMRI signals in this binary system, which can be detected up to $z\sim0.04$ by LISA and Tianqin for the most optimistic case. Assuming the cosmic comb model for FRB production, the total event rate can be as high as $\sim1$ Gpc$^{-3}$ yr$^{-1}$. EMRI signals associated with FRBs can be used to reveal the progenitor of FRBs. It is also a new type of standard siren, which can be used as an independent cosmological probe.