title: Machine Learning for Shipwreck Segmentation from Side Scan Sonar Imagery: Dataset and Benchmark

abstract: Open-source benchmark datasets have been a critical component for advancing machine learning for robot perception in terrestrial applications. Benchmark datasets enable the widespread development of state-of-the-art machine learning methods, which require large datasets for training, validation, and thorough comparison to competing approaches. Underwater environments impose several operational challenges that hinder efforts to collect large benchmark datasets for marine robot perception. Furthermore, a low abundance of targets of interest relative to the size of the search space leads to increased time and cost required to collect useful datasets for a specific task. As a result, there is limited availability of labeled benchmark datasets for underwater applications. We present the AI4Shipwrecks dataset, which consists of 24 distinct shipwreck sites totaling 286 high-resolution labeled side scan sonar images to advance the state-of-the-art in autonomous sonar image understanding. We leverage the unique abundance of targets in Thunder Bay National Marine Sanctuary in Lake Huron, MI, to collect and compile a sonar imagery benchmark dataset through surveys with an autonomous underwater vehicle (AUV). We consulted with expert marine archaeologists for the labeling of robotically gathered data. We then leverage this dataset to perform benchmark experiments for comparison of state-of-the-art supervised segmentation methods, and we present insights on opportunities and open challenges for the field. The dataset and benchmarking tools will be released as an open-source benchmark dataset to spur innovation in machine learning for Great Lakes and ocean exploration. The dataset and accompanying software are available at https://umfieldrobotics.github.io/ai4shipwrecks/.


title: Discovery of a Topological Charge Density Wave

abstract: Charge density waves (CDWs) appear in numerous condensed matter platforms, ranging from high-Tc superconductors to quantum Hall systems. Despite such ubiquity, there has been a lack of direct experimental study on boundary states that can uniquely stem from the charge order. Here, using scanning tunneling microscopy, we directly visualize the bulk and boundary phenomenology of CDW in a topological material, Ta2Se8I. Below the transition temperature (TCDW = 260 K), tunneling spectra on an atomically resolved lattice reveal a large insulating gap in the bulk and on the surface, exceeding 500 meV, surpassing predictions from standard weakly-coupled mean-field theory. Spectroscopic imaging confirms the presence of CDW, with LDOS maxima at the conduction band corresponding to the LDOS minima at the valence band, thus revealing a {\pi} phase difference in the respective CDW order. Concomitantly, at a monolayer step edge, we detect an in-gap boundary mode with modulations along the edge that match the CDW wavevector along the edge. Intriguingly, the phase of the edge state modulation shifts by {\pi} within the charge order gap, connecting the fully gapped bulk (and surface) conduction and valence bands via a smooth energy-phase relation. This bears similarity to the topological spectral flow of edge modes, where the boundary modes bridge the gapped bulk modes in energy and momentum magnitude but in Ta2Se8I, the connectivity distinctly occurs in energy and momentum phase. Notably, our temperature-dependent measurements indicate a vanishing of the insulating gap and the in-gap edge state above TCDW, suggesting their direct relation to CDW. The theoretical analysis also indicates that the observed boundary mode is topological and linked to CDW.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other physics.app-ph


title: Solvation effects on halides core spectra with Multilevel Real-Time quantum embedding

abstract: In this work we introduce a novel subsystem-based electronic structure embedding method that combines the projection-based block-orthogonalized Manby-Miller embedding (BOMME) with the density-based Frozen Density Embedding (FDE) methods. Our approach is effective for systems in which the building blocks interact at varying strengths while still maintaining a lower computational cost compared to a quantum simulation of the entire system. To evaluate the performance of our method, we assess its ability to reproduce the X-ray absorption spectra (XAS) of chloride and fluoride anions in aqueous solutions (based on a 50-water droplet model) via real-time time-dependent density functional theory (rt-TDDFT) calculations. We employ an ensemble approach to compute XAS for the K- and L-edges, utilizing multiple snapshots of configuration space obtained from classical molecular dynamics simulations with a polarizable force field. Configurational averaging influences both the broadening of spectral features and their intensities, with contributions to the final intensities originating from different geometry configurations. We found that embedding models that are too approximate for halide-water specific interactions, as in the case of FDE, fail to reproduce the experimental spectrum for chloride. Meanwhile, BOMME tends to overestimate intensities, particularly for higher energy features because of finite-size effects. Combining FDE for the second solvation shell and retaining BOMME for the first solvation shell mitigates this effect, resulting in an overall improved agreement within the energy range of the experimental spectrum. Additionally, we compute the transition densities of the relevant transitions, confirming that these transitions occur within the halide systems. Thus, our real-time QM/QM/QM embedding method proves to be a promising approach for modeling XAS of solvated systems.


title: Privacy-preserving Quantile Treatment Effect Estimation for Randomized Controlled Trials

abstract: In accordance with the principle of "data minimization", many internet companies are opting to record less data. However, this is often at odds with A/B testing efficacy. For experiments with units with multiple observations, one popular data minimizing technique is to aggregate data for each unit. However, exact quantile estimation requires the full observation-level data. In this paper, we develop a method for approximate Quantile Treatment Effect (QTE) analysis using histogram aggregation. In addition, we can also achieve formal privacy guarantees using differential privacy.


title: Interactive and Urgent HPC: Challenges and Opportunities

abstract: As a broader set of applications from simulations to data analysis and machine learning require more parallel computational capability, the demand for interactive and urgent high performance computing (HPC) continues to increase. This paper overviews the progress made so far and elucidates the challenges and opportunities for greater integration of interactive and urgent HPC policies, techniques, and technologies into HPC ecosystems.


title: Single- and multi-layer micro-scale diffractive lens fabrication for fiber imaging probes with versatile depth-of-field

abstract: Hair-thin optical fiber endoscopes have opened up new paradigms for advanced imaging applications in vivo. In certain applications, such as optical coherence tomography (OCT), light-shaping structures may be required on fiber facets to generate needle-like Bessel beams with large depth-of-field, while in others shorter depths of field with high lateral resolutions are preferable. In this paper, we demonstrate a novel method to fabricate light-shaping structures on optical fibres, achieved via bonding encapsulated planar diffractive lenses onto fiber facets. Diffractive metallic structures have the advantages of being simple to design, fabricate and transfer, and our encapsulation approach is scalable to multi-layer stacks. As a demonstration, we design and transfer a Fresnel zone plate and a diffractive axicon onto fiber facets, and show that the latter device generates a needle-like Bessel beam with 350 mu m focal depth. We also evaluate the imaging performance of both devices and show that the axicon fiber is able to maintain focussed images of a USAF resolution target over a 150 mu m distance. Finally, we fabricate a two-layer stack of Fresnel zone plates on a fiber and characterise the modified beam profile and demonstrate good imaging performance. We anticipate our fabrication approach could enable multi-functional complex optical structures (e.g. using plasmonics, polarization control) to be integrated onto fibers for ultra-thin advanced imaging and sensing.


title: The intersection number for forcing notions

abstract: Based on works of Saharon Shelah, Jakob Kellner, and Anda T\u{a}nasie for controlling the cardinal characteristics of the continuum in ccc forcing extensions, in the author's master's thesis was introduced a new combinatorial notion: the intersection number for forcing notions, which was used in such thesis to build a general theory of iterated forcing using finitely additive measures. In this paper, we present the definition of such a notion and prove some of its fundamental properties in detail. Additionally, we introduce a new linkedness property called $\mu$-intersection-linked, prove some of its basic properties, and provide some interesting examples.


title: Analysis of an aggregate loss model in a Markov renewal regime

abstract: In this article we consider an aggregate loss model with dependent losses. The losses occurrence process is governed by a two-state Markovian arrival process (MAP2), a Markov renewal process process that allows for (1) correlated inter-losses times, (2) non-exponentially distributed inter-losses times and, (3) overdisperse losses counts. Some quantities of interest to measure persistence in the loss occurrence process are obtained. Given a real operational risk database, the aggregate loss model is estimated by fitting separately the inter-losses times and severities. The MAP2 is estimated via direct maximization of the likelihood function, and severities are modeled by the heavy-tailed, double-Pareto Lognormal distribution. In comparison with the fit provided by the Poisson process, the results point out that taking into account the dependence and overdispersion in the inter-losses times distribution leads to higher capital charges.


title: GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control

abstract: Distributed, scalable, and safe control of large-scale multi-agent systems (MAS) is a challenging problem. In this paper, we design a distributed framework for safe multi-agent control in large-scale environments with obstacles, where a large number of agents are required to maintain safety using only local information and reach their goal locations. We introduce a new class of certificates, termed graph control barrier function (GCBF), which are based on the well-established control barrier function (CBF) theory for safety guarantees and utilize a graph structure for scalable and generalizable distributed control of MAS. We develop a novel theoretical framework to prove the safety of an arbitrary-sized MAS with a single GCBF. We propose a new training framework GCBF+ that uses graph neural networks (GNNs) to parameterize a candidate GCBF and a distributed control policy. The proposed framework is distributed and is capable of directly taking point clouds from LiDAR, instead of actual state information, for real-world robotic applications. We illustrate the efficacy of the proposed method through various hardware experiments on a swarm of drones with objectives ranging from exchanging positions to docking on a moving target without collision. Additionally, we perform extensive numerical experiments, where the number and density of agents, as well as the number of obstacles, increase. Empirical results show that in complex environments with nonlinear agents (e.g., Crazyflie drones) GCBF+ outperforms the handcrafted CBF-based method with the best performance by up to 20% for relatively small-scale MAS for up to 256 agents, and leading reinforcement learning (RL) methods by up to 40% for MAS with 1024 agents. Furthermore, the proposed method does not compromise on the performance, in terms of goal reaching, for achieving high safety rates, which is a common trade-off in RL-based methods.


title: Revisiting Active Learning in the Era of Vision Foundation Models

