title: Topology-Dependent Privacy Bound For Decentralized Federated Learning

abstract: Decentralized Federated Learning (FL) has attracted significant attention due to its enhanced robustness and scalability compared to its centralized counterpart. It pivots on peer-to-peer communication rather than depending on a central server for model aggregation. While prior research has delved into various factors of decentralized FL such as aggregation methods and privacy-preserving techniques, one crucial aspect affecting privacy is relatively unexplored: the underlying graph topology. In this paper, we fill the gap by deriving a stringent privacy bound for decentralized FL under the condition that the accuracy is not compromised, highlighting the pivotal role of graph topology. Specifically, we demonstrate that the minimum privacy loss at each model aggregation step is dependent on the size of what we term as 'honest components', the maximally connected subgraphs once all untrustworthy participants are excluded from the networks, which is closely tied to network robustness. Our analysis suggests that attack-resilient networks will provide a superior privacy guarantee. We further validate this by studying both Poisson and power law networks, showing that the latter, being less robust against attacks, indeed reveals more privacy. In addition to a theoretical analysis, we consolidate our findings by examining two distinct privacy attacks: membership inference and gradient inversion.


title: Scintillation characteristics of an undoped CsI crystal at low-temperature for dark matter search

abstract: The scintillation characteristics of an undoped CsI crystal with dimensions of 5.8 mm $\times$ 5.9 mm $\times$ 7.0 mm, corresponding to a weight of 1.0 g, were studied by directly coupling two silicon photomultipliers (SiPMs) over a temperature range from room temperature (300 K) to a low temperature of 86 K. The scintillation decay time and light output were measured using x-ray (23 keV) and gamma-ray (88 keV) peaks from a $^{109}$Cd radioactive source. An increase in decay time was observed as the temperature decreased from room temperature to 86 K, ranging from 76 ns to 605 ns. Correspondingly, the light output increased as well, reaching 37.9 $\pm$ 1.5 photoelectrons per keV electron-equivalent at 86 K, which is approximately 18 times higher than the light yield at room temperature. Leveraging the significantly enhanced scintillation light output of the undpoed CsI crystal at the low temperature, coupling it with SiPMs makes it a promising candidate for the future dark matter search detector, benefiting from the low threshold owing to the high light output. The odd proton numbers from both cesium and iodine provide an advantage for the WIMP-proton spin-dependent interaction. We evaluated the sensitivity of low-mass dark matter on WIMP-proton spin-dependent interaction with the Migdal process, assuming 200 kg of undoped CsI crystals for the dark matter search. We conclude that undoped CsI crystal detectors exhibit world-competitive sensitivities for low-mass dark matter detection, particularly for the WIMP-proton spin-dependent interaction.


title: Neural network based time-resolved state tomography of superconducting qubits

abstract: Superconducting qubits have emerged as a premier platform for large-scale quantum computation, yet the fidelity of state readout is often hindered by random noise and crosstalk, especially in multi-qubit systems. While neural networks trained on labeled data have shown promise in reducing crosstalk effects during readout, their current capabilities are limited to binary discrimination of joint-qubit states due to architectural constraints. Here we introduce a time-resolved modulated neural network capable of full-state tomography for individual qubits, enabling detailed time-resolved measurements like Rabi oscillations. This scalable approach, with a dedicated module per qubit, mitigated readout error by an order of magnitude under low signal-to-noise ratios and substantially reduced variance in Rabi oscillation measurements. This advancement bolsters quantum state discrimination with neural networks, and propels the development of next-generation quantum processors with enhanced performance and scalability.


title: An a posteriori error estimate for a 0D/2D coupled model

abstract: This work is motivated by the need of efficient numerical simulations of gas flows in the serpentine channels used in proton-exchange membrane fuel cells. In particular, we consider the Poisson problem in a 2D domain composed of several long straight rectangular sections and of several bends corners. In order to speed up the resolution, we propose a 0D model in the rectangular parts of the channel and a Finite Element resolution in the bends. To find a good compromise between precision and time consuming, the challenge is double: how to choose a suitable position of the interface between the 0D and the 2D models and how to control the discretization error in the bends. We shall present an \textit{a posteriori} error estimator based on an equilibrated flux reconstruction in the subdomains where the Finite Element method is applied. The estimates give a global upper bound on the error measured in the energy norm of the difference between the exact and approximate solutions on the whole domain. They are guaranteed, meaning that they feature no undetermined constants. (global) Lower bounds for the error are also derived. An adaptive algorithm is proposed to use smartly the estimator for aforementioned double challenge. A numerical validation of the estimator and the algorithm completes the work. \end{abstract}


title: Cycle integrals of meromorphic modular forms and Siegel theta functions

abstract: We study meromorphic modular forms associated with positive definite binary quadratic forms and their cycle integrals along closed geodesics in the modular curve. We show that suitable linear combinations of these meromorphic modular forms have rational cycle integrals. Along the way, we evaluate the cycle integrals of the Siegel theta function associated with an even lattice of signature $(1,2)$ in terms of Hecke's indefinite theta functions, which is of independent interest.


title: Robust Few-Shot Named Entity Recognition with Boundary Discrimination and Correlation Purification

abstract: Few-shot named entity recognition (NER) aims to recognize novel named entities in low-resource domains utilizing existing knowledge. However, the present few-shot NER models assume that the labeled data are all clean without noise or outliers, and there are few works focusing on the robustness of the cross-domain transfer learning ability to textual adversarial attacks in Few-shot NER. In this work, we comprehensively explore and assess the robustness of few-shot NER models under textual adversarial attack scenario, and found the vulnerability of existing few-shot NER models. Furthermore, we propose a robust two-stage few-shot NER method with Boundary Discrimination and Correlation Purification (BDCP). Specifically, in the span detection stage, the entity boundary discriminative module is introduced to provide a highly distinguishing boundary representation space to detect entity spans. In the entity typing stage, the correlations between entities and contexts are purified by minimizing the interference information and facilitating correlation generalization to alleviate the perturbations caused by textual adversarial attacks. In addition, we construct adversarial examples for few-shot NER based on public datasets Few-NERD and Cross-Dataset. Comprehensive evaluations on those two groups of few-shot NER datasets containing adversarial examples demonstrate the robustness and superiority of the proposed method.


title: Treewidth is Polynomial in Maximum Degree on Graphs Excluding a Planar Induced Minor

