title: It Couldn't Help But Overhear: On the Limits of Modelling Meta-Communicative Grounding Acts with Supervised Learning

abstract: Active participation in a conversation is key to building common ground, since understanding is jointly tailored by producers and recipients. Overhearers are deprived of the privilege of performing grounding acts and can only conjecture about intended meanings. Still, data generation and annotation, modelling, training and evaluation of NLP dialogue models place reliance on the overhearing paradigm. How much of the underlying grounding processes are thereby forfeited? As we show, there is evidence pointing to the impossibility of properly modelling human meta-communicative acts with data-driven learning models. In this paper, we discuss this issue and provide a preliminary analysis on the variability of human decisions for requesting clarification. Most importantly, we wish to bring this topic back to the community's table, encouraging discussion on the consequences of having models designed to only "listen in".


title: Tracking and classifying objects with DAS data along railway

abstract: Distributed acoustic sensing through fiber-optical cables can contribute to traffic monitoring systems. Using data from a day of field testing on a 50 km long fiber-optic cable along a railroad track in Norway, we detect and track cars and trains along a segment of the fiber-optic cable where the road runs parallel to the railroad tracks. We develop a method for automatic detection of events and then use these in a Kalman filter variant known as joint probabilistic data association for object tracking and classification. Model parameters are specified using in-situ log data along with the fiber-optic signals. Running the algorithm over an entire day, we highlight results of counting cars and trains over time and their estimated velocities.


title: Particle-theory input for neutron-star physics

abstract: Understanding the properties and physical phase of the dense strongly interacting matter present in the cores of neutron stars or created in their binary mergers remains one of the most prominent open problems in nuclear astrophysics. While most microscopic analyses have historically relied on solvable phenomenological models of nuclear and quark matter, in recent years a model-independent approach utilizing only controlled ab-initio calculations and astrophysical observations has emerged as a viable alternative. In these lecture notes, I review recent progress in first-principles weak-coupling calculations within high-density quark matter, shedding light on its thermodynamic and transport properties. I cover the most important technical tools used in such calculations, introduce selected highlight results, and explain how this information can be used in phenomenological studies of neutron-star physics. The notes do not offer a self-consistent treatment of the topics covered, but rather aim at filling gaps in existing textbooks on thermal field theory and at connecting the dots in a story developed in several recent research articles, to which the interested reader is directed for further technical details.


title: Sharp Bounds for Sequential Federated Learning on Heterogeneous Data

abstract: There are two paradigms in Federated Learning (FL): parallel FL (PFL), where models are trained in a parallel manner across clients; and sequential FL (SFL), where models are trained in a sequential manner across clients. In contrast to that of PFL, the convergence theory of SFL on heterogeneous data is still lacking. To resolve the theoretical dilemma of SFL, we establish sharp convergence guarantees for SFL on heterogeneous data with both upper and lower bounds. Specifically, we derive the upper bounds for strongly convex, general convex and non-convex objective functions, and construct the matching lower bounds for the strongly convex and general convex objective functions. Then, we compare the upper bounds of SFL with those of PFL, showing that SFL outperforms PFL (at least, when the level of heterogeneity is relatively high). Experimental results on quadratic functions and real data sets validate the counterintuitive comparison result.


title: Are We Really Achieving Better Beyond-Accuracy Performance in Next Basket Recommendation?

abstract: Next basket recommendation (NBR) is a special type of sequential recommendation that is increasingly receiving attention. So far, most NBR studies have focused on optimizing the accuracy of the recommendation, whereas optimizing for beyond-accuracy metrics, e.g., item fairness and diversity remains largely unexplored. Recent studies into NBR have found a substantial performance difference between recommending repeat items and explore items. Repeat items contribute most of the users' perceived accuracy compared with explore items. Informed by these findings, we identify a potential "short-cut" to optimize for beyond-accuracy metrics while maintaining high accuracy. To leverage and verify the existence of such short-cuts, we propose a plug-and-play two-step repetition-exploration (TREx) framework that treats repeat items and explores items separately, where we design a simple yet highly effective repetition module to ensure high accuracy, while two exploration modules target optimizing only beyond-accuracy metrics. Experiments are performed on two widely-used datasets w.r.t. a range of beyond-accuracy metrics, viz. five fairness metrics and three diversity metrics. Our experimental results verify the effectiveness of TREx. Prima facie, this appears to be good news: we can achieve high accuracy and improved beyond-accuracy metrics at the same time. However, we argue that the real-world value of our algorithmic solution, TREx, is likely to be limited and reflect on the reasonableness of the evaluation setup. We end up challenging existing evaluation paradigms, particularly in the context of beyond-accuracy metrics, and provide insights for researchers to navigate potential pitfalls and determine reasonable metrics to consider when optimizing for accuracy and beyond-accuracy metrics.


title: Boosting Communication Efficiency of Federated Learning's Secure Aggregation

abstract: Federated Learning (FL) is a decentralized machine learning approach where client devices train models locally and send them to a server that performs aggregation to generate a global model. FL is vulnerable to model inversion attacks, where the server can infer sensitive client data from trained models. Google's Secure Aggregation (SecAgg) protocol addresses this data privacy issue by masking each client's trained model using shared secrets and individual elements generated locally on the client's device. Although SecAgg effectively preserves privacy, it imposes considerable communication and computation overhead, especially as network size increases. Building upon SecAgg, this poster introduces a Communication-Efficient Secure Aggregation (CESA) protocol that substantially reduces this overhead by using only two shared secrets per client to mask the model. We propose our method for stable networks with low delay variation and limited client dropouts. CESA is independent of the data distribution and network size (for higher than 6 nodes), preventing the honest-but-curious server from accessing unmasked models. Our initial evaluation reveals that CESA significantly reduces the communication cost compared to SecAgg.


title: Localized RETE for Incremental Graph Queries

abstract: Context: The growing size of graph-based modeling artifacts in model-driven engineering calls for techniques that enable efficient execution of graph queries. Incremental approaches based on the RETE algorithm provide an adequate solution in many scenarios, but are generally designed to search for query results over the entire graph. However, in certain situations, a user may only be interested in query results for a subgraph, for instance when a developer is working on a large model of which only a part is loaded into their workspace. In this case, the global execution semantics can result in significant computational overhead. Contribution: To mitigate the outlined shortcoming, in this paper we propose an extension of the RETE approach that enables local, yet fully incremental execution of graph queries, while still guaranteeing completeness of results with respect to the relevant subgraph. Results: We empirically evaluate the presented approach via experiments inspired by a scenario from software development and an independent social network benchmark. The experimental results indicate that the proposed technique can significantly improve performance regarding memory consumption and execution time in favorable cases, but may incur a noticeable linear overhead in unfavorable cases.


title: Energy-Efficient Reconfigurable Holographic Surfaces Operating in the Presence of Realistic Hardware Impairments

abstract: Reconfigurable holographic surfaces (RHSs) constitute a promising technique of supporting energy-efficient communications. In this paper, we formulate the energy efficiency maximization problem of the switch-controlled RHS-aided beamforming architecture by alternately optimizing the holographic beamformer at the RHS, the digital beamformer, the total transmit power and the power sharing ratio of each user. Specifically, to deal with this challenging non-convex optimization problem, we decouple it into three sub-problems. Firstly, the coefficients of RHS elements responsible for the holographic beamformer are optimized to maximize the sum of the eigen-channel gains of all users by our proposed low-complexity eigen-decomposition (ED) method. Then, the digital beamformer is designed by the singular value decomposition (SVD) method to support multi-user information transfer. Finally, the total transmit power and the power sharing ratio are alternately optimized, while considering the effect of transceiver hardware impairments (HWI). We theoretically derive the spectral efficiency and energy efficiency performance upper bound for the RHS-based beamforming architectures in the presence of HWIs. Our simulation results show that the switch-controlled RHS-aided beamforming architecture achieves higher energy efficiency than the conventional fully digital beamformer and the hybrid beamformer based on phase shift arrays (PSA). Moreover, considering the effect of HWI in the beamforming design can bring about further energy efficiency enhancements.


title: Why Tabular Foundation Models Should Be a Research Priority

abstract: Recent text and image foundation models are incredibly impressive, and these models are attracting an ever-increasing portion of research resources. In this position piece we aim to shift the ML research community's priorities ever so slightly to a different modality: tabular data. Tabular data is the dominant modality in many fields, yet it is given hardly any research attention and significantly lags behind in terms of scale and power. We believe the time is now to start developing tabular foundation models, or what we coin a Large Tabular Model (LTM). LTMs could revolutionise the way science and ML use tabular data: not as single datasets that are analyzed in a vacuum, but contextualized with respect to related datasets. The potential impact is far-reaching: from few-shot tabular models to automating data science; from out-of-distribution synthetic data to empowering multidisciplinary scientific discovery. We intend to excite reflections on the modalities we study, and convince some researchers to study large tabular models.


title: Qualia and the Formal Structure of Meaning

abstract: This work explores the hypothesis that subjectively attributed meaning constitutes the phenomenal content of conscious experience. That is, phenomenal content is semantic. This form of subjective meaning manifests as an intrinsic and non-representational character of qualia. Empirically, subjective meaning is ubiquitous in conscious experiences. We point to phenomenological studies that lend evidence to support this. Furthermore, this notion of meaning closely relates to what Frege refers to as "sense", in metaphysics and philosophy of language. It also aligns with Peirce's "interpretant", in semiotics. We discuss how Frege's sense can also be extended to the raw feels of consciousness. Sense and reference both play a role in phenomenal experience. Moreover, within the context of the mind-matter relation, we provide a formalization of subjective meaning associated to one's mental representations. Identifying the precise maps between the physical and mental domains, we argue that syntactic and semantic structures transcend language, and are realized within each of these domains. Formally, meaning is a relational attribute, realized via a map that interprets syntactic structures of a formal system within an appropriate semantic space. The image of this map within the mental domain is what is relevant for experience, and thus comprises the phenomenal content of qualia. We conclude with possible implications this may have for experience-based theories of consciousness.


