title: Quantum emitters in van der Waals {\alpha}-MoO3

abstract: Quantum emitters in solid-state materials are highly promising building blocks for quantum information processing and communication science. Recently, single-photon emission from van der Waals materials has been reported in transition metal dichalcogenides and hexagonal boron nitride, exhibiting the potential to realize photonic quantum technologies in two-dimensional materials. Here, we report the observation of single-photon generation from exfoliated and thermally annealed single crystals of van der Waals {\alpha}-MoO3. The second-order correlation function measurement displays a clear photon antibunching, while the luminescence intensity exceeds 100 kcounts/s and remains stable under laser excitation. Also, the zero-phonon lines of these emitters are distributed in a spectrally narrow energy range. The theoretical calculation suggests that an oxygen vacancy defect is a possible candidate for the observed emitters. Together with photostability and brightness, quantum emitters in {\alpha}-MoO3 provide a new avenue to realize photon-based quantum information science in van der Waals materials.


title: Virtual birefringence imaging and histological staining of amyloid deposits in label-free tissue using autofluorescence microscopy and deep learning

abstract: Systemic amyloidosis is a group of diseases characterized by the deposition of misfolded proteins in various organs and tissues, leading to progressive organ dysfunction and failure. Congo red stain is the gold standard chemical stain for the visualization of amyloid deposits in tissue sections, as it forms complexes with the misfolded proteins and shows a birefringence pattern under polarized light microscopy. However, Congo red staining is tedious and costly to perform, and prone to false diagnoses due to variations in the amount of amyloid, staining quality and expert interpretation through manual examination of tissue under a polarization microscope. Here, we report the first demonstration of virtual birefringence imaging and virtual Congo red staining of label-free human tissue to show that a single trained neural network can rapidly transform autofluorescence images of label-free tissue sections into brightfield and polarized light microscopy equivalent images, matching the histochemically stained versions of the same samples. We demonstrate the efficacy of our method with blind testing and pathologist evaluations on cardiac tissue where the virtually stained images agreed well with the histochemically stained ground truth images. Our virtually stained polarization and brightfield images highlight amyloid birefringence patterns in a consistent, reproducible manner while mitigating diagnostic challenges due to variations in the quality of chemical staining and manual imaging processes as part of the clinical workflow.

categories: physics.med-ph cs.CV cs.LG eess.IV physics.optics


title: Soften to Defend: Towards Adversarial Robustness via Self-Guided Label Refinement

abstract: Adversarial training (AT) is currently one of the most effective ways to obtain the robustness of deep neural networks against adversarial attacks. However, most AT methods suffer from robust overfitting, i.e., a significant generalization gap in adversarial robustness between the training and testing curves. In this paper, we first identify a connection between robust overfitting and the excessive memorization of noisy labels in AT from a view of gradient norm. As such label noise is mainly caused by a distribution mismatch and improper label assignments, we are motivated to propose a label refinement approach for AT. Specifically, our Self-Guided Label Refinement first self-refines a more accurate and informative label distribution from over-confident hard labels, and then it calibrates the training by dynamically incorporating knowledge from self-distilled models into the current model and thus requiring no external teachers. Empirical results demonstrate that our method can simultaneously boost the standard accuracy and robust performance across multiple benchmark datasets, attack types, and architectures. In addition, we also provide a set of analyses from the perspectives of information theory to dive into our method and suggest the importance of soft labels for robust generalization.


title: Alternant Hydrocarbon Diradicals as Optically Addressable Molecular Qubits

abstract: High-spin molecules allow for bottom-up qubit design and are promising platforms for magnetic sensing and quantum information science. Optical addressability of molecular electron spins has also been proposed in first-row transition metal complexes via optically-detected magnetic resonance (ODMR) mechanisms analogous to the diamond-NV colour centre. However, significantly less progress has been made on the front of metal-free molecules, which can deliver lower costs and milder environmental impacts. At present, most luminescent open-shell organic molecules are $\pi$-diradicals, but such systems often suffer from poor ground-state open-shell characters necessary to realise a stable ground-state molecular qubit. In this work, we use alternancy symmetry to selectively minimise radical-radical interactions in the ground state, generating $\pi$-systems with high diradical characters. We call them m-dimers, referencing the need to covalently link two benzylic radicals at their meta carbon atoms for the desired symmetry. Through a detailed electronic structure analysis, we find that the excited states of alternant hydrocarbon m-diradicals contain important symmetries that can be used to construct ODMR mechanisms leading to ground-state spin polarisation. The molecular parameters are set in the context of a tris(2,4,6-trichlorophenyl)methyl (TTM) radical dimer covalently tethered at the meta position, demonstrating the feasibility of alternant m-diradicals as molecular colour centres.


title: Affine Frobenius Brauer Categories

abstract: We define the affine Frobenius Brauer category $\mathcal{AB}(A, -^\star)$ associated to each symmetric involutive Frobenius superalgebra $A$. We then define an action of these categories on the categories of finite-dimensional supermodules for orthosymplectic Lie superalgebras defined over $A$. The case where $A$ is the base field recovers the known action of the affine Brauer category on categories of supermodules for orthogonal and symplectic Lie algebras. The definition and associated action of $\mathcal{AB}(A, -^\star)$ are both novel when $A$ is e.g. the quaternions $\mathbb{H}$, a finite group algebra, a zigzag superalgebra, or a truncated polynomial algebra. Finally, we state a conjecture for bases of hom-spaces in $\mathcal{AB}(A, -^\star)$ and outline a potential proof strategy.


title: On the Evidence for Molecular Outflows in High-redshift Dusty Star-forming Galaxies

abstract: Galactic-scale outflows of molecular gas from star-forming galaxies constitute the most direct evidence for regulation of star formation. In the early universe ($ z > 4 $), such outflows have recently been inferred from gravitationally-lensed dusty star-forming galaxies (DSFGs) based on ubiquitous detections of OH absorption extending to more blueshifted velocities than [CII] or CO emission in spatially-integrated spectra. Because these lines are redshifted to sub-mm wavelengths, such measurements require careful corrections for atmospheric absorption lines, and a proper accounting of sometimes large variations in measurement uncertainties over these lines. Taking these factors into consideration, we re-analyze OH and [CII] data taken with ALMA for the five sources where such data is available, of which four were categorised as exhibiting outflows. Based on their spatially-integrated spectra alone, we find statistically significant ($ \geq 3 \sigma $) OH absorption more blueshifted than [CII] emission in only one source. By contrast, searching channel maps for signals diluted below the detection threshold in spatially-integrated spectra, we find evidence for a separate kinematic component in OH absorption in all five sources in the form of: (i) more blueshifted OH absorption than [CII] emission and/or (ii) a component in OH absorption exhibiting a different spatio-kinematic pattern than [CII] emission, the latter presumably tracing gas in a rotating disc. Providing a more complete and accurate assessment of molecular outflows in gravitationally-lensed DSFGs, we suggest methods to better assess the precision of corrections for atmospheric absorption and to more accurately measure the source continuum in future observations.


title: Effect of torsion in long-baseline neutrino oscillation experiments

abstract: In this work we investigate the effect of curved spacetime on neutrino oscillation. In a curved spacetime, the effect of curvature on fermionic fields is represented by spin connection. The spin connection consists of a non-universal ``contorsion" part which is expressed in terms of vector and axial current density of fermions. The contraction of contorsion part with the tetrad fields, which connects the internal flat space metric and the spacetime metric, is called torsion. In a scenario where neutrino travels through background of fermionic matter at ordinary densities in a curved spacetime, the Hamiltonian of neutrino oscillation gets modified by the torsional coupling constants $\lambda_{21}^{\prime}$ and $\lambda_{31}^{\prime}$. The aim of this work is to study the effect of $\lambda_{21}^{\prime}$ and $\lambda_{31}^{\prime}$ in DUNE and P2SO. In our study we, (i) discuss the effect of torsional coupling constants on the neutrino oscillation probabilities, (ii) estimate the capability of P2SO and DUNE to put bounds on these parameters and (iii) study how the physics sensitivities get modified in presence of torsion.


title: Effects of neck and nuclear orientations on the mass drift in heavy ion collisions

abstract: We clarified that the fusion hindrance in heavy ion collisions is caused by the expansion of the neck bridge at the early stage of collision [Phys. Rev. C 108, 014612 (2023)]; however, our discussion was limited to the trajectory analysis. To get a reliable fusion cross section, it is important to understand the fusion process connecting with multinucleon transfer and also the process depending on the target orientation in detail. Especially, the effects of target orientation on the multinucleon transfer process have not been discussed so far in our model. First, we investigate precisely the start time of the neck expansion relevant to the mass transfer. The main aims of this paper are to discuss the mass drift in the collision with the different target orientations within the dynamical approach in the reaction 32S + 232Th. The orientation effects are incorporated within the framework of the Langevin equation. The start time of the neck expansion was presumed to be 10 zs by analysis in several entrance channels. By taking account of the target nuclear orientation, a strong mass-angle correlation was obtained which is compatible with the experimental data. Not only ``delayed relaxation'' of the neck but also the nuclear orientation effects have an important role in the strong correlation between fragment mass and its emitting angle. The mass evolution toward mass symmetry is slower than the standard mass drift mode assuming an exponential-type function. Particularly, the mass drift of the tip collision follows the slow mass drift mode assuming a Fermi-type function rather than an exponential-type function, which is related to the different features of the maximum neck cross-sectional area in the sticking process.


title: S^2MVTC: a Simple yet Efficient Scalable Multi-View Tensor Clustering

