title: Nonequilbrium physics of generative diffusion models

abstract: Generative diffusion models apply the concept of Langevin dynamics in physics to machine leaning, attracting a lot of interest from industrial application, but a complete picture about inherent mechanisms is still lacking. In this paper, we provide a transparent physics analysis of the diffusion models, deriving the fluctuation theorem, entropy production, Franz-Parisi potential to understand the intrinsic phase transitions discovered recently. Our analysis is rooted in non-equlibrium physics and concepts from equilibrium physics, i.e., treating both forward and backward dynamics as a Langevin dynamics, and treating the reverse diffusion generative process as a statistical inference, where the time-dependent state variables serve as quenched disorder studied in spin glass theory. This unified principle is expected to guide machine learning practitioners to design better algorithms and theoretical physicists to link the machine learning to non-equilibrium thermodynamics.


title: Some remarks on smooth projective varieties of small degree and codimension

abstract: The purpose of this note is twofold. First, we give a quick proof of Ballico-Chiantini's theorem stating that a Fano or Calabi-Yau variety of dimension at least 4 in codimension two is a complete intersection. Second, we improve Barth-Van de Ven's result asserting that if the degree of a smooth projective variety of dimension $n$ is less than approximately $0.63 \cdot n^{1/2}$, then it is a complete intersection. We show that the degree bound can be improved to approximately $0.79 \cdot n^{2/3}$.


title: Elucidating the role of electron transfer in the photoluminescence of $\mathrm{MoS_{2}}$ quantum dots synthesized by fs-pulse ablation

abstract: Herein, $\mathrm{MoS_{2}}$ quantum dot (QDs) with controlled optical, structural, and electronic properties are synthesized using the femtosecond pulsed laser ablation in liquid (fs-PLAL) technique by varying pulse-width, ablation power, and ablation time to harness the potential for next-generation optoelectronics and quantum technology. Furthermore, this work elucidates key aspects of the mechanisms underlying the near-UV and blue emission, the accompanying large Stokes-shift, and the consequent change in sample color with laser exposure parameters pertaining to $\mathrm{MoS_{2}}$ QDs. Through spectroscopic analysis, including UV-visible absorption, photoluminescence, and Raman spectroscopy, we successfully unravelled the mechanisms for the change in optoelectronic properties of $\mathrm{MoS_{2}}$ QDs with laser parameters. We realize that the occurrence of a secondary phase, specifically $\mathrm{MoO_{3-x}}$, is responsible for the significant Stokes-shift and blue emission observed in this QDs system. The primary factor influencing these activities is the electron transfer observed between these two phases, as validated by excitation dependent photoluminescence, XPS and Raman spectroscopies.


title: A Flat Dual-Polarized Millimeter-Wave Luneburg Lens Antenna Using Transformation Optics with Reduced Anisotropy and Impedance Mismatch

abstract: In this paper, a compact wideband dual-polarized Luneburg lens antenna (LLA) with reduced anisotropy and improved impedance matching is proposed in Ka band with a wide 2D beamscanning capability. Based on transformation optics, the spherical Luneburg lens is compressed into a cylindrical one, while the merits of high gain, broad band, wide scanning, and free polarization are preserved. A trigonometric function is employed to the material property of the flattened Luneburg lens with reduced anisotropy, thus effectively alleviates the strong reflection, the high sidelobes and back radiation with a free cost on the antenna weight and volume. Furthermore, a light thin wideband 7-by-1 metasurface phased array is studied as the primary feed for the LLA. The proposed metantenna, shorted for metamaterial-based antenna, has a high potential for B5G, future wireless communication and radar sensing as an onboard system.

categories: eess.SY cs.SY physics.app-ph physics.optics


title: UAV-VisLoc: A Large-scale Dataset for UAV Visual Localization

abstract: The application of unmanned aerial vehicles (UAV) has been widely extended recently. It is crucial to ensure accurate latitude and longitude coordinates for UAVs, especially when the global navigation satellite systems (GNSS) are disrupted and unreliable. Existing visual localization methods achieve autonomous visual localization without error accumulation by matching the ground-down view image of UAV with the ortho satellite maps. However, collecting UAV ground-down view images across diverse locations is costly, leading to a scarcity of large-scale datasets for real-world scenarios. Existing datasets for UAV visual localization are often limited to small geographic areas or are focused only on urban regions with distinct textures. To address this, we define the UAV visual localization task by determining the UAV's real position coordinates on a large-scale satellite map based on the captured ground-down view. In this paper, we present a large-scale dataset, UAV-VisLoc, to facilitate the UAV visual localization task. This dataset comprises images from diverse drones across 11 locations in China, capturing a range of topographical features. The dataset features images from fixed-wing drones and multi-terrain drones, captured at different altitudes and orientations. Our dataset includes 6,742 drone images and 11 satellite maps, with metadata such as latitude, longitude, altitude, and capture date. Our dataset is tailored to support both the training and testing of models by providing a diverse and extensive data.


title: Chasing COMET: Leveraging Minimum Bayes Risk Decoding for Self-Improving Machine Translation

abstract: This paper explores Minimum Bayes Risk (MBR) decoding for self-improvement in machine translation (MT), particularly for domain adaptation and low-resource languages. We implement the self-improvement process by fine-tuning the model on its MBR-decoded forward translations. By employing COMET as the MBR utility metric, we aim to achieve the reranking of translations that better aligns with human preferences. The paper explores the iterative application of this approach and the potential need for language-specific MBR utility metrics. The results demonstrate significant enhancements in translation quality for all examined language pairs, including successful application to domain-adapted models and generalisation to low-resource settings. This highlights the potential of COMET-guided MBR for efficient MT self-improvement in various scenarios.


title: Convergence of the area functional on spaces with lower Ricci bounds and applications

abstract: The goal of this note is to prove convergence results w.r.t. the area functional on metric measure spaces with a lower Ricci curvature bound. The paper can be divided in two parts. In the first part, we show that the heat flow provides good approximation properties for the area functional on $RCD(K,\infty)$ spaces, implying that in this setting the area formula for functions of bounded variation holds and that the area functional coincides with its relaxation. Moreover, we obtain partial regularity and uniqueness results for functions whose epigraphs are perimeter minimizing. In the second part of the paper, we consider Ricci limit spaces (and also finite dimensional $RCD(K,N)$ spaces for some results) and we show that, thanks to the previously obtained properties, minimizers of the area functional can be approximated with minimizers along the converging sequence of manifolds. As a first application, we show that minimizers of the area functional on non-collapsed Ricci limit spaces are locally Lipschitz and satisfy a-priori gradient estimates. Secondly, we obtain a Bernstein-type result for area minimizers with sublinear growth at infinity.


title: Optimal balanced-norm error estimate of the LDG method for reaction-diffusion problems II: the two-dimensional case with layer-upwind flux

abstract: A singularly perturbed reaction-diffusion problem posed on the unit square in $\mathbb{R}^2$ is solved numerically by a local discontinuous Galerkin (LDG) finite element method. Typical solutions of this class of problem exhibit boundary layers along the sides of the domain; these layers generally cause difficulties for numerical methods. Our LDG method handles the boundary layers by using a Shishkin mesh and also introducing the new concept of a ``layer-upwind flux" -- a discrete flux whose values are chosen on the fine mesh (which lies inside the boundary layers) in the direction where the layer weakens. On the coarse mesh, one can use a standard central flux. No penalty terms are needed with these fluxes, unlike many other variants of the LDG method. Our choice of discrete flux makes it feasible to derive an optimal-order error analysis in a balanced norm; this norm is stronger than the usual energy norm and is a more appropriate measure for errors in computed solutions for singularly perturbed reaction-diffusion problems. It will be proved that the LDG method is usually convergent of order $O((N^{-1}\ln N)^{k+1})$ in the balanced norm, where $N$ is the number of mesh intervals in each coordinate direction and tensor-product piecewise polynomials of degree~$k$ in each coordinate variable are used in the LDG method. This result is the first of its kind for the LDG method applied to this class of problem and is optimal for convergence on a Shishkin mesh. Its sharpness is confirmed by numerical experiments.


title: On the equivalence of two spinodal decomposition criteria with a case study of Fe${}_{15}$Co${}_{15}$Ni${}_{35}$Cu${}_{35}$ multicomponent alloy

abstract: Spinodal decomposition in multicomponent alloys has attracted increasing attention due to its beneficial effect on their mechanical and functional properties and potential applications. Both based on the Cahn-Hillard equation, the reference element method (REM) and the projection matrix method (PMM) are the two main methods to predict the occurrence of spinodal decomposition in multicomponent alloys. In this work, it is mathematically proven that the two methods are equivalent, and therefore the advanced results based on one method can be applied to the other. Based on these methods, the $Fe{}_{15}$Co${}_{15}$Ni${}_{35}$Cu${}_{35}$ multicomponent alloy is designed as a case study. Experimental results confirm the spinodal decomposition in the heat-treated alloy, and its strength and ductility are simultaneously enhanced. This work can be the pavement for further theoretical and experimental studies on the spinodal decomposition in multicomponent alloys.


title: Biomedical Entity Linking for Dutch: Fine-tuning a Self-alignment BERT Model on an Automatically Generated Wikipedia Corpus

abstract: Biomedical entity linking, a main component in automatic information extraction from health-related texts, plays a pivotal role in connecting textual entities (such as diseases, drugs and body parts mentioned by patients) to their corresponding concepts in a structured biomedical knowledge base. The task remains challenging despite recent developments in natural language processing. This paper presents the first evaluated biomedical entity linking model for the Dutch language. We use MedRoBERTa.nl as base model and perform second-phase pretraining through self-alignment on a Dutch biomedical ontology extracted from the UMLS and Dutch SNOMED. We derive a corpus from Wikipedia of ontology-linked Dutch biomedical entities in context and fine-tune our model on this dataset. We evaluate our model on the Dutch portion of the Mantra GSC-corpus and achieve 54.7% classification accuracy and 69.8% 1-distance accuracy. We then perform a case study on a collection of unlabeled, patient-support forum data and show that our model is hampered by the limited quality of the preceding entity recognition step. Manual evaluation of small sample indicates that of the correctly extracted entities, around 65% is linked to the correct concept in the ontology. Our results indicate that biomedical entity linking in a language other than English remains challenging, but our Dutch model can be used to for high-level analysis of patient-generated text.