abstract: A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. We show that for every $k$-vertex planar graph $H$, every graph $G$ excluding $H$ as an induced minor has treewidth at most $\Delta(G)^{2^{O(k)}}$ where $\Delta(G)$ denotes the maximum degree of $G$. Previously, Korhonen [JCTB '23] has shown the upper bound of $k^{O(1)} 2^{\Delta(G)^5}$ whose dependence in $\Delta(G)$ is exponential. More precisely, we show that every graph $G$ excluding as induced minors a $k$-vertex planar graph and a $q$-vertex graph has treewidth at most $k^{O(1)} \cdot \Delta(G)^{f(q)}$ with $f(q) = 2^{O(q)}$. A direct consequence of our result is that for every hereditary graph class $\mathcal C$, if graphs of $\mathcal C$ have treewidth bounded by a function of their maximum degree, then they in fact have treewidth polynomial in their maximum degree.


title: Summation and product forms of uncertainty relations based on metric-adjusted skew information

abstract: Uncertainty principle is one of the most essential features in quantum mechanics and plays profound roles in quantum information processing. We establish tighter summation form uncertainty relations based on metric-adjusted skew information via operator representation of observables, which improve the existing results. By using the methodologies of sampling coordinates of observables, we also present tighter product form uncertainty relations. Detailed examples are given to illustrate the advantages of our uncertainty relations.


title: Three-Filters-to-Normal+: Revisiting Discontinuity Discrimination in Depth-to-Normal Translation

abstract: This article introduces three-filters-to-normal+ (3F2N+), an extension of our previous work three-filters-to-normal (3F2N), with a specific focus on incorporating discontinuity discrimination capability into surface normal estimators (SNEs). 3F2N+ achieves this capability by utilizing a novel discontinuity discrimination module (DDM), which combines depth curvature minimization and correlation coefficient maximization through conditional random fields (CRFs). To evaluate the robustness of SNEs on noisy data, we create a large-scale synthetic surface normal (SSN) dataset containing 20 scenarios (ten indoor scenarios and ten outdoor scenarios with and without random Gaussian noise added to depth images). Extensive experiments demonstrate that 3F2N+ achieves greater performance than all other geometry-based surface normal estimators, with average angular errors of 7.85$^\circ$, 8.95$^\circ$, 9.25$^\circ$, and 11.98$^\circ$ on the clean-indoor, clean-outdoor, noisy-indoor, and noisy-outdoor datasets, respectively. We conduct three additional experiments to demonstrate the effectiveness of incorporating our proposed 3F2N+ into downstream robot perception tasks, including freespace detection, 6D object pose estimation, and point cloud completion. Our source code and datasets are publicly available at https://mias.group/3F2Nplus.


title: Pneumonia Detection on chest X-ray images Using Ensemble of Deep Convolutional Neural Networks

abstract: Pneumonia is a life-threatening lung infection resulting from several different viral infections. Identifying and treating pneumonia on chest X-ray images can be difficult due to its similarity to other pulmonary diseases. Thus, the existing methods for predicting pneumonia cannot attain substantial levels of accuracy. Therefore, this paper presents a computer-aided classification of pneumonia, coined as Ensemble Learning (EL), to simplify the diagnosis process on chest X-ray images. Our proposal is based on Convolutional Neural Network (CNN) models, which are pre-trained CNN models that have been recently employed to enhance the performance of many medical tasks instead of training CNN models from scratch. We propose to use three well-known CNN pre-trained (DenseNet169, MobileNetV2 and Vision Transformer) using the ImageNet database. Then, these models are trained on the chest X-ray data set using fine-tuning. Finally, the results are obtained by combining the extracted features from these three models during the experimental phase. The proposed EL approach outperforms other existing state-of-the-art methods, and it obtains an accuracy of 93.91% and a F1-Score of 93.88% on the testing phase.


title: A multi-sourced data and agent-based approach for complementing Time Use Surveys in the context of residential human activity and load curve simulation

abstract: To address the major issues associated with using Time-Use Survey (TUS) for simulating residential load curves, we present the SMACH approach, which combines qualitative and quantitative data with agent-based simulation. Our model consists of autonomous agents assigned with daily tasks. The agents try to accomplish their assigned tasks to the best of their abilities. Quantitative data are used to generate tasks assignments. Qualitative studies allow us to define how agents select, based on plausible cognitive principles, the tasks to accomplish depending on the context. Our results show a better representation of weekdays and weekends, a more flexible association of tasks with appliances, and an improved simulation of load curves compared to real data. Highlights $\bullet$ Discussion about Time-Use Surveys (TUS) limits and the use of TUS in activity and energy simulation $\bullet$ Presentation of complementary data both qualitative and quantitative used to complement TUS data $\bullet$ Proposition of an agent-based approach that balances these limitations


title: Massey products in Galois cohomology and Pythagorean fields

abstract: We prove that a strengthened version of Minac-Tan's Massey Vanishing Conjecture holds true for fields with a finite number of square classes whose maximal pro-$2$ Galois group is of elementary type (as defined by I. Efrat). In particular, this proves Minac-Tan's Massey Vanishing Conjecture for Pythagorean fields with a finite number of square classes and their finite extensions.


title: On the Foia\c{s} and Stratila theorem

abstract: We extend the Foia\c{s} and Stratila theorem to the case of $L^2$-functions whose spectral measure is continuous and concentrated on an independent Helson set, and to ergodic actions of locally compact second countable abelian groups. We first prove it for functions satisfying Carleman's condition for the Hamburger moment problem, without the assumption that the spectral measure is supported by a Helson set. Then we show independently that the spectral projector associated with a Helson set preserves each $L^p$ space, with an appropriate bound of the corresponding norm.


title: ASLseg: Adapting SAM in the Loop for Semi-supervised Liver Tumor Segmentation

abstract: Liver tumor segmentation is essential for computer-aided diagnosis, surgical planning, and prognosis evaluation. However, obtaining and maintaining a large-scale dataset with dense annotations is challenging. Semi-Supervised Learning (SSL) is a common technique to address these challenges. Recently, Segment Anything Model (SAM) has shown promising performance in some medical image segmentation tasks, but it performs poorly for liver tumor segmentation. In this paper, we propose a novel semi-supervised framework, named ASLseg, which can effectively adapt the SAM to the SSL setting and combine both domain-specific and general knowledge of liver tumors. Specifically, the segmentation model trained with a specific SSL paradigm provides the generated pseudo-labels as prompts to the fine-tuned SAM. An adaptation network is then used to refine the SAM-predictions and generate higher-quality pseudo-labels. Finally, the reliable pseudo-labels are selected to expand the labeled set for iterative training. Extensive experiments on the LiTS dataset demonstrate overwhelming performance of our ASLseg.


title: Divide and Conquer: Hybrid Pre-training for Person Search

abstract: Large-scale pre-training has proven to be an effective method for improving performance across different tasks. Current person search methods use ImageNet pre-trained models for feature extraction, yet it is not an optimal solution due to the gap between the pre-training task and person search task (as a downstream task). Therefore, in this paper, we focus on pre-training for person search, which involves detecting and re-identifying individuals simultaneously. Although labeled data for person search is scarce, datasets for two sub-tasks person detection and re-identification are relatively abundant. To this end, we propose a hybrid pre-training framework specifically designed for person search using sub-task data only. It consists of a hybrid learning paradigm that handles data with different kinds of supervisions, and an intra-task alignment module that alleviates domain discrepancy under limited resources. To the best of our knowledge, this is the first work that investigates how to support full-task pre-training using sub-task data. Extensive experiments demonstrate that our pre-trained model can achieve significant improvements across diverse protocols, such as person search method, fine-tuning data, pre-training data and model backbone. For example, our model improves ResNet50 based NAE by 10.3% relative improvement w.r.t. mAP. Our code and pre-trained models are released for plug-and-play usage to the person search community.


title: LMD: Faster Image Reconstruction with Latent Masking Diffusion

abstract: As a class of fruitful approaches, diffusion probabilistic models (DPMs) have shown excellent advantages in high-resolution image reconstruction. On the other hand, masked autoencoders (MAEs), as popular self-supervised vision learners, have demonstrated simpler and more effective image reconstruction and transfer capabilities on downstream tasks. However, they all require extremely high training costs, either due to inherent high temporal-dependence (i.e., excessively long diffusion steps) or due to artificially low spatial-dependence (i.e., human-formulated high mask ratio, such as 0.75). To the end, this paper presents LMD, a faster image reconstruction framework with latent masking diffusion. First, we propose to project and reconstruct images in latent space through a pre-trained variational autoencoder, which is theoretically more efficient than in the pixel-based space. Then, we combine the advantages of MAEs and DPMs to design a progressive masking diffusion model, which gradually increases the masking proportion by three different schedulers and reconstructs the latent features from simple to difficult, without sequentially performing denoising diffusion as in DPMs or using fixed high masking ratio as in MAEs, so as to alleviate the high training time-consumption predicament. Our approach allows for learning high-capacity models and accelerate their training (by 3x or more) and barely reduces the original accuracy. Inference speed in downstream tasks also significantly outperforms the previous approaches.


title: Particle approximation of initial data for systems of conservation laws in two dimensions

abstract: In this paper, we prove particle approximations of initial data for systems of conservation laws in two dimensions. This involves approaching the density but also all the additional quantities that could be verified by the model considered. We prove that according to the hypothesis of regularity or support, the speed of convergence is of form C/N or C/N^2 .


title: Theoretical period-radius and period-luminosity relations for Mira variables with solar metallicity

abstract: Evolutionary sequences of AGB stars with initial masses on the main sequence $M_\mathrm{ZAMS}=1.5M_\odot$, $2M_\odot$ and $3M_\odot$ were computed for the initial metallicity $Z=0.014$. Selected models of evolutionary sequences with envelopes under thermal equilibrium were used as initial conditions for calculation of nonlinear stellar pulsations. The hydrodynamic models of each evolutionary sequence are shown to concentrate along the continuous line in the period-radius and period-luminosity diagrams. The theoretical period-radius and period-luminosity relations differ from one another for different main-sequence star masses because the stellar luminosity of AGB stars depends on the degenerate carbon core mass which increases with increasing $M_\mathrm{ZAMS}$. In hydrodynamic models of evolutionary sequences $M_\mathrm{ZAMS}=2M_\odot$ and $M_\mathrm{ZAMS}=3M_\odot$ the periods of the first overtone pulsators are $86~\textrm{d}\le\Pi\le 123~\textrm{d}$ and $174~\textrm{d}\le\Pi\le 204~\textrm{d}$, whereas all models of the evolutionary sequence $M_\mathrm{ZAMS}=1.5M_\odot$ oscillate in the fundamental mode. Fairly regular radial oscillations exist in stars with pulsation periods $\Pi\lesssim 500$ d. In models with longer periods the amplitude rapidly increases with increasing $\Pi$ and oscillations become irregular.


title: Well-Posedness of Quasilinear Parabolic Equations in Time-Weighted Spaces

abstract: Well-posedness in time-weighted spaces of certain quasilinear (and semilinear) parabolic evolution equations $u'=A(u)u+f(u)$ is established. The focus lies on the case of strict inclusions $\mathrm{dom}(f)\subsetneq \mathrm{dom}(A)$ of the domains of the nonlinearities $u\mapsto f(u)$ and $u\mapsto A(u)$. Based on regularizing effects of parabolic equations it is shown that a semiflow is generated in intermediate spaces. In applications this allows one to derive global existence from weaker a priori estimates. The result is illustrated by examples of chemotaxis systems.


title: Unsupervised linear component analysis for a class of probability mixture models

abstract: We deal with a model where a set of observations is obtained by a linear superposition of unknown components called sources. The problem consists in recovering the sources without knowing the linear transform. We extend the well-known Independent Component Analysis (ICA) methodology. Instead of assuming independent source components, we assume that the source vector is a probability mixture of two distributions. Only one distribution satisfies the ICA assumptions, while the other one is concentrated on a specific but unknown support. Sample points from the latter are clustered based on a data-driven distance in a fully unsupervised approach. A theoretical grounding is provided through a link with the Christoffel function. Simulation results validate our approach and illustrate that it is an extension of a formerly proposed method.


title: Challenges of YOLO Series for Object Detection in Extremely Heavy Rain: CALRA Simulator based Synthetic Evaluation Dataset

abstract: Recently, as many studies of autonomous vehicles have been achieved for levels 4 and 5, there has been also increasing interest in the advancement of perception, decision, and control technologies, which are the three major aspects of autonomous vehicles. As for the perception technologies achieving reliable maneuvering of autonomous vehicles, object detection by using diverse sensors (e.g., LiDAR, radar, and camera) should be prioritized. These sensors require to detect objects accurately and quickly in diverse weather conditions, but they tend to have challenges to consistently detect objects in bad weather conditions with rain, snow, or fog. Thus, in this study, based on the experimentally obtained raindrop data from precipitation conditions, we constructed a novel dataset that could test diverse network model in various precipitation conditions through the CARLA simulator. Consequently, based on our novel dataset, YOLO series, a one-stage-detector, was used to quantitatively verify how much object detection performance could be decreased under various precipitation conditions from normal to extreme heavy rain situations.


title: Modeling non-genetic information dynamics in cells using reservoir computing

abstract: Virtually all cells use energy and ion-specific membrane pumps to maintain large transmembrane gradients of Na$^+$, K$^+$, Cl$^-$, Mg$^{++}$, and Ca$^{++}$. Although they consume up to 1/3 of a cell's energy budget, the corresponding evolutionary benefit of transmembrane ion gradients remain unclear. Here, we propose that ion gradients enable a dynamic and versatile biological system that acquires, analyzes, and responds to environmental information. We hypothesize environmental signals are transmitted into the cell by ion fluxes along pre-existing gradients through gated ion-specific membrane channels. The consequent changes of cytoplasmic ion concentration can generate a local response and orchestrate global or regional responses through wire-like ion fluxes along pre-existing and self-assembling cytoskeleton to engage the endoplasmic reticulum, mitochondria, and nucleus. Here, we frame our hypothesis through a quasi-physical (Cell-Reservoir) model that treats intra-cellular ion-based information dynamics as a sub-cellular process permitting spatiotemporally resolved cellular response that is also capable of learning complex nonlinear dynamical cellular behavior. We demonstrate the proposed ion dynamics permits rapid dissemination of response to information extrinsic perturbations that is consistent with experimental observations.


title: Electrodynamics and Geometric Continuum Mechanics

abstract: This paper offers an informal instructive introduction to some of the main notions of geometric continuum mechanics for the case of smooth fields. We use a metric invariant stress theory of continuum mechanics to formulate a simple generalization of the fields of electrodynamics and Maxwell's equations to general differentiable manifolds of any dimension, thus viewing generalized electrodynamics as a special case of continuum mechanics. The basic kinematic variable is the potential, which is represented as a $p$-form in an $n$-dimensional spacetime. The stress for the case of generalized electrodynamics is assumed to be represented by an $(n-p-1)$-form, a generalization of the Maxwell $2$-form.


title: SLJP: Semantic Extraction based Legal Judgment Prediction

abstract: Legal Judgment Prediction (LJP) is a judicial assistance system that recommends the legal components such as applicable statues, prison term and penalty term by analyzing the given input case document. Indian legal system is in the need of technical assistance such as artificial intelligence to solve the crores of pending cases in various courts for years and its being increased day to day. Most of the existing Indian models did not adequately concentrate on the semantics embedded in the fact description (FD) that impacts the decision. The proposed semantic extraction based LJP (SLJP) model provides the advantages of pretrained transformers for complex unstructured legal case document understanding and to generate embeddings. The model draws the in-depth semantics of the given FD at multiple levels i.e., chunk and case document level by following the divide and conquer approach. It creates the concise view of the given fact description using the extracted semantics as per the original court case document structure and predicts judgment using attention mechanism. We tested the model performance on two available Indian datasets Indian Legal Documents corpus (ILDC) and Indian Legal Statue Identification (ILSI) and got promising results. Also shown the highest performance and less performance degradation for increased epochs than base models on ILDC dataset.


title: Aortic Wall Stiffness Depends on Ultrasound Probe Pressure

abstract: OBJECTIVE: Assessing the biomechanical behaviour of the aortic wall in vivo can potentially improve the diagnosis and prognosis of patients with abdominal aortic aneurysms (AAA). With ultrasound, AAA wall stiffness can be estimated as the diameter change in response to blood pressure. However, this measurement has shown limited reproducibility, possibly influenced by the unknown effects of the highly variable ultrasound probe pressure. This study addressed this gap by analyzing time-resolved ultrasound sequences from AAA patients.METHOD: Two-dimensional ultrasound sequences were acquired from AAA patients, alternatively applying light and firm probe pressure. Diameter variations and stiffness were evaluated and compared. An in silico simulation was performed to support the in vivo observations.RESULTS: It was found that half of the AAAs were particularly responsive to the probe pressure: in these patients, the cyclic diameter variation between diastole and systole changed from 1% at light probe pressure to 5% at firm probe pressure and the estimated stiffness decreases by a factor of 6.3. Conversely, the other half of the patients were less responsive: diameter variations increased marginally and stiffness decreased by a factor of 1.5 when transitioning from light to firm probe pressure. Through numerical simulations, we were able to show that the rather counter-intuitive stiffness decrease observed in the responsive cohort is actually consistent with a biomechanical model.CONCLUSION: We conclude that probe pressure has an important effect on the estimation of AAA wall stiffness. Ultimately, our findings suggest potential implications for AAA mechanical characterization via ultrasound imaging.


title: Time Series Diffusion Method: A Denoising Diffusion Probabilistic Model for Vibration Signal Generation

abstract: Diffusion models have demonstrated robust data generation capabilities in various research fields. In this paper, a Time Series Diffusion Method (TSDM) is proposed for vibration signal generation, leveraging the foundational principles of diffusion models. The TSDM uses an improved U-net architecture with attention block to effectively segment and extract features from one-dimensional time series data. It operates based on forward diffusion and reverse denoising processes for time-series generation. Experimental validation is conducted using single-frequency, multi-frequency datasets, and bearing fault datasets. The results show that TSDM can accurately generate the single-frequency and multi-frequency features in the time series and retain the basic frequency features for the diffusion generation results of the bearing fault series. Finally, TSDM is applied to the small sample fault diagnosis of three public bearing fault datasets, and the results show that the accuracy of small sample fault diagnosis of the three datasets is improved by 32.380%, 18.355% and 9.298% at most, respectively


title: Collineation varieties of tensors

abstract: In this article, we introduce the $k$-th collineation variety of a third order tensor. This is the closure of the image of the rational map of size $k$ minors of a matrix of linear forms associated to the tensor. We classify such varieties in the case of pencils of matrices, and nets of matrices of small size. We discuss the natural stratification of tensor spaces induced by the invariants and the geometric type of the collineation varieties.


title: Multi-perspective Feedback-attention Coupling Model for Continuous-time Dynamic Graphs

abstract: Recently, representation learning over graph networks has gained popularity, with various models showing promising results. Despite this, several challenges persist: 1) most methods are designed for static or discrete-time dynamic graphs; 2) existing continuous-time dynamic graph algorithms focus on a single evolving perspective; and 3) many continuous-time dynamic graph approaches necessitate numerous temporal neighbors to capture long-term dependencies. In response, this paper introduces the Multi-Perspective Feedback-Attention Coupling (MPFA) model. MPFA incorporates information from both evolving and raw perspectives, efficiently learning the interleaved dynamics of observed processes. The evolving perspective employs temporal self-attention to distinguish continuously evolving temporal neighbors for information aggregation. Through dynamic updates, this perspective can capture long-term dependencies using a small number of temporal neighbors. Meanwhile, the raw perspective utilizes a feedback attention module with growth characteristic coefficients to aggregate raw neighborhood information. Experimental results on a self-organizing dataset and seven public datasets validate the efficacy and competitiveness of our proposed model.


