title: All but One: Surgical Concept Erasing with Model Preservation in Text-to-Image Diffusion Models

abstract: Text-to-Image models such as Stable Diffusion have shown impressive image generation synthesis, thanks to the utilization of large-scale datasets. However, these datasets may contain sexually explicit, copyrighted, or undesirable content, which allows the model to directly generate them. Given that retraining these large models on individual concept deletion requests is infeasible, fine-tuning algorithms have been developed to tackle concept erasing in diffusion models. While these algorithms yield good concept erasure, they all present one of the following issues: 1) the corrupted feature space yields synthesis of disintegrated objects, 2) the initially synthesized content undergoes a divergence in both spatial structure and semantics in the generated images, and 3) sub-optimal training updates heighten the model's susceptibility to utility harm. These issues severely degrade the original utility of generative models. In this work, we present a new approach that solves all of these challenges. We take inspiration from the concept of classifier guidance and propose a surgical update on the classifier guidance term while constraining the drift of the unconditional score term. Furthermore, our algorithm empowers the user to select an alternative to the erasing concept, allowing for more controllability. Our experimental results show that our algorithm not only erases the target concept effectively but also preserves the model's generation capability.


title: Enhancing Consistency in Multimodal Dialogue System Using LLM with Dialogue Scenario

abstract: This paper describes our dialogue system submitted to Dialogue Robot Competition 2023. The system's task is to help a user at a travel agency decide on a plan for visiting two sightseeing spots in Kyoto City that satisfy the user. Our dialogue system is flexible and stable and responds to user requirements by controlling dialogue flow according to dialogue scenarios. We also improved user satisfaction by introducing motion and speech control based on system utterances and user situations. In the preliminary round, our system was ranked fifth in the impression evaluation and sixth in the plan evaluation among all 12 teams.


title: Gecko: Automated Feature Degradation for Cloud Resilience

abstract: Cloud resilience is crucial for cloud operators and the myriad of applications that rely on the cloud. Today, we lack a mechanism that allows cloud operators to gracefully degrade application performance in public clouds. In this paper, we put forward a vision for automated feature degradation with a three-pronged approach. First, we introduce the idea of diagonal scaling -- pruning an application's dependency graphs during capacity crunch scenarios -- to maximize the availability of critical services. Second, we propose the use of simple and expressive Criticality Tags on microservices to convey an application developer's resilience intent to the cloud provider without any application modifications. Third, we design Gecko, an automated cloud resilience management system that maximizes critical service availability of applications while also taking into account operator objectives, thereby improving the overall resilience of the infrastructure during failures. Using extensive experiments, we show that the Gecko controller running atop Kubernetes can maximize the overall resilience of applications and infrastructure under a broad range of failure scenarios. We also demonstrate that diagonal scaling with Gecko aligns well with microservice architecture using experiments with a real-world application.


title: Unconstrained Dysfluency Modeling for Dysfluent Speech Transcription and Detection

abstract: Dysfluent speech modeling requires time-accurate and silence-aware transcription at both the word-level and phonetic-level. However, current research in dysfluency modeling primarily focuses on either transcription or detection, and the performance of each aspect remains limited. In this work, we present an unconstrained dysfluency modeling (UDM) approach that addresses both transcription and detection in an automatic and hierarchical manner. UDM eliminates the need for extensive manual annotation by providing a comprehensive solution. Furthermore, we introduce a simulated dysfluent dataset called VCTK++ to enhance the capabilities of UDM in phonetic transcription. Our experimental results demonstrate the effectiveness and robustness of our proposed methods in both transcription and detection tasks.


title: Graph-Based Generalization of Galam Model: Convergence Time and Influential Nodes