title: FAME-MT Dataset: Formality Awareness Made Easy for Machine Translation Purposes

abstract: People use language for various purposes. Apart from sharing information, individuals may use it to express emotions or to show respect for another person. In this paper, we focus on the formality level of machine-generated translations and present FAME-MT -- a dataset consisting of 11.2 million translations between 15 European source languages and 8 European target languages classified to formal and informal classes according to target sentence formality. This dataset can be used to fine-tune machine translation models to ensure a given formality level for each European target language considered. We describe the dataset creation procedure, the analysis of the dataset's quality showing that FAME-MT is a reliable source of language register information, and we present a publicly available proof-of-concept machine translation model that uses the dataset to steer the formality level of the translation. Currently, it is the largest dataset of formality annotations, with examples expressed in 112 European language pairs. The dataset is published online: https://github.com/laniqo-public/fame-mt/ .


title: Chow ring of the stack of plane nodal curves

abstract: We compute the Chow ring of the moduli stack of planar nodal curves of fixed degree and express it in terms of tautological classes. Along the way, we extend Vial's results on Chow groups of Brauer-Severi varieties to $G$-equivariant settings.


title: Filtration of tensor product of local Weyl modules for $\mathfrak{sl}_{n+1}[t]$

abstract: In this paper, we consider the tensor product of local Weyl modules for $\mathfrak{sl}_{n+1}[t]$ whose highest weights are multiples of the first and $n^{th}$ fundamental weights. We determine the graded character of these tensor product modules in terms of the graded character of local Weyl modules and prove that these modules admit a filtration whose successive quotients are either truncated Weyl modules or fusion products of Demazure modules. Furthermore, we establish that the truncated Weyl modules appearing as quotients in the filtration of tensor products of local Weyl modules of $\mathfrak{sl}_3[t]$ are indeed isomorphic to fusion products of irreducible $\mathfrak{sl}_3[t]$-modules which establish the independence of a family of fusion product modules of $\mathfrak{sl}_3[t]$ from the set of its evaluation parameters.


title: The global structure of astrospheres: effect of Knudsen number

abstract: The interaction between stellar winds and the partially ionized local interstellar medium (LISM) is quite common in astrophysics. However, the main difficulty in describing the neutral components lies in the fact that the mean free path of an interstellar atom, l, can be comparable to the characteristic size of an astrosphere, L (i.e., the Knudsen number, which is equal to l/L, is approximately equal to 1, as in the case of the heliosphere). In such cases, a single-fluid approximation becomes invalid, and a kinetic description must be used for the neutral component. In this study, we consider a general astrosphere and use a kinetic-gas dynamics model to investigate how the global structure of the astrosphere depends on the Knudsen number. We present numerical results covering an extremely wide range of Knudsen numbers (from 0.0001 to 100). Additionally, we explore the applicability of single-fluid approaches for modeling astrospheres of various sizes. We have excluded the influence of interstellar and stellar magnetic fields in our model to make parametric study of the kinetic effects feasible. The main conclusion of this work is that, for large astrospheres (with a distance to the bow shock greater than 600 AU) a heated rarefied plasma layer forms in the outer shock layer near the astropause. The formation of this layer is linked to localized heating of the plasma by atoms (specifically, ENAs) that undergo charge exchange again behind the astropause. This process significantly alters the flow structure in the outer shock layer and the location of the bow shock, and it cannot be described by a single-fluid model. Additionally, this paper discusses how atoms weaken the bow shocks at near-heliospheric conditions.


title: The e positivity of some new classes of graphs

abstract: We introduce two classes of graphs - suns and dumbbells, both with few variations and explore their chromatic symmetric function and its $e$-positivity. We also give many connections of these two classes with other classes of connected graphs.


title: The extremal values of the ratio of differences of power mean, arithmetic mean, and geometric mean

abstract: In the paper the maximum and the minimum of the ratio of the difference of the arithmetic mean and the geometric mean, and the difference of the power mean and the geometric mean of $n$ variables, is studied. A new optimization argument was used which reduces $n$ variable optimization problem to a single variable. All possible cases of the choice of the power mean and the choice of the number of variables of the means is studied. The obtained results generalize and complete the earlier results which were either for specific intervals of power means or for small number of variables of the means. Some of the results are formulated as the best constant inequalities involving interpolation of the arithmetic mean and the geometric mean.


title: Self-induced spin pumping and inverse spin Hall effect in single FePt thin films

abstract: In this study, we investigate the spin-charge current conversion characteristics of chemically disordered ferromagnetic single FePt thin films by spin-pumping ferromagnetic resonance experiments performed on both a resonance cavity and on patterned devices. We clearly observe a self-induced signal in a single FePt layer. The sign of a single FePt spin pumping voltage signal is consistent with a typical bilayer with a positive spin Hall angle layer such as that of Pt on top of a ferromagnet (FM), substrate//FM/Pt. Structural analysis shows a strong composition gradient due to natural oxidation at both FePt interfaces, with the Si substrate and with the air. The FePt-thickness dependence of the self-induced charge current produced allowed us to obtain $\lambda _ \text{FePt}=(1.5\pm 0.1)$ nm and self-induced $\theta_ \text{self-FePt}=0.047 \pm 0.003$, with efficiency for reciprocal effects applications $\theta _ \text{self-FePt} \times \lambda _ \text{FePt} = 0.071$ nm which is comparable to that of Pt, $\theta _ \text{SH-Pt} \times \lambda _ \text{Pt} = 0.2$ nm. Moreover, by studying bilayer systems such as Si//FePt/Pt and Si//Pt//FePt we independently could extract the individual contributions of the external inverse spin Hall effect of Pt and the self-induced inverse spin Hall effect of FePt. Notably, this method gives consistent values of charge currents produced due to only self-induced inverse spin Hall effect in FePt layers. These results advance our understanding of spin-to-charge interconversion mechanisms in composite thin films and pave the way for the development of next-generation spintronics devices based on self-torque.


title: A Fast-cadenced Search for Gamma-Ray Burst Orphan Afterglows with the Deeper, Wider, Faster Programme

abstract: The relativistic outflows that produce Long GRBs (LGRBs) can be described by a structured jet model where prompt $\gamma$-ray emission is restricted to a narrow region in the jet's core. Viewing the jet off-axis from the core, a population of afterglows without an associated GRB detection can be predicted. In this work, we conduct an archival search for these `orphan' afterglows (OAs) with minute-cadence, deep ($g\sim23$) data from the Dark Energy Camera (DECam) taken as part of the Deeper, Wider, Faster programme (DWF). We introduce a method to select fast-evolving OA candidates within DWF data that comprises a machine learning model, based on a realistic synthetic population of OAs. Using this classifier, we recover 51 OA candidates. Of these candidates, 42 are likely flare events from M-class stars. The remaining nine possess quiescent, coincident sources in archival data with angular profiles consistent with a star and are inconsistent with the expected population of LGRB host galaxies. We therefore conclude that these are likely Galactic events. We calculate an upper limit on the rate of OAs down to $g<22$ AB mag of 7.46\,deg$^{-2}$yr$^{-1}$ using our criteria and constrain possible jet structures. We also place an upper limit of the characteristic angle between the $\gamma$-ray emitting region and the jet's half opening angle. For a smooth power-law and a power-law with core jet model respectively, these values are $58.3^{\circ}$ and $56.6^{\circ}$, for a power-law index of 0.8 and $75.3^{\circ}$ and $76.8^{\circ}$ for a power-law index of 1.2.


title: WisPerMed at BioLaySumm: Adapting Autoregressive Large Language Models for Lay Summarization of Scientific Articles

abstract: This paper details the efforts of the WisPerMed team in the BioLaySumm2024 Shared Task on automatic lay summarization in the biomedical domain, aimed at making scientific publications accessible to non-specialists. Large language models (LLMs), specifically the BioMistral and Llama3 models, were fine-tuned and employed to create lay summaries from complex scientific texts. The summarization performance was enhanced through various approaches, including instruction tuning, few-shot learning, and prompt variations tailored to incorporate specific context information. The experiments demonstrated that fine-tuning generally led to the best performance across most evaluated metrics. Few-shot learning notably improved the models' ability to generate relevant and factually accurate texts, particularly when using a well-crafted prompt. Additionally, a Dynamic Expert Selection (DES) mechanism to optimize the selection of text outputs based on readability and factuality metrics was developed. Out of 54 participants, the WisPerMed team reached the 4th place, measured by readability, factuality, and relevance. Determined by the overall score, our approach improved upon the baseline by approx. 5.5 percentage points and was only approx 1.5 percentage points behind the first place.


title: Distinguished In Uniform: Self Attention Vs. Virtual Nodes

abstract: Graph Transformers (GTs) such as SAN and GPS are graph processing models that combine Message-Passing GNNs (MPGNNs) with global Self-Attention. They were shown to be universal function approximators, with two reservations: 1. The initial node features must be augmented with certain positional encodings. 2. The approximation is non-uniform: Graphs of different sizes may require a different approximating network. We first clarify that this form of universality is not unique to GTs: Using the same positional encodings, also pure MPGNNs and even 2-layer MLPs are non-uniform universal approximators. We then consider uniform expressivity: The target function is to be approximated by a single network for graphs of all sizes. There, we compare GTs to the more efficient MPGNN + Virtual Node architecture. The essential difference between the two model definitions is in their global computation method -- Self-Attention Vs Virtual Node. We prove that none of the models is a uniform-universal approximator, before proving our main result: Neither model's uniform expressivity subsumes the other's. We demonstrate the theory with experiments on synthetic data. We further augment our study with real-world datasets, observing mixed results which indicate no clear ranking in practice as well.