title: Atomic topological quantum matter using synthetic dimensions

abstract: The realization of topological states of matter in ultracold atomic gases is currently the subject of intense experimental activity. Using a synthetic dimension, encoded in a non-spatial degree of freedom, can greatly simplify the simulation of gauge fields and give access to exotic topological states. We review here recent advances in the field and discuss future perspectives for interacting systems.


title: Inverse Problems For Third-Order Nonlinear Perturbations Of Biharmonic Operators

abstract: We study inverse boundary problems for third-order nonlinear tensorial perturbations of biharmonic operators on a bounded domain in $\mathbb{R}^n$, where $n\geq 3$. By imposing appropriate assumptions on the nonlinearity, we demonstrate that the Dirichlet-to-Neumann map, known on the boundary of the domain, uniquely determines the genuinely nonlinear tensorial third-order perturbations of the biharmonic operator. The proof relies on the inversion of certain generalized momentum ray transforms on symmetric tensor fields. Notably, the corresponding inverse boundary problem for linear tensorial third-order perturbations of the biharmonic operator remains an open question.


title: On Diophantine equations with Fibonacci and Lucas sequences associated to Hardy-Ramanujan problem

abstract: In this paper, we deal with Diophantine equations $N = {F_k}^3 + {F_\ell }^3 = {F_m}^3 + {F_n}^3$ and $M = {L_k}^3 + {L_\ell }^3 = {L_m}^3 + {L_n}^3$. In other words, we discover the Fibonacci and Lucas numbers that are also Hardy-Ramanujan numbers.


title: SwitchHead: Accelerating Transformers with Mixture-of-Experts Attention

abstract: The costly self-attention layers in modern Transformers require memory and compute quadratic in sequence length. Existing approximation methods usually underperform and fail to obtain significant speedups in practice. Here we present SwitchHead - a novel method that reduces both compute and memory requirements and achieves wall-clock speedup, while matching the language modeling performance of baseline Transformers with the same parameter budget. SwitchHead uses Mixture-of-Experts (MoE) layers for the value and output projections and requires 4 to 8 times fewer attention matrices than standard Transformers. Our novel attention can also be combined with MoE MLP layers, resulting in an efficient fully-MoE "SwitchAll" Transformer model. Our code is public.


title: Neutrinos from pre-supernova in the framework of TQRPA method

abstract: We propose a new method for calculating spectra and luminosities for (anti)neutrinos produced in the pre-supernova environment by weak processes with hot nuclei. It is based on the thermal quasiparticle random phase approximation (TQRPA), that allows microscopic thermodynamically consistent calculations of the weak-interaction response of nuclei at finite temperatures. For realistic representative pre-supernova conditions from the stellar evolution code MESA, we compute (anti)neutrino luminosities and spectra arising from neutral- and charged-current weak reactions with hot $^{56}$Fe and compare them with the contribution of thermal processes. We find that the TQRPA approach produces not only a higher total luminosity of electron neutrinos (mainly born in the electron capture reaction), compared to the standard technique based on the large-scale shell model (LSSM) weak-interaction rates, but also a harder neutrino spectrum. Besides, applying the TQRPA and LSSM, we find that in the context of electron antineutrino generation, the neutral-current nuclear de-excitation (ND) process via neutrino-antineutrino pair emission is at least as important as the electron-positron pair annihilation process. We also show that flavor oscillations enhance the high-energy contribution of the ND process to the electron antineutrino flux. This could potentially be important for pre-supernova antineutrino registration by the Earth's detectors.