abstract: Foundation vision or vision-language models are trained on large unlabeled or noisy data and learn robust representations that can achieve impressive zero- or few-shot performance on diverse tasks. Given these properties, they are a natural fit for active learning (AL), which aims to maximize labeling efficiency. However, the full potential of foundation models has not been explored in the context of AL, specifically in the low-budget regime. In this work, we evaluate how foundation models influence three critical components of effective AL, namely, 1) initial labeled pool selection, 2) ensuring diverse sampling, and 3) the trade-off between representative and uncertainty sampling. We systematically study how the robust representations of foundation models (DINOv2, OpenCLIP) challenge existing findings in active learning. Our observations inform the principled construction of a new simple and elegant AL strategy that balances uncertainty estimated via dropout with sample diversity. We extensively test our strategy on many challenging image classification benchmarks, including natural images as well as out-of-domain biomedical images that are relatively understudied in the AL literature. We also provide a highly performant and efficient implementation of modern AL strategies (including our method) at https://github.com/sanketx/AL-foundation-models.


title: Looking Right is Sometimes Right: Investigating the Capabilities of Decoder-only LLMs for Sequence Labeling

abstract: Pre-trained language models based on masked language modeling (MLM) excel in natural language understanding (NLU) tasks. While fine-tuned MLM-based encoders consistently outperform causal language modeling decoders of comparable size, recent decoder-only large language models (LLMs) perform on par with smaller MLM-based encoders. Although their performance improves with scale, LLMs fall short of achieving state-of-the-art results in information extraction (IE) tasks, many of which are formulated as sequence labeling (SL). We hypothesize that LLMs' poor SL performance stems from causal masking, which prevents the model from attending to tokens on the right of the current token. Yet, how exactly and to what extent LLMs' performance on SL can be improved remains unclear. We explore techniques for improving the SL performance of open LLMs on IE tasks by applying layer-wise removal of the causal mask (CM) during LLM fine-tuning. This approach yields performance gains competitive with state-of-the-art SL models, matching or outperforming the results of CM removal from all blocks. Our findings hold for diverse SL tasks, demonstrating that open LLMs with layer-dependent CM removal outperform strong MLM-based encoders and even instruction-tuned LLMs.


title: Extension of Recurrent Kernels to different Reservoir Computing topologies

abstract: Reservoir Computing (RC) has become popular in recent years due to its fast and efficient computational capabilities. Standard RC has been shown to be equivalent in the asymptotic limit to Recurrent Kernels, which helps in analyzing its expressive power. However, many well-established RC paradigms, such as Leaky RC, Sparse RC, and Deep RC, are yet to be analyzed in such a way. This study aims to fill this gap by providing an empirical analysis of the equivalence of specific RC architectures with their corresponding Recurrent Kernel formulation. We conduct a convergence study by varying the activation function implemented in each architecture. Our study also sheds light on the role of sparse connections in RC architectures and propose an optimal sparsity level that depends on the reservoir size. Furthermore, our systematic analysis shows that in Deep RC models, convergence is better achieved with successive reservoirs of decreasing sizes.


title: Simulation Model Calibration with Dynamic Stratification and Adaptive Sampling

abstract: Calibrating simulation models that take large quantities of multi-dimensional data as input is a hard simulation optimization problem. Existing adaptive sampling strategies offer a methodological solution. However, they may not sufficiently reduce the computational cost for estimation and solution algorithm's progress within a limited budget due to extreme noise levels and heteroskedasticity of system responses. We propose integrating stratification with adaptive sampling for the purpose of efficiency in optimization. Stratification can exploit local dependence in the simulation inputs and outputs. Yet, the state-of-the-art does not provide a full capability to adaptively stratify the data as different solution alternatives are evaluated. We devise two procedures for data-driven calibration problems that involve a large dataset with multiple covariates to calibrate models within a fixed overall simulation budget. The first approach dynamically stratifies the input data using binary trees, while the second approach uses closed-form solutions based on linearity assumptions between the objective function and concomitant variables. We find that dynamical adjustment of stratification structure accelerates optimization and reduces run-to-run variability in generated solutions. Our case study for calibrating a wind power simulation model, widely used in the wind industry, using the proposed stratified adaptive sampling, shows better-calibrated parameters under a limited budget.


title: Language Modelling Approaches to Adaptive Machine Translation

abstract: Consistency is a key requirement of high-quality translation. It is especially important to adhere to pre-approved terminology and adapt to corrected translations in domain-specific projects. Machine translation (MT) has achieved significant progress in the area of domain adaptation. However, in-domain data scarcity is common in translation settings, due to the lack of specialised datasets and terminology, or inconsistency and inaccuracy of available in-domain translations. In such scenarios where there is insufficient in-domain data to fine-tune MT models, producing translations that are consistent with the relevant context is challenging. While real-time adaptation can make use of smaller amounts of in-domain data to improve the translation on the fly, it remains challenging due to supported context limitations and efficiency constraints. Large language models (LLMs) have recently shown interesting capabilities of in-context learning, where they learn to replicate certain input-output text generation patterns, without further fine-tuning. Such capabilities have opened new horizons for domain-specific data augmentation and real-time adaptive MT. This work attempts to address two main relevant questions: 1) in scenarios involving human interaction and continuous feedback, can we employ language models to improve the quality of adaptive MT at inference time? and 2) in the absence of sufficient in-domain data, can we use pre-trained large-scale language models to improve the process of MT domain adaptation?


title: The Role of Intelligent Transportation Systems and Artificial Intelligence in Energy Efficiency and Emission Reduction

abstract: Despite the technological advancements in the transportation sector, the industry continues to grapple with increasing energy consumption and vehicular emissions, which intensify environmental degradation and climate change. The inefficient management of traffic flow, the underutilization of transport network interconnectivity, and the limited implementation of artificial intelligence (AI)-driven predictive models pose significant challenges to achieving energy efficiency and emission reduction. Thus, there is a timely and critical need for an integrated, sophisticated approach that leverages intelligent transportation systems (ITSs) and AI for energy conservation and emission reduction. In this paper, we explore the role of ITSs and AI in future enhanced energy and emission reduction (EER). More specifically, we discuss the impact of sensors at different levels of ITS on improving EER. We also investigate the potential networking connections in ITSs and provide an illustration of how they improve EER. Finally, we discuss potential AI services for improved EER in the future. The findings discussed in this paper will contribute to the ongoing discussion about the vital role of ITSs and AI applications in addressing the challenges associated with achieving energy savings and emission reductions in the transportation sector. Additionally, it will provide insights for policymakers and industry professionals to enable them to develop policies and implementation plans for the integration of ITSs and AI technologies in the transportation sector.


title: Fitting procedure for the two-state Batch Markov modulated Poisson process

abstract: The Batch Markov Modulated Poisson Process (BMMPP) is a subclass of the versatile Batch Markovian Arrival process (BMAP) which has been proposed for the modeling of dependent events occurring in batches (as group arrivals, failures or risk events). This paper focuses on exploring the possibilities of the BMMPP for the modeling of real phenomena involving point processes with group arrivals. The first result in this sense is the characterization of the two-state BMMPP with maximum batch size equal to K, the BMMPP2(K), by a set of moments related to the inter-event time and batch size distributions. This characterization leads to a sequential fitting approach via a moments matching method. The performance of the novel fitting approach is illustrated on both simulated and a real teletraffic data set, and compared to that of the EM algorithm. In addition, as an extension of the inference approach, the queue length distributions at departures in the queueing system BMMPP/M/1 is also estimated.


title: Properties of the Mallows Model Depending on the Number of Alternatives: A Warning for an Experimentalist

abstract: The Mallows model is a popular distribution for ranked data. We empirically and theoretically analyze how the properties of rankings sampled from the Mallows model change when increasing the number of alternatives. We find that real-world data behaves differently than the Mallows model, yet is in line with its recent variant proposed by Boehmer et al. [2021]. As part of our study, we issue several warnings about using the model.


title: Cauchy, Cosserat, Clausius, Maxwell, Weyl Equations Revisited

abstract: The Cauchy stress equations (1823), the Cosserat couple-stress equations (1909), the Clausius virial equation (1870), the Maxwell/Weyl equations (1873,1918) are among the most famous partial differential equations that can be found today in any textbook dealing {\it separately and/or successively} with elasticity theory, continuum mechanics, thermodynamics, electromagnetism and electrodynamics. Over a manifold of dimension $n$, their respective numbers are $n, n(n-1)/2, 1, n$ with a total of $(n+1)(n+2)/2$, that is $15$ when $n= 4$ for space-time. As a matter of fact, this is just the number of parameters of the Lie group of conformal transformations with $n$ translations, $n(n-1)/2$ rotations, $1$ dilatation and $n$ highly non-linear elations introduced by E. Cartan in $1922$. The purpose of this short but difficult paper is to prove that the form of these equations only depends on the structure of the conformal group for $n\geq 1$ arbitrary because they are described {\it as a whole} by the (formal) adjoint of the first Spencer operator existing in the Spencer differential sequence. Such a group theoretical implication is obtained for the first time by totally new differential geometric methods. Meanwhile, these equations can be all parametrized by the adjoint of the second Spencer operator through $ n(n^2 - 1)(n+2)/4$ potentials.This result brings the need to revisit the mathematical foundations of Electromagnetism and Gauge Theory according to a clever but rarely quoted paper of H. Poincar\'{e} (1901).


title: Advancing Scanning Probe Microscopy Simulations: A Decade of Development in Probe-Particle Models