title: Optimizing Satellite Network Infrastructure: A Joint Approach to Gateway Placement and Routing

abstract: Satellite constellation systems are becoming more attractive to provide communication services worldwide, especially in areas without network connectivity. While optimizing satellite gateway placement is crucial for operators to minimize deployment and operating costs, reducing the number of gateways may require more inter-satellite link hops to reach the ground network, thereby increasing latency. Therefore, it is of significant importance to develop a framework that optimizes gateway placement, dynamic routing, and flow management in inter-satellite links to enhance network performance. To this end, we model an optimization problem as a mixed-integer problem with a cost function combining the number of gateways, flow allocation, and traffic latency, allowing satellite operators to set priorities based on their policies. Our simulation results indicate that the proposed approach effectively reduces the number of active gateways by selecting their most appropriate locations while balancing the trade-off between the number of gateways and traffic latency. Furthermore, we demonstrate the impact of different weights in the cost function on performance through comparative analysis.


title: Performance Analysis of Reconfigurable Holographic Surfaces in the Near-Field Scenario of Cell-Free Networks Under Hardware Impairments

abstract: We propose a hybrid beamforming architecture for near-field reconfigurable holographic surfaces (RHS) harnessed in cell-free networks. Specifically, the holographic beamformer of each base station (BS) is designed for maximizing the channel gain based on the local channel state information (CSI). By contrast, the digital beamformer at the central processing unit is designed based on the minimum mean squared error criterion. Furthermore, the near-field spectral efficiency of the RHS in cell-free networks is derived theoretically by harnessing the popular stochastic geometry approach. We consider both the phase shift error (PSE) at the RHS elements and the hardware impairment (HWI) at the radio frequency (RF) chains of the transceivers. Furthermore, we theoretically derive the asymptotic capacity bound, when considering an infinite physical size for the RHS in the near-field channel model. The theoretical analysis and simulation results show that the PSE at the RHS elements and the HWI at the RF chains of transceivers limit the spectral efficiency in the high signal-to-noise ratio region. Moreover, we show that the PSE at the RHS elements and the HWI at the RF chains of BSs can be compensated by increasing the number of BSs. Finally, we also demonstrate that the ergodic spectral efficiency based on the near-field channel model is higher than that based on the far-field channel model assumption.


title: Spanning Tree Matching Decoder for Quantum Surface Codes

abstract: We introduce the spanning tree matching (STM) decoder for surface codes, which guarantees the error correction capability up to the code's designed distance by first employing an instance of the minimum spanning tree on a subset of ancilla qubits within the lattice. Then, a perfect matching graph is simply obtained, by selecting the edges more likely to be faulty. A comparative analysis reveals that the STM decoder, at the cost of a slight performance degradation, provides a substantial advantage in decoding time compared to the minimum weight perfect matching (MWPM) decoder. Finally, we propose an even more simplified and faster algorithm, the Rapid-Fire (RFire) decoder, designed for scenarios where decoding speed is a critical requirement.


title: Relative cluster tilting theory and $\tau$-tilting theory

abstract: Let $\mathcal C$ be a Krull-Schmidt triangulated category with shift functor $[1]$ and $\mathcal R$ be a rigid subcategory of $\mathcal C$. We are concerned with the mutation of two-term weak $\mathcal R[1]$-cluster tilting subcategories. We show that any almost complete two-term weak $\mathcal R[1]$-cluster tilting subcategory has exactly two completions. Then we apply the results on relative cluster tilting subcategories to the domain of $\tau$-tilting theory in functor categories and abelian categories.


title: The science and technology of liquid argon detectors

abstract: Liquid argon detectors are ubiquitous in particle, astroparticle, and applied physics. They reached an unprecedented level of maturity thanks to more than 20 years of R&D and the operation of large-scale facilities at CERN, Fermilab, and the Gran Sasso laboratories. This article reviews such an impressive advance - from the grounding of the experimental technique up to cutting-edge applications. We commence the review by describing the physical and chemical properties of liquid argon as an active and target medium for particle detection, together with advantages and limitations compared with other liquefied noble gases. We examine the opportunities and challenges of liquid argon detectors operated as calorimeters, scintillators, and time projection chambers. We then delve into the core applications of liquid argon detectors at colliders (ATLAS), accelerator neutrino beams (SBN, DUNE), and underground laboratories (DarkSide, DEAP, ICARUS) for the observation of rare events. We complete the review by looking at unconventional developments (pixelization, combined light-charge readout, Xe-doped devices, all-optical readout) and applications in medical and applied physics to extend this technology's scope toward novel research fields.


title: Ulrich subvarieties and the non-existence of low rank Ulrich bundles on complete intersections

abstract: We characterize the existence of an Ulrich vector bundle on a variety $X \subset P^N$ in terms of the existence of a subvariety satisfying some precise conditions. Then we use this fact to prove that a complete intersection of dimension $n \ge 4$, which if $n=4$ is very general and not of type $(2,2)$, does not carry any Ulrich bundles of rank $r \le 3$ unless $n=4, r=2$ and $X$ is a quadric.


title: SynFlowNet: Towards Molecule Design with Guaranteed Synthesis Pathways

abstract: Recent breakthroughs in generative modelling have led to a number of works proposing molecular generation models for drug discovery. While these models perform well at capturing drug-like motifs, they are known to often produce synthetically inaccessible molecules. This is because they are trained to compose atoms or fragments in a way that approximates the training distribution, but they are not explicitly aware of the synthesis constraints that come with making molecules in the lab. To address this issue, we introduce SynFlowNet, a GFlowNet model whose action space uses chemically validated reactions and reactants to sequentially build new molecules. We evaluate our approach using synthetic accessibility scores and an independent retrosynthesis tool. SynFlowNet consistently samples synthetically feasible molecules, while still being able to find diverse and high-utility candidates. Furthermore, we compare molecules designed with SynFlowNet to experimentally validated actives, and find that they show comparable properties of interest, such as molecular weight, SA score and predicted protein binding affinity.


title: Self-Supervised Learning for Interventional Image Analytics: Towards Robust Device Trackers

abstract: An accurate detection and tracking of devices such as guiding catheters in live X-ray image acquisitions is an essential prerequisite for endovascular cardiac interventions. This information is leveraged for procedural guidance, e.g., directing stent placements. To ensure procedural safety and efficacy, there is a need for high robustness no failures during tracking. To achieve that, one needs to efficiently tackle challenges, such as: device obscuration by contrast agent or other external devices or wires, changes in field-of-view or acquisition angle, as well as the continuous movement due to cardiac and respiratory motion. To overcome the aforementioned challenges, we propose a novel approach to learn spatio-temporal features from a very large data cohort of over 16 million interventional X-ray frames using self-supervision for image sequence data. Our approach is based on a masked image modeling technique that leverages frame interpolation based reconstruction to learn fine inter-frame temporal correspondences. The features encoded in the resulting model are fine-tuned downstream. Our approach achieves state-of-the-art performance and in particular robustness compared to ultra optimized reference solutions (that use multi-stage feature fusion, multi-task and flow regularization). The experiments show that our method achieves 66.31% reduction in maximum tracking error against reference solutions (23.20% when flow regularization is used); achieving a success score of 97.95% at a 3x faster inference speed of 42 frames-per-second (on GPU). The results encourage the use of our approach in various other tasks within interventional image analytics that require effective understanding of spatio-temporal semantics.


title: Tabular and Deep Reinforcement Learning for Gittins Index

abstract: In the realm of multi-arm bandit problems, the Gittins index policy is known to be optimal in maximizing the expected total discounted reward obtained from pulling the Markovian arms. In most realistic scenarios however, the Markovian state transition probabilities are unknown and therefore the Gittins indices cannot be computed. One can then resort to reinforcement learning (RL) algorithms that explore the state space to learn these indices while exploiting to maximize the reward collected. In this work, we propose tabular (QGI) and Deep RL (DGN) algorithms for learning the Gittins index that are based on the retirement formulation for the multi-arm bandit problem. When compared with existing RL algorithms that learn the Gittins index, our algorithms have a lower run time, require less storage space (small Q-table size in QGI and smaller replay buffer in DGN), and illustrate better empirical convergence to the Gittins index. This makes our algorithm well suited for problems with large state spaces and is a viable alternative to existing methods. As a key application, we demonstrate the use of our algorithms in minimizing the mean flowtime in a job scheduling problem when jobs are available in batches and have an unknown service time distribution. \


title: Interpretable Data-driven Anomaly Detection in Industrial Processes with ExIFFI

abstract: Anomaly detection (AD) is a crucial process often required in industrial settings. Anomalies can signal underlying issues within a system, prompting further investigation. Industrial processes aim to streamline operations as much as possible, encompassing the production of the final product, making AD an essential mean to reach this goal.Conventional anomaly detection methodologies typically classify observations as either normal or anomalous without providing insight into the reasons behind these classifications.Consequently, in light of the emergence of Industry 5.0, a more desirable approach involves providing interpretable outcomes, enabling users to understand the rationale behind the results.This paper presents the first industrial application of ExIFFI, a recently developed approach focused on the production of fast and efficient explanations for the Extended Isolation Forest (EIF) Anomaly detection method. ExIFFI is tested on two publicly available industrial datasets demonstrating superior effectiveness in explanations and computational efficiency with the respect to other state-of-the-art explainable AD models.


title: TartuNLP at EvaLatin 2024: Emotion Polarity Detection