abstract: Anchor-based large-scale multi-view clustering has attracted considerable attention for its effectiveness in handling massive datasets. However, current methods mainly seek the consensus embedding feature for clustering by exploring global correlations between anchor graphs or projection matrices.In this paper, we propose a simple yet efficient scalable multi-view tensor clustering (S^2MVTC) approach, where our focus is on learning correlations of embedding features within and across views. Specifically, we first construct the embedding feature tensor by stacking the embedding features of different views into a tensor and rotating it. Additionally, we build a novel tensor low-frequency approximation (TLFA) operator, which incorporates graph similarity into embedding feature learning, efficiently achieving smooth representation of embedding features within different views. Furthermore, consensus constraints are applied to embedding features to ensure inter-view semantic consistency. Experimental results on six large-scale multi-view datasets demonstrate that S^2MVTC significantly outperforms state-of-the-art algorithms in terms of clustering performance and CPU execution time, especially when handling massive data. The code of S^2MVTC is publicly available at https://github.com/longzhen520/S2MVTC.


title: CardioCaps: Attention-based Capsule Network for Class-Imbalanced Echocardiogram Classification

abstract: Capsule Neural Networks (CapsNets) is a novel architecture that utilizes vector-wise representations formed by multiple neurons. Specifically, the Dynamic Routing CapsNets (DR-CapsNets) employ an affine matrix and dynamic routing mechanism to train capsules and acquire translation-equivariance properties, enhancing its robustness compared to traditional Convolutional Neural Networks (CNNs). Echocardiograms, which capture moving images of the heart, present unique challenges for traditional image classification methods. In this paper, we explore the potential of DR-CapsNets and propose CardioCaps, a novel attention-based DR-CapsNet architecture for class-imbalanced echocardiogram classification. CardioCaps comprises two key components: a weighted margin loss incorporating a regression auxiliary loss and an attention mechanism. First, the weighted margin loss prioritizes positive cases, supplemented by an auxiliary loss function based on the Ejection Fraction (EF) regression task, a crucial measure of cardiac function. This approach enhances the model's resilience in the face of class imbalance. Second, recognizing the quadratic complexity of dynamic routing leading to training inefficiencies, we adopt the attention mechanism as a more computationally efficient alternative. Our results demonstrate that CardioCaps surpasses traditional machine learning baseline methods, including Logistic Regression, Random Forest, and XGBoost with sampling methods and a class weight matrix. Furthermore, CardioCaps outperforms other deep learning baseline methods such as CNNs, ResNets, U-Nets, and ViTs, as well as advanced CapsNets methods such as EM-CapsNets and Efficient-CapsNets. Notably, our model demonstrates robustness to class imbalance, achieving high precision even in datasets with a substantial proportion of negative cases.


title: Temperature and Tautomeric Effects in High-Resolution Oxygen 1s X-ray Photoelectron Spectroscopy of Purines and Pyrimidines

abstract: Purines and pyrimidines, crucial building blocks in biological systems, have attracted significant interest across molecular physics, biochemistry, pharmacology, and chemistry. Extensive spectroscopies have been employed for characterization, while the temperature and potential tautomeric effects can complicate the interpretation of underlying physics and chemistry. Here, we conducted first-principles simulations to analyze the vibrationally-resolved O1s X-ray photoelectron spectra of 6 common biomolecules at different temperatures, comprising 3 purine (xanthine, caffeine, and hypoxanthine) and 3 pyrimidine (thymine, 5F-uracil, and uracil) derivatives, and the tautomeric effect of hypoxanthine at varying temperatures. Using both time-independent (TI) and time-dependent (TD) methods under the Franck-Condon approximation, we obtained theoretical spectra that exhibited excellent agreement with experiments. Our analysis of these systems, all featuring carbonyl oxygens, unveiled distinctive characteristics of oxygen in N-CO-N (O2) compared to that within a N-CO-C structure (O1), showcasing higher O1s binding energy and total vibrational reorganization energy. We observed small differences in the zero-point vibration energies between the core-ionized and ground states, indicating a weak Duschinsky rotation effect. We consistently found that O1s ionization resulted in elongation of the O*=C bond length. The TI method facilitated the assignment of experimental spectra to different atoms or tautomers, where the atom-specific vibronic profiles of all 6 molecules exhibited similarity, with the 0-2 transitions dominating. TD enabled a more comprehensive exploration of the temperature effect, and the tautomeric effect of hypoxanthine by incorporating the Boltzmann population ratios of tautomers. We observed significant temperature dependence in the vibronic features present in these spectra.

categories: physics.chem-ph physics.atm-clus physics.comp-ph physics.optics


title: SINDy-RL: Interpretable and Efficient Model-Based Reinforcement Learning

abstract: Deep reinforcement learning (DRL) has shown significant promise for uncovering sophisticated control policies that interact in environments with complicated dynamics, such as stabilizing the magnetohydrodynamics of a tokamak fusion reactor or minimizing the drag force exerted on an object in a fluid flow. However, these algorithms require an abundance of training examples and may become prohibitively expensive for many applications. In addition, the reliance on deep neural networks often results in an uninterpretable, black-box policy that may be too computationally expensive to use with certain embedded systems. Recent advances in sparse dictionary learning, such as the sparse identification of nonlinear dynamics (SINDy), have shown promise for creating efficient and interpretable data-driven models in the low-data regime. In this work we introduce SINDy-RL, a unifying framework for combining SINDy and DRL to create efficient, interpretable, and trustworthy representations of the dynamics model, reward function, and control policy. We demonstrate the effectiveness of our approaches on benchmark control environments and challenging fluids problems. SINDy-RL achieves comparable performance to state-of-the-art DRL algorithms using significantly fewer interactions in the environment and results in an interpretable control policy orders of magnitude smaller than a deep neural network policy.


title: Partitioning Distribution Networks for Integrated Electrification Planning

abstract: In many developing countries, access to electricity remains a significant challenge. Electrification planners in these countries often have to make important decisions on the mode of electrification and the planning of electrical networks for those without access, while under resource constraints. An integrated approach to electrification planning in which traditional grid electrification is complemented off-the-grid technologies such as off-grid microgrids and stand-alone systems can enable the economic provision of electricity access in these regions. This integrated planning approach can be facilitated by determining the least-cost mode of electrification - i.e by electric grid extension or off-grid systems - for non-electrified consumers in a region under analysis, while considering technical, economic and environmental constraints. Computational clustering methods the identification of consumer clusters (either as clusters of off-grid microgrids, stand-alone systems or grid-extension projects) can be undertaken using computational clustering methods. This paper presents a novel computational approach to achieve this purpose. This methodology involves exploiting the grid network that connects all consumers, by greedily partitioning the network to identify clusters of consumers to be electrified by grid-extension and off-grid microgrid systems. Using test cases and sensitivity analyses, we implement and benchmark this top-down approach with those obtained from a bottom-up clustering methodology used by the Reference Electrification Model, a model obtainable in literature. Results presented show that the alternative top-down methodology proposed can compare favorably, in terms of global electrification costs, with a bottom-up approach to rural electrification planning.


title: Spin-Orbit Coupled Insulators and Metals on the Verge of Kitaev Spin Liquids in Ilmenite Heterostructures

abstract: Competition and cooperation between electron correlation and relativistic spin-orbit coupling give rise to diverse exotic quantum phenomena in solids. An illustrative example is spin-orbit entangled quantum liquids, which exhibit remarkable features such as topological orders and fractional excitations. The Kitaev honeycomb model realizes such interesting states, called the Kitaev spin liquids, but its experimental feasibility is still challenging. Here we theoretically investigate hexagonal heterostructures including a candidate for the Kitaev magnets, MgIrO$_3$, to actively manipulate the electronic and magnetic properties toward realizing the Kitaev spin liquids. For three different structure types of ilmenite bilayers MgIrO$_3$/$A$TiO$_3$ with $A$ = Mn, Fe, Co, and Ni, we obtain the optimized lattice structures, the electronic band structures, the stable magnetic orders, and the effective magnetic couplings. We find that the spin-orbital coupled bands characterized by the pseudospin $j_{\rm eff}=$ 1/2 are retained in the MgIrO$_3$ layer for all the heterostructures, but the magnetic state and the band gap depend on the types of heterostructures as well as the $A$ atoms. In particular, one type becomes metallic irrespective of $A$, while the other two are mostly insulating. We show that the insulating cases provide spin-orbit coupled Mott insulating states with dominant Kitaev-type interactions, accompanied by different combinations of subdominant interactions depending on the heterostructural type and $A$, while the metallic cases realize spin-orbit coupled metals with various doping rates. Our results indicate that these hexagonal heterostructures are a good platform for engineering electronic and magnetic properties of the spin-orbital coupled correlated materials, including the possibility of Majorana Fermi surfaces and topological superconductivity.


title: AutoLoRA: Automatically Tuning Matrix Ranks in Low-Rank Adaptation Based on Meta Learning

abstract: Large-scale pretraining followed by task-specific finetuning has achieved great success in various NLP tasks. Since finetuning all parameters of large pretrained models poses substantial computational and memory challenges, several efficient finetuning methods have been developed. Among them, low-rank adaptation (LoRA), which finetunes low-rank incremental update matrices on top of frozen pretrained weights, has proven particularly effective. Nonetheless, LoRA's uniform rank assignment across all layers, along with its reliance on an exhaustive search to find the best rank, leads to high computation costs and suboptimal finetuning performance. To address these limitations, we introduce AutoLoRA, a meta learning based framework for automatically identifying the optimal rank of each LoRA layer. AutoLoRA associates each rank-1 matrix in a low-rank update matrix with a selection variable, which determines whether the rank-1 matrix should be discarded. A meta learning based method is developed to learn these selection variables. The optimal rank is determined by thresholding the values of these variables. Our comprehensive experiments on natural language understanding, generation, and sequence labeling demonstrate the effectiveness of AutoLoRA.


title: Global existence and asymptotic stability for the Toner-Tu model of flocking

abstract: This paper deals with the Toner-Tu (TT) model, which is a hydrodynamic model describing the collective motion of numerous self-propelled agents. We analytically study the global-in-time well-posedness of the TT model near the steady-state solution in the ordered phase. We also show the large-time behavior of solutions showing that the steady-state solution is polynomially stable in a Sobolev space in the sense that solutions that are initially close to that steady state converge to that at least polynomially fast as time tends to infinity. Moreover, we investigate the variant of the TT model which describes the dynamics of the actin filament.