title: Constructing linked systems of relative difference sets via Schur rings

abstract: In the present paper, we study relative difference sets (RDSs) and linked systems of them. It is shown that a closed linked system of RDSs is always graded by a group. Based on this result, we also define a product of RDS linked systems sharing the same grading group. Further, we generalize the Davis-Polhill-Smith construction of a linked system of RDSs. Finally, we construct new linked system of RDSs in a Heisenberg group over a finite field and family of RDSs in an extraspecial $p$-group of exponent $p^2$. All constructions of new RDSs and their linked systems are based essentially on a usage of cyclotomic Schur rings.


title: Convergence of Riemannian Stochastic Gradient Descent on Hadamard Manifold

abstract: Novel convergence analyses are presented of Riemannian stochastic gradient descent (RSGD) on a Hadamard manifold. RSGD is the most basic Riemannian stochastic optimization algorithm and is used in many applications in the field of machine learning. The analyses incorporate the concept of mini-batch learning used in deep learning and overcome several problems in previous analyses. Four types of convergence analysis are described for both constant and decreasing step sizes. The number of steps needed for RSGD convergence is shown to be a convex monotone decreasing function of the batch size. Application of RSGD with several batch sizes to a Riemannian stochastic optimization problem on a symmetric positive definite manifold theoretically shows that increasing the batch size improves RSGD performance. Numerical evaluation of the relationship between batch size and RSGD performance provides evidence supporting the theoretical results.


title: Accelerating the Global Aggregation of Local Explanations

abstract: Local explanation methods highlight the input tokens that have a considerable impact on the outcome of classifying the document at hand. For example, the Anchor algorithm applies a statistical analysis of the sensitivity of the classifier to changes in the token. Aggregating local explanations over a dataset provides a global explanation of the model. Such aggregation aims to detect words with the most impact, giving valuable insights about the model, like what it has learned in training and which adversarial examples expose its weaknesses. However, standard aggregation methods bear a high computational cost: a na\"ive implementation applies a costly algorithm to each token of each document, and hence, it is infeasible for a simple user running in the scope of a short analysis session. % We devise techniques for accelerating the global aggregation of the Anchor algorithm. Specifically, our goal is to compute a set of top-$k$ words with the highest global impact according to different aggregation functions. Some of our techniques are lossless and some are lossy. We show that for a very mild loss of quality, we are able to accelerate the computation by up to 30$\times$, reducing the computation from hours to minutes. We also devise and study a probabilistic model that accounts for noise in the Anchor algorithm and diminishes the bias toward words that are frequent yet low in impact.


title: On the privacy of federated Clustering: A Cryptographic View

abstract: The privacy concern in federated clustering has attracted considerable attention in past decades. Many privacy-preserving clustering algorithms leverage cryptographic techniques like homomorphic encryption or secure multiparty computation, to guarantee full privacy, i.e., no additional information is leaked other than the final output. However, given the iterative nature of clustering algorithms, consistently encrypting intermediate outputs, such as centroids, hampers efficiency. This paper delves into this intricate trade-off, questioning the necessity of continuous encryption in iterative algorithms. Using the federated K-means clustering as an example, we mathematically formulate the problem of reconstructing input private data from the intermediate centroids as a classical cryptographic problem called hidden subset sum problem (HSSP)-extended from an NP-complete problem called subset sum problem (SSP). Through an in-depth analysis, we show that existing lattice-based HSSP attacks fail in reconstructing the private data given the knowledge of intermediate centroids, thus it is secure to reveal them for the sake of efficiency. To the best of our knowledge, our work is the first to cast federated clustering's privacy concerns as a cryptographic problem HSSP such that a concrete and rigorous analysis can be conducted.


title: A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming

abstract: Answer Set Programming (ASP) is a prominent rule-based language for knowledge representation and reasoning with roots in logic programming and non-monotonic reasoning. The aim to capture the essence of removing (ir)relevant details in ASP programs led to the investigation of different notions, from strong persistence (SP) forgetting, to faithful abstractions, and, recently, strong simplifications, where the latter two can be seen as relaxed and strengthened notions of forgetting, respectively. Although it was observed that these notions are related, especially given that they have characterizations through the semantics for strong equivalence, it remained unclear whether they can be brought together. In this work, we bridge this gap by introducing a novel relativized equivalence notion, which is a relaxation of the recent simplification notion, that is able to capture all related notions from the literature. We provide necessary and sufficient conditions for relativized simplifiability, which shows that the challenging part is for when the context programs do not contain all the atoms to remove. We then introduce an operator that combines projection and a relaxation of (SP)-forgetting to obtain the relativized simplifications. We furthermore present complexity results that complete the overall picture.


title: Comment on "Excitation Spectrum and Superfluid Gap of an Ultracold Fermi Gas"

abstract: We present simple arguments suggesting that H. Biss et al [PRL 128, 100401 (2022)] did not measure with the required accuracy the low-wavenumber curvature of the acoustic excitation branch of the ground-state unitary Fermi gas. This difficult-to-calculate quantity is crucial for the relaxation dynamics of the gas at low temperature.


title: Almost sharp rates of convergence for the average cost and displacement in the optimal matching problem

abstract: In this note we prove estimates for the average cost in the quadratic optimal transport problem on the two-dimensional flat torus which are optimal up to a double logarithm. We also prove sharp estimates on the displacement. This is based on the combination of a post-processing of our quantitative linearization result together with a quasi-orthogonality property.


title: THz spectroscopy on amino acids

abstract: We present a detailed study on the temperature-dependent THz spectra of the polycrystalline amino acids L-serine and L-cysteine for wave numbers from 20 to 120 cm-1 and temperatures from 4 to 300 K. Even though the structure of these two amino acids is very similar, with a sulfur atom in the side chain of cysteine instead of an oxygen atom in serine, the excitation spectra are drastically different. Obviously, the vibrational dynamics strongly depend on the ability of cysteine to form sulfur-hydrogen bonds. In addition, cysteine undergoes an order-disorder type phase transition close to 80 K, with accompanying anomalies in our THz results. On increasing temperatures, well-defined vibrational excitations, exhibit significant shifts in eigenfrequencies with concomitant line-broadening yielding partly overlapping modes. Interestingly, several modes completely lose all their dipolar strength and are unobservable at ambient conditions. Comparing the recent results with published work utilizing THz, Raman, and neutron-scattering techniques, as well as with ab-initio simulations, we aim at a consistent analysis of the results ascribing certain eigenfrequencies to distinct collective lattice modes. We document that THz spectra can be used to fine-tune parameters of model calculations and as a fingerprint property of certain amino acids. In addition, we analyzed the temperature-dependent heat capacity of both compounds and detected strong excess heat capacities at low temperatures compared to the canonical Debye behavior of crystalline solids, indicating soft excitations and a strongly enhanced phonon-density of states at low frequencies.


title: Gluon Wigner distributions in a light-cone spectator model

abstract: We study the gluon Wigner distributions of the proton which are the phase-space distributions containing the most general one-parton information. Using the proton wave functions deduced from a light-cone spectator model that contains the gluonic degree of freedom, we calculate the Wigner distributions of the unpolarized and longitudinally polarized gluon inside the unpolarized/longitudinally polarized proton via the Fock-state overlap representation, respectively. We present the numerical results of the transverse Wigner distributions in which the longitudinal momentum fraction is integrated out. The mixed Wigner distributions as functions of $b_y$ and $k_x$ are also presented. We also provide the canonical gluon orbital angular momentum and spin-orbit correlations deduced from the gluon Wigner distribution.


title: Fast convergence of sample-average approximation for saddle-point problems

abstract: Stochastic saddle point (SSP) problems are, in general, less studied compared to stochastic minimization problems. However, SSP problems emerge from machine learning (adversarial training, e.g., GAN, AUC maximization), statistics (robust estimation), and game theory (stochastic matrix games). Notwithstanding the existing results on the convergence of stochastic gradient algorithms, there is little analysis on the generalization, i.e., how learned on train data models behave with new data samples. In contrast to existing $\mathcal{O}(\frac{1}{n})$ in expectation result arXiv:2006.02067, arXiv:2010.12561 and $\mathcal{O}(\frac{\log(\frac{1}{\delta})}{\sqrt{n}})$ results with high probability arXiv:2105.03793 , we present $\mathcal{O}(\frac{\log(\frac{1}{\delta})}{n})$ result in high probability for strongly convex-strongly concave setting. The main idea is local norms analysis. We illustrate our results in a matrix-game problem.


title: Random Serial Dictatorship with Transfers

abstract: It is well known that Random Serial Dictatorship is strategy-proof and leads to a Pareto-Efficient outcome. We show that this result breaks down when individuals are allowed to make transfers, and adapt Random Serial Dictatorship to encompass trades between individuals. Strategic analysis of play under the new mechanisms we define is given, accompanied by simulations to quantify the gains from trade.


title: SoK: On the Security of Non-Fungible Tokens

abstract: Non-fungible tokens (NFTs) drive the prosperity of the Web3 ecosystem. By November 2023, the total market value of NFT projects reached approximately 16 billion USD. Accompanying the success of NFTs are various security issues, i.e., attacks and scams are prevalent in the ecosystem. While NFTs have attracted significant attentions from both industry and academia, there is a lack of understanding of kinds of NFT security issues. The discovery, in-depth analysis, and systematic categorization of these security issues are of significant importance for the prosperous development of the NFT ecosystem. To fill the gap, we performed a systematic literature review related to NFT security, and we have identified 142 incidents from 213 security reports and 18 academic papers until October 1st, 2023. Through manual analysis of the compiled security incidents, we have classified them into 12 major categories. Then we explored potential solutions and mitigation strategies. Drawing from these analyses, we established the first NFT security reference frame. Except, we extracted the characteristics of NFT security issues, i.e., the prevalence, severity, and intractability. We have indicated the gap between industry and academy for NFT security, and provide further research directions for the community. This paper, as the first SoK of NFT security, has systematically explored the security issues within the NFT ecosystem, shedding light on their root causes, real-world attacks, and potential ways to address them. Our findings will contribute to the future research of NFT security.