abstract: This paper presents the TartuNLP team submission to EvaLatin 2024 shared task of the emotion polarity detection for historical Latin texts. Our system relies on two distinct approaches to annotating training data for supervised learning: 1) creating heuristics-based labels by adopting the polarity lexicon provided by the organizers and 2) generating labels with GPT4. We employed parameter efficient fine-tuning using the adapters framework and experimented with both monolingual and cross-lingual knowledge transfer for training language and task adapters. Our submission with the LLM-generated labels achieved the overall first place in the emotion polarity detection task. Our results show that LLM-based annotations show promising results on texts in Latin.


title: Quantum algorithms for Hopcroft's problem

abstract: In this work we study quantum algorithms for Hopcroft's problem which is a fundamental problem in computational geometry. Given $n$ points and $n$ lines in the plane, the task is to determine whether there is a point-line incidence. The classical complexity of this problem is well-studied, with the best known algorithm running in $O(n^{4/3})$ time, with matching lower bounds in some restricted settings. Our results are two different quantum algorithms with time complexity $\widetilde O(n^{5/6})$. The first algorithm is based on partition trees and the quantum backtracking algorithm. The second algorithm uses a quantum walk together with a history-independent dynamic data structure for storing line arrangement which supports efficient point location queries. In the setting where the number of points and lines differ, the quantum walk-based algorithm is asymptotically faster. The quantum speedups for the aforementioned data structures may be useful for other geometric problems.


title: Exponentially Consistent Outlier Hypothesis Testing for Continuous Sequences

abstract: In outlier hypothesis testing, one aims to detect outlying sequences among a given set of sequences, where most sequences are generated i.i.d. from a nominal distribution while outlying sequences (outliers) are generated i.i.d. from a different anomalous distribution. Most existing studies focus on discrete-valued sequences, where each data sample takes values in a finite set. To account for practical scenarios where data sequences usually take real values, we study outlier hypothesis testing for continuous sequences when both the nominal and anomalous distributions are \emph{unknown}. Specifically, we propose distribution free tests and prove that the probabilities of misclassification error, false reject and false alarm decay exponentially fast for three different test designs: fixed-length test, sequential test, and two-phase test. In a fixed-length test, one fixes the sample size of each observed sequence; in a sequential test, one takes a sample sequentially from each sequence per unit time until a reliable decision can be made; in a two-phase test, one adapts the sample size from two different fixed values. Remarkably, the two-phase test achieves a good balance between test design complexity and theoretical performance. We first consider the case of at most one outlier, and then generalize our results to the case with multiple outliers where the number of outliers is unknown.


title: Numerical implementation of evolution equations for twist-3 collinear PDFs

abstract: Twist-3 collinear parton distribution functions (PDFs) are matrix elements of quark-gluon-quark or three-gluons light-cone operators. They depend on three momentum fraction variables, which are restricted to a hexagon region, and the evolution kernels are defined via two-dimensional convolution in these variables. We present the numerical realisation of the twist-3 evolution equations at leading order in the strong coupling for all kinds of twist-3 PDF (quark, gluon, chiral-even/odd, etc). We provide two independent codes (in C and Fortran) that have been extensively cross-checked, and are ready-to-use. We supplement the paper with a review of known properties of twist-3 PDFs.


title: Political Stress Index of Poland

abstract: We apply the political stress index as introduced by Goldstone (1991) and implemented by Turchin (2013), to the case study of Poland. The approach quantifies political and social unrest as a single quantity based on a multitude of economic and demographic variables. The present-day data allow us to directly apply index without the need of simulating the elite component, as was done previously. Neither model version shows appreciable unrest levels for the present, while the simulated model applied to partial historical data yields the index in remarkable agreement with the fall of communism in Poland. We next analyze the model's sensitive dependence on its parameters (the hallmark of chaos), which limits its utility and application to other countries. The original equations cannot, by construction, describe the elite fraction for longer time-periods; and we propose a modification to remedy this problem. The model still holds some predictive power, but we argue that some components should be reinterpreted if one wants to keep its dynamical equations.


title: Clonoids of Boolean functions with a monotone or discriminator source clone

abstract: Extending Sparks's theorem, we determine the cardinality of the lattice of $(C_1,C_2)$-clonoids of Boolean functions in the cases where the target clone $C_2$ is the clone of projections. Moreover, we explicitly describe the $(C_1,C_2)$-clonoids of Boolean functions in the cases where the source clone $C_1$ is one of the four clones of monotone functions or contains the discriminator function.


title: How A/B testing changes the dynamics of information spreading on a social network

abstract: A/B testing methodology is generally performed by private companies to increase user engagement and satisfaction about online features. Their usage is far from being transparent and may undermine user autonomy (e.g. polarizing individual opinions, mis- and dis- information spreading). For our analysis we leverage a crucial case study dataset (i.e. Upworthy) where news headlines were allocated to users and reshuffled for optimizing clicks. Our centre of focus is to determine how and under which conditions A/B testing affects the distribution of content on the collective level, specifically on different social network structures. In order to achieve that, we set up an agent-based model reproducing social interaction and an individual decision-making model. Our preliminary results indicate that A/B testing has a substantial influence on the qualitative dynamics of information dissemination on a social network. Moreover, our modeling framework promisingly embeds conjecturing policy (e.g. nudging, boosting) interventions.


title: All cycle-chords are $e$-positive

abstract: We establish the $e$-positivity of all cycle-chord graphs by using the composition method that is developed by Zhou and the author very recently. Our technique is not only applicable to all cycle-chords, but also much simpler than the $(e)$-positivity method that is used for handling cycle-chords with girth at most $4$.


title: Ergodic Spectral Efficiency Analysis of Intelligent Omni-Surface Aided Systems Suffering From Imperfect CSI and Hardware Impairments

abstract: In contrast to the conventional reconfigurable intelligent surfaces (RIS), intelligent omni-surfaces (IOS) are capable of full-space coverage of smart radio environments by simultaneously transmitting and reflecting the incident signals. In this paper, we investigate the ergodic spectral efficiency of IOS-aided systems for transmission over random channel links, while considering both realistic imperfect channel state information (CSI) and transceiver hardware impairments (HWIs). Firstly, we formulate the linear minimum mean square error estimator of the equivalent channel spanning from the user equipments (UEs) to the access point (AP), where the transceiver HWIs are also considered. Then, we apply a two-timescale protocol for designing the beamformer of the IOS-aided system. Specifically, for the active AP beamformer, the minimum mean square error combining method is employed, which relies on the estimated equivalent channels, on the statistical information of the channel estimation error, on the inter-user interference as well as on the HWIs at the AP and UEs. By contrast, the passive IOS beamformer is designed based on the statistical CSI for maximizing the upper bound of the ergodic spectral efficiency. The theoretical analysis and simulation results show that the transceiver HWIs have a significant effect on the ergodic spectral efficiency, especially in the high transmit power region. Furthermore, we show that the HWIs at the AP can be effectively compensated by deploying more AP antennas.


title: Remote Nucleation and Stationary Domain Walls via Transition Waves in Tristable Magnetoelastic Lattices

abstract: We present a tunable magnetoelastic lattice with a multistable onsite potential, focusing on a tristable potential. Through experimental and numerical analysis, we verify the existence of three types of transition waves with distinct amplitudes and velocities. Additionally, we establish the presence of a scaling law that elucidates various characteristics of these transition waves. By manipulating the onsite potential, we investigate the collision dynamics of two transition waves within the system. In chains featuring an asymmetric potential well, the collision of similar transition waves leads to the remote nucleation of a new phase. In chains with a symmetric potential well, the collision of dissimilar transition waves results in the formation of a stationary domain wall


title: Fourier-Mukai loci of K3 surfaces of Picard number one

abstract: In this paper, we describe the Fourier-Mukai locus of the derived category of a complex algebraic K3 surface of Picard number one. We also prove that the Fourier-Mukai locus of the derived category of a complex algebraic K3 surface of Picard number one is strictly smaller than it's Matsui spectrum.


title: GroupedMixer: An Entropy Model with Group-wise Token-Mixers for Learned Image Compression

abstract: Transformer-based entropy models have gained prominence in recent years due to their superior ability to capture long-range dependencies in probability distribution estimation compared to convolution-based methods. However, previous transformer-based entropy models suffer from a sluggish coding process due to pixel-wise autoregression or duplicated computation during inference. In this paper, we propose a novel transformer-based entropy model called GroupedMixer, which enjoys both faster coding speed and better compression performance than previous transformer-based methods. Specifically, our approach builds upon group-wise autoregression by first partitioning the latent variables into groups along spatial-channel dimensions, and then entropy coding the groups with the proposed transformer-based entropy model. The global causal self-attention is decomposed into more efficient group-wise interactions, implemented using inner-group and cross-group token-mixers. The inner-group token-mixer incorporates contextual elements within a group while the cross-group token-mixer interacts with previously decoded groups. Alternate arrangement of two token-mixers enables global contextual reference. To further expedite the network inference, we introduce context cache optimization to GroupedMixer, which caches attention activation values in cross-group token-mixers and avoids complex and duplicated computation. Experimental results demonstrate that the proposed GroupedMixer yields the state-of-the-art rate-distortion performance with fast compression speed.


title: Modeling pedestrian fundamental diagram based on Directional Statistics

abstract: Understanding pedestrian dynamics is crucial for appropriately designing pedestrian spaces. The pedestrian fundamental diagram (FD), which describes the relationship between pedestrian flow and density within a given space, characterizes these dynamics. Pedestrian FDs are significantly influenced by the flow type, such as uni-directional, bi-directional, and crossing flows. However, to the authors' knowledge, generalized pedestrian FDs that are applicable to various flow types have not been proposed. This may be due to the difficulty of using statistical methods to characterize the flow types. The flow types significantly depend on the angles of pedestrian movement; however, these angles cannot be processed by standard statistics due to their periodicity. In this study, we propose a comprehensive model for pedestrian FDs that can describe the pedestrian dynamics for various flow types by applying Directional Statistics. First, we develop a novel statistic describing the pedestrian flow type solely from pedestrian trajectory data using Directional Statistics. Then, we formulate a comprehensive pedestrian FD model that can be applied to various flow types by incorporating the proposed statistics into a traditional pedestrian FD model. The proposed model was validated using actual pedestrian trajectory data. The results confirmed that the model effectively represents the essential nature of pedestrian dynamics, such as the capacity reduction due to conflict of crossing flows and the capacity improvement due to the lane formation in bi-directional flows.