title: Effects of Structural Variations to X-ray Absorption Spectra of g-C$_3$N$_4$: Insights from DFT and TDDFT Simulations

abstract: X-ray absorption spectroscopy (XAS) is widely employed for structure characterization of graphitic carbon nitride (g-C$_3$N$_4$) and its composites. Nevertheless, even for pure g-C$_3$N$_4$, discrepancies in energy and profile exist across different experiments, which can be attributed to variations in structures arising from diverse synthesis conditions and calibration procedures. Here, we conducted a theoretical investigation on XAS of three representative g-C$_3$N$_4$ structures (planar, corrugated, and micro-corrugated) optimized with different strategies, to understand the structure-spectroscopy relation. Different methods were compared, including density functional theory (DFT) with the full (FCH) or equivalent (ECH) core-hole approximation, as well as the time-dependent DFT (TDDFT). FCH was responsible for getting accurate absolute absorption energy; while ECH and TDDFT aided in interpreting the spectra, through ECH-state canonical molecular orbitals (ECH-CMOs) and natural transition orbitals (NTOs), respectively. With each method, the spectra at the three structures show evident differences, which can be correlated to different individual experiments or in between. Our calculations explained the structural reason behind the spectral discrepancies among different experiments. Moreover, profiles predicted by these methods also displayed consistency, so their differences can be used as a reliable indicator of their accuracy. Both ECH-CMOs and NTO particle orbitals led to similar graphics, validating their applicability in interpreting the transitions. This work provides a comprehensive analysis of the structure-XAS relation for g-C$_3$N$_4$, provides concrete explanations for the spectral differences reported in various experiments, and offers insight for future structure dynamical and transient X-ray spectral analyses.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.chem-ph physics.comp-ph


title: Frustrated Quantum Magnetism on Complex Networks: What Sets the Total Spin

abstract: Consider equal antiferromagnetic Heisenberg interactions between qubits sitting at the nodes of a complex, nonbipartite network. We ask the question: How does the network topology determine the net magnetization of the ground state and to what extent is it tunable? By examining various network families with tunable properties, we demonstrate that (i) graph heterogeneity, i.e., spread in the number of neighbors, is essential for a nonzero total spin, and (ii) other than the average number of neighbors, the key structure governing the total spin is the presence of (disassortative) hubs, as opposed to the level of frustration. We also show how to construct simple networks where the magnetization can be tuned over its entire range across both abrupt and continuous transitions, which may be realizable on existing platforms. Our findings pose a number of fundamental questions and strongly motivate wider exploration of quantum many-body phenomena beyond regular lattices.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Randomized Principal Component Analysis for Hyperspectral Image Classification

abstract: The high-dimensional feature space of the hyperspectral imagery poses major challenges to the processing and analysis of the hyperspectral data sets. In such a case, dimensionality reduction is necessary to decrease the computational complexity. The random projections open up new ways of dimensionality reduction, especially for large data sets. In this paper, the principal component analysis (PCA) and randomized principal component analysis (R-PCA) for the classification of hyperspectral images using support vector machines (SVM) and light gradient boosting machines (LightGBM) have been investigated. In this experimental research, the number of features was reduced to 20 and 30 for classification of two hyperspectral datasets (Indian Pines and Pavia University). The experimental results demonstrated that PCA outperformed R-PCA for SVM for both datasets, but received close accuracy values for LightGBM. The highest classification accuracies were obtained as 0.9925 and 0.9639 by LightGBM with original features for the Pavia University and Indian Pines, respectively.


title: Graph-Based DDoS Attack Detection in IoT Systems with Lossy Network

abstract: This study introduces a robust solution for the detection of Distributed Denial of Service (DDoS) attacks in Internet of Things (IoT) systems, leveraging the capabilities of Graph Convolutional Networks (GCN). By conceptualizing IoT devices as nodes within a graph structure, we present a detection mechanism capable of operating efficiently even in lossy network environments. We introduce various graph topologies for modeling IoT networks and evaluate them for detecting tunable futuristic DDoS attacks. By studying different levels of network connection loss and various attack situations, we demonstrate that the correlation-based hybrid graph structure is effective in spotting DDoS attacks, substantiating its good performance even in lossy network scenarios. The results indicate a remarkable performance of the GCN-based DDoS detection model with an F1 score of up to 91%. Furthermore, we observe at most a 2% drop in F1-score in environments with up to 50% connection loss. The findings from this study highlight the advantages of utilizing GCN for the security of IoT systems which benefit from high detection accuracy while being resilient to connection disruption.


title: Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss

abstract: In this paper, we present a~generalisation of proof simulation procedures for Frege systems by Bonet and Buss to some logics for which the deduction theorem does not hold. In particular, we study the case of finite-valued \L{}ukasiewicz logics. To this end, we provide proof systems that augment Avron's Frege system for \L{}ukasiewicz three-valued logic with nested and general versions of the disjunction elimination rule, respectively. For these systems we provide upper bounds on speed-ups w.r.t.\ both the number of steps in proofs and the length of proofs. We also consider Tamminga's natural deduction and Avron's hypersequent calculus for 3-valued \L{}ukasiewicz logic and generalise our results considering the disjunction elimination rule to all finite-valued \L{}ukasiewicz logics.


title: On the Miyaoka-Yau inequality for manifolds with nef anti-canonical line bundle

abstract: Based on the recent work of K.~Zhang, we discuss the Miyaoka-Yau type inequality for projective manifolds with nef anti-canonical line bundle, assuming the lower bound of the delta-invariant introduced by Fujita and Odaka.


title: OutlineSpark: Igniting AI-powered Presentation Slides Creation from Computational Notebooks through Outlines

abstract: Computational notebooks are widely utilized for exploration and analysis. However, creating slides to communicate analysis results from these notebooks is quite tedious and time-consuming. Researchers have proposed automatic systems for generating slides from notebooks, which, however, often do not consider the process of users conceiving and organizing their messages from massive code cells. Those systems ask users to go directly into the slide creation process, which causes potentially ill-structured slides and burdens in further refinement. Inspired by the common and widely recommended slide creation practice: drafting outlines first and then adding concrete content, we introduce OutlineSpark, an AI-powered slide creation tool that generates slides from a slide outline written by the user. The tool automatically retrieves relevant notebook cells based on the outlines and converts them into slide content. We evaluated OutlineSpark with 12 users. Both the quantitative and qualitative feedback from the participants verify its effectiveness and usability.


title: Bounds and extremal graphs for monitoring edge-geodetic sets in graphs

abstract: A monitoring edge-geodetic set, or simply an MEG-set, of a graph $G$ is a vertex subset $M \subseteq V(G)$ such that given any edge $e$ of $G$, $e$ lies on every shortest $u$-$v$ path of $G$, for some $u,v \in M$. The monitoring edge-geodetic number of $G$, denoted by $meg(G)$, is the minimum cardinality of such an MEG-set. This notion provides a graph theoretic model of the network monitoring problem. In this article, we compare $meg(G)$ with some other graph theoretic parameters stemming from the network monitoring problem and provide examples of graphs having prescribed values for each of these parameters. We also characterize graphs $G$ that have $V(G)$ as their minimum MEG-set, which settles an open problem due to Foucaud \textit{et al.} (CALDAM 2023), and prove that some classes of graphs fall within this characterization. We also provide a general upper bound for $meg(G)$ for sparse graphs in terms of their girth, and later refine the upper bound using the chromatic number of $G$. We examine the change in $meg(G)$ with respect to two fundamental graph operations: clique-sum and subdivisions. In both cases, we provide a lower and an upper bound of the possible amount of changes and provide (almost) tight examples.


title: Optimal Top-Two Method for Best Arm Identification and Fluid Analysis

abstract: Top-$2$ methods have become popular in solving the best arm identification (BAI) problem. The best arm, or the arm with the largest mean amongst finitely many, is identified through an algorithm that at any sequential step independently pulls the empirical best arm, with a fixed probability $\beta$, and pulls the best challenger arm otherwise. The probability of incorrect selection is guaranteed to lie below a specified $\delta >0$. Information theoretic lower bounds on sample complexity are well known for BAI problem and are matched asymptotically as $\delta \rightarrow 0$ by computationally demanding plug-in methods. The above top 2 algorithm for any $\beta \in (0,1)$ has sample complexity within a constant of the lower bound. However, determining the optimal $\beta$ that matches the lower bound has proven difficult. In this paper, we address this and propose an optimal top-2 type algorithm. We consider a function of allocations anchored at a threshold. If it exceeds the threshold then the algorithm samples the empirical best arm. Otherwise, it samples the challenger arm. We show that the proposed algorithm is optimal as $\delta \rightarrow 0$. Our analysis relies on identifying a limiting fluid dynamics of allocations that satisfy a series of ordinary differential equations pasted together and that describe the asymptotic path followed by our algorithm. We rely on the implicit function theorem to show existence and uniqueness of these fluid ode's and to show that the proposed algorithm remains close to the ode solution.


title: Single Domain Generalization for Crowd Counting

abstract: Due to its promising results, density map regression has been widely employed for image-based crowd counting. The approach, however, often suffers from severe performance degradation when tested on data from unseen scenarios, the so-called "domain shift" problem. To address the problem, we investigate in this work single domain generalization (SDG) for crowd counting. The existing SDG approaches are mainly for image classification and segmentation, and can hardly be extended to our case due to its regression nature and label ambiguity (i.e., ambiguous pixel-level ground truths). We propose MPCount, a novel effective SDG approach even for narrow source distribution. MPCount stores diverse density values for density map regression and reconstructs domain-invariant features by means of only one memory bank, a content error mask and attention consistency loss. By partitioning the image into grids, it employs patch-wise classification as an auxiliary task to mitigate label ambiguity. Through extensive experiments on different datasets, MPCount is shown to significantly improve counting accuracy compared to the state of the art under diverse scenarios unobserved in the training data characterized by narrow source distribution. Code is available at https://github.com/Shimmer93/MPCount.