title: A gluing construction of constant scalar curvature K\"ahler metrics of Poincar\'e type

abstract: Given a compact K\"ahler manifold with no non-trivial holomorphic vector field, assume it admits a constant scalar curvature K\"ahler metric. Fix finitely many points, we show the existence of constant scalar curvature K\"ahler metrics of Poincar\'e type on the complement of these points in the compact manifold.


title: Note on post-Minkowskian expansion and Bondi coordinates

abstract: In this note, we transform the linear order (first order in $G$) metric from a system of pointlike bodies source to the Bondi coordinates. We confirm that the Bondi 4-momentum and angular momentum of the system computed at null infinity in Bondi coordinates coincide with the relativistic definitions of 4-momentum and angular momentum for the system of pointlike bodies.


title: Comparing predictive ability in presence of instability over a very short time

abstract: We consider forecast comparison in the presence of instability when this affects only a short period of time. We demonstrate that global tests do not perform well in this case, as they were not designed to capture very short-lived instabilities, and their power vanishes altogether when the magnitude of the shock is very large. We then discuss and propose approaches that are more suitable to detect such situations, such as nonparametric methods (S test or MAX procedure). We illustrate these results in different Monte Carlo exercises and in evaluating the nowcast of the quarterly US nominal GDP from the Survey of Professional Forecasters (SPF) against a naive benchmark of no growth, over the period that includes the GDP instability brought by the Covid-19 crisis. We recommend that the forecaster should not pool the sample, but exclude the short periods of high local instability from the evaluation exercise.


title: Shallow Recurrent Decoder for Reduced Order Modeling of Plasma Dynamics

abstract: Reduced order models are becoming increasingly important for rendering complex and multiscale spatio-temporal dynamics computationally tractable. The computational efficiency of such surrogate models is especially important for design, exhaustive exploration and physical understanding. Plasma simulations, in particular those applied to the study of ${\bf E}\times {\bf B}$ plasma discharges and technologies, such as Hall thrusters, require substantial computational resources in order to resolve the multidimentional dynamics that span across wide spatial and temporal scales. Although high-fidelity computational tools are available to simulate such systems over limited conditions and in highly simplified geometries, simulations of full-size systems and/or extensive parametric studies over many geometric configurations and under different physical conditions are computationally intractable with conventional numerical tools. Thus, scientific studies and industrially oriented modeling of plasma systems, including the important ${\bf E}\times {\bf B}$ technologies, stand to significantly benefit from reduced order modeling algorithms. We develop a model reduction scheme based upon a {\em Shallow REcurrent Decoder} (SHRED) architecture. The scheme uses a neural network for encoding limited sensor measurements in time (sequence-to-sequence encoding) to full state-space reconstructions via a decoder network. Based upon the theory of separation of variables, the SHRED architecture is capable of (i) reconstructing full spatio-temporal fields with as little as three point sensors, even the fields that are not measured with sensor feeds but that are in dynamic coupling with the measured field, and (ii) forecasting the future state of the system using neural network roll-outs from the trained time encoding model.

categories: physics.plasm-ph cs.LG nlin.PS physics.comp-ph


title: PET: Multi-agent Independent PPO-based Automatic ECN Tuning for High-Speed Data Center Networks

abstract: Explicit Congestion Notification (ECN)-based congestion control schemes have been widely adopted in high-speed data center networks (DCNs), where the ECN marking threshold plays a determinant role in guaranteeing a packet lossless DCN. However, existing approaches either employ static settings with immutable thresholds that cannot be dynamically self-adjusted to adapt to network dynamics, or fail to take into account many-to-one traffic patterns and different requirements of different types of traffic, resulting in relatively poor performance. To address these problems, this paper proposes a novel learning-based automatic ECN tuning scheme, named PET, based on the multi-agent Independent Proximal Policy Optimization (IPPO) algorithm. PET dynamically adjusts ECN thresholds by fully considering pivotal congestion-contributing factors, including queue length, output data rate, output rate of ECN-marked packets, current ECN threshold, the extent of incast, and the ratio of mice and elephant flows. PET adopts the Decentralized Training and Decentralized Execution (DTDE) paradigm and combines offline and online training to accommodate network dynamics. PET is also fair and readily deployable with commodity hardware. Comprehensive experimental results demonstrate that, compared with state-of-the-art static schemes and the learning-based automatic scheme, our PET achieves better performance in terms of flow completion time, convergence rate, queue length variance, and system robustness.


title: Variety of Attractors

abstract: In this work, some variation of the concept of attractor are presented, called attractor, physical attractor and proper attractor. As a result, it is proved that the phase space of a topologically exact system is a proper attractor for its inverse and vice versa. Furthermore, in definition of physical attractor, one face with systems in which their phase space attracts all of the open non-empty sets. It is established that a system is topologically mixing if and only if its phase space is physical attractor. Finally, by appealing to IFSs, we demonstrate some classes of non-trivial topologically mixing and topologically exact IFSs.


title: Exploring Commonalities in Explanation Frameworks: A Multi-Domain Survey Analysis

abstract: This study presents insights gathered from surveys and discussions with specialists in three domains, aiming to find essential elements for a universal explanation framework that could be applied to these and other similar use cases. The insights are incorporated into a software tool that utilizes GP algorithms, known for their interpretability. The applications analyzed include a medical scenario (involving predictive ML), a retail use case (involving prescriptive ML), and an energy use case (also involving predictive ML). We interviewed professionals from each sector, transcribing their conversations for further analysis. Additionally, experts and non-experts in these fields filled out questionnaires designed to probe various dimensions of explanatory methods. The findings indicate a universal preference for sacrificing a degree of accuracy in favor of greater explainability. Additionally, we highlight the significance of feature importance and counterfactual explanations as critical components of such a framework. Our questionnaires are publicly available to facilitate the dissemination of knowledge in the field of XAI.


title: A common zero at the end point of the support of measure for the quasi-natured spectrally transformed polynomials

abstract: In this work, the explicit expressions of coefficients involved in quasi-type kernel polynomials of order one and quasi-Geronimus polynomials of order one are determined for Jacobi polynomials. These coefficients are responsible for establishing the orthogonality of quasi-spectral polynomials for Jacobi polynomials. Additionally, the orthogonality of quasi-type kernel Laguerre polynomials of order one is derived. In the process of achieving orthogonality, one zero in both cases is located on the boundary of the support of the measure. This allows us to derive the chain sequence and minimal parameter sequence at the point lying at the end point of the support of the measure. Also, this leads to the question of characterizing such spectrally transformed polynomials. Furthermore, the interlacing properties among the zeros of quasi-spectral orthogonal Jacobi polynomials and Jacobi polynomials are illustrated.


title: Dynamic classifier auditing by unsupervised anomaly detection methods: an application in packaging industry predictive maintenance

abstract: Predictive maintenance in manufacturing industry applications is a challenging research field. Packaging machines are widely used in a large number of logistic companies' warehouses and must be working uninterruptedly. Traditionally, preventive maintenance strategies have been carried out to improve the performance of these machines. However, this kind of policies does not take into account the information provided by the sensors implemented in the machines. This paper presents an expert system for the automatic estimation of work orders to implement predictive maintenance policies for packaging machines. The key idea is that, from a set of alarms related to sensors implemented in the machine, the expert system should take a maintenance action while optimizing the response time. The work order estimator will act as a classifier, yielding a binary decision of whether a machine must undergo a maintenance action by a technician or not, followed by an unsupervised anomaly detection-based filtering stage to audit the classifier's output. The methods used for anomaly detection were: One-Class Support Vector Machine (OCSVM), Minimum Covariance Determinant (MCD) and a majority (hard) voting ensemble of them. All anomaly detection methods improve the performance of the baseline classifer but the best performance in terms of F1 score was obtained by the majority voting ensemble.


title: Gait controllability of length-changing slender microswimmers

abstract: Controllability results of four models of two-link microscale swimmers that are able to change the length of their links are obtained. The problems are formulated in the framework of Geometric Control Theory, within which the notions of fiber, total, and gait controllability are presented, together with sufficient conditions for the latter two. The dynamics of a general two-link swimmer is described by resorting to Resistive Force Theory and different mechanisms to produce a length-change in the links, namely, active deformation, a sliding hinge, growth at the tip, and telescopic links. Total controllability is proved via gait controllability in all four cases, and illustrated with the aid of numerical simulations.


title: Subspace embedding with random Khatri-Rao products and its application to eigensolvers

abstract: Various iterative eigenvalue solvers have been developed to compute parts of the spectrum for a large sparse matrix, including the power method, Krylov subspace methods, contour integral methods, and preconditioned solvers such as the so called LOBPCG method. All of these solvers rely on random matrices to determine, e.g., starting vectors that have, with high probability, a non-negligible overlap with the eigenvectors of interest. For this purpose, a safe and common choice are unstructured Gaussian random matrices. In this work, we investigate the use of random Khatri-Rao products in eigenvalue solvers. On the one hand, we establish a novel subspace embedding property that provides theoretical justification for the use of such structured random matrices. On the other hand, we highlight the potential algorithmic benefits when solving eigenvalue problems with Kronecker product structure, as they arise frequently from the discretization of eigenvalue problems for differential operators on tensor product domains. In particular, we consider the use of random Khatri-Rao products within a contour integral method and LOBPCG. Numerical experiments indicate that the gains for the contour integral method strongly depend on the ability to efficiently and accurately solve (shifted) matrix equations with low-rank right-hand side. The flexibility of LOBPCG to directly employ preconditioners makes it easier to benefit from Khatri-Rao product structure, at the expense of having less theoretical justification.


title: A Simulation Tool for V2G Enabled Demand Response Based on Model Predictive Control