title: Generalized Josephson effect in an asymmetric double-well potential at finite temperatures

abstract: We investigate a non-interacting many-particle bosonic system, placed in an asymmetric double-well potential. We first consider the dynamics of a single particle and determine its time-dependent probabilities to be in the left or the right well of the potential. These probabilities obey the standard Josephson equations, which in their many-particle interpretation also describe a globally coherent system, such as a Bose-Einstein condensate. This system exhibits the widely studied Josephson oscillations of the population imbalance between the wells. In our study we go beyond the regime of global coherence by developing a formalism based on an effective density matrix. This formalism gives rise to a generalization of Josephson equations, which differ from the standard ones by an additional parameter, that has the meaning of the degree of fragmentation. We first consider the solution of the generalized Josephson equations in the particular case of thermal equilibrium at finite temperatures, and extend our discussion to the non-equilibrium regime afterwards. Our model leads to a constraint on the maximum amplitude of Josephson oscillations for a given temperature and the total number of particles. A detailed analysis of this constraint for typical experimental scenarios is given.


title: The Bernoulli property for counter-twisting linked twist maps

abstract: We prove the Bernoulli property for a class of counter-twisting linked twist maps. These compose orthogonal linear shears on the torus, orientated in the opposite sense to their co-twisting counterparts (where the shears reinforce one another). Compared to previous studies we focus on the parameter space corresponding to weak shears, near the critical parameter below which hyperbolicity is lost and the map is non-mixing. The approach developed to deal with this situation appears applicable to a broad range of non-uniformly hyperbolic examples.


title: Elliptic and triangular flow of light nuclei in Au+Au collisions in the BES-II energies using the STAR detector

abstract: Light nuclei might be formed in heavy-ion collisions by the coalescence of produced (anti-)nucleons or transported nucleons. Due to their low binding energies, they are more likely to form at later stages of the hadronic fireball. In this proceedings, we report the transverse momentum and centrality dependence of elliptic ($v_{2}$) and triangular ($v_{3}$) flow of $d$, $t$, and $^3$He in Au+Au collisions at $\sqrt{s_{NN}}$ = 14.6 -- 54.4 GeV. The mass number scaling of $v_{2}(p_{T})$ and $v_{3}(p_{T})$ of light nuclei is discussed. We also report the comparison of $v_{2}(p_{T})$ and $v_{3}(p_{T})$ of light nuclei with a transport-plus-coalescence model calculation.


title: Instance-aware Multi-Camera 3D Object Detection with Structural Priors Mining and Self-Boosting Learning

abstract: Camera-based bird-eye-view (BEV) perception paradigm has made significant progress in the autonomous driving field. Under such a paradigm, accurate BEV representation construction relies on reliable depth estimation for multi-camera images. However, existing approaches exhaustively predict depths for every pixel without prioritizing objects, which are precisely the entities requiring detection in the 3D space. To this end, we propose IA-BEV, which integrates image-plane instance awareness into the depth estimation process within a BEV-based detector. First, a category-specific structural priors mining approach is proposed for enhancing the efficacy of monocular depth generation. Besides, a self-boosting learning strategy is further proposed to encourage the model to place more emphasis on challenging objects in computation-expensive temporal stereo matching. Together they provide advanced depth estimation results for high-quality BEV features construction, benefiting the ultimate 3D detection. The proposed method achieves state-of-the-art performances on the challenging nuScenes benchmark, and extensive experimental results demonstrate the effectiveness of our designs.


title: Locally conjugate Galois sections

abstract: We consider sections of the \'etale homotopy exact sequence of a hyperbolic curve over a number field. We prove that two sections whose restrictions to decomposition groups are conjugate on a set of valuations of density one are globally conjugate, which establishes the local-global principle for the conjugacy classes of sections. In fact, we obtain this result as a corollary of a more general property concerning sections of the \'etale homotopy exact sequence, so-called finite covering property, which we prove as our main result.


title: Performance of linear solvers in tensor-train format on current multicore architectures

abstract: In this paper we discuss the performance of solvers for low-rank linear systems in the tensor-train format, also known as matrix-product states (MPS) in physics. We focus on today's many-core CPU systems and the interplay of the performance and the required linear algebra operations in this setting. Specifically, we consider the tensor-train GMRES method, the modified alternating linear scheme (MALS) and the alternating minimal energy (AMEn). Based on the example of a simple non-symmetric system from discretizing a multidimensional convection-diffusion equation in, e.g., $50^{10}$ grid points, we illustrate the computational complexity of the three methods. This shows that the projection to smaller sub-problems reduces the required number of floating point operations by orders of magnitude: between GMRES and MALS, and again between MALS and AMEn. All three methods require similar underlying linear algebra operations (building blocks). We suggest several building block improvements regarding orthogonalization steps, singular value decompositions, and tensor contractions. In addition, we propose a simple generic preconditioner in the tensor-train format based on a rank-1 approximation of the operator. Combining all optimizations, we obtain roughly a 5x speedup over the reference implementation for the fastest method (AMEn) on a current multi-core CPU.


title: Unveiling Parts Beyond Objects:Towards Finer-Granularity Referring Expression Segmentation