title: Frame Codes for the Block-Erasure Channel

abstract: Analog codes add redundancy by expanding the dimension using real/complex-valued operations. Frame theory provides a mathematical basis for constructing such codes, with diverse applications in non-orthogonal code-division multiple access (NOMA-CDMA), distributed computation, multiple description source coding, space-time coding (STC), and more. The channel model corresponding to these applications is a combination of noise and erasures. Recent analyses showed a useful connection between spectral random-matrix theory and large equiangular tight frames (ETFs) under random uniform erasures. In this work we generalize this model to a channel where the erasures come in blocks. This particularly fits NOMA-CDMA with multiple transmit antennas for each user and STC with known spatial grouping. We present a method to adjust ETF codes to suit block erasures, and find minimum intra-block-correlation frames which outperform ETFs in this setting.


title: Signature decay modes of the compact doubly-heavy tetraquarks $T_{bb\bar{u} \bar{d}}$ and $T_{bc\bar{u} \bar{d}}$

abstract: Based on the expectations that the lowest-lying doubly-bottom tetraquark $T_{bb\bar u \bar d}$ ($J^P = 1^+$) and the bottom-charm tetraquark $T_{bc\bar u \bar d}$ ($J^P = 0^+$) are stable against strong and electromagnetic decays, we work out a number of semileptonic and non-leptonic weak decays of these hadrons, making use of the heavy quark symmetry. In doing this, we concentrate on the exclusive decays involving also tetraquarks in the final states, i.e., transitions such as $T_{bb\bar u \bar d} \to T_{bc\bar u \bar d}\, (\ell^- \nu_\ell,\, h^-)$ and $T_{bc\bar u \bar d} \to T_{cc\bar u \bar d}\, (\ell^- \nu_\ell,\, h^-)$, where $h^- = \pi^-, \rho^-, a_1^-, D^-_s, D^{*-}_s$. So far, only the $J^P = 1^+$ tetraquark $T_{cc\bar u \bar d}$ has been discovered, which we identify with the $I = 0$ $T_{cc}^+$ object, compatible with $J^P = 1^+$ and having the pole mass relative to the $D^{*+} D^0$ mass threshold and decay widths $\delta m = M (T_{cc}^+) - ( M (D^{*+}) + M (D^0) ) = - 360 \pm 40^{+4}_{-0}$ keV and $\Gamma (T_{cc}^+) = 48^{+2}_{-14}$ keV. Experimental discoveries of the transitions worked out here, and related ones involving doubly-heavy baryons, will quantify the diquark-antidiquark component of these tetraquarks.


title: Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)

abstract: Logically constrained term rewriting is a relatively new formalism where rules are equipped with constraints over some arbitrary theory. Although there are many recent advances with respect to rewriting induction, completion, complexity analysis and confluence analysis for logically constrained term rewriting, these works solely focus on the syntactic side of the formalism lacking detailed investigations on semantics. In this paper, we investigate a semantic side of logically constrained term rewriting. To this end, we first define constrained equations, constrained equational theories and validity of the former based on the latter. After presenting the relationship of validity and conversion of rewriting, we then construct a sound inference system to prove validity of constrained equations in constrained equational theories. Finally, we give an algebraic semantics, which enables one to establish invalidity of constrained equations in constrained equational theories. This algebraic semantics derive a new notion of consistency for constrained equational theories.


title: Uncertainty-aware self-training with expectation maximization basis transformation

abstract: Self-training is a powerful approach to deep learning. The key process is to find a pseudo-label for modeling. However, previous self-training algorithms suffer from the over-confidence issue brought by the hard labels, even some confidence-related regularizers cannot comprehensively catch the uncertainty. Therefore, we propose a new self-training framework to combine uncertainty information of both model and dataset. Specifically, we propose to use Expectation-Maximization (EM) to smooth the labels and comprehensively estimate the uncertainty information. We further design a basis extraction network to estimate the initial basis from the dataset. The obtained basis with uncertainty can be filtered based on uncertainty information. It can then be transformed into the real hard label to iteratively update the model and basis in the retraining process. Experiments on image classification and semantic segmentation show the advantages of our methods among confidence-aware self-training algorithms with 1-3 percentage improvement on different datasets.


title: SOPA: A Framework for Sustainability-Oriented Process Analysis and Re-design in Business Process Management

abstract: Given the continuous global degradation of the Earth's ecosystem due to unsustainable human activity, it is increasingly important for enterprises to evaluate the effects they have on the environment. Consequently, assessing the impact of business processes on sustainability is becoming an important consideration in the discipline of Business Process Management (BPM). However, existing practical approaches that aim at a sustainability-oriented analysis of business processes provide only a limited perspective on the environmental impact caused. Further, they provide no clear and practically applicable mechanism for sustainability-driven process analysis and re-design. Following a design science methodology, we here propose and study SOPA, a framework for sustainability-oriented process analysis and re-design. SOPA extends the BPM life cycle by use of Life Cycle Assessment (LCA) for sustainability analysis in combination with Activity-based Costing (ABC). We evaluate SOPA and its usefulness with a case study, by means of an implementation to support the approach, thereby also illustrating the practical applicability of this work.


title: Handling the asymmetric spectral line profile

abstract: This paper discusses some features of the spectral line profile theory used in the treatment of measured atomic transitions. It is shown that going beyond the established linear approximation for the spectral line contour in the case of its nonresonant extension, the potential for a more accurate extraction of atomic characteristics from experimental data arises. Using the example of the Lyman-$\alpha$ (Ly$_\alpha$) transition in hydrogen, a simple analysis of the observed spectral line distorted by a possible interfering transitions is given. In particular, the results obtained in the present work clearly demonstrate that the processing of the same experimental data at different settings can provide an accurate determination of the transition frequency, the centre of gravity as well as the hyperfine splitting of the ground state in hydrogen-like atomic systems. The latter is especially important for setting up precision spectroscopic experiments on the antihydrogen atom.


title: A Direct Translation from LTL with Past to Deterministic Rabin Automata