abstract: The probe-particle model is an open-source package designed for simulation of scanning probe microscopy experiments, employing non-reactive, flexible tip apices (e.g., carbon monoxide, xenon, or hydrogen molecules) to achieve sub-molecular resolution. This abstract introduces the latest version of the probe-particle model, highlighting substantial advancements in accuracy, computational performance, and user-friendliness over previous versions. To demonstrate this we provide a comprehensive review of theories for simulating non-contact Atomic Force Microscopy (nc-AFM), spanning from the simple Lennard-Jones potential to the latest full density-based model. Implementation of these theories are systematically compared against ab initio calculated reference, showcasing their respective merits. All parts of the probe-particle model have undergone acceleration by 1-2 orders of magnitude through parallelization by OpenMP on CPU and OpenCL on GPU. The updated package includes an interactive graphical user interface (GUI) and seamless integration into the Python ecosystem via pip, facilitating advanced scripting and interoperability with other software. This adaptability positions the probe-particle model as an ideal tool for high-throughput applications, including the training of machine learning models for the automatic recovery of atomic structures from nc-AFM measurements. We envision significant potential for this application in future single-molecule analysis, synthesis, and advancements of surface science in general. Additionally, we discuss simulations of other sub-molecular scanning-probe imaging techniques, such as bond-resolved scanning tunneling microscopy and kelvin probe force microscopy, all built on the robust foundation of the probe-particle model. Altogether this demonstrates the broad impact of the model across diverse domains of surface science and molecular chemistry.


title: TIFu: Tri-directional Implicit Function for High-Fidelity 3D Character Reconstruction

abstract: Recent advances in implicit function-based approaches have shown promising results in 3D human reconstruction from a single RGB image. However, these methods are not sufficient to extend to more general cases, often generating dragged or disconnected body parts, particularly for animated characters. We argue that these limitations stem from the use of the existing point-level 3D shape representation, which lacks holistic 3D context understanding. Voxel-based reconstruction methods are more suitable for capturing the entire 3D space at once, however, these methods are not practical for high-resolution reconstructions due to their excessive memory usage. To address these challenges, we introduce Tri-directional Implicit Function (TIFu), which is a vector-level representation that increases global 3D consistencies while significantly reducing memory usage compared to voxel representations. We also introduce a new algorithm in 3D reconstruction at an arbitrary resolution by aggregating vectors along three orthogonal axes, resolving inherent problems with regressing fixed dimension of vectors. Our approach achieves state-of-the-art performances in both our self-curated character dataset and the benchmark 3D human dataset. We provide both quantitative and qualitative analyses to support our findings.


title: Anisotropy parameters for two-color photoionization phases in randomly oriented molecules: theory and experiment in methane and deuteromethane

abstract: We present a combined theoretical and experimental work investigating the angle-resolved phases of the photoionization process driven by a two-color field consisting of an attosecond pulse train and an infrared pulse in an ensemble of randomly oriented molecules. We derive a general form for the two-color photoelectron (and time-delay) angular distribution valid also in the case of chiral molecules and when relative polarizations of the photons contributing to the attosecond photoelectron interferometer differ. We show a comparison between the experimental data and the theoretical predictions in an ensemble of methane and deuteromethane molecules, discussing the effect of nuclear dynamics on the photoionization phases. Finally, we demonstrate that the oscillating component and the phase of the two-color signal can be fitted using complex asymmetry parameters, in perfect analogy with the atomic case.


title: A dynamical measure of the black hole mass in a quasar 11 billion years ago

abstract: Tight relationships exist in the local universe between the central stellar properties of galaxies and the mass of their supermassive black hole. These suggest galaxies and black holes co-evolve, with the main regulation mechanism being energetic feedback from accretion onto the black hole during its quasar phase. A crucial question is how the relationship between black holes and galaxies evolves with time; a key epoch to probe this relationship is at the peaks of star formation and black hole growth 8-12 billion years ago (redshifts 1-3). Here we report a dynamical measurement of the mass of the black hole in a luminous quasar at a redshift of 2, with a look back time of 11 billion years, by spatially resolving the broad line region. We detect a 40 micro-arcsecond (0.31 pc) spatial offset between the red and blue photocenters of the H$\alpha$ line that traces the velocity gradient of a rotating broad line region. The flux and differential phase spectra are well reproduced by a thick, moderately inclined disk of gas clouds within the sphere of influence of a central black hole with a mass of 3.2x10$^{8}$ solar masses. Molecular gas data reveal a dynamical mass for the host galaxy of 6x10$^{11}$ solar masses, which indicates an under-massive black hole accreting at a super-Eddington rate. This suggests a host galaxy that grew faster than the supermassive black hole, indicating a delay between galaxy and black hole formation for some systems.


title: A counterexample regarding a two-phase problem for harmonic measure in VMO

abstract: Let $\Omega^+\subset\mathbb R^{n+1}$ be a vanishing Reifenberg flat domain such that $\Omega^+$ and $\Omega^-=\mathbb R^{n+1}\setminus\overline {\Omega^+}$ have joint big pieces of chord-arc subdomains and the outer unit normal to $\Omega^+$ belongs to $VMO(\omega^+)$, where $\omega^\pm$ is the harmonic measure of $\Omega^\pm$. Up to now it was an open question if these conditions imply that $\log\dfrac{d\omega^-}{d\omega^+} \in VMO(\omega^+)$. In this paper we answer this question in the negative by constructing an appropriate counterexample in $\mathbb R^2$, with the additional property that the outer unit normal to $\Omega^+$ is constant $\omega^+$-a.e. in $\partial\Omega^+$.


title: Detecting Structured Language Alternations in Historical Documents by Combining Language Identification with Fourier Analysis

abstract: In this study, we present a generalizable workflow to identify documents in a historic language with a nonstandard language and script combination, Armeno-Turkish. We introduce the task of detecting distinct patterns of multilinguality based on the frequency of structured language alternations within a document.


title: From square plaquettes to triamond lattices for SU(2) gauge theory

abstract: Lattice gauge theory should be able to address significant new scientific questions when implemented on quantum computers. In practice, error-mitigation techniques have already allowed encouraging progress on small lattices. In this work we focus on a truncated version of SU(2) gauge theory, which is a familiar non-Abelian step toward quantum chromodynamics. First, we demonstrate effective error mitigation for imaginary time evolution on a lattice having two square plaquettes, obtaining the ground state using an IBM quantum computer and observing that this would have been impossible without error mitigation. Then we propose the triamond lattice as an expedient approach to lattice gauge theories in three spatial dimensions, deriving the Hamiltonian and obtaining energy eigenvalues and eigenstates from a noiseless simulator for a three-dimensional unit cell.


title: Driving Towards Inclusion: Revisiting In-Vehicle Interaction in Autonomous Vehicles

abstract: This paper presents a comprehensive literature review of the current state of in-vehicle human-computer interaction (HCI) in the context of self-driving vehicles, with a specific focus on inclusion and accessibility. This study's aim is to examine the user-centered design principles for inclusive HCI in self-driving vehicles, evaluate existing HCI systems, and identify emerging technologies that have the potential to enhance the passenger experience. The paper begins by providing an overview of the current state of self-driving vehicle technology, followed by an examination of the importance of HCI in this context. Next, the paper reviews the existing literature on inclusive HCI design principles and evaluates the effectiveness of current HCI systems in self-driving vehicles. The paper also identifies emerging technologies that have the potential to enhance the passenger experience, such as voice-activated interfaces, haptic feedback systems, and augmented reality displays. Finally, the paper proposes an end-to-end design framework for the development of an inclusive in-vehicle experience, which takes into consideration the needs of all passengers, including those with disabilities, or other accessibility requirements. This literature review highlights the importance of user-centered design principles in the development of HCI systems for self-driving vehicles and emphasizes the need for inclusive design to ensure that all passengers can safely and comfortably use these vehicles. The proposed end-to-end design framework provides a practical approach to achieving this goal and can serve as a valuable resource for designers, researchers, and policymakers in this field.


title: Generalized coherent states satisfying the Pauli principle in a nuclear cluster model

abstract: We propose a new basis state, which satisfies the Pauli principle in the nuclear cluster model. The basis state is defined as the generalized coherent state of the harmonic oscillator wave function using a pair of the creation operators and is orthogonal to the Pauli-forbidden states having smaller quanta. In the coherent basis state, the range parameter is changeable and controls the radial dilation. This property is utilized for the precise description of the relative motion between nuclear clusters. We show the reliability of this framework for the $2\alpha$ system of $^8$Be in the semi-microscopic orthogonality condition model. We obtain the resonances and non-resonant continuum states of $2\alpha$ with complex scaling. The resonance solutions and the phase shifts of the $\alpha$-$\alpha$ scattering agree with those using the conventional projection operator method to remove the Pauli-forbidden states. We further discuss the extension of the present framework to the multi-$\alpha$ cluster systems using the SU(3) wave functions.


title: Breakdown of Kubo relation in Pt-Cu nanoparticle

abstract: Nanoparticles were predicted to exhibit unique physical properties due to quantum size effects, but their identification remains difficult. According to Kubo's theory, the gap size is inversely correlated with both the density of states at the Fermi energy and the number of atoms in the particle. Previously, we confirmed that the particle size and magnetic field dependence of NMR anomaly temperature is consistent with the estimated "Kubo" gap. Here, we investigated the density-of-states dependence in the Pt$_{1-x}$Cu$_{x}$ nanoparticles. While an enhancement of nuclear spin-lattice relaxation rate $1/T_1$ at low temperatures was clearly observed for the Pt-rich nanoparticles, such behavior was abruptly suppressed in the Cu-rich nanoparticles. Furthermore, the NMR anomaly temperature is nearly unchanged with varying the density of states. Our findings indicate that the quantum size effect contains more profound physics than just the ones predicted by Kubo.


title: Quantization of K\"ahler Manifolds via Brane Quantization