abstract: We study a graph-based generalization of the Galam opinion formation model. Consider a simple connected graph which represents a social network. Each node in the graph is colored either blue or white, which indicates a positive or negative opinion on a new product or a topic. In each discrete-time round, all nodes are assigned randomly to groups of different sizes, where the node(s) in each group form a clique in the underlying graph. All the nodes simultaneously update their color to the majority color in their group. If there is a tie, each node in the group chooses one of the two colors uniformly at random. Investigating the convergence time of the model, our experiments show that the convergence time is a logarithm function of the number of nodes for a complete graph and a quadratic function for a cycle graph. We also study the various strategies for selecting a set of seed nodes to maximize the final cascade of one of the two colors, motivated by viral marketing. We consider the algorithms where the seed nodes are selected based on the graph structure (nodes' centrality measures such as degree, betweenness, and closeness) and the individual's characteristics (activeness and stubbornness). We provide a comparison of such strategies by conducting experiments on different real-world and synthetic networks.


title: Long term variability of light-pollution in Bisei Town

abstract: Bisei town, located in the west part of Japan, is known as a place where the local community protects its beautiful night sky from light pollution through its unique ordinances and the efforts of the local residents. It is also important to monitor in the quantity and quality of light pollution for precise measurement of astronomical observations. The fluorescent lamps in the city were gradually replaced with light emitting diode (LED) lamps. In order to investigate how much light pollution is affecting astronomical observation, we analyzed the archival photometric and spectroscopic data taken by the 101cm telescope that has been installed at Bisei Astronomical Observatory (BAO) since 2006. As a result, we found that there is no significant variability in sky brightness in optical bands, but from spectroscopic observation, we observed a blue humps around 4500 \AA originating from LED lights from 2017 to 2023. The brightness of light pollution observed at BAO is not varied but the origin of light has gradually changed from fluorescent lamps to LED lamps.


title: Selecting Source Code Generation Tools Based on Bandit Algorithms

abstract: Background: Recently, code generation tools such as ChatGPT have drawn attention to their performance. Generally, a prior analysis of their performance is needed to select new code-generation tools from a list of candidates. Without such analysis, there is a higher risk of selecting an ineffective tool, negatively affecting software development productivity. Additionally, conducting prior analysis of new code generation tools takes time and effort. Aim: To use a new code generation tool without prior analysis but with low risk, we propose to evaluate the new tools during software development (i.e., online optimization). Method: We apply the bandit algorithm (BA) approach to help select the best code-generation tool among candidates. Developers evaluate whether the result of the tool is correct or not. When code generation and evaluation are repeated, the evaluation results are saved. We utilize the stored evaluation results to select the best tool based on the BA approach. Our preliminary analysis evaluated five code generation tools with 164 code generation cases using BA. Result: The BA approach selected ChatGPT as the best tool as the evaluation proceeded, and during the evaluation, the average accuracy by the BA approach outperformed the second-best performing tool. Our results reveal the feasibility and effectiveness of BA in assisting the selection of best-performing code generation tools.


title: Thermodynamic topology of Kerr-Sen black holes via R\'{e}nyi statistics

abstract: In the present study, we investigate the topological properties of black holes in terms of R\'{e}nyi statistics as an extension of the Gibbs-Boltzmann (GB) statistics, aiming to characterize the non-Boltzmannian thermodynamic topology of Kerr-Sen and dyonic Kerr-Sen black holes. Through this research, we discover that the topological number derived via R\'{e}nyi statistics differs from that obtained through GB statistics. Interestingly, although the non-extended parameter $\lambda$ changes the topological number, the topological classification of the Kerr-Sen and dyonic Kerr-Sen black holes remains consistent under both GB and R\'{e}nyi statistics. In addition, the topological numbers associated with these two types of black holes without cosmological constant using R\'{e}nyi entropy processes are the same as the AdS cases of them by considering the GB entropy, as further evidenced by such a study found here. This indicates the cosmological constant has some potential connections the with the nonextensive R\'{e}nyi parameter from the perspective of thermodynamic topology.


title: OCTOPUS: Open-vocabulary Content Tracking and Object Placement Using Semantic Understanding in Mixed Reality

abstract: One key challenge in augmented reality is the placement of virtual content in natural locations. Existing automated techniques are only able to work with a closed-vocabulary, fixed set of objects. In this paper, we introduce a new open-vocabulary method for object placement. Our eight-stage pipeline leverages recent advances in segmentation models, vision-language models, and LLMs to place any virtual object in any AR camera frame or scene. In a preliminary user study, we show that our method performs at least as well as human experts 57% of the time.


title: Object-aware Adaptive-Positivity Learning for Audio-Visual Question Answering

abstract: This paper focuses on the Audio-Visual Question Answering (AVQA) task that aims to answer questions derived from untrimmed audible videos. To generate accurate answers, an AVQA model is expected to find the most informative audio-visual clues relevant to the given questions. In this paper, we propose to explicitly consider fine-grained visual objects in video frames (object-level clues) and explore the multi-modal relations(i.e., the object, audio, and question) in terms of feature interaction and model optimization. For the former, we present an end-to-end object-oriented network that adopts a question-conditioned clue discovery module to concentrate audio/visual modalities on respective keywords of the question and designs a modality-conditioned clue collection module to highlight closely associated audio segments or visual objects. For model optimization, we propose an object-aware adaptive-positivity learning strategy that selects the highly semantic-matched multi-modal pair as positivity. Specifically, we design two object-aware contrastive loss functions to identify the highly relevant question-object pairs and audio-object pairs, respectively. These selected pairs are constrained to have larger similarity values than the mismatched pairs. The positivity-selecting process is adaptive as the positivity pairs selected in each video frame may be different. These two object-aware objectives help the model understand which objects are exactly relevant to the question and which are making sounds. Extensive experiments on the MUSIC-AVQA dataset demonstrate the proposed method is effective in finding favorable audio-visual clues and also achieves new state-of-the-art question-answering performance.


title: Research on the Development of Blockchain-based Distributed Intelligent Healthcare Industry -- A Policy Analysis Perspective

abstract: As a pivotal innovation in digital infrastructure, blockchain ledger technology catalyzes the development of nascent business paradigms and applications globally. Utilizing Rothwell and Zegveld's taxonomy of twelve innovation policy tools, this study offers a nuanced comparison of domestic blockchain policies, dissecting supply, environment, and demand-driven policy dimensions to distill prevailing strategic orientations towards blockchain healthcare adoption. The findings indicate that blockchain technology has seen rapid growth in the healthcare industry. However, a certain misalignment exists between the corporate and policy layers in terms of supply and demand. While companies focus more on technological applications, existing policies are geared towards regulations and governance. Government emphasis lies on legal supervision through environmental policies, aiming to guide the standardization and regulation of blockchain technology. This maintains a balance between encouraging innovation and market and legal regulatory order, thereby providing a reference for the development of the distributed intelligent healthcare industry in our country.


title: Quantum description of atomic diffraction by material nanostructures

abstract: We present a theoretical model of matter-wave diffraction through a material nanostructure. This model is based on the numerical solution of the time-dependent Schr{\"o}dinger equation, which goes beyond the standard semi-classical approach. In particular, we consider the dispersion force interaction between the atoms and the material, which is responsible for high energy variations. The effect of such forces on the quantum model is investigated, along with a comparison with the semi-classical model. In particular, for atoms at low velocity and close to the material surface, the semi-classical approach fails, while the quantum model accurately describes the expected diffraction pattern. This description is thus relevant for slow and cold atom experiments where increased precision is required, e.g. for metrological applications.


title: A Microservices Identification Method Based on Spectral Clustering for Industrial Legacy Systems

abstract: The advent of Industrial Internet of Things (IIoT) has imposed more stringent requirements on industrial software in terms of communication delay, scalability, and maintainability. Microservice architecture (MSA), a novel software architecture that has emerged from cloud computing and DevOps, presents itself as the most promising solution due to its independently deployable and loosely coupled nature. Currently, practitioners are inclined to migrate industrial legacy systems to MSA, despite numerous challenges it presents. In this paper, we propose an automated microservice decomposition method for extracting microservice candidates based on spectral graph theory to address the problems associated with manual extraction, which is time-consuming, labor intensive, and highly subjective. The method is divided into three steps. Firstly, static and dynamic analysis tools are employed to extract dependency information of the legacy system. Subsequently, information is transformed into a graph structure that captures inter-class structure and performance relationships in legacy systems. Finally, graph-based clustering algorithm is utilized to identify potential microservice candidates that conform to the principles of high cohesion and low coupling. Comparative experiments with state of-the-art methods demonstrate the significant advantages of our proposed method in terms of performance metrics. Moreover, Practice show that our method can yield favorable results even without the involvement of domain experts.


title: Integrating the probe and singular sources methods :II. The Stokes system

abstract: In this paper, an integrated theory of the probe and singular sources methods for an inverse obstacle problem governed by the Stokes system in a bounded domain is developed. The main results consist of: the probe method for the Stokes system; the singular sources method by using the notion of the probe method; the completely integrated version of the probe and singular sources methods. In establishing the singular sources method, a third indicator function which is called the IPS function plays the central role.


title: CST-former: Transformer with Channel-Spectro-Temporal Attention for Sound Event Localization and Detection

abstract: Sound event localization and detection (SELD) is a task for the classification of sound events and the localization of direction of arrival (DoA) utilizing multichannel acoustic signals. Prior studies employ spectral and channel information as the embedding for temporal attention. However, this usage limits the deep neural network from extracting meaningful features from the spectral or spatial domains. Therefore, our investigation in this paper presents a novel framework termed the Channel-Spectro-Temporal Transformer (CST-former) that bolsters SELD performance through the independent application of attention mechanisms to distinct domains. The CST-former architecture employs distinct attention mechanisms to independently process channel, spectral, and temporal information. In addition, we propose an unfolded local embedding (ULE) technique for channel attention (CA) to generate informative embedding vectors including local spectral and temporal information. Empirical validation through experimentation on the 2022 and 2023 DCASE Challenge task3 datasets affirms the efficacy of employing attention mechanisms separated across each domain and the benefit of ULE, in enhancing SELD performance.


title: Homotopy theories of colored links and spatial graphs

abstract: Two links are called link-homotopic if they are transformed to each other by a sequence of self-crossing changes and ambient isotopies. The notion of link-homotopy is generalized to spatial graphs and it is called component-homotopy. The link-homotopy classes were classified by Habegger and Lin through the classification of the link-homotopy classes of string links. In this paper, we classify colored string links up to colored link-homotopy by using the Habegger-Lin theory. Moreover, we classify colored links and spatial graphs up to colored link-homotopy and component-homotopy respectively.


title: Detecting Multiple Change Points in Distributional Sequences Derived from Structural Health Monitoring Data: An Application to Bridge Damage Detection

abstract: Detecting damage in critical structures using monitored data is a fundamental task of structural health monitoring, which is extremely important for maintaining structures' safety and life-cycle management. Based on statistical pattern recognition paradigm, damage detection can be conducted by assessing changes in the distribution of properly extracted damage-sensitive features (DSFs). This can be naturally formulated as a distributional change-point detection problem. A good change-point detector for damage detection should be scalable to large DSF datasets, applicable to different types of changes, and capable of controlling for false-positive indications. This study proposes a new distributional change-point detection method for damage detection to address these challenges. We embed the elements of a DSF distributional sequence into the Wasserstein space and construct a moving sum (MOSUM) multiple change-point detector based on Fr\'echet statistics and establish theoretical properties. Extensive simulation studies demonstrate the superiority of our proposed approach against other competitors to address the aforementioned practical requirements. We apply our method to the cable-tension measurements monitored from a long-span cable-stayed bridge for cable damage detection. We conduct a comprehensive change-point analysis for the extracted DSF data, and reveal interesting patterns from the detected changes, which provides valuable insights into cable system damage.


title: FedSODA: Federated Cross-assessment and Dynamic Aggregation for Histopathology Segmentation

abstract: Federated learning (FL) for histopathology image segmentation involving multiple medical sites plays a crucial role in advancing the field of accurate disease diagnosis and treatment. However, it is still a task of great challenges due to the sample imbalance across clients and large data heterogeneity from disparate organs, variable segmentation tasks, and diverse distribution. Thus, we propose a novel FL approach for histopathology nuclei and tissue segmentation, FedSODA, via synthetic-driven cross-assessment operation (SO) and dynamic stratified-layer aggregation (DA). Our SO constructs a cross-assessment strategy to connect clients and mitigate the representation bias under sample imbalance. Our DA utilizes layer-wise interaction and dynamic aggregation to diminish heterogeneity and enhance generalization. The effectiveness of our FedSODA has been evaluated on the most extensive histopathology image segmentation dataset from 7 independent datasets. The code is available at https://github.com/yuanzhang7/FedSODA.


title: Pure point diffraction and almost periodicity

abstract: This article deals with pure point diffraction and its connection to various notions of almost periodicity. We explain why the Fibonacci chain does not fit into the classical class of Bohr almost periodicity and how it fits into the classes of mean, Besicovitch and Weyl almost periodic point sets. We report on recent results which characterize pure point diffraction as mean almost periodicity of the underlying structure, and discuss how the complex amplitudes fit into this picture.


title: ReCo-Diff: Explore Retinex-Based Condition Strategy in Diffusion Model for Low-Light Image Enhancement

abstract: Low-light image enhancement (LLIE) has achieved promising performance by employing conditional diffusion models. In this study, we propose ReCo-Diff, a novel approach that incorporates Retinex-based prior as an additional pre-processing condition to regulate the generating capabilities of the diffusion model. ReCo-Diff first leverages a pre-trained decomposition network to produce initial reflectance and illumination maps of the low-light image. Then, an adjustment network is introduced to suppress the noise in the reflectance map and brighten the illumination map, thus forming the learned Retinex-based condition. The condition is integrated into a refinement network, implementing Retinex-based conditional modules that offer sufficient guidance at both feature- and image-levels. By treating Retinex theory as a condition, ReCo-Diff presents a unique perspective for establishing an LLIE-specific diffusion model. Extensive experiments validate the rationality and superiority of our ReCo-Diff approach. The code will be made publicly available.


title: Calibration of metallicity of LAMOST M dwarf stars Using FGK+M wide binaries

abstract: Estimating precise metallicity of M dwarfs is a well-known difficult problem due to their complex spectra. In this work, we empirically calibrate the metallicity using wide binaries with a F, G, or K dwarf and a M dwarf companion. With 1308 FGK+M wide binaries well observed by LAMOST, we calibrated M dwarf's [Fe/H] by using the Stellar LAbel Machine (SLAM) model, a data-driven method based on support vector regression (SVR). The [Fe/H] labels of the training data are from FGK companions in range of [-1,0.5] dex. The Teffs are selected from Li et al. (2021), spanning [3100,4400] K. The uncertainties in SLAM estimates of [Fe/H] and Teff are ~0.15 dex and ~40 K, respectively, at snri > 100, where snri is the signal-to-noise ratio (SNR) at i-band of M dwarf spectra. We applied the trained SLAM model to determine the [Fe/H] and Teff for ~630,000 M dwarfs with low-resolution spectra in LAMOST DR9. Compared to other literature also using FGK+M wide binaries for calibration, our [Fe/H] estimates show no bias but a scatter of ~ 0.14-0.18 dex. However, the [Fe/H] compared to APOGEE shows a systematic difference of ~ 0.10-0.15 dex with a scatter of ~ 0.15-0.20 dex. While the Teff compared to APOGEE has a bias of 3 K with a scatter of 62 K, it is systematically higher by 180 K compared to other calibrations based on the bolometric temperature. Finally, we calculated the zeta index for 1308 M dwarf secondaries and presents a moderate correlation between zeta and [Fe/H].


title: TagCLIP: A Local-to-Global Framework to Enhance Open-Vocabulary Multi-Label Classification of CLIP Without Training

abstract: Contrastive Language-Image Pre-training (CLIP) has demonstrated impressive capabilities in open-vocabulary classification. The class token in the image encoder is trained to capture the global features to distinguish different text descriptions supervised by contrastive loss, making it highly effective for single-label classification. However, it shows poor performance on multi-label datasets because the global feature tends to be dominated by the most prominent class and the contrastive nature of softmax operation aggravates it. In this study, we observe that the multi-label classification results heavily rely on discriminative local features but are overlooked by CLIP. As a result, we dissect the preservation of patch-wise spatial information in CLIP and proposed a local-to-global framework to obtain image tags. It comprises three steps: (1) patch-level classification to obtain coarse scores; (2) dual-masking attention refinement (DMAR) module to refine the coarse scores; (3) class-wise reidentification (CWR) module to remedy predictions from a global perspective. This framework is solely based on frozen CLIP and significantly enhances its multi-label classification performance on various benchmarks without dataset-specific training. Besides, to comprehensively assess the quality and practicality of generated tags, we extend their application to the downstream task, i.e., weakly supervised semantic segmentation (WSSS) with generated tags as image-level pseudo labels. Experiments demonstrate that this classify-then-segment paradigm dramatically outperforms other annotation-free segmentation methods and validates the effectiveness of generated tags. Our code is available at https://github.com/linyq2117/TagCLIP.


title: Covariant odd entanglement entropy in AdS$_3$/CFT$_2$

abstract: We advance a covariant construction for the holographic odd entanglement entropy (OEE) of time dependent bipartite states in CFT$_2$s dual to bulk AdS$_3$ geometries. In this context we obtain the OEE for bipartite states in zero, finite temperature and finite size CFT$_2$s dual to bulk pure AdS$_3$ and BTZ black hole geometries through appropriate replica techniques. The replica technique results for the time dependent OEE are reproduced modulo constants in the large central charge limit through holographic computations involving the bulk entanglement wedge cross section (EWCS). Subsequently we obtain the time dependent OEE for bipartite states in zero and finite temperature CFT$_2$s with a conserved charge dual to bulk extremal and non-extremal rotating BTZ black holes through both field theory and covariant holographic computations which again match up to constants in the large central charge limit.


title: Investigating the nature of the K$^*_0(700)$ state with $\pi^\pm$K$^0_{\rm S}$ correlations at the LHC

abstract: The first measurements of femtoscopic correlations with the particle pair combinations $\pi^\pm$K$^0_{\rm S}$ in pp collisions at $\sqrt{s}=13$ TeV at the Large Hadron Collider (LHC) are reported by the ALICE experiment. Using the femtoscopic approach, it is shown that it is possible to study the elusive K$^*_0(700)$ particle that has been considered a tetraquark candidate for over forty years. Boson source parameters and final-state interaction parameters are extracted by fitting a model assuming a Gaussian source to the experimentally measured two-particle correlation functions. The final-state interaction is modeled through a resonant scattering amplitude, defined in terms of a mass and a coupling parameter, decaying into a $\pi^\pm$K$^0_{\rm S}$ pair. The extracted mass and Breit-Wigner width, derived from the coupling parameter, of the final-state interaction are found to be consistent with previous measurements of the K$^*_0(700)$. The small value and increasing behavior of the correlation strength with increasing source size support the hypothesis that the K$^*_0(700)$ is a four-quark state, i.e. a tetraquark state. This latter trend is also confirmed via a simple geometric model that assumes a tetraquark structure of the K$^*_0(700)$ resonance.


title: First-Order Phase Transition of the Schwinger Model with a Quantum Computer

abstract: We explore the first-order phase transition in the lattice Schwinger model in the presence of a topological $\theta$-term by means of the variational quantum eigensolver (VQE). Using two different fermion discretizations, Wilson and staggered fermions, we develop parametric ansatz circuits suitable for both discretizations, and compare their performance by simulating classically an ideal VQE optimization in the absence of noise. The states obtained by the classical simulation are then prepared on the IBM's superconducting quantum hardware. Applying state-of-the art error-mitigation methods, we show that the electric field density and particle number, observables which reveal the phase structure of the model, can be reliably obtained from the quantum hardware. To investigate the minimum system sizes required for a continuum extrapolation, we study the continuum limit using matrix product states, and compare our results to continuum mass perturbation theory. We demonstrate that taking the additive mass renormalization into account is vital for enhancing the precision that can be obtained with smaller system sizes. Furthermore, for the observables we investigate we observe universality, and both fermion discretizations produce the same continuum limit.


title: Turning Dust into Gold: Distilling Complex Reasoning Capabilities from LLMs by Leveraging Negative Data

abstract: Large Language Models (LLMs) have performed well on various reasoning tasks, but their inaccessibility and numerous parameters hinder wide application in practice. One promising way is distilling the reasoning ability from LLMs to small models by the generated chain-of-thought reasoning paths. In some cases, however, LLMs may produce incorrect reasoning chains, especially when facing complex mathematical problems. Previous studies only transfer knowledge from positive samples and drop the synthesized data with wrong answers. In this work, we illustrate the merit of negative data and propose a model specialization framework to distill LLMs with negative samples besides positive ones. The framework consists of three progressive steps, covering from training to inference stages, to absorb knowledge from negative data. We conduct extensive experiments across arithmetic reasoning tasks to demonstrate the role of negative data in distillation from LLM.


title: Learning Exhaustive Correlation for Spectral Super-Resolution: Where Spatial-Spectral Attention Meets Linear Dependence

abstract: Spectral super-resolution that aims to recover hyperspectral image (HSI) from easily obtainable RGB image has drawn increasing interest in the field of computational photography. The crucial aspect of spectral super-resolution lies in exploiting the correlation within HSIs. However, two types of bottlenecks in existing Transformers limit performance improvement and practical applications. First, existing Transformers often separately emphasize either spatial-wise or spectral-wise correlation, disrupting the 3D features of HSI and hindering the exploitation of unified spatial-spectral correlation. Second, existing self-attention mechanism always establishes full-rank correlation matrix by learning the correlation between pairs of tokens, leading to its inability to describe linear dependence widely existing in HSI among multiple tokens. To address these issues, we propose a novel Exhaustive Correlation Transformer (ECT) for spectral super-resolution. First, we propose a Spectral-wise Discontinuous 3D (SD3D) splitting strategy, which models unified spatial-spectral correlation by integrating spatial-wise continuous splitting strategy and spectral-wise discontinuous splitting strategy. Second, we propose a Dynamic Low-Rank Mapping (DLRM) model, which captures linear dependence among multiple tokens through a dynamically calculated low-rank dependence map. By integrating unified spatial-spectral attention and linear dependence, our ECT can model exhaustive correlation within HSI. The experimental results on both simulated and real data indicate that our method achieves state-of-the-art performance. Codes and pretrained models will be available later.


title: Thermodynamic properties of disordered quantum spin ladders

abstract: In this paper, we study the thermodynamic properties of spin-$1/2$ antiferromagnetic Heisenberg ladders by means of the stochastic series expansion quantum Monte Carlo technique. This includes the thermal properties of the specific heat, uniform and staggered susceptibilities, spin gap, and structure factor. Our numerical simulations are probed over a large ensemble of random realizations in a wide range of disorder strengths $r$, from the clean ($r=0$) case up to the diluted ($r \rightarrow 1$) limit, and for selected choices of number of legs $L_y$ per site. Our results show some interesting phenomena, like the presence of crossing points in the temperature plane for both the specific heat and uniform susceptibility curves which appear to be universal in $r$, as well as a variable dependence of the spin gap in the amount of disorder upon increasing $L_y$.


title: Near-Optimal Resilient Aggregation Rules for Distributed Learning Using 1-Center and 1-Mean Clustering with Outliers

abstract: Byzantine machine learning has garnered considerable attention in light of the unpredictable faults that can occur in large-scale distributed learning systems. The key to secure resilience against Byzantine machines in distributed learning is resilient aggregation mechanisms. Although abundant resilient aggregation rules have been proposed, they are designed in ad-hoc manners, imposing extra barriers on comparing, analyzing, and improving the rules across performance criteria. This paper studies near-optimal aggregation rules using clustering in the presence of outliers. Our outlier-robust clustering approach utilizes geometric properties of the update vectors provided by workers. Our analysis show that constant approximations to the 1-center and 1-mean clustering problems with outliers provide near-optimal resilient aggregators for metric-based criteria, which have been proven to be crucial in the homogeneous and heterogeneous cases respectively. In addition, we discuss two contradicting types of attacks under which no single aggregation rule is guaranteed to improve upon the naive average. Based on the discussion, we propose a two-phase resilient aggregation framework. We run experiments for image classification using a non-convex loss function. The proposed algorithms outperform previously known aggregation rules by a large margin with both homogeneous and heterogeneous data distributions among non-faulty workers. Code and appendix are available at https://github.com/jerry907/AAAI24-RASHB.


title: Questions of flavor physics and neutrino mass from a flipped hypercharge

abstract: The flavor structure of quarks and leptons is not yet fully understood, but it hints a more fundamental theory of non-universal generations. We therefore propose a simple extension of the Standard Model by flipping (i.e., enlarging) the hypercharge $U(1)_Y$ to $U(1)_X\otimes U(1)_N$ for which both $X$ and $N$ depend on generations of both quark and lepton. By anomaly cancellation, this extension not only explains the existence of just three fermion generations as observed but also requires the presence of a right-handed neutrino per generation, which motivates seesaw neutrino mass generation. Furthermore, in its minimal version with a scalar doublet and two scalar singlets, the model naturally generates the measured fermion-mixing matrices while it successfully accommodates several flavor anomalies observed in the neutral meson mixings, $B$-meson decays, lepton-flavor-violating decays of charged leptons, as well as satisfying constraints from particle colliders.


title: Nonreciprocal Ballistic Transport in Asymmetric Bands

abstract: Nonreciprocal transport in uniform systems has attracted great research interest recently and the existing theories mainly focus on the diffusive regime. In this study, we uncover a novel scenario for nonreciprocal charge transport in the ballistic regime enabled by asymmetric band structures of the system. The asymmetry of the bands induces unequal Coulomb potentials within the system as the bias voltage imposed by the electrodes inverts its sign. As a result, the bands undergo different energy shifts as the current flows in opposite directions, giving rise to the nonreciprocity. Utilizing the gauge-invariant nonlinear transport theory, we show that the nonreciprocal transport predominantly originates from the second-order conductance, which violates the Onsager reciprocal relation but fulfills a generalized reciprocal relation similar to that of unidirectional magnetoresistance. The ballistic nonreciprocal transport phenomena differ from the diffusive ones by considering the internal asymmetric Coulomb potential, a factor not accounted for in diffusive cases but undeniably crucial in ballistic scenarios. Our work opens a avenue for implementing nonreciprocal transport in the ballistic regime and provides an alternative perspective for further experimental explorations for nonreciprocal transport.


title: FedA3I: Annotation Quality-Aware Aggregation for Federated Medical Image Segmentation against Heterogeneous Annotation Noise

abstract: Federated learning (FL) has emerged as a promising paradigm for training segmentation models on decentralized medical data, owing to its privacy-preserving property. However, existing research overlooks the prevalent annotation noise encountered in real-world medical datasets, which limits the performance ceilings of FL. In this paper, we, for the first time, identify and tackle this problem. For problem formulation, we propose a contour evolution for modeling non-independent and identically distributed (Non-IID) noise across pixels within each client and then extend it to the case of multi-source data to form a heterogeneous noise model (i.e., Non-IID annotation noise across clients). For robust learning from annotations with such two-level Non-IID noise, we emphasize the importance of data quality in model aggregation, allowing high-quality clients to have a greater impact on FL. To achieve this, we propose Federated learning with Annotation quAlity-aware AggregatIon, named FedA3I, by introducing a quality factor based on client-wise noise estimation. Specifically, noise estimation at each client is accomplished through the Gaussian mixture model and then incorporated into model aggregation in a layer-wise manner to up-weight high-quality clients. Extensive experiments on two real-world medical image segmentation datasets demonstrate the superior performance of FedA$^3$I against the state-of-the-art approaches in dealing with cross-client annotation noise. The code is available at https://github.com/wnn2000/FedAAAI.


title: Comparing Machine Learning Algorithms by Union-Free Generic Depth

abstract: We propose a framework for descriptively analyzing sets of partial orders based on the concept of depth functions. Despite intensive studies in linear and metric spaces, there is very little discussion on depth functions for non-standard data types such as partial orders. We introduce an adaptation of the well-known simplicial depth to the set of all partial orders, the union-free generic (ufg) depth. Moreover, we utilize our ufg depth for a comparison of machine learning algorithms based on multidimensional performance measures. Concretely, we provide two examples of classifier comparisons on samples of standard benchmark data sets. Our results demonstrate promisingly the wide variety of different analysis approaches based on ufg methods. Furthermore, the examples outline that our approach differs substantially from existing benchmarking approaches, and thus adds a new perspective to the vivid debate on classifier comparison.


title: Boundary behaviour of the Bergman and Szeg\H{o} kernels on generalized decoupled domains

abstract: We prove optimal estimates of the Bergman and Szeg\H{o} kernels on the diagonal, and the Bergman metric near the boundary of bounded smooth generalized decoupled pseudoconvex domains in $\mathbb{C}^n$. The generalized decoupled domains we consider allow the following possibilities: (a) complex tangential directions need not be decoupled separately, and (b) boundary points could have both finite and infinite type directions.


title: Li-decorated BC3 nanopores: Promising materials for hydrogen storage

abstract: In the quest of new absorbent for hydrogen storage, we investigate the capacities of slit pores formed by two BC3 sheets decorated with Li atoms. Their hydrogen storage capacities are determined using density-functional theory in conjunction with a quantum-thermodynamic model that allows to simulate real operating conditions, i.e., finite temperatures and different loading and depletion pressures applied to the adsorbent in the charge-delivery cycles. We show that the capacities of the adsorbed hydrogen phase of Li-decorated BC3 slit pores are larger than those reported recently for graphene and Li-decorated borophene slit pores. On the other hand, the usable volumetric and gravimetric capacities of Li-decorated BC3 slit pores can meet the targets stipulated by the U.S. Department of Energy (DOE) for onboard hydrogen storage at moderate temperatures and loading pressures well below those used in the tanks employed in current technology. In particular, the usable volumetric capacity for pore widths of about 10 {\AA} meets the DOE target at a loading pressure of 6.6 MPa when depleting at ambient pressure. Our results highlight the important role played by the rotational degree of freedom of the H2 molecule in determining the confining potential within the slip pores and their hydrogen storage capacities.


title: Directional detection of keV proton and carbon recoils with MIMAC

abstract: Directional detection is the dedicated strategy to demonstrate that DM-like signals measured by direct detectors are indeed produced by DM particles from the galactic halo. The experimental challenge of measuring the direction of DM-induced nuclear recoils with (sub-)millimeter tracks has limited, so far, the maximal directional reach to DM masses around $100~\rm{GeV}$. In this paper, we expose the MIMAC detector to three different neutron fields and we develop a method to reconstruct the direction of the neutron-induced nuclear recoils. We measure an angular resolution better than $16^\circ$ for proton recoils down to a kinetic energy of $4~\rm{keV}$ and for carbon recoils down to a kinetic energy of $5.5~\rm{keV}$. For the first time, a detector achieves the directional measurement of proton and carbon recoils with kinetic energies in the keV range without any restriction on the direction of the incoming particle. This work demonstrates that directional detection is around the corner for probing DM with masses down to $\mathcal{O}(1~\rm{GeV})$.


title: On spectrum of corona product of duplication signed graph and its application

abstract: This paper introduces the concept of $\mu$-signed and duplication signed graphs and shows that both are always structurally balanced. Using the duplication signed graph, we define the corona product of the duplication signed graph (Duplication add vertex corona product and duplication vertex corona product) and explore their structural properties. Additionally, we provide the adjacency spectrum of both the products for any $\Gamma_1$ and $\Gamma_2$, and the Laplacian and signless Laplacian spectrum for regular $\Gamma_1$ and arbitrary $\Gamma_2$, in terms of the corresponding spectrum of $\Gamma_1$ and $\Gamma_2$. Finally, we discuss its application in generating integral and equienergetic signed graphs.


title: Effective Causal Discovery under Identifiable Heteroscedastic Noise Model

abstract: Capturing the underlying structural causal relations represented by Directed Acyclic Graphs (DAGs) has been a fundamental task in various AI disciplines. Causal DAG learning via the continuous optimization framework has recently achieved promising performance in terms of both accuracy and efficiency. However, most methods make strong assumptions of homoscedastic noise, i.e., exogenous noises have equal variances across variables, observations, or even both. The noises in real data usually violate both assumptions due to the biases introduced by different data collection processes. To address the issue of heteroscedastic noise, we introduce relaxed and implementable sufficient conditions, proving the identifiability of a general class of SEM subject to these conditions. Based on the identifiable general SEM, we propose a novel formulation for DAG learning that accounts for the variation in noise variance across variables and observations. We then propose an effective two-phase iterative DAG learning algorithm to address the increasing optimization difficulties and to learn a causal DAG from data with heteroscedastic variable noise under varying variance. We show significant empirical gains of the proposed approaches over state-of-the-art methods on both synthetic data and real data.


title: r-orientation of a signed graph and its application on coronae of signed graphs

abstract: For unsigned graphs G and H, the characteristic polynomial of different graph matrices for edge corona, subdivision vertex neighbourhood corona and subdivision edge neighbourhood corona has already been studied using the concept of coronal. However, till date no work regarding the spectrum of these products has been studied for signed graphs. In our work, we have filled this gap and defined these variants of coronae by introducing the concept of reverse orientation (r-orientation). We analyzed the structural properties of these product. Also, the characteristic polynomial of adjacency matrix, Laplacian matrices (signed and signless) and normalized Laplacian matrix of these variants of corona product of regular signed graphs under $r$-orientation is obtained using the concept of signed coronal. These results help us to construct infinitely many families of pairs of cospectral signed graphs.


title: $H^1$-analysis of H3N3-2\textbf{$_\sigma$}-based difference method for fractional hyperbolic equations

abstract: A novel H3N3-2$_\sigma$ interpolation approximation for the Caputo fractional derivative of order $\alpha\in(1,2)$ is derived in this paper, which improves the popular L2C formula with (3-$\alpha$)-order accuracy. By an interpolation technique, the second-order accuracy of the truncation error is skillfully estimated. Based on this formula, a finite difference scheme with second-order accuracy both in time and in space is constructed for the initial-boundary value problem of the time fractional hyperbolic equation. It is well known that the coefficients' properties of discrete fractional derivatives are fundamental to the numerical stability of time fractional differential models. We prove the related properties of the coefficients of the H3N3-2$_\sigma$ approximate formula. With these properties, the numerical stability and convergence of the difference scheme are derived immediately by the energy method in the sense of $H^1$-norm. Considering the weak regularity of the solution to the problem at the starting time, a finite difference scheme on the graded meshes based on H3N3-2$_\sigma$ formula is also presented. The numerical simulations are performed to show the effectiveness of the derived finite difference schemes, in which the fast algorithms are employed to speed up the numerical computation.


title: Moments of Mandelbrot cascades at critical exponents

abstract: We obtain the asymptotic growth rate of the moments of the Mandelbrot random cascades at critical exponents. The key ingredient is a $q$ to $q/2$ reduction method for the moment-estimation, which is obtained by combining the martingale inequalities due to Burkholder and Burkholder-Rosenthal.


title: Quantum Annealing for Computer Vision Minimization Problems

abstract: Computer Vision (CV) labelling algorithms play a pivotal role in the domain of low-level vision. For decades, it has been known that these problems can be elegantly formulated as discrete energy minimization problems derived from probabilistic graphical models (such as Markov Random Fields). Despite recent advances in inference algorithms (such as graph-cut and message-passing algorithms), the resulting energy minimization problems are generally viewed as intractable. The emergence of quantum computations, which offer the potential for faster solutions to certain problems than classical methods, has led to an increased interest in utilizing quantum properties to overcome intractable problems. Recently, there has also been a growing interest in Quantum Computer Vision (QCV), with the hope of providing a credible alternative or assistant to deep learning solutions in the field. This study investigates a new Quantum Annealing based inference algorithm for CV discrete energy minimization problems. Our contribution is focused on Stereo Matching as a significant CV labeling problem. As a proof of concept, we also use a hybrid quantum-classical solver provided by D-Wave System to compare our results with the best classical inference algorithms in the literature.


title: Divergences induced by dual subtractive and divisive normalizations of exponential families and their convex deformations

abstract: Exponential families are statistical models which are the workhorses in statistics, information theory, and machine learning among others. An exponential family can either be normalized subtractively by its cumulant or free energy function or equivalently normalized divisively by its partition function. Both subtractive and divisive normalizers are strictly convex and smooth functions inducing pairs of Bregman and Jensen divergences. It is well-known that skewed Bhattacharryya distances between probability densities of an exponential family amounts to skewed Jensen divergences induced by the cumulant function between their corresponding natural parameters, and in limit cases that the sided Kullback-Leibler divergences amount to reverse-sided Bregman divergences. In this paper, we first show that the $\alpha$-divergences between unnormalized densities of an exponential family amounts to scaled $\alpha$-skewed Jensen divergences induced by the partition function. We then show how comparative convexity with respect to a pair of quasi-arithmetic means allows to deform both convex functions and their arguments, and thereby define dually flat spaces with corresponding divergences when ordinary convexity is preserved.


title: A Stochastic Analysis of the Linguistic Provenance of English Place Names

abstract: In English place name analysis, meanings are often derived from the resemblance of roots in place names to topographical features, proper names and/or habitation terms in one of the languages that have had an influence on English place names. The problem here is that it is sometimes difficult to determine the base language to use to interpret the roots. The purpose of this paper is to stochastically determine the resemblance between 18799 English place names and 84687 place names from Ireland, Scotland, Wales, Denmark, Norway, Sweden, France, Germany, the Netherlands and Ancient Rome. Each English place name is ranked according to the extent to which it resembles place names from the other countries, and this provides a basis for determining the likely language to use to interpret the place name. A number of observations can be made using the ranking provided. In particular, it is found that `Harlington' is the most archetypically English place name in the English sample, and `Anna' is the least. Furthermore, it is found that the place names in the non-English datasets are most similar to Norwegian place names and least similar to Welsh place names.


title: A Configurable Ultra-Low Noise Current Source for Transition-Edge Sensor Characterization

abstract: Transition-edge sensors (TESs) are sensitive devices for detecting photons from millimeter radiation to gamma rays. Their photon counting efficiency and collecting area benefit from large-array multiplexing scheme, and therefore the development of multiplexing readout system has been an important topic in this field. Among the many multiplex techniques, time-division multiplexing (TDM) superconducting quantum interference device (SQUID) has been used most widely for TES readout. In this work, we design a Configurable Ultra-Low Noise Current Source (CLCS) for TES characterization and as a part of a whole TDM-TES bias control system. The CLCS is based on the feedback structure of ultra-low noise instrumentation amplifiers and low-noise, high-resolution (20 bits) digital-to-analog converter (DAC). CLCS has an ultra-high resolution of 10 nA in the 0 to 5 mA current output range, and can perform current-voltage (IV) sweep and bias-step tests to measure key TES parameters on board. The feedback structure of the CLCS also avoids the issue of impedance mismatch.


title: Language Resources for Dutch Large Language Modelling

abstract: Despite the rapid expansion of types of large language models, there remains a notable gap in models specifically designed for the Dutch language. This gap is not only a shortage in terms of pretrained Dutch models but also in terms of data, and benchmarks and leaderboards. This work provides a small step to improve the situation. First, we introduce two fine-tuned variants of the Llama 2 13B model. We first fine-tuned Llama 2 using Dutch-specific web-crawled data and subsequently refined this model further on multiple synthetic instruction and chat datasets. These datasets as well as the model weights are made available. In addition, we provide a leaderboard to keep track of the performance of (Dutch) models on a number of generation tasks, and we include results of a number of state-of-the-art models, including our own. Finally we provide a critical conclusion on what we believe is needed to push forward Dutch language models and the whole eco-system around the models.


title: CORECODE: A Common Sense Annotated Dialogue Dataset with Benchmark Tasks for Chinese Large Language Models

abstract: As an indispensable ingredient of intelligence, commonsense reasoning is crucial for large language models (LLMs) in real-world scenarios. In this paper, we propose CORECODE, a dataset that contains abundant commonsense knowledge manually annotated on dyadic dialogues, to evaluate the commonsense reasoning and commonsense conflict detection capabilities of Chinese LLMs. We categorize commonsense knowledge in everyday conversations into three dimensions: entity, event, and social interaction. For easy and consistent annotation, we standardize the form of commonsense knowledge annotation in open-domain dialogues as "domain: slot = value". A total of 9 domains and 37 slots are defined to capture diverse commonsense knowledge. With these pre-defined domains and slots, we collect 76,787 commonsense knowledge annotations from 19,700 dialogues through crowdsourcing. To evaluate and enhance the commonsense reasoning capability for LLMs on the curated dataset, we establish a series of dialogue-level reasoning and detection tasks, including commonsense knowledge filling, commonsense knowledge generation, commonsense conflict phrase detection, domain identification, slot identification, and event causal inference. A wide variety of existing open-source Chinese LLMs are evaluated with these tasks on our dataset. Experimental results demonstrate that these models are not competent to predict CORECODE's plentiful reasoning content, and even ChatGPT could only achieve 0.275 and 0.084 accuracy on the domain identification and slot identification tasks under the zero-shot setting. We release the data and codes of CORECODE at https://github.com/danshi777/CORECODE to promote commonsense reasoning evaluation and study of LLMs in the context of daily conversations.


title: The proof-theoretic strength of Constructive Second-order set theories

abstract: In this paper, we define constructive analogues of second-order set theories, which we will call $\mathsf{IGB}$, $\mathsf{CGB}$, $\mathsf{IKM}$, and $\mathsf{CKM}$. Each of them can be viewed as $\mathsf{IZF}$- and $\mathsf{CZF}$-analogues of G\"odel-Bernays set theory $\mathsf{GB}$ and Kelley-Morse set theory $\mathsf{KM}$. We also provide their proof-theoretic strengths in terms of classical theories, and we especially prove that $\mathsf{CKM}$ and full Second-Order Arithmetic have the same proof-theoretic strength.


title: Deep Chandra observations of Abell 2495: a possible sloshing-regulated feedback cycle in a triple-offset galaxy cluster

abstract: We present the analysis of new, deep $Chandra$ observations (130~ks) of the galaxy cluster Abell~2495. This object is known for the presence of a triple offset between the peaks of the intracluster medium (ICM), the brightest cluster galaxy (BCG), and the warm gas glowing in H$\alpha$ line. The new $Chandra$ data confirm that the X-ray emission peak is located at a distance of $\sim$6.2 kpc from the BCG, and at $\sim$3.9 kpc from the H$\alpha$ emission peak. Moreover, we identify two generations of X-ray cavities in the ICM, likely inflated by the central radio galaxy activity. Through a detailed morphological and spectral analysis we determine that the power of the AGN outbursts ($P_{cav} = 4.7\pm1.3\times10^{43}$~erg~s$^{-1}$) is enough to counterbalance the radiative losses from ICM cooling ($L_{cool} = 5.7\pm0.1\times10^{43}$~erg~s$^{-1}$). This indicates that, despite a fragmented cooling core, Abell~2495 still harbors an effective feedback cycle. We argue that the offsets are most likely caused by sloshing of the ICM, supported by the presence of spiral structures and a probable cold front in the gas at $\sim$58 kpc east of the center. Ultimately, we find that the outburst interval between the two generations of X-ray cavities is of the order of the dynamical sloshing timescale, as already hinted from the previous $Chandra$ snapshot. We thus speculate that sloshing may be able to regulate the timescales of AGN feedback in Abell~2495, by periodically fuelling the central AGN.


title: SkyScript: A Large and Semantically Diverse Vision-Language Dataset for Remote Sensing

abstract: Remote sensing imagery, despite its broad applications in helping achieve Sustainable Development Goals and tackle climate change, has not yet benefited from the recent advancements of versatile, task-agnostic vision language models (VLMs). A key reason is that the large-scale, semantically diverse image-text dataset required for developing VLMs is still absent for remote sensing images. Unlike natural images, remote sensing images and their associated text descriptions cannot be efficiently collected from the public Internet at scale. In this work, we bridge this gap by using geo-coordinates to automatically connect open, unlabeled remote sensing images with rich semantics covered in OpenStreetMap, and thus construct SkyScript, a comprehensive vision-language dataset for remote sensing images, comprising 2.6 million image-text pairs covering 29K distinct semantic tags. With continual pre-training on this dataset, we obtain a VLM that surpasses baseline models with a 6.2% average accuracy gain in zero-shot scene classification across seven benchmark datasets. It also demonstrates the ability of zero-shot transfer for fine-grained object attribute classification and cross-modal retrieval. We hope this dataset can support the advancement of VLMs for various multi-modal tasks in remote sensing, such as open-vocabulary classification, retrieval, captioning, and text-to-image synthesis.


title: Charm degrees of freedom in hot matter from lattice QCD

abstract: We study the nature of charm degrees of freedom in hot strong interaction matter by performing lattice QCD calculations of the second and fourth-order cumulants of charm fluctuations, and their correlations with net baryon number, electric charge and strangeness fluctuations. We show that below the chiral crossover temperature thermodynamics of charm can be very well understood in terms of charmed hadrons. Above the chiral transition charm quarks show up as new degrees of freedom contributing to the partial charm pressure. However, up to temperatures as high as 175 MeV charmed hadron-like excitations provide a significant contribution to the partial charm pressure.


title: A continuous data assimilation closure for modeling statistically steady turbulence in large-eddy simulation

abstract: A closure model is presented for large-eddy simulation (LES) based on the three-dimensional variational data assimilation algorithm. The approach aims at reconstructing high-fidelity kinetic energy spectra in coarse numerical simulations by including feedback control to represent unresolved dynamics interactions in the flow as stochastic processes. The forcing uses statistics obtained from offline high-fidelity data and requires only few parameters compared to the number of degrees of freedom of LES. This modeling strategy is applied to geostrophic turbulence on the sphere and enables simulating indefinitely at reduced costs. It proves to accurately recover the energy spectra and the zonal velocity profiles in the coarse model, for three generic situations.


title: Generalized ordinal analysis and reflection principles in set theory

abstract: It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by means of \emph{ad hoc} constructions. In this paper we formulate notions of proof-theoretic strength based on set-theoretic reflection principles. We prove that they coincide with orderings on theories given by the generalized ordinal analysis of Pohlers. Accordingly, these notions of proof-theoretic strength engender genuinely well-ordered hierarchies. The reflection principles considered in this paper are formulated relative to G\"odel's constructible universe; we conclude with generalizations to other inner models.


title: Effect of Overheat and Direct Flow Loading on the MEMS Bistable Flow Sensor

abstract: We present the findings from an experimental study of a MEMS flow sensor in which an initially curved, double-clamped bistable microbeam is the primary sensing element. Our research explores how the overheat ratio, direct flow loading, and turbulence-induced vibration affect the sequential snap-through (ST) buckling and snap-back (SB) release of an electrostatically actuated beam heated by an electric current. The sensor is fabricated from highly doped single-crystal silicon using a silicon-on-insulator (SOI) wafer. Positioned at the chip's edge, the microbeam is exposed to airflow, enabling concurrent dynamic response measurements with a laser Doppler vibrometer and a video camera. Our research demonstrates that the overheat ratio can be significantly lower for this sensing principle than conventional thermal sensing elements, pointing to the potential for substantial energy savings. We also emphasize the significant impact of flow angles and vibrations on the critical ST and SB voltages, which are vital for the flow sensor's output. Additionally, we introduce the first direct experimental observation of the beam profile's time history during the snap-through /snap-back transition. The potential impact of this research lies in developing more robust MEMS flow sensors with enhanced sensitivity and a better understanding of their response to environmental factors, which could have broader applications in fields such as aerospace, environmental monitoring, and industrial process control.


title: Safe Multi-Agent Reinforcement Learning for Formation Control without Individual Reference Targets

abstract: In recent years, formation control of unmanned vehicles has received considerable interest, driven by the progress in autonomous systems and the imperative for multiple vehicles to carry out diverse missions. In this paper, we address the problem of behavior-based formation control of mobile robots, where we use safe multi-agent reinforcement learning~(MARL) to ensure the safety of the robots by eliminating all collisions during training and execution. To ensure safety, we implemented distributed model predictive control safety filters to override unsafe actions. We focus on achieving behavior-based formation without having individual reference targets for the robots, and instead use targets for the centroid of the formation. This formulation facilitates the deployment of formation control on real robots and improves the scalability of our approach to more robots. The task cannot be addressed through optimization-based controllers without specific individual reference targets for the robots and information about the relative locations of each robot to the others. That is why, for our formulation we use MARL to train the robots. Moreover, in order to account for the interactions between the agents, we use attention-based critics to improve the training process. We train the agents in simulation and later on demonstrate the resulting behavior of our approach on real Turtlebot robots. We show that despite the agents having very limited information, we can still safely achieve the desired behavior.


title: Discovery of optical emission from the supernova remnant G108.2-0.6 and its atomic environment

abstract: We report the first detection of optical emission from the shell-type Galactic supernova remnant (SNR) G108.2$-$0.6. We obtained H$\alpha$ images and long-slit spectra using the 1.5-m RTT150 telescope to examine the morphological and spectral characteristics of the SNR. We detected several filaments along its north and south regions, which is consistent with its SNR nature. The spectra exhibit [SII]/H$\alpha$ ratios in the range of 0.4$-$1.1, indicating emission from shock-heated gas. The oxygen doublet emission lines [OI]$\lambda$6300, $\lambda$6363 detected in the south region also support the indicator of the presence of shocks. We estimate the electron density using the [SII] 6716/6731 ratio ranging from 15 to 1800 cm$^{-3}$. The spectra show a relatively low shock velocity of $V_{\rm s}$ $\sim$ 80 km s$^{-1}$ with the pre-shock cloud density of $n_{\rm c}$ $\sim$18$-$57 cm$^{-3}$. The H$\alpha$/H$\beta$ ratios show significant variation across the observed regions with extinction $E(B-V)$ ranging from 0.22 to 1.65. We also analyzed the archival HI data and estimated the kinematic distance to the SNR of $\sim$0.8 kpc and dynamical age as $\sim$70$\pm$10 kyr of G108.2$-$0.6.


title: Federated Learning While Providing Model as a Service: Joint Training and Inference Optimization

abstract: While providing machine learning model as a service to process users' inference requests, online applications can periodically upgrade the model utilizing newly collected data. Federated learning (FL) is beneficial for enabling the training of models across distributed clients while keeping the data locally. However, existing work has overlooked the coexistence of model training and inference under clients' limited resources. This paper focuses on the joint optimization of model training and inference to maximize inference performance at clients. Such an optimization faces several challenges. The first challenge is to characterize the clients' inference performance when clients may partially participate in FL. To resolve this challenge, we introduce a new notion of age of model (AoM) to quantify client-side model freshness, based on which we use FL's global model convergence error as an approximate measure of inference performance. The second challenge is the tight coupling among clients' decisions, including participation probability in FL, model download probability, and service rates. Toward the challenges, we propose an online problem approximation to reduce the problem complexity and optimize the resources to balance the needs of model training and inference. Experimental results demonstrate that the proposed algorithm improves the average inference accuracy by up to 12%.


title: Emergent Atomic Environments in Twisted Bilayer Graphene and Their Use in the Prediction of the Vibrational Properties

abstract: While Bernal stacked bilayer graphene bears two distinct atom types in its lattice, there exists no analytical framework addressing the number of atomic environments that emerge in twisted bilayer graphene superlattices. In this work, we have computationally analyzed 120 different twisted bilayer superlattices using descriptor functions to study the emergent local environments. Our study reveals that the number of atoms with unique local environments depend on the superlattice size linearly. Moreover, this linear dependence manifests itself on two distinct lines and this automatically suggests a new classification scheme based on the local environments. As a possible application, the use of local environments in the investigation of vibrational properties is discussed with respect to the existing literature. Molecular dynamics simulations are performed to calculate the phonon density of states of the 120 structures as well as the local phonon density of states of their individual atoms. The similarity of the contributions of local density of states coming from atoms with the same local environment is demonstrated. Local density of states of the atoms with unique local environments of an arbitrary selection of the structures is then used to train a machine learning model. This model is used to predict the phonon spectra of twisted bilayer structures. Performance of the trained model is discussed thoroughly via different selection of training and test sets, and it is shown that the model proves effective in predicting the vibrational properties of any given twisted bilayer structure. The possible applications of the generic method presented which reaches far beyond twisted bilayer graphene is also discussed.


title: RadEdit: stress-testing biomedical vision models via diffusion image editing

abstract: Biomedical imaging datasets are often small and biased, meaning that real-world performance of predictive models can be substantially lower than expected from internal testing. This work proposes using generative image editing to simulate dataset shifts and diagnose failure modes of biomedical vision models; this can be used in advance of deployment to assess readiness, potentially reducing cost and patient harm. Existing editing methods can produce undesirable changes, with spurious correlations learned due to the co-occurrence of disease and treatment interventions, limiting practical applicability. To address this, we train a text-to-image diffusion model on multiple chest X-ray datasets and introduce a new editing method RadEdit that uses multiple masks, if present, to constrain changes and ensure consistency in the edited images. We consider three types of dataset shifts: acquisition shift, manifestation shift, and population shift, and demonstrate that our approach can diagnose failures and quantify model robustness without additional data collection, complementing more qualitative tools for explainable AI.


title: Light-responsive active particles in a thermotropic liquid crystal

abstract: The development of synthetic microswimmers has advanced our understanding of the fundamental self-propelled mechanisms of living systems. However, there are scarce studies at the microscale within highly structured anisotropic media, such as bacteria or cellular receptors that swim in concentrated solutions of filamentous proteins or lipids with viscoelastic properties. Synthetic liquid crystals (LCs) have the potential to serve as biomimetic surrogates to study the structure and dynamics of living systems. Nevertheless, studies on thermotropic LCs have mainly focused on electro and magneto-phoretic effects, with a few others on diffusiophoresis or light-driven distortions of the LC nematic director. To the best of our knowledge, here we report self-thermophoretic experiments on thermotropic LCs for the first time. Our system consists of 2D confined Janus particles in 5CB with homeotropic anchoring on the particle and LC cell surfaces. The Janus particles include a conductive titanium coating that, upon exposure to an LED source, is heated and induces a local steady nematic-isotropic phase transition, leading to the self-propulsion of the particles orthogonally to the LC director. The trajectories of the Janus particles were tracked at different intensities of the applied light. A model is developed to describe the mean-squared displacement of a Janus particle suspended in a nematic LC. The model assumes that the Janus particle feels the LC as a continuum with the anisotropic viscosity of the bulk nematic phase. Moreover, the viscoelasticity of the LC is also considered. The model describes the experimental data well, and the fitting parameter related to the magnitude of the swimming force increases with the intensity of the applied light. Moreover, our approach represents an important step for developing a platform for highly structured anisotropic active materials.


title: Dynamic Fairness-Aware Spectrum Auction for Enhanced Licensed Shared Access in 6G Networks

abstract: This article introduces a new approach to address the spectrum scarcity challenge in 6G networks by implementing the enhanced licensed shared access (ELSA) framework. Our proposed auction mechanism aims to ensure fairness in spectrum allocation to mobile network operators (MNOs) through a novel weighted auction called the fair Vickery-Clarke-Groves (FVCG) mechanism. Through comparison with traditional methods, the study demonstrates that the proposed auction method improves fairness significantly. We suggest using spectrum sensing and integrating UAV-based networks to enhance efficiency of the LSA system. This research employs two methods to solve the problem. We first propose a novel greedy algorithm, named market share based weighted greedy algorithm (MSWGA) to achieve better fairness compared to the traditional auction methods and as the second approach, we exploit deep reinforcement learning (DRL) algorithms, to optimize the auction policy and demonstrate its superiority over other methods. Simulation results show that the deep deterministic policy gradient (DDPG) method performs superior to soft actor critic (SAC), MSWGA, and greedy methods. Moreover, a significant improvement is observed in fairness index compared to the traditional greedy auction methods. This improvement is as high as about 27% and 35% when deploying the MSWGA and DDPG methods, respectively.


title: Towards Machines that Trust: AI Agents Learn to Trust in the Trust Game

abstract: Widely considered a cornerstone of human morality, trust shapes many aspects of human social interactions. In this work, we present a theoretical analysis of the $\textit{trust game}$, the canonical task for studying trust in behavioral and brain sciences, along with simulation results supporting our analysis. Specifically, leveraging reinforcement learning (RL) to train our AI agents, we systematically investigate learning trust under various parameterizations of this task. Our theoretical analysis, corroborated by the simulations results presented, provides a mathematical basis for the emergence of trust in the trust game.


title: Parameterized Projected Bellman Operator

abstract: Approximate value iteration (AVI) is a family of algorithms for reinforcement learning (RL) that aims to obtain an approximation of the optimal value function. Generally, AVI algorithms implement an iterated procedure where each step consists of (i) an application of the Bellman operator and (ii) a projection step into a considered function space. Notoriously, the Bellman operator leverages transition samples, which strongly determine its behavior, as uninformative samples can result in negligible updates or long detours, whose detrimental effects are further exacerbated by the computationally intensive projection step. To address these issues, we propose a novel alternative approach based on learning an approximate version of the Bellman operator rather than estimating it through samples as in AVI approaches. This way, we are able to (i) generalize across transition samples and (ii) avoid the computationally intensive projection step. For this reason, we call our novel operator projected Bellman operator (PBO). We formulate an optimization problem to learn PBO for generic sequential decision-making problems, and we theoretically analyze its properties in two representative classes of RL problems. Furthermore, we theoretically study our approach under the lens of AVI and devise algorithmic implementations to learn PBO in offline and online settings by leveraging neural network parameterizations. Finally, we empirically showcase the benefits of PBO w.r.t. the regular Bellman operator on several RL problems.


title: The Audio-Visual Conversational Graph: From an Egocentric-Exocentric Perspective

abstract: In recent years, the thriving development of research related to egocentric videos has provided a unique perspective for the study of conversational interactions, where both visual and audio signals play a crucial role. While most prior work focus on learning about behaviors that directly involve the camera wearer, we introduce the Ego-Exocentric Conversational Graph Prediction problem, marking the first attempt to infer exocentric conversational interactions from egocentric videos. We propose a unified multi-modal framework -- Audio-Visual Conversational Attention (AV-CONV), for the joint prediction of conversation behaviors -- speaking and listening -- for both the camera wearer as well as all other social partners present in the egocentric video. Specifically, we adopt the self-attention mechanism to model the representations across-time, across-subjects, and across-modalities. To validate our method, we conduct experiments on a challenging egocentric video dataset that includes multi-speaker and multi-conversation scenarios. Our results demonstrate the superior performance of our method compared to a series of baselines. We also present detailed ablation studies to assess the contribution of each component in our model. Check our project page at https://vjwq.github.io/AV-CONV/.


title: Effect Size Estimation for Duration Recommendation in Online Experiments: Leveraging Hierarchical Models and Objective Utility Approaches

abstract: The selection of the assumed effect size (AES) critically determines the duration of an experiment, and hence its accuracy and efficiency. Traditionally, experimenters determine AES based on domain knowledge. However, this method becomes impractical for online experimentation services managing numerous experiments, and a more automated approach is hence of great demand. We initiate the study of data-driven AES selection in for online experimentation services by introducing two solutions. The first employs a three-layer Gaussian Mixture Model considering the heteroskedasticity across experiments, and it seeks to estimate the true expected effect size among positive experiments. The second method, grounded in utility theory, aims to determine the optimal effect size by striking a balance between the experiment's cost and the precision of decision-making. Through comparisons with baseline methods using both simulated and real data, we showcase the superior performance of the proposed approaches.


title: Integration and Performance Analysis of Artificial Intelligence and Computer Vision Based on Deep Learning Algorithms

abstract: This paper focuses on the analysis of the application effectiveness of the integration of deep learning and computer vision technologies. Deep learning achieves a historic breakthrough by constructing hierarchical neural networks, enabling end-to-end feature learning and semantic understanding of images. The successful experiences in the field of computer vision provide strong support for training deep learning algorithms. The tight integration of these two fields has given rise to a new generation of advanced computer vision systems, significantly surpassing traditional methods in tasks such as machine vision image classification and object detection. In this paper, typical image classification cases are combined to analyze the superior performance of deep neural network models while also pointing out their limitations in generalization and interpretability, proposing directions for future improvements. Overall, the efficient integration and development trend of deep learning with massive visual data will continue to drive technological breakthroughs and application expansion in the field of computer vision, making it possible to build truly intelligent machine vision systems. This deepening fusion paradigm will powerfully promote unprecedented tasks and functions in computer vision, providing stronger development momentum for related disciplines and industries.


title: Characterising Solar Magnetic Reconnection in Confined and Eruptive Flares

abstract: Magnetic reconnection is a fundamental mechanism through which energy stored in magnetic fields is released explosively on a massive scale, they could be presented as eruptive or confined flares, depending on their association with coronal mass ejections (CMEs). Several previous works have concluded that there is no correlation between flare duration and flare class, however, their sample sizes are skewed towards B and C classes; they hardly represent the higher classes. Therefore, we studied a sample without extreme events in order to determine the correlation between flare duration and flare type (confined and eruptive). We examined $33$ flares with classes between M5 to X5 within $45^{\circ}$ of the disk centres, using data from the Atmospheric Imaging Assembly (AIA) and the Helioseismic and Magnetic Imager (HMI). We find that the linear correlation between flare class against flare duration by full width half maximum (FWHM) in general is weak ($r=0.19$); however, confined flares have a significant correlation ($r=0.58$) compared to eruptive types ($r=0.08$). Also, the confined M class flares' average duration is less than half of the eruptive flares. Similarly, confined flares have a higher correlation ($r=0.89$) than eruptive flares ($r=0.60$) between flare classes against magnetic reconnection flux. In this work, a balanced sample size between flare types is an important strategy for obtaining a reliable quantitative comparison.


title: Deep-Unfolded Joint Activity and Data Detection for Grant-Free Transmission in Cell-Free Systems

abstract: Massive grant-free transmission and cell-free wireless communication systems have emerged as pivotal enablers for massive machine-type communication. This paper proposes a deep-unfolding-based joint activity and data detection (DU-JAD) algorithm for massive grant-free transmission in cell-free systems. We first formulate a joint activity and data detection optimization problem, which we solve approximately using forward-backward splitting (FBS). We then apply deep unfolding to FBS to optimize algorithm parameters using machine learning. In order to improve data detection (DD) performance, reduce algorithm complexity, and enhance active user detection (AUD), we employ a momentum strategy, an approximate posterior mean estimator, and a novel soft-output AUD module, respectively. Simulation results confirm the efficacy of DU-JAD for AUD and DD.


title: Dynamic Screening by Plasticity in Amorphous Solids

abstract: In recent work, it was shown that elasticity theory can break down in amorphous solids subjected to nonuniform {\em static} loads. The elastic fields are screened by geometric dipoles; these stem from gradients of the quadrupole field associated with plastic responses. Here we study the dynamical responses induced by {\em oscillatory} loads. The required modification to classical elasticity is described. Exact solutions for the displacement field in circular geometry are presented, demonstrating that dipole screening results in essential departures from the expected predictions of classical elasticity theory. Numerical simulations are conducted to validate the theoretical predictions and to delineate their range of validity.


title: COVID-19 Diagnosis: ULGFBP-ResNet51 approach on the CT and the Chest X-ray Images Classification

abstract: The contagious and pandemic COVID-19 disease is currently considered as the main health concern and posed widespread panic across human-beings. It affects the human respiratory tract and lungs intensely. So that it has imposed significant threats for premature death. Although, its early diagnosis can play a vital role in revival phase, the radiography tests with the manual intervention are a time-consuming process. Time is also limited for such manual inspecting of numerous patients in the hospitals. Thus, the necessity of automatic diagnosis on the chest X-ray or the CT images with a high efficient performance is urgent. Toward this end, we propose a novel method, named as the ULGFBP-ResNet51 to tackle with the COVID-19 diagnosis in the images. In fact, this method includes Uniform Local Binary Pattern (ULBP), Gabor Filter (GF), and ResNet51. According to our results, this method could offer superior performance in comparison with the other methods, and attain maximum accuracy.


title: Relightable and Animatable Neural Avatars from Videos

abstract: Lightweight creation of 3D digital avatars is a highly desirable but challenging task. With only sparse videos of a person under unknown illumination, we propose a method to create relightable and animatable neural avatars, which can be used to synthesize photorealistic images of humans under novel viewpoints, body poses, and lighting. The key challenge here is to disentangle the geometry, material of the clothed body, and lighting, which becomes more difficult due to the complex geometry and shadow changes caused by body motions. To solve this ill-posed problem, we propose novel techniques to better model the geometry and shadow changes. For geometry change modeling, we propose an invertible deformation field, which helps to solve the inverse skinning problem and leads to better geometry quality. To model the spatial and temporal varying shading cues, we propose a pose-aware part-wise light visibility network to estimate light occlusion. Extensive experiments on synthetic and real datasets show that our approach reconstructs high-quality geometry and generates realistic shadows under different body poses. Code and data are available at \url{https://wenbin-lin.github.io/RelightableAvatar-page/}.


title: Rule-Extraction Methods From Feedforward Neural Networks: A Systematic Literature Review

abstract: Motivated by the interpretability question in ML models as a crucial element for the successful deployment of AI systems, this paper focuses on rule extraction as a means for neural networks interpretability. Through a systematic literature review, different approaches for extracting rules from feedforward neural networks, an important block in deep learning models, are identified and explored. The findings reveal a range of methods developed for over two decades, mostly suitable for shallow neural networks, with recent developments to meet deep learning models' challenges. Rules offer a transparent and intuitive means of explaining neural networks, making this study a comprehensive introduction for researchers interested in the field. While the study specifically addresses feedforward networks with supervised learning and crisp rules, future work can extend to other network types, machine learning methods, and fuzzy rule extraction.


title: DynamiQS: Quantum Secure Authentication for Dynamic Charging of Electric Vehicles

abstract: Dynamic Wireless Power Transfer (DWPT) is a novel technology that allows charging an electric vehicle while driving thanks to a dedicated road infrastructure. DWPT's capabilities in automatically establishing charging sessions and billing without users' intervention make it prone to cybersecurity attacks. Hence, security is essential in preventing fraud, impersonation, and user tracking. To this aim, researchers proposed different solutions for authenticating users. However, recent advancements in quantum computing jeopardize classical public key cryptography, making currently existing solutions in DWPT authentication nonviable. To avoid the resource burden imposed by technology upgrades, it is essential to develop post-quantum-resistant solutions. In this paper, we propose DynamiQS, the first post-quantum secure authentication protocol for dynamic wireless charging. DynamiQS is privacy-preserving and secure against attacks on the DWPT. We leverage an Identity-Based Encryption with Lattices in the Ring Learning With Error framework. Furthermore, we show the possibility of using DynamiQS in a real environment, leveraging the results of cryptographic computation on real constrained devices and simulations. DynamiQS reaches a total time cost of around 281 ms, which is practicable in dynamic charging settings (car and charging infrastructure).


title: Testing the Segment Anything Model on radiology data

abstract: Deep learning models trained with large amounts of data have become a recent and effective approach to predictive problem solving -- these have become known as "foundation models" as they can be used as fundamental tools for other applications. While the paramount examples of image classification (earlier) and large language models (more recently) led the way, the Segment Anything Model (SAM) was recently proposed and stands as the first foundation model for image segmentation, trained on over 10 million images and with recourse to over 1 billion masks. However, the question remains -- what are the limits of this foundation? Given that magnetic resonance imaging (MRI) stands as an important method of diagnosis, we sought to understand whether SAM could be used for a few tasks of zero-shot segmentation using MRI data. Particularly, we wanted to know if selecting masks from the pool of SAM predictions could lead to good segmentations. Here, we provide a critical assessment of the performance of SAM on magnetic resonance imaging data. We show that, while acceptable in a very limited set of cases, the overall trend implies that these models are insufficient for MRI segmentation across the whole volume, but can provide good segmentations in a few, specific slices. More importantly, we note that while foundation models trained on natural images are set to become key aspects of predictive modelling, they may prove ineffective when used on other imaging modalities.


title: Big Tech influence over AI research revisited: memetic analysis of attribution of ideas to affiliation

abstract: There exists a growing discourse around the domination of Big Tech on the landscape of artificial intelligence (AI) research, yet our comprehension of this phenomenon remains cursory. This paper aims to broaden and deepen our understanding of Big Tech's reach and power within AI research. It highlights the dominance not merely in terms of sheer publication volume but rather in the propagation of new ideas or \textit{memes}. Current studies often oversimplify the concept of influence to the share of affiliations in academic papers, typically sourced from limited databases such as arXiv or specific academic conferences. The main goal of this paper is to unravel the specific nuances of such influence, determining which AI ideas are predominantly driven by Big Tech entities. By employing network and memetic analysis on AI-oriented paper abstracts and their citation network, we are able to grasp a deeper insight into this phenomenon. By utilizing two databases: OpenAlex and S2ORC, we are able to perform such analysis on a much bigger scale than previous attempts. Our findings suggest, that while Big Tech-affiliated papers are disproportionately more cited in some areas, the most cited papers are those affiliated with both Big Tech and Academia. Focusing on the most contagious memes, their attribution to specific affiliation groups (Big Tech, Academia, mixed affiliation) seems to be equally distributed between those three groups. This suggests that the notion of Big Tech domination over AI research is oversimplified in the discourse. Ultimately, this more nuanced understanding of Big Tech's and Academia's influence could inform a more symbiotic alliance between these stakeholders which would better serve the dual goals of societal welfare and the scientific integrity of AI research.


title: BSL: Understanding and Improving Softmax Loss for Recommendation

abstract: Loss functions steer the optimization direction of recommendation models and are critical to model performance, but have received relatively little attention in recent recommendation research. Among various losses, we find Softmax loss (SL) stands out for not only achieving remarkable accuracy but also better robustness and fairness. Nevertheless, the current literature lacks a comprehensive explanation for the efficacy of SL. Toward addressing this research gap, we conduct theoretical analyses on SL and uncover three insights: 1) Optimizing SL is equivalent to performing Distributionally Robust Optimization (DRO) on the negative data, thereby learning against perturbations on the negative distribution and yielding robustness to noisy negatives. 2) Comparing with other loss functions, SL implicitly penalizes the prediction variance, resulting in a smaller gap between predicted values and and thus producing fairer results. Building on these insights, we further propose a novel loss function Bilateral SoftMax Loss (BSL) that extends the advantage of SL to both positive and negative sides. BSL augments SL by applying the same Log-Expectation-Exp structure to positive examples as is used for negatives, making the model robust to the noisy positives as well. Remarkably, BSL is simple and easy-to-implement -- requiring just one additional line of code compared to SL. Experiments on four real-world datasets and three representative backbones demonstrate the effectiveness of our proposal. The code is available at https://github.com/junkangwu/BSL


title: On the heat evolution of the early Universe

abstract: We discuss the heat history of the early Universe and its further evolution in the framework of modern cosmological models of general relativity (GR) and alternative theories of gravity. Of great importance are the new puzzling forms of matter comprising parts of our Universe, namely, dark energy and dark matter that crucially affect the Universe structure and evolution.


title: From quantum to classical via crystallization

abstract: We show that classical states can emerge as pure ground state solutions of a quantum many-body system. We use a simple Hubbard model in 1D with strong short-range interactions and a second nearest neighbor hopping with N particles arranged among M sites. We show that the ground state of this Hubbard chain for M=2N-1 consists of a single many-body state where the strongly interacting particles arrange in a classical state with crystalline order. The ground state is separated by an energy gap from the first excited state, and survives in the thermodynamic limit for large N. The energy gap increases linearly with the strength of the interaction between the particles making the classical ground state robust to external perturbations like disorder. Our result is an example of how a quantum system can converge to a classical state, like a crystal, without requiring decoherence, wavefunction collapse or other external mechanisms.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mes-hall nlin.AO quant-ph


title: Structure-dependent QED effects in exclusive $B$-meson decays

abstract: We review recent progress in the computation of structure-dependent QED corrections to exclusive $B$ decays in the factorization approach.


title: A note on nonlocal approximations of sign-unrestricted solutions of conservation laws

abstract: We study the singular limit problem for nonlocal conservation laws in which the sign of the initial datum is unrestricted and the velocity of the conservation law depends on a nonlocal approximation of the absolute value of the density. We demonstrate that the nonlocal solutions converge to the local entropy solution when the nonlocal kernel tends to a Dirac distribution, and thus obtain an approximation result for local unsigned conservation laws, generalizing the current results on the so-called sign-restricted singular limit problem. The considered model class covers special cases like a generalized Burgers' equation and scalar versions of the Keyfitz--Kranzer system.


title: Protected edge modes based on the bulk and boundary renormalization group: A relationship between duality and generalized symmetry

abstract: We propose a theoretical formulation of protected edge modes in the language of quantum field theories based on the contemporary understanding of the renormalization group. We use bulk and boundary renormalization arguments which have never captured enough attention in condensed matter physics and related fields. We revisit various exotic bulk and boundary phenomena in contemporary physics, and one can see the conciseness of our formulations. Moreover, in the systems with open boundaries in general space-time dimensions, we also analyze their implications under general duality implemented by the shift of defects corresponding to generalized symmetries, including higher-form, non-invertible symmetries, in principle. Our formulation opens up a new paradigm to explore the systems with protected edge modes in the established language of the renormalization group.

categories: hep-th cond-mat.stat-mech cond-mat.str-el math-ph math.MP