abstract: Integrating electric vehicles (EVs) into the power grid can revolutionize energy management strategies, offering both challenges and opportunities for creating a more sustainable and resilient grid. In this context, model predictive control (MPC) emerges as a powerful tool for addressing the complexities of Grid-to-vehicle (G2V) and vehicle-to-grid (V2G) enabled demand response management. By leveraging advanced optimization techniques, MPC algorithms can anticipate future grid conditions and dynamically adjust EV charging and discharging schedules to balance supply and demand while minimizing operational costs and maximizing flexibility. However, no standard tools exist to evaluate novel energy management strategies based on MPC approaches. Our research focuses on harnessing the potential of MPC in G2V and V2G applications, by providing a simulation tool that allows to maximize EV flexibility and support demand response initiatives while mitigating the impact on EV battery health. In this paper, we propose an open-source MPC controller for G2V and V2G-enabled demand response management. The proposed approach is capable of tackling the uncertainties inherent in demand response operations. Through extensive simulation and analysis, we demonstrate the efficacy of our approach in maximizing the benefits of G2V and V2G while assessing the impact on the longevity and reliability of EV batteries. Specifically, our controller enables Charge Point Operators (CPOs) to optimize EV charging and discharging schedules in real-time, taking into account fluctuating energy prices, grid constraints, and EV user preferences.


title: Quantifying Individual and Joint Module Impact in Modular Optimization Frameworks

abstract: This study explores the influence of modules on the performance of modular optimization frameworks for continuous single-objective black-box optimization. There is an extensive variety of modules to choose from when designing algorithm variants, however, there is a rather limited understanding of how each module individually influences the algorithm performance and how the modules interact with each other when combined. We use the functional ANOVA (f-ANOVA) framework to quantify the influence of individual modules and module combinations for two algorithms, the modular Covariance Matrix Adaptation (modCMA) and the modular Differential Evolution (modDE). We analyze the performance data from 324 modCMA and 576 modDE variants on the BBOB benchmark collection, for two problem dimensions, and three computational budgets. Noteworthy findings include the identification of important modules that strongly influence the performance of modCMA, such as the~\textit{weights\ option} and~\textit{mirrored} modules for low dimensional problems, and the~\textit{base\ sampler} for high dimensional problems. The large individual influence of the~\textit{lpsr} module makes it very important for the performance of modDE, regardless of the problem dimensionality and the computational budget. When comparing modCMA and modDE, modDE undergoes a shift from individual modules being more influential, to module combinations being more influential, while modCMA follows the opposite pattern, with an increase in problem dimensionality and computational budget.


title: No Free Lunch: Research Software Testing in Teaching

abstract: Software is at the core of most scientific discoveries today. Therefore, the quality of research results highly depends on the quality of the research software. Rigorous testing, as we know it from software engineering in the industry, could ensure the quality of the research software but it also requires a substantial effort that is often not rewarded in academia. Therefore, this research explores the effects of research software testing integrated into teaching on research software. In an in-vivo experiment, we integrated the engineering of a test suite for a large-scale network simulation as group projects into a course on software testing at the Blekinge Institute of Technology, Sweden, and qualitatively measured the effects of this integration on the research software. We found that the research software benefited from the integration through substantially improved documentation and fewer hardware and software dependencies. However, this integration was effortful and although the student teams developed elegant and thoughtful test suites, no code by students went directly into the research software since we were not able to make the integration back into the research software obligatory or even remunerative. Although we strongly believe that integrating research software engineering such as testing into teaching is not only valuable for the research software itself but also for students, the research of the next generation, as they get in touch with research software engineering and bleeding-edge research in their field as part of their education, the uncertainty about the intellectual properties of students' code substantially limits the potential of integrating research software testing into teaching.


title: Multiple-Choice Questions are Efficient and Robust LLM Evaluators

abstract: We present GSM-MC, a multiple-choice (MC) dataset constructed by collecting answers and incorrect predictions on GSM8K from 60 open-source models. Through extensive experiments, we show that LLMs' performance on the MC version of this popular benchmark is strongly correlated with their performance on the original version and is quite robust to distractor choices and option orders, while the evaluation time is reduced by a factor of up to 30. Following similar procedures, we introduce MATH-MC, constructed from MATH, and PythonIO, a new program reasoning MC dataset constructed from HumanEval and MBPP. Experimental results indicate that LLMs' performance on these MC benchmarks leaves much room for improvement. Our data and code are available at https://github.com/Geralt-Targaryen/MC-Evaluation.


title: Recommender Algorithm for Supporting Self-Management of CVD Risk Factors in an Adult Population at Home

abstract: One of the new trends in the development of recommendation algorithms is the dissemination of their capabilities to support the population in managing their health. This article focuses on the problem of improving the effectiveness of cardiovascular diseases (CVD) prevention, since CVD is the leading cause of death worldwide. To address this issue, a knowledge-based recommendation algorithm was proposed to support self-management of CVD risk factors in adults at home. The proposed algorithm is based on the original multidimensional recommendation model and on a new user profile model, which includes predictive assessments of CVD health in addition to its current ones as outlined in official guidelines. The main feature of the proposed algorithm is the combination of rule-based logic with the capabilities of a large language model in generating human-like text for explanatory component of multidimensional recommendation. The verification and evaluation of the proposed algorithm showed the usefulness of the proposed recommendation algorithm for supporting adults in self-management of their CVD risk factors at home. As follows from the comparison with similar knowledge-based recommendation algorithms, the proposed algorithm evaluates a larger number of CVD risk factors and has a greater information and semantic capacity of the generated recommendations.


title: Conditional Shift-Robust Conformal Prediction for Graph Neural Network

abstract: Graph Neural Networks (GNNs) have emerged as potent tools for predicting outcomes in graph-structured data. Despite their efficacy, a significant drawback of GNNs lies in their limited ability to provide robust uncertainty estimates, posing challenges to their reliability in contexts where errors carry significant consequences. Moreover, GNNs typically excel in in-distribution settings, assuming that training and test data follow identical distributions a condition often unmet in real world graph data scenarios. In this article, we leverage conformal prediction, a widely recognized statistical technique for quantifying uncertainty by transforming predictive model outputs into prediction sets, to address uncertainty quantification in GNN predictions amidst conditional shift\footnote{Representing the change in conditional probability distribution \(P(label|input)\) from source domain to target domain.} in graph-based semi-supervised learning (SSL). Additionally, we propose a novel loss function aimed at refining model predictions by minimizing conditional shift in latent stages. Termed Conditional Shift Robust (CondSR) conformal prediction for GNNs, our approach CondSR is model-agnostic and adaptable to various classification models. We validate the effectiveness of our method on standard graph benchmark datasets, integrating it with state-of-the-art GNNs in node classification tasks. Comprehensive evaluations demonstrate that our approach consistently achieves any predefined target marginal coverage, enhances the accuracy of state of the art GNN models by up to 12\% under conditional shift, and reduces the prediction set size by up to 48\%. The code implementation is publicly available for further exploration and experimentation.


title: Sobolev regularity theory for stochastic reaction-diffusion-advection equations with spatially homogeneous colored noises and variable-order nonlocal operators