abstract: In their physical proposal for quantization [20], Gukov-Witten suggested that, given a symplectic manifold $M$ with a complexification $X$, the A-model morphism spaces $\operatorname{Hom}(\mathcal{B}_{\operatorname{cc}}, \mathcal{B}_{\operatorname{cc}})$ and $\operatorname{Hom}(\mathcal{B}, \mathcal{B}_{\operatorname{cc}})$ should recover holomorphic deformation quantization of $X$ and geometric quantization of $M$ respectively, where $\mathcal{B}_{\operatorname{cc}}$ is a canonical coisotropic A-brane on $X$ and $\mathcal{B}$ is a Lagrangian A-brane supported on $M$. Assuming $M$ is spin and K\"ahler with a prequantum line bundle $L$, Chan-Leung-Li [10] constructed a subsheaf $\mathcal{O}_{\operatorname{qu}}^{(k)}$ of smooth functions on $M$ with a non-formal star product and a left $\mathcal{O}_{\operatorname{qu}}^{(k)}$-module structure on the sheaf of holomorphic sections of $L^{\otimes k} \otimes \sqrt{K}$. In this paper, we give a careful treatment of the relation between (holomorphic) deformation quantizations of $M$ and $X$. As a result, Chan-Leung-Li's work [10] provides a mathematical realization of the action of $\operatorname{Hom}(\mathcal{B}_{\operatorname{cc}}, \mathcal{B}_{\operatorname{cc}})$ on $\operatorname{Hom}(\mathcal{B}, \mathcal{B}_{\operatorname{cc}})$. By Fedosov's gluing arguments, we also construct a $\mathcal{O}_{\operatorname{qu}}^{(k)}$-$\overline{\mathcal{O}}_{\operatorname{qu}}^{(k)}$-bimodule structure on the sheaf of smooth sections of $L^{\otimes 2k}$ to realize the actions of $\operatorname{Hom}(\mathcal{B}_{\operatorname{cc}}, \mathcal{B}_{\operatorname{cc}})$ and $\operatorname{Hom}(\overline{\mathcal{B}}_{\operatorname{cc}}, \overline{\mathcal{B}}_{\operatorname{cc}})$ on $\operatorname{Hom}(\overline{\mathcal{B}}_{\operatorname{cc}}, \mathcal{B}_{\operatorname{cc}})$, which is related to the analytic geometric Langlands program.


title: Lagrangian, Game Theoretic and PDE Methods for Averaging G-equations in Turbulent Combustion: Existence and Beyond

abstract: G-equations are popular level set Hamilton-Jacobi nonlinear partial differential equations (PDEs) of first or second order arising in turbulent combustion. Characterizing the effective burning velocity (also known as the turbulent burning velocity) is a fundamental problem there. We review relevant studies of the G-equation models with a focus on both the existence of effective burning velocity (homogenization), and its dependence on physical and geometric parameters (flow intensity and curvature effect) through representative examples. The corresponding physical background is also presented to provide motivations for mathematical problems of interest. The lack of coercivity of Hamiltonian is a hallmark of G-equations. When either the curvature of the level set or the strain effect of fluid flows is accounted for, the Hamiltonian becomes highly non-convex and nonlinear. In the absence of coercivity and convexity, PDE (Eulerian) approach suffers from insufficient compactness to establish averaging (homogenization). We review and illustrate a suite of Lagrangian tools, most notably min-max (max-min) game representations of curvature and strain G-equations, working in tandem with analysis of streamline structures of fluid flows and PDEs. We discuss open problems for future development in this emerging area of dynamic game analysis for averaging non-coercive, non-convex, and nonlinear PDEs such as geometric (curvature-dependent) PDEs with advection.


title: Accelerating Scientific Application through Transparent I/O Interposition

abstract: The ability to handle a large volume of data generated by scientific applications is crucial. We have seen an increase in the heterogeneity of storage technologies available to scientific applications, such as burst buffers, local temporary block storage, managed cloud parallel file systems (PFS), and non-POSIX object stores. However, scientific applications designed for traditional HPC systems can not easily exploit those storage systems due to cost, throughput, and programming model challenges. We present iFast, a new library-level approach to transparently accelerating scientific applications based on MPI-IO. It decouples application I/O, data caching, and data storage to support heterogeneous storage models. Design decisions of iFast are based on a strong emphasis on deployability. It is highly general with only MPI as a core dependency, allowing users to run unmodified MPI-based applications with unmodified MPI implementations - even proprietary ones like IntelMPI and Cray MPICH. Our approach supports a wide range of networked storage, including traditional PFS, ordinary NFS, and S3-based cloud storage. Unlike previous approaches, iFast ensures crash consistency even across compute nodes. We demonstrate iFast in cloud HPC platform, small local cluster, and hybrid of both to show its generality. Our results show that iFast reduces end-to-end execution time by 13-26% for three popular scientific applications on the cloud. It also outperforms the state-of-the-art system, SymphonyFS, a filesystem-based approach for similar goals but without crash consistency, by 12-23%.


title: An Algorithm for Streaming Differentially Private Data

abstract: Much of the research in differential privacy has focused on offline applications with the assumption that all data is available at once. When these algorithms are applied in practice to streams where data is collected over time, this either violates the privacy guarantees or results in poor utility. We derive an algorithm for differentially private synthetic streaming data generation, especially curated towards spatial datasets. Furthermore, we provide a general framework for online selective counting among a collection of queries which forms a basis for many tasks such as query answering and synthetic data generation. The utility of our algorithm is verified on both real-world and simulated datasets.

categories: cs.DB cs.IT cs.LG math.IT math.ST stat.TH


title: GOAt: Explaining Graph Neural Networks via Graph Output Attribution

abstract: Understanding the decision-making process of Graph Neural Networks (GNNs) is crucial to their interpretability. Most existing methods for explaining GNNs typically rely on training auxiliary models, resulting in the explanations remain black-boxed. This paper introduces Graph Output Attribution (GOAt), a novel method to attribute graph outputs to input graph features, creating GNN explanations that are faithful, discriminative, as well as stable across similar samples. By expanding the GNN as a sum of scalar products involving node features, edge features and activation patterns, we propose an efficient analytical method to compute contribution of each node or edge feature to each scalar product and aggregate the contributions from all scalar products in the expansion form to derive the importance of each node and edge. Through extensive experiments on synthetic and real-world data, we show that our method not only outperforms various state-ofthe-art GNN explainers in terms of the commonly used fidelity metric, but also exhibits stronger discriminability, and stability by a remarkable margin.


title: Recognizing Multiple Ingredients in Food Images Using a Single-Ingredient Classification Model

abstract: Recognizing food images presents unique challenges due to the variable spatial layout and shape changes of ingredients with different cooking and cutting methods. This study introduces an advanced approach for recognizing ingredients segmented from food images. The method localizes the candidate regions of the ingredients using the locating and sliding window techniques. Then, these regions are assigned into ingredient classes using a CNN (Convolutional Neural Network)-based single-ingredient classification model trained on a dataset of single-ingredient images. To address the challenge of processing speed in multi-ingredient recognition, a novel model pruning method is proposed that enhances the efficiency of the classification model. Subsequently, the multi-ingredient identification is achieved through a decision-making scheme, incorporating two novel algorithms. The single-ingredient image dataset, designed in accordance with the book entitled "New Food Ingredients List FOODS 2021", encompasses 9982 images across 110 diverse categories, emphasizing variety in ingredient shapes. In addition, a multi-ingredient image dataset is developed to rigorously evaluate the performance of our approach. Experimental results validate the effectiveness of our method, particularly highlighting its improved capability in recognizing multiple ingredients. This marks a significant advancement in the field of food image analysis.


title: Design Your Own Universe: A Physics-Informed Agnostic Method for Enhancing Graph Neural Networks

abstract: Physics-informed Graph Neural Networks have achieved remarkable performance in learning through graph-structured data by mitigating common GNN challenges such as over-smoothing, over-squashing, and heterophily adaption. Despite these advancements, the development of a simple yet effective paradigm that appropriately integrates previous methods for handling all these challenges is still underway. In this paper, we draw an analogy between the propagation of GNNs and particle systems in physics, proposing a model-agnostic enhancement framework. This framework enriches the graph structure by introducing additional nodes and rewiring connections with both positive and negative weights, guided by node labeling information. We theoretically verify that GNNs enhanced through our approach can effectively circumvent the over-smoothing issue and exhibit robustness against over-squashing. Moreover, we conduct a spectral analysis on the rewired graph to demonstrate that the corresponding GNNs can fit both homophilic and heterophilic graphs. Empirical validations on benchmarks for homophilic, heterophilic graphs, and long-term graph datasets show that GNNs enhanced by our method significantly outperform their original counterparts.


title: AVELA -- A Vision for Engineering Literacy & Access: Understanding Why Technology Alone Is Not Enough

abstract: Unequal technology access for Black and Latine communities has been a persistent economic, social justice, and human rights issue despite increased technology accessibility due to advancements in consumer electronics like phones, tablets, and computers. We contextualize socio-technical access inequalities for Black and Latine urban communities and find that many students are hesitant to engage with available technologies due to a lack of engaging support systems. We present a holistic student-led STEM engagement model through AVELA - A Vision for Engineering Literacy and Access leveraging culturally responsive lessons, mentor embodied community representation, and service learning. To evaluate the model's impact after 4 years of mentoring 200+ university student instructors in teaching to 2,500+ secondary school students in 100+ classrooms, we conducted 24 semi-structured interviews with college AnonymizedOrganization members. We identify access barriers and provide principled recommendations for designing future STEM education programs.


title: High-dimensional forecasting with known knowns and known unknowns

abstract: Forecasts play a central role in decision making under uncertainty. After a brief review of the general issues, this paper considers ways of using high-dimensional data in forecasting. We consider selecting variables from a known active set, known knowns, using Lasso and OCMT, and approximating unobserved latent factors, known unknowns, by various means. This combines both sparse and dense approaches. We demonstrate the various issues involved in variable selection in a high-dimensional setting with an application to forecasting UK inflation at different horizons over the period 2020q1-2023q1. This application shows both the power of parsimonious models and the importance of allowing for global variables.


title: Physical Trajectory Inference Attack and Defense in Decentralized POI Recommendation