abstract: Referring expression segmentation (RES) aims at segmenting the foreground masks of the entities that match the descriptive natural language expression. Previous datasets and methods for classic RES task heavily rely on the prior assumption that one expression must refer to object-level targets. In this paper, we take a step further to finer-grained part-level RES task. To promote the object-level RES task towards finer-grained vision-language understanding, we put forward a new multi-granularity referring expression segmentation (MRES) task and construct an evaluation benchmark called RefCOCOm by manual annotations. By employing our automatic model-assisted data engine, we build the largest visual grounding dataset namely MRES-32M, which comprises over 32.2M high-quality masks and captions on the provided 1M images. Besides, a simple yet strong model named UniRES is designed to accomplish the unified object-level and part-level grounding task. Extensive experiments on our RefCOCOm for MRES and three datasets (i.e., RefCOCO(+/g) for classic RES task demonstrate the superiority of our method over previous state-of-the-art methods. To foster future research into fine-grained visual grounding, our benchmark RefCOCOm, the MRES-32M dataset and model UniRES will be publicly available at https://github.com/Rubics-Xuan/MRES


title: Learning Nash Equilibria in Zero-Sum Markov Games: A Single Time-scale Algorithm Under Weak Reachability

abstract: We consider decentralized learning for zero-sum games, where players only see their payoff information and are agnostic to actions and payoffs of the opponent. Previous works demonstrated convergence to a Nash equilibrium in this setting using double time-scale algorithms under strong reachability assumptions. We address the open problem of achieving an approximate Nash equilibrium efficiently with an uncoupled and single time-scale algorithm under weaker conditions. Our contribution is a rational and convergent algorithm, utilizing Tsallis-entropy regularization in a value-iteration-based approach. The algorithm learns an approximate Nash equilibrium in polynomial time, requiring only the existence of a policy pair that induces an irreducible and aperiodic Markov chain, thus considerably weakening past assumptions. Our analysis leverages negative drift inequalities and introduces novel properties of Tsallis entropy that are of independent interest.


title: Semi-Supervised Class-Agnostic Motion Prediction with Pseudo Label Regeneration and BEVMix

abstract: Class-agnostic motion prediction methods aim to comprehend motion within open-world scenarios, holding significance for autonomous driving systems. However, training a high-performance model in a fully-supervised manner always requires substantial amounts of manually annotated data, which can be both expensive and time-consuming to obtain. To address this challenge, our study explores the potential of semi-supervised learning (SSL) for class-agnostic motion prediction. Our SSL framework adopts a consistency-based self-training paradigm, enabling the model to learn from unlabeled data by generating pseudo labels through test-time inference. To improve the quality of pseudo labels, we propose a novel motion selection and re-generation module. This module effectively selects reliable pseudo labels and re-generates unreliable ones. Furthermore, we propose two data augmentation strategies: temporal sampling and BEVMix. These strategies facilitate consistency regularization in SSL. Experiments conducted on nuScenes demonstrate that our SSL method can surpass the self-supervised approach by a large margin by utilizing only a tiny fraction of labeled data. Furthermore, our method exhibits comparable performance to weakly and some fully supervised methods. These results highlight the ability of our method to strike a favorable balance between annotation costs and performance. Code will be available at https://github.com/kwwcv/SSMP.


title: EZ-CLIP: Efficient Zeroshot Video Action Recognition

abstract: Recent advancements in large-scale pre-training of visual-language models on paired image-text data have demonstrated impressive generalization capabilities for zero-shot tasks. Building on this success, efforts have been made to adapt these image-based visual-language models, such as CLIP, for videos extending their zero-shot capabilities to the video domain. While these adaptations have shown promising results, they come at a significant computational cost and struggle with effectively modeling the crucial temporal aspects inherent to the video domain. In this study, we present EZ-CLIP, a simple and efficient adaptation of CLIP that addresses these challenges. EZ-CLIP leverages temporal visual prompting for seamless temporal adaptation, requiring no fundamental alterations to the core CLIP architecture while preserving its remarkable generalization abilities. Moreover, we introduce a novel learning objective that guides the temporal visual prompts to focus on capturing motion, thereby enhancing its learning capabilities from video data. We conducted extensive experiments on five different benchmark datasets, thoroughly evaluating EZ-CLIP for zero-shot learning and base-to-novel video action recognition, and also demonstrating its potential for few-shot generalization.Impressively, with a mere 5.2 million learnable parameters (as opposed to the 71.1 million in the prior best model), EZ-CLIP can be efficiently trained on a single GPU, outperforming existing approaches in several evaluations.


title: Discrete $\Omega$-results for the Riemann zeta function

abstract: We study lower bounds of the Riemann zeta function $\zeta(s)$ along vertical arithmetic progressions on the right-half of the critical strip. We show that, aside from some discrepancy on certain constants, the lower bounds obtained in the discrete case coincide with the ones known for the continuous case, that is when the imaginary part of $s$ ranges on a given interval. Our methods are based on a discretization of the resonance method for estimating extremal values of $\zeta(s)$. On the lines $1/2+i\mathbb{R}$ and $1+i\mathbb{R}$ we apply these methods successfully only in the case of homogeneous arithmetic progressions.


title: uSF: Learning Neural Semantic Field with Uncertainty

abstract: Recently, there has been an increased interest in NeRF methods which reconstruct differentiable representation of three-dimensional scenes. One of the main limitations of such methods is their inability to assess the confidence of the model in its predictions. In this paper, we propose a new neural network model for the formation of extended vector representations, called uSF, which allows the model to predict not only color and semantic label of each point, but also estimate the corresponding values of uncertainty. We show that with a small number of images available for training, a model quantifying uncertainty performs better than a model without such functionality. Code of the uSF approach is publicly available at https://github.com/sevashasla/usf/.


title: Morse predecomposition of an ivariant set

abstract: Motivated by the study of the recurrent orbits in a Morse set of a Morse decomposition, we introduce the concept of Morse predecomposition of an isolated invariant set in the setting of combinatorial and classical dynamical systems. We prove that a Morse predecomposition indexed by a poset is a Morse decomposition and we show how a Morse predecomposition may be condensed back to a Morse decomposition.


title: Effects of liquid fraction and contact angle on structure and coarsening in two-dimensional foams

abstract: Aqueous foams coarsen with time due to gas diffusion through the liquid. The mean bubble size grows, and small bubbles vanish. However, coarsening is little understood for foams with an intermediate liquid content, particularly in the presence of surfactant-induced attractive forces between the bubbles, measured by the contact angle. Rigorous bubble growth laws have yet to be developed, and the evolution of bulk foam properties is unclear. We present a quasi-static numerical model for coarsening in two-dimensional wet foams, focusing on growth laws and related bubble properties. The deformation of bubbles is modelled using a finite-element approach, and the gas flow through both films and Plateau borders is approximated. We give results for disordered two-dimensional wet foams with 256 to 1024 bubbles, at liquid fractions from $2\%$ to beyond the zero-contact-angle jamming transition, and with contact angles up to $10^\circ$. Simple analytical models are developed to aid interpretation. We find that nonzero contact angle causes a proxy of the initial coarsening rate to plateau at large liquid fractions, and that the individual bubble growth rates are closely related to their effective number of neighbours.


title: First Intensity Interferometry Measurements with the H.E.S.S. Telescopes

abstract: Intensity interferometry for astrophysical observations has gained increasing interest in the last decade. The method of correlating photon fluxes at different telescopes for high resolution astronomy without access to the phase of the incoming light is insensitive to atmospheric turbulence and doesn't require high-precision optical path control. The necessary large collection areas can be provided by Imaging Atmospheric Cherenkov Telescopes. Implementation of intensity interferometers to existing telescope systems such as VERITAS and MAGIC has proven to be successful for high-resolution imaging of stars. In April 2022 we equipped two telescopes of the H.E.S.S. array in Namibia with an intensity interferometry setup to measure southern sky stars and star systems during the bright moon period. We mounted an external optical system to the lid of the telescope cameras, which splits the incoming light and feeds it into two photomultipliers in order to measure the zero-baseline correlation within one telescope in addition to the cross correlation between the telescopes. The optical elements are motorised, which enables live correction of tracking inaccuracies of the telescopes. During the campaign we measured the spatial correlation curves and thereby the angular diameters of {\lambda} Sco (Shaula) and {\sigma} Sgr (Nunki), while we also performed systematic studies of our interferometer using the multiple star system of {\alpha} Cru (Acrux).


title: Secure Deep Reinforcement Learning for Dynamic Resource Allocation in Wireless MEC Networks

abstract: This paper proposes a blockchain-secured deep reinforcement learning (BC-DRL) optimization framework for {data management and} resource allocation in decentralized {wireless mobile edge computing (MEC)} networks. In our framework, {we design a low-latency reputation-based proof-of-stake (RPoS) consensus protocol to select highly reliable blockchain-enabled BSs to securely store MEC user requests and prevent data tampering attacks.} {We formulate the MEC resource allocation optimization as a constrained Markov decision process that balances minimum processing latency and denial-of-service (DoS) probability}. {We use the MEC aggregated features as the DRL input to significantly reduce the high-dimensionality input of the remaining service processing time for individual MEC requests. Our designed constrained DRL effectively attains the optimal resource allocations that are adapted to the dynamic DoS requirements. We provide extensive simulation results and analysis to} validate that our BC-DRL framework achieves higher security, reliability, and resource utilization efficiency than benchmark blockchain consensus protocols and {MEC} resource allocation algorithms.


title: CMS tracking performance in Run 2 and early Run 3

abstract: A precise and efficient tracking is one of the critical components of the CMS physics program as it impacts the ability to reconstruct the physics objects needed to understand proton-proton collisions at the LHC. The CMS detector has undergone extensive improvements in preparation for Run 3 of the LHC to operate efficiently at the increased luminosity and pileup. Significant algorithmic enhancements have been implemented to enhance the performance of the CMS tracking system. These enhancements concentrate on refining both track finding and selection processes. Performance measurements of the track reconstruction both in simulation and collision data will be presented. The performance is assessed using LHC Run 2 at $\sqrt{s}$ = 13 TeV and early LHC Run 3 data at $\sqrt{s}$ = 13.6 TeV.


title: Global smooth solutions to 2D semilinear wave equations with large data

abstract: We are interested in coupled semi-linear wave equations satisfying the null condition in two space dimensions, a basic model in nonlinear wave equations. Our aim is to establish global existence of smooth solutions to this system with large initial data of short pulse type. Major difficulties arise due to the largeness of initial data and the slow decay nature of 2D wave equations. To overcome the difficulties, by careful examination of the local solutions, we adapt various vector-field methods to different spacetime regions with several novel weighted energy estimates.


title: AdapEdit: Spatio-Temporal Guided Adaptive Editing Algorithm for Text-Based Continuity-Sensitive Image Editing

abstract: With the great success of text-conditioned diffusion models in creative text-to-image generation, various text-driven image editing approaches have attracted the attentions of many researchers. However, previous works mainly focus on discreteness-sensitive instructions such as adding, removing or replacing specific objects, background elements or global styles (i.e., hard editing), while generally ignoring subject-binding but semantically fine-changing continuity-sensitive instructions such as actions, poses or adjectives, and so on (i.e., soft editing), which hampers generative AI from generating user-customized visual contents. To mitigate this predicament, we propose a spatio-temporal guided adaptive editing algorithm AdapEdit, which realizes adaptive image editing by introducing a soft-attention strategy to dynamically vary the guiding degree from the editing conditions to visual pixels from both temporal and spatial perspectives. Note our approach has a significant advantage in preserving model priors and does not require model training, fine-tuning, extra data, or optimization. We present our results over a wide variety of raw images and editing instructions, demonstrating competitive performance and showing it significantly outperforms the previous approaches.


title: Generalized Deepfakes Detection with Reconstructed-Blended Images and Multi-scale Feature Reconstruction Network

abstract: The growing diversity of digital face manipulation techniques has led to an urgent need for a universal and robust detection technology to mitigate the risks posed by malicious forgeries. We present a blended-based detection approach that has robust applicability to unseen datasets. It combines a method for generating synthetic training samples, i.e., reconstructed blended images, that incorporate potential deepfake generator artifacts and a detection model, a multi-scale feature reconstruction network, for capturing the generic boundary artifacts and noise distribution anomalies brought about by digital face manipulations. Experiments demonstrated that this approach results in better performance in both cross-manipulation detection and cross-dataset detection on unseen data.


title: Improving search relevance of Azure Cognitive Search by Bayesian optimization

abstract: Azure Cognitive Search (ACS) has emerged as a major contender in "Search as a Service" cloud products in recent years. However, one of the major challenges for ACS users is to improve the relevance of the search results for their specific usecases. In this paper, we propose a novel method to find the optimal ACS configuration that maximizes search relevance for a specific usecase (product search, document search...) The proposed solution improves key online marketplace metrics such as click through rates (CTR) by formulating the search relevance problem as hyperparameter tuning. We have observed significant improvements in real-world search call to action (CTA) rate in multiple marketplaces by introducing optimized weights generated from the proposed approach.


title: Mono3DVG: 3D Visual Grounding in Monocular Images

abstract: We introduce a novel task of 3D visual grounding in monocular RGB images using language descriptions with both appearance and geometry information. Specifically, we build a large-scale dataset, Mono3DRefer, which contains 3D object targets with their corresponding geometric text descriptions, generated by ChatGPT and refined manually. To foster this task, we propose Mono3DVG-TR, an end-to-end transformer-based network, which takes advantage of both the appearance and geometry information in text embeddings for multi-modal learning and 3D object localization. Depth predictor is designed to explicitly learn geometry features. The dual text-guided adapter is proposed to refine multiscale visual and geometry features of the referred object. Based on depth-text-visual stacking attention, the decoder fuses object-level geometric cues and visual appearance into a learnable query. Comprehensive benchmarks and some insightful analyses are provided for Mono3DVG. Extensive comparisons and ablation studies show that our method significantly outperforms all baselines. The dataset and code will be publicly available at: https://github.com/ZhanYang-nwpu/Mono3DVG.


title: The crease flow on null hypersurfaces

abstract: The crease flow, replacing the Hamiltonian system used for the evolution of crease sets on black hole horizons, is introduced and its bifurcation properties for null hypersurfaces are discussed. We state the conditions of nondegeneracy and typicality for the crease submanifolds, and find their normal forms and versal unfoldings (codimension 3). The allowed boundary singularities are thus prescribed by the Arnold-Kazaryan-Shcherbak theorem for 3-parameter versal families, and hence identified as swallowtails and Whitney umbrellas of particular kinds. We further present the bifurcation diagrams describing crease evolution at the crossings of the bifurcation sets and elsewhere, and a typical example is studied. Some remarks on the connection of these results to the crease evolution on black hole horizons are also given.


title: The role of the boundary in the existence of blow-up solutions for a linearly perturbed Escobar problem

abstract: In this paper we consider a linearly perturbed version of the classical problem of prescribing scalar and boundary mean curvatures on a domain of $\mathbb{R}^n$ via conformal deformations of the metric. Our particular focus is on the case of negative scalar curvature $K=-1$ and mean curvature $H=D(n(n-1))^{-1/2}$, for some constant $D>1$, which to the best of our knowledge has been the least explored in the literature. Assuming that $n\geq6$ and $D>\sqrt{(n+1)/(n-1)}$, we establish the existence of a positive solution which concentrates around an elliptic boundary point which is a nondegenerate critical point of the original mean curvature.


title: Entanglement of defect subregions in double holography

abstract: In the framework of double holography, we investigate the entanglement behavior of a brane subregion in AdS spacetime coupled to a bath on its boundary and also extract the contribution from the quantum matter within this subregion. From the boundary perspective, the brane subregion serves as the entanglement wedge of a subsystem on the conformal defect. In the ground state, we find the subsystem undergoes an entanglement phase transition induced by the degrees of freedom on the brane. With subcritical parameters, the wedge and entanglement entropy sharply decrease to zero. In contrast, in the supercritical regime, both the wedge and entropy stabilize, enabling analysis of both entanglement and reflected entropy. In this phase, we derive formulas for entanglement measures based on defect and bath central charges in the semi-classical limit. For entanglement entropy, the classical geometry only contributes a subleading term with logarithmic divergence, but the brane-bath CFT entanglement exhibits a dominant linear divergence, even in the semi-classical limit. Regarding reflected entropy within the defect subsystem, classical geometry contributes a leading term with logarithmic divergence, while the quantum matter within the entanglement wedge only contributes a finite term.


title: Red-shift effect on the zero field splitting for negatively charged nitrogen-vacancy centers in diamond

abstract: The zero field splitting (ZFS) quantifies the energy difference for the ground electron spin-triplet of a nitrogen-vacancy center in the absence of external fields. The values of the ZFS play a key role in determining the Larmor precession of the Bloch sphere and the Rabi oscillation of a spin system. The ZFS is generally detected using coherent spin manipulation by sweeping microwaves (MWs) at frequencies close to resonance with the ZFS. In this letter, we report our experimental observations of the red-shift effect on the ZFS as a function of the MW power for two different thermal environments of a sample. We find an asymptotic property of the red shifts of the ZFS. Given the identical initial thermal equilibrium states of the sample, the differences in the raw values of the ZFS between the two cases randomly vary from 47 kHz to 1505 kHz over the entire experimental range. According to the asymptotic approximation, the differences are reduced to 29-166 kHz with a standard deviation of 49 kHz, suggesting a significant elimination of the red-shift effect. To the best of our knowledge, no other study has addressed the quantification and elimination of the red shift-effect of the MW field dependence using the asymptotic approximation.


title: Helping Language Models Learn More: Multi-dimensional Task Prompt for Few-shot Tuning

abstract: Large language models (LLMs) can be used as accessible and intelligent chatbots by constructing natural language queries and directly inputting the prompt into the large language model. However, different prompt' constructions often lead to uncertainty in the answers and thus make it hard to utilize the specific knowledge of LLMs (like ChatGPT). To alleviate this, we use an interpretable structure to explain the prompt learning principle in LLMs, which certificates that the effectiveness of language models is determined by position changes of the task's related tokens. Therefore, we propose MTPrompt, a multi-dimensional task prompt learning method consisting based on task-related object, summary, and task description information. By automatically building and searching for appropriate prompts, our proposed MTPrompt achieves the best results on few-shot samples setting and five different datasets. In addition, we demonstrate the effectiveness and stability of our method in different experimental settings and ablation experiments. In interaction with large language models, embedding more task-related information into prompts will make it easier to stimulate knowledge embedded in large language models.


title: Provable Security for the Onion Routing and Mix Network Packet Format Sphinx

abstract: Onion routing and mix networks are fundamental concepts to provide users with anonymous access to the Internet. Various corresponding solutions rely on the efficient Sphinx packet format. However, flaws in Sphinx's underlying proof strategy were found recently. It is thus currently unclear which guarantees Sphinx actually provides, and, even worse, there is no suitable proof strategy available. In this paper, we restore the security foundation for all these works by building a theoretical framework for Sphinx. We discover that the previously-used DDH assumption is insufficient for a security proof and show that the Gap Diffie-Hellman (GDH) assumption is required instead. We apply it to prove that a slightly adapted version of the Sphinx packet format is secure under the GDH assumption. Ours is the first work to provide a detailed, in-depth security proof for Sphinx in this manner. Our adaptations to Sphinx are necessary, as we demonstrate with an attack on sender privacy that would be possible otherwise.


title: ClusterDDPM: An EM clustering framework with Denoising Diffusion Probabilistic Models

abstract: Variational autoencoder (VAE) and generative adversarial networks (GAN) have found widespread applications in clustering and have achieved significant success. However, the potential of these approaches may be limited due to VAE's mediocre generation capability or GAN's well-known instability during adversarial training. In contrast, denoising diffusion probabilistic models (DDPMs) represent a new and promising class of generative models that may unlock fresh dimensions in clustering. In this study, we introduce an innovative expectation-maximization (EM) framework for clustering using DDPMs. In the E-step, we aim to derive a mixture of Gaussian priors for the subsequent M-step. In the M-step, our focus lies in learning clustering-friendly latent representations for the data by employing the conditional DDPM and matching the distribution of latent representations to the mixture of Gaussian priors. We present a rigorous theoretical analysis of the optimization process in the M-step, proving that the optimizations are equivalent to maximizing the lower bound of the Q function within the vanilla EM framework under certain constraints. Comprehensive experiments validate the advantages of the proposed framework, showcasing superior performance in clustering, unsupervised conditional generation and latent representation learning.


title: Incremental Learning of Full-Pose Via-Point Movement Primitives on Riemannian Manifolds

abstract: Movement primitives (MPs) are compact representations of robot skills that can be learned from demonstrations and combined into complex behaviors. However, merely equipping robots with a fixed set of innate MPs is insufficient to deploy them in dynamic and unpredictable environments. Instead, the full potential of MPs remains to be attained via adaptable, large-scale MP libraries. In this paper, we propose a set of seven fundamental operations to incrementally learn, improve, and re-organize MP libraries. To showcase their applicability, we provide explicit formulations of the spatial operations for libraries composed of Via-Point Movement Primitives (VMPs). By building on Riemannian manifold theory, our approach enables the incremental learning of all parameters of position and orientation VMPs within a library. Moreover, our approach stores a fixed number of parameters, thus complying with the essential principles of incremental learning. We evaluate our approach to incrementally learn a VMP library from motion capture data provided sequentially.


title: Exploring Key Aspects of Sea Level Rise and their Implications: An Overview

abstract: Sea Level Rise (SLR) is one of the most pressing challenges of climate change and has drawn noticeable research interest over the past few decades. Factors induced by global climate change such as temperature increase, have resulted in both direct and indirect changes in sea levels at different spatial scales. A number of climatic and non-climatic events drive the change in sea level and impose risk on coastal and low-lying areas. Nevertheless, changes in sea level are not uniformly distributed globally due to a number of regional factors such as wave actions, storm surge frequencies, and tectonic land movement. The high exposure to those factors increases the vulnerability of subjected areas to SLR impacts. The impacts of events induced by climate change and SLR are reflected in biophysical, socioeconomic, and environmental aspects. Different indicator-based and model-based approaches are used to assess coastal areas' vulnerabilities, response to impacts, and implementation of adaptation and mitigation measures. Various studies were made to project future SLR impacts and evaluate implemented protection and adaptation approaches to help policymakers plan effective adaptation and mitigation measures and reduce damage. This paper provides an overview of SLR and its key elements encompassing contributing factors, impacts, and mitigation and adaptation measures with a case study focus on the Arabian Gulf.


title: Mathematical models and heuristics for the home health care routing and scheduling problem

abstract: This thesis addressed the HHCRSP, which is a class of workforce scheduling problems. The HHCRSP is an extension of the VRPTW to which the constraints related to the HHC context are added. It aims to provide care services to patients at their homes instead of going to the hospital. We dealt with three different problems from the optimization viewpoint. In the first one, we considered a deterministic model to tackle the HHCRSP with multiple time windows, multiple services, their synchronization if they are required to be simultaneous and skill requirements. We proposed a new mathematical to solve this problem along with a GVNS based heuristic to solve large instances. In the second problem, we extended the deterministic model to cope with uncertainties in terms travel and service times. We proposed two SPR models. In the first SPR model, we defined the recourse as a penalty cost for the tardiness of services and a remuneration for caregivers' overtime. In the second SPR model, we defined the recourse as skipping patients if their time windows should be violated. We embedded Monte Carlo simulation, which is used to estimate the expected value of recourse, into a GA based heuristic to solve SPR models. In the last problem, we kept the multi-objective aspect of the deterministic model without aggregating its objective functions, and we used algorithms based on Pareto dominance to find the non-dominated solutions and then involve the decision-maker to select which one he prefers. Two approaches, Pareto and decomposition based, with multi-objective evolutionary algorithms are adopted to solve the HHCRSP. Three algorithms are implemented: NSGA-II, MOEA/D and a hybrid NSGA-II with MOEA/D (hybrid) algorithm.


title: Beyond Top-Class Agreement: Using Divergences to Forecast Performance under Distribution Shift

abstract: Knowing if a model will generalize to data 'in the wild' is crucial for safe deployment. To this end, we study model disagreement notions that consider the full predictive distribution - specifically disagreement based on Hellinger distance, Jensen-Shannon and Kullback-Leibler divergence. We find that divergence-based scores provide better test error estimates and detection rates on out-of-distribution data compared to their top-1 counterparts. Experiments involve standard vision and foundation models.


title: Individualized Deepfake Detection Exploiting Traces Due to Double Neural-Network Operations

abstract: In today's digital landscape, journalists urgently require tools to verify the authenticity of facial images and videos depicting specific public figures before incorporating them into news stories. Existing deepfake detectors are not optimized for this detection task when an image is associated with a specific and identifiable individual. This study focuses on the deepfake detection of facial images of individual public figures. We propose to condition the proposed detector on the identity of the identified individual given the advantages revealed by our theory-driven simulations. While most detectors in the literature rely on perceptible or imperceptible artifacts present in deepfake facial images, we demonstrate that the detection performance can be improved by exploiting the idempotency property of neural networks. In our approach, the training process involves double neural-network operations where we pass an authentic image through a deepfake simulating network twice. Experimental results show that the proposed method improves the area under the curve (AUC) from 0.92 to 0.94 and reduces its standard deviation by 17\%. For evaluating the detection performance of individual public figures, a facial image dataset with individuals' names is required, a criterion not met by the current deepfake datasets. To address this, we curated a dataset comprising 32k images featuring 45 public figures, which we intend to release to the public after the paper is published.


title: Hydrodynamic characteristics of sea kayak traditional paddles

abstract: We present a study of the hydrodynamic characteristics of sea kayak paddles without taking into account the kayaker. We focus on traditional paddles used in the Arctic, one from Greenland and one from the Aleutian Islands. A basic modern European paddle is included in the study for comparison. First the paddle stroke parameters specific to sea kayaking are identified because previous studies were devoted to a competition context. The hydrodynamic force generated by the blade motion is detailed: two terms are identified, one involving the inertia of the water surrounding the blade at the beginning of its motion, and the second term is the classical drag/lift force. Drag and lift force coefficients were measured in a wind tunnel. The data allow computation of the hydrodynamic force during a paddle stroke. The European paddle was shown to be more efficient than the traditional paddles because of its shorter length to width ratio which contributed to a larger inertia effect. However, the force obtained with the traditional paddles better follows the imposed motion by the kayaker so that they are more comfortable and less tiring in the context of long distance trips, as those practiced in sea kayaking.


title: CoRTEx: Contrastive Learning for Representing Terms via Explanations with Applications on Constructing Biomedical Knowledge Graphs

abstract: Objective: Biomedical Knowledge Graphs play a pivotal role in various biomedical research domains. Concurrently, term clustering emerges as a crucial step in constructing these knowledge graphs, aiming to identify synonymous terms. Due to a lack of knowledge, previous contrastive learning models trained with Unified Medical Language System (UMLS) synonyms struggle at clustering difficult terms and do not generalize well beyond UMLS terms. In this work, we leverage the world knowledge from Large Language Models (LLMs) and propose Contrastive Learning for Representing Terms via Explanations (CoRTEx) to enhance term representation and significantly improves term clustering. Materials and Methods: The model training involves generating explanations for a cleaned subset of UMLS terms using ChatGPT. We employ contrastive learning, considering term and explanation embeddings simultaneously, and progressively introduce hard negative samples. Additionally, a ChatGPT-assisted BIRCH algorithm is designed for efficient clustering of a new ontology. Results: We established a clustering test set and a hard negative test set, where our model consistently achieves the highest F1 score. With CoRTEx embeddings and the modified BIRCH algorithm, we grouped 35,580,932 terms from the Biomedical Informatics Ontology System (BIOS) into 22,104,559 clusters with O(N) queries to ChatGPT. Case studies highlight the model's efficacy in handling challenging samples, aided by information from explanations. Conclusion: By aligning terms to their explanations, CoRTEx demonstrates superior accuracy over benchmark models and robustness beyond its training set, and it is suitable for clustering terms for large-scale biomedical ontologies.


title: On the correspondence between perfect matchings and compatible pairs for affine cluster algebra

abstract: We study cluster algebra of affine type $A_1^{(1)}$ by using two methods including counting the numbers of perfect matchings on snake graphs and compatible pairs on maximal Dyck paths. We find that the sum of coefficients of the terms in the Laurent polynomials of these cluster variables are odd-indexed Fibonacci numbers. In addition, we prove that the numbers of non-decreasing Dyck paths of even lengths are also odd-indexed Fibonacci numbers. As a consequence, we define explicit bijective correspondences among three combinatorial models, including perfect matchings on the snake graph, compatible pairs on the maximal Dyck path, and non-decreasing Dyck paths of even lengths.


title: Combined Approximations for Uniform Operational Consistent Query Answering

abstract: Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact deletions) starting from an inconsistent database until we reach a database that is consistent w.r.t. the given set of constraints. It has been recently shown that there are efficient approximations for computing the percentage of repairs, as well as of sequences of operations leading to repairs, that entail a given query when we focus on primary keys, conjunctive queries, and assuming the query is fixed (i.e., in data complexity). However, it has been left open whether such approximations exist when the query is part of the input (i.e., in combined complexity). We show that this is the case when we focus on self-join-free conjunctive queries of bounded generelized hypertreewidth. We also show that it is unlikely that efficient approximation schemes exist once we give up one of the adopted syntactic restrictions, i.e., self-join-freeness or bounding the generelized hypertreewidth. Towards the desired approximation schemes, we introduce a novel counting complexity class, called SpanTL, show that each problem in SpanTL admits an efficient approximation scheme by using a recent approximability result in the context of tree automata, and then place the problems of interest in SpanTL.