abstract: This article investigates the existence, uniqueness, and regularity of solutions to nonlinear stochastic reaction-diffusion-advection equations (SRDAEs) with spatially homogeneous colored noises and variable-order nonlocal operators in mixed norm $L_q(L_p)$-spaces. We introduce a new condition (strongly reinforced Dalang's condition) on colored noise, which facilitates a deeper understanding of the complicated relation between nonlinearities and stochastic forces. Additionally, we establish the space-time H\"older type regularity of solutions.


title: Generalized $\beta$ and $(q,t)$-deformed partition functions with $W$-representations and Nekrasov partition functions

abstract: We construct the generalized $\beta$ and $(q,t)$-deformed partition functions through $W$ representations, where the expansions are respectively with respect to the generalized Jack and Macdonald polynomials labeled by $N$-tuple of Young diagrams. We find that there are the profound interrelations between our deformed partition functions and the $4d$ and $5d$ Nekrasov partition functions. Since the corresponding Nekrasov partition functions can be given by vertex operators, the remarkable connection between our $\beta$ and $(q,t)$-deformed $W$-operators and vertex operators is revealed in this paper. In addition, we investigate the higher Hamiltonians for the generalized Jack and Macdonald polynomials.


title: Data Augmentation for Text-based Person Retrieval Using Large Language Models

abstract: Text-based Person Retrieval (TPR) aims to retrieve person images that match the description given a text query. The performance improvement of the TPR model relies on high-quality data for supervised training. However, it is difficult to construct a large-scale, high-quality TPR dataset due to expensive annotation and privacy protection. Recently, Large Language Models (LLMs) have approached or even surpassed human performance on many NLP tasks, creating the possibility to expand high-quality TPR datasets. This paper proposes an LLM-based Data Augmentation (LLM-DA) method for TPR. LLM-DA uses LLMs to rewrite the text in the current TPR dataset, achieving high-quality expansion of the dataset concisely and efficiently. These rewritten texts are able to increase the diversity of vocabulary and sentence structure while retaining the original key concepts and semantic information. In order to alleviate the hallucinations of LLMs, LLM-DA introduces a Text Faithfulness Filter (TFF) to filter out unfaithful rewritten text. To balance the contributions of original text and augmented text, a Balanced Sampling Strategy (BSS) is proposed to control the proportion of original text and augmented text used for training. LLM-DA is a plug-and-play method that can be easily integrated into various TPR models. Comprehensive experiments on three TPR benchmarks show that LLM-DA can improve the retrieval performance of current TPR models.


title: Confinement for 3d $\mathcal{N}=2$ $SU(N)$ with a Symmetric tensor

abstract: In this paper we study 3d $\mathcal{N}=2$ $SU(N)$ confining gauge theories with a matter field in the rank-two index symmetric representation. The models found here are obtained from the application of the duplication formula for hyperbolic gamma functions from \emph{parent} confining models, with antisymmetric fields and (anti)-fundamental matter by \emph{freezing} some of the mass parameters for the latter. We find a series of identities that can give rise to candidate confining theories with $SU(N)$ gauge group, a symmetric tensor and in addition other charged matter fields, in general with a non-vanishing superpotential. We provide for each case further checks of the proposed dualities, by studying the Coulomb branch and by deconfining the tensorial matter by using other known 3d dualities. From the final picture a refined classification emerges, distinguishing the confining theories obtained in the paper in classes with common properties.


title: Addendum to "Quantum Search with Noisy Oracle"

abstract: In this note, I generalize the techniques of my recent work (arXiv:2309.14944) and show that, even if just a single known qubit of query registers is affected by the depolarizing noise of rate p, quantum search among n elements cannot be done any faster than in O(np) queries. This holds both when the affected qubit is one of the log(n) index qubits and when it is the target qubit.


title: Structured singular values and their application in computing eigenvalue backward errors of the Rosenbrock system matrix

abstract: The structured singular values (aka the {\mu}-values) are essential in analyzing the stability of control systems and in the structured eigenvalue perturbation theory of matrices and matrix polynomials. In this paper, we study the {\mu}-value of a matrix under block-diagonal structured perturbations (full blocks but possibly rectangular). We provide an explicit expression for the {\mu}-value and also obtain a computable upper bound in terms of minimizing the largest singular value of a parameter-dependent matrix. This upper bound equals the {\mu}-value when the perturbation matrix has no more than three blocks on the diagonal. We then apply the {\mu}-value results in computing eigenvalue backward errors of a Rosenbrock system matrix corresponding to a rational matrix function when some or all blocks of the Rosenbrock system matrix are subject to perturbation. The results are illustrated through numerical experiments.


title: A Stochastic Sampling Approach to Privacy

abstract: This paper proposes an optimal stochastic sampling approach to privacy, in which a sensor observes a process which is correlated to private information, and a sampler decides to keep or discard the sensor's observations. The kept samples are shared with an adversary who might attempt to infer the private process. The privacy leakages are captured with the mutual information between the private process and sampler's output. We cast the optimal sampling design as an optimization problem that (i) minimizes the reconstruction error of the observed process using the sampler's output, (ii) and reduces privacy leakages. We first show the optimal reconstruction is obtained by solving a one-step optimization problem at each time step. We derive the optimality equations of the sampler for a general processes via the dynamic decomposition method, and show the sampler controls adversary's belief about the private input. Also, we propose a simplified design for linear Gaussian processes by restricting the sampling policy to a special collection. We show that the optimal reconstruction of states, the belief state and the optimization objective can be analytically expressed based on a conditional mean and covariance matrix. We develop an numerical algorithm to optimize the sampling and reconstruction policies based on the implicit function theorem. Finally, we verify our design and show its capabilities in state reconstruction, privacy protection and data size reduction via simulations.


title: Position-Guided Prompt Learning for Anomaly Detection in Chest X-Rays

abstract: Anomaly detection in chest X-rays is a critical task. Most methods mainly model the distribution of normal images, and then regard significant deviation from normal distribution as anomaly. Recently, CLIP-based methods, pre-trained on a large number of medical images, have shown impressive performance on zero/few-shot downstream tasks. In this paper, we aim to explore the potential of CLIP-based methods for anomaly detection in chest X-rays. Considering the discrepancy between the CLIP pre-training data and the task-specific data, we propose a position-guided prompt learning method. Specifically, inspired by the fact that experts diagnose chest X-rays by carefully examining distinct lung regions, we propose learnable position-guided text and image prompts to adapt the task data to the frozen pre-trained CLIP-based model. To enhance the model's discriminative capability, we propose a novel structure-preserving anomaly synthesis method within chest x-rays during the training process. Extensive experiments on three datasets demonstrate that our proposed method outperforms some state-of-the-art methods. The code of our implementation is available at https://github.com/sunzc-sunny/PPAD.


title: GuidedRec: Guiding Ill-Posed Unsupervised Volumetric Recovery

abstract: We introduce a novel unsupervised approach to reconstructing a 3D volume from only two planar projections that exploits a previous\-ly-captured 3D volume of the patient. Such volume is readily available in many important medical procedures and previous methods already used such a volume. Earlier methods that work by deforming this volume to match the projections typically fail when the number of projections is very low as the alignment becomes underconstrained. We show how to use a generative model of the volume structures to constrain the deformation and obtain a correct estimate. Moreover, our method is not bounded to a specific sensor calibration and can be applied to new calibrations without retraining. We evaluate our approach on a challenging dataset and show it outperforms state-of-the-art methods. As a result, our method could be used in treatment scenarios such as surgery and radiotherapy while drastically reducing patient radiation exposure.


title: SM-DTW: Stability Modulated Dynamic Time Warping for signature verification

abstract: Building upon findings in computational model of handwriting learning and execution, we introduce the concept of stability to explain the difference between the actual movements performed during multiple execution of the subject's signature, and conjecture that the most stable parts of the signature should play a paramount role in evaluating the similarity between a questioned signature and the reference ones during signature verification. We then introduce the Stability Modulated Dynamic Time Warping algorithm for incorporating the stability regions, i.e. the most similar parts between two signatures, into the distance measure between a pair of signatures computed by the Dynamic Time Warping for signature verification. Experiments were conducted on two datasets largely adopted for performance evaluation. Experimental results show that the proposed algorithm improves the performance of the baseline system and compares favourably with other top performing signature verification systems.


title: Non-equilibrium orbital edge magnetization

abstract: Uncompensated non-equilibrium orbital magnetization may arise at sample edges in the presence of charge current. The value of the effect scales as the product of the current density and the electron mean free path without any additional smallness. This non-relativistic phenomenon originates in a lack of inversion symmetry of the electron wave functions in a vicinity of sample interfaces. In a conducting layer, where $z$ direction is chosen perpendicular to the surface, and the current flows in $x$ direction, the non-equilibrium orbital magnetization points in $y$ direction. In a top-bottom symmetric layer, the orbital magnetization has an opposite sign near the top and bottom interfaces thus mimicking the symmetry of the spin-Hall effect but can exceed the latter by orders of magnitude.


title: Tutorial on Silicon Photonics Integrated Platform Fiber Edge Coupling

abstract: Photonic integrated circuits (PICs) play a crucial role in almost every aspect of modern life, such as data storage, telecommunications, medical diagnostics, green energy, autonomous driving, agriculture, and high-performance computing. To fully harness their benefits, an efficient coupling mechanism is required to successfully launch light into waveguides from fibers. This study introduces low-loss coupling strategies and their implementation for a silicon nitride integrated platform. Here we present an overview of coupling technologies, optimized designs, and a tutorial on manufacturing techniques for inverted tapers, which enable effective coupling for both transverse-magnetic and transverse-electric modes. The optimized coupling losses for the UHNA-7 fiber and the inverted taper Si3N4 coupler reached -0.81 dB at 1550 nm per connection for single-mode waveguides with 220x1200 nm cross section. The measured coupling losses in the inverted taper coupler with a standard single-mode fiber were -3.28 dB at 1550 nm per connection for the same platform.


title: Khovanov algebras of type B and tensor powers of the natural $\mathrm{OSp}$-representation

abstract: We develop the theory of projective endofunctors for modules of Khovanov algebras $K$ of type B. In particular we compute the composition factors and the graded layers of the image of a simple module under such a projective functor. We then study variants of such functors for a subquotient $e\tilde{K}e$. Via a comparison of two graded lifts of the Brauer algebra we relate the Khovanov algebra to the Brauer algebra and use this to show that projective functors describe translation functors on representations of the orthosymplectic supergroup $\mathrm{OSp}(r|2n)$. As an application we get a description of the Loewy layers of indecomposable summands in tensor powers of the natural representation of $\mathrm{OSp}(r|2n)$.


title: Robust Deep Reinforcement Learning with Adaptive Adversarial Perturbations in Action Space

abstract: Deep reinforcement learning (DRL) algorithms can suffer from modeling errors between the simulation and the real world. Many studies use adversarial learning to generate perturbation during training process to model the discrepancy and improve the robustness of DRL. However, most of these approaches use a fixed parameter to control the intensity of the adversarial perturbation, which can lead to a trade-off between average performance and robustness. In fact, finding the optimal parameter of the perturbation is challenging, as excessive perturbations may destabilize training and compromise agent performance, while insufficient perturbations may not impart enough information to enhance robustness. To keep the training stable while improving robustness, we propose a simple but effective method, namely, Adaptive Adversarial Perturbation (A2P), which can dynamically select appropriate adversarial perturbations for each sample. Specifically, we propose an adaptive adversarial coefficient framework to adjust the effect of the adversarial perturbation during training. By designing a metric for the current intensity of the perturbation, our method can calculate the suitable perturbation levels based on the current relative performance. The appealing feature of our method is that it is simple to deploy in real-world applications and does not require accessing the simulator in advance. The experiments in MuJoCo show that our method can improve the training stability and learn a robust policy when migrated to different test environments. The code is available at https://github.com/Lqm00/A2P-SAC.


title: A review on the use of large language models as virtual tutors

abstract: Transformer architectures contribute to managing long-term dependencies for Natural Language Processing, representing one of the most recent changes in the field. These architectures are the basis of the innovative, cutting-edge Large Language Models (LLMs) that have produced a huge buzz in several fields and industrial sectors, among the ones education stands out. Accordingly, these generative Artificial Intelligence-based solutions have directed the change in techniques and the evolution in educational methods and contents, along with network infrastructure, towards high-quality learning. Given the popularity of LLMs, this review seeks to provide a comprehensive overview of those solutions designed specifically to generate and evaluate educational materials and which involve students and teachers in their design or experimental plan. To the best of our knowledge, this is the first review of educational applications (e.g., student assessment) of LLMs. As expected, the most common role of these systems is as virtual tutors for automatic question generation. Moreover, the most popular models are GTP-3 and BERT. However, due to the continuous launch of new generative models, new works are expected to be published shortly.


title: A fully discrete evolving surface finite element method for the Cahn-Hilliard equation with a regular potential

abstract: We study two fully discrete evolving surface finite element schemes for the Cahn-Hilliard equation on an evolving surface, given a smooth potential with polynomial growth. In particular we establish optimal order error bounds for a (fully implicit) backward Euler time-discretisation, and an implicit-explicit time-discretisation, with isoparametric surface finite elements discretising space.


title: MTVQA: Benchmarking Multilingual Text-Centric Visual Question Answering

abstract: Text-Centric Visual Question Answering (TEC-VQA) in its proper format not only facilitates human-machine interaction in text-centric visual environments but also serves as a de facto gold proxy to evaluate AI models in the domain of text-centric scene understanding. Nonetheless, most existing TEC-VQA benchmarks have focused on high-resource languages like English and Chinese. Despite pioneering works to expand multilingual QA pairs in non-text-centric VQA datasets through translation engines, the translation-based protocol encounters a substantial "visual-textual misalignment" problem when applied to TEC-VQA. Specifically, it prioritizes the text in question-answer pairs while disregarding the visual text present in images. Moreover, it fails to address complexities related to nuanced meaning, contextual distortion, language bias, and question-type diversity. In this work, we tackle multilingual TEC-VQA by introducing MTVQA, the first benchmark featuring high-quality human expert annotations across 9 diverse languages, consisting of 6,778 question-answer pairs across 2,116 images. Further, by comprehensively evaluating numerous state-of-the-art Multimodal Large Language Models (MLLMs), including GPT-4o, GPT-4V, Claude3, and Gemini, on the MTVQA dataset, it is evident that there is still a large room for performance improvement, underscoring the value of MTVQA. Additionally, we supply multilingual training data within the MTVQA dataset, demonstrating that straightforward fine-tuning with this data can substantially enhance multilingual TEC-VQA performance. We aspire that MTVQA will offer the research community fresh insights and stimulate further exploration in multilingual visual text comprehension. The project homepage is available at https://bytedance.github.io/MTVQA/.


title: Scheduling Jobs with Work-Inefficient Parallel Solutions

abstract: This paper introduces the \emph{serial-parallel decision problem}. Consider an online scheduler that receives a series of tasks, where each task has both a parallel and a serial implementation. The parallel implementation has the advantage that it can make progress concurrently on multiple processors, but the disadvantage that it is (potentially) work-inefficient. As tasks arrive, the scheduler must decide for each task which implementation to use. We begin by studying \emph{total awake time}. We give a simple \emph{decide-on-arrival} scheduler that achieves a competitive ratio of $3$ for total awake time -- this scheduler makes serial/parallel decisions immediately when jobs arrive. Our second result is an \emph{parallel-work-oblivious} scheduler that achieves a competitive ratio of $6$ for total awake time -- this scheduler makes all of its decisions based only on the size of each serial job and without needing to know anything about the parallel implementations. Finally, we prove a lower bound showing that, if a scheduler wishes to achieve a competitive ratio of $O(1)$, it can have at most one of the two aforementioned properties (decide-on-arrival or parallel-work-oblivious). We also prove lower bounds of the form $1 + \Omega(1)$ on the optimal competitive ratio for any scheduler. Next, we turn our attention to optimizing \emph{mean response time}. Here, we show that it is possible to achieve an $O(1)$ competitive ratio with $O(1)$ speed augmentation. This is the most technically involved of our results. We also prove that, in this setting, it is not possible for a parallel-work-oblivious scheduler to do well. In addition to these results, we present tight bounds on the optimal competitive ratio if we allow for arrival dependencies between tasks (e.g., tasks are components of a single parallel program), and we give an in-depth discussion of the remaining open questions.


title: On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)