abstract: We present a translation from linear temporal logic with past to deterministic Rabin automata. The translation is direct in the sense that it does not rely on intermediate non-deterministic automata, and asymptotically optimal, resulting in Rabin automata of doubly exponential size. It is based on two main notions. One is that it is possible to encode the history contained in the prefix of a word, as relevant for the formula under consideration, by performing simple rewrites of the formula itself. As a consequence, a formula involving past operators can (through such rewrites, which involve alternating between weak and strong versions of past operators in the formula's syntax tree) be correctly evaluated at an arbitrary point in the future without requiring backtracking through the word. The other is that this allows us to generalize to linear temporal logic with past the result that the language of a pure-future formula can be decomposed into a Boolean combination of simpler languages, for which deterministic automata with simple acceptance conditions are easily constructed.


title: Finite symmetric groups are strongly verbally closed

abstract: Answering a question of A. V. Vasil'ev, we show that each finite symmetric (or alternating) group $H$ is a retract of any group containing $H$ as a verbally closed subgroup.


title: Robust Algorithms for Finding Triangles and Computing the Girth in Unit Disk and Transmission Graphs

abstract: We describe optimal robust algorithms for finding a triangle and the unweighted girth in a unit disk graph, as well as finding a triangle in a transmission graph.In the robust setting, the input is not given as a set of sites in the plane, but rather as an abstract graph. The input may or may not be realizable as a unit disk graph or a transmission graph. If the graph is realizable, the algorithm is guaranteed to give the correct answer. If not, the algorithm will either give a correct answer or correctly state that the input is not of the required type.


title: Multiplicatively Ordered and Directed Hybrid Jordan-Lie Superalgebra

abstract: A new algebra, hitherto not encountered in the usual Lie algebraic varieties or supervarieties, is introduced. The paper explores the rich and novel structure of the algebra, and it compares it on the one hand with the Jordan-Lie Superalgebras studied by Okubo and Kamiya, and on the other, with the four usual Euclidean division rings of the reals (R), the complexes (C), the quaternions (H) and the octonions (O), key algebraic properties of which the algebra is seen to combine, alter, extend and generalise. A potential physical application of the algebra is briefly alluded to at the end.


title: A Model-Based Approach to Shot Charts Estimation in Basketball

abstract: Shot charts in basketball analytics provide an indispensable tool for evaluating players' shooting performance by visually representing the distribution of field goal attempts across different court locations. However, conventional methods often overlook the bounded nature of the basketball court, leading to inaccurate representations, particularly along the boundaries and corners. In this paper, we propose a novel model-based approach to shot chart estimation and visualization that explicitly considers the physical boundaries of the basketball court. By employing Gaussian mixtures for bounded data, our methodology allows to obtain more accurate estimation of shot density distributions for both made and missed shots. Bayes' rule is then applied to derive estimates for the probability of successful shooting from any given locations, and to identify the regions with the highest expected scores. To illustrate the efficacy of our proposal, we apply it to data from the 2022-23 NBA regular season, showing its usefulness through detailed analyses of shot patterns for two prominent players.


title: An efficient quantifier elimination procedure for Presburger arithmetic

abstract: All known quantifier elimination procedures for Presburger arithmetic require doubly exponential time for eliminating a single block of existentially quantified variables. It has even been claimed in the literature that this upper bound is tight. We observe that this claim is incorrect and develop, as the main result of this paper, a quantifier elimination procedure eliminating a block of existentially quantified variables in singly exponential time. As corollaries, we can establish the precise complexity of numerous problems. Examples include deciding (i) monadic decomposability for existential formulas, (ii) whether an existential formula defines a well-quasi ordering or, more generally, (iii) certain formulas of Presburger arithmetic with Ramsey quantifiers. Moreover, despite the exponential blowup, our procedure shows that under mild assumptions, even NP upper bounds for decision problems about quantifier-free formulas can be transferred to existential formulas. The technical basis of our results is a kind of small model property for parametric integer programming that generalizes the seminal results by von zur Gathen and Sieveking on small integer points in convex polytopes.


title: On the Zeros of the Miller Basis of Cusp Forms

abstract: We study the zeros of cusp forms in the Miller basis whose vanishing order at infinity is a fixed number $m$. We show that for sufficiently large weights, the finite zeros in the fundamental domain of such forms, all lie on the circular part of the boundary of the fundamental domain. We further show and quantify an effective bound for the weight, which is linear in terms of $m$.


title: Third Medium Finite Element Contact Formulation for Pneumatically Actuated Systems

abstract: Mechanical metamaterials are artificially engineered microstructures that exhibit novel mechanical behavior on the macroscopic scale. Active metamaterials can be externally controlled. Pneumatically actuated metamaterials can change their mechanical, acoustic, or other types of effective behavior in response to applied pressure with possible applications ranging from soft robotic actuators to phononic crystals. To facilitate the design of such pneumatically actuated metamaterials and structures by topology optimization, a robust way of their computational modeling, capturing both pneumatic actuation of internal voids and internal contact, is needed. Since voids in topology optimization are often modeled using a soft material model, the third medium contact formulation lends itself as a suitable stepping stone. We propose a single hyperelastic material model capable of maintaining a prescribed hydrostatic Cauchy stress within a void in the pre-contact phase while simultaneously acting as a third medium to enforce frictionless contact, contrasting existing third medium approaches focused solely on contact. We split the overall third-medium energy density into contact, regularization, and pneumatic pressure contributions, all of which can be individually controlled and tuned. To prevent distortions of the compliant third medium, we include curvature penalization in our model. This improves on existing formulations in terms of compliant third medium behavior, leading ultimately to better numerical stability of the solution. Since our formulation is energetically consistent, we are able to employ more advanced finite element solvers, such as the modified Cholesky algorithm to detect instabilities. We demonstrate the behavior of the proposed formulation on several examples of traditional contact benchmarks, including a standard patch test, and validate it with experimental measurement.


title: Potential Energy based Mixture Model for Noisy Label Learning

abstract: Training deep neural networks (DNNs) from noisy labels is an important and challenging task. However, most existing approaches focus on the corrupted labels and ignore the importance of inherent data structure. To bridge the gap between noisy labels and data, inspired by the concept of potential energy in physics, we propose a novel Potential Energy based Mixture Model (PEMM) for noise-labels learning. We innovate a distance-based classifier with the potential energy regularization on its class centers. Embedding our proposed classifier with existing deep learning backbones, we can have robust networks with better feature representations. They can preserve intrinsic structures from the data, resulting in a superior noisy tolerance. We conducted extensive experiments to analyze the efficiency of our proposed model on several real-world datasets. Quantitative results show that it can achieve state-of-the-art performance.


title: Li\'{e}nard Type Nonlinear Oscillators and Quantum Solvability

abstract: Li\'{e}nard-type nonlinear oscillators with linear and nonlinear damping terms exhibit diverse dynamical behavior in both the classical and quantum regimes. In this paper, we consider examples of various one-dimensional Li\'{e}nard type-I and type-II oscillators. The associated Euler-Lagrange equations are divided into groups based on the characteristics of the damping and forcing terms. The Li\'{e}nard type-I oscillators often display localized solutions, isochronous and non-isochronous oscillations and are also precisely solvable in quantum mechanics in general, where the ordering parameters play an important role. These include Mathews-Lakshmanan and Higgs oscillators. However, the classical solutions of some of the nonlinear oscillators are expressed in terms of elliptic functions and have been found to be quasi-exactly solvable in the quantum region. The three-dimensional generalizations of these classical systems add more degrees of freedom, which show complex dynamics. Their quantum equivalents are also explored in this article. The isotonic generalizations of the non-isochronous nonlinear oscillators have also been solved both classically and quantum mechanically to advance the studies. The modified Emden equation categorized as Li\'{e}nard type-II exhibits isochronous oscillations at the classical level. This property makes it a valuable tool for studying the underlying nonlinear dynamics. The study on the quantum counterpart of the system provides a deeper understanding of the behavior in the quantum realm as a typical PT-symmetric system.


title: The Atacama Cosmology Telescope: Reionization kSZ trispectrum methodology and limits

abstract: Patchy reionization generates kinematic Sunyaev-Zeldovich (kSZ) anisotropies in the cosmic microwave background (CMB). Large-scale velocity perturbations along the line of sight modulate the small-scale kSZ power spectrum, leading to a trispectrum (or four-point function) in the CMB that depends on the physics of reionization. We investigate the challenges in detecting this trispectrum and use tools developed for CMB lensing, such as realization-dependent bias subtraction and cross-correlation based estimators, to counter uncertainties in the instrumental noise and assumed CMB power spectrum. We also find that both lensing and extragalactic foregrounds can impart larger trispectrum contributions than the reionization kSZ signal. We present a range of mitigation methods for both of these sources of contamination, validated on microwave-sky simulations. We use ACT DR6 and Planck data to calculate an upper limit on the reionization kSZ trispectrum from a measurement dominated by foregrounds. The upper limit is about 50 times the signal predicted from recent simulations.


abstract: Edge computing allows artificial intelligence and machine learning models to be deployed on edge devices, where they can learn from local data and collaborate to form a global model. Federated learning (FL) is a distributed machine learning technique that facilitates this process while preserving data privacy. However, FL also faces challenges such as high computational and communication costs regarding resource-constrained devices, and poor generalization performance due to the heterogeneity of data across edge clients and the presence of out-of-distribution data. In this paper, we propose the Gradient-Congruity Guided Federated Sparse Training (FedSGC), a novel method that integrates dynamic sparse training and gradient congruity inspection into federated learning framework to address these issues. Our method leverages the idea that the neurons, in which the associated gradients with conflicting directions with respect to the global model contain irrelevant or less generalized information for other clients, and could be pruned during the sparse training process. Conversely, the neurons where the associated gradients with consistent directions could be grown in a higher priority. In this way, FedSGC can greatly reduce the local computation and communication overheads while, at the same time, enhancing the generalization abilities of FL. We evaluate our method on challenging non-i.i.d settings and show that it achieves competitive accuracy with state-of-the-art FL methods across various scenarios while minimizing computation and communication costs.


title: Stochastic Geometry Analysis of EMF Exposure of Idle Users and Network Performance with Dynamic Beamforming

abstract: This paper introduces a novel mathematical framework based on stochastic geometry to investigate the electromagnetic field exposure (EMFE) of both active and idle users located at a specific distance from each other, in cellular networks with dynamic beamforming. Accurate antenna gain modeling, encompassing both the main and side lobes, becomes crucial in this context. To address this need, the multi-cosine antenna pattern is introduced. The marginal distribution of EMFE for each user type is derived. The paper then examines network performance by introducing a new metric designed to ensure minimal downlink coverage for active users while keeping EMFE for idle users below a specified limit. This metric addresses questions such as, "What is the probability that idle users at a distance of $x$~m from an active user will experience EMFE below a specific limit while the active user meets a specific coverage requirement, and how many antenna elements are needed at the base station to increase this probability of, let us say, 20\%?".


title: Nonperturbative study of the electroweak phase transition in the real scalar singlet extended Standard Model

abstract: We perform a nonperturbative lattice study of the electroweak phase transition in the real singlet scalar extension of the Standard Model.We consider both the heavy and light singlet-like scalar regimes at non-zero singlet-doublet mixing angle. After reviewing features of the lattice method relevant for phase transition studies, we analyze the dependence of phase transition thermodynamics on phenomenologically relevant parameters. In the heavy singlet-like scalar regime, we find that the transition is crossover for small doublet-singlet mixing angles, despite the presence of an energy barrier in the tree-level potential. The transition becomes first order for sufficiently large mixing angles. We find two-loop perturbation theory to agree closely with the lattice results for all thermodynamical quantities considered here (critical temperature, order parameter discontinuity, latent heat) when the transition is strongly first order. For the light singlet-like scalar regime relevant to exotic Higgs decays, we update previous one-loop perturbative results using the two-loop loop dimensionally reduced effective field theory and assess the nature of the transition with lattice simulations at set of benchmark parameter points. For fixed singlet-like scalar mass the transition becomes crossover when the magnitude of the Higgs-singlet portal coupling is small. We perform our simulations in the high-temperature effective theory, which we briefly review, and present analytic expressions for the relevant lattice-continuum relations.


title: Imagine2touch: Predictive Tactile Sensing for Robotic Manipulation using Efficient Low-Dimensional Signals

abstract: Humans seemingly incorporate potential touch signals in their perception. Our goal is to equip robots with a similar capability, which we term Imagine2touch. Imagine2touch aims to predict the expected touch signal based on a visual patch representing the area to be touched. We use ReSkin, an inexpensive and compact touch sensor to collect the required dataset through random touching of five basic geometric shapes, and one tool. We train Imagine2touch on two out of those shapes and validate it on the ood. tool. We demonstrate the efficacy of Imagine2touch through its application to the downstream task of object recognition. In this task, we evaluate Imagine2touch performance in two experiments, together comprising 5 out of training distribution objects. Imagine2touch achieves an object recognition accuracy of 58% after ten touches per object, surpassing a proprioception baseline.


title: On Hyperbolicity of Spirallike Circularlike domain

abstract: In this paper, we prove that a spirallike circularlike domain is Kobayashi hyperbolic if and only if its core is empty. In particular, we show that such a domain is Kobayashi hyperbolic if and only if it is (biholomorphic to) a bounded domain. We also propose a problem in this area.


title: The Lp Polar bodies of shadow system and related inequalities

abstract: The $L_p$ versions of the support function and polar body are introduced by Berndtsson, Mastrantonis and Rubinstein in \cite{Berndtsson-Mastrantonis-Rubinstein-2023} recently. In this paper, we prove that the $L_p$-support function of the shadow system $K_t$ introduced by Rogers and Shephard in \cite{rogers-1958-02,shephard-1964} is convex and the volume of the section of $L_p$ polar bodies of $K_t$ is $\frac{1}{n}$-concave with respect to parameter $t$, and obtain some related inequalities. Finally, we present the reverse Rogers-Shephard type inequality for $L_p$-polar bodies.


title: On the semi-additivity of the $1/2$-symmetric caloric capacity in the plane

abstract: In this paper we study properties of a variant of the $1/2$-caloric capacity, called $1/2$-symmetric caloric capacity. The latter is associated simultaneously with the $1/2$-fractional heat equation and its conjugate. We establish its semi-additivity in $\mathbb{R}^2$ and, moreover, we compute explicitly the $1/2$-symmetric caloric capacity of rectangles, which illustrates its anisotropic behaviour.


title: Decoupling Feature Extraction and Classification Layers for Calibrated Neural Networks

abstract: Deep Neural Networks (DNN) have shown great promise in many classification applications, yet are widely known to have poorly calibrated predictions when they are over-parametrized. Improving DNN calibration without comprising on model accuracy is of extreme importance and interest in safety critical applications such as in the health-care sector. In this work, we show that decoupling the training of feature extraction layers and classification layers in over-parametrized DNN architectures such as Wide Residual Networks (WRN) and Visual Transformers (ViT) significantly improves model calibration whilst retaining accuracy, and at a low training cost. In addition, we show that placing a Gaussian prior on the last hidden layer outputs of a DNN, and training the model variationally in the classification training stage, even further improves calibration. We illustrate these methods improve calibration across ViT and WRN architectures for several image classification benchmark datasets.


title: Optimal Beamforming for Bistatic MIMO Sensing

abstract: This paper considers the beamforming optimization for sensing a point-like scatterer using a bistatic multiple-input multiple-output (MIMO) orthogonal frequency-division multiplexing (OFDM) radar, which could be part of a joint communication and sensing system. The goal is to minimize the Cram\'er-Rao bound on the target position's estimation error, where the radar already knows an approximate position that is taken into account in the optimization. The optimization allows for beamforming with more than one beam per subcarrier. Optimal solutions for the beamforming are discussed for known and unknown channel gain. Numerical results show that beamforming with at most one beam per subcarrier is optimal for certain parameters, but for other parameters, optimal solutions need two beams on some subcarriers. In addition, the degree of freedom in selecting which end of the bistatic radar should transmit and receive is considered.


title: Towards Interpretable Reinforcement Learning with Constrained Normalizing Flow Policies

abstract: Reinforcement learning policies are typically represented by black-box neural networks, which are non-interpretable and not well-suited for safety-critical domains. To address both of these issues, we propose constrained normalizing flow policies as interpretable and safe-by-construction policy models. We achieve safety for reinforcement learning problems with instantaneous safety constraints, for which we can exploit domain knowledge by analytically constructing a normalizing flow that ensures constraint satisfaction. The normalizing flow corresponds to an interpretable sequence of transformations on action samples, each ensuring alignment with respect to a particular constraint. Our experiments reveal benefits beyond interpretability in an easier learning objective and maintained constraint satisfaction throughout the entire learning process. Our approach leverages constraints over reward engineering while offering enhanced interpretability, safety, and direct means of providing domain knowledge to the agent without relying on complex reward functions.


title: Latent Fingerprint Matching via Dense Minutia Descriptor

abstract: Latent fingerprint matching is a daunting task, primarily due to the poor quality of latent fingerprints. In this study, we propose a deep-learning based dense minutia descriptor (DMD) for latent fingerprint matching. A DMD is obtained by extracting the fingerprint patch aligned by its central minutia, capturing detailed minutia information and texture information. Our dense descriptor takes the form of a three-dimensional representation, with two dimensions associated with the original image plane and the other dimension representing the abstract features. Additionally, the extraction process outputs the fingerprint segmentation map, ensuring that the descriptor is only valid in the foreground region. The matching between two descriptors occurs in their overlapping regions, with a score normalization strategy to reduce the impact brought by the differences outside the valid area. Our descriptor achieves state-of-the-art performance on several latent fingerprint datasets. Overall, our DMD is more representative and interpretable compared to previous methods.


title: Learning-to-solve unit commitment based on few-shot physics-guided spatial-temporal graph convolution network

abstract: This letter proposes a few-shot physics-guided spatial temporal graph convolutional network (FPG-STGCN) to fast solve unit commitment (UC). Firstly, STGCN is tailored to parameterize UC. Then, few-shot physics-guided learning scheme is proposed. It exploits few typical UC solutions yielded via commercial optimizer to escape from local minimum, and leverages the augmented Lagrangian method for constraint satisfaction. To further enable both feasibility and continuous relaxation for integers in learning process, straight-through estimator for Tanh-Sign composition is proposed to fully differentiate the mixed integer solution space. Case study on the IEEE benchmark justifies that, our method bests mainstream learning ways on UC feasibility, and surpasses traditional solver on efficiency.


title: Observations on representations of the spatial diffeomorphism group and algebra in all dimensions

abstract: The canonical quantisation of General Relativity including matter on a spacetime manifold in the globally hyperbolic setting involves in particular the representation theory of the spatial diffeomorphism group (SDG), and/or its Lie algebra (SDA), of the underlying spatial submanifold. There are well known Fock representations of the SDA in one spatial dimension and non-Fock representations of the SDG in all dimensions. The latter are not strongly continuous and do not descend to representations of the SDA. In this work we report some partial results on non anomalous representations of the SDA for both geometry and matter: 1. Background independent Fock representations of the SDA by operators exist in all dimensions. 2. Infinitely many unitary equivalence classes of background dependent Fock representations of the SDA by operators exist in one dimension but these do not extend to higher dimensions. 3. Infinitely many unitary equivalence classes of background dependent Fock representations of the SDA of volume preserving diffeomorphisms by operators exist in all dimensions. 4. Infinitely many unitary equivalence classes of background dependent Fock representations of the SDA by quadratic forms exist in all dimensions. Except for 1. these representations do not descend from an invariant state of the Weyl algebra and 4. points to a new strategy for solving the quantum constraints.


title: DLAP: A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection

abstract: Software vulnerability detection is generally supported by automated static analysis tools, which have recently been reinforced by deep learning (DL) models. However, despite the superior performance of DL-based approaches over rule-based ones in research, applying DL approaches to software vulnerability detection in practice remains a challenge due to the complex structure of source code, the black-box nature of DL, and the domain knowledge required to understand and validate the black-box results for addressing tasks after detection. Conventional DL models are trained by specific projects and, hence, excel in identifying vulnerabilities in these projects but not in others. These models with poor performance in vulnerability detection would impact the downstream tasks such as location and repair. More importantly, these models do not provide explanations for developers to comprehend detection results. In contrast, Large Language Models (LLMs) have made lots of progress in addressing these issues by leveraging prompting techniques. Unfortunately, their performance in identifying vulnerabilities is unsatisfactory. This paper contributes \textbf{\DLAP}, a \underline{\textbf{D}}eep \underline{\textbf{L}}earning \underline{\textbf{A}}ugmented LLMs \underline{\textbf{P}}rompting framework that combines the best of both DL models and LLMs to achieve exceptional vulnerability detection performance. Experimental evaluation results confirm that \DLAP outperforms state-of-the-art prompting frameworks, including role-based prompts, auxiliary information prompts, chain-of-thought prompts, and in-context learning prompts, as well as fine-turning on multiple metrics.


title: Optimization of reactively sputtered Mn3GaN films based on resistivity measurements

abstract: Mn-based nitrides with antiperovskite structures have several properties that can be utilised for antiferromagnetic spintronics. Their magnetic properties depend on the structural quality, composition and doping of the cubic antiperovskite structure. Such nitride thin films are usually produced by reactive physical vapour deposition, where the deposition rate of N can only be controlled by the N2 gas flow. We show that the tuning of the N content can be optimised using low temperature resistivity measurements, which serve as an indicator of the degree of structural disorder. Several Mn3GaNx films were prepared by reactive magnetron sputtering under different N2 gas flows. Under optimised conditions, we obtain films that exhibit a metal-like temperature dependence, a vanishing logarithmic increase in resistivity towards zero, the highest resistivity ratio and a lattice contraction of 0.4 % along the growth direction when heated above that of the N\'eel temperature in agreement with the bulk samples.


title: Towards Cross-Scale Attention and Surface Supervision for Fractured Bone Segmentation in CT

abstract: Bone segmentation is an essential step for the preoperative planning of fracture trauma surgery. The automated segmentation of fractured bone from computed tomography (CT) scans remains challenging, due to the large differences of fractures in position and morphology, and also the inherent anatomical characteristics of different bone structures. To alleviate these issues, we propose a cross-scale attention mechanism as well as a surface supervision strategy for fractured bone segmentation in CT. Specifically, a cross-scale attention mechanism is introduced to effectively aggregate the features among different scales to provide more powerful fracture representation. Moreover, a surface supervision strategy is employed, which explicitly constrains the network to pay more attention to the bone boundary. The efficacy of the proposed method is evaluated on a public dataset containing CT scans with hip fractures. The evaluation metrics are Dice similarity coefficient (DSC), average symmetric surface distance (ASSD), and Hausdorff distance (95HD). The proposed method achieves an average DSC of 93.36%, ASSD of 0.85mm, 95HD of 7.51mm. Our method offers an effective fracture segmentation approach for the pelvic CT examinations, and has the potential to be used for improving the segmentation performance of other types of fractures.


title: Error-Driven Uncertainty Aware Training

abstract: Neural networks are often overconfident about their predictions, which undermines their reliability and trustworthiness. In this work, we present a novel technique, named Error-Driven Uncertainty Aware Training (EUAT), which aims to enhance the ability of neural models to estimate their uncertainty correctly, namely to be highly uncertain when they output inaccurate predictions and low uncertain when their output is accurate. The EUAT approach operates during the model's training phase by selectively employing two loss functions depending on whether the training examples are correctly or incorrectly predicted by the model. This allows for pursuing the twofold goal of i) minimizing model uncertainty for correctly predicted inputs and ii) maximizing uncertainty for mispredicted inputs, while preserving the model's misprediction rate. We evaluate EUAT using diverse neural models and datasets in the image recognition domains considering both non-adversarial and adversarial settings. The results show that EUAT outperforms existing approaches for uncertainty estimation (including other uncertainty-aware training techniques, calibration, ensembles, and DEUP) by providing uncertainty estimates that not only have higher quality when evaluated via statistical metrics (e.g., correlation with residuals) but also when employed to build binary classifiers that decide whether the model's output can be trusted or not and under distributional data shifts.


title: Posterior contraction rates in a sparse non-linear mixed-effects model

abstract: Recent works have shown an interest in investigating the frequentist asymptotic properties of Bayesian procedures for high-dimensional linear models under sparsity constraints. However, there exists a gap in the literature regarding analogous theoretical findings for non-linear models within the high-dimensional setting. The current study provides a novel contribution, focusing specifically on a non-linear mixed-effects model. In this model, the residual variance is assumed to be known, while the covariance matrix of the random effects and the regression vector are unknown and must be estimated. The prior distribution for the sparse regression coefficients consists of a mixture of a point mass at zero and a Laplace distribution, while an Inverse-Wishart prior is employed for the covariance parameter of the random effects. First, the effective dimension of this model is bounded with high posterior probabilities. Subsequently, we derive posterior contraction rates for both the covariance parameter and the prediction term of the response vector. Finally, under additional assumptions, the posterior distribution is shown to contract for recovery of the unknown sparse regression vector at the same rate as observed in the linear case.


title: Improving Membership Inference in ASR Model Auditing with Perturbed Loss Features

abstract: Membership Inference (MI) poses a substantial privacy threat to the training data of Automatic Speech Recognition (ASR) systems, while also offering an opportunity to audit these models with regard to user data. This paper explores the effectiveness of loss-based features in combination with Gaussian and adversarial perturbations to perform MI in ASR models. To the best of our knowledge, this approach has not yet been investigated. We compare our proposed features with commonly used error-based features and find that the proposed features greatly enhance performance for sample-level MI. For speaker-level MI, these features improve results, though by a smaller margin, as error-based features already obtained a high performance for this task. Our findings emphasise the importance of considering different feature sets and levels of access to target models for effective MI in ASR systems, providing valuable insights for auditing such models.


title: On generators of $k$-PSD closures of the positive semidefinite cone

abstract: Positive semidefinite (PSD) cone is the cone of positive semidefinite matrices, and is the object of interest in semidefinite programming (SDP). A computational efficient approximation of the PSD cone is the $k$-PSD closure, $1 \leq k < n$, cone of $n\times n$ real symmetric matrices such that all of their $k\times k$ principal submatrices are positive semidefinite. For $k=1$, one obtains a polyhedral approximation, while $k=2$ yields a second order conic (SOC) approximation of the PSD cone. These approximations of the PSD cone have been used extensively in real-world applications such as AC Optimal Power Flow (ACOPF) to address computational inefficiencies where SDP relaxations are utilized for convexification the non-convexities. However a theoretical discussion about the geometry of these conic approximations of the PSD cone is rather sparse. In this short communication, we attempt to provide a characterization of some family of generators of the aforementioned conic approximations.


title: On the Cauchy problem for the fractional Keller-Segel system in variable Lebesgue spaces

abstract: In this paper, we are mainly concerned with the well-posed problem of the fractional Keller--Segel system in the framework of variable Lebesgue spaces. Based on carefully examining the algebraical structure of the system, we reduced the fractional Keller--Segel system into the generalized nonlinear heat equation to overcome the difficulties caused by the boundedness of the Riesz potential in a variable Lebesgue spaces, then by mixing some structural properties of the variable Lebesgue spaces with the optimal decay estimates of the fractional heat kernel, we were able to establish two well-posedness results of the fractional Keller--Segel system in this functional setting.


title: Recurrent Nova V2487 Oph Had Superflares in 1941 and 1942 With Radiant Energies 10$^{42.5\pm1.6}$ Ergs

abstract: V2487 Ophiuchi (V2487 Oph) is a recurrent nova with classical nova eruptions in 1900 and 1998, and it is also the most extreme known superflare star. These superflares are roughly-hour-long flares with amplitudes and optical energies reaching up to 1.10 mag and $10^{39.21}$ ergs, with the superflares recurring once-a-day. The V2487 Oph superflares are certainly operating with the same mechanism as all the other types of superflare stars, where magnetic loops are twisted and stretched until reconnection occurs, whereupon ambient electrons are accelerated to relativistic energies and then emitted bremsstrahlung radiation from X-ray to radio. V2487 Oph is unique among known superflare stars in that one of the loop footprints is in an accretion disk. This exact mechanism was theoretically predicted by M. R. Hayashi and colleagues in 1996. Now, I have found two superflares recorded on Harvard archival photographs from the years 1941 and 1942. These two superflares have $B$ magnitude amplitudes of $>$1.83 and $>$2.00 mag and total radiated energies of $10^{42.4}$ and $10^{42.5}$ ergs with bolometric corrections. Each has emitted energies of $\sim$30-billion Carringtons, in units of the most energetic solar flare. Further, I find superflares in the Zwicky Transient Factory light curves, so V2487 Oph has been superflaring from 1941 to 2023. For the observed number distribution of $dN/dE$=$4E^{-2}$ superflares per year, for $E$ in units of $10^{41}$ ergs, the emitted energy in superflare light is $10^{42.1}$ erg in each year, or $10^{44.1}$ ergs from 1941 to 2023.


title: Tomography of a single-atom-resolved detector in the presence of shot-to-shot number fluctuations

abstract: Tomography of single-particle-resolved detectors is of primary importance for characterizing particle correlations with applications in quantum metrology, quantum simulation and quantum computing. However, it is a non-trivial task in practice due to the unavoidable presence of noise that affects the measurement but does not originate from the detector. In this work, we address this problem for a three-dimensional single-atom-resolved detector where shot-to-shot atom number fluctuations are a central issue to perform a quantum detector tomography. We overcome this difficulty by exploiting the parallel measurement of counting statistics in sub-volumes of the detector, from which we evaluate the effect of shot-to-shot fluctuations and perform a local tomography of the detector. In addition, we illustrate the validity of our method from applying it to Gaussian quantum states with different number statistics. Finally, we show that the response of Micro-Channel Plate detectors is well-described from using a binomial distribution with the detection efficiency as a single parameter.


title: Non-perturbative Quantum Gravity in Fock representations

abstract: Perturbative quantum gravity starts from prescribing a background metric. That background metric is then used in order to carry out two separate steps: 1. One splits the non-perturbative metric into background and deviation from it (graviton) and expands the action in terms of the graviton which results in an ifinite series of unknown radius of convergence. 2. One constructs a Fock representation for the graviton and performs perturbative graviton quantum field theory on the fixed background as dictated by the perturbative action. The result is a non-renormalisable theory without predictive power. It is therefore widely believed that a non-perturbative approach is mandatory in order to construct a fundamental, not only effective, predictive quantum field theory of the gravitational interaction. Since perturbation theory is by definition background dependent, the notions of background dependence (BD) and perturbation theory (PT) are often considered as symbiotic, as if they imply each other. In the present work we point out that there is no such symbiosis, these two notions are in fact logically independent. In particular, one can use BD structures while while not using PT at all. Specifically, we construct BD Fock representations (step 2 above) for the full, non-perturbative metric rather than the graviton (not step 1 above) and therefore never perform a perturbative expansion. Despite the fact that the gravitational Lagrangean is a non-polynomial, not even analytic, function of the metric we show that e.g. the Hamiltonian constraint with any density weight can be defined as a quadratic form with dense form domain in such a representation.


title: $Q$-Boson model and relations with integrable hierarchies

abstract: This work investigates the intricate relationship between the q-boson model, a quantum integrable system, and classical integrable systems such as the Toda and KP hierarchies. Initially, we analyze scalar products of off-shell Bethe states and explore their connections to tau functions of integrable hierarchies. Furthermore, we discuss correlation functions within this formalism, examining their representations in terms of tau functions, as well as their Schur polynomial expansions.


title: Core Bifiltration

abstract: The motivation of this paper is to recognize a geometric shape from a noisy sample in the form of a point cloud. Inspired by the HDBSCAN clustering algorithm and the multicover bifiltration, we introduce the core- and the alpha-core bifiltrations. The multicover-, core- and alpha-core bifiltrations are all interleaved, and they enjoy similar Prohorov stability properties. We have performed experiments with the core and the alpha-core bifiltrations where we have calculated their persistent homology along lines in the two-dimensional persistence parameter space.


title: Movable Antenna Enhanced Wireless Sensing Via Antenna Position Optimization

abstract: In this paper, we propose a new wireless sensing system equipped with the movable-antenna (MA) array, which can flexibly adjust the positions of antenna elements for improving the sensing performance over conventional antenna arrays with fixed-position antennas (FPAs). First, we show that the angle estimation performance in wireless sensing is fundamentally determined by the array geometry, where the Cramer-Rao bound (CRB) of the mean square error (MSE) for angle of arrival (AoA) estimation is derived as a function of the antennas' positions for both one-dimensional (1D) and two-dimensional (2D) MA arrays. Then, for the case of 1D MA array, we obtain a globally optimal solution for the MAs' positions in closed form to minimize the CRB of AoA estimation MSE. While in the case of 2D MA array, we aim to achieve the minimum of maximum (min-max) CRBs of estimation MSE for the two AoAs with respect to the horizontal and vertical axes, respectively. In particular, for the special case of circular antenna movement region, an optimal solution for the MAs' positions is derived under certain numbers of MAs and circle radii. Thereby, both the lower- and upper-bounds of the min-max CRB are obtained for the antenna movement region with arbitrary shapes. Moreover, we develop an efficient alternating optimization algorithm to obtain a locally optimal solution for MAs' positions by iteratively optimizing one between their horizontal and vertical coordinates with the other being fixed. Numerical results demonstrate that our proposed 1D/2D MA arrays can significantly decrease the CRB of AoA estimation MSE as well as the actual MSE compared to conventional uniform linear arrays (ULAs)/uniform planar arrays (UPAs) with different values of uniform inter-antenna spacing.


title: DMON: A Simple yet Effective Approach for Argument Structure Learning

abstract: Argument structure learning~(ASL) entails predicting relations between arguments. Because it can structure a document to facilitate its understanding, it has been widely applied in many fields~(medical, commercial, and scientific domains). Despite its broad utilization, ASL remains a challenging task because it involves examining the complex relationships between the sentences in a potentially unstructured discourse. To resolve this problem, we have developed a simple yet effective approach called Dual-tower Multi-scale cOnvolution neural Network~(DMON) for the ASL task. Specifically, we organize arguments into a relationship matrix that together with the argument embeddings forms a relationship tensor and design a mechanism to capture relations with contextual arguments. Experimental results on three different-domain argument mining datasets demonstrate that our framework outperforms state-of-the-art models. The code is available at https://github.com/VRCMF/DMON.git .


title: CromSS: Cross-modal pre-training with noisy labels for remote sensing image segmentation

abstract: We study the potential of noisy labels y to pretrain semantic segmentation models in a multi-modal learning framework for geospatial applications. Specifically, we propose a novel Cross-modal Sample Selection method (CromSS) that utilizes the class distributions P^{(d)}(x,c) over pixels x and classes c modelled by multiple sensors/modalities d of a given geospatial scene. Consistency of predictions across sensors $d$ is jointly informed by the entropy of P^{(d)}(x,c). Noisy label sampling we determine by the confidence of each sensor d in the noisy class label, P^{(d)}(x,c=y(x)). To verify the performance of our approach, we conduct experiments with Sentinel-1 (radar) and Sentinel-2 (optical) satellite imagery from the globally-sampled SSL4EO-S12 dataset. We pair those scenes with 9-class noisy labels sourced from the Google Dynamic World project for pretraining. Transfer learning evaluations (downstream task) on the DFC2020 dataset confirm the effectiveness of the proposed method for remote sensing image segmentation.


title: Attention and Sensory Processing in Augmented Reality: Empowering ADHD population

abstract: The brain's attention system is a complex and adaptive network of brain regions that enables individuals to interact effectively with their surroundings and perform complex tasks. This system involves the coordination of various brain regions, including the prefrontal cortex and the parietal lobes, to process and prioritize sensory information, manage tasks, and maintain focus. In this study, we investigate the intricate mechanisms underpinning the brain's attention system, followed by an exploration within the context of augmented reality (AR) settings. AR emerges as a viable technological intervention to address the multifaceted challenges faced by individuals with Attention Deficit Hyperactivity Disorder (ADHD). Given that the primary characteristics of ADHD include difficulties related to inattention, hyperactivity, and impulsivity, AR offers tailor-made solutions specifically designed to mitigate these challenges and enhance cognitive functioning. On the other hand, if these ADHD-related issues are not adequately addressed, it could lead to a worsening of their condition in AR. This underscores the importance of employing effective interventions such as AR to support individuals with ADHD in managing their symptoms. We examine the attentional mechanisms within AR environments and the sensory processing dynamics prevalent among the ADHD population. Our objective is to comprehensively address the attentional needs of this population in AR settings and offer a framework for designing cognitively accessible AR applications.


title: Special values of Green's functions on hyperbolic $3$-space

abstract: Gross, Kohnen and Zagier proved an averaged version of the algebraicity conjecture for special values of higher Green's functions on modular curves. In this work, we study an analogous problem for special values of Green's functions on hyperbolic $3$-space. We prove that their averages can be computed in terms of logarithms of primes and logarithms of units in real quadratic fields. Moreover, we study twisted averages of special values of Green's functions, which yield algebraic numbers instead of logarithms.


title: Misspecification of Multiple Scattering in Scalar Wave Fields and its Impact in Ultrasound Tomography

abstract: In this work, we investigate the localization of targets in the presence of multiple scattering. We focus on the often omitted scenario in which measurement data is affected by multiple scattering, and a simpler model is employed in the estimation. We study the impact of such model mismatch by means of the Misspecified Cram\'er-Rao Bound (MCRB). In numerical simulations inspired by tomographic inspection in ultrasound nondestructive testing, the MCRB is shown to correctly describe the estimation variance of localization parameters under misspecification of the wave propagation model. We provide extensive discussion on the utility of the MCRB in the practical task of verifying whether a chosen misspecified model is suitable for localization based on the properties of the maximum likelihood estimator and the nuanced distinction between bias and parameter space differences. Finally, we highlight that careful interpretation is needed whenever employing the classical CRB in the presence of mismatch through numerical examples based on the Born approximation and other simplified propagation models stemming from it.


title: A Survey on Semantic Communication Networks: Architecture, Security, and Privacy

abstract: Semantic communication, emerging as a breakthrough beyond the classical Shannon paradigm, aims to convey the essential meaning of source data rather than merely focusing on precise yet content-agnostic bit transmission. By interconnecting diverse intelligent agents (e.g., autonomous vehicles and VR devices) via semantic communications, the semantic communication networks (SemComNet) supports semantic-oriented transmission, efficient spectrum utilization, and flexible networking among collaborative agents. Consequently, SemComNet stands out for enabling ever-increasing intelligent applications, such as autonomous driving and Metaverse. However, being built on a variety of cutting-edge technologies including AI and knowledge graphs, SemComNet introduces diverse brand-new and unexpected threats, which pose obstacles to its widespread development. Besides, due to the intrinsic characteristics of SemComNet in terms of heterogeneous components, autonomous intelligence, and large-scale structure, a series of critical challenges emerge in securing SemComNet. In this paper, we provide a comprehensive and up-to-date survey of SemComNet from its fundamentals, security, and privacy aspects. Specifically, we first introduce a novel three-layer architecture of SemComNet for multi-agent interaction, which comprises the control layer, semantic transmission layer, and cognitive sensing layer. Then, we discuss its working modes and enabling technologies. Afterward, based on the layered architecture of SemComNet, we outline a taxonomy of security and privacy threats, while discussing state-of-the-art defense approaches. Finally, we present future research directions, clarifying the path toward building intelligent, robust, and green SemComNet. To our knowledge, this survey is the first to comprehensively cover the fundamentals of SemComNet, alongside a detailed analysis of its security and privacy issues.


title: Probing the dynamical and kinematical structures of detached shells around AGB stars

abstract: Aims. We aim to resolve the spatial and kinematic sub-structures in five detached-shell sources to provide detailed constraints for hydrodynamic models that describe the formation and evolution of the shells. Methods. We use observations of the 12 CO (1-0) emission towards five carbon-AGB stars with ALMA. The data have angular resolutions of 0.3 arcsec to 1arcsec and a velocity resolution of 0.3 km/s . This enables us to quantify spatial and kinematic structures in the shells. Results. The observed emission is separated into two distinct components: a more coherent, bright outer shell and a more filamentary, fainter inner shell. The kinematic information shows that the inner sub-shells move at a higher velocity relative to the outer sub-shells. The observed sub-structures confirm the predictions from hydrodynamical models. However, the models do not predict a double-shell structure, and the CO emission likely only traces the inner and outer edges of the shell, implying a lack of CO in the middle layers of the detached shell. Previous estimates of the masses and temperatures are consistent with originating mainly from the brighter subshell, but the total shell masses are likely lower limits. Conclusions. The observed spatial and kinematical splittings of the shells appear consistent with results from hydrodynamical models, provided the CO emission does not trace the H2 density distribution in the shell but rather traces the edges of the shells. It is therefore not possible to constrain the total shell mass based on the CO observations alone. Complementary observations of, e.g., CI as a dissociation product of CO would be necessary to understand the distribution of CO compared to H2.


title: Dissipative phase transition: from qubits to qudits

abstract: We investigate the fate of dissipative phase transitions in quantum many-body systems when the individual constituents are qudits ($d$-level systems) instead of qubits. As an example system, we employ a permutation-invariant $XY$ model of $N$ infinite-range interacting $d$-level spins undergoing individual and collective dissipation. In the mean-field limit, we identify a dissipative phase transition, whose critical point is independent of $d$ after a suitable rescaling of parameters. When the decay rates between all adjacent levels are identical and $d\geq 4$, the critical point expands, in terms of the ratio between dissipation and interaction strengths, to a critical region in which two phases coexist and which increases as $d$ grows. In addition, a larger $d$ leads to a more pronounced change in spin expectation values at the critical point. Numerical investigations for finite $N$ reveal symmetry breaking signatures in the Liouvillian spectrum at the phase transition. The phase transition is furthermore marked by maximum entanglement negativity and a significant purity change of the steady state, which become more pronounced as $d$ increases. Considering qudits instead of qubits thus opens new perspectives on accessing rich phase diagrams in open many-body systems.