title: Safeguarding the safeguards: How best to promote AI alignment in the public interest

abstract: AI alignment work is important from both a commercial and a safety lens. With this paper, we aim to help actors who support alignment efforts to make these efforts as effective as possible, and to avoid potential adverse effects. We begin by suggesting that institutions that are trying to act in the public interest (such as governments) should aim to support specifically alignment work that reduces accident or misuse risks. We then describe four problems which might cause alignment efforts to be counterproductive, increasing large-scale AI risks. We suggest mitigations for each problem. Finally, we make a broader recommendation that institutions trying to act in the public interest should think systematically about how to make their alignment efforts as effective, and as likely to be beneficial, as possible.


title: Post-hoc Hypothesis Testing

abstract: An unfortunate feature of traditional hypothesis testing is the necessity to pre-specify a significance level $\alpha$ to bound the `size' of the test: its probability to falsely reject the hypothesis. Indeed, a data-dependent selection of $\alpha$ would generally distort the size, possibly making it larger than the selected level $\alpha$. We develop post-hoc hypothesis testing, which guarantees that there is no such size distortion in expectation, even if the level $\alpha$ is arbitrarily selected based on the data. Unlike regular $p$-values, resulting `post-hoc $p$-values' allow us to `reject at level $p$' and still provide this guarantee. Moreover, they can easily be combined since the product of independent post-hoc $p$-values is also a post-hoc $p$-value. Interestingly, we find that $p$ is a post-hoc $p$-value if and only if $1/p$ is an $e$-value, a recently introduced measure of evidence. Post-hoc hypothesis testing eliminates the need for standardized levels such as $\alpha = 0.05$, which takes away incentives for $p$-hacking and contributes to solving the file-drawer problem.


title: Leveraging User Simulation to Develop and Evaluate Conversational Information Access Agents

abstract: We observe a change in the way users access information, that is, the rise of conversational information access (CIA) agents. However, the automatic evaluation of these agents remains an open challenge. Moreover, the training of CIA agents is cumbersome as it mostly relies on conversational corpora, expert knowledge, and reinforcement learning. User simulation has been identified as a promising solution to tackle automatic evaluation and has been previously used in reinforcement learning. In this research, we investigate how user simulation can be leveraged in the context of CIA. We organize the work in three parts. We begin with the identification of requirements for user simulators for training and evaluating CIA agents and compare existing types of simulator regarding these. Then, we plan to combine these different types of simulators into a new hybrid simulator. Finally, we aim to extend simulators to handle more complex information seeking scenarios.


title: Computing approximate symmetries of complex networks

abstract: The symmetry of complex networks is a global property that has recently gained attention since MacArthur et al. 2008 showed that many real-world networks contain a considerable number of symmetries. These authors work with a very strict symmetry definition based on the network's automorphism. The potential problem with this approach is that even a slight change in the graph's structure can remove or create some symmetry. Recently, Liu 2020 proposed to use an approximate automorphism instead of strict automorphism. This method can discover symmetries in the network while accepting some minor imperfections in their structure. The proposed numerical method, however, exhibits some performance problems and has some limitations while it assumes the absence of fixed points. In this work, we exploit alternative approaches recently developed for treating the Graph Matching Problem and propose a method, which we will refer to as Quadratic Symmetry Approximator (QSA), to address the aforementioned shortcomings. To test our method, we propose a set of random graph models suitable for assessing a wide family of approximate symmetry algorithms. The performance of our method is also demonstrated on brain networks.


title: Deep learning based photometric redshifts for the Kilo-Degree Survey Bright Galaxy Sample

abstract: In cosmological analyses, precise redshift determination remains pivotal for understanding cosmic evolution. However, with only a fraction of galaxies having spectroscopic redshifts (spec-$z$s), the challenge lies in estimating redshifts for a larger number. To address this, photometry-based redshift (photo-$z$) estimation, employing machine learning algorithms, is a viable solution. Identifying the limitations of previous methods, this study focuses on implementing deep learning (DL) techniques within the Kilo-Degree Survey (KiDS) Bright Galaxy Sample for more accurate photo-$z$ estimations. Comparing our new DL-based model against prior `shallow' neural networks, we showcase improvements in redshift accuracy. Our model gives mean photo-$z$ bias $\langle \Delta z\rangle= 10^{-3}$ and scatter $\mathrm{SMAD}(\Delta z)=0.016$, where $\Delta z = (z_\mathrm{phot}-z_\mathrm{spec})/(1+z_\mathrm{spec})$. This research highlights the promising role of DL in revolutionizing photo-$z$ estimation.