abstract: Separation logic is a substructural logic which has proved to have numerous and fruitful applications to the verification of programs working on dynamic data structures. Recently, Barthe, Hsu and Liao have proposed a new way of giving semantics to separation logic formulas in which separating conjunction is interpreted in terms of probabilistic independence. The latter is taken in its exact form, i.e., two events are independent if and only if the joint probability is the product of the probabilities of the two events. There is indeed a literature on weaker notions of independence which are computational in nature, i.e. independence holds only against efficient adversaries and modulo a negligible probability of success. The aim of this work is to explore the nature of computational independence in a cryptographic scenario, in view of the aforementioned advances in separation logic. We show on the one hand that the semantics of separation logic can be adapted so as to account for complexity bounded adversaries, and on the other hand that the obtained logical system is useful for writing simple and compact proofs of standard cryptographic results in which the adversary remains hidden. Remarkably, this allows for a fruitful interplay between independence and pseudorandomness, itself a crucial notion in cryptography.


title: DuckDB-SGX2: The Good, The Bad and The Ugly within Confidential Analytical Query Processing

abstract: We provide an evaluation of an analytical workload in a confidential computing environment, combining DuckDB with two technologies: modular columnar encryption in Parquet files (data at rest) and the newest version of the Intel SGX Trusted Execution Environment (TEE), providing a hardware enclave where data in flight can be (more) securely decrypted and processed. One finding is that the "performance tax" for such confidential analytical processing is acceptable compared to not using these technologies. We eventually manage to run TPC-H SF30 with under 2x overhead compared to non-encrypted, non-enclave execution; we show that, specifically, columnar compression and encryption are a good combination. Our second finding consists of dos and don'ts to tune DuckDB to work effectively in this environment. There are various performance hazards: potentially 5x higher cache miss costs due to memory encryption inside the enclave, NUMA penalties, and highly elevated cost of swapping pages in and out of the enclave -- which is also triggered indirectly by using a non-SGX-aware malloc library.


title: Wrinkling of differentially growing bilayers with similar film and substrate moduli

abstract: The study of growth-induced surface wrinkling in constrained bilayers comprising a thin film attached to a thick substrate is a canonical model for understanding pattern formation in many biological systems. While the bilayer model has received much prior attention, the nonlinear behaviour for arrangements with similar film and substrate properties, or substrate growth that outpaces film growth, remains poorly understood. This paper therefore focuses on these cases in which the substrate's elasticity dominates surface wrinkling. We study the critical states, and the initial and advanced post-critical behaviour of growing bilayers with film-to-substrate modulus ratios in the region of $2.5$--$50$, and cases where the substrate grows faster than the film. Based on nonlinear elasticity, we formulate analytical models for linear buckling analyses and asymptotic projections around the critical point, and use finite element (FE) models coupled to continuation and branch-switching algorithms to uncover the deep post-critical regime. It is shown that a rapidly growing substrate may change the critical mode from film-governed sinusoidal wrinkling to substrate-governed Biot wrinkling depending on the stiffness ratio and growth ratio. We present a phase change diagram of the post-critical modal landscape split into sinusoidal wrinkling, period doubling, period quadrupling, and creasing regimes in terms of the stiffness ratio and growth ratio. While the post-critical regime of film- and substrate-dominated bilayers (either in terms of dominant elasticity or growth rate) is governed by sinusoidal wrinkling and Biot creasing, respectively, the intermediate regions allow for period doubling and quadrupling bifurcations. Finally, we demonstrate the existence of multi-stability in the advanced post-buckling regimes for growing bilayers where growth in the substrate surpasses that of the film.


title: Coherent Quantum Communications Across National Scale Telecommunication Infrastructure

abstract: Quantum communications harness quantum phenomena like superposition and entanglement to enhance information transfer between remote nodes. Coherent quantum communications, essential for phase-based quantum internet architecture, require optical coherence among nodes and typically involve single-photon interference. Challenges like preserving optical coherence and integrating advanced single-photon detectors have impeded their deployment in existing telecommunication networks. This study introduces innovative approaches to the architecture and techniques supporting coherent quantum communications, marking their first successful integration within a commercial telecom infrastructure between Frankfurt and Kehl, Germany. Employing the Twin Field Quantum Key Distribution protocol, we achieved encryption key distribution at 110 bit/s over 254 km. This system features measurement-device-independent properties and non-cryogenically cooled detectors, and represents the first effective quantum repeater implementation on telecom infrastructure, the longest practical quantum key distribution deployment to date, and validates the feasibility of a phase-based quantum internet architecture.


title: Dimension filtration of the bounded Derived category of a Noetherian ring

abstract: Let $A$ be a Noetherian ring of dimension $d$ and let $\mathcal{D}^b(A)$ be the bounded derived category of $A$. Let $\mathcal{D}_i^b(A)$ denote the thick subcategory of $\mathcal{D}^b(A)$ consisting of complexes $\mathbf{X}_\bullet$ with $\dim H^n(\mathbf{X}_\bullet) \leq i$ for all $n$. Set $\mathcal{D}_{-1}^b(A) = 0$. Consider the Verdier quotients $\mathcal{C}_i(A) = \mathcal{D}_i^b(A)/\mathcal{D}_{i-1}^b(A)$. We show for $i = 0, \ldots, d$, $\mathcal{C}_i(A)$ is a Krull-Remak-Schmidt triangulated category with a bounded $t$-structure. We identify its heart. We also prove that if $A$ is regular then $\mathcal{C}_i(A)$ has AR-triangles. We also prove that $$ \mathcal{C}_i(A) \cong \bigoplus_{\stackrel{P}{\dim A/P = i}} \mathcal{D}_0^b(A_P). $$


title: TEGLIE: Transformer encoders as strong gravitational lens finders in KiDS