title: Exploring the Capabilities and Limitations of Large Language Models in the Electric Energy Sector

abstract: Large Language Models (LLMs) as chatbots have drawn remarkable attention thanks to their versatile capability in natural language processing as well as in a wide range of tasks. While there has been great enthusiasm towards adopting such foundational model-based artificial intelligence tools in all sectors possible, the capabilities and limitations of such LLMs in improving the operation of the electric energy sector need to be explored, and this article identifies fruitful directions in this regard. Key future research directions include data collection systems for fine-tuning LLMs, embedding power system-specific tools in the LLMs, and retrieval augmented generation (RAG)-based knowledge pool to improve the quality of LLM responses and LLMs in safety-critical use cases.


title: Femtoscopic study of the $\Lambda\alpha$ interaction

abstract: We examine the $\Lambda$-${}^4\mathrm{He}$ ($\alpha$) momentum correlation in high-energy collisions to elucidate the interaction between Lambdas ($\Lambda$) and nucleons ($N$). We compare phenomenological $\Lambda\alpha$ potentials with different strength at short range. In addition to the conventional Gaussian type potentials, we construct the $\Lambda\alpha$ potentials by substituting the nucleon density distribution of $\alpha$ in the Skyrme-type $\Lambda$ potentials. We find that the dependence on the employed potential models is visible in the correlation functions from a small size source. This indicates that the $\Lambda\alpha$ momentum correlation could constrain the property of the $\Lambda N$ interaction at high densities, which is expected to play an essential role in dense nuclear matter. Also, we verify that the Lednicky-Lyuboshits formula can yield erroneous results for a small source size with a potential which has large interaction range, like the $\Lambda\alpha$ system.


title: Optimal Pinning Control for Synchronization over Temporal Networks

abstract: In this paper, we address the finite time synchronization of a network of dynamical systems with time-varying interactions modeled using temporal networks. We synchronize a few nodes initially using external control inputs. These nodes are termed as pinning nodes. The other nodes are synchronized by interacting with the pinning nodes and with each other. We first provide sufficient conditions for the network to be synchronized. Then we formulate an optimization problem to minimize the number of pinning nodes for synchronizing the entire network. Finally, we address the problem of maximizing the number of synchronized nodes when there are constraints on the number of nodes that could be pinned. We show that this problem belongs to the class of NP-hard problems and propose a greedy heuristic. We illustrate the results using numerical simulations.


title: Rethinking Referring Object Removal

abstract: Referring object removal refers to removing the specific object in an image referred by natural language expressions and filling the missing region with reasonable semantics. To address this task, we construct the ComCOCO, a synthetic dataset consisting of 136,495 referring expressions for 34,615 objects in 23,951 image pairs. Each pair contains an image with referring expressions and the ground truth after elimination. We further propose an end-to-end syntax-aware hybrid mapping network with an encoding-decoding structure. Linguistic features are hierarchically extracted at the syntactic level and fused in the downsampling process of visual features with multi-head attention. The feature-aligned pyramid network is leveraged to generate segmentation masks and replace internal pixels with region affinity learned from external semantics in high-level feature maps. Extensive experiments demonstrate that our model outperforms diffusion models and two-stage methods which process the segmentation and inpainting task separately by a significant margin.


title: All-pay Auction Based Profit Maximization in End-to-End Computation Offloading System

abstract: Pricing is an important issue in mobile edge computing. How to appropriately determine the bid of end user (EU) is an incentive factor for edge cloud (EC) to offer service. In this letter, we propose an equilibrium pricing scheme based on the all-pay auction model in end-to-end collaboration environment, wherein all EUs can acquire the service at a lower price than the own value of the required resource. In addition, we propose a set allocation algorithm to divide all the bidders into different sets according to the price, and the EUs in each set get the service, which averts the case of getting no service due to the low price. Extensive simulation results demonstrate that the proposed scheme can effectively maximize the total profit of the edge offloading system, and guarantee all EUs can access the service.


title: Viral Load Inference in Non-Adaptive Pooled Testing

abstract: Medical diagnostic testing can be made significantly more efficient using pooled testing protocols. These typically require a sparse infection signal and use either binary or real-valued entries of O(1). However, existing methods do not allow for inferring viral loads which span many orders of magnitude. We develop a message passing algorithm coupled with a PCR (Polymerase Chain Reaction) specific noise function to allow accurate inference of realistic viral load signals. This work is in the non-adaptive setting and could open the possibility of efficient screening where viral load determination is clinically important.


title: ProSwitch: Knowledge-Guided Instruction Tuning to Generate Professional and Non-Professional Styled Text

abstract: Large Language Models (LLMs) have demonstrated efficacy in various linguistic applications, including text summarization and controlled text generation. However, studies into their capacity of switching between styles via fine-tuning remain underexplored. This study concentrates on textual professionalism and introduces a novel methodology, named ProSwitch, which equips a language model with the ability to produce both professional and non-professional responses through knowledge-guided instruction tuning. ProSwitch unfolds across three phases: data preparation for gathering domain knowledge and training corpus; instruction tuning for optimizing language models with multiple levels of instruction formats; and comprehensive evaluation for assessing the professionalism discrimination and reference-based quality of generated text. Comparative analysis of ProSwitch against both general and specialized language models reveals that our approach outperforms baselines in switching between professional and non-professional text generation.


title: Quantitative Reducibility of $C^k$ Quasi-Periodic Cocycles

abstract: This paper establishes an extreme $C^k$ reducibility theorem of quasi-periodic $SL(2, \mathbb{R})$ cocycles in the local perturbative region, revealing both the essence of Eliasson [Commun.Math.Phys.1992] and Hou-You [Invent.Math.2012] in respectively the non-resonant and resonant cases. By paralleling further the reducibility process with the almost reducibility, we are able to acquire the least initial regularity as well as the least loss of regularity for the whole KAM iterations. This, in return, makes various spectral applications of quasi-periodic Schr\"odinger operators wide open.


title: A Low-Rank ADMM Splitting Approach for Semidefinite Programming

abstract: We introduce a new first-order method for solving general semidefinite programming problems, based on the alternating direction method of multipliers (ADMM) and a matrix-splitting technique. Our algorithm has an advantage over the Burer-Monteiro approach as it only involves much easier quadratically regularized subproblems in each iteration. For a linear objective, the subproblems are well-conditioned quadratic programs that can be efficiently solved by the standard conjugate gradient method. We show that the ADMM algorithm achieves sublinear or linear convergence rates to the KKT solutions under different conditions. Building on this theoretical development, we present LoRADS, a new solver for linear SDP based on the Low-Rank ADMM Splitting approach. LoRADS incorporates several strategies that significantly increase its efficiency. Firstly, it initiates with a warm-start phase that uses the Burer-Monteiro approach. Moreover, motivated by the SDP low-rank theory [So et al. 2008], LoRADS chooses an initial rank of logarithmic order and then employs a dynamic approach to increase the rank. Numerical experiments indicate that LoRADS exhibits promising performance on various SDP problems. A noteworthy achievement of LoRADS is its successful solving of a matrix completion problem with $15,694,167$ constraints and a matrix variable of size $40,000 \times 40,000$ in $351$ seconds.


title: Local Enumeration and Majority Lower Bounds

abstract: Depth-3 circuit lower bounds and $k$-SAT algorithms are intimately related; the state-of-the-art $\Sigma^k_3$-circuit lower bound and the $k$-SAT algorithm are based on the same combinatorial theorem. In this paper we define a problem which reveals new interactions between the two. Define Enum($k$, $t$) problem as: given an $n$-variable $k$-CNF and an initial assignment $\alpha$, output all satisfying assignments at Hamming distance $t$ from $\alpha$, assuming that there are no satisfying assignments of Hamming distance less than $t$ from $\alpha$. Observe that: an upper bound $b(n, k, t)$ on the complexity of Enum($k$, $t$) implies: - Depth-3 circuits: Any $\Sigma^k_3$ circuit computing the Majority function has size at least $\binom{n}{\frac{n}{2}}/b(n, k, \frac{n}{2})$. - $k$-SAT: There exists an algorithm solving $k$-SAT in time $O(\sum_{t = 1}^{n/2}b(n, k, t))$. A simple construction shows that $b(n, k, \frac{n}{2}) \ge 2^{(1 - O(\log(k)/k))n}$. Thus, matching upper bounds would imply a $\Sigma^k_3$-circuit lower bound of $2^{\Omega(\log(k)n/k)}$ and a $k$-SAT upper bound of $2^{(1 - \Omega(\log(k)/k))n}$. The former yields an unrestricted depth-3 lower bound of $2^{\omega(\sqrt{n})}$ solving a long standing open problem, and the latter breaks the Super Strong Exponential Time Hypothesis. In this paper, we propose a randomized algorithm for Enum($k$, $t$) and introduce new ideas to analyze it. We demonstrate the power of our ideas by considering the first non-trivial instance of the problem, i.e., Enum($3$, $\frac{n}{2}$). We show that the expected running time of our algorithm is $1.598^n$, substantially improving on the trivial bound of $3^{n/2} \simeq 1.732^n$. This already improves $\Sigma^3_3$ lower bounds for Majority function to $1.251^n$. The previous bound was $1.154^n$ which follows from the work of H{\aa}stad, Jukna, and Pudl\'ak (Comput. Complex.'95).


title: Towards Proactive Interactions for In-Vehicle Conversational Assistants Utilizing Large Language Models

abstract: Research demonstrates that the proactivity of in-vehicle conversational assistants (IVCAs) can help to reduce distractions and enhance driving safety, better meeting users' cognitive needs. However, existing IVCAs struggle with user intent recognition and context awareness, which leads to suboptimal proactive interactions. Large language models (LLMs) have shown potential for generalizing to various tasks with prompts, but their application in IVCAs and exploration of proactive interaction remain under-explored. These raise questions about how LLMs improve proactive interactions for IVCAs and influence user perception. To investigate these questions systematically, we establish a framework with five proactivity levels across two dimensions-assumption and autonomy-for IVCAs. According to the framework, we propose a "Rewrite + ReAct + Reflect" strategy, aiming to empower LLMs to fulfill the specific demands of each proactivity level when interacting with users. Both feasibility and subjective experiments are conducted. The LLM outperforms the state-of-the-art model in success rate and achieves satisfactory results for each proactivity level. Subjective experiments with 40 participants validate the effectiveness of our framework and show the proactive level with strong assumptions and user confirmation is most appropriate.