abstract: As an indispensable personalized service within Location-Based Social Networks (LBSNs), the Point-of-Interest (POI) recommendation aims to assist individuals in discovering attractive and engaging places. However, the accurate recommendation capability relies on the powerful server collecting a vast amount of users' historical check-in data, posing significant risks of privacy breaches. Although several collaborative learning (CL) frameworks for POI recommendation enhance recommendation resilience and allow users to keep personal data on-device, they still share personal knowledge to improve recommendation performance, thus leaving vulnerabilities for potential attackers. Given this, we design a new Physical Trajectory Inference Attack (PTIA) to expose users' historical trajectories. Specifically, for each user, we identify the set of interacted POIs by analyzing the aggregated information from the target POIs and their correlated POIs. We evaluate the effectiveness of PTIA on two real-world datasets across two types of decentralized CL frameworks for POI recommendation. Empirical results demonstrate that PTIA poses a significant threat to users' historical trajectories. Furthermore, Local Differential Privacy (LDP), the traditional privacy-preserving method for CL frameworks, has also been proven ineffective against PTIA. In light of this, we propose a novel defense mechanism (AGD) against PTIA based on an adversarial game to eliminate sensitive POIs and their information in correlated POIs. After conducting intensive experiments, AGD has been proven precise and practical, with minimal impact on recommendation performance.


title: Bernstein von-Mises Theorem for g-prior and nonlocal prior

abstract: The paper develops Bernstein von Mises Theorem under hierarchical $g$ -priors for linear regression models. The results are obtained both when the error variance is known, and also when it is unknown. An inverse gamma prior is attached to the error variance in the later case. The paper also demonstrates some connection between the total variation and $\alpha$-divergence measures.


title: Diffusion Stochastic Optimization for Min-Max Problems

abstract: The optimistic gradient method is useful in addressing minimax optimization problems. Motivated by the observation that the conventional stochastic version suffers from the need for a large batch size on the order of $\mathcal{O}(\varepsilon^{-2})$ to achieve an $\varepsilon$-stationary solution, we introduce and analyze a new formulation termed Diffusion Stochastic Same-Sample Optimistic Gradient (DSS-OG). We prove its convergence and resolve the large batch issue by establishing a tighter upper bound, under the more general setting of nonconvex Polyak-Lojasiewicz (PL) risk functions. We also extend the applicability of the proposed method to the distributed scenario, where agents communicate with their neighbors via a left-stochastic protocol. To implement DSS-OG, we can query the stochastic gradient oracles in parallel with some extra memory overhead, resulting in a complexity comparable to its conventional counterpart. To demonstrate the efficacy of the proposed algorithm, we conduct tests by training generative adversarial networks.


title: Additively manufactured Ni-20Cr to V functionally graded material: computational predictions and experimental verification of phase formations

abstract: A database for the Cr-Ni-V system was constructed by modeling the binary Cr-V and ternary Cr-Ni-V systems using the CALPHAD approach aided by density functional theory (DFT)-based first-principles calculations and ab initio molecular dynamics (AIMD) simulations. To validate this new database, a functionally graded material (FGM) using Ni-20Cr and elemental V was fabricated using directed energy deposition additive manufacturing (DED AM) and experimentally characterized. The deposited Ni-20Cr was pure fcc phase, while increasing the amount of V across the gradient resulted in the formation of sigma phase, followed by the bcc phase. The experimentally measured phase data was compared with computational predictions made using a Cr-Ni-V thermodynamic database from the literature as well as the database developed in the present work. The newly developed database was shown to better predict the experimentally observed phases due to its accurate modeling of binary systems within the database and the ternary liquid phase, which is critical for accurate Scheil calculations.


title: CNA-TTA: Clean and Noisy Region Aware Feature Learning within Clusters for Online-Offline Test-Time Adaptation