abstract: We apply a state-of-the-art transformer algorithm to 221 deg$^2$ of the Kilo Degree Survey (KiDS) to search for new strong gravitational lenses (SGL). We test four transformer encoders trained on simulated data from the Strong Lens Finding Challenge on KiDS survey data. The best performing model is fine-tuned on real images of SGL candidates identified in previous searches. To expand the dataset for fine-tuning, data augmentation techniques are employed, including rotation, flipping, transposition, and white noise injection. The network fine-tuned with rotated, flipped, and transposed images exhibited the best performance and is used to hunt for SGL in the overlapping region of the Galaxy And Mass Assembly (GAMA) and KiDS surveys on galaxies up to $z$=0.8. Candidate SGLs are matched with those from other surveys and examined using GAMA data to identify blended spectra resulting from the signal from multiple objects in a fiber. We observe that fine-tuning the transformer encoder to the KiDS data reduces the number of false positives by 70%. Additionally, applying the fine-tuned model to a sample of $\sim$ 5,000,000 galaxies results in a list of $\sim$ 51,000 SGL candidates. Upon visual inspection, this list is narrowed down to 231 candidates. Combined with the SGL candidates identified in the model testing, our final sample includes 264 candidates, with 71 high-confidence SGLs of which 44 are new discoveries. We propose fine-tuning via real augmented images as a viable approach to mitigating false positives when transitioning from simulated lenses to real surveys. Additionally, we provide a list of 121 false positives that exhibit features similar to lensed objects, which can benefit the training of future machine learning models in this field.


title: GGAvatar: Geometric Adjustment of Gaussian Head Avatar

abstract: We propose GGAvatar, a novel 3D avatar representation designed to robustly model dynamic head avatars with complex identities and deformations. GGAvatar employs a coarse-to-fine structure, featuring two core modules: Neutral Gaussian Initialization Module and Geometry Morph Adjuster. Neutral Gaussian Initialization Module pairs Gaussian primitives with deformable triangular meshes, employing an adaptive density control strategy to model the geometric structure of the target subject with neutral expressions. Geometry Morph Adjuster introduces deformation bases for each Gaussian in global space, creating fine-grained low-dimensional representations of deformation behaviors to address the Linear Blend Skinning formula's limitations effectively. Extensive experiments show that GGAvatar can produce high-fidelity renderings, outperforming state-of-the-art methods in visual quality and quantitative metrics.


title: Covering Spaces of Symplectic Toric Orbifolds

abstract: In this article we study covering spaces of symplectic toric orbifolds and symplectic toric orbifold bundles. In particular, we show that all symplectic toric orbifold coverings are quotients of some symplectic toric orbifold by a finite subgroup of a torus. We then give a general description of the labeled polytope of a toric orbifold bundle in terms of the polytopes of the fiber and the base. Finally, we apply our findings to study the number of toric structures on products of labeled projective spaces.


title: Safe by Design Autonomous Driving Systems

abstract: Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while traditional systems engineering approaches are defeated by the complexity of the problem. Currently, there is an increasing interest in hybrid design solutions, integrating machine learning components, when necessary, while using model-based components for goal management and planning. We study a method for building safe by design autonomous driving systems, based on the assumption that the capability to drive boils down to the coordinated execution of a given set of driving operations. The assumption is substantiated by a compositionality result considering that autopilots are dynamic systems receiving a small number of types of vistas as input, each vista defining a free space in its neighborhood. It is shown that safe driving for each type of vista in the corresponding free space, implies safe driving for any possible scenario under some easy-to-check conditions concerning the transition between vistas. The designed autopilot comprises distinct control policies one per type of vista, articulated in two consecutive phases. The first phase consists of carefully managing a potentially risky situation by virtually reducing speed, while the second phase consists of exiting the situation by accelerating. The autopilots designed use for their predictions simple functions characterizing the acceleration and deceleration capabilities of the vehicles. They cover the main driving operations, including entering a main road, overtaking, crossing intersections protected by traffic lights or signals, and driving on freeways. The results presented reinforce the case for hybrid solutions that incorporate mathematically elegant and robust decision methods that are safe by design.


title: Max-Min Fairness and PHY-Layer Design of Uplink MIMO Rate-Splitting Multiple Access with Finite Blocklength

abstract: Rate-Splitting Multiple Access (RSMA) has emerged as a potent and reliable multiple access and interference management technique in wireless communications. While downlink Multiple-Input Multiple-Ouput (MIMO) RSMA has been widely investigated, uplink MIMO RSMA has not been fully explored. In this paper, we investigate the performance of uplink RSMA in short-packet communications with perfect Channel State Information at Transmitter (CSIT) and Channel State Information at Receiver (CSIR). We propose an uplink MIMO RSMA framework and optimize both precoders and combiners with Max-Min Fairness (MMF) metric and Finite Blocklength (FBL) constraints. Due to the high coupling between precoders and combiners, we apply the Alternating Optimization (AO) to decompose the optimization problem into two subproblems. To tackle these subproblems, we propose a Successive Convex Approximation (SCA)-based approach. Additionally, we introduce a low-complexity scheme to design the decoding order at the receiver. Subsequently, the Physical (PHY)-layer of the uplink MIMO RSMA architecture is designed and evaluated using multi-user Link-Level Simulations (LLS), accounting for finite constellation modulation, finite length polar codes, message splitting, adaptive modulation and coding, and Successive Interference Cancellation (SIC) at the receiver. Numerical results demonstrate that applying RSMA in uplink MIMO with FBL constraints not only achieves MMF gains over conventional transmission schemes such as Space Division Multiple Access (SDMA) and Non-orthogonal Multiple Access (NOMA) but also exhibits robustness to network loads. The benefits of splitting messages from multiple users are also illustrated. LLS results confirm the improved max-min throughput benefits of RSMA over SDMA and NOMA.


title: Irrational components of the Hilbert scheme of points

abstract: We construct irrational irreducible components of the Hilbert scheme of points of affine n-dimensional space, for n at least 12. We start with irrational components of the Hilbert scheme of curves in P^3 and use methods developed by Jelisiejew to relate these to irreducible components of the Hilbert schemes of points of A^n. The result solves Problem XX of [J. Jelisiejew, Open problems in deformations of Artinian algebras, Hilbert schemes and around, arXiv:2307.08777, 2023].


title: Learning to connect in action: Measuring and understanding the emergence of boundary spanners in volatile times

abstract: Collective intelligence of diverse groups is key for tackling many of today's grand challenges such as fostering resilience and climate adaptation. Information exchange across such diverse groups is crucial for collective intelligence, especially in volatile environments. To facilitate inter-group information exchange, Informational Boundary Spanners (IBSs) as pivotal information exchange 'hubs' are promising. However, the mechanisms that drive the emergence of IBSs remain poorly understood. To address this gap there is first a need for a method to identify and measure the emergence of IBSs. Second, an Agent-Based Modelling (ABM) framework is not available to systematically study mechanisms for the emergence of IBSs in volatile environments. Third, even though the ability to learn who provides high-quality information is thought to be essential to explain the emergence of IBSs, a rigorous test of this mechanism is missing. The learning mechanism is formalized using an ABM framework, with the model's outputs analyzed using the proposed IBS emergence measurement method. To illustrate both the method and the learning mechanism, we present a case study focused on information sharing in the volatile environment of a disaster. The study shows that learning constitutes a mechanism for the emergence of effective IBSs in (a) low-volatility environments characterised by low uncertainty and (b) in high-volatility environments characterised by rapid change if the number of inter-group connections is sufficient. With the method and model, this paper aims to lay the foundations for exploring mechanisms for the emergence of IBSs that facilitate inter-group information exchange. This article advances collective intelligence by providing the essential elements for measuring and understanding the emergence of IBSs and exploring the effect of learning on their emergence in volatile environments.


title: Multi-Agent Optimization and Learning: A Non-Expansive Operators Perspective

abstract: Multi-agent systems are increasingly widespread in a range of application domains, with optimization and learning underpinning many of the tasks that arise in this context. Different approaches have been proposed to enable the cooperative solution of these optimization and learning problems, including first- and second-order methods, and dual (or Lagrangian) methods, all of which rely on consensus and message-passing. In this article we discuss these algorithms through the lens of non-expansive operator theory, providing a unifying perspective. We highlight the insights that this viewpoint delivers, and discuss how it can spark future original research.


title: Lifetime Characterization of Extreme Wave Localizations in Crossing Seas

abstract: Rogue waves (RWs) can form on the ocean surface due to quasi-four wave resonant interaction or superposition principle. Both mechanisms have been acutely studied. The first of the two is known as the nonlinear focusing mechanism and leads to an increased probability of rogue waves when wave conditions are favourable, i.e., when unidirectionality and high narrowband energy of the wave field are satisfied. This work delves into the dynamics of extreme wave focusing in crossing seas, revealing a distinct type of nonlinear RWs, characterized by a decisive longevity compared to those generated by the dispersive focusing mechanism. In fact, through fully nonlinear hydrodynamic numerical simulations, we show that the interactions between two crossing unidirectional wave beams can trigger fully localized and robust development of RWs. These coherent structures, characterized by a typical spectral broadening then spreading in the form of dual bimodality and recurrent wave group focusing, not only defy the weakening expectation of quasi-four wave resonant interaction in directionally spread wave fields, but also differ from classical focusing mechanisms already mentioned. This has been determined following a rigorous lifespan-based statistical analysis of extreme wave events in our fully nonlinear simulations. Utilizing the coupled nonlinear Schr\"odinger framework, we also show that such intrinsic focusing dynamics can also be captured by weakly nonlinear wave evolution equations. This opens new research avenues for further explorations of these complex and intriguing wave phenomena in hydrodynamics as well as other nonlinear and dispersive multi-wave systems.


title: Scrutinize What We Ignore: Reining Task Representation Shift In Context-Based Offline Meta Reinforcement Learning