title: Biophysics Informed Pathological Regularisation for Brain Tumour Segmentation

abstract: Recent advancements in deep learning have significantly improved brain tumour segmentation techniques; however, the results still lack confidence and robustness as they solely consider image data without biophysical priors or pathological information. Integrating biophysics-informed regularisation is one effective way to change this situation, as it provides an prior regularisation for automated end-to-end learning. In this paper, we propose a novel approach that designs brain tumour growth Partial Differential Equation (PDE) models as a regularisation with deep learning, operational with any network model. Our method introduces tumour growth PDE models directly into the segmentation process, improving accuracy and robustness, especially in data-scarce scenarios. This system estimates tumour cell density using a periodic activation function. By effectively integrating this estimation with biophysical models, we achieve a better capture of tumour characteristics. This approach not only aligns the segmentation closer to actual biological behaviour but also strengthens the model's performance under limited data conditions. We demonstrate the effectiveness of our framework through extensive experiments on the BraTS 2023 dataset, showcasing significant improvements in both precision and reliability of tumour segmentation.


title: Non-distributive relatives of ETL and NFL

abstract: In this paper, we devise non-distributive relatives of Exactly True Logic (ETL) by Pietz and Riveccio and its dual (NFL) Non-Falsity Logic by Shramko, Zaitsev and Belikov. We consider two pre-orders which are algebraic counterparts of the ETL's and NFL's entailment relations on the De Morgan lattice $\mathbf{4}$. We generalise these pre-orders and determine which distributive properties that hold on $\mathbf{4}$ are not forced by either of the pre-orders. We then construct relatives of ETL and NFL but lack such distributive properties. For these logics, we also devise a truth table semantics which uses non-distributive lattice $\mathbf{M3}$ as their lattice of truth values. We also provide analytic tableaux systems that work with sequents of the form $\phi\vdash\chi$. We also prove the correctness and completeness results for these proof systems and provide a neat generalisation for non-distributive ETL- and NFL-like logics built over a certain family of non-distributive modular lattices.


title: Study on Standardizing Working Time: A Case of XYZ Retail Store in Bandung, Indonesia

abstract: Work time standardization helps to find and reduce wasteful movements and time in the workplace, such as chatting, mobile phone use, insufficient rest, or unproductive tasks. This study aims to map the process of displaying products from the warehouse to the shelves and calculate and determine the standard working time of employees of the Operations Division of PT XYZ Branch who oversee displaying X Milk and Y Bread. The data was collected six times in three weeks, including interviews and observations, and took a sample of 20 pieces on each product to carry out data analysis such as data sufficiency tests and control charts. Several time deviations were found in the display process of X Milk products on all observation days in different activities. Whereas in the process of displaying Y Bread, only the deviation of working time was found on the 4th observation day, which proves that the process needs to have a standard working time so that the activity work time is more controlled. Therefore, the analysis is carried out with the calculation of performance rating, time allowance, normal time, and standard time. The result of the standard time calculation for the display process of X Milk products is 15.83 minutes and Y Bread is 9.18 minutes for each product of 20 units.


title: Metadata-Driven Federated Learning of Connectional Brain Templates in Non-IID Multi-Domain Scenarios

abstract: A connectional brain template (CBT) is a holistic representation of a population of multi-view brain connectivity graphs, encoding shared patterns and normalizing typical variations across individuals. The federation of CBT learning allows for an inclusive estimation of the representative center of multi-domain brain connectivity datasets in a fully data-preserving manner. However, existing methods overlook the non-independent and identically distributed (non-IDD) issue stemming from multidomain brain connectivity heterogeneity, in which data domains are drawn from different hospitals and imaging modalities. To overcome this limitation, we unprecedentedly propose a metadata-driven federated learning framework, called MetaFedCBT, for cross-domain CBT learning. Given the data drawn from a specific domain (i.e., hospital), our model aims to learn metadata in a fully supervised manner by introducing a local client-based regressor network. The generated meta-data is forced to meet the statistical attributes (e.g., mean) of other domains, while preserving their privacy. Our supervised meta-data generation approach boosts the unsupervised learning of a more centered, representative, and holistic CBT of a particular brain state across diverse domains. As the federated learning progresses over multiple rounds, the learned metadata and associated generated connectivities are continuously updated to better approximate the target domain information. MetaFedCBT overcomes the non-IID issue of existing methods by generating informative brain connectivities for privacy-preserving holistic CBT learning with guidance using metadata. Extensive experiments on multi-view morphological brain networks of normal and patient subjects demonstrate that our MetaFedCBT is a superior federated CBT learning model and significantly advances the state-of-the-art performance.


title: Sculpt3D: Multi-View Consistent Text-to-3D Generation with Sparse 3D Prior

abstract: Recent works on text-to-3d generation show that using only 2D diffusion supervision for 3D generation tends to produce results with inconsistent appearances (e.g., faces on the back view) and inaccurate shapes (e.g., animals with extra legs). Existing methods mainly address this issue by retraining diffusion models with images rendered from 3D data to ensure multi-view consistency while struggling to balance 2D generation quality with 3D consistency. In this paper, we present a new framework Sculpt3D that equips the current pipeline with explicit injection of 3D priors from retrieved reference objects without re-training the 2D diffusion model. Specifically, we demonstrate that high-quality and diverse 3D geometry can be guaranteed by keypoints supervision through a sparse ray sampling approach. Moreover, to ensure accurate appearances of different views, we further modulate the output of the 2D diffusion model to the correct patterns of the template views without altering the generated object's style. These two decoupled designs effectively harness 3D information from reference objects to generate 3D objects while preserving the generation quality of the 2D diffusion model. Extensive experiments show our method can largely improve the multi-view consistency while retaining fidelity and diversity. Our project page is available at: https://stellarcheng.github.io/Sculpt3D/.


title: Uncertainty Estimation in Multi-Agent Distributed Learning for AI-Enabled Edge Devices

abstract: Initially considered as low-power units with limited autonomous processing, Edge IoT devices have seen a paradigm shift with the introduction of FPGAs and AI accelerators. This advancement has vastly amplified their computational capabilities, emphasizing the practicality of edge AI. Such progress introduces new challenges of optimizing AI tasks for the limitations of energy and network resources typical in Edge computing environments. Our study explores methods that enable distributed data processing through AI-enabled edge devices, enhancing collaborative learning capabilities. A key focus of our research is the challenge of determining confidence levels in learning outcomes, considering the spatial and temporal variability of data sets encountered by independent agents. To address this issue, we investigate the application of Bayesian neural networks, proposing a novel approach to manage uncertainty in distributed learning environments.


title: USimAgent: Large Language Models for Simulating Search Users

abstract: Due to the advantages in the cost-efficiency and reproducibility, user simulation has become a promising solution to the user-centric evaluation of information retrieval systems. Nonetheless, accurately simulating user search behaviors has long been a challenge, because users' actions in search are highly complex and driven by intricate cognitive processes such as learning, reasoning, and planning. Recently, Large Language Models (LLMs) have demonstrated remarked potential in simulating human-level intelligence and have been used in building autonomous agents for various tasks. However, the potential of using LLMs in simulating search behaviors has not yet been fully explored. In this paper, we introduce a LLM-based user search behavior simulator, USimAgent. The proposed simulator can simulate users' querying, clicking, and stopping behaviors during search, and thus, is capable of generating complete search sessions for specific search tasks. Empirical investigation on a real user behavior dataset shows that the proposed simulator outperforms existing methods in query generation and is comparable to traditional methods in predicting user clicks and stopping behaviors. These results not only validate the effectiveness of using LLMs for user simulation but also shed light on the development of a more robust and generic user simulators.


title: A New Split Algorithm for 3D Gaussian Splatting

abstract: 3D Gaussian splatting models, as a novel explicit 3D representation, have been applied in many domains recently, such as explicit geometric editing and geometry generation. Progress has been rapid. However, due to their mixed scales and cluttered shapes, 3D Gaussian splatting models can produce a blurred or needle-like effect near the surface. At the same time, 3D Gaussian splatting models tend to flatten large untextured regions, yielding a very sparse point cloud. These problems are caused by the non-uniform nature of 3D Gaussian splatting models, so in this paper, we propose a new 3D Gaussian splitting algorithm, which can produce a more uniform and surface-bounded 3D Gaussian splatting model. Our algorithm splits an $N$-dimensional Gaussian into two N-dimensional Gaussians. It ensures consistency of mathematical characteristics and similarity of appearance, allowing resulting 3D Gaussian splatting models to be more uniform and a better fit to the underlying surface, and thus more suitable for explicit editing, point cloud extraction and other tasks. Meanwhile, our 3D Gaussian splitting approach has a very simple closed-form solution, making it readily applicable to any 3D Gaussian model.


title: Probing gauge-Higgs Unification models at the ILC with quark-antiquark forward-backward asymmetry at center-of-mass energies above the Z mass

abstract: The International Linear Collider (ILC) will allow the precise study of $e^{-}e^{+}\rightarrow q\bar{q}$ interactions at different center-of-mass energies from the $Z$-pole to 1 TeV. In this paper, we discuss the experimental prospects for measuring differential observables in $e^{-}e^{+}\rightarrow b\bar{b}$ and $e^{-}e^{+}\rightarrow c\bar{c}$ at the ILC baseline energies, 250 and 500 GeV. The study is based on full simulation and reconstruction of the International Large Detector (ILD) concept. Two gauge-Higgs unification models predicting new high-mass resonances beyond the Standard Model are discussed. These models predict sizable deviations of the forward-backward observables at the ILC running above the $Z$ mass and with longitudinally polarized electron and positron beams. The ability of the ILC to probe these models via high-precision measurements of the forward-backward asymmetry is discussed. Alternative scenarios at other energies and beam polarization schemes are also discussed, extrapolating the estimated uncertainties from the two baseline scenarios.