abstract: A domain shift occurs when training (source) and test (target) data diverge in their distribution. Test-time adaptation (TTA) addresses the domain shift problem, aiming to adopt a trained model on the source domain to the target domain in a scenario where only a well-trained source model and unlabeled target data are available. In this scenario, handling false labels in the target domain is crucial because they negatively impact the model performance. To deal with this problem, we propose to utilize cluster structure (i.e., {`Clean'} and {`Noisy'} regions within each cluster) in the target domain formulated by the source model. Given an initial clustering of target samples, we first partition clusters into {`Clean'} and {`Noisy'} regions defined based on cluster prototype (i.e., centroid of each cluster). As these regions have totally different distributions of the true pseudo-labels, we adopt distinct training strategies for the clean and noisy regions: we selectively train the target with clean pseudo-labels in the clean region, whereas we introduce mixup inputs representing intermediate features between clean and noisy regions to increase the compactness of the cluster. We conducted extensive experiments on multiple datasets in online/offline TTA settings, whose results demonstrate that our method, {CNA-TTA}, achieves state-of-the-art for most cases.


title: Deep-learning-based prediction of the tetragonal$\rightarrow$cubic transition in davemaoite

abstract: Davemaoite, i.e., $CaSiO_3$ perovskite (CaPv), is the third most abundant phase in the lower mantle and exhibits a tetragonal-cubic phase transition at high pressures and temperatures. The phase boundary in CaPv has recently been proposed to be close to the cold slab adiabatic and cause mid-mantle seismic wave speed anomalies (Thomson et al., Nature 572, 643, 2019). In this study, we utilized accurate deep-learning-based simulations and thermodynamic integration techniques to compute free energies at temperatures ranging from 300 to 3,000 K and pressures up to 130 GPa. Our results indicate that CaPv exhibits a single cubic phase throughout lower-mantle conditions. This suggests that the phase diagram proposed by Thomson et al. requires revision, and mid-mantle seismic anomalies are likely attributable to other mechanisms.


title: Enhancing Diagnostic Accuracy through Multi-Agent Conversations: Using Large Language Models to Mitigate Cognitive Bias

abstract: Background: Cognitive biases in clinical decision-making significantly contribute to errors in diagnosis and suboptimal patient outcomes. Addressing these biases presents a formidable challenge in the medical field. Objective: This study explores the role of large language models (LLMs) in mitigating these biases through the utilization of a multi-agent framework. We simulate the clinical decision-making processes through multi-agent conversation and evaluate its efficacy in improving diagnostic accuracy. Methods: A total of 16 published and unpublished case reports where cognitive biases have resulted in misdiagnoses were identified from the literature. In the multi-agent framework, we leveraged GPT-4 to facilitate interactions among four simulated agents to replicate clinical team dynamics. Each agent has a distinct role: 1) To make the final diagnosis after considering the discussions, 2) The devil's advocate and correct confirmation and anchoring bias, 3) The tutor and facilitator of the discussion to reduce premature closure bias, and 4) To record and summarize the findings. A total of 80 simulations were evaluated for the accuracy of initial diagnosis, top differential diagnosis and final two differential diagnoses. Results: In a total of 80 responses evaluating both initial and final diagnoses, the initial diagnosis had an accuracy of 0% (0/80), but following multi-agent discussions, the accuracy for the top differential diagnosis increased to 71.3% (57/80), and for the final two differential diagnoses, to 80.0% (64/80). Conclusions: The framework demonstrated an ability to re-evaluate and correct misconceptions, even in scenarios with misleading initial investigations. The LLM-driven multi-agent conversation framework shows promise in enhancing diagnostic accuracy in diagnostically challenging medical scenarios.


title: The forb-flex method for odd coloring and proper conflict-free coloring of planar graphs

abstract: We introduce a new tool useful for greedy coloring, which we call the forb-flex method, and apply it to odd coloring and proper conflict-free coloring of planar graphs. The odd chromatic number, denoted $\chi_{\mathsf{o}}(G)$, is the smallest number of colors needed to properly color $G$ such that every non-isolated vertex of $G$ has a color appearing an odd number of times in its neighborhood. The proper conflict-free chromatic number, denoted $\chi_{\mathsf{PCF}}(G)$, is the smallest number of colors needed to properly color $G$ such that every non-isolated vertex of $G$ has a color appearing uniquely in its neighborhood. Our new tool works by carefully counting the structures in the neighborhood of a vertex and determining if a neighbor of a vertex can be recolored at the end of a greedy coloring process to avoid conflicts. Combining this with the discharging method allows us to prove $\chi_{\mathsf{PCF}}(G) \leq 4$ for planar graphs of girth at least 11, and $\chi_{\mathsf{o}}(G) \leq 4$ for planar graphs of girth at least 10. These results improve upon the recent works of Cho, Choi, Kwon, and Park.


title: Ricci flow-guided autoencoders in learning time-dependent dynamics

abstract: We present a manifold-based autoencoder method for learning dynamics in time, notably partial differential equations (PDEs), in which the manifold latent space evolves according to Ricci flow. This can be accomplished by simulating Ricci flow in a physics-informed setting, and manifold quantities can be matched so that Ricci flow is empirically achieved. With our method, the manifold is discerned through the training procedure, while the latent evolution due to Ricci flow induces a more accommodating representation over static methods. We present our method on a range of experiments consisting of PDE data that encompasses desirable characteristics such as periodicity and randomness. The dynamical manifold latent space facilitates qualities such as learning for out-of-distribution data, and robustness. We showcase our method by demonstrating these features.


title: Multilayer Simplex-structured Matrix Factorization for Hyperspectral Unmixing with Endmember Variability

abstract: Given a hyperspectral image, the problem of hyperspectral unmixing (HU) is to identify the endmembers (or materials) and the abundance (or endmembers' contributions on pixels) that underlie the image. HU can be seen as a matrix factorization problem with a simplex structure in the abundance matrix factor. In practice, hyperspectral images may exhibit endmember variability (EV) effects -- the endmember matrix factor varies from one pixel to another. In this paper we consider a multilayer simplex-structured matrix factorization model to account for the EV effects. Our multilayer model is based on the postulate that if we arrange the varied endmembers as an expanded endmember matrix, that matrix exhibits a low-rank structure. A variational inference-based maximum-likelihood estimation method is employed to tackle the multilayer factorization problem. Simulation results are provided to demonstrate the performance of our multilayer factorization method.


title: Robust Estimation of the Tail Index of a Single Parameter Pareto Distribution from Grouped Data

abstract: Numerous robust estimators exist as alternatives to the maximum likelihood estimator (MLE) when a completely observed ground-up loss severity sample dataset is available. However, the options for robust alternatives to MLE become significantly limited when dealing with grouped loss severity data, with only a handful of methods like least squares, minimum Hellinger distance, and optimal bounded influence function available. This paper introduces a novel robust estimation technique, the Method of Truncated Moments (MTuM), specifically designed to estimate the tail index of a Pareto distribution from grouped data. Inferential justification of MTuM is established by employing the central limit theorem and validating them through a comprehensive simulation study.

categories: stat.ME math.ST q-fin.RM stat.CO stat.ML stat.TH


title: Shift-Interleave Coding for DNA-Based Storage: Correction of IDS Errors and Sequence Losses

abstract: We propose a novel coding scheme for DNA-based storage systems, called the shift-interleave (SI) coding, designed to correct insertion, deletion, and substitution (IDS) errors, as well as sequence losses. The SI coding scheme employs multiple codewords from two binary low-density parity-check codes. These codewords are processed to form DNA base sequences through shifting, bit-to-base mapping, and interleaving. At the receiver side, an efficient non-iterative detection and decoding scheme is employed to sequentially estimate codewords. The numerical results demonstrate the excellent performance of the SI coding scheme in correcting both IDS errors and sequence losses.


title: Recency Ranking by Diversification of Result Set

abstract: In this paper, we propose a web search retrieval approach which automatically detects recency sensitive queries and increases the freshness of the ordinary document ranking by a degree proportional to the probability of the need in recent content. We propose to solve the recency ranking problem by using result diversification principles and deal with the query's non-topical ambiguity appearing when the need in recent content can be detected only with uncertainty. Our offline and online experiments with millions of queries from real search engine users demonstrate the significant increase in satisfaction of users presented with a search result generated by our approach.


title: Sparse factorization of the square all-ones matrix of arbitrary order

abstract: In this paper, we study sparse factorization of the (scaled) square all-ones matrix $J$ of arbitrary order. We introduce the concept of hierarchically banded matrices and propose two types of hierarchically banded factorization of $J$: the reduced hierarchically banded (RHB) factorization and the doubly stochastic hierarchically banded (DSHB) factorization. Based on the DSHB factorization, we propose the sequential doubly stochastic (SDS) factorization, in which~$J$ is decomposed as a product of sparse, doubly stochastic matrices. Finally, we discuss the application of the proposed sparse factorizations to the decentralized average consensus problem and decentralized optimization.


title: Superconducting flux qubit with ferromagnetic Josephson pi junction operating at zero magnetic field

abstract: The operation of a conventional superconducting flux qubit requires the application of a precisely tuned magnetic field to set the operation point at half a flux quantum through the qubit loop, which makes the scaling of quantum circuits based on this type of qubits difficult. It has been proposed that, by inducing a pi phase shift in the superconducting order parameter using a precisely controlled nanoscale-thickness superconductor/ferromagnet/superconductor Josephson junction, commonly referred to as pi-junction, it is possible to realize a flux qubit operating at zero magnetic flux. We report the realization of a zero-flux-biased flux qubit based on three NbN/AlN/NbN Josephson junctions and a NbN/PdNi/NbN ferromagnetic pi-junction. The qubit lifetime is in the microsecond range, which we argue is limited by quasiparticle excitations in the metallic ferromagnet layer. With further improvements in the materials of the ferromagnetic junction, the zero-flux-biased flux qubits can become a promising platform for quantum computing.


title: Generically Computable Linear Orderings

abstract: We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $\Sigma_\beta$ hierarchy. We focus on linear orderings. We show that at the $\Sigma_1$ level all linear orderings have both generically and coarsely computable copies. This behavior changes abruptly at higher levels; we show that at the $\Sigma_{\alpha+2}$ level for any $\alpha\in\omega_1^{ck}$ the set of linear orderings with generically or coarsely computable copies is $\mathbf{\Sigma}_1^1$-complete and therefore maximally complicated. This development is new even in the general analysis of generic and coarse computability of countable structures. In the process of proving these results we introduce new tools for understanding generically and coarsely computable structures. We are able to give a purely structural statement that is equivalent to having a generically computable copy and show that every relational structure with only finitely many relations has coarsely and generically computable copies at the lowest level of the hierarchy.


title: Gluon distributions and mass decompositions of the pion and kaon

abstract: We present the gluon distribution functions of pion and kaon in small-$x$ and large-$x$ regions, and compare them with the results obtained from lattice QCD and continuum Schwinger function methods. Whether in the small-$x$ region or the large-$x$ region, our gluon distribution of pion is consistent with the results of lattice QCD and continuum Schwinger function method. In addition, the first four moments of gluon distributions of pion and kaon at different $Q^{2}$ scales are calculated. Furthermore, we present the mass decompositions of pion and kaon with the dynamical parton distribution functions calculated by the DGLAP equation with parton-parton recombination corrections. The mass structures of pion and kaon are totally different from that of the proton.


title: Cicho\'n's maximum with evasion number

abstract: We show that the evasion number $\mathfrak{e}$ can be added to Cicho\'n's maximum with a distinct value. More specifically, it is consistent that $\aleph_1<\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{b}<\mathfrak{e}<\mathrm{non}(\mathcal{M})<\mathrm{cov}(\mathcal{M})<\mathfrak{d}<\mathrm{non}(\mathcal{N})<\mathrm{cof}(\mathcal{N})<2^{\aleph_0}$ holds.


title: A stabilizer free weak Galerkin method with implicit $\theta$-schemes for fourth order parabolic problems

abstract: In this paper, we combine the stabilizer free weak Galerkin (SFWG) method and the implicit $\theta$-schemes in time for $\theta\in [\frac{1}{2},1]$ to solve the fourth-order parabolic problem. In particular, when $\theta =1$, the full-discrete scheme is first-order backward Euler and the scheme is second-order Crank Nicolson scheme if $\theta =\frac{1}{2}$. Next, we analyze the well-posedness of the schemes and deduce the optimal convergence orders of the error in the $H^2$ and $L^2$ norms. Finally, numerical examples confirm the theoretical results.


title: Numerical analysis of a first-order computational algorithm for reaction-diffusion equations via the primal-dual hybrid gradient method

abstract: In arXiv:2305.03945 [math.NA], a first-order optimization algorithm has been introduced to solve time-implicit schemes of reaction-diffusion equations. In this research, we conduct theoretical studies on this first-order algorithm equipped with a quadratic regularization term. We provide sufficient conditions under which the proposed algorithm and its time-continuous limit converge exponentially fast to a desired time-implicit numerical solution. We show both theoretically and numerically that the convergence rate is independent of the grid size, which makes our method suitable for large-scale problems. The efficiency of our algorithm has been verified via a series of numerical examples conducted on various types of reaction-diffusion equations. The choice of optimal hyperparameters as well as comparisons with some classical root-finding algorithms are also discussed in the numerical section.


title: Luminosity Functions of the Host Galaxies of Supernova

abstract: We present the luminosity functions and stellar mass functions of supernova (SN) host galaxies and test if they differ from the functions of normal field galaxies. We utilize homogeneous samples consisting of 273 SNe Ia ($z\leq0.3$) and 44 core-collapse (CC) SNe ($z \leq 0.1$) from the Sloan Digital Sky Survey (SDSS) II Supernova Survey and the high-signal-to-noise-ratio photometry of galaxies from the Hyper Suprime-Cam Subaru Strategic Program (HSC SSP). SN hosts are classified into star-forming and passive galaxy groups based on the spectral energy distribution (SED) fitting. We find that the SN host luminosity functions and stellar mass functions deviate from those of normal field galaxies. Star-forming galaxies dominate the low-mass end of the SN Ia host mass function, while passive galaxies dominate the high-mass end. CC SNe are predominantly hosted by star-forming galaxies. In addition, intermediate-mass hosts produce CC SNe with the highest efficiency, while the efficiency of producing SNe Ia monotonically increases as the hosts become more massive. Furthermore, We derive the pseudo mass normalized SN rates (pSNuM) based on the mass functions. We find that the star-forming component of pSNuM$_{Ia}$ is less sensitive to the changes in stellar mass, in comparison with the total rate. The behavior of pSNuM$_{CC}$ suggests that the CC rate is proportional to the star-forming rate.


title: Effects of Magnetic Helicity on 3D Equilibria and Self-Organized States in KTX Reversed Field Pinch

abstract: The RFP is a toroidal magnetic configuration in which plasmas can spontaneously transform into different self-organized states. Among various states, the QSH state has a dominant component for the magnetic field and significantly improves confinement. Many theoretical and experimental efforts have investigated the transitions among different states. This paper employs the MRxMHD model to study the properties of QSH and other states. The SPEC is used to compute MHD equilibria for the KTX. The toroidal volume of KTX is partitioned into two subvolumes by an internal transport barrier. The geometry of this barrier is adjusted to achieve force balance across the interface, ensuring that the plasma in each subvolume is force-free and that magnetic helicity is conserved. By varying the parameters, we generate distinct self-organized states in KTX. Our findings highlight the crucial role of magnetic helicity in shaping these states. In states with low magnetic helicity in both subvolumes, the plasma exhibits axisymmetric behavior. With increasing core helicity, the plasma gradually transforms from an axisymmetric state to a double-axis helical state and finally to a single-helical-axis state. Elevated core magnetic helicity leads to a more pronounced dominant mode of the boundary magnetic field and a reduced core magnetic shear. This is consistent with previous experimental and numerical results in other RFP devices. We find a linear relationship between the plasma current and helicity in different self-organized states. Our findings suggest that KTX may enter the QSH state when the toroidal current reaches 0.72 MA. This study demonstrates that the stellarator equilibrium code SPEC unveils crucial RFP equilibrium properties, rendering it applicable to a broad range of RFP devices and other toroidal configurations.


title: The Borel Ramsey properties for countable Borel equivalence relations

abstract: We define some natural notions of strong and weak Borel Ramsey properties for countable Borel equivalence relations and show that they hold for a countable Borel equivalence relation if and only if the equivalence relation is smooth. We also consider some variation of the notion for hyperfinite non-smooth Borel equivalence relations.


title: Challenging Low Homophily in Social Recommendation

abstract: Social relations are leveraged to tackle the sparsity issue of user-item interaction data in recommendation under the assumption of social homophily. However, social recommendation paradigms predominantly focus on homophily based on user preferences. While social information can enhance recommendations, its alignment with user preferences is not guaranteed, thereby posing the risk of introducing informational redundancy. We empirically discover that social graphs in real recommendation data exhibit low preference-aware homophily, which limits the effect of social recommendation models. To comprehensively extract preference-aware homophily information latent in the social graph, we propose Social Heterophily-alleviating Rewiring (SHaRe), a data-centric framework for enhancing existing graph-based social recommendation models. We adopt Graph Rewiring technique to capture and add highly homophilic social relations, and cut low homophilic (or heterophilic) relations. To better refine the user representations from reliable social relations, we integrate a contrastive learning method into the training of SHaRe, aiming to calibrate the user representations for enhancing the result of Graph Rewiring. Experiments on real-world datasets show that the proposed framework not only exhibits enhanced performances across varying homophily ratios but also improves the performance of existing state-of-the-art (SOTA) social recommendation models.


title: Assembling a Multi-Platform Ensemble Social Bot Detector with Applications to US 2020 Elections

abstract: Bots have been in the spotlight for many social media studies, for they have been observed to be participating in the manipulation of information and opinions on social media. These studies analyzed the activity and influence of bots in a variety of contexts: elections, protests, health communication and so forth. Prior to this analyses is the identification of bot accounts to segregate the class of social media users. In this work, we propose an ensemble method for bot detection, designing a multi-platform bot detection architecture to handle several problems along the bot detection pipeline: incomplete data input, minimal feature engineering, optimized classifiers for each data field, and also eliminate the need for a threshold value for classification determination. With these design decisions, we generalize our bot detection framework across Twitter, Reddit and Instagram. We also perform feature importance analysis, observing that the entropy of names and number of interactions (retweets/shares) are important factors in bot determination. Finally, we apply our multi-platform bot detector to the US 2020 presidential elections to identify and analyze bot activity across multiple social media platforms, showcasing the difference in online discourse of bots from different platforms.


title: Deliberate Exposure to Opposing Views and its Association with Behavior and Rewards on Political Communities

abstract: Engaging with diverse political views is important for reaching better collective decisions, however, users online tend to remain confined within ideologically homogeneous spaces. In this work, we study users who are members of these spaces but who also show a willingness to engage with diverse views, as they have the potential to introduce more informational diversity into their communities. Across four Reddit communities (r/Conservative, r/The_Donald, r/ChapoTrapHouse, r/SandersForPresident), we find that these users tend to use less hostile and more advanced and personable language, but receive fewer social rewards from their peers compared to others. We also find that social sanctions on the discussion community r/changemyview are insufficient to drive them out in the short term, though they may play a role over the longer term.


title: Physically Informed Synchronic-adaptive Learning for Industrial Systems Modeling in Heterogeneous Media with Unavailable Time-varying Interface

abstract: Partial differential equations (PDEs) are commonly employed to model complex industrial systems characterized by multivariable dependence. Existing physics-informed neural networks (PINNs) excel in solving PDEs in a homogeneous medium. However, their feasibility is diminished when PDE parameters are unknown due to a lack of physical attributions and time-varying interface is unavailable arising from heterogeneous media. To this end, we propose a data-physics-hybrid method, physically informed synchronic-adaptive learning (PISAL), to solve PDEs for industrial systems modeling in heterogeneous media. First, Net1, Net2, and NetI, are constructed to approximate the solutions satisfying PDEs and the interface. Net1 and Net2 are utilized to synchronously learn each solution satisfying PDEs with diverse parameters, while NetI is employed to adaptively learn the unavailable time-varying interface. Then, a criterion combined with NetI is introduced to adaptively distinguish the attributions of measurements and collocation points. Furthermore, NetI is integrated into a data-physics-hybrid loss function. Accordingly, a synchronic-adaptive learning (SAL) strategy is proposed to decompose and optimize each subdomain. Besides, we theoretically prove the approximation capability of PISAL. Extensive experimental results verify that the proposed PISAL can be used for industrial systems modeling in heterogeneous media, which faces the challenges of lack of physical attributions and unavailable time-varying interface.


title: On a conjecture of E\v{g}ecio\v{g}lu and Ir\v{s}i\v{c}

abstract: In 2021, {\"O}. E\v{g}ecio\v{g}lu, V. Ir\v{s}i\v{c} introduced the concept of Fibonacci-run graph $\mathcal{R}_{n}$ as an induced subgraph of Hypercube. They conjectured that the diameter of $\mathcal{R}_{n}$ is given by $n-\lfloor(1+\frac{n}{2})^{\frac{1}{2}}-\frac{3}{4}\rfloor$. In this paper, we introduce the novel concept of distance-barriers between vertices in $\mathcal{R}_{n}$ and provide an elegant method to give lower bound for the diameter of $\mathcal{R}_{n}$ via distance-barriers. By constructing different types of distance-barriers, we show that the conjecture does not hold for all $n\geq 230$ and some of $n$ between $91$ and $229$. Furthermore, lower bounds for the diameter of some Fibonacci-run graphs are obtained, which turn out to be better than the result given in the conjecture.


title: Hybrid Message Passing-Based Detectors for Uplink Grant-Free NOMA Systems

abstract: This paper studies improving the detector performance which considers the activity state (AS) temporal correlation of the user equipments (UEs) in the time domain under the uplink grant-free non-orthogonal multiple access (GF-NOMA) system. The Bernoulli Gaussian-Markov chain (BG-MC) probability model is used for exploiting both the sparsity and slow change characteristic of the AS of the UE. The GAMP Bernoulli Gaussian-Markov chain (GAMP-BG-MC) algorithm is proposed to improve the detector performance, which can utilize the bidirectional message passing between the neighboring time slots to fully exploit the temporally-correlated AS of the UE. Furthermore, the parameters of the BG-MC model can be updated adaptively during the estimation procedure with unknown system statistics. Simulation results show that the proposed algorithm can improve the detection accuracy compared with the existing methods while keeping the same order complexity.


title: On Inhomogeneous Infinite Products of Stochastic Matrices and Applications

abstract: With the growth of magnitude of multi-agent networks, distributed optimization holds considerable significance within complex systems. Convergence, a pivotal goal in this domain, is contingent upon the analysis of infinite products of stochastic matrices (IPSMs). In this work, convergence properties of inhomogeneous IPSMs are investigated. The convergence rate of inhomogeneous IPSMs towards an absolute probability sequence $\pi$ is derived. We also show that the convergence rate is nearly exponential, which coincides with existing results on ergodic chains. The methodology employed relies on delineating the interrelations among Sarymsakov matrices, scrambling matrices, and positive-column matrices. Based on the theoretical results on inhomogeneous IPSMs, we propose a decentralized projected subgradient method for time-varying multi-agent systems with graph-related stretches in (sub)gradient descent directions. The convergence of the proposed method is established for convex objective functions, and extended to non-convex objectives that satisfy Polyak-Lojasiewicz conditions. To corroborate the theoretical findings, we conduct numerical simulations, aligning the outcomes with the established theoretical framework.


title: Multiplayer General Lotto game

abstract: In this paper, we explore the multiplayer General Lotto Blotto game over a single battlefield, a notable variant of the Colonel Blotto game. In this version, each player employs a probability distribution for resource allocation, ensuring that the expected expenditure does not surpass their budget. We first establish the existence of a Nash equilibrium for a modified version of this game, in which there is a common threshold that no player's bid can exceed. We next extend our findings to demonstrate the existence of a Nash equilibrium in the original game, which does not incorporate this threshold. Moreover, we provide detailed characterizations of the Nash equilibrium for both the original game and its modified version. In the Nash equilibrium of the unmodified game, we observe that the upper endpoints of the supports of players' equilibrium strategies coincide, and the minimum value of a player's support above zero inversely correlates with their budget. Specifically, we present closed-form solutions for the Nash equilibrium with threshold for two players.


title: Feature Allocation for Semantic Communication with Space-Time Importance Awareness

abstract: In the realm of semantic communication, the significance of encoded features can vary, while wireless channels are known to exhibit fluctuations across multiple subchannels in different domains. Consequently, critical features may traverse subchannels with poor states, resulting in performance degradation. To tackle this challenge, we introduce a framework called Feature Allocation for Semantic Transmission (FAST), which offers adaptability to channel fluctuations across both spatial and temporal domains. In particular, an importance evaluator is first developed to assess the importance of various features. In the temporal domain, channel prediction is utilized to estimate future channel state information (CSI). Subsequently, feature allocation is implemented by assigning suitable transmission time slots to different features. Furthermore, we extend FAST to the space-time domain, considering two common scenarios: precoding-free and precoding-based multiple-input multiple-output (MIMO) systems. An important attribute of FAST is its versatility, requiring no intricate fine-tuning. Simulation results demonstrate that this approach significantly enhances the performance of semantic communication systems in image transmission. It retains its superiority even when faced with substantial changes in system configuration.


title: Multi-scale self-similar finite-time blowups of the Constantin-Lax-Majda model for the 3D Euler equations

abstract: We construct a new class of asymptotically self-similar finite-time blowups that have two collapsing spatial scales for the 1D Constantin-Lax-Majda model. The larger spatial scale measures the decreasing distance between the bulk of the solution and the eventual blowup point, while the smaller scale measures the shrinking size of the bulk of the solution. Similar multi-scale blowup phenomena have recently been discovered for many higher dimensional equations. Our study may provide some understanding of the common mechanism behind these multi-scale blowups.


title: Alternative Speech: Complementary Method to Counter-Narrative for Better Discourse

abstract: We introduce the concept of "Alternative Speech" as a new way to directly combat hate speech and complement the limitations of counter-narrative. An alternative speech provides practical alternatives to hate speech in real-world scenarios by offering speech-level corrections to speakers while considering the surrounding context and promoting speakers to reform. Further, an alternative speech can combat hate speech alongside counter-narratives, offering a useful tool to address social issues such as racial discrimination and gender inequality. We propose the new concept and provide detailed guidelines for constructing the necessary dataset. Through discussion, we demonstrate that combining alternative speech and counter-narrative can be a more effective strategy for combating hate speech by complementing specificity and guiding capacity of counter-narrative. This paper presents another perspective for dealing with hate speech, offering viable remedies to complement the constraints of current approaches to mitigating harmful bias.


title: A Systematic Literature Review on Explainability for Machine/Deep Learning-based Software Engineering Research

abstract: The remarkable achievements of Artificial Intelligence (AI) algorithms, particularly in Machine Learning (ML) and Deep Learning (DL), have fueled their extensive deployment across multiple sectors, including Software Engineering (SE). However, due to their black-box nature, these promising AI-driven SE models are still far from being deployed in practice. This lack of explainability poses unwanted risks for their applications in critical tasks, such as vulnerability detection, where decision-making transparency is of paramount importance. This paper endeavors to elucidate this interdisciplinary domain by presenting a systematic literature review of approaches that aim to improve the explainability of AI models within the context of SE. The review canvasses work appearing in the most prominent SE & AI conferences and journals, and spans 63 papers across 21 unique SE tasks. Based on three key Research Questions (RQs), we aim to (1) summarize the SE tasks where XAI techniques have shown success to date; (2) classify and analyze different XAI techniques; and (3) investigate existing evaluation approaches. Based on our findings, we identified a set of challenges remaining to be addressed in existing studies, together with a roadmap highlighting potential opportunities we deemed appropriate and important for future work.


title: Strongly minimal group relics of algebraically closed valued fields

abstract: We prove Zilber's trichotomy for reducts of ACVF expanding $(K,+)$ or $(K^*, \cdot)$.


title: Resilient Practical Test-Time Adaptation: Soft Batch Normalization Alignment and Entropy-driven Memory Bank

abstract: Test-time domain adaptation effectively adjusts the source domain model to accommodate unseen domain shifts in a target domain during inference. However, the model performance can be significantly impaired by continuous distribution changes in the target domain and non-independent and identically distributed (non-i.i.d.) test samples often encountered in practical scenarios. While existing memory bank methodologies use memory to store samples and mitigate non-i.i.d. effects, they do not inherently prevent potential model degradation. To address this issue, we propose a resilient practical test-time adaptation (ResiTTA) method focused on parameter resilience and data quality. Specifically, we develop a resilient batch normalization with estimation on normalization statistics and soft alignments to mitigate overfitting and model degradation. We use an entropy-driven memory bank that accounts for timeliness, the persistence of over-confident samples, and sample uncertainty for high-quality data in adaptation. Our framework periodically adapts the source domain model using a teacher-student model through a self-training loss on the memory samples, incorporating soft alignment losses on batch normalization. We empirically validate ResiTTA across various benchmark datasets, demonstrating state-of-the-art performance.


title: A RISC-V SOC for Terahertz IoT Devices: Implementation and design challenges

abstract: Terahertz (THz) communication is considered a viable approach to augmenting the communication capacity of prospective Internet-of-Things (IoT) resulting in enhanced spectral efficiency. This study first provides an outline of the design challenges encountered in developing THz transceivers. This paper introduces advanced approaches and a unique methodology known as Modified Pulse-width Modulation (MPWM) to address the issues in the THz domain. In this situation involving a transceiver that handles complex modulation schemes, the presence of a mixed signal through a high-resolution digital-to-analog converter (DAC) in the transmitter greatly contributes to the limitation in maintaining linearity at high frequencies. The utilization of Pulse-width Modulation-based Digital-to-Analog Converters (PWM-DACs) has garnered significant attention among scholars due to its efficiency and affordability. However, the converters' performance is restricted by insufficient conversion speed and precision, especially in the context of high-resolution, high-order modulation schemes for THz wireless communications. The MPWM framework offers a multitude of adjustable options, rendering the final MPWM-DAC highly adaptable for a diverse array of application scenarios. Comparative performance assessments indicate that MPWM-DACs have enhanced conversion speed compared to standard PWM-DACs, and they also provide greater accuracy in comparison to Pulse-count Modulation DACs (PCM-DACs). The study presents a comprehensive examination of the core principles, spectrum characteristics, and evaluation metrics, as well as the development and experimental validation of the MPWM method. Furthermore, we present a RISC-V System-on-Chip (SoC) that incorporates an MPWM-DAC, offering a highly favorable resolution for THz IoT communications.


title: Is equivalence principle valid for quantum gravitational field?

abstract: Entanglement can be generated through the gravitational interaction between two massive bodies that are initially in a product state. This shows that the gravitational field is quantum. When the third massive body is introduced and the gravitational interaction only between the third body with either one of the former two bodies is considered, we find that no entanglement is generated between the former two bodies up to the monopole approximation, even though the considered gravitational interaction is quantum. This resembles the behavior of two accelerating two-level atoms that is usually regarded as the Unruh-DeWitt detectors. By linking the acceleration to that generated by the gravitational field, we show that the equivalence principle is still valid even though the gravitational field is quantum.


title: Empirical Risk-aware Machine Learning on Trojan-Horse Detection for Trusted Quantum Key Distribution Networks

abstract: Quantum key distribution (QKD) is a cryptographic technique that leverages principles of quantum mechanics to offer extremely high levels of data security during transmission. It is well acknowledged for its capacity to accomplish provable security. However, the existence of a gap between theoretical concepts and practical implementation has raised concerns about the trustworthiness of QKD networks. In order to mitigate this disparity, we propose the implementation of risk-aware machine learning techniques that present risk analysis for Trojan-horse attacks over the time-variant quantum channel. The trust condition presented in this study aims to evaluate the offline assessment of safety assurance by comparing the risk levels between the recommended safety borderline. This assessment is based on the risk analysis conducted. Furthermore, the proposed trustworthy QKD scenario demonstrates its numerical findings with the assistance of a state-of-the-art point-to-point QKD device, which operates over optical quantum channels spanning distances of 1m, 1km, and 30km. Based on the results from the experimental evaluation of a 30km optical connection, it can be concluded that the QKD device provided prior information to the proposed learner during the non-existence of Eve's attack. According to the optimal classifier, the defensive gate offered by our learner possesses the capability to identify any latent Eve attacks, hence effectively mitigating the risk of potential vulnerabilities. The Eve detection probability is provably bound for our trustworthy QKD scenario.


title: Structure in Communication Complexity and Constant-Cost Complexity Classes

abstract: Several theorems and conjectures in communication complexity state or speculate that the complexity of a matrix in a given communication model is controlled by a related analytic or algebraic matrix parameter, e.g., rank, sign-rank, discrepancy, etc. The forward direction is typically easy as the structural implications of small complexity often imply a bound on some matrix parameter. The challenge lies in establishing the reverse direction, which requires understanding the structure of Boolean matrices for which a given matrix parameter is small or large. We will discuss several research directions that align with this overarching theme.


title: Query of CC: Unearthing Large Scale Domain-Specific Knowledge from Public Corpora

abstract: Large language models have demonstrated remarkable potential in various tasks, however, there remains a significant scarcity of open-source models and data for specific domains. Previous works have primarily focused on manually specifying resources and collecting high-quality data on specific domains, which significantly consume time and effort. To address this limitation, we propose an efficient data collection method $\textit{Query of CC}$ based on large language models. This method bootstraps seed information through a large language model and retrieves related data from public corpora. It not only collects knowledge-related data for specific domains but unearths the data with potential reasoning procedures. Through the application of this method, we have curated a high-quality dataset called KNOWLEDGE PILE, encompassing four major domains, including stem and humanities sciences, among others. Experimental results demonstrate that KNOWLEDGE PILE significantly improves the performance of large language models in mathematical and knowledge-related reasoning ability tests. To facilitate academic sharing, we open-source our dataset and code, providing valuable support to the academic community.


title: Toward Practical Automatic Speech Recognition and Post-Processing: a Call for Explainable Error Benchmark Guideline

abstract: Automatic speech recognition (ASR) outcomes serve as input for downstream tasks, substantially impacting the satisfaction level of end-users. Hence, the diagnosis and enhancement of the vulnerabilities present in the ASR model bear significant importance. However, traditional evaluation methodologies of ASR systems generate a singular, composite quantitative metric, which fails to provide comprehensive insight into specific vulnerabilities. This lack of detail extends to the post-processing stage, resulting in further obfuscation of potential weaknesses. Despite an ASR model's ability to recognize utterances accurately, subpar readability can negatively affect user satisfaction, giving rise to a trade-off between recognition accuracy and user-friendliness. To effectively address this, it is imperative to consider both the speech-level, crucial for recognition accuracy, and the text-level, critical for user-friendliness. Consequently, we propose the development of an Error Explainable Benchmark (EEB) dataset. This dataset, while considering both speech- and text-level, enables a granular understanding of the model's shortcomings. Our proposition provides a structured pathway for a more `real-world-centric' evaluation, a marked shift away from abstracted, traditional methods, allowing for the detection and rectification of nuanced system weaknesses, ultimately aiming for an improved user experience.