abstract: Offline meta reinforcement learning (OMRL) has emerged as a promising approach for interaction avoidance and strong generalization performance by leveraging pre-collected data and meta-learning techniques. Previous context-based approaches predominantly rely on the intuition that maximizing the mutual information between the task and the task representation ($I(Z;M)$) can lead to performance improvements. Despite achieving attractive results, the theoretical justification of performance improvement for such intuition has been lacking. Motivated by the return discrepancy scheme in the model-based RL field, we find that maximizing $I(Z;M)$ can be interpreted as consistently raising the lower bound of the expected return for a given policy conditioning on the optimal task representation. However, this optimization process ignores the task representation shift between two consecutive updates, which may lead to performance improvement collapse. To address this problem, we turn to use the framework of performance difference bound to consider the impacts of task representation shift explicitly. We demonstrate that by reining the task representation shift, it is possible to achieve monotonic performance improvements, thereby showcasing the advantage against previous approaches. To make it practical, we design an easy yet highly effective algorithm RETRO (\underline{RE}ining \underline{T}ask \underline{R}epresentation shift in context-based \underline{O}ffline meta reinforcement learning) with only adding one line of code compared to the backbone. Empirical results validate its state-of-the-art (SOTA) asymptotic performance, training stability and training-time consumption on MuJoCo and MetaWorld benchmarks.


title: Optical Variability of Blazars in the Tomo-e Gozen Northern Sky Transient Survey

abstract: We studied the optical variability of 241 BL Lacs and 83 flat-spectrum radio quasars (FSRQ) from the 4LAC catalog using data from the Tomo-e Gozen Northern Sky Transient Survey, with $\sim$ 50 epochs per blazar on average. We excluded blazars whose optical variability may be underestimated due to the influence of their host galaxy, based on their optical luminosity ($L_O$). FSRQs with $\gamma$-ray photon index greater than 2.6 exhibit very low optical variability, and their distribution of standard deviation of repeated photometry is significantly different from that of the other FSRQs (KS test P value equal to $5 \times 10^{-6}$ ). Among a sample of blazars at any particular cosmological epoch, those with lower $\gamma$-ray luminosity ($L_\gamma$) tend to have lower optical variability, and those FSRQs with $\gamma$-ray photon index greater than 2.6 tend to have low $L_\gamma$. We also measured the structure function of optical variability and found that the amplitude of the structure function for FSRQs is higher than previously measured and higher than that of BL Lacs at multiple time lags. Additionally, the amplitude of the structure function of FSRQs with high $\gamma$-ray photon index is significantly lower than that of FSRQs with low $\gamma$-ray photon index. The structure function of FSRQs of high $\gamma$-ray photon index shows a characteristic timescale of more than 10 days, which may be the variability timescale of the accretion disk. In summary, we infer that the optical component of FSRQs with high $\gamma$-ray photon index may be dominated by the accretion disk.


title: Mamba-in-Mamba: Centralized Mamba-Cross-Scan in Tokenized Mamba Model for Hyperspectral Image Classification

abstract: Hyperspectral image (HSI) classification is pivotal in the remote sensing (RS) field, particularly with the advancement of deep learning techniques. Sequential models, adapted from the natural language processing (NLP) field such as Recurrent Neural Networks (RNNs) and Transformers, have been tailored to this task, offering a unique viewpoint. However, several challenges persist 1) RNNs struggle with centric feature aggregation and are sensitive to interfering pixels, 2) Transformers require significant computational resources and often underperform with limited HSI training samples, and 3) Current scanning methods for converting images into sequence-data are simplistic and inefficient. In response, this study introduces the innovative Mamba-in-Mamba (MiM) architecture for HSI classification, the first attempt of deploying State Space Model (SSM) in this task. The MiM model includes 1) A novel centralized Mamba-Cross-Scan (MCS) mechanism for transforming images into sequence-data, 2) A Tokenized Mamba (T-Mamba) encoder that incorporates a Gaussian Decay Mask (GDM), a Semantic Token Learner (STL), and a Semantic Token Fuser (STF) for enhanced feature generation and concentration, and 3) A Weighted MCS Fusion (WMF) module coupled with a Multi-Scale Loss Design to improve decoding efficiency. Experimental results from three public HSI datasets with fixed and disjoint training-testing samples demonstrate that our method outperforms existing baselines and state-of-the-art approaches, highlighting its efficacy and potential in HSI applications.


title: Binary neutron star mergers as the source of the highest energy cosmic rays

abstract: We propose that ultrahigh energy cosmic rays are produced in binary neutron star mergers. Interpreting the highest energy events as r-process nuclei eliminates the need for exotic sources, while the observed near-universal maximum rigidity of ultrahigh energy sources can be understood as due to the uniformity of jets generated by the gravitationally-driven dynamo, given the narrow range of total binary neutron star masses. We discuss evidence for this scenario, and its prediction of coincidences between neutrinos above 10 PeV and gravitational waves.


title: The Baryon Junction and String Interactions

abstract: We study junctions between confining strings. We show that the effective theory of such junctions is very predictive with only one new parameter, the junction's mass, controlling the first couple of terms in the expansion in the system size. By open-closed duality these considerations about the baryon junction map to interaction vertices of closed strings. Therefore, we calculate the interaction vertices of closed strings in theories such as Yang-Mills theory. We find some surprising selection rules for string interactions in 3+1 dimensions. Requiring perturbative stability and that the string coupling is weak, we suggest constraints on the junction's mass.


title: Depth Reconstruction with Neural Signed Distance Fields in Structured Light Systems

abstract: We introduce a novel depth estimation technique for multi-frame structured light setups using neural implicit representations of 3D space. Our approach employs a neural signed distance field (SDF), trained through self-supervised differentiable rendering. Unlike passive vision, where joint estimation of radiance and geometry fields is necessary, we capitalize on known radiance fields from projected patterns in structured light systems. This enables isolated optimization of the geometry field, ensuring convergence and network efficacy with fixed device positioning. To enhance geometric fidelity, we incorporate an additional color loss based on object surfaces during training. Real-world experiments demonstrate our method's superiority in geometric performance for few-shot scenarios, while achieving comparable results with increased pattern availability.


title: The Brightness of Starlink Mini Satellites During Orbit-Raising

abstract: Observations of Starlink V2 Mini satellites during orbit-raising suggest that SpaceX applies brightness mitigation when they reach a height of 357 km. The mean apparent magnitudes for objects below that height threshold is 2.68 while the mean for those above is 6.46. When magnitudes are adjusted to a uniform distance of 1000 km the means are 4.58 and 7.52, respectively. The difference of 2.94 between distance-adjusted magnitudes above and below threshold implies that mitigation is 93% effective in reducing the brightness of orbit-raising spacecraft. Orbit-raising Mini spacecraft have a smaller impact on astronomical observations than higher altitude on-station spacecraft because they are relatively few in number. They also spend less time traversing the sky and spend longer in the Earth's shadow. These low-altitude objects will be more out-of-focus in large telescopes such as the LSST which reduces their impact, too. However, they attract considerable public attention and airline pilots have reported them as Unidentified Aerial Phenomena.


title: Efficiency of black hole formation via collisions in stellar systems: An analysis of data from simulations and observations

abstract: This paper explores the theoretical relation between star clusters and black holes within, focusing on the potential role of nuclear star clusters (NSCs), globular clusters (GCs), and ultra compact dwarf galaxies (UCDs) as environments that allow for black hole formation via stellar collisions. This study aims to identify the optimal conditions for stellar collisions across a range of stellar systems leading to the formation of very massive stars that subsequently collapse into black holes. We analyze data from numerical simulations and observations of diverse stellar systems, encompassing various initial conditions, initial mass functions, and evolution scenarios. We computed a critical mass, determined by the interplay of collision time, system age, and initial properties of the star cluster. The efficiency of black hole formation ($\epsilon_{\mathrm{BH}}$) is defined as the ratio of initial stellar mass divided by critical mass. We find that stellar systems with a ratio of initial stellar mass over critical mass above 1 exhibit a high efficiencies in terms of black hole formation, ranging from $30-100\%$. While there is some scatter, potentially attributed to complex system histories and the presence of gas, the results highlight the potential for achieving high efficiencies via a purely collisional channel in black hole formation. In conclusion, this theoretical exploration elucidates the connection between star clusters and black hole formation. The study underscores the significance of UCDs, GCs, and NSCs as environments conducive to the black hole formation scenario via stellar collisions. The defined black hole formation efficiency ($\epsilon_{\mathrm{BH}}$) is shown to be influenced by the ratio of the initial stellar mass to the critical mass.


title: Degenerations and Fibrations of K3 Surfaces: Lattice Polarisations and Mirror Symmetry

abstract: Tyurin degenerations of K3 surfaces are degenerations whose central fibre consists of a pair of rational surfaces glued along a smooth elliptic curve. We study the lattice theory of such Tyurin degenerations, establishing a notion of lattice polarisation that is compatible with existing definitions for the general fibre and the rational surfaces comprising the central fibre. We separately consider elliptically fibred K3 surfaces, where the base of the fibration admits a splitting into a pair of discs with specified monodromy around the boundary. In this setting we establish a notion of lattice polarisation for the induced elliptic fibrations over discs, which is compatible with the existing definition for K3 surfaces. Finally, we discuss the mirror symmetric correspondence between these two settings.


title: DarkDNS: Revisiting the Value of Rapid Zone Update

abstract: Malicious actors exploit the DNS namespace to launch spam campaigns, phishing attacks, malware, and other harmful activities. Combating these threats requires visibility into domain existence, ownership and nameservice activity that the DNS protocol does not itself provide. To facilitate visibility and security-related study of the expanding gTLD namespace, ICANN introduced the Centralized Zone Data Service (CZDS) that shares daily zone file snapshots of new gTLD zones. However, a remarkably high concentration of malicious activity is associated with domains that do not live long enough make it into these daily snapshots. Using public and private sources of newly observed domains to identify this activity, we discover that even with the best available data there is a considerable visibility gap. We find that the daily snapshots miss at least 1% of newly registered and short-lived domains, which are almost always registered with malicious intent. In reducing this critical visibility gap using public sources of data, we demonstrate how more timely access to TLD zone changes can help better prevent abuse. We hope that this work sparks a discussion in the community on how to effectively and safely revive the concept of sharing Rapid Zone Updates for security research.