title: Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems

abstract: We study the computational complexity of counting constraint satisfaction problems (#CSPs) whose constraints assign complex numbers to Boolean inputs when the corresponding constraint hypergraphs are acyclic. These problems are called acyclic #CSPs or succinctly, #ACSPs. We wish to determine the computational complexity of all such #ACSPs when arbitrary unary constraints are freely available. Depending on whether we further allow or disallow the free use of the specific constraint XOR (binary disequality), we present two complexity classifications of the #ACSPs according to the types of constraints used for the problems. When XOR is freely available, we first obtain a complete dichotomy classification. On the contrary, when XOR is not available for free, we then obtain a trichotomy classification. To deal with an acyclic nature of constraints in those classifications, we develop a new technical tool called acyclic-T-constructibility or AT-constructibility, and we exploit it to analyze a complexity upper bound of each #ACSPs.


title: Computational data on ${\mathfrak S}_n$-extensions of $\mathbb Q$

abstract: We discuss computational results on field extensions $K/{\mathbb Q}$ of degree $n\le11$ with Galois group of the Galois closure isomorphic to the full symmetric group ${\mathfrak S}_n$. More precisely, we present statistics on the number of such extensions as a function of the field discriminant and compare them to the known predictions by Bhargava and the author. We also investigate the numbers of fields with equal discriminant and tabulate class numbers and class groups to compare them against Cohen--Lenstra--Martinet type of heuristics and their proposed improvements.


title: Stoner ferromagnetism, correlated metal and thermoelectricity in partially flat-band materials

abstract: Recent discovery of correlated electronic phases in twisted heterostructures raised a surge of interests in studying models and materials with flat bands where the electronic excitations are nearly dispersionless in momentum space. As such, the kinetic energy is quenched and the correlations are enhanced, giving rise to a plethora of unusual magnetic, superconducting and transport behaviors. Finding materials whose energy bands are completely flat is rather challenging, yet those whose dispersion is flat only in a portion of the momentum space might be more accessible in material search. In this work, we propose a partially flat-band system on a square lattice. Using the Hubbard model, it is demonstrated that the suppression of the electronic kinetic energy in the flat portion of the band dispersion drives the system to Stoner ferromagnetism even at very weak interactions, i.e., much smaller than the bandwidth, with significantly enhanced Curie temperature. While the low-energy magnon modes are well defined collective excitations, flat magnon bands can be observed at high energies. We show that the strong interaction leads to reduction of the flat portion of the magnon band. However, tuning the chemical potential at a strong interaction regime may lead to spin density wave at finite wave vectors. Then, focusing on the non-magnetic correlated phase and using dynamical mean-field theory, we demonstrate the appearance of a flat-band induced sharp peak in the density of states in addition to the correlation-induced Mott bands. Furthermore, the large seebeck coefficient and the figure of merit of the proposed partially flat-band model, compared to symmetric regular band models, put them in the category of efficient thermoelectric materials.


title: Evaluating LLMs for Gender Disparities in Notable Persons

abstract: This study examines the use of Large Language Models (LLMs) for retrieving factual information, addressing concerns over their propensity to produce factually incorrect "hallucinated" responses or to altogether decline to even answer prompt at all. Specifically, it investigates the presence of gender-based biases in LLMs' responses to factual inquiries. This paper takes a multi-pronged approach to evaluating GPT models by evaluating fairness across multiple dimensions of recall, hallucinations and declinations. Our findings reveal discernible gender disparities in the responses generated by GPT-3.5. While advancements in GPT-4 have led to improvements in performance, they have not fully eradicated these gender disparities, notably in instances where responses are declined. The study further explores the origins of these disparities by examining the influence of gender associations in prompts and the homogeneity in the responses.


title: $2$-Periodic complexes over regular local rings

abstract: Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$. Let $\mathcal{D}^2_{fg}(A)$ denote the derived category of $2$-periodic complexes with finitely generated cohomology modules. Let $\mathcal{K}^2(\proj A) $ denote the homotopy category of $2$-periodic complexes of finitely generated free $A$-modules. We show the natural map $\mathcal{K}^2(\ proj \ A) \longrightarrow \mathcal{D}^2(A)$ is an equivalence of categories. When $A$ is complete we show that $\mathcal{K}^2_f(\ proj \ A)$ ($2$-periodic complexes with finite length cohomology) is Krull-Schmidt with Auslander-Reiten (AR) triangles. We also compute the AR-quiver of $\mathcal{K}^2_f(\ proj \ A)$ when $\ dim \ A = 1$.


title: Detecting the N\'{e}el vector of altermagnet by attaching a topological insulator and crystalline valley-edge insulator

abstract: In order to detect the N\'{e}el vector of an altermagnet, we investigate topological phases in a bilayer system composed of an altermagnet and a two-dimensional topological insulator described by the Bernevig-Hughes-Zhang model. A topological phase transition occurs from a first-order topological insulator to a trivial insulator at a certain critical altermagnetization if the N\'{e}el vector of altermagnet is along the $x$ axis or the $y$ axis. It is intriguing that valley-protected edge states emerge along the N\'{e}el vector in this trivial insulator, which are as stable as the topological edge states. We name it a crystalline valley-edge insulator. On the other hand, the system turns out to be a second-order topological insulator when the N\'{e}el vector is along the $z$ axis. The tunneling conductance has a strong dependence on the N\'{e}el vector. In addition, the band gap depends on the N\'{e}el vector, which is measurable by optical absorption. Hence, it is possible experimentally to detect the N\'{e}el vector by measuring tunneling conductance and optical absorption.


title: MPC without Terminal Ingredients Tailored to the SEIR Compartmental Epidemic Model

abstract: We consider the SEIR compartmental epidemic model subject to state and input constraints (a cap on the proportion of infectious individuals and limits on the allowed social distancing and quarantining measures, respectively). We present a tailored model predictive control (MPC) scheme without terminal conditions. We rigorously show recursive feasibility and asymptotic convergence of the MPC closed loop to the continuum of disease-free equilibrium points for suitably designed quadratic running cost and a sufficiently long prediction horizon (forecast window). Moreover, we establish the viability kernel (a.k.a. the admissible set) as a domain of attraction of the continuum of equilibria.


title: Line geometry of pairs of second-order Hamiltonian operators and quasilinear systems

abstract: We show that a pair formed by a second-order homogeneous Hamiltonian structures in $N$ components and the associated system of conservation laws is in bijective correspondence with an alternating three-form on a $N+2$ vector space. We use this result to characterise these pairs up to $N=4$. We also show that the three-form provides $N+2$ linear equations in the Pl\"ucker coordinates which define the associated line congruence.


title: Fairness-Aware Multi-Server Federated Learning Task Delegation over Wireless Networks

abstract: In the rapidly advancing field of federated learning (FL), ensuring efficient FL task delegation while incentivising FL client participation poses significant challenges, especially in wireless networks where FL participants' coverage is limited. Existing Contract Theory-based methods are designed under the assumption that there is only one FL server in the system (i.e., the monopoly market assumption), which in unrealistic in practice. To address this limitation, we propose Fairness-Aware Multi-Server FL task delegation approach (FAMuS), a novel framework based on Contract Theory and Lyapunov optimization to jointly address these intricate issues facing wireless multi-server FL networks (WMSFLN). Within a given WMSFLN, a task requester products multiple FL tasks and delegate them to FL servers which coordinate the training processes. To ensure fair treatment of FL servers, FAMuS establishes virtual queues to track their previous access to FL tasks, updating them in relation to the resulting FL model performance. The objective is to minimize the time-averaged cost in a WMSFLN, while ensuring all queues remain stable. This is particularly challenging given the incomplete information regarding FL clients' participation cost and the unpredictable nature of the WMSFLN state, which depends on the locations of the mobile clients. Extensive experiments comparing FAMuS against five state-of-the-art approaches based on two real-world datasets demonstrate that it achieves 6.91% higher test accuracy, 27.34% lower cost, and 0.63% higher fairness on average than the best-performing baseline.


title: Energy-gap modulation and majorization in three-level quantum Otto engine

abstract: A three-level quantum system having two energy gaps presents a nontrivial working medium for a quantum heat engine. Our focus lies in understanding the constraints on the ability to modulate these gaps relative to the changes in probability distributions at the two given heat reservoirs. It is seen that an Otto engine in the quasistatic limit is feasible if at least one energy gap shrinks during the first quantum adiabatic stage. We analyze operating conditions under different variations of the gaps, revealing that a definite majorization relation between the hot and cold distributions serves as a sufficient criterion for the engine when both gaps are shrinking. Further, Otto efficiency is enhanced in case majorization holds. On the other hand, majorization becomes a necessary condition when only one of the gaps is shrinking. In the special case where one gap remains fixed, majorization is both necessary and sufficient for engine operation. For an $n$-level system, we note that a well defined change in energy gaps aligns with the majorization relation, thus characterizing the operation of the engine.


title: News Media as Suppliers of Narratives (and Information)

abstract: We present a model of news media that shape consumer beliefs by providing information (signals about an exogenous state) and narratives (models of what determines outcomes). To amplify consumers' engagement, media maximize consumers' anticipatory utility. Focusing on a class of separable consumer preferences, we show that a monopolistic media platform facing homogenous consumers provides a false "empowering" narrative coupled with an optimistically biased signal. Consumer heterogeneity gives rise to a novel menu-design problem due to a "data externality" among consumers. The optimal menu features multiple narratives and creates polarized beliefs. These effects also arise in a competitive media market model.


title: Noncommutative frieze patterns with coefficients

abstract: Based on Berenstein and Retakh's notion of noncommutative polygons we introduce and study noncommutative frieze patterns. We generalize several notions and fundamental properties from the classic (commutative) frieze patterns to noncommutative frieze patterns, e.g. propagation formulae and $\mu$-matrices, quiddity cycles and reduction formulae, and we show that local noncommutative exchange relations and local triangle relations imply all noncommutative exchange relations and triangle relations. Throughout, we allow coefficients, so we obtain generalizations of results from our earlier paper on frieze patterns with coefficients from the commutative to the noncommutative setting.


title: VM-UNET-V2 Rethinking Vision Mamba UNet for Medical Image Segmentation

abstract: In the field of medical image segmentation, models based on both CNN and Transformer have been thoroughly investigated. However, CNNs have limited modeling capabilities for long-range dependencies, making it challenging to exploit the semantic information within images fully. On the other hand, the quadratic computational complexity poses a challenge for Transformers. Recently, State Space Models (SSMs), such as Mamba, have been recognized as a promising method. They not only demonstrate superior performance in modeling long-range interactions, but also preserve a linear computational complexity. Inspired by the Mamba architecture, We proposed Vison Mamba-UNetV2, the Visual State Space (VSS) Block is introduced to capture extensive contextual information, the Semantics and Detail Infusion (SDI) is introduced to augment the infusion of low-level and high-level features. We conduct comprehensive experiments on the ISIC17, ISIC18, CVC-300, CVC-ClinicDB, Kvasir, CVC-ColonDB and ETIS-LaribPolypDB public datasets. The results indicate that VM-UNetV2 exhibits competitive performance in medical image segmentation tasks. Our code is available at https://github.com/nobodyplayer1/VM-UNetV2.


title: An FFT based approach to account for elastic interactions in OkMC: Application to dislocation loops in iron

abstract: Object kinetic Montecarlo (OkMC) is a fundamental tool for modeling defect evolution in volumes and times far beyond atomistic models. The elastic interaction between defects is classically considered using a dipolar approximation but this approach is limited to simple cases and can be inaccurate for large and close interacting defects. In this work a novel framework is proposed to include "exact" elastic interactions between defects in OkMC valid for any type of defect and anisotropic media. In this method, the elastic interaction energy of a defect is computed by volume integration of its elastic strain multiplied by the stress created by all the other defects, being both fields obtained numerically using a FFT solver. The resulting interaction energies reproduce analytical elastic solutions and show the limited accuracy of dipole approaches for close and large defects. The OkMC framework proposed is used to simulate the evolution in space and time of self-interstitial atoms and dislocation loops in iron. It is found that including the anisotropy has a quantitative effect in the evolution of all the type of defects studied. Regarding dislocation loops, it is observed that using the "exact" interaction energy result in higher interactions than using the dipole approximation for close loops.

categories: cond-mat.mtrl-sci cs.NA math.NA physics.comp-ph


title: Basque and Spanish Counter Narrative Generation: Data Creation and Evaluation

abstract: Counter Narratives (CNs) are non-negative textual responses to Hate Speech (HS) aiming at defusing online hatred and mitigating its spreading across media. Despite the recent increase in HS content posted online, research on automatic CN generation has been relatively scarce and predominantly focused on English. In this paper, we present CONAN-EUS, a new Basque and Spanish dataset for CN generation developed by means of Machine Translation (MT) and professional post-edition. Being a parallel corpus, also with respect to the original English CONAN, it allows to perform novel research on multilingual and crosslingual automatic generation of CNs. Our experiments on CN generation with mT5, a multilingual encoder-decoder model, show that generation greatly benefits from training on post-edited data, as opposed to relying on silver MT data only. These results are confirmed by their correlation with a qualitative manual evaluation, demonstrating that manually revised training data remains crucial for the quality of the generated CNs. Furthermore, multilingual data augmentation improves results over monolingual settings for structurally similar languages such as English and Spanish, while being detrimental for Basque, a language isolate. Similar findings occur in zero-shot crosslingual evaluations, where model transfer (fine-tuning in English and generating in a different target language) outperforms fine-tuning mT5 on machine translated data for Spanish but not for Basque. This provides an interesting insight into the asymmetry in the multilinguality of generative models, a challenging topic which is still open to research.


title: Efficient Lexicographic Optimization for Prioritized Robot Control and Planning

abstract: In this work, we present several tools for efficient sequential hierarchical least-squares programming (S-HLSP) for lexicographical optimization tailored to robot control and planning. As its main step, S-HLSP relies on approximations of the original non-linear hierarchical least-squares programming (NL-HLSP) to a hierarchical least-squares programming (HLSP) by the hierarchical Newton's method or the hierarchical Gauss-Newton algorithm. We present a threshold adaptation strategy for appropriate switches between the two. This ensures optimality of infeasible constraints, promotes numerical stability when solving the HLSP's and enhances optimality of lower priority levels by avoiding regularized local minima. We introduce the solver $\mathcal{N}$ADM$_2$, an alternating direction method of multipliers for HLSP based on nullspace projections of active constraints. The required basis of nullspace of the active constraints is provided by a computationally efficient turnback algorithm for system dynamics discretized by the Euler method. It is based on an upper bound on the bandwidth of linearly independent column subsets within the linearized constraint matrices. Importantly, an expensive initial rank-revealing matrix factorization is unnecessary. We show how the high sparsity of the basis in the fully-actuated case can be preserved in the under-actuated case. $\mathcal{N}$ADM$_2$ consistently shows faster computations times than competing off-the-shelf solvers on NL-HLSP composed of test-functions and whole-body trajectory optimization for fully-actuated and under-actuated robotic systems. We demonstrate how the inherently lower accuracy solutions of the alternating direction method of multipliers can be used to warm-start the non-linear solver for efficient computation of high accuracy solutions to non-linear hierarchical least-squares programs.


title: Compactness of quantics tensor train representations of local imaginary-time propagators

abstract: Space-time dependence of imaginary-time propagators, vital for \textit{ab initio} and many-body calculations based on quantum field theories, has been revealed to be compressible using Quantum Tensor Trains (QTTs) [Phys. Rev. X {\bf 13}, 021015 (2023)]. However, the impact of system parameters, like temperature, on data size remains underexplored. This paper provides a comprehensive numerical analysis of the compactness of local imaginary-time propagators in QTT for one-time/-frequency objects and two-time/-frequency objects, considering truncation in terms of the Frobenius and maximum norms. We employ random pole models to study worst-case scenarios. The numerical analysis reveals several key findings. For one-time/-frequency objects and two-time/-frequency objects, the bond dimensions saturate at low temperatures, especially for truncation in terms of the Frobenius norm. We provide counting-number arguments for the saturation of bond dimensions for the one-time/-frequency objects, while the origin of this saturation for two-time/-frequency objects remains to be clarified. This paper's findings highlight the critical need for further research on the selection of truncation methods, tolerance levels, and the choice between imaginary-time and imaginary-frequency representations in practical applications.


title: Unveiling the Generalization Power of Fine-Tuned Large Language Models

abstract: While Large Language Models (LLMs) have demonstrated exceptional multitasking abilities, fine-tuning these models on downstream, domain-specific datasets is often necessary to yield superior performance on test sets compared to their counterparts without fine-tuning. However, the comprehensive effects of fine-tuning on the LLMs' generalization ability are not fully understood. This paper delves into the differences between original, unmodified LLMs and their fine-tuned variants. Our primary investigation centers on whether fine-tuning affects the generalization ability intrinsic to LLMs. To elaborate on this, we conduct extensive experiments across five distinct language tasks on various datasets. Our main findings reveal that models fine-tuned on generation and classification tasks exhibit dissimilar behaviors in generalizing to different domains and tasks. Intriguingly, we observe that integrating the in-context learning strategy during fine-tuning on generation tasks can enhance the model's generalization ability. Through this systematic investigation, we aim to contribute valuable insights into the evolving landscape of fine-tuning practices for LLMs.


title: Caveat Lector: Large Language Models in Legal Practice

abstract: The current fascination with large language models, or LLMs, derives from the fact that many users lack the expertise to evaluate the quality of the generated text. LLMs may therefore appear more capable than they actually are. The dangerous combination of fluency and superficial plausibility leads to the temptation to trust the generated text and creates the risk of overreliance. Who would not trust perfect legalese? Relying recent findings in both technical and legal scholarship, this Article counterbalances the overly optimistic predictions as to the role of LLMs in legal practice. Integrating LLMs into legal workstreams without a better comprehension of their limitations, will create inefficiencies if not outright risks. Notwithstanding their unprecedented ability to generate text, LLMs do not understand text. Without the ability to understand meaning, LLMs will remain unable to use language, to acquire knowledge and to perform complex reasoning tasks. Trained to model language on the basis of stochastic word predictions, LLMs cannot distinguish fact from fiction. Their knowledge of the law is limited to word strings memorized in their parameters. It is also incomplete and largely incorrect. LLMs operate at the level of word distributions, not at the level of verified facts. The resulting propensity to hallucinate, to produce statements that are incorrect but appear helpful and relevant, is alarming in high-risk areas like legal services. At present, lawyers should beware of relying on text generated by LLMs.


title: Exploring the Comprehension of ChatGPT in Traditional Chinese Medicine Knowledge

abstract: No previous work has studied the performance of Large Language Models (LLMs) in the context of Traditional Chinese Medicine (TCM), an essential and distinct branch of medical knowledge with a rich history. To bridge this gap, we present a TCM question dataset named TCM-QA, which comprises three question types: single choice, multiple choice, and true or false, to examine the LLM's capacity for knowledge recall and comprehensive reasoning within the TCM domain. In our study, we evaluate two settings of the LLM, zero-shot and few-shot settings, while concurrently discussing the differences between English and Chinese prompts. Our results indicate that ChatGPT performs best in true or false questions, achieving the highest precision of 0.688 while scoring the lowest precision is 0.241 in multiple-choice questions. Furthermore, we observed that Chinese prompts outperformed English prompts in our evaluations. Additionally, we assess the quality of explanations generated by ChatGPT and their potential contribution to TCM knowledge comprehension. This paper offers valuable insights into the applicability of LLMs in specialized domains and paves the way for future research in leveraging these powerful models to advance TCM.


title: The Algebraic Page Curve

abstract: The Page curve describing the process of black hole evaporation is derived in terms of a family, parametrized in terms of the evaporation time, of finite type II_1 factors, associated, respectively, to the entanglement wedges of the black hole and the radiation. The so defined Page curve measures the relative continuous dimension of the black hole and the radiation along the evaporation process. The transfer of information is quantitatively defined in terms of the Murray von Neumann parameter describing the change of the spatial properties of the factors during the evaporation. In the simplest case the generator of the evaporation process is defined in terms of the action of the fundamental group of the hyperfinite type II_1 factor. In this setup the Page curve describes a phase transition with the transfer of information as order parameter. We discuss the limits of either a type I or a type III description of the black hole evaporation.


title: Verification of Bell Nonlocality by Violating Quantum Monogamy Relations

abstract: Quantum nonlocality as a witness of entanglement plays a crucial role in various fields. Existing quantum monogamy relations rule out the possibility of simultaneous violations of any Bell inequalities with partial statistics generated from one Bell experiment on any multipartite entanglement or post-quantum sources. In this paper, we report an efficient method to construct multipartite Bell test based on any Bell inequalities. We demonstrate that violating these monogamy relations can dynamically witness simultaneous Bell nonlocalities of partial systems. We conduct a tripartite experiment to verify quantum nonlocalities by violating a tripartite monogamy relation using a maximally entangled two-photon state.


title: Dial-insight: Fine-tuning Large Language Models with High-Quality Domain-Specific Data Preventing Capability Collapse

abstract: The efficacy of large language models (LLMs) is heavily dependent on the quality of the underlying data, particularly within specialized domains. A common challenge when fine-tuning LLMs for domain-specific applications is the potential degradation of the model's generalization capabilities. To address these issues, we propose a two-stage approach for the construction of production prompts designed to yield high-quality data. This method involves the generation of a diverse array of prompts that encompass a broad spectrum of tasks and exhibit a rich variety of expressions. Furthermore, we introduce a cost-effective, multi-dimensional quality assessment framework to ensure the integrity of the generated labeling data. Utilizing a dataset comprised of service provider and customer interactions from the real estate sector, we demonstrate a positive correlation between data quality and model performance. Notably, our findings indicate that the domain-specific proficiency of general LLMs can be enhanced through fine-tuning with data produced via our proposed method, without compromising their overall generalization abilities, even when exclusively domain-specific data is employed for fine-tuning.


title: VIVID: Human-AI Collaborative Authoring of Vicarious Dialogues from Lecture Videos

abstract: The lengthy monologue-style online lectures cause learners to lose engagement easily. Designing lectures in a "vicarious dialogue" format can foster learners' cognitive activities more than monologue-style. However, designing online lectures in a dialogue style catered to the diverse needs of learners is laborious for instructors. We conducted a design workshop with eight educational experts and seven instructors to present key guidelines and the potential use of large language models (LLM) to transform a monologue lecture script into pedagogically meaningful dialogue. Applying these design guidelines, we created VIVID which allows instructors to collaborate with LLMs to design, evaluate, and modify pedagogical dialogues. In a within-subjects study with instructors (N=12), we show that VIVID helped instructors select and revise dialogues efficiently, thereby supporting the authoring of quality dialogues. Our findings demonstrate the potential of LLMs to assist instructors with creating high-quality educational dialogues across various learning stages.


title: Novel Boundary Conditions for the Ricci Flow

abstract: If we want to deform a compact Riemannian manifold with boundary using Ricci flow, we first need to decide on appropriate boundary conditions. We would like these conditions to reflect the geometric nature of the flow and allow for a variety of initial data. Importantly, the conditions should be compatible with the expected evolution of Einstein metrics. We propose it is natural to choose those conditions, for which the first variation of certain functionals, such as the Einstein-Hilbert action and Perelmans lambda-functional, does not admit a boundary term. We provide a proof of the short term existence of solutions of the initial boundary value problem, under these conditions.


title: Analysis of singular subspaces under random perturbations

abstract: We present a comprehensive analysis of singular vector and singular subspace perturbations in the context of the signal plus random Gaussian noise matrix model. Assuming a low-rank signal matrix, we extend the Davis-Kahan-Wedin theorem in a fully generalized manner, applicable to any unitarily invariant matrix norm, extending previous results of O'Rourke, Vu and the author. We also obtain the fine-grained results, which encompass the $\ell_\infty$ analysis of singular vectors, the $\ell_{2, \infty}$ analysis of singular subspaces, as well as the exploration of linear and bilinear functions related to the singular vectors. Moreover, we explore the practical implications of these findings, in the context of the Gaussian mixture model and the submatrix localization problem.

categories: math.ST cs.NA math.NA math.PR stat.ML stat.TH


title: ADEdgeDrop: Adversarial Edge Dropping for Robust Graph Neural Networks

abstract: Although Graph Neural Networks (GNNs) have exhibited the powerful ability to gather graph-structured information from neighborhood nodes via various message-passing mechanisms, the performance of GNNs is limited by poor generalization and fragile robustness caused by noisy and redundant graph data. As a prominent solution, Graph Augmentation Learning (GAL) has recently received increasing attention. Among prior GAL approaches, edge-dropping methods that randomly remove edges from a graph during training are effective techniques to improve the robustness of GNNs. However, randomly dropping edges often results in bypassing critical edges, consequently weakening the effectiveness of message passing. In this paper, we propose a novel adversarial edge-dropping method (ADEdgeDrop) that leverages an adversarial edge predictor guiding the removal of edges, which can be flexibly incorporated into diverse GNN backbones. Employing an adversarial training framework, the edge predictor utilizes the line graph transformed from the original graph to estimate the edges to be dropped, which improves the interpretability of the edge-dropping method. The proposed ADEdgeDrop is optimized alternately by stochastic gradient descent and projected gradient descent. Comprehensive experiments on six graph benchmark datasets demonstrate that the proposed ADEdgeDrop outperforms state-of-the-art baselines across various GNN backbones, demonstrating improved generalization and robustness.


title: SHAN: Object-Level Privacy Detection via Inference on Scene Heterogeneous Graph

abstract: With the rise of social platforms, protecting privacy has become an important issue. Privacy object detection aims to accurately locate private objects in images. It is the foundation of safeguarding individuals' privacy rights and ensuring responsible data handling practices in the digital age. Since privacy of object is not shift-invariant, the essence of the privacy object detection task is inferring object privacy based on scene information. However, privacy object detection has long been studied as a subproblem of common object detection tasks. Therefore, existing methods suffer from serious deficiencies in accuracy, generalization, and interpretability. Moreover, creating large-scale privacy datasets is difficult due to legal constraints and existing privacy datasets lack label granularity. The granularity of existing privacy detection methods remains limited to the image level. To address the above two issues, we introduce two benchmark datasets for object-level privacy detection and propose SHAN, Scene Heterogeneous graph Attention Network, a model constructs a scene heterogeneous graph from an image and utilizes self-attention mechanisms for scene inference to obtain object privacy. Through experiments, we demonstrated that SHAN performs excellently in privacy object detection tasks, with all metrics surpassing those of the baseline model.


title: Bridging Quantum Computing and Differential Privacy: Insights into Quantum Computing Privacy

abstract: While quantum computing has a strong potential in data-driven fields, the privacy issue of sensitive or valuable information involved in the quantum algorithm should be considered. Differential privacy (DP), which is a fundamental privacy tool widely used in the classical scenario, has been extended to the quantum domain, i.e. quantum differential privacy (QDP). QDP may become one of the most promising avenues towards privacy-preserving quantum computing since it is not only compatible with the classical DP mechanisms but also achieves privacy protection by exploiting unavoidable quantum noise in noisy intermediate-scale quantum (NISQ) devices. This paper provides an overview of the various implementation approaches of QDP and their performance of privacy parameters under the DP setting. Concretely speaking, we propose a taxonomy of QDP techniques, categorized the existing literature based on whether internal or external randomization is used as a source to achieve QDP and how these approaches are applied to each phase of the quantum algorithm. We also discuss challenges and future directions for QDP. By summarizing recent advancements, we hope to provide a comprehensive, up-to-date survey for researchers venturing into this field.


title: Properties of a Fading AGN from SDSS-IV MaNGA

abstract: We identify a fading AGN SDSS J220141.64+115124.3 from the internal Product Launch-11 (MPL-11) in Mapping Nearby Galaxies at Apache Point Observatory (MaNGA) survey. The central region with a projected radius of $\sim$2.4 kpc is characterized as LINER-like line ratios while the outskirts extended to $\sim$15 kpc show Seyfert-like line ratios. The [OIII]$\lambda$5007 luminosity of the Seyfert regions is a factor of 37 (2) higher than the LINER regions without (with) dust attenuation correction, suggesting that the AGN activity decreases at least $\sim$8 $\times$ 10$^3$ yrs ($\sim$2.4 kpc/light-speed) ago. We model the emission line spectra in the central region with double Gaussian components (a narrow core and a broad wing) and analyze the properties of each component. The narrow core component mostly co-rotates with the stellar disc, whereas the broad wing component with a median of the velocity dispersion $\sim$300 km s$^{-1}$ is related to a wind outflow. The kinematic position angle (PA) of the ionized gas shows a $\sim$20{\deg} twist from the galaxy center to 1.5 effective radius. The median of the PA difference between the gas and stellar components is as large as $\sim$50{\deg} within 0.4 effective radius. The tidal feature in DESI image and star-gas misalignment suggest this galaxy is a merger remnant. Combining all these observational results as well as public available X-ray and MIR luminosities, we confirm this is a fading AGN, the merger process kick-started the central engine to quasar phase which ionized gas composed of tidal debris, and now the activity of the central black hole decreases. The discontinuity in [OIII]$\lambda$5007 flux and EQW maps is due to multiple AGN outbursts triggered by merger remnant gas inflows.