title: A Framework of Landsat-8 Band Selection based on UMDA for Deforestation Detection

abstract: The conservation of tropical forests is a current subject of social and ecological relevance due to their crucial role in the global ecosystem. Unfortunately, millions of hectares are deforested and degraded each year. Therefore, government or private initiatives are needed for monitoring tropical forests. In this sense, this work proposes a novel framework, which uses of distribution estimation algorithm (UMDA) to select spectral bands from Landsat-8 that yield a better representation of deforestation areas to guide a semantic segmentation architecture called DeepLabv3+. In performed experiments, it was possible to find several compositions that reach balanced accuracy superior to 90% in segment classification tasks. Furthermore, the best composition (651) found by UMDA algorithm fed the DeepLabv3+ architecture and surpassed in efficiency and effectiveness all compositions compared in this work.


title: When a Language Question Is at Stake. A Revisited Approach to Label Sensitive Content

abstract: Many under-resourced languages require high-quality datasets for specific tasks such as offensive language detection, disinformation, or misinformation identification. However, the intricacies of the content may have a detrimental effect on the annotators. The article aims to revisit an approach of pseudo-labeling sensitive data on the example of Ukrainian tweets covering the Russian-Ukrainian war. Nowadays, this acute topic is in the spotlight of various language manipulations that cause numerous disinformation and profanity on social media platforms. The conducted experiment highlights three main stages of data annotation and underlines the main obstacles during machine annotation. Ultimately, we provide a fundamental statistical analysis of the obtained data, evaluation of models used for pseudo-labelling, and set further guidelines on how the scientists can leverage the corpus to execute more advanced research and extend the existing data samples without annotators' engagement.


title: Geometric Fiber Classification of Morphisms and a Geometric Approach to Cylindrical Algebraic Decomposition

abstract: Cylindrical Algebraic Decomposition (CAD) is a classical construction in real algebraic geometry. The original cylindrical algebraic decomposition was proposed by Collins, using the classical elimination theory. In this paper, we first study the geometric fibers cardinality classification problem of morphisms of affine varieties (over a field of characteristic 0), using a constructive version of Grothendieck's Generic Freeness Lemma and Parametric Hermite Quadratic Forms, then we show how cylindrical algebraic decomposition is related to this classification problem. This provides a new geometric view of Cylindrical Algebraic Decomposition and a new theory of Cylindrical Algebraic Decomposition is developed in this paper.


title: User-Centric Deployment of Automated Program Repair at Bloomberg

abstract: Automated program repair (APR) tools have unlocked the potential for the rapid rectification of codebase issues. However, to encourage wider adoption of program repair in practice, it is necessary to address the usability concerns related to generating irrelevant or out-of-context patches. When software engineers are presented with patches they deem uninteresting or unhelpful, they are burdened with more "noise" in their workflows and become less likely to engage with APR tools in future. This paper presents a novel approach to optimally time, target, and present auto-generated patches to software engineers. To achieve this, we designed, developed, and deployed a new tool dubbed B-Assist, which leverages GitHub's Suggested Changes interface to seamlessly integrate automated suggestions into active pull requests (PRs), as opposed to creating new, potentially distracting PRs. This strategy ensures that suggestions are not only timely, but also contextually relevant and delivered to engineers most familiar with the affected code. Evaluation among Bloomberg software engineers demonstrated their preference for this approach. From our user study, B-Assist's efficacy is evident, with the acceptance rate of patch suggestions being as high as 74.56%; engineers also found the suggestions valuable, giving usefulness ratings of at least 4 out of 5 in 78.2% of cases. Further, this paper sheds light on persisting usability challenges in APR and lays the groundwork for enhancing the user experience in future APR tools.


title: Mind the map! Accounting for existing map information when estimating online HDMaps from sensor

abstract: While HDMaps are a crucial component of autonomous driving, they are expensive to acquire and maintain. Estimating these maps from sensors therefore promises to significantly lighten costs. These estimations however overlook existing HDMaps, with current methods at most geolocalizing low quality maps or considering a general database of known maps. In this paper, we propose to account for existing maps of the precise situation studied when estimating HDMaps. We identify 3 reasonable types of useful existing maps (minimalist, noisy, and outdated). We also introduce MapEX, a novel online HDMap estimation framework that accounts for existing maps. MapEX achieves this by encoding map elements into query tokens and by refining the matching algorithm used to train classic query based map estimation models. We demonstrate that MapEX brings significant improvements on the nuScenes dataset. For instance, MapEX - given noisy maps - improves by 38% over the MapTRv2 detector it is based on and by 8% over the current SOTA.


title: Electromagnetic Counterparts Powered by Kicked Remnants of Black Hole Binary Mergers in AGN Disks

abstract: The disk of an active galactic nucleus (AGN) is widely regarded as a prominent formation channel of binary black hole (BBH) mergers that can be detected through gravitational waves (GWs). Besides, the presence of dense environmental gas offers the potential for an embedded BBH merger to produce electromagnetic (EM) counterparts. In this paper, we investigate EM emission powered by the kicked remnant of a BBH merger occurring within the AGN disk. The remnant BH will launch a jet via accreting magnetized medium as it traverses the disk. The resulting jet will decelerate and dissipate energy into a lateral cocoon during its propagation. We explore three radiation mechanisms of the jet cocoon system: jet breakout emission, disk cocoon cooling emission, and jet cocoon cooling emission, and find that the jet cocoon cooling emission is more likely to be detected in its own frequency bands. We predict a soft X-ray transient, lasting for O($10^3$) s, to serve as an EM counterpart, of which the time delay O(10) days after the GW trigger contributes to follow-up observations. Consequently, BBH mergers in the AGN disk represent a novel multimessenger source. In the future, enhanced precision in measuring and localizing GWs, coupled with diligent searches for such associated EM signal, will effectively validate or restrict the origin of BBH mergers in the AGN disk.


title: Minimizing the Homogeneous $\mathcal{L}_2$-Gain of Homogeneous Differentiators

abstract: The differentiation of noisy signals using the family of homogeneous differentiators is considered. It includes the high-gain (linear) as well as robust exact (discontinuous) differentiator. To characterize the effect of noise and disturbance on the differentiation estimation error, the generalized, homogeneous $\mathcal{L}_2$-gain is utilized. Analog to the classical $\mathcal{L}_p$-gain, it is not defined for the discontinuous case w.r.t. disturbances acting on the last channel. Thus, only continuous differentiators are addressed. The gain is estimated using a differential dissipation inequality, where a scaled Lyapunov function acts as storage function for the homogeneous $\mathcal{L}_2$ supply rate. The fixed differentiator gains are scaled with a gain-scaling parameter similar to the high-gain differentiator. This paper shows the existence of an optimal scaling which (locally) minimizes the homogeneous $\mathcal{L}_2$-gain estimate and provides a procedure to obtain it. Differentiators of dimension two are considered and the results are illustrated via numerical evaluation and a simulation example.


title: Unveiling spatial patterns of population in Italian municipalities

abstract: We study the evolution of population density across Italian municipalities on the based of their trajectories in the Moran space. We find evidence of spatial dynamical patterns of concentrated urban growth, urban sprawl, agglomeration, and depopulation. Over the long run, three distinct settlement systems emerge: urban, suburban, and rural. We discuss how estimating these demographic trends at the municipal level can help the design and validation of policies contrasting the socio-economic decline in specific Italian areas, as in the case of the Italian National Strategy for Inner Areas (Strategia Nazionale per le Aree Interne, SNAI).


title: The Non-Hermitian Skin Effect With Three-Dimensional Long-Range Coupling

abstract: We study the non-Hermitian skin effect in a three-dimensional system of finitely many subwavelength resonators with an imaginary gauge potential. We introduce a discrete approximation of the eigenmodes and eigenfrequencies of the system in terms of the eigenvectors and eigenvalues of the so-called gauge capacitance matrix $\mathcal{C}_N^\gamma$, which is a dense matrix due to long-range interactions in the system. Based on translational invariance of this matrix and the decay of its off-diagonal entries, we prove the condensation of the eigenmodes at one edge of the structure by showing the exponential decay of its pseudo-eigenvectors. In particular, we consider a range-k approximation to keep the long-range interaction to a certain extent, thus obtaining a k-banded gauge capacitance matrix $\mathcal{C}_{N,k}^\gamma$ . Using techniques for Toeplitz matrices and operators, we establish the exponential decay of the pseudo-eigenvectors of $\mathcal{C}_{N,k}^\gamma$ and demonstrate that they approximate those of the gauge capacitance matrix $\mathcal{C}_N^\gamma$ well. Our results are numerically verified. In particular, we show that long-range interactions affect only the first eigenmodes in the system. As a result, a tridiagonal approximation of the gauge capacitance matrix, similar to the nearest-neighbour approximation in quantum mechanics, provides a good approximation for the higher modes. Moreover, we also illustrate numerically the behaviour of the eigenmodes and the stability of the non-Hermitian skin effect with respect to disorder in a variety of three-dimensional structures.

categories: math.AP cond-mat.mtrl-sci math-ph math.MP


title: Enhancing Object Coherence in Layout-to-Image Synthesis

abstract: Layout-to-image synthesis is an emerging technique in conditional image generation. It aims to generate complex scenes, where users require fine control over the layout of the objects in a scene. However, it remains challenging to control the object coherence, including semantic coherence (e.g., the cat looks at the flowers or not) and physical coherence (e.g., the hand and the racket should not be misaligned). In this paper, we propose a novel diffusion model with effective global semantic fusion (GSF) and self-similarity feature enhancement modules to guide the object coherence for this task. For semantic coherence, we argue that the image caption contains rich information for defining the semantic relationship within the objects in the images. Instead of simply employing cross-attention between captions and generated images, which addresses the highly relevant layout restriction and semantic coherence separately and thus leads to unsatisfying results shown in our experiments, we develop GSF to fuse the supervision from the layout restriction and semantic coherence requirement and exploit it to guide the image synthesis process. Moreover, to improve the physical coherence, we develop a Self-similarity Coherence Attention (SCA) module to explicitly integrate local contextual physical coherence into each pixel's generation process. Specifically, we adopt a self-similarity map to encode the coherence restrictions and employ it to extract coherent features from text embedding. Through visualization of our self-similarity map, we explore the essence of SCA, revealing that its effectiveness is not only in capturing reliable physical coherence patterns but also in enhancing complex texture generation. Extensive experiments demonstrate the superiority of our proposed method in both image generation quality and controllability.


title: Removing Adverse Volumetric Effects From Trained Neural Radiance Fields

abstract: While the use of neural radiance fields (NeRFs) in different challenging settings has been explored, only very recently have there been any contributions that focus on the use of NeRF in foggy environments. We argue that the traditional NeRF models are able to replicate scenes filled with fog and propose a method to remove the fog when synthesizing novel views. By calculating the global contrast of a scene, we can estimate a density threshold that, when applied, removes all visible fog. This makes it possible to use NeRF as a way of rendering clear views of objects of interest located in fog-filled environments. Additionally, to benchmark performance on such scenes, we introduce a new dataset that expands some of the original synthetic NeRF scenes through the addition of fog and natural environments. The code, dataset, and video results can be found on our project page: https://vegardskui.com/fognerf/


title: Quantum intersection and union

abstract: In information theory, we often use intersection and union of the typical sets to analyze various communication problems. However, in the quantum setting it is not very clear how to construct a measurement which behaves analogous to intersection and union of the typical sets. In this work, we construct a projection operator which behaves very similar to intersection and union of the typical sets. Our construction relies on the Jordan's lemma. Using this construction we study the problem of communication over authenticated classical-quantum channels and derive its capacity. As another application of our construction, we study the problem of quantum asymmetric composite hypothesis testing. Further, we also prove a converse for the quantum binary asymmetric hypothesis testing problem which is arguably very similar in spirit to the converse given in the Thomas and Cover book for the classical version of this problem.


title: Utilizing VQ-VAE for End-to-End Health Indicator Generation in Predicting Rolling Bearing RUL

abstract: The prediction of the remaining useful life (RUL) of rolling bearings is a pivotal issue in industrial production. A crucial approach to tackling this issue involves transforming vibration signals into health indicators (HI) to aid model training. This paper presents an end-to-end HI construction method, vector quantised variational autoencoder (VQ-VAE), which addresses the need for dimensionality reduction of latent variables in traditional unsupervised learning methods such as autoencoder. Moreover, concerning the inadequacy of traditional statistical metrics in reflecting curve fluctuations accurately, two novel statistical metrics, mean absolute distance (MAD) and mean variance (MV), are introduced. These metrics accurately depict the fluctuation patterns in the curves, thereby indicating the model's accuracy in discerning similar features. On the PMH2012 dataset, methods employing VQ-VAE for label construction achieved lower values for MAD and MV. Furthermore, the ASTCN prediction model trained with VQ-VAE labels demonstrated commendable performance, attaining the lowest values for MAD and MV.


title: Ripped {\Lambda}CDM: an observational contender to the consensus cosmological model

abstract: Current observations do not rule out the possibility that the Universe might end up in an abrupt event. Different such scenarios may be explored through suitable parameterizations of the dark energy and then confronted to cosmological background data. Here we parameterize a pseudorip scenario using a particular sigmoid function and carry an in-depth multifaceted examination of its evolutionary features and statistical performance. This depiction of a non violent final fate of our cosmos seems to be arguably statistically favoured over the consensus {\Lambda}CDM model according to some Bayesian discriminators.


title: Functional degrees and arithmetic applications III: Beyond Prime Exponent

abstract: We continue our work on group-theoretic generalizations of the prime Ax-Katz Theorem by giving a lower bound on the $p$-adic divisibility of the cardinality of the set of simultaneous zeros $Z(f_1,f_2,\dotsc,f_r)$ of $r$ maps $f_j:A\rightarrow B_j$ between finite commutative $p$-groups $A$ and $B_j$ in terms of the invariant factors of $A,B_1,B_2,\dotsc,B_r$, and the \emph{functional degrees} of the maps $f_1,f_2,\dotsc,f_r$ in the sense of the Aichinger-Moosbauer calculus. Our prior work had treated the special case in which $A$ has prime exponent; the general case brings significant technical complications. Using this together with prior work of Aichinger-Moosbauer and the present authors, we deduce a similar $p$-adic divisibility result on $\# Z(f_1,f_2,\dotsc,f_r)$ for maps $f_j: A\rightarrow B_j$ between any finite commutative groups for any prime $p\mid\# A$.


title: Hyperbolic Circle Packings and Total Geodesic Curvatures on Surfaces with Boundary

abstract: This paper investigates a generalized hyperbolic circle packing (including circles, horocycles or hypercycles) with respect to the total geodesic curvatures on the surface with boundary. We mainly focus on the existence and rigidity of circle packing whose contact graph is the $1$-skeleton of a finite polygonal cellular decomposition, which is analogous to the construction of Bobenko and Springborn [4]. Motivated by Colin de Verdi\`ere's method [6], we introduce the variational principle for generalized hyperbolic circle packings on polygons. By analyzing limit behaviours of generalized circle packings on polygons, we give an existence and rigidity for the generalized hyperbolic circle packing with conical singularities regarding the total geodesic curvature on each vertex of the contact graph. As a consequence, we introduce the combinatoral Ricci flow to find a desired circle packing with a prescribed total geodesic curvature on each vertex of the contact graph.


title: Enhancing the Reliability of Segment Anything Model for Auto-Prompting Medical Image Segmentation with Uncertainty Rectification

abstract: The Segment Anything Model (SAM) has recently emerged as a groundbreaking foundation model for prompt-driven image segmentation tasks. However, both the original SAM and its medical variants require slice-by-slice manual prompting of target structures, which directly increase the burden for applications. Despite attempts of auto-prompting to turn SAM into a fully automatic manner, it still exhibits subpar performance and lacks of reliability especially in the field of medical imaging. In this paper, we propose UR-SAM, an uncertainty rectified SAM framework to enhance the reliability for auto-prompting medical image segmentation. Building upon a localization framework for automatic prompt generation, our method incorporates a prompt augmentation module to obtain a series of input prompts for SAM for uncertainty estimation and an uncertainty-based rectification module to further utilize the distribution of estimated uncertainty to improve the segmentation performance. Extensive experiments on two public 3D medical datasets covering the segmentation of 35 organs demonstrate that without supplementary training or fine-tuning, our method further improves the segmentation performance with up to 10.7 % and 13.8 % in dice similarity coefficient, demonstrating efficiency and broad capabilities for medical image segmentation without manual prompting.


title: Observational bounds on extended minimal theories of massive gravity: New limits on the graviton mass

abstract: In this work, we derive for the first time observational constraints on the extended Minimal Theory of Massive Gravity (eMTMG) framework in light of Planck-CMB data, geometrical measurements from Baryon Acoustic Oscillation (BAO), Type Ia supernovae from the recent Pantheon+ samples, and also using the auto and cross-correlations cosmic shear measurements from KIDS-1000 survey. Given the great freedom of dynamics choice for the theory, we consider an observationally motivated subclass in which the background evolution of the Universe goes through a transition from a (positive or negative) value of the effective cosmological constant to another value. From the statistical point of view, we did not find evidence of such a transition, i.e. deviation from the standard $\Lambda$CDM behavior, and from the joint analysis using Planck + BAO + Pantheon+ data, we constrain the graviton mass to $< 6.6 \times 10^{-34}$ eV at 95% CL. We use KIDS-1000 survey data to constrain the evolution of the scalar perturbations of the model and its limits for the growth of structure predicted by the eMTMG scenario. In this case, we find small evidence at 95% CL for a non-zero graviton mass. We interpret and discuss these results in light of the current tension on the $S_8$ parameter. We conclude that, within the subclass considered, the current data are only able to impose upper bounds on the eMTMG dynamics. Given its potentialities beyond the subclass, eMTMG can be classified as a good candidate for modified gravity, serving as a framework in which observational data can effectively constrain (or confirm) the graviton mass and deviations from the standard $\Lambda$CDM behavior.


title: A priori procedure to establish spinodal decomposition in alloys

abstract: Spinodal decomposition can improve a number of essential properties in materials, especially hardness. Yet, the theoretical prediction of the onset of this phenomenon (e.g., temperature) and its microstructure (e.g., wavelength) often requires input parameters coming from costly and time-consuming experimental efforts, hindering rational materials optimization. Here, we present a procedure where such parameters are not derived from experiments. First, we calculate the spinodal temperature by modeling nucleation in the solid solution while approaching the spinode boundary. Then, we compute the spinodal wavelength self-consistently using a few reasonable approximations. Our results show remarkable agreement with experiments and, for NiRh, the calculated yield strength due to spinodal microstructures surpasses even those of Ni-based superalloys. We believe that this procedure will accelerate the exploration of the complex materials experiencing spinodal decomposition, critical for their macroscopic properties.


title: Directional counting for regular languages

abstract: We explain how certain tools from convex analysis and probability theory may be used in order to obtain counting results for the number of words with prescribed frequencies of letters in regular languages.


title: Parsing Millions of URLs per Second

abstract: URLs are fundamental elements of web applications. By applying vector algorithms, we built a fast standard-compliant C++ implementation. Our parser uses three times fewer instructions than competing parsers following the WHATWG standard (e.g., Servo's rust-url) and up to eight times fewer instructions than the popular curl parser. The Node.js environment adopted our C++ library. In our tests on realistic data, a recent Node.js version (20.0) with our parser is four to five times faster than the last version with the legacy URL parser.


title: Scalar exotic mesons $bb\overline{c}\overline{c}$

abstract: Properties of doubly charged scalar tetraquarks $bb\overline{c}\overline{c}$ are investigated in the framework of the QCD sum rule method. We model them as diquark-antidiquark states $X_{\mathrm{1}}$ and $X_{\mathrm{2}}$ built of axial-vector and pseudoscalar diquarks, respectively. The masses and current couplings of these particles are computed using the QCD two-point sum rule method. Results $m_{1}=(12715 \pm 80)~\mathrm{MeV}$ and $m_{2}=(13370 \pm 95)~\mathrm{MeV}$ obtained for the masses of these particles are used to determine their kinematically allowed decay modes. The full width $\Gamma_{ \mathrm{1}}$ of the state $X_{\mathrm{1}}$ is evaluated by taking into account its strong decays to mesons $2B_{c}^{-}$, and $2B_{c}^{\ast -}$. The processes $X_{\mathrm{2}} \to 2B_{c}^{-}$, $2B_{c}^{\ast -}$ and $ B_{c}^{-}B_{c}^{-}(2S)$ are employed to estimate $\Gamma_{\mathrm{2}}$. Predictions obtained for the full widths $\Gamma_{\mathrm{1}}=(63 \pm 12)~ \mathrm{MeV}$ and $\Gamma_{\mathrm{2}}=(79 \pm 14)~\mathrm{MeV}$ of these structures and their masses may be utilized in experimental studies of fully heavy resonances.


title: Magnetic field-induced phases and spin Hamiltonian in Cs2CoBr4

abstract: Magnetic structures and spin excitations are studied across the phase diagram of the geometrically frustrated S = 3/2 quantum antiferromagnet Cs2CoBr4 in magnetic fields applied along the magnetic easy axis, using neutron diffraction, inelastic neutron scattering and THz absorption spectroscopy. The data are analyzed, where appropriate, using extended SU (4) linear spin wave theory. A minimal magnetic Hamiltonian is proposed based on measurements in the high field polarized state. It deviates considerably from the previously considered models. Additional dilatometry experiments highlight the importance of magnetoelastic coupling in this system.


title: Well-posedness of first-order acoustic wave equations and space-time finite element approximation

abstract: We study a first-order system formulation of the (acoustic) wave equation and prove that the operator of this system is an isomorphsim from an appropriately defined graph space to L^2. The results rely on well-posedness and stability of the weak and ultraweak formulation of the second-order wave equation. As an application we define and analyze a space-time least-squares finite element method for solving the wave equation. Some numerical examples for one- and two- dimensional spatial domains are presented.


title: MedAgents: Large Language Models as Collaborators for Zero-shot Medical Reasoning

abstract: Large language models (LLMs), despite their remarkable progress across various general domains, encounter significant barriers in medicine and healthcare. This field faces unique challenges such as domain-specific terminologies and reasoning over specialized knowledge. To address these issues, we propose MedAgents, a novel multi-disciplinary collaboration framework for the medical domain. MedAgents leverages LLM-based agents in a role-playing setting that participate in a collaborative multi-round discussion, thereby enhancing LLM proficiency and reasoning capabilities. This training-free framework encompasses five critical steps: gathering domain experts, proposing individual analyses, summarising these analyses into a report, iterating over discussions until a consensus is reached, and ultimately making a decision. Our work focuses on the zero-shot setting, which is applicable in real-world scenarios. Experimental results on nine datasets (MedQA, MedMCQA, PubMedQA, and six subtasks from MMLU) establish that our proposed MedAgents framework excels at mining and harnessing the medical expertise within LLMs, as well as extending its reasoning abilities. Our code can be found at https://github.com/gersteinlab/MedAgents.


title: Testing Language Model Agents Safely in the Wild

abstract: A prerequisite for safe autonomy-in-the-wild is safe testing-in-the-wild. Yet real-world autonomous tests face several unique safety challenges, both due to the possibility of causing harm during a test, as well as the risk of encountering new unsafe agent behavior through interactions with real-world and potentially malicious actors. We propose a framework for conducting safe autonomous agent tests on the open internet: agent actions are audited by a context-sensitive monitor that enforces a stringent safety boundary to stop an unsafe test, with suspect behavior ranked and logged to be examined by humans. We design a basic safety monitor (AgentMonitor) that is flexible enough to monitor existing LLM agents, and, using an adversarial simulated agent, we measure its ability to identify and stop unsafe situations. Then we apply the AgentMonitor on a battery of real-world tests of AutoGPT, and we identify several limitations and challenges that will face the creation of safe in-the-wild tests as autonomous agents grow more capable.


title: ToSkA: Topological Skeleton Analysis for Network-Based Shape Representation and Evaluation of Objects from Cells to Death Stars

abstract: Shape analysis and classification are popular methods for biologists, biophysicists and mathematicians investigating relationships between object function and form. Classic shape descriptors, such as sphericity, can be very powerful; however, when evaluating complex shapes, these descriptors can be insufficient for rigorous assessment. Here, we present "ToSkA: Topological Skeleton Analysis" a method to analyse complex objects by representing their shape asymmetries as networks. Using global neighbourhood principles, classic network science metrics and spatial feature embedding we are able to create unique object profiles for classification. It is also possible to track objects over time and extract significantly different shape features between experiments. Importantly, we have incorporated the capacity to measure absolute spatial features of objects (e.g., branch lengths). This adds additional layers of sensitivity to object classification. Furthermore, because topology is an inherent property of system identity, ToSkA is able to identify segmentation errors that alter object topology by observing the emergence or loss of cycles in network representations. Combined, the analytics of ToSkA presented here allow for the flexibility and in-depth shape profiling necessary for complex objects often observed in biological and physical settings where robust, yet precise, system configuration is essential to downstream processes.


title: Completeness in the Polynomial Hierarchy for many natural Problems in Bilevel and Robust Optimization

abstract: Because $\Sigma^p_2$- and $\Sigma^p_3$-hardness proofs are usually tedious and difficult, not so many complete problems for these classes are known. This is especially true in the areas of min-max regret robust optimization, network interdiction, most vital vertex problems, blocker problems, and two-stage adjustable robust optimization problems. Even though these areas are well-researched for over two decades and one would naturally expect many (if not most) of the problems occurring in these areas to be complete for the above classes, almost no completeness results exist in the literature. We address this lack of knowledge by introducing over 70 new $\Sigma^p_2$-complete and $\Sigma^p_3$-complete problems. We achieve this result by proving a new meta-theorem, which shows $\Sigma^p_2$- and $\Sigma^p_3$-completeness simultaneously for a huge class of problems. The majority of all earlier publications on $\Sigma^p_2$- and $\Sigma^p_3$-completeness in said areas are special cases of our meta-theorem. Our precise result is the following: We introduce a large list of problems for which the meta-theorem is applicable (including clique, vertex cover, knapsack, TSP, facility location and many more). For every problem on this list, we show: The interdiction/minimum cost blocker/most vital nodes problem (with element costs) is $\Sigma^p_2$-complete. The min-max-regret problem with interval uncertainty is $\Sigma^p_2$-complete. The two-stage adjustable robust optimization problem with discrete budgeted uncertainty is $\Sigma^p_3$-complete. In summary, our work reveals the interesting insight that a large amount of NP-complete problems have the property that their min-max versions are 'automatically' $\Sigma^p_2$-complete.


title: Detection of Offensive and Threatening Online Content in a Low Resource Language

abstract: Hausa is a major Chadic language, spoken by over 100 million people in Africa. However, from a computational linguistic perspective, it is considered a low-resource language, with limited resources to support Natural Language Processing (NLP) tasks. Online platforms often facilitate social interactions that can lead to the use of offensive and threatening language, which can go undetected due to the lack of detection systems designed for Hausa. This study aimed to address this issue by (1) conducting two user studies (n=308) to investigate cyberbullying-related issues, (2) collecting and annotating the first set of offensive and threatening datasets to support relevant downstream tasks in Hausa, (3) developing a detection system to flag offensive and threatening content, and (4) evaluating the detection system and the efficacy of the Google-based translation engine in detecting offensive and threatening terms in Hausa. We found that offensive and threatening content is quite common, particularly when discussing religion and politics. Our detection system was able to detect more than 70% of offensive and threatening content, although many of these were mistranslated by Google's translation engine. We attribute this to the subtle relationship between offensive and threatening content and idiomatic expressions in the Hausa language. We recommend that diverse stakeholders participate in understanding local conventions and demographics in order to develop a more effective detection system. These insights are essential for implementing targeted moderation strategies to create a safe and inclusive online environment.


title: A Tale of Unrealized Hope: Hardware Performance Counter Against Cache Attacks

abstract: This paper investigates an emerging cache side channel attack defense approach involving the use of hardware performance counters (HPCs). These counters monitor microarchitectural events and analyze statistical deviations to differentiate between malicious and benign software. With numerous proposals and promising reported results, we seek to investigate whether published HPC-based detection methods are evaluated in a proper setting and under the right assumptions, such that their quality can be ensured for real-word deployment against cache side-channel attacks. To achieve this goal, this paper presents a comprehensive evaluation and scrutiny of existing literature on the subject matter in a form of a survey, accompanied by experimental evidences to support our evaluation.


title: Joint covariance properties under geometric image transformations for spatio-temporal receptive fields according to the generalized Gaussian derivative model for visual receptive fields

abstract: The influence of natural image transformations on receptive field responses is crucial for modelling visual operations in computer vision and biological vision. In this regard, covariance properties with respect to geometric image transformations in the earliest layers of the visual hierarchy are essential for expressing robust image operations, and for formulating invariant visual operations at higher levels. This paper defines and proves a set of joint covariance properties under compositions of spatial scaling transformations, spatial affine transformations, Galilean transformations and temporal scaling transformations, which make it possible to characterize how different types of image transformations interact with each other and the associated spatio-temporal receptive field responses. In this regard, we also extend the notion of scale-normalized derivatives to affine-normalized derivatives, to be able to obtain true affine-covariant properties of spatial derivatives, that are computed based on spatial smoothing with affine Gaussian kernels. The derived relations show how the parameters of the receptive fields need to be transformed, in order to match the output from spatio-temporal receptive fields under composed spatio-temporal image transformations. As a side effect, the presented proof for the joint covariance property over the integrated combination of the different geometric image transformations also provides specific proofs for the individual transformation properties, which have not previously been fully reported in the literature. The paper also presents an in-depth theoretical analysis of geometric interpretations of the derived covariance properties, as well as outlines a number of biological interpretations of these results.


title: Mutual Coupling in RIS-Aided Communication: Model Training and Experimental Validation

abstract: This paper investigates the mutual coupling in reconfigurable intelligent surface (RIS)-aided communication. Despite the existence of several mutual coupling-aware models for RIS-aided communication, the absence of experimental validation remains a notable gap. To fill this void, this work delves into the recently proposed mutual coupling-aware communication model based on scattering matrices. Utilizing a fabricated 1bit quasi-passive RIS prototype operating in the mmWave band, we first propose a novel model training approach based on a single 3D full-wave simulation of the RIS radiation pattern, enabling the estimation of the scattering matrix among RIS unit cells. Subsequently, the trained model is validated via both full-wave simulations and experimental measurements on the real RIS prototype. Compared with the conventional communication model without accounting for mutual coupling in RIS, the utilized mutual coupling-aware model, incorporating trained scattering parameters, showcases a more accurate prediction performance. Benchmarked against the full-wave simulated RIS radiation pattern, the trained model can reduce the prediction error by up to 10.6 %. Meanwhile, the S-parameter between the Tx and Rx antennas is measured, validating that the trained model exhibits a closer alignment with the experimental measurements. Such results affirm the correctness of the adopted model and the effectiveness of the proposed model training method.


title: The $A_{\alpha}$-spectra of graph operations based on generalized (edge) corona

abstract: Let $G, H_{i}$ be simple graphs with $n=|V(G)|$, $m=|E(G)|$ and $i=1, 2, \ldots, n(m)$. The generalized corona, denoted $G\tilde{o}\wedge^{n}_{i=1} H_{i}$, is the graph obtained by taking one copy of graphs $G, H_{1},\ldots, H_{n}$ and joining the $i$th vertex of $G$ to every vertex of $H_{i}$ for $1 \leq i \leq n$. The generalized edge corona, denoted by $G[H_i]_1^m$, is the graph obtained by taking one copy of graphs $G, H_{1},\ldots, H_{m}$ and then joining two end-vertices of the $i$th edge of $G$ to every vertex of $H_{i}$ for $1 \leq i \leq m$. For any real $\alpha\in[0,1]$, the matrix $A_{\alpha}(G)=\alpha D(G)+(1-\alpha)A(G)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the degree matrix of a graph $G$, respectively. In this paper, we obtain the $A_{\alpha}$-characteristic polynomial of $G\tilde{o}\wedge^{n}_{i=1} H_{i}$, which extends some known results. Meanwhile, we determine the $A_{\alpha}$-characteristic polynomial of $G[H_i]_1^m$ and get the $A_{\alpha}$-spectrum of $G[H_i]_1^m$ when $G$ and $H_i$ are regular graphs for $1\le i\le m$. As an application of the above conclusions, we construct infinitely many pairs of non-regular $A_{\alpha}$-cospectral graphs.


title: Alignment via friction for nonisothermal multicomponent fluid systems

abstract: The derivation of an approximate Class-I model for nonisothermal multicomponent systems of fluids, as the high-friction limit of a Class-II model is justified, by validating the Chapman-Enskog expansion performed from the Class-II model towards the Class-I model. The analysis proceeds by comparing two thermomechanical theories via relative entropy.


title: Study of Early time attractor with Longitudinal Forces with Bjorken Symmetry

abstract: We study the effect of external proper time-dependent longitudinal forces on the evolution of the distribution function using the Boltzmann Equation with a relaxation time collision kernel under Bjorken flow. We derive an exact solution and study the early time attractor behaviour of different components of energy-momentum tensor under Bjorken symmetry. We show that the arbitrary initial data approaches the attractor solution but is influenced by the external force with slightly broken Bjorken symmetry.


title: Efficient Profit Maximization in Reliability Concerned Static Vehicular Cloud System

abstract: Modern electric VUs are equipped with a variety of increasingly potent computing, communication, and storage resources, and with this tremendous computation power in their arsenal can be used to enhance the computing power of regular cloud systems, which is termed as vehicular cloud. Unlike in the traditional cloud computing resources, these vehicular cloud resource moves around and participates in the vehicular cloud for a sporadic duration at parking places, shopping malls, etc. This introduces the dynamic nature of vehicular resource participation in the vehicular cloud. As the user-submitted task gets allocated on these vehicular units for execution and the dynamic stay nature of vehicular units, enforce the system to ensure the reliability of task execution by allocating multiple redundant vehicular units for the task. In this work, we are maximizing the profit of vehicular cloud by ensuring the reliability of task execution where user tasks come online manner with different revenue, execution, and deadline. We propose an efficient approach to solve this problem by considering (a) task classification based on the deadline and laxity of the task, (b) ordering of tasks for task admission based on the expected profit of the task, (c) classification of vehicular units based in expected residency time and reliability concerned redundant allocation of tasks of vehicular units considering this classification and (d) handing dynamic scenario of the vehicular unit leaving the cloud system by copying the maximum percentage of executed virtual machine of the task to the substitute unit. We compared our proposed profit maximization approach with the state of art approach and showed that our approach outperforms the state of art approach with an extra 10\% to 20\% profit margin.


title: Archtree: on-the-fly tree-structured exploration for latency-aware pruning of deep neural networks

abstract: Deep neural networks (DNNs) have become ubiquitous in addressing a number of problems, particularly in computer vision. However, DNN inference is computationally intensive, which can be prohibitive e.g. when considering edge devices. To solve this problem, a popular solution is DNN pruning, and more so structured pruning, where coherent computational blocks (e.g. channels for convolutional networks) are removed: as an exhaustive search of the space of pruned sub-models is intractable in practice, channels are typically removed iteratively based on an importance estimation heuristic. Recently, promising latency-aware pruning methods were proposed, where channels are removed until the network reaches a target budget of wall-clock latency pre-emptively estimated on specific hardware. In this paper, we present Archtree, a novel method for latency-driven structured pruning of DNNs. Archtree explores multiple candidate pruned sub-models in parallel in a tree-like fashion, allowing for a better exploration of the search space. Furthermore, it involves on-the-fly latency estimation on the target hardware, accounting for closer latencies as compared to the specified budget. Empirical results on several DNN architectures and target hardware show that Archtree better preserves the original model accuracy while better fitting the latency budget as compared to existing state-of-the-art methods.


title: RONAALP: Reduced-Order Nonlinear Approximation with Active Learning Procedure

abstract: Many engineering applications rely on the evaluation of expensive, non-linear high-dimensional functions. In this paper, we propose the RONAALP algorithm (Reduced Order Nonlinear Approximation with Active Learning Procedure) to incrementally learn a fast and accurate reduced-order surrogate model of a target function on-the-fly as the application progresses. First, the combination of nonlinear auto-encoder, community clustering and radial basis function networks allows to learn an efficient and compact surrogate model with limited training data. Secondly, the active learning procedure overcome any extrapolation issue when evaluating the surrogate model outside of its initial training range during the online stage. This results in generalizable, fast and accurate reduced-order models of high-dimensional functions. The method is demonstrated on three direct numerical simulations of hypersonic flows in chemical nonequilibrium. Accurate simulations of these flows rely on detailed thermochemical gas models that dramatically increase the cost of such calculations. Using RONAALP to learn a reduced-order thermodynamic model surrogate on-the-fly, the cost of such simulation was reduced by up to 75% while maintaining an error of less than 10% on relevant quantities of interest.


title: A Tutorial on 5G Positioning

abstract: The widespread adoption of the fifth generation (5G) of cellular networks has brought new opportunities for the development of localization-based services. High-accuracy positioning use cases and functionalities defined by the standards are drawing the interest of vertical industries. In the transition towards the deployment, this paper aims to provide an in-depth tutorial on 5G positioning, summarizing the evolutionary path that led to the standardization of cellular-based positioning, describing the localization elements in current and forthcoming releases of the Third Generation Partnership Project (3GPP) standard, and the major research trends. By providing fundamental notions on wireless localization, comprehensive definitions of measurements and architectures, examples of algorithms, and details on simulation approaches, this paper is intended to represent an exhaustive guide for researchers and practitioners. Our approach aims to merge practical aspects of enabled use cases and related requirements with theoretical methodologies and fundamental bounds, allowing to understand the trade-off between system complexity and achievable, i.e., tangible, benefits of 5G positioning services. We analyze the performance of 3GPP Rel-16 positioning by standard-compliant simulations in realistic outdoor and indoor propagation environments, investigating the impact of the system configuration and the limitations to be resolved for delivering accurate positioning solutions.


title: Analysis of Quantum Steering Measures

abstract: The effect of quantum steering describes a possible action at a distance via local measurements. In the last few years, several criteria have been proposed to detect this type of correlation in quantum systems. However, there are few approaches presented in order to measure the degree of steerability of a given system. In this work, we are interested in investigating possible ways to quantify quantum steering, where we based our analysis on different criteria presented in the literature.


title: Beginner's guide to visual analysis of perovskite and organic solar cell current density-voltage characteristics

abstract: The current density-voltage characteristic (JV) is a critical tool for understanding the behaviour of solar cells. In this article, we present an overview of the key aspects of JV analysis and introduce a user-friendly flowchart that facilitates the swift identification of the most probable limiting process in a solar cell, based mainly on the outcomes of light-intensity-dependent JV measurements. The flowchart was developed through extensive drift-diffusion simulations and a rigorous review of the literature, with a specific focus on perovskite and organic solar cells. Moreover, the flowchart proposes supplementary experiments that can be conducted to obtain a more precise prediction of the primary performance losses. It therefore serves as an optimal starting point to analyse performance losses of solar cells.


title: Simulation method of urban evacuation based on mesoscopic cellular automata

abstract: This study integrates pedestrian flow characteristics to formulate a mesoscopic cellular automata model tailored for simulating evacuations in large-scale scenarios. Departing from the conventional planar grid cell division, the model employs road cell segmentation, thereby physically enlarging the dimensions of individual cells. This augmentation accommodates an increased occupancy of individuals per cell, representing pedestrian flow parameters within each cell through state variables. The source loading cell facilitates the simulation of pedestrian behavior transitioning from buildings to roads during an actual evacuation event, while the unloading cell situated at the exit removes evacuees from the system. The continuity equation for state transitions comprehensively encapsulates the dynamics of pedestrians throughout the evacuation process. Potential challenges in actual evacuation processes are identified through the simulation, offering valuable insights for improvement. This research aims to contribute to a more effective and informed approach to evacuation planning and management.


title: First-principles investigation of the magnetoelectric properties of Ba$_7$Mn$_4$O$_{15}$

abstract: Type-II multiferroics, in which the magnetic order breaks inversion symmetry, are appealing for both fundamental and applied research due their intrinsic coupling between magnetic and electrical orders. Using first-principles calculations we study the ground state magnetic behaviour of Ba$_7$Mn$_4$O$_{15}$ which has been classified as a type-II multiferroic in recent experiments. Our constrained moment calculations with the proposed experimental magnetic structure shows the spontaneous emergence of a polar mode giving rise to an electrical polarisation comparable to other known type-II multiferroics. When the constraints on the magnetic moments are removed, the spins self-consistently relax into a canted antiferromagnetic ground state configuration where two magnetic modes transforming as distinct irreducible representations coexist. While the dominant magnetic mode matches well with the previous experimental observations, the second mode is found to possess a different character resulting in a non-polar ground state. Interestingly, the non-polar magnetic ground state exhibits a significantly strong linear magnetoelectric coupling comparable to the well-known multiferroic BiFeO$_3$, suggesting strategies to design new linear magnetoelectrics.


title: Gas Gains Over 10$^4$ and Optimisation using $^{55}$Fe X-rays in Low Pressure SF$_6$ with a Novel Multi-Mesh ThGEM for Directional Dark Matter Searches

abstract: The Negative Ion Drift (NID) gas SF$_6$ has favourable properties for track reconstruction in directional Dark Matter (DM) searches utilising low pressure gaseous Time Projection Chambers (TPCs). However, the electronegative nature of the gas means that it is more difficult to achieve significant gas gains with regular Thick Gaseous Electron Multipliers (ThGEMs). Typically, the maximum attainable gas gain in SF$_6$ and other Negative Ion (NI) gas mixtures, previously achieved with an $^{55}$Fe X-ray source or electron beam, is on the order of $10^3$; whereas electron drift gases like CF$_4$ and similar mixtures are readily capable of reaching gas gains on the order of $10^4$ or greater. In this paper, a novel two stage Multi-Mesh ThGEM (MMThGEM) structure is presented. The MMThGEM was used to amplify charge liberated by an $^{55}$Fe X-ray source in 40 Torr of SF$_6$. By expanding on previously demonstrated results, the device was pushed to its sparking limit and stable gas gains up to $\sim$50000 were observed. The device was further optimised by varying the field strengths of both the collection and transfer regions in isolation. Following this optimisation procedure, the device was able to produce a maximum stable gas gain of $\sim$90000. These results demonstrate an order of magnitude improvement in gain with the NID gas over previously reported values and ultimately benefits the sensitivity of a NITPC to low energy recoils in the context of a directional DM search.


title: Cohen-Grossberg neural networks with unpredictable and Poisson stable dynamics

abstract: In this paper, Cohen-Grossberg neural networks with unpredictable and compartmental periodic unpredictable strengths of connectivity between cells and inputs are investigated. To approve Poisson stability and unpredictability in neural networks, the method of included intervals and contraction mapping principle are used. The existence, uniqueness, and exponential stability of unpredictable and Poisson stable outputs are discussed. Examples with numerical simulations that support the theoretical results are provided. The dependence of the neural network dynamics on the numerical characteristic, the degree of periodicity, is shown.


title: Machine Learning Assisted Characterization of Labyrinthine Pattern Transitions

abstract: We present a comprehensive approach to characterizing labyrinthine structures that often emerge as a final steady state in pattern forming systems. We employ machine learning based pattern recognition techniques to identify the types and locations of topological defects of the local stripe ordering to augment conventional Fourier analysis. A pair distribution function analysis of the topological defects reveals subtle differences between labyrinthine structures which are beyond the conventional characterization methods. We utilize our approach to highlight a clear morphological transition between two zero-field labyrinthine structures in single crystal Bi substituted Yttrium Iron Garnet films. An energy landscape picture is proposed to understand the athermal dynamics that governs the observed morphological transition. Our work demonstrates that machine learning based recognition techniques enable novel studies of rich and complex labyrinthine type structures universal to many pattern formation systems.


title: Superradiance in the Kerr-Taub-NUT spacetime

abstract: Superradiance is the effect of field waves being amplified during reflection from a charged or rotating black hole. In this paper, we study the low-energy dynamics of super-radiant scattering of massive scalar and massless higher spin field perturbations in a generic axisymmetric stationary Kerr-Taub-NUT (Newman-Unti-Tamburino) spacetime, which represents sources with both gravitomagnetic monopole moment (magnetic mass) and gravitomagnetic dipole moment (angular momentum). We obtain a generalized Teukolsky master equation for all spin perturbation fields. The equations are separated into their angular and radial parts. The angular equations lead to spin-weighted spheroidal harmonic functions that generalize those in Kerr spacetime. We identify an effective spin as a coupling between frequency (or energy) and the NUT parameter. The behaviors of the radial wave function near the horizon and at the infinite boundary are studied. We provide analytical expressions for low-energy observables such as emission rates and cross sections of all massless fields with spin, including scalar, neutrino, electromagnetic, Rarita-Schwinger, and gravitational waves.


title: Fluctuation-induced currents in suspended graphene nanoribbons: Adiabatic quantum pumping approach

abstract: Graphene nanoribbons (GNRs) are thin strips of graphene with unique properties due to their structure and nanometric dimensions. They stand out as basic components for the construction of different types of nanoelectromechanical systems (NEMS), including some very promising sensors and pumps. However, various phenomena, such as unintended mechanical vibrations, can induce undesired electrical currents in these devices. Here, we take a quantum mechanical approach to analyze how currents induced by fluctuations (either thermal or of some other kind) in suspended GNRs contribute to the electric current. In particular, we study the pumping current induced by the adiabatic variation of the Hamiltonian of the system when a transverse vibration (flexural mode) of a GNR suspended over a gate is excited. Our theoretical approach and results provide useful tools and rules of thumb to understand and control the charge current induced by fluctuations in GNR-based NEMS, which is important for their applications in nanoscale sensors, pumps, and energy harvesting devices.


title: A Universal Framework for Multiport Network Analysis of Reconfigurable Intelligent Surfaces

abstract: Reconfigurable intelligent surface (RIS) is an emerging paradigm able to control the propagation environment in wireless systems. Most of the research on RIS has been dedicated to system optimization and, with the advent of beyond diagonal RIS (BD-RIS), to RIS architecture design. However, developing general and unified electromagnetic (EM)-consistent models for RIS-aided systems remains an open problem. In this study, we propose a universal framework for the multiport network analysis of RIS-aided systems. With our framework, we model RIS-aided systems and RIS architectures through impedance, admittance, and scattering parameter analysis. Based on these analyses, three equivalent models are derived accounting for the effects of impedance mismatching and mutual coupling. The three models are then simplified by assuming large transmission distances, perfect matching, and no mutual coupling to understand the role of the RIS in the communication model. The derived simplified models are consistent with the typical model used in related literature, although we show that an additional approximation is commonly considered in the literature. We discuss the benefits of each analysis in characterizing and optimizing the RIS and how to select the most suitable parameters according to the needs. Numerical results provide additional evidence of the equivalence of the three analyses.


title: Random pure Gaussian states and Hawking radiation

abstract: A black hole evaporates by Hawking radiation. Each mode of that radiation is thermal. If the total state is nevertheless to be pure, modes must be entangled. Estimating the minimum size of this entanglement has been an important outstanding issue. We develop a new theory of constrained random symplectic transformations, based on that the total state is pure and Gaussian with given marginals. In the random constrained symplectic model we then compute the distribution of mode-mode correlations, from which we bound mode-mode entanglement. Modes of frequency much larger than $\frac{k_B T_{H}(t)}{\hbar}$ are not populated at time $t$ and drop out of the analysis. Among the other modes find that correlations and hence entanglement between relatively thinly populated modes (early-time high-frequency modes and/or late modes of any frequency) to be strongly suppressed. Relatively highly populated modes (early-time low-frequency modes) can on the other hand be strongly correlated, but a detailed analysis reveals that they are nevertheless also weakly entangled. Our analysis hence establishes that restoring unitarity after a complete evaporation of a black hole does not require strong quantum entanglement between any pair of Hawking modes. Our analysis further gives exact general expressions for the distribution of mode-mode correlations in random, pure, Gaussian states with given marginals, which may have applications beyond black hole physics.


title: Accelerating ILP solvers for Minimum Flow Decompositions through search space and dimensionality reductions

abstract: Given a flow network, the Minimum Flow Decomposition (MFD) problem is finding the smallest possible set of weighted paths whose superposition equals the flow. It is a classical, strongly NP-hard problem that is proven to be useful in RNA transcript assembly and applications outside of Bioinformatics. We improve an existing ILP (Integer Linear Programming) model by Dias et al. [RECOMB 2022] for DAGs by decreasing the solver's search space using solution safety and several other optimizations. This results in a significant speedup compared to the original ILP, of up to 55-90x on average on the hardest instances. Moreover, we show that our optimizations apply also to MFD problem variants, resulting in similar speedups, going up to 123x on the hardest instances. We also developed an ILP model of reduced dimensionality for an MFD variant in which the solution path weights are restricted to a given set. This model can find an optimal MFD solution for most instances, and overall, its accuracy significantly outperforms that of previous greedy algorithms while being up to an order of magnitude faster than our optimized ILP.


title: Unification of Decoupling Limits in String and M-theory

abstract: We study and extend the duality web unifying different decoupling limits of type II superstring theories and M-theory. We systematically build connections to different corners, such as Matrix theories, nonrelativistic string and M-theory, tensionless (and ambitwistor) string theory, Carrollian string theory, and Spin Matrix limits of AdS/CFT. We discuss target space, worldsheet, and worldvolume aspects of these limits in arbitrary curved backgrounds.


title: Worldsheet Formalism for Decoupling Limits in String Theory

abstract: We study the bosonic sector of a decoupling limit of type IIA superstring theory, where a background Ramond-Ramond one-form is fined tuned to its critical value, such that it cancels the associated background D0-brane tension. The light excitations in this critical limit are D0-branes, whose dynamics is described by the Banks-Fischler-Shenker-Susskind (BFSS) Matrix theory that corresponds to M-theory in the Discrete Light-Cone Quantization (DLCQ). We develop the worldsheet formalism for the fundamental string in the same critical limit of type IIA superstring theory. We show that the fundamental string develops singularities on its worldsheet, whose topology is described by nodal Riemann spheres as in ambitwistor string theory. We study the T-duality transformations of this string sigma model and provide a worldsheet derivation for the recently revived and expanded duality web that unifies a zoo of decoupling limits in type II superstring theories. By matching the string worldsheet actions, we demonstrate how some of these decoupling limits are related to tensionless (and ambitwistor) string theory, Carrollian string theory, the Spin Matrix limits of the AdS/CFT correspondence, and more.


title: Hamiltonian Forging of a Thermofield Double

abstract: We address the variational preparation of the Thermofield Double state (TFD) as the ground state of a suitably engineered Hamiltonian acting on the doubled Hilbert space. Through the use of the entanglement forging ansatz, we propose a solution that involves only circuits of width $N$. We illustrate the method with generic fermionic hamiltonians. The free fermion case can be solved in closed form, and yields a warm start state for the variational circuits whenever interactions are present.


title: Cross-Modal Search and Exploration of Greek Painted Pottery

abstract: This paper focuses on digitally-supported research methods for an important group of cultural heritage objects, the Greek pottery, especially with figured decoration. The design, development and application of new digital methods for searching, comparing, and visually exploring these vases needs an interdisciplinary approach to effectively analyse the various features of the vases, like shape, decoration, and manufacturing techniques, and relationships between the vases. We motivate the need and opportunities by a multimodal representation of the objects, including 3D shape, material, and painting. We then illustrate a range of innovative methods for these representations, including quantified surface and capacity comparison, material analysis, image flattening from 3D objects, retrieval and comparison of shapes and paintings, and multidimensional data visualization. We also discuss challenges and future work in this area.


title: Phase Guided Light Field for Spatial-Depth High Resolution 3D Imaging

abstract: On 3D imaging, light field cameras typically are of single shot, and however, they heavily suffer from low spatial resolution and depth accuracy. In this paper, by employing an optical projector to project a group of single high-frequency phase-shifted sinusoid patterns, we propose a phase guided light field algorithm to significantly improve both the spatial and depth resolutions for off-the-shelf light field cameras. First, for correcting the axial aberrations caused by the main lens of our light field camera, we propose a deformed cone model to calibrate our structured light field system. Second, over wrapped phases computed from patterned images, we propose a stereo matching algorithm, i.e. phase guided sum of absolute difference, to robustly obtain the correspondence for each pair of neighbored two lenslets. Finally, by introducing a virtual camera according to the basic geometrical optics of light field imaging, we propose a reorganization strategy to reconstruct 3D point clouds with spatial-depth high resolution. Experimental results show that, compared with the state-of-the-art active light field methods, the proposed reconstructs 3D point clouds with a spatial resolution of 1280$\times$720 with factors 10$\times$ increased, while maintaining the same high depth resolution and needing merely a single group of high-frequency patterns.


title: Kondo effect in the isotropic Heisenberg spin chain

abstract: We investigate the boundary effects that arise when spin-$\frac{1}{2}$ impurities interact with the edges of the antiferromagnetic spin-$\frac{1}{2}$ Heisenberg chain through spin exchange interactions. We consider both cases when the couplings are ferromagnetic or anti-ferromagnetic. We find that in the case of antiferromagnetic interaction, when the impurity coupling strength is much weaker than that in the bulk, the impurity is screened in the ground state via the Kondo effect. The Kondo phase is characterized by the Lorentzian density of states and dynamically generated Kondo temperature $T_K$. As the impurity coupling strength increases, $T_K$ increases until it reaches its maximum value $T_0=2\pi J$ which is the maximum energy carried by a single spinon. When the impurity coupling strength is increased further, we enter another phase, the bound mode phase, where the impurity is screened in the ground state by a single particle bound mode exponentially localized at the edge to which the impurity is coupled. We find that the impurity can be unscreened by removing the bound mode. There exists a boundary eigenstate phase transition between the Kondo and the bound-mode phases, a transition which is characterized by the change in the number of towers of the Hilbert space. The transition also manifests itself in ground state quantities like local impurity density of states and the local impurity magnetization. When the impurity coupling is ferromagnetic, the impurity is unscreened in the ground state; however, when the absolute value of the ratio of the impurity and bulk coupling strengths is greater than $\frac{4}{5}$, the impurity can be screened by adding a bound mode that costs energy greater than $T_0$. When two impurities are considered, the phases exhibited by each impurity remain unchanged in the thermodynamic limit, but nevertheless the system exhibits a rich phase diagram.

categories: cond-mat.str-el cond-mat.stat-mech math-ph math.MP quant-ph


title: Combining Methods for Localization of Linear Focusing Errors

abstract: The primary objective of accelerator tuning is to correct its linear optics. This involves adjusting a large set of parameters, such as quadrupole lens gradients and alignment errors, as well as addressing various calibration errors in beam position monitors (BPMs) and other components. These errors can significantly impact the accelerator performance. Using the full set of parameters might reduce the correction efficiency. Typically, it is advisable to prioritize the correction of large errors, as their localization can enhance the overall efficiency of the correction process. The task of error localization involves identifying the locations of potential error sources, along with their type. This paper explores and compares several commonly used error localization methods, using the SKIF model to test and evaluate their efficiency. Employing multiple methods enables cross-validation of the results obtained from the error localization process. The combined results from several localization methods improve the overall accuracy of error localization.


title: Direct Amortized Likelihood Ratio Estimation

abstract: We introduce a new amortized likelihood ratio estimator for likelihood-free simulation-based inference (SBI). Our estimator is simple to train and estimates the likelihood ratio using a single forward pass of the neural estimator. Our approach directly computes the likelihood ratio between two competing parameter sets which is different from the previous approach of comparing two neural network output values. We refer to our model as the direct neural ratio estimator (DNRE). As part of introducing the DNRE, we derive a corresponding Monte Carlo estimate of the posterior. We benchmark our new ratio estimator and compare to previous ratio estimators in the literature. We show that our new ratio estimator often outperforms these previous approaches. As a further contribution, we introduce a new derivative estimator for likelihood ratio estimators that enables us to compare likelihood-free Hamiltonian Monte Carlo (HMC) with random-walk Metropolis-Hastings (MH). We show that HMC is equally competitive, which has not been previously shown. Finally, we include a novel real-world application of SBI by using our neural ratio estimator to design a quadcopter. Code is available at https://github.com/SRI-CSL/dnre.


title: SSB: Simple but Strong Baseline for Boosting Performance of Open-Set Semi-Supervised Learning

abstract: Semi-supervised learning (SSL) methods effectively leverage unlabeled data to improve model generalization. However, SSL models often underperform in open-set scenarios, where unlabeled data contain outliers from novel categories that do not appear in the labeled set. In this paper, we study the challenging and realistic open-set SSL setting, where the goal is to both correctly classify inliers and to detect outliers. Intuitively, the inlier classifier should be trained on inlier data only. However, we find that inlier classification performance can be largely improved by incorporating high-confidence pseudo-labeled data, regardless of whether they are inliers or outliers. Also, we propose to utilize non-linear transformations to separate the features used for inlier classification and outlier detection in the multi-task learning framework, preventing adverse effects between them. Additionally, we introduce pseudo-negative mining, which further boosts outlier detection performance. The three ingredients lead to what we call Simple but Strong Baseline (SSB) for open-set SSL. In experiments, SSB greatly improves both inlier classification and outlier detection performance, outperforming existing methods by a large margin. Our code will be released at https://github.com/YUE-FAN/SSB.


title: The WHaD diagram: Classifying the ionizing source with one single emission line

abstract: The usual approach to classify the ionizing source using optical spectroscopy is based on the use of diagnostic diagrams that compares the relative strength of pairs of collisitional metallic lines (e.g., [O iii] and [N ii]) with respect to recombination hydrogen lines (e.g., H{\beta} and H{\alpha}). Despite of being accepted as the standard procedure, it present known problems, including confusion regimes and/or limitations related to the required signal-to-noise of the involved emission lines. These problems affect not only our intrinsic understanding of inter-stellar medium and its poroperties, but also fundamental galaxy properties, such as the star-formation rate and the oxygen abundance, and key questions just as the fraction of active galactic nuclei, among several others. We explore the existing alternatives in the literature to minimize the confusion among different ionizing sources and proposed a new simple diagram that uses the equivalent width and the velocity dispersion from one single emission line, H{\alpha}, to classify the ionizing sources. We use aperture limited and spatial resolved spectroscopic data in the nearby Universe (z{\sim}0.01) to demonstrate that the new diagram, that we called WHaD, segregates the different ionizing sources in a more efficient way that previously adopted procedures. A new set of regions are defined in this diagram to select betweeen different ionizing sources. The new proposed diagram is well placed to determine the ionizing source when only H{\alpha} is available, or when the signal-to-noise of the emission lines involved in the classical diagnostic diagrams (e.g., H{\beta}).


title: Beating the spectroscopic Rayleigh limit via post-processed heterodyne detection

abstract: Quantum-inspired superresolution methods surpass the Rayleigh limit in imaging, or the analogous Fourier limit in spectroscopy. This is achieved by carefully extracting the information carried in the emitted optical field by engineered measurements. An alternative to complex experimental setups is to use simple homodyne detection and customized data analysis. We experimentally investigate this method in the time-frequency domain and demonstrate the spectroscopic superresolution for two distinct types of light sources: thermal and phase-averaged coherent states. The experimental results are backed by theoretical predictions based on estimation theory.


title: Axisymmetric flows with swirl for Euler and Navier-Stokes equations

abstract: We consider the incompressible axisymmetric Navier-Stokes equations with swirl as an idealized model for tornado-like flows. Assuming an infinite vortex line which interacts with a boundary surface resembles the tornado core, we look for stationary self-similar solutions of the axisymmetric Euler and axisymmetric Navier-Stokes equations. We are particularly interested in the connection of the two problems in the zero-viscosity limit. First, we construct a class of explicit stationary self-similar solutions for the axisymmetric Euler equations. Second, we consider the possibility of discontinuous solutions and prove that there do not exist self-similar stationary Euler solutions with slip discontinuity. This nonexistence result is extended to a class of flows where there is mass input or mass loss through the vortex core. Third, we consider solutions of the Euler equations as zero-viscosity limits of solutions to Navier-Stokes. Using techniques from the theory of Riemann problems for conservation laws, we prove that, under certain assumptions, stationary self-similar solutions of the axisymmetric Navier-Stokes equations converge to stationary self-similar solutions of the axisymmetric Euler equations as $\nu\to0$. This allows to characterize the type of Euler solutions that arise via viscosity limits.


title: A resolution theorem for extriangulated categories with applications to the index

abstract: Quillen's Resolution Theorem in algebraic $K$-theory provides a powerful computational tool for calculating $K$-groups of exact categories. At the level of $K_0$, this result goes back to Grothendieck. In this article, we first establish an extriangulated version of Grothendieck's Resolution Theorem. Second, we use this Extriangulated Resolution Theorem to gain new insight into the index theory of triangulated categories. Indeed, we propose an index with respect to an extension-closed subcategory $\mathscr{N}$ of a triangulated category $\mathscr{C}$ and we prove an additivity formula with error term. Our index recovers the index with respect to a contravariantly finite, rigid subcategory $\mathscr{X}$ defined by J{\o}rgensen and the second author, as well as an isomorphism between $K_0^{\mathsf{sp}}(\mathscr{X})$ and the Grothendieck group of a relative extriangulated structure $\mathscr{C}_{R}^{\mathscr{X}}$ on $\mathscr{C}$ when $\mathscr{X}$ is $n$-cluster tilting. In addition, we generalize and enhance some results of Fedele. Our perspective allows us to remove certain restrictions and simplify some arguments. Third, as another application of our Extriangulated Resolution Theorem, we show that if $\mathscr{X}$ is $n$-cluster tilting in an abelian category, then the index introduced by Reid gives an isomorphism $K_0(\mathscr{C}_R^{\mathscr{X}}) \cong K_0^{\mathsf{sp}}(\mathscr{X})$.


title: Contextual Refinement Types

abstract: We develop an extension of the proof environment Beluga with datasort refinement types and study its impact on mechanized proofs. In particular, we introduce refinement schemas, which provide fine-grained classification for the structures of contexts and binders. Refinement schemas are helpful in concisely representing certain proofs that rely on relations between contexts. Our formulation of refinements combines the type checking and sort checking phases into one by viewing typing derivations as outputs of sorting derivations. This allows us to cleanly state and prove the conservativity of our extension.


title: An Interpretation of E-HA$^w$ inside HA$^w$

abstract: Higher Type Arithmetic (HA$^w$) is a first-order many-sorted theory. It is a conservative extension of Heyting Arithmetic obtained by extending the syntax of terms to all of System T: the objects of interest here are the functionals of higher types. While equality between natural numbers is specified by the axioms of Peano, how can equality between functionals be defined? From this question, different versions of HA$^w$ arise, such as an extensional version (E-HA$^w$) and an intentional version (I-HA$^w$). In this work, we will see how the study of partial equivalence relations leads us to design a translation by parametricity from E-HA$^w$ to HA$^w$.


title: Graph Neural Networks for Pressure Estimation in Water Distribution Systems

abstract: Pressure and flow estimation in Water Distribution Networks (WDN) allows water management companies to optimize their control operations. For many years, mathematical simulation tools have been the most common approach to reconstructing an estimate of the WDN hydraulics. However, pure physics-based simulations involve several challenges, e.g. partially observable data, high uncertainty, and extensive manual configuration. Thus, data-driven approaches have gained traction to overcome such limitations. In this work, we combine physics-based modeling and Graph Neural Networks (GNN), a data-driven approach, to address the pressure estimation problem. First, we propose a new data generation method using a mathematical simulation but not considering temporal patterns and including some control parameters that remain untouched in previous works; this contributes to a more diverse training data. Second, our training strategy relies on random sensor placement making our GNN-based estimation model robust to unexpected sensor location changes. Third, a realistic evaluation protocol considers real temporal patterns and additionally injects the uncertainties intrinsic to real-world scenarios. Finally, a multi-graph pre-training strategy allows the model to be reused for pressure estimation in unseen target WDNs. Our GNN-based model estimates the pressure of a large-scale WDN in The Netherlands with a MAE of 1.94mH$_2$O and a MAPE of 7%, surpassing the performance of previous studies. Likewise, it outperformed previous approaches on other WDN benchmarks, showing a reduction of absolute error up to approximately 52% in the best cases.


title: Implicit Maximum a Posteriori Filtering via Adaptive Optimization

abstract: Bayesian filtering approximates the true underlying behavior of a time-varying system by inverting an explicit generative model to convert noisy measurements into state estimates. This process typically requires either storage, inversion, and multiplication of large matrices or Monte Carlo estimation, neither of which are practical in high-dimensional state spaces such as the weight spaces of artificial neural networks. Here, we frame the standard Bayesian filtering problem as optimization over a time-varying objective. Instead of maintaining matrices for the filtering equations or simulating particles, we specify an optimizer that defines the Bayesian filter implicitly. In the linear-Gaussian setting, we show that every Kalman filter has an equivalent formulation using K steps of gradient descent. In the nonlinear setting, our experiments demonstrate that our framework results in filters that are effective, robust, and scalable to high-dimensional systems, comparing well against the standard toolbox of Bayesian filtering solutions. We suggest that it is easier to fine-tune an optimizer than it is to specify the correct filtering equations, making our framework an attractive option for high-dimensional filtering problems.


title: LUNA-CIM: Lookup Table based Programmable Neural Processing in Memory

abstract: This paper presents a novel approach for performing computations using Look-Up Tables (LUTs) tailored specifically for Compute-in-Memory applications. The aim is to address the scalability challenges associated with LUT-based computation by reducing storage requirements and energy consumption while capitalizing on the faster and more energy-efficient nature of look-up methods compared to conventional mathematical computations. The proposed method leverages a divide and conquer (D&C) strategy to enhance the scalability of LUT-based computation. By breaking down high-precision multiplications into lower-precision operations, the technique achieves significantly lower area overheads, up to approximately 3.7 times less than conventional LUT-based approaches, without compromising accuracy. To validate the effectiveness of the proposed method, extensive simulations using TSMC 65 nm technology were conducted. The experimental analysis reveals that the proposed approach accounts for less than 0.1\% of the total energy consumption, with only a 32\% increase in area overhead. These results demonstrate considerable improvements achieved in energy efficiency and area utilization through the novel low-energy, low-area-overhead LUT-based computation in an SRAM array.


title: Human motion trajectory prediction using the Social Force Model for real-time and low computational cost applications

abstract: Human motion trajectory prediction is a very important functionality for human-robot collaboration, specifically in accompanying, guiding, or approaching tasks, but also in social robotics, self-driving vehicles, or security systems. In this paper, a novel trajectory prediction model, Social Force Generative Adversarial Network (SoFGAN), is proposed. SoFGAN uses a Generative Adversarial Network (GAN) and Social Force Model (SFM) to generate different plausible people trajectories reducing collisions in a scene. Furthermore, a Conditional Variational Autoencoder (CVAE) module is added to emphasize the destination learning. We show that our method is more accurate in making predictions in UCY or BIWI datasets than most of the current state-of-the-art models and also reduces collisions in comparison to other approaches. Through real-life experiments, we demonstrate that the model can be used in real-time without GPU's to perform good quality predictions with a low computational cost.


title: Interpolation properties for the bimodal provability logic $\mathbf{GR}$

abstract: We study interpolation properties for Shavrukov's bimodal logic $\mathbf{GR}$ of usual and Rosser provability predicates. For this purpose, we introduce a new sublogic $\mathbf{GR}^\circ$ of $\mathbf{GR}$ and its relational semantics. Based on our new semantics, we prove that $\mathbf{GR}^\circ$ and $\mathbf{GR}$ enjoy Lyndon interpolation property and uniform interpolation property.


title: Searching for activated transitions in complex magnetic systems

abstract: The process of finding activated transitions in localized spin systems with continuous degrees of freedom is developed based on a magnetic variant of the Activation-Relaxation Technique (mART). In addition to the description of the method and the relevant local properties of the magnetic energy landscape, a criterion to efficiently recognize failed attempts and an expression for the step magnitude to control the convergence are proposed irrespective of the physical system under study. The present implementation is validated on two translational symmetric systems with isotropic exchange interactions. Then, in one example, diffusion processes of a skyrmion vacancy and a skyrmion interstitial are revealed for a skyrmion system on a square spin lattice. In another example, the set of activation events about a metastable state of a 2D dipolar spin glass is investigated and the corresponding energy barrier distribution is found. Detailed inspection of the transition states reveals the participation of nearest neighbour pairs affording a simplified analytical understanding.


title: Popularity on the 3D-Euclidean Stable Roommates

abstract: We study the 3D-Euclidean Multidimensional Stable Roommates problem, which asks whether a given set $V$ of $s\cdot n$ agents with a location in 3-dimensional Euclidean space can be partitioned into $n$ disjoint subsets $\pi = \{R_1 ,\dots , R_n\}$ with $|R_i| = s$ for each $R_i \in \pi$ such that $\pi$ is (strictly) popular, where $s$ is the room size. A partitioning is popular if there does not exist another partitioning in which more agents are better off than worse off. Computing a popular partition in a stable roommates game is NP-hard, even if the preferences are strict. The preference of an agent solely depends on the distance to its roommates. An agent prefers to be in a room where the sum of the distances to its roommates is small. We show that determining the existence of a strictly popular outcome in a 3D-Euclidean Multidimensional Stable Roommates game with room size $3$ is co-NP-hard.


title: Game Manipulators -- the Strategic Implications of Binding Contracts

abstract: Commitment devices are powerful tools that can influence and incentivise certain behaviours by linking them to rewards or punishments. These devices are particularly useful in decision-making, as they can steer individuals towards specific choices. In the field of game theory, commitment devices can alter a player's payoff matrix, ultimately changing the game's Nash equilibria. Interestingly, agents, whom we term game manipulators and who can be external to the original game, can leverage such devices to extract fees from players by making them contingent offers that modify the payoffs of their actions. This can result in a different Nash equilibrium with potentially lower payoffs for the players compared to the original game. For this scheme to work, it is required that all commitments be binding, meaning that once an offer is made, it cannot be revoked. Consequently, we analyse binding contracts as the commitment mechanism that enables game manipulation scenarios. The main focus of this study is to formulate the logic of this setting, expand its scope to encompass more intricate schemes, and analyse the behaviour of regret-minimizing agents in scenarios involving game manipulation.


title: Countering Misinformation via Emotional Response Generation

abstract: The proliferation of misinformation on social media platforms (SMPs) poses a significant danger to public health, social cohesion and ultimately democracy. Previous research has shown how social correction can be an effective way to curb misinformation, by engaging directly in a constructive dialogue with users who spread -- often in good faith -- misleading messages. Although professional fact-checkers are crucial to debunking viral claims, they usually do not engage in conversations on social media. Thereby, significant effort has been made to automate the use of fact-checker material in social correction; however, no previous work has tried to integrate it with the style and pragmatics that are commonly employed in social media communication. To fill this gap, we present VerMouth, the first large-scale dataset comprising roughly 12 thousand claim-response pairs (linked to debunking articles), accounting for both SMP-style and basic emotions, two factors which have a significant role in misinformation credibility and spreading. To collect this dataset we used a technique based on an author-reviewer pipeline, which efficiently combines LLMs and human annotators to obtain high-quality data. We also provide comprehensive experiments showing how models trained on our proposed dataset have significant improvements in terms of output quality and generalization capabilities.


title: Direct Observation of Entangled Electronic-Nuclear Wave Packets

abstract: We present momentum resolved covariance measurements of entangled electronic-nuclear wave packets created and probed with octave spanning phaselocked ultrafast pulses. We launch vibrational wave packets on multiple electronic states via multi-photon absorption, and probe these wave packets via strong field double ionization using a second phaselocked pulse. Momentum resolved covariance mapping of the fragment ions highlights the nuclear motion, while measurements of the yield as a function of the relative phase between pump and probe pulses highlight the electronic coherence. The combined measurements allow us to directly visualize the entanglement between the electronic and nuclear degrees of freedom and follow the evolution of the complete wavefunction.


title: On CCGG, the De Donder-Weyl Hamiltonian formulation of canonical gauge gravity

abstract: This paper gives a brief overview of the manifestly covariant canonical gauge gravity (CCGG) that is rooted in the De Donder-Weyl Hamiltonian formulation of relativistic field theories, and the proven methodology of the canonical transformation theory. That framework derives, from a few basic physical and mathematical assumptions, equations describing generic matter and gravity dynamics with the spin connection emerging as a Yang Mills-type gauge field. While the interaction of any matter field with spacetime is fixed just by the transformation property of that field, a concrete gravity ansatz is introduced by the choice of the free (kinetic) gravity Hamiltonian. The key elements of this approach are discussed and its implications for particle dynamics and cosmology presented. Among the results are especially: - Anomalous Pauli coupling of spinors to curvature and torsion of spacetime, - spacetime with (A)dS ground state, inertia, torsion and geometrical vacuum energy, - Zero-energy balance of the Universe leading to a vanishing cosmological constant and torsional dark energy.


title: EduGym: An Environment and Notebook Suite for Reinforcement Learning Education

abstract: Due to the empirical success of reinforcement learning, an increasing number of students study the subject. However, from our practical teaching experience, we see students entering the field (bachelor, master and early PhD) often struggle. On the one hand, textbooks and (online) lectures provide the fundamentals, but students find it hard to translate between equations and code. On the other hand, public codebases do provide practical examples, but the implemented algorithms tend to be complex, and the underlying test environments contain multiple reinforcement learning challenges at once. Although this is realistic from a research perspective, it often hinders educational conceptual understanding. To solve this issue we introduce EduGym, a set of educational reinforcement learning environments and associated interactive notebooks tailored for education. Each EduGym environment is specifically designed to illustrate a certain aspect/challenge of reinforcement learning (e.g., exploration, partial observability, stochasticity, etc.), while the associated interactive notebook explains the challenge and its possible solution approaches, connecting equations and code in a single document. An evaluation among RL students and researchers shows 86% of them think EduGym is a useful tool for reinforcement learning education. All notebooks are available from https://www.edugym.org/, while the full software package can be installed from https://github.com/RLG-Leiden/edugym.


title: FOCAL: A Cost-Aware Video Dataset for Active Learning

abstract: In this paper, we introduce the FOCAL (Ford-OLIVES Collaboration on Active Learning) dataset which enables the study of the impact of annotation-cost within a video active learning setting. Annotation-cost refers to the time it takes an annotator to label and quality-assure a given video sequence. A practical motivation for active learning research is to minimize annotation-cost by selectively labeling informative samples that will maximize performance within a given budget constraint. However, previous work in video active learning lacks real-time annotation labels for accurately assessing cost minimization and instead operates under the assumption that annotation-cost scales linearly with the amount of data to annotate. This assumption does not take into account a variety of real-world confounding factors that contribute to a nonlinear cost such as the effect of an assistive labeling tool and the variety of interactions within a scene such as occluded objects, weather, and motion of objects. FOCAL addresses this discrepancy by providing real annotation-cost labels for 126 video sequences across 69 unique city scenes with a variety of weather, lighting, and seasonal conditions. We also introduce a set of conformal active learning algorithms that take advantage of the sequential structure of video data in order to achieve a better trade-off between annotation-cost and performance while also reducing floating point operations (FLOPS) overhead by at least 77.67%. We show how these approaches better reflect how annotations on videos are done in practice through a sequence selection framework. We further demonstrate the advantage of these approaches by introducing two performance-cost metrics and show that the best conformal active learning method is cheaper than the best traditional active learning method by 113 hours.


title: D\'etection d'objets c\'elestes dans des images astronomiques par IA explicable

abstract: Amateur and professional astronomers can easily capture a large number of deep sky images with recent smart telescopes. However, afterwards verification is still required to check whether the celestial objects targeted are actually visible in the images produced. Depending on the magnitude of the targets, the observation conditions and the time during which the data is captured, it is possible that only stars are present in the images. In this study, we propose an approach based on explainable Artificial Intelligence to automatically detect the presence and position of captured objects. -- -- Gr\^ace \`a l'apport des t\'elescopes automatis\'es grand public, les astronomes amateurs et professionnels peuvent capturer facilement une grande quantit\'e d'images du ciel profond (comme par exemple les galaxies, n\'ebuleuses, ou amas globulaires). N\'eanmoins, une v\'erification reste n\'ecessaire \`a post\'eriori pour v\'erifier si les objets c\'elestes vis\'es sont effectivement visibles dans les images produites: cela d\'epend notamment de la magnitude des cibles, des conditions d'observation mais aussi de la dur\'ee pendant laquelle les donn\'ees sont captur\'ees. Dans cette \'etude, nous proposons une approche bas\'ee sur l'IA explicable pour d\'etecter automatiquement la pr\'esence et la position des objets captur\'es.


title: Generation and New Infinite Families of $K_2$-hypohamiltonian Graphs

abstract: We present an algorithm which can generate all pairwise non-isomorphic $K_2$-hypohamiltonian graphs, i.e. non-hamiltonian graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, of a given order. We introduce new bounding criteria specifically designed for $K_2$-hypohamiltonian graphs, allowing us to improve upon earlier computational results. Specifically, we characterise the orders for which $K_2$-hypohamiltonian graphs exist and improve existing lower bounds on the orders of the smallest planar and the smallest bipartite $K_2$-hypohamiltonian graphs. Furthermore, we describe a new operation for creating $K_2$-hypohamiltonian graphs that preserves planarity under certain conditions and use it to prove the existence of a planar $K_2$-hypohamiltonian graph of order $n$ for every integer $n\geq 134$. Additionally, motivated by a theorem of Thomassen on hypohamiltonian graphs, we show the existence $K_2$-hypohamiltonian graphs with large maximum degree and size.


title: Assessing Quantum Computing Performance for Energy Optimization in a Prosumer Community

abstract: The efficient management of energy communities relies on the solution of the "prosumer problem", i.e., the problem of scheduling the household loads on the basis of the user needs, the electricity prices, and the availability of local renewable energy, with the aim of reducing costs and energy waste. Quantum computers can offer a significant breakthrough in treating this problem thanks to the intrinsic parallel nature of quantum operations. The most promising approach is to devise variational hybrid algorithms, in which quantum computation is driven by parameters that are optimized classically, in a cycle that aims at finding the best solution with a significant speed-up with respect to classical approaches. This paper provides a reformulation of the prosumer problem, allowing to address it with a hybrid quantum algorithm, namely, Quantum Approximate Optimization Algorithm (QAOA), and with a recent variant, the Recursive QAOA. We report on an extensive set of experiments, on simulators and real quantum hardware, for different problem sizes. Results are encouraging in that Recursive QAOA is able, for problems involving up to 10 qubits, to provide optimal and admissible solutions with good probabilities, while the computation time is nearly independent of the system size