title: Sparse systems with high local multiplicity

abstract: Consider a sparse system of n Laurent polynomials in n variables with complex coefficients and support in a finite lattice set A. The maximal number of isolated roots of the system in the complex n-torus is known to be the normalized volume of the convex hull of A (the BKK bound). We explore the following question: if the cardinality of A equals n+m+1, what is the maximum local intersection multiplicity at one point in the torus in terms of n and m? This study was initiated by Gabrielov in the multivariate case. We give an upper bound that is always sharp when m=1 and, under a generic technical hypothesis, it is considerably smaller for any dimension n and codimension m. We also present, for any value of n and m, a particular sparse system with high local multiplicity with exponents in the vertices of a cyclic polytope and we explain the rationale of our choice. Our work raises several interesting questions.


title: Insights Towards Better Case Study Reporting in Software Engineering

abstract: Case studies are a popular and noteworthy type of research study in software engineering, offering significant potential to impact industry practices by investigating phenomena in their natural contexts. This potential to reach a broad audience beyond the academic community is often undermined by deficiencies in reporting, particularly in the context description, study classification, generalizability, and the handling of validity threats. This paper presents a reflective analysis aiming to share insights that can enhance the quality and impact of case study reporting. We emphasize the need to follow established guidelines, accurate classification, and detailed context descriptions in case studies. Additionally, particular focus is placed on articulating generalizable findings and thoroughly discussing generalizability threats. We aim to encourage researchers to adopt more rigorous and communicative strategies, ensuring that case studies are methodologically sound, resonate with, and apply to software engineering practitioners and the broader academic community. The reflections and recommendations offered in this paper aim to ensure that insights from case studies are transparent, understandable, and tailored to meet the needs of both academic researchers and industry practitioners. In doing so, we seek to enhance the real-world applicability of academic research, bridging the gap between theoretical research and practical implementation in industry.


title: Interacting Particle Systems on Networks: joint inference of the network and the interaction kernel

abstract: Modeling multi-agent systems on networks is a fundamental challenge in a wide variety of disciplines. We jointly infer the weight matrix of the network and the interaction kernel, which determine respectively which agents interact with which others and the rules of such interactions from data consisting of multiple trajectories. The estimator we propose leads naturally to a non-convex optimization problem, and we investigate two approaches for its solution: one is based on the alternating least squares (ALS) algorithm; another is based on a new algorithm named operator regression with alternating least squares (ORALS). Both algorithms are scalable to large ensembles of data trajectories. We establish coercivity conditions guaranteeing identifiability and well-posedness. The ALS algorithm appears statistically efficient and robust even in the small data regime but lacks performance and convergence guarantees. The ORALS estimator is consistent and asymptotically normal under a coercivity condition. We conduct several numerical experiments ranging from Kuramoto particle systems on networks to opinion dynamics in leader-follower models.


title: Mood as a Contextual Cue for Improved Emotion Inference

abstract: Psychological studies observe that emotions are rarely expressed in isolation and are typically influenced by the surrounding context. While recent studies effectively harness uni- and multimodal cues for emotion inference, hardly any study has considered the effect of long-term affect, or \emph{mood}, on short-term \emph{emotion} inference. This study (a) proposes time-continuous \emph{valence} prediction from videos, fusing multimodal cues including \emph{mood} and \emph{emotion-change} ($\Delta$) labels, (b) serially integrates spatial and channel attention for improved inference, and (c) demonstrates algorithmic generalisability with experiments on the \emph{EMMA} and \emph{AffWild2} datasets. Empirical results affirm that utilising mood labels is highly beneficial for dynamic valence prediction. Comparing \emph{unimodal} (training only with mood labels) vs \emph{multimodal} (training with mood and $\Delta$ labels) results, inference performance improves for the latter, conveying that both long and short-term contextual cues are critical for time-continuous emotion inference.


title: $\mathcal{N}=2$ SYK models with dynamical bosons and fermions

abstract: We study a class of SYK models with $\mathcal{N}=2$ supersymmetry, described by $N$ fermions in chiral Fermi multiplets, as well as $\alpha N$ first-order bosons in chiral multiplets. The interactions are characterised by two integers $(p,q)$. We focus on the large $N$ and low energy limit of these models. Despite the presence of dynamical bosons, we find conformal behaviour akin to the standard SYK model. We use $\mathcal{I}$-extremization of a Witten index to study the supersymmetric solutions. In particular, we find an exact expression for the entropy, which matches the numerical solutions to the Schwinger-Dyson equations. We further solve the model both in the large $p$ and large $p,q$ limits. Numerically, we verify our analytical results and obtain estimates for the Schwarzian coupling in the near zero-temperature limit. We also study the low-lying spectrum of operators to determine the parameter ranges where the Schwarzian mode dominates the IR dynamics. Lastly, we study out-of-time-ordered correlators to show that the model is maximally chaotic.


title: Effective refractive index of a silicon dioxide with implanted Ag nanoparticles and Er$^{3+}$ ions

abstract: We consider light propagation in a silicon dioxide substrate with implanted ${\mathrm{Er}}^{3+}$ ions and silver nanoparticles that are randomly and homogeneously distributed in the substrate. When their densities are large enough, the medium can have a negative refractive index over a certain range of frequencies, within which the following exotic property ensues: increasing the electric and magnetic plasma frequencies, the medium transparency is augmented.


title: Pandora: Jailbreak GPTs by Retrieval Augmented Generation Poisoning

abstract: Large Language Models~(LLMs) have gained immense popularity and are being increasingly applied in various domains. Consequently, ensuring the security of these models is of paramount importance. Jailbreak attacks, which manipulate LLMs to generate malicious content, are recognized as a significant vulnerability. While existing research has predominantly focused on direct jailbreak attacks on LLMs, there has been limited exploration of indirect methods. The integration of various plugins into LLMs, notably Retrieval Augmented Generation~(RAG), which enables LLMs to incorporate external knowledge bases into their response generation such as GPTs, introduces new avenues for indirect jailbreak attacks. To fill this gap, we investigate indirect jailbreak attacks on LLMs, particularly GPTs, introducing a novel attack vector named Retrieval Augmented Generation Poisoning. This method, Pandora, exploits the synergy between LLMs and RAG through prompt manipulation to generate unexpected responses. Pandora uses maliciously crafted content to influence the RAG process, effectively initiating jailbreak attacks. Our preliminary tests show that Pandora successfully conducts jailbreak attacks in four different scenarios, achieving higher success rates than direct attacks, with 64.3\% for GPT-3.5 and 34.8\% for GPT-4.


title: Constructing model-agnostic likelihoods, a method for the reinterpretation of particle physics results

abstract: Experimental High Energy Physics has entered an era of precision measurements. However, measurements of many of the accessible processes assume that the final states' underlying kinematic distribution is the same as the Standard Model prediction. This assumption introduces an implicit model-dependency into the measurement, rendering the reinterpretation of the experimental analysis complicated without reanalysing the underlying data. We present a novel reweighting method in order to perform reinterpretation of particle physics measurements. It makes use of reweighting the Standard Model templates according to kinematic signal distributions of alternative theoretical models, prior to performing the statistical analysis. The generality of this method allows us to perform statistical inference in the space of theoretical parameters, assuming different kinematic distributions, according to a beyond Standard Model prediction. We implement our method as an extension to the pyhf software and interface it with the EOS software, which allows us to perform flavor physics phenomenology studies. Furthermore, we argue that, beyond the pyhf or HistFactory likelihood specification, only minimal information is necessary to make a likelihood model-agnostic and hence easily reinterpretable. We showcase that publishing such likelihoods is crucial for a full exploitation of experimental results.


title: Variations on Sidorenko's conjecture in tournaments

abstract: We study variants of Sidorenko's conjecture in tournaments, where new phenomena arise that do not have clear analogues in the setting of undirected graphs. We first consider oriented graphs that are systematically under-represented in tournaments (called tournament anti-Sidorenko). We prove that such oriented graphs must be quite sparse; specifically, the maximum number of edges of a $k$-vertex oriented graph which is tournament anti-Sidorenko is $(1+o(1))k\log_2 k$. We also give several novel constructions of oriented graphs that are systematically over-represented in tournaments (tournament Sidorenko); as a representative example, we show that most ways to delete an edge from a transitive tournament yield a tournament Sidorenko oriented graph. As an illustration of our methods, we characterize which orientations of stars are tournament Sidorenko and which are tournament anti-Sidorenko.


title: Band gaps of hybrid metal halide perovskites: efficient estimation

abstract: The employment of the parameter-free Armiento-K\"{u}mmel generalized gradient approximation (AK13-GGA) exchange functional was examined as means of the band gap prediction for hybrid metal halide perovskites (HaPs) or systems with strong spin-orbit coupling in the full-relativistic density-functional-theory (DFT) calculations. The new combination of AK13 with the nonseparable gradient approximation Minnesota correlation functional (GAM) was established as an approach allowing for the efficient band gap estimation with accuracy similar to the GW approximation method but at the computational costs of conventional DFT. This was further supported by results of the AK13/GAM calculations performed for various HaPs. The described approach creates an opportunity for the effective assessment of the electronic structure of large, complex, doped or defective HaPs and modelling of new materials.


title: Vision-Based Hand Gesture Customization from a Single Demonstration

abstract: Hand gesture recognition is becoming a more prevalent mode of human-computer interaction, especially as cameras proliferate across everyday devices. Despite continued progress in this field, gesture customization is often underexplored. Customization is crucial since it enables users to define and demonstrate gestures that are more natural, memorable, and accessible. However, customization requires efficient usage of user-provided data. We introduce a method that enables users to easily design bespoke gestures with a monocular camera from one demonstration. We employ transformers and meta-learning techniques to address few-shot learning challenges. Unlike prior work, our method supports any combination of one-handed, two-handed, static, and dynamic gestures, including different viewpoints. We evaluated our customization method through a user study with 20 gestures collected from 21 participants, achieving up to 97% average recognition accuracy from one demonstration. Our work provides a viable path for vision-based gesture customization, laying the foundation for future advancements in this domain.


title: Conservative and Risk-Aware Offline Multi-Agent Reinforcement Learning for Digital Twins

abstract: Digital twin (DT) platforms are increasingly regarded as a promising technology for controlling, optimizing, and monitoring complex engineering systems such as next-generation wireless networks. An important challenge in adopting DT solutions is their reliance on data collected offline, lacking direct access to the physical environment. This limitation is particularly severe in multi-agent systems, for which conventional multi-agent reinforcement (MARL) requires online interactions with the environment. A direct application of online MARL schemes to an offline setting would generally fail due to the epistemic uncertainty entailed by the limited availability of data. In this work, we propose an offline MARL scheme for DT-based wireless networks that integrates distributional RL and conservative Q-learning to address the environment's inherent aleatoric uncertainty and the epistemic uncertainty arising from limited data. To further exploit the offline data, we adapt the proposed scheme to the centralized training decentralized execution framework, allowing joint training of the agents' policies. The proposed MARL scheme, referred to as multi-agent conservative quantile regression (MA-CQR) addresses general risk-sensitive design criteria and is applied to the trajectory planning problem in drone networks, showcasing its advantages.


title: Distribution Estimation under the Infinity Norm

abstract: We present novel bounds for estimating discrete probability distributions under the $\ell_\infty$ norm. These are nearly optimal in various precise senses, including a kind of instance-optimality. Our data-dependent convergence guarantees for the maximum likelihood estimator significantly improve upon the currently known results. A variety of techniques are utilized and innovated upon, including Chernoff-type inequalities and empirical Bernstein bounds. We illustrate our results in synthetic and real-world experiments. Finally, we apply our proposed framework to a basic selective inference problem, where we estimate the most frequent probabilities in a sample.


title: Vehicle Behavior Prediction by Episodic-Memory Implanted NDT

abstract: In autonomous driving, predicting the behavior (turning left, stopping, etc.) of target vehicles is crucial for the self-driving vehicle to make safe decisions and avoid accidents. Existing deep learning-based methods have shown excellent and accurate performance, but the black-box nature makes it untrustworthy to apply them in practical use. In this work, we explore the interpretability of behavior prediction of target vehicles by an Episodic Memory implanted Neural Decision Tree (abbrev. eMem-NDT). The structure of eMem-NDT is constructed by hierarchically clustering the text embedding of vehicle behavior descriptions. eMem-NDT is a neural-backed part of a pre-trained deep learning model by changing the soft-max layer of the deep model to eMem-NDT, for grouping and aligning the memory prototypes of the historical vehicle behavior features in training data on a neural decision tree. Each leaf node of eMem-NDT is modeled by a neural network for aligning the behavior memory prototypes. By eMem-NDT, we infer each instance in behavior prediction of vehicles by bottom-up Memory Prototype Matching (MPM) (searching the appropriate leaf node and the links to the root node) and top-down Leaf Link Aggregation (LLA) (obtaining the probability of future behaviors of vehicles for certain instances). We validate eMem-NDT on BLVD and LOKI datasets, and the results show that our model can obtain a superior performance to other methods with clear explainability. The code is available at https://github.com/JWFangit/eMem-NDT.


title: Conditional Neural Expert Processes for Learning from Demonstration

abstract: Learning from Demonstration (LfD) is a widely used technique for skill acquisition in robotics. However, demonstrations of the same skill may exhibit significant variances, or learning systems may attempt to acquire different means of the same skill simultaneously, making it challenging to encode these motions into movement primitives. To address these challenges, we propose an LfD framework, namely the Conditional Neural Expert Processes (CNEP), that learns to assign demonstrations from different modes to distinct expert networks utilizing the inherent information within the latent space to match experts with the encoded representations. CNEP does not require supervision on which mode the trajectories belong to. Provided experiments on artificially generated datasets demonstrate the efficacy of CNEP. Furthermore, we compare the performance of CNEP with another LfD framework, namely Conditional Neural Movement Primitives (CNMP), on a range of tasks, including experiments on a real robot. The results reveal enhanced modeling performance for movement primitives, leading to the synthesis of trajectories that more accurately reflect those demonstrated by experts, particularly when the model inputs include intersection points from various trajectories. Additionally, CNEP offers improved interpretability and faster convergence by promoting expert specialization. Furthermore, we show that the CNEP model accomplishes obstacle avoidance tasks with a real manipulator when provided with novel start and destination points, in contrast to the CNMP model, which leads to collisions with the obstacle.


title: Transfer Operators from Batches of Unpaired Points via Entropic Transport Kernels

abstract: In this paper, we are concerned with estimating the joint probability of random variables $X$ and $Y$, given $N$ independent observation blocks $(\boldsymbol{x}^i,\boldsymbol{y}^i)$, $i=1,\ldots,N$, each of $M$ samples $(\boldsymbol{x}^i,\boldsymbol{y}^i) = \bigl((x^i_j, y^i_{\sigma^i(j)}) \bigr)_{j=1}^M$, where $\sigma^i$ denotes an unknown permutation of i.i.d. sampled pairs $(x^i_j,y_j^i)$, $j=1,\ldots,M$. This means that the internal ordering of the $M$ samples within an observation block is not known. We derive a maximum-likelihood inference functional, propose a computationally tractable approximation and analyze their properties. In particular, we prove a $\Gamma$-convergence result showing that we can recover the true density from empirical approximations as the number $N$ of blocks goes to infinity. Using entropic optimal transport kernels, we model a class of hypothesis spaces of density functions over which the inference functional can be minimized. This hypothesis class is particularly suited for approximate inference of transfer operators from data. We solve the resulting discrete minimization problem by a modification of the EMML algorithm to take addional transition probability constraints into account and prove the convergence of this algorithm. Proof-of-concept examples demonstrate the potential of our method.


title: Frequency-aware Graph Signal Processing for Collaborative Filtering

abstract: Graph Signal Processing (GSP) based recommendation algorithms have recently attracted lots of attention due to its high efficiency. However, these methods failed to consider the importance of various interactions that reflect unique user/item characteristics and failed to utilize user and item high-order neighborhood information to model user preference, thus leading to sub-optimal performance. To address the above issues, we propose a frequency-aware graph signal processing method (FaGSP) for collaborative filtering. Firstly, we design a Cascaded Filter Module, consisting of an ideal high-pass filter and an ideal low-pass filter that work in a successive manner, to capture both unique and common user/item characteristics to more accurately model user preference. Then, we devise a Parallel Filter Module, consisting of two low-pass filters that can easily capture the hierarchy of neighborhood, to fully utilize high-order neighborhood information of users/items for more accurate user preference modeling. Finally, we combine these two modules via a linear model to further improve recommendation accuracy. Extensive experiments on six public datasets demonstrate the superiority of our method from the perspectives of prediction accuracy and training efficiency compared with state-of-the-art GCN-based recommendation methods and GSP-based recommendation methods.


title: Leveraging Self-Supervised Instance Contrastive Learning for Radar Object Detection

abstract: In recent years, driven by the need for safer and more autonomous transport systems, the automotive industry has shifted toward integrating a growing number of Advanced Driver Assistance Systems (ADAS). Among the array of sensors employed for object recognition tasks, radar sensors have emerged as a formidable contender due to their abilities in adverse weather conditions or low-light scenarios and their robustness in maintaining consistent performance across diverse environments. However, the small size of radar datasets and the complexity of the labelling of those data limit the performance of radar object detectors. Driven by the promising results of self-supervised learning in computer vision, this paper presents RiCL, an instance contrastive learning framework to pre-train radar object detectors. We propose to exploit the detection from the radar and the temporal information to pre-train the radar object detection model in a self-supervised way using contrastive learning. We aim to pre-train an object detector's backbone, head and neck to learn with fewer data. Experiments on the CARRADA and the RADDet datasets show the effectiveness of our approach in learning generic representations of objects in range-Doppler maps. Notably, our pre-training strategy allows us to use only 20% of the labelled data to reach a similar mAP@0.5 than a supervised approach using the whole training set.


title: Mighty Tracker -- Performance Studies of the MightyPix for LHCb

abstract: A new downstream tracking system, known as the Mighty Tracker, is planned to be installed at LHCb during LS4 of the LHC. This will allow an increase in instantaneous luminosity from $2\cdot10^{33}~\mathrm{cm}^{-2}\mathrm{s}^{-1}$ to $1.5\cdot10^{34}~\mathrm{cm}^{-2}\mathrm{s}^{-1}$ and therefore an overall higher irradiation and up to six times higher occupancy. To keep the material budget as low or even lower as for the current detector, the Mighty Tracker is planned as a hybrid system with silicon pixels in the inner and scintillating fibers in the outer region. For the pixel detector part HV-CMOS MAPS with a pixel size of $55~\mathrm{x}~165~\mathrm{\mu m^2}$ will be used. This technology has been chosen because of its low production costs, low material budget, high radiation tolerance and good timing resolution. To fulfill the requirements, the development and characterization of the sensors focuses on radiation damage with fluences up to $2\cdot10^{15~}\mathrm{MeVn_{eq}}/\mathrm{cm^2}$ and a timing resolution $\leq3~\mathrm{ns}$. The timing resolution is restricted due to the $40~\mathrm{MHz}$ trigger-less DAQ by LHCb. To characterize and further develop the MightyPix a new readout system called MARS (Mighty TrAcker Readout System) has been developed. MARS is a modular system, able to test different single chips in the laboratory as well as at testbeam facilities. It has been used to perform first characterization studies of development-chips investigating radiation tolerance and timing resolution as well as the dependence of the sensor settings on the overall performance.


title: Is 3-(F)WL Enough to Distinguish All 3D Graphs?

abstract: The problem of graph isomorphism is an important but challenging problem in the field of graph analysis, for example: analyzing the similarity of two chemical molecules, or studying the expressive ability of graph neural networks. WL test is a method to judge whether two graphs are isomorphic, but it cannot distinguish all non-isomorphic graphs. As an improvement of WL, k-WL has stronger isomorphism discrimination ability, and as k increases, its discrimination ability is strictly increasing. However, whether the isomorphic discrimination power of k-WL is strictly increasing for more complex 3D graphs, or whether there exists k that can discriminate all 3D graphs, remains unexplored. This paper attempts to explore this problem from the perspective of graph generation.


title: Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot

abstract: Generative AI is changing the way developers interact with software systems, providing services that can produce and deliver new content, crafted to satisfy the actual needs of developers. For instance, developers can ask for new code directly from within their IDEs by writing natural language prompts, and integrated services based on generative AI, such as Copilot, immediately respond to prompts by providing ready-to-use code snippets. Formulating the prompt appropriately, and incorporating the useful information while avoiding any information overload, can be an important factor in obtaining the right piece of code. The task of designing good prompts is known as prompt engineering. In this paper, we systematically investigate the influence of eight prompt features on the style and the content of prompts, on the level of correctness, complexity, size, and similarity to the developers' code of the generated code. We specifically consider the task of using Copilot with 124,800 prompts obtained by systematically combining the eight considered prompt features to generate the implementation of 200 Java methods. Results show how some prompt features, such as the presence of examples and the summary of the purpose of the method, can significantly influence the quality of the result.


title: Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants

abstract: AI-based code assistants are promising tools that can facilitate and speed up code development. They exploit machine learning algorithms and natural language processing to interact with developers, suggesting code snippets (e.g., method implementations) that can be incorporated into projects. Recent studies empirically investigated the effectiveness of code assistants using simple exemplary problems (e.g., the re-implementation of well-known algorithms), which fail to capture the spectrum and nature of the tasks actually faced by developers. In this paper, we expand the knowledge in the area by comparatively assessing four popular AI-based code assistants, namely GitHub Copilot, Tabnine, ChatGPT, and Google Bard, with a dataset of 100 methods that we constructed from real-life open-source Java projects, considering a variety of cases for complexity and dependency from contextual elements. Results show that Copilot is often more accurate than other techniques, yet none of the assistants is completely subsumed by the rest of the approaches. Interestingly, the effectiveness of these solutions dramatically decreases when dealing with dependencies outside the boundaries of single classes.


title: Rhythmic soliton interactions for integrated dual-microcomb spectroscopy

abstract: Rotation symmetry of microresonators supports the generation of phase-locked counter-propagating (CP) solitons that can potentially miniaturize dual-comb systems. Realization of these dual-comb compatible solitons in photonic integrated circuits remains a challenge. Here, we synthesized such CP solitons in an integrated silicon nitride microresonator and observed forced soliton oscillation due to rhythmic, time-varying soliton interactions. The interactions result in seconds mutual-coherence passively. Temporal motion in the soliton streams is discerned by measuring a quadratic-scaling frequency noise peaks and an inverse quadratic-scaling microcomb sidebands. By generating a CP soliton trimer to have two synchronized solitons in one of the orbiting directions, we resolve the incapability of measuring two unsynchronized CP soliton dimer pulses by optical cross-correlation, and show CP solitons undergo complex motion trajectory. We further prove that precise dual-comb spectroscopy with an acquisition time as short as 0.6 $\mu$s is feasible using these solitons, although the temporal motion limits the dynamic range. Besides revealing soliton interactions with different group velocities, our work propels the realization of photonic integrated dual-comb spectrometers with high passive coherence.


title: On the asymptotic density of $k$-tuples of positive integers with pairwise non-coprime components

abstract: We use the convolution method for arithmetic functions of several variables to deduce an asymptotic formula for the number of $k$-tuples of positive integers with components which are pairwise non-coprime and $\le x$. More generally, we obtain asymptotic formulas on the number of $k$-tuples $(n_1,\ldots,n_k)\in {\Bbb N}^k$ such that at least $r$ pairs $(n_i,n_j)$, respectively exactly $r$ pairs are coprime. Our results answer the questions raised by Moree (2005, 2014), and generalize and refine related results obtained by Heyman (2014) and Hu (2014).


title: Solving promise equations over monoids and groups

abstract: We give a complete complexity classification for the problem of finding a solution to a given system of equations over a fixed finite monoid, given that a solution over a more restricted monoid exists. As a corollary, we obtain a complexity classification for the same problem over groups.


title: Weakly-monotone C*-algebras as Exel-Laca algebras

abstract: An abstract characterization of weakly monotone $C^*$-algebras, namely the concrete $C^*$-algebras generated by creators and annihilators acting on the so-called weakly monotone Fock spaces, is given in terms of (quotient of) suitable Exel-Laca algebras. The weakly monotone $C^*$-algebra indexed by $\mathbb{N}$ is shown to be a type-I $C^*$-algebra and its representation theory is entirely determined, whereas the weakly monotone $C^*$-algebra indexed by $\mathbb{Z}$ is shown not to be of type $I$.


title: The current state of security -- Insights from the German software industry

abstract: These days, software development and security go hand in hand. Numerous techniques and strategies are discussed in the literature that can be applied to guarantee the incorporation of security into the software development process. In this paper the main ideas of secure software development that have been discussed in the literature are outlined. Next, a dataset on implementation in practice is gathered through a qualitative interview research involving 20 companies. Trends and correlations in this dataset are found and contrasted with theoretical ideas from the literature. The results show that the organizations that were polled are placing an increasing focus on security. Although the techniques covered in the literature are being used in the real world, they are frequently not fully integrated into formal, standardized processes. The insights gained from our research lay the groundwork for future research, which can delve deeper into specific elements of these methods to enhance our understanding of their application in real-world scenarios.


title: Camera Calibration through Geometric Constraints from Rotation and Projection Matrices

abstract: The process of camera calibration involves estimating the intrinsic and extrinsic parameters, which are essential for accurately performing tasks such as 3D reconstruction, object tracking and augmented reality. In this work, we propose a novel constraints-based loss for measuring the intrinsic (focal length: $(f_x, f_y)$ and principal point: $(p_x, p_y)$) and extrinsic (baseline: ($b$), disparity: ($d$), translation: $(t_x, t_y, t_z)$, and rotation specifically pitch: $(\theta_p)$) camera parameters. Our novel constraints are based on geometric properties inherent in the camera model, including the anatomy of the projection matrix (vanishing points, image of world origin, axis planes) and the orthonormality of the rotation matrix. Thus we proposed a novel Unsupervised Geometric Constraint Loss (UGCL) via a multitask learning framework. Our methodology is a hybrid approach that employs the learning power of a neural network to estimate the desired parameters along with the underlying mathematical properties inherent in the camera projection matrix. This distinctive approach not only enhances the interpretability of the model but also facilitates a more informed learning process. Additionally, we introduce a new CVGL Camera Calibration dataset, featuring over 900 configurations of camera parameters, incorporating 63,600 image pairs that closely mirror real-world conditions. By training and testing on both synthetic and real-world datasets, our proposed approach demonstrates improvements across all parameters when compared to the state-of-the-art (SOTA) benchmarks. The code and the updated dataset can be found here: https://github.com/CVLABLUMS/CVGL-Camera-Calibration


title: T-semidefinite programming relaxation with third-order tensors for constrained polynomial optimization

abstract: We study T-semidefinite programming (SDP) relaxation for constrained polynomial optimization problems (POPs). T-SDP relaxation for unconstrained POPs was introduced by Zheng, Huang and Hu in 2022. In this work, we propose a T-SDP relaxation for POPs with polynomial inequality constraints and show that the resulting T-SDP relaxation formulated with third-order tensors can be transformed into the standard SDP relaxation with block-diagonal structures. The convergence of the T-SDP relaxation to the optimal value of a given constrained POP is established under moderate assumptions as the relaxation level increases. Additionally, the feasibility and optimality of the T-SDP relaxation are discussed. Numerical results illustrate that the proposed T-SDP relaxation enhances numerical efficiency.


title: JeFaPaTo -- A joint toolbox for blinking analysis and facial features extraction

abstract: Analyzing facial features and expressions is a complex task in computer vision. The human face is intricate, with significant shape, texture, and appearance variations. In medical contexts, facial structures and movements that differ from the norm are particularly important to study and require precise analysis to understand the underlying conditions. Given that solely the facial muscles, innervated by the facial nerve, are responsible for facial expressions, facial palsy can lead to severe impairments in facial movements. One affected area of interest is the subtle movements involved in blinking. It is an intricate spontaneous process that is not yet fully understood and needs high-resolution, time-specific analysis for detailed understanding. However, a significant challenge is that many computer vision techniques demand programming skills for automated extraction and analysis, making them less accessible to medical professionals who may not have these skills. The Jena Facial Palsy Toolbox (JeFaPaTo) has been developed to bridge this gap. It utilizes cutting-edge computer vision algorithms and offers a user-friendly interface for those without programming expertise. This toolbox makes advanced facial analysis more accessible to medical experts, simplifying integration into their workflow.


title: Precise and Fast LIDAR via Electrical Asynchronous Sampling Based on a Single Femtosecond Laser

abstract: LiDAR, using a laser-based ranging method for precise environmental 3D sensing, has numerous scientific and industrial applications. However, the challenge lies in simultaneously enhancing precision and update rate, hinders its application in more unexpected scenarios. To this end, an optical frequency comb with a stable repetition frequency and femtosecond pulse width was used as an advanced laser source. The LiDAR performance significantly improved in the micrometer and megahertz regimes using an asynchronous sampling ranging method of electrical pulses based on a single femtosecond laser. This overcame the limitation of traditional optical sampling approaches, achieving a 38.8 ${\mu}$m Allan deviation at an update rate of 1 MHz and 8.06 ${\mu}$m after 2 ms time-averaging. The proposed method used a single laser for fast metrology monitoring, 1 megapixel/s 3D imaging at the meter-level non-ambiguous range and contactless vital sign detection at the hundred-micrometer scale.


title: Latent space configuration for improved generalization in supervised autoencoder neural networks

abstract: Autoencoders (AE) are simple yet powerful class of neural networks that compress data by projecting input into low-dimensional latent space (LS). Whereas LS is formed according to the loss function minimization during training, its properties and topology are not controlled directly. In this paper we focus on AE LS properties and propose two methods for obtaining LS with desired topology, called LS configuration. The proposed methods include loss configuration using a geometric loss term that acts directly in LS, and encoder configuration. We show that the former allows to reliably obtain LS with desired configuration by defining the positions and shapes of LS clusters for supervised AE (SAE). Knowing LS configuration allows to define similarity measure in LS to predict labels or estimate similarity for multiple inputs without using decoders or classifiers. We also show that this leads to more stable and interpretable training. We show that SAE trained for clothes texture classification using the proposed method generalizes well to unseen data from LIP, Market1501, and WildTrack datasets without fine-tuning, and even allows to evaluate similarity for unseen classes. We further illustrate the advantages of pre-configured LS similarity estimation with cross-dataset searches and text-based search using a text query without language models.


title: The discrete direct deconvolution model in the large eddy simulation of turbulence

abstract: The discrete direct deconvolution model (D3M) is developed for the large-eddy simulation (LES) of turbulence. The D3M is a discrete approximation of previous direct deconvolution model studied by Chang et al. ["The effect of sub-filter scale dynamics in large eddy simulation of turbulence," Phys. Fluids 34, 095104 (2022)]. For the first type model D3M-1, the original Gaussian filter is approximated by local discrete formulation of different orders, and direct inverse of the discrete filter is applied to reconstruct the unfiltered flow field. The inverse of original Gaussian filter can be also approximated by local discrete formulation, leading to a fully local model D3M-2. Compared to traditional models including the dynamic Smagorinsky model (DSM) and the dynamic mixed model (DMM), the D3M-1 and D3M-2 exhibit much larger correlation coefficients and smaller relative errors in the a priori studies. In the a posteriori validations, both D3M-1 and D3M-2 can accurately predict turbulence statistics, including velocity spectra, probability density functions (PDFs) of sub-filter scale (SFS) stresses and SFS energy flux, as well as time-evolving kinetic energy spectra, momentum thickness, and Reynolds stresses in turbulent mixing layer. Moreover, the proposed model can also well capture spatial structures of the Q-criterion iso surfaces. Thus, the D3M holds potential as an effective SFS modeling approach in turbulence simulations.

categories: physics.flu-dyn math-ph math.MP nlin.CD physics.comp-ph


title: Energy-aware Dynamic Resource Allocation in Virtual Sensor Networks

abstract: Sensor network virtualization enables the possibility of sharing common physical resources to multiple stakeholder applications. This paper focuses on addressing the dynamic adaptation of already assigned virtual sensor network resources to respond to time varying application demands. We propose an optimization framework that dynamically allocate applications into sensor nodes while accounting for the characteristics and limitations of the wireless sensor environment. It takes also into account the additional energy consumption related to activating new nodes and/or moving already active applications. Different objective functions related to the available energy in the nodes are analyzed. The proposed framework is evaluated by simulation considering realistic parameters from actual sensor nodes and deployed applications to assess the efficiency of the proposals.


title: The breakdown of the direct relation between the density scaling exponent and the intermolecular interaction potential for molecular systems with purely repulsive intermolecular forces

abstract: In this work, we question the generally accepted statement that the character of intermolecular interactions can be directly determined from the scaling exponent. Based on detailed studies of polyatomic molecular systems with precisely defined and purely repulsive intermolecular potential, we show that the value of the density scaling exponent evidently differs from the one predicted by the intermolecular virial-potential-energy correlation. Since the latter value directly results from the intermolecular potential, information on the interactions between molecules within the system cannot be immediately gained from the density scaling exponent value. Moreover, we suggest that the recently proposed "molecular force" method also returns the value that varies from the one scaling the dynamics. Finally, basing on our results, it might be deduced that the intramolecular interactions influence the density scaling value for real liquids.


title: $1$-Bit SubTHz RIS with Planar Tightly Coupled Dipoles: Beam Shaping and Prototypes

abstract: In this paper, a proof-of-concept study of a $1$-bit wideband reconfigurable intelligent surface (RIS) comprising planar tightly coupled dipoles (PTCD) is presented. The developed RIS operates at subTHz frequencies and a $3$-dB gain bandwidth of $27.4\%$ with the center frequency at $102$ GHz is shown to be obtainable via full-wave electromagnetic simulations. The binary phase shift offered by each RIS unit element is enabled by changing the polarization of the reflected wave by $180^\circ$. The proposed PTCD-based RIS has a planar configuration with one dielectric layer bonded to a ground plane, and hence, it can be fabricated by using cost-effective printed circuit board (PCB) technology. We analytically calculate the response of the entire designed RIS and showcase that a good agreement between that result and equivalent full-wave simulations is obtained. To efficiently compute the $1$-bit RIS response for different pointing directions, thus, designing a directive beam codebook, we devise a fast approximate beamforming optimization approach, which is compared with time-consuming full-wave simulations. Finally, to prove our concept, we present several passive prototypes with frozen beams for the proposed $1$-bit wideband RIS.


title: Inevitability of Polarization in Geometric Opinion Exchange

abstract: Polarization and unexpected correlations between opinions on diverse topics (including in politics, culture and consumer choices) are an object of sustained attention. However, numerous theoretical models do not seem to convincingly explain these phenomena. This paper is motivated by a recent line of work, studying models where polarization can be explained in terms of biased assimilation and geometric interplay between opinions on various topics. The agent opinions are represented as unit vectors on a multidimensional sphere and updated according to geometric rules. In contrast to previous work, we focus on the classical opinion exchange setting, where the agents update their opinions in discrete time steps, with a pair of agents interacting randomly at every step. The opinions are updated according to an update rule belonging to a general class. Our findings are twofold. First, polarization appears to be ubiquitous in the class of models we study, requiring only relatively modest assumptions reflecting biased assimilation. Second, there is a qualitative difference between two-dimensional dynamics on the one hand, and three or more dimensions on the other. Accordingly, we prove almost sure polarization for a large class of update rules in two dimensions. Then, we prove polarization in three and more dimensions in more limited cases and try to shed light on central difficulties that are absent in two dimensions.


title: Two dimensional graph model for epitaxial crystal growth with adatoms

abstract: We consider a model to describe stable configurations in epitaxial growth of crystals in the two dimensional case, and in the regime of linear elasticity. The novelty is that the model also takes into consideration the adatom density on the surface of the film. These are behind the main mechanisms of crystal growth and formation of islands (or quantum dots). The main result of the paper is the integral representation of the relaxed energy.


title: Unveiling interatomic distances influencing the reaction coordinates in alanine dipeptide isomerization: An explainable deep learning approach

abstract: The present work shows that the free energy landscape associated with alanine dipeptide isomerization can be effectively represented by specific interatomic distances without explicit reference to dihedral angles. Conventionally, two stable states of alanine dipeptide in vacuum, i.e., C$7_{\mathrm{eq}}$ ($\beta$-sheet structure) and C$7_{\mathrm{ax}}$ (left handed $\alpha$-helix structure), have been primarily characterized using the main chain dihedral angles, $\varphi$ (C-N-C$_\alpha$-C) and $\psi$ (N-C$_\alpha$-C-N). However, our recent deep learning combined with "Explainable AI" (XAI) framework has shown that the transition state can be adequately captured by a free energy landscape using $\varphi$ and $\theta$ (O-C-N-C$_\alpha$) [T. Kikutsuji, et al. J. Chem. Phys. 156, 154108 (2022)]. In perspective of extending these insights to other collective variables, a more detailed characterization of transition state is required. In this work, we employ the interatomic distances and bond angles as input variables for deep learning, rather than the conventional and more elaborate dihedral angles. Our approach utilizes deep learning to investigate whether changes in the main chain dihedral angle can be expressed in terms of interatomic distances and bond angles. Furthermore, by incorporating XAI into our predictive analysis, we quantified the importance of each input variable and succeeded in clarifying the specific interatomic distance that affects the transition state. The results indicate that constructing a free energy landscape based on using the identified interatomic distance can clearly distinguish between the two stable states and provide a comprehensive explanation for the energy barrier crossing.


title: The conformal squid

abstract: We introduce a discrete, graph theoretic approach to conformal field theory correlators. In a certain basis, called the squid basis, the correlator of N scalar operators can be expressed as the determinant of a natural, conformally covariant metric on a weighted graph, called the squid graph. We present the construction of this metric and discuss its possible role in constraining conformal data.


title: Subgraphormer: Unifying Subgraph GNNs and Graph Transformers via Graph Products

abstract: In the realm of Graph Neural Networks (GNNs), two exciting research directions have recently emerged: Subgraph GNNs and Graph Transformers. In this paper, we propose an architecture that integrates both approaches, dubbed Subgraphormer, which combines the enhanced expressive power, message-passing mechanisms, and aggregation schemes from Subgraph GNNs with attention and positional encodings, arguably the most important components in Graph Transformers. Our method is based on an intriguing new connection we reveal between Subgraph GNNs and product graphs, suggesting that Subgraph GNNs can be formulated as Message Passing Neural Networks (MPNNs) operating on a product of the graph with itself. We use this formulation to design our architecture: first, we devise an attention mechanism based on the connectivity of the product graph. Following this, we propose a novel and efficient positional encoding scheme for Subgraph GNNs, which we derive as a positional encoding for the product graph. Our experimental results demonstrate significant performance improvements over both Subgraph GNNs and Graph Transformers on a wide range of datasets.


title: Moonwalk: Advancing Gait-Based User Recognition on Wearable Devices with Metric Learning

abstract: Personal devices have adopted diverse authentication methods, including biometric recognition and passcodes. In contrast, headphones have limited input mechanisms, depending solely on the authentication of connected devices. We present Moonwalk, a novel method for passive user recognition utilizing the built-in headphone accelerometer. Our approach centers on gait recognition; enabling users to establish their identity simply by walking for a brief interval, despite the sensor's placement away from the feet. We employ self-supervised metric learning to train a model that yields a highly discriminative representation of a user's 3D acceleration, with no retraining required. We tested our method in a study involving 50 participants, achieving an average F1 score of 92.9% and equal error rate of 2.3%. We extend our evaluation by assessing performance under various conditions (e.g. shoe types and surfaces). We discuss the opportunities and challenges these variations introduce and propose new directions for advancing passive authentication for wearable devices.


title: The SRG/eROSITA All-Sky Survey: The first catalog of galaxy clusters and groups in the Western Galactic Hemisphere

abstract: Clusters of galaxies can be used as powerful probes to study astrophysical processes on large scales, test theories of the growth of structure, and constrain cosmological models. The driving science goal of the SRG/eROSITA All-Sky Survey (eRASS) is to assemble a large sample of X-ray-selected clusters with a well-defined selection function to determine the evolution of the mass function and, hence, the cosmological parameters. We present here a catalog of 12247 optically confirmed galaxy groups and clusters detected in the 0.2-2.3 keV as extended X-ray sources in a 13,116deg$^2$ region in the western Galactic hemisphere of the sky, which eROSITA surveyed in its first six months of operation. The clusters in the sample span the redshift range $0.003<z<1.32$. The majority (68%) of these clusters, 8361 sources, represent new discoveries without known counterparts in the literature. The mass range of the sample covers three orders of magnitude from $5\times10^{12}M_{\rm sun}$ to $2\times10^{15}M_{\rm sun}$. We construct a sample for cosmology with a higher purity level (~95%) than the primary sample, comprising 5259 securely detected and confirmed clusters in the 12791deg$^{2}$ common footprint with the DESI Legacy Survey DR10. We characterize the X-ray properties of each cluster, including their flux, luminosity and temperature, the total mass, gas mass, gas mass fraction, and mass proxy $Y_{X}$. These are determined within two apertures, 300 kpc, and the overdensity radius $R_{500}$, and are calculated by applying a forward modeling approach with a rigorous X-ray background treatment, K-factor, and the Galactic absorption corrections. Population studies utilizing LogN-LogS, the number of clusters detected above a given flux limit, and the luminosity function show overall agreement with the previous X-ray surveys after accounting for the survey completeness and purity (ABRIDGED)


title: The First SRG/eROSITA All-Sky Survey: Optical Identification and Properties of Galaxy Clusters and Groups in the Western Galactic Hemisphere

abstract: The first SRG/eROSITA All-Sky Survey (eRASS1) provides the largest intracluster medium-selected galaxy cluster and group catalog covering the western galactic hemisphere. Compared to samples selected purely on X-ray extent, the sample purity can be enhanced by identifying cluster candidates using optical and near-infrared data from the DESI Legacy Imaging Surveys. Using the red-sequence-based cluster finder eROMaPPer, we measure individual photometric properties (redshift $z_\lambda$, richness $\lambda$, optical center, and BCG position) for 12,000 eRASS1 clusters over a sky area of 13,116 deg$^2$, augmented by 247 cases identified by matching the candidates with known clusters from the literature. The median redshift of the identified eRASS1 sample is $z=0.31$, with 10% of the clusters at $z>0.72$. The photometric redshifts have an accuracy of $\delta z/(1+z)<0.005$ for $0.05<z<0.9$. Spectroscopic cluster properties (redshift $z_{\rm spec}$ and velocity dispersion $\sigma$) are measured a posteriori for a subsample of 3,210 and 1,499 eRASS1 clusters, respectively, using an extensive compilation of spectroscopic redshifts of galaxies from the literature. We infer that the primary eRASS1 sample has a purity of 86% and optical completeness >95% for $z>0.05$. For these and further quality assessments of the eRASS1 identified catalog, we apply our identification method to a collection of galaxy cluster catalogs in the literature, as well as blindly on the full Legacy Surveys covering 24,069 deg$^2$. Using a combination of these cluster samples, we investigate the velocity dispersion-richness relation, finding $\log(\lambda)=2.401\times\log(\sigma)-5.074$ with an intrinsic scatter of $0.10\pm0.01$ dex. Our main result is the identified eRASS1 cluster catalog with a high purity and a well-defined X-ray selection process, enabling precise cosmological analyses presented in companion papers.


title: The SRG/eROSITA All-Sky Survey: First catalog of superclusters in the western Galactic hemisphere

abstract: Superclusters of galaxies mark the large-scale overdense regions in the Universe. Superclusters provide an ideal environment to study structure formation and to search for the emission of the intergalactic medium such as cosmic filaments and WHIM. In this work, we present the largest-to-date catalog of X-ray-selected superclusters identified in the first SRG/eROSITA All-Sky Survey (eRASS1). By applying the Friends-of-Friends method on the galaxy clusters detected in eRASS1, we identified 1338 supercluster systems in the western Galactic hemisphere up to redshift 0.8, including 818 cluster pairs and 520 rich superclusters with $\ge 3$ members. The most massive and richest supercluster system is the Shapley supercluster at redshift 0.05 with 45 members and a total mass of $2.58\pm0.51 \times10^{16} M_{\odot}$. The most extensive system has a projected length of 127~Mpc. The sizes of the superclusters we identified in this work are comparable to the structures found with galaxy survey data. We also found a good association between the eRASS1 superclusters and the large-scale structures formed by optical galaxies. 3948 clusters, corresponding to $45\%$ of the cluster sample, were identified as supercluster members. The reliability of each supercluster was estimated by considering the uncertainties in cluster redshifts and peculiar velocities. 63\% of the systems have a reliability larger than 0.7. The eRASS1 supercluster catalog provided in this work represents the most extensive sample of superclusters selected in the X-ray band in terms of the unprecedented sample volume, sky coverage, redshift range, the availability of X-ray properties, and the well-understood selection function of the parent cluster sample, which enables direct comparisons with numerical simulations. This legacy catalog will greatly advance our understanding of superclusters and the cosmic large-scale structure.


title: The SRG/eROSITA All-Sky Survey: Dark Energy Survey Year 3 Weak Gravitational Lensing by eRASS1 selected Galaxy Clusters

abstract: Number counts of galaxy clusters across redshift are a powerful cosmological probe, if a precise and accurate reconstruction of the underlying mass distribution is performed -- a challenge called mass calibration. With the advent of wide and deep photometric surveys, weak gravitational lensing by clusters has become the method of choice to perform this measurement. We measure and validate the weak gravitational lensing (WL) signature in the shape of galaxies observed in the first 3 years of the DES Y3 caused by galaxy clusters selected in the first all-sky survey performed by SRG/eROSITA. These data are then used to determine the scaling between X-ray photon count rate of the clusters and their halo mass and redshift. We empirically determine the degree of cluster member contamination in our background source sample. The individual cluster shear profiles are then analysed with a Bayesian population model that self-consistently accounts for the lens sample selection and contamination, and includes marginalization over a host of instrumental and astrophysical systematics. To quantify the accuracy of the mass extraction of that model, we perform mass measurements on mock cluster catalogs with realistic synthetic shear profiles. This allows us to establish that hydro-dynamical modelling uncertainties at low lens redshifts ($z<0.6$) are the dominant systematic limitation. At high lens redshift the uncertainties of the sources' photometric redshift calibration dominate. With regard to the X-ray count rate to halo mass relation, we constrain all its parameters. This work sets the stage for a joint analysis with the number counts of eRASS1 clusters to constrain a host of cosmological parameters. We demonstrate that WL mass calibration of galaxy clusters can be performed successfully with source galaxies whose calibration was performed primarily for cosmic shear experiments.


title: The SRG/eROSITA All-Sky Survey: Weak-Lensing of eRASS1 Galaxy Clusters in KiDS-1000 and Consistency Checks with DES Y3 & HSC-Y3

abstract: We aim to participate in the calibration of the X-ray photon count rate to halo mass scaling relation of galaxy clusters selected in the first eROSITA All-Sky Survey on the Western Galactic Hemisphere (eRASS1) using KiDS-1000 weak-lensing (WL) data. We measure the radial shear profiles around eRASS1 galaxy clusters using background galaxies in KiDS-1000, as well as the cluster member contamination. Furthermore we provide consistency checks with the other stage-III WL surveys who take part in the eRASS1 mass calibration, DES Y3 and HSC-Y3. We determine the cluster member contamination of eRASS1 clusters present in KiDS-1000 based on source number density profiles, where we account for the obscuration caused by cluster galaxies. The extracted shear profiles, together with the contamination model and the lens sample selection, are then analysed through a Bayesian population model. We calibrate the WL mass bias parameter by analysing realistic synthetic shear profiles from mock cluster catalogues. Our consistency checks between KiDS-1000 and DES Y3 & HSC-Y3 include the comparison of contamination-corrected density contrast profiles employing the union of background sources around common clusters, as well as the individual scaling relation results. We present a global contamination model for eRASS1 clusters in KiDS-1000 and the calibration results of the X-ray photon count rate to halo mass relation. The results of the WL mass bias parameter show that the uncertainty of the multiplicative shear bias dominates the systematic error budget at low clusters redshifts while the uncertainty of our contamination model does at high ones. The cross-checks between the three WL surveys show that they are statistically consistent with each other. This enables for the first time cosmological constraints from clusters calibrated by three state-of-the-art WL surveys. (abridged)


title: The SRG/eROSITA All-Sky Survey: X-ray selection function models for the eRASS1 galaxy cluster cosmology

abstract: Characterising galaxy cluster populations from catalog of sources selected in astronomical surveys requires knowledge of sample incompleteness, known as selection function. The first All-Sky Survey (eRASS1) by eROSITA onboard Spectrum Roentgen Gamma (SRG) has enabled the collection of large samples of galaxy clusters detected in the soft X-ray band over the Western Galactic hemisphere. The driving goal consists in constraining cosmological parameters, which puts stringent requirements on accuracy, flexibility and explainability of the selection function models. We use a large set of mock observations of the eRASS1 survey and we process simulated data identically to the real eRASS1 events. We match detected sources to simulated clusters and we associate detections to intrinsic cluster properties. We train a series of models to build selection functions depending only on observable surface brightness data. We develop a second series of models relying on global cluster characteristics such as X-ray luminosity, flux, and expected instrumental count-rate as well as on morphological properties. We validate our models using our simulations and we rank them according to selected performance metrics. We validate the models with datasets of clusters detected in X-rays and via the Sunyaev-Zeldovich effect. We present the complete Bayesian population modelling framework developed for this purpose. Our results reveal the surface brightness characteristics most relevant to cluster selection in the eRASS1 sample, in particular the ambiguous role of central surface brightness at the scale of the instrument resolution. We have produced a series of user-friendly selection function models and demonstrated their validity and their limitations. Our selection function for bright sources reproduces well the catalog matches with external datasets. (abridged)


title: The SRG/eROSITA All-Sky Survey: Cosmology Constraints from Cluster Abundances in the Western Galactic Hemisphere

abstract: The cluster mass function traces the growth of linear density perturbations and provides valuable insights into the growth of structures, the nature of dark matter, and the cosmological parameters governing the Universe. The primary science goal of eROSITA, on board the {\it Spectrum Roentgen Gamma (SRG)} mission, launched in 2019, is to constrain cosmology through the evolution of cluster mass function. In this paper, we present the cosmological constraints obtained from 5259 clusters of galaxies detected over an area of 12791~deg$^2$ in the Western Galactic Hemisphere of the eROSITA's first All-Sky Survey (eRASS1). The common footprint region between the eROSITA Survey and DES, KiDS, and HSC surveys is used for calibration of the scaling between X-ray count rate and their total mass through measurements of their weak gravitational lensing signal. eRASS1 cluster abundances constrain the $\Lambda$CDM parameters, which are the energy density of the total matter to $\Omega_{\mathrm{m}}=0.29^{+0.01}_{-0.02}$, and the normalization of the density fluctuations to $\sigma_8=0.88\pm0.02$ and their combination yields $S_8=\sigma_8 (\Omega_\mathrm{m} / 0.3)^{0.5}=0.86\pm0.01$, consistent and at a similar precision with the state-of-the-art CMB measurements. eRASS1 cosmological experiment places a most stringent upper limit on the summed masses of left-handed light neutrinos to $\sum m_\nu< 0.22\mathrm{~eV}$ (95\% confidence interval). Combining eRASS1 cluster abundance measurements with CMB and ground-based neutrino oscillation experiments, we measure the summed neutrino masses to be $\sum m_\nu=0.08_{-0.02}^{+0.03}\mathrm{~eV}$ or $\sum m_\nu=0.12_{-0.01}^{+0.03}\mathrm{~eV}$ depending on the mass hierarchy scenario for neutrino eigenstates. eRASS1 cluster abundances significantly improve the constraints on the dark energy equation of state parameter to $w=-1.12\pm0.12$. (ABRIDGED)


title: The SRG-eROSITA All-Sky Survey : Constraints on f(R) Gravity from Cluster Abundance

abstract: The evolution of the cluster mass function traces the growth of the linear density perturbations and can be utilized for constraining the parameters of cosmological and alternative gravity models. In this context, we present new constraints on potential deviations from general relativity by investigating the Hu-Sawicki parametrization of the f(R) gravity with the first SRG-eROSITA All-Sky Survey (eRASS1) cluster catalog in the Western Galactic Hemisphere in combination with the overlapping Dark Energy Survey Year 3, KiloDegree Survey and Hyper Supreme Camera data for weak lensing mass calibration. For the first time, we present constraints obtained from cluster abundances only. When we consider massless neutrinos, we find a strict upper limit of log |fR0| < -4.31 at 95% confidence level. Massive neutrinos suppress structure growth at small scales, and thus have the opposite effect of f(R) gravity. We consequently investigate the joint fit of the mass of the neutrinos with the modified gravity parameter. We obtain log |fR0| < -4.12 jointly with \sum m_\nu < 0.44 e.V. at 95% confidence level, tighter than the limits in the literature utilizing cluster counts only. At log |fR0|= - 6, the number of clusters is not significantly changed by the theory. Consequently, we do not find any statistical deviation from general relativity from the study of eRASS1 cluster abundance. Deeper surveys with eROSITA, increasing the number of detected clusters, will further improve constraints on log |fR0| and investigate alternative gravity theories.


title: The SRG/eROSITA All-Sky Survey: Tracing the Large-Scale Structure with a clustering study of galaxy clusters

abstract: The spatial distribution of galaxy clusters provides a reliable tracer of the large-scale distribution of matter in the Universe. The clustering signal depends on intrinsic cluster properties and cosmological parameters. The ability of eROSITA onboard Spectrum-Roentgen-Gamma (SRG) to discover galaxy clusters allows probing the association of extended X-ray emission to dark matter haloes. We aim to measure the projected two-point correlation function to study the occupation of dark matter halos by clusters and groups detected by the first eROSITA all-sky survey (eRASS1). We create five volume-limited samples probing clusters with different redshift and X-ray luminosity. We interpret the correlation function with halo occupation distribution (HOD) and halo abundance matching (HAM) models. We simultaneously fit cosmological parameters and halo bias of a flux-limited sample of 6493 clusters with purity > 96%. Results. We obtain a detailed view of the halo occupation for eRASS1 clusters. The fainter population at low redshift (S0: LX = 4.63E43 erg/s, 0.1 < z < 0.2) is the least biased compared to dark matter, with b = 2.95 $\pm$ 0.21. The brightest clusters up to higher redshift (S4: LX = 1.77E44 erg/s , 0.1 < z < 0.6) exhibit a higher bias b = 4.34 $\pm$ 0.62. Satellite groups are rare, with a satellite fraction < 14.9% (8.1) for the S0 (S4) sample. We combine the HOD prediction with a HAM procedure to constrain the scaling relation between LX and mass in a new way and find a scatter of 0.36. We obtain cosmological constraints for the physical cold dark matter density 0.12+0.03-0.02 and an average halo bias b = 3.63+1.02-0.85. We model the clustering of galaxy clusters with a HOD approach for the first time, paving the way for future studies combining eROSITA with 4MOST, SDSS, Euclid, Rubin, and DESI to unravel the cluster distribution in the Universe.


title: Average dissipation for stochastic transport equations with L\'evy noise

abstract: We show that, in one spatial and arbitrary jump dimension, the averaged solution of a Marcustype SPDE with pure jump L\'evy transport noise satisfies a dissipative deterministic equation involving a fractional Laplace-type operator. To this end, we identify the correct associated L\'evy measure for the driving noise. We consider this a first step in the direction of a non-local version of enhanced dissipation, a phenomenon recently proven to occur for Brownian transport noise and the associated local parabolic PDE by the first author. Moreover, we present numerical simulations, supporting the fact that dissipation occurs for the averaged solution, with a behavior akin to the diffusion due to a fractional Laplacian, but not in a pathwise sense.


title: Indicators for characterising online hate speech and its automatic detection

abstract: We examined four case studies in the context of hate speech on Twitter in Italian from 2019 to 2020, aiming at comparing the classification of the 3,600 tweets made by expert pedagogists with the automatic classification made by machine learning algorithms. Pedagogists used a novel classification scheme based on seven indicators that characterize hate. These indicators are: the content is public, it affects a target group, it contains hate speech in explicit verbal form, it will not redeem, it has intention to harm, it can have a possible violent response, it incites hatred and violence. The case studies refer to Jews, Muslims, Roma, and immigrants target groups. We find that not all the types of hateful content are equally detectable by the machine learning algorithms that we considered. In particular, algorithms perform better in identifying tweets that incite hatred and violence, and those that can have possible violent response.


title: Two-loop integrals of half-BPS six-point functions on a line

abstract: We evaluated all two-loop conformal integrals of scalar half-BPS six-point functions in $\mathcal{N} = 4$ SYM restricted to a configuration where all points lie on a line. Moreover, we also computed some of these integrals in the kinematical limit where adjacent points become null-separated. Our results can serve as cross-checks for future works which obtain these integrals for general kinematics or by different methods such as integrability.


title: Computationally Predicted Electronic Properties and Energetics of Native Defects in Cubic Boron Nitride

abstract: In this study, we employ a first-principles approach to conduct a comprehensive investigation of the properties of nine common native point defects in cubic boron nitride. This analysis combines standard semi-local and dielectric hybrid density-exchange-correlation functional calculations, encompassing vacancies, interstitials, antisites, and their complexes. Our findings elucidate the influence of these defects on the structural and electronic characteristics of cubic boron nitride, such as local structures, formation energy, magnetism, and the energies of defect states within the band gap. Notably, we accurately simulate the photoluminescent spectra of cubic boron nitride induced by these defects, demonstrating excellent agreement with experimental observations. This outcome indicates that the prominent peaks in the photoluminescent spectrum at 2.5 and 2.8 eV can be attributed to the nitrogen to boron antisite (N$_{\rm B}$) and boron interstitial (B$_{\rm i}$) defects, respectively. Additionally, we investigate the energetic stability of defects under various charge states, providing valuable references for benchmarking purposes.


title: Solving Free Boundary Problems in Alloy Solidification under Universal Cooling Conditions

abstract: The kinetics of interfaces in alloy solidification pose a classic free boundary problem. This paper introduces an approach that amalgamates the distinctive characteristics of sharp and diffuse interface models. The motion of the diffuse interface is governed by the phase-field equation featuring a traveling wave function [I. Steinbach, Modell. Simul. Mater. Sci. Eng. 17(7), 073001 (2009)]. To emulate solute rejection in the sharp interface model, the concept of the middle-obstacle and the casting operation are employed. Moreover, the undercooling along the interface normal is flattened to minimize the impact of bulk undercooling in the interface and the associated effects, such as stretching and arc-length diffusion. Notably, the results for interface kinetics under both equilibrium and non-equilibrium conditions closely approximate their analytical solutions, all achieved with artificially wide interfaces and comparatively low computational cost.


title: Taking Training Seriously: Human Guidance and Management-Based Regulation of Artificial Intelligence

abstract: Fervent calls for more robust governance of the harms associated with artificial intelligence (AI) are leading to the adoption around the world of what regulatory scholars have called a management-based approach to regulation. Recent initiatives in the United States and Europe, as well as the adoption of major self-regulatory standards by the International Organization for Standardization, share in common a core management-based paradigm. These management-based initiatives seek to motivate an increase in human oversight of how AI tools are trained and developed. Refinements and systematization of human-guided training techniques will thus be needed to fit within this emerging era of management-based regulatory paradigm. If taken seriously, human-guided training can alleviate some of the technical and ethical pressures on AI, boosting AI performance with human intuition as well as better addressing the needs for fairness and effective explainability. In this paper, we discuss the connection between the emerging management-based regulatory frameworks governing AI and the need for human oversight during training. We broadly cover some of the technical components involved in human-guided training and then argue that the kinds of high-stakes use cases for AI that appear of most concern to regulators should lean more on human-guided training than on data-only training. We hope to foster a discussion between legal scholars and computer scientists involving how to govern a domain of technology that is vast, heterogenous, and dynamic in its applications and risks.


title: Lying Blindly: Bypassing ChatGPT's Safeguards to Generate Hard-to-Detect Disinformation Claims at Scale

abstract: As Large Language Models (LLMs) become more proficient, their misuse in large-scale viral disinformation campaigns is a growing concern. This study explores the capability of ChatGPT to generate unconditioned claims about the war in Ukraine, an event beyond its knowledge cutoff, and evaluates whether such claims can be differentiated by human readers and automated tools from human-written ones. We compare war-related claims from ClaimReview, authored by IFCN-registered fact-checkers, and similar short-form content generated by ChatGPT. We demonstrate that ChatGPT can produce realistic, target-specific disinformation cheaply, fast, and at scale, and that these claims cannot be reliably distinguished by humans or existing automated tools.


title: ROSpace: Intrusion Detection Dataset for a ROS2-Based Cyber-Physical System

abstract: Most of the intrusion detection datasets to research machine learning-based intrusion detection systems (IDSs) are devoted to cyber-only systems, and they typically collect data from one architectural layer. Additionally, often the attacks are generated in dedicated attack sessions, without reproducing the realistic alternation and overlap of normal and attack actions. We present a dataset for intrusion detection by performing penetration testing on an embedded cyber-physical system built over Robot Operating System 2 (ROS2). Features are monitored from three architectural layers: the Linux operating system, the network, and the ROS2 services. The dataset is structured as a time series and describes the expected behavior of the system and its response to ROS2-specific attacks: it repeatedly alternates periods of attack-free operation with periods when a specific attack is being performed. Noteworthy, this allows measuring the time to detect an attacker and the number of malicious activities performed before detection. Also, it allows training an intrusion detector to minimize both, by taking advantage of the numerous alternating periods of normal and attack operations.


title: Shadows of rotating hairy Kerr black holes coupled to time periodic scalar fields with non-flat target space

abstract: We study the shadows cast by rotating hairy black holes with two non-trivial time-periodic scalar fields having a non-flat Gaussian curvature of the target space spanned by the scalar fields. Such black holes are a viable alternative to the Kerr black hole, having a much more complicated geodesic structure and resulting shadows. We investigate how a nontrivial Gauss curvature alters the pictures for different amounts of scalar hair around the black holes, quantified by a normalized charge. Our results show that for high values of this charge, close to a boson star limit, chaotic shadows are observed with multiple small disconnected components for all considered Gaussian curvatures. For moderately large amounts of scalar hair and corresponding normalized charge, although the shadows still exhibit chaotic behavior, a dominant shadow component emerges, the size and shape of which are substantially influenced by the Gaussian curvature. For instance, highly chaotic shadows for flat target space, start developing a large central shadow region with the increase of the Gauss curvature even for black holes with substantially heavy scalar hair. For lower values of the normalized charge, the shadows resemble qualitatively the Kerr black hole while the Gaussian curvature has a small impact on their properties.


title: Parallel-friendly Spatio-Temporal Graph Learning for Photovoltaic Degradation Analysis at Scale

abstract: We propose a novel Spatio-Temporal Graph Neural Network empowered trend analysis approach (ST-GTrend) to perform fleet-level performance degradation analysis for Photovoltaic (PV) power networks. PV power stations have become an integral component to the global sustainable energy production landscape. Accurately estimating the performance of PV systems is critical to their feasibility as a power generation technology and as a financial asset. One of the most challenging problems in assessing the Levelized Cost of Energy (LCOE) of a PV system is to understand and estimate the long-term Performance Loss Rate (PLR) for large fleets of PV inverters. ST-GTrend integrates spatio-temporal coherence and graph attention to separate PLR as a long-term "aging" trend from multiple fluctuation terms in the PV input data. To cope with diverse degradation patterns in timeseries, ST-GTrend adopts a paralleled graph autoencoder array to extract aging and fluctuation terms simultaneously. ST-GTrend imposes flatness and smoothness regularization to ensure the disentanglement between aging and fluctuation. To scale the analysis to large PV systems, we also introduce Para-GTrend, a parallel algorithm to accelerate the training and inference of ST-GTrend. We have evaluated ST-GTrend on three large-scale PV datasets, spanning a time period of 10 years. Our results show that ST-GTrend reduces Mean Absolute Percent Error (MAPE) and Euclidean Distances by 34.74% and 33.66% compared to the SOTA methods. Our results demonstrate that Para-GTrend can speed up ST-GTrend by up to 7.92 times. We further verify the generality and effectiveness of ST-GTrend for trend analysis using financial and economic datasets.


title: Holographic Turbulence From a Random Gravitational Potential

abstract: We study the turbulent dynamics of a relativistic (2 + 1)-dimensional fluid placed in a stochastic gravitational potential. We demonstrate that the dynamics of the fluid can be obtained using a dual holographic description realized by an asymptotically Anti-de Sitter black brane driven by a random boundary metric. Using the holographic duality we study the inverse cascade energy power spectrum of the fluid and show that it is compatible with that of a compressible fluid flow. We calculate the local energy dissipation and the local fluid velocity distribution which provide other measures of the holographic fluid turbulence.


title: Large Language Models for the Automated Analysis of Optimization Algorithms

abstract: The ability of Large Language Models (LLMs) to generate high-quality text and code has fuelled their rise in popularity. In this paper, we aim to demonstrate the potential of LLMs within the realm of optimization algorithms by integrating them into STNWeb. This is a web-based tool for the generation of Search Trajectory Networks (STNs), which are visualizations of optimization algorithm behavior. Although visualizations produced by STNWeb can be very informative for algorithm designers, they often require a certain level of prior knowledge to be interpreted. In an attempt to bridge this knowledge gap, we have incorporated LLMs, specifically GPT-4, into STNWeb to produce extensive written reports, complemented by automatically generated plots, thereby enhancing the user experience and reducing the barriers to the adoption of this tool by the research community. Moreover, our approach can be expanded to other tools from the optimization community, showcasing the versatility and potential of LLMs in this field.


title: Intriguing Differences Between Zero-Shot and Systematic Evaluations of Vision-Language Transformer Models

abstract: Transformer-based models have dominated natural language processing and other areas in the last few years due to their superior (zero-shot) performance on benchmark datasets. However, these models are poorly understood due to their complexity and size. While probing-based methods are widely used to understand specific properties, the structures of the representation space are not systematically characterized; consequently, it is unclear how such models generalize and overgeneralize to new inputs beyond datasets. In this paper, based on a new gradient descent optimization method, we are able to explore the embedding space of a commonly used vision-language model. Using the Imagenette dataset, we show that while the model achieves over 99\% zero-shot classification performance, it fails systematic evaluations completely. Using a linear approximation, we provide a framework to explain the striking differences. We have also obtained similar results using a different model to support that our results are applicable to other transformer models with continuous inputs. We also propose a robust way to detect the modified images.


title: P\'olya-type estimates for the first Robin eigenvalue of elliptic operators

abstract: The aim of this paper is to obtain optimal estimates for the first Robin eigenvalue of the anisotropic $p$-Laplace operator, namely: \[ \lambda_F(\beta,\Omega)=\lambda_{F}(p,\beta,\Omega)= \min_{\psi\in W^{1,p}(\Omega)\setminus\{0\} } \frac{\int_\Omega F(\nabla \psi)^p dx +\beta\int_{\partial\Omega}|\psi|^p F(\nu_{\Omega}) d\mathcal H^{N-1} }{\int_\Omega|\psi|^p dx} \] where $p\in]1,+\infty[$, $\Omega$ is a bounded, convex domain in $\mathbb R^{N}$, $\nu_{\Omega}$ is its Euclidean outward normal, $\beta$ is a real number, and $F$ is a sufficiently smooth norm on $\mathbb R^{N}$. We show an upper bound for $\lambda_{F}(\beta,\Omega)$ in terms of the first eigenvalue of a one-dimensional nonlinear problem, which depends on $\beta$ and on the volume and the anisotropic perimeter of $\Omega$, in the spirit of the classical estimates of P\'olya \cite{po61} for the Euclidean Dirichlet Laplacian. We will also provide a lower bound for the torsional rigidity \[ \tau_p(\beta,\Omega)^{p-1} = \max_{\substack{\psi\in W^{1,p}(\Omega)\setminus\{0\}}} \dfrac{\left(\int_\Omega |\psi| \, dx\right)^p}{\int_\Omega F(\nabla\psi)^p dx+\beta \int_{\partial\Omega}|\psi|^p F(\nu_{\Omega}) d\mathcal H^{N-1} }, \] when $\beta>0$. The obtained results are new also in the case of the classical Euclidean Laplacian.


title: HQNET: Harnessing Quantum Noise for Effective Training of Quantum Neural Networks in NISQ Era

abstract: This paper delves into the intricate dynamics of quantum noise and its influence on the onset and mitigation of barren plateaus (BPs) - a phenomenon that critically impedes the scalability of QNNs. We find that BPs appear earlier in noisy quantum environments compared to ideal, noise-free conditions.However, strategic selection of qubit measurement observables can effectively tackle this issue. To this end, we examine a variety of observables, such as PauliZ,PauliX, PauliY, and a specially designed arbitrary Hermitian observable, tailored to the requirements of the cost function and the desired outputs of quantum circuits. Our analysis encompasses both global and local cost function definitions, with the former involving measurements across all qubits and the latter focusing on single-qubit measurements within the QNN framework. Our findings indicate that in a global cost function scenario, PauliX and PauliY observables lead to flatter optimization landscapes, signaling BPs with increasing qubits, especially in noisy conditions. Conversely, the PauliZ observable maintains trainability up to 8 qubits but encounters BPs at 10 qubits. Notably, the arbitrary Hermitian observable, when used with a global cost function, shows a unique advantage as it benefits from noise, facilitating effective training up to 10 qubits. Furthermore, with a local cost function, out of the three conventional observables (PauliX, PauliY and PauliZ), PauliZ is more effective, sustaining training efficiency under noisy conditions for up to 10 qubits, while PauliX and PauliY do not show similar benefits and remain susceptible to BPs. Our results highlight the importance of noise consideration in QNN training and propose a strategic approach to observable selection to improve QNN performance in noisy quantum computing environments thus contributing to the advancement of quantum machine learning research.


title: Risk-neutral limit of adaptive importance sampling of random stopping times

abstract: We discuss importance sampling of exit problems that involve unbounded stopping times; examples are mean first passage times, transition rates or committor probabilities in molecular dynamics. The naive application of variance minimization techniques can lead to pathologies here, including proposal measures that are not absolutely continuous to the reference measure or importance sampling estimators that formally have zero variance, but that produce infinitely long trajectories. We illustrate these issues with simple examples and discuss a possible solution that is based on a risk-sensitive optimal control framework of importance sampling.


title: Closures of Harmonic Bergman Besov Spaces in the Weighted Harmonic Bloch Spaces on the Unit Ball

abstract: In this paper, via invertible radial differential operators, we characterize the closures of the harmonic Bergman Besov Spaces in the weighted harmonic Bloch spaces on the unit ball of Rn in terms of natural level sets. To this end, we first show that the harmonic Bergman Besov space is contained in the weighted harmonic little Bloch space.


title: A precise bare simulation approach to the minimization of some distances. II. Further Foundations

abstract: The constrained minimization (respectively maximization) of directed distances and of related generalized entropies is a fundamental task in information theory as well as in the adjacent fields of statistics, machine learning, artificial intelligence, signal processing and pattern recognition. In our previous paper "A precise bare simulation approach to the minimization of some distances. I. Foundations", we obtained such kind of constrained optima by a new dimension-free precise bare (pure) simulation method, provided basically that (i) the underlying directed distance is of f-divergence type, and that (ii) this can be connected to a light-tailed probability distribution in a certain manner. In the present paper, we extend this approach such that constrained optimization problems of a very huge amount of directed distances and generalized entropies -- and beyond -- can be tackled by a newly developed dimension-free extended bare simulation method, for obtaining both optima as well as optimizers. Almost no assumptions (like convexity) on the set of constraints are needed, within our discrete setup of arbitrary dimension, and our method is precise (i.e., converges in the limit). For instance, we cover constrained optimizations of arbitrary f-divergences, Bregman distances, scaled Bregman distances and weighted Euclidean distances. The potential for wide-spread applicability is indicated, too; in particular, we deliver many recent references for uses of the involved distances/divergences in various different research fields (which may also serve as an interdisciplinary interface).


title: Plausible Extractive Rationalization through Semi-Supervised Entailment Signal

abstract: The increasing use of complex and opaque black box models requires the adoption of interpretable measures, one such option is extractive rationalizing models, which serve as a more interpretable alternative. These models, also known as Explain-Then-Predict models, employ an explainer model to extract rationales and subsequently condition the predictor with the extracted information. Their primary objective is to provide precise and faithful explanations, represented by the extracted rationales. In this paper, we take a semi-supervised approach to optimize for the plausibility of extracted rationales. We adopt a pre-trained natural language inference (NLI) model and further fine-tune it on a small set of supervised rationales ($10\%$). The NLI predictor is leveraged as a source of supervisory signals to the explainer via entailment alignment. We show that, by enforcing the alignment agreement between the explanation and answer in a question-answering task, the performance can be improved without access to ground truth labels. We evaluate our approach on the ERASER dataset and show that our approach achieves comparable results with supervised extractive models and outperforms unsupervised approaches by $> 100\%$.


title: Revealing Decurve Flows for Generalized Graph Propagation

abstract: This study addresses the limitations of the traditional analysis of message-passing, central to graph learning, by defining {\em \textbf{generalized propagation}} with directed and weighted graphs. The significance manifest in two ways. \textbf{Firstly}, we propose {\em Generalized Propagation Neural Networks} (\textbf{GPNNs}), a framework that unifies most propagation-based graph neural networks. By generating directed-weighted propagation graphs with adjacency function and connectivity function, GPNNs offer enhanced insights into attention mechanisms across various graph models. We delve into the trade-offs within the design space with empirical experiments and emphasize the crucial role of the adjacency function for model expressivity via theoretical analysis. \textbf{Secondly}, we propose the {\em Continuous Unified Ricci Curvature} (\textbf{CURC}), an extension of celebrated {\em Ollivier-Ricci Curvature} for directed and weighted graphs. Theoretically, we demonstrate that CURC possesses continuity, scale invariance, and a lower bound connection with the Dirichlet isoperimetric constant validating bottleneck analysis for GPNNs. We include a preliminary exploration of learned propagation patterns in datasets, a first in the field. We observe an intriguing ``{\em \textbf{decurve flow}}'' - a curvature reduction during training for models with learnable propagation, revealing the evolution of propagation over time and a deeper connection to over-smoothing and bottleneck trade-off.


title: Migration to Microservices: A Comparative Study of Decomposition Strategies and Analysis Metrics

abstract: The microservices architectural style is widely favored for its scalability, reusability, and easy maintainability, prompting increased adoption by developers. However, transitioning from a monolithic to a microservices-based architecture is intricate and costly. In response, we present a novel method utilizing clustering to identify potential microservices in a given monolithic application. Our approach employs a density-based clustering algorithm considering static analysis, structural, and semantic relationships between classes, ensuring a functionally and contextually coherent partitioning. To assess the reliability of our microservice suggestion approach, we conducted an in-depth analysis of hyperparameter sensitivity and compared it with two established clustering algorithms. A comprehensive comparative analysis involved seven applications, evaluating against six baselines, utilizing a dataset of four open-source Java projects. Metrics assessed the quality of generated microservices. Furthermore, we meticulously compared our suggested microservices with manually identified ones in three microservices-based applications. This comparison provided a nuanced understanding of our approach's efficacy and reliability. Our methodology demonstrated promising outcomes, showcasing remarkable effectiveness and commendable stability.


title: A Note on the Uniform Ergodicity of Dynamical Systems

abstract: We study the uniform ergodicity property for non-invertible topological and measure-preserving dynamical systems. It is shown that for topological dynamical systems uniform ergodicity is equivalent to eventually periodicity and that for measure preserving systems it is equivalent to periodicity. To obtain our results, we prove a result on the long-term behavior of lattice homomorphisms that have $1$ isolated in its spectrum.


title: High Resolution Imaging Spectroscopy of a Tiny Sigmoidal Mini-filament Eruption

abstract: Minifilament (MF) eruption producing small jets and micro-flares is regarded as an important source for coronal heating and the solar wind transients through studies mostly based on coronal observations in the extreme ultraviolet (EUV) and X-ray wavelengths. In this study, we focus on the chromospheric plasma diagnostics of a tiny minifilament in quiet Sun located at [71'', 450''] on 2021--08--07 at 19:11 UT observed as part of the ninth encounter of the PSP campaign. Main data obtained are the high cadence, high resolution spectroscopy from the Fast Imaging Solar Spectrograph (FISS) and high-resolution magnetograms from the Near InfraRed Imaging Spectropolarimeter (NIRIS) on the 1.6~m Goode Solar Telescope (GST) at Big Bear Solar Observatory (BBSO). The mini-filament with size $\sim$1''$\times$5'' and a micro-flare are detected in both the H$\alpha$ line center and SDO/AIA 193, 304~\AA\ images. On the NIRIS magnetogram, we found that the cancellation of a magnetic bipole in the footpoints of the minifilament triggered its eruption in a sigmoidal shape. By inversion of the \ha\ and Ca {\sc ii} spectra under the embedded cloud model, we found a temperature increase of 3,800 K in the brightening region, associated with rising speed average of MF increased by 18~$km~s^{-1}$. This cool plasma is also found in the EUV images. We estimate the kinetic energy change of the rising filament as 1.5$\times$$10^{25}$~ergs, and thermal energy accumulation in the MF, 1.4$\times$$10^{25}$~ergs. From the photospheric magnetograms, we find the magnetic energy change is 1.6$\times$$10^{26}$~ergs across the PIL of converging opposite magnetic elements, which amounts to the energy release in the chromosphere in this smallest two-ribbon flare ever observed.


title: The Computational Complexity of the Housing Market

abstract: We prove that the classic problem of finding a competitive equilibrium in an exchange economy with indivisible goods, money, and unit-demand agents is PPAD-complete. In this "housing market", agents have preferences over the house and amount of money they end up with, but can experience income effects. Our results contrast with the existence of polynomial-time algorithms for related problems: Top Trading Cycles for the "housing exchange" problem in which there are no transfers and the Hungarian algorithm for the "housing assignment" problem in which agents' utilities are linear in money. Along the way, we prove that the Rainbow-KKM problem, a total search problem based on a generalization by Gale of the Knaster-Kuratowski-Mazurkiewicz lemma, is PPAD-complete. Our reductions also imply bounds on the query complexity of finding competitive equilibrium.


title: On a Ramanujan-type series associated with the Heegner number 163

abstract: Using the Wolfram NumberTheory package and the Recognize command, together with numerical estimates involving the elliptic lambda and elliptic alpha functions, Bagis and Glasser, in 2013, introduced a conjectural Ramanujan-type series related to the class number $h(-d) = 1$ for a quadratic form with discriminant $d = 163$. This conjectured series is of level one and has positive terms, and recalls the Chudnovsky brothers' alternating series of the same level, given the connection between the Chudnovsky-Chudnovsky formula and the Heegner number $d = 163$ such that $\mathbb{Q}\left( \sqrt{-d} \right)$ has class number one. We prove Bagis and Glasser's conjecture by proving evaluations for $\lambda^{\ast}(163)$ and $\alpha(163)$, which we derive using the Chudnovsky brothers' formula together with the analytic continuation of a formula due to the Borwein brothers for Ramanujan-type series of level one. As a byproduct of our method, we obtain an infinite family of Ramanujan-type series for $\frac{1}{\pi}$ generalizing the Chudnovsky algorithm.