title: TCP Slice: A semi-distributed TCP algorithm for Delay-constrained Applications

abstract: The TCP congestion control protocol serves as the cornerstone of reliable internet communication. However, as new applications require more specific guarantees regarding data rate and delay, network management must adapt. Thus, service providers are shifting from decentralized to centralized control of the network using a software-defined network controller (SDN). The SDN classifies applications and allocates logically separate resources called slices, over the physical network. We propose TCP Slice, a congestion control algorithm that meets specific delay and bandwidth guarantees. Obtaining closed-form delay bounds for a client is challenging due to dependencies on other clients and their traffic stochasticity. We use network calculus to derive the client's delay bound and incorporate it as a constraint in the Network Utility Maximization problem. We solve the resulting optimization using dual decomposition and obtain a semi-distributed TCP protocol that can be implemented with the help of SDN controller and the use of an Explicit Congestion Notification (ECN) bit. Additionally, we also propose a proactive approach for congestion control using digital twin. TCP Slice represents a significant step towards accommodating evolving internet traffic patterns and the need for better network management in the face of increasing application diversity.


title: Extreme-value modelling of migratory bird arrival dates: Insights from citizen science data

abstract: Citizen science mobilises many observers and gathers huge datasets but often without strict sampling protocols, which results in observation biases due to heterogeneity in sampling effort that can lead to biased statistical inferences. We develop a spatiotemporal Bayesian hierarchical model for bias-corrected estimation of arrival dates of the first migratory bird individuals at a breeding site. Higher sampling effort could be correlated with earlier observed dates. We implement data fusion of two citizen-science datasets with sensibly different protocols (BBS, eBird) and map posterior distributions of the latent process, which contains four spatial components with Gaussian process priors: species niche; sampling effort; position and scale parameters of annual first date of arrival. The data layer includes four response variables: counts of observed eBird locations (Poisson); presence-absence at observed eBird locations (Binomial); BBS occurrence counts (Poisson); first arrival dates (Generalized Extreme-Value). We devise a Markov Chain Monte Carlo scheme and check by simulation that the latent process components are identifiable. We apply our model to several migratory bird species in the northeastern US for 2001--2021. The sampling effort is shown to significantly modulate the observed first arrival date. We exploit this relationship to effectively debias predictions of the true first arrival dates.


title: FeaInfNet: Diagnosis in Medical Image with Feature-Driven Inference and Visual Explanations

abstract: Interpretable deep learning models have received widespread attention in the field of image recognition. Due to the unique multi-instance learning of medical images and the difficulty in identifying decision-making regions, many interpretability models that have been proposed still have problems of insufficient accuracy and interpretability in medical image disease diagnosis. To solve these problems, we propose feature-driven inference network (FeaInfNet). Our first key innovation involves proposing a feature-based network reasoning structure, which is applied to FeaInfNet. The network of this structure compares the similarity of each sub-region image patch with the disease templates and normal templates that may appear in the region, and finally combines the comparison of each sub-region to make the final diagnosis. It simulates the diagnosis process of doctors to make the model interpretable in the reasoning process, while avoiding the misleading caused by the participation of normal areas in reasoning. Secondly, we propose local feature masks (LFM) to extract feature vectors in order to provide global information for these vectors, thus enhancing the expressive ability of the FeaInfNet. Finally, we propose adaptive dynamic masks (Adaptive-DM) to interpret feature vectors and prototypes into human-understandable image patches to provide accurate visual interpretation. We conducted qualitative and quantitative experiments on multiple publicly available medical datasets, including RSNA, iChallenge-PM, Covid-19, ChinaCXRSet, and MontgomerySet. The results of our experiments validate that our method achieves state-of-the-art performance in terms of classification accuracy and interpretability compared to baseline methods in medical image diagnosis. Additional ablation studies verify the effectiveness of each of our proposed components.


title: The CURE To Vulnerabilities in RPKI Validation

abstract: Over recent years, the Resource Public Key Infrastructure (RPKI) has seen increasing adoption, with now 37.8% of the major networks filtering bogus BGP routes. Systems interact with the RPKI over Relying Party (RP) implementations that fetch RPKI objects and feed BGP routers with the validated prefix-ownership data. Consequently, any vulnerabilities or flaws within the RP software can substantially threaten the stability and security of Internet routing. We uncover severe flaws in all popular RP implementations, making them susceptible to path traversal attacks, remotely triggered crashes, and inherent inconsistencies, violating RPKI standards. We report a total of 18 vulnerabilities that canbe exploited to downgrade RPKI validation in border routers or, worse, enable poisoning of the validation process, resulting in malicious prefixes being wrongfully validated and legitimate RPKI-covered prefixes failing validation. Furthermore, our research discloses inconsistencies in the validation process, with two popular implementations leaving 8149 prefixes unprotected from hijacks, 6405 of which belong to Amazon. While these findings are significant in their own right, our principal contribution lies in developing CURE, the first-of-its-kind system to systematically detect bugs, vulnerabilities, and RFC compliance issues in RP implementations via automated test generation. CURE is a powerful RPKI publication point emulator that enables easy and efficient fuzzing of complex RP validation pipelines. It is designed with a set of novel techniques, utilizing differential and stateful fuzzing. We generated over 600 million test cases and tested all popular RPs on them. Following our disclosure, the vendors already assigned CVEs to the vulnerabilities we found.


title: On determining the chemical composition of planetary nebulae

abstract: We present literature on abundance determinations in planetary nebulae (PN) as well as public tools that can be used to derive them. Concerning direct methods to derive abundances we discuss in some depth such issues as reddening correction, use of proper densities and temperatures to compute the abundances, correction for unseen ionic stages, effect of stellar absorption on nebular spectra, and error analysis. Concerning photoionization model-fitting, we discuss the necessary ingredients of model stellar atmospheres, the problem of incomplete slit covering and the determination of the goodness of fit. A note on the use of IFU observations is given. The still unsolved problem of temperature fluctuations is briefly presented, with references to more detailed papers. The problem of abundance discrepancies is touched upon with reference to more extensive discussions in the present volume. Finally carbon footprint issues are mentioned in the context of extensive PN modeling and large databases.


title: Fair Division via Quantile Shares

abstract: We consider the problem of fair division, where a set of indivisible goods should be distributed fairly among a set of agents with combinatorial valuations. To capture fairness, we adopt the notion of shares, where each agent is entitled to a fair share, based on some fairness criterion, and an allocation is considered fair if the value of every agent (weakly) exceeds her fair share. A share-based notion is considered universally feasible if it admits a fair allocation for every profile of monotone valuations. A major question arises: is there a non-trivial share-based notion that is universally feasible? The most well-known share-based notions, namely proportionality and maximin share, are not universally feasible, nor are any constant approximations of them. We propose a novel share notion, where an agent assesses the fairness of a bundle by comparing it to her valuation in a random allocation. In this framework, a bundle is considered $q$-quantile fair, for $q\in[0,1]$, if it is at least as good as a bundle obtained in a uniformly random allocation with probability at least $q$. Our main question is whether there exists a constant value of $q$ for which the $q$-quantile share is universally feasible. Our main result establishes a strong connection between the feasibility of quantile shares and the classical Erd\H{o}s Matching Conjecture. Specifically, we show that if a version of this conjecture is true, then the $\frac{1}{2e}$-quantile share is universally feasible. Furthermore, we provide unconditional feasibility results for additive, unit-demand and matroid-rank valuations for constant values of $q$. Finally, we discuss the implications of our results for other share notions.


title: Low-frequency pulse-jitter measurement with the uGMRT I : PSR J0437$-$4715

abstract: High-precision pulsar timing observations are limited in their accuracy by the jitter noise that appears in the arrival time of pulses. Therefore, it is important to systematically characterise the amplitude of the jitter noise and its variation with frequency. In this paper, we provide jitter measurements from low-frequency wideband observations of PSR J0437$-$4715 using data obtained as part of the Indian Pulsar Timing Array experiment. We were able to detect jitter in both the 300 - 500 MHz and 1260 - 1460 MHz observations of the upgraded Giant Metrewave Radio Telescope (uGMRT). The former is the first jitter measurement for this pulsar below 700 MHz, and the latter is in good agreement with results from previous studies. In addition, at 300 - 500 MHz, we investigated the frequency dependence of the jitter by calculating the jitter for each sub-banded arrival time of pulses. We found that the jitter amplitude increases with frequency. This trend is opposite as compared to previous studies, indicating that there is a turnover at intermediate frequencies. It will be possible to investigate this in more detail with uGMRT observations at 550 - 750 MHz and future high sensitive wideband observations from next generation telescopes, such as the Square Kilometre Array. We also explored the effect of jitter on the high precision dispersion measure (DM) measurements derived from short duration observations. We find that even though the DM precision will be better at lower frequencies due to the smaller amplitude of jitter noise, it will limit the DM precision for high signal-to-noise observations, which are of short durations. This limitation can be overcome by integrating for a long enough duration optimised for a given pulsar.


title: Interior inverse problem for global conservative multipeakon solutions of the Camassa-Holm equation

abstract: We consider the interior inverse problem associated with the global conservative {multipeakon} solution of the Camassa-Holm equation. Based on the inverse spectral theory on the half-line and the oscillation property of eigenfunctions, some {(non)}uniqueness results of {the} interior inverse problem are obtained. In addition, we give the trace formula, which connects the global conservative {multipeakon} solution with the corresponding eigenvalues and normalized eigenfunctions.


title: Some Features of the Modified Solid-Liquid-Vapor Equation of State

abstract: The paper considers the geometry of the Modified Solid-Liquid-Vapour equation of state. This model describes a substance state in three phases. Thermodynamics states are points on Legendrian or Lagrangian manifolds in the corresponding contact or symplectic spaces in terms of differential geometry. The conditions of applicable states and the first order phase transition are given for the Modified Solid-Liquid-Vapour equation of state. The Lagrangian manifold, singularity curve and the phase transition curves are plotted for methane.


title: HGPROMPT: Bridging Homogeneous and Heterogeneous Graphs for Few-shot Prompt Learning

abstract: Graph neural networks (GNNs) and heterogeneous graph neural networks (HGNNs) are prominent techniques for homogeneous and heterogeneous graph representation learning, yet their performance in an end-to-end supervised framework greatly depends on the availability of task-specific supervision. To reduce the labeling cost, pre-training on self-supervised pretext tasks has become a popular paradigm,but there is often a gap between the pre-trained model and downstream tasks, stemming from the divergence in their objectives. To bridge the gap, prompt learning has risen as a promising direction especially in few-shot settings, without the need to fully fine-tune the pre-trained model. While there has been some early exploration of prompt-based learning on graphs, they primarily deal with homogeneous graphs, ignoring the heterogeneous graphs that are prevalent in downstream applications. In this paper, we propose HGPROMPT, a novel pre-training and prompting framework to unify not only pre-training and downstream tasks but also homogeneous and heterogeneous graphs via a dual-template design. Moreover, we propose dual-prompt in HGPROMPT to assist a downstream task in locating the most relevant prior to bridge the gaps caused by not only feature variations but also heterogeneity differences across tasks. Finally, we thoroughly evaluate and analyze HGPROMPT through extensive experiments on three public datasets.


abstract: N=2 conformal supergravity in five dimensions is constructed via a systematic off-shell reduction scheme from maximal conformal supergravity in six dimensions which is (2,0). The dimensional reduction of the (2,0) Weyl multiplet in six dimensions gives us the Weyl multiplet in five dimensions which is a dilaton Weyl multiplet as it has a dilaton scalar. The dimensional reduction of the (2,0) tensor multiplet in six dimensions gives us the N=2 vector multiplet in five dimensions coupled to conformal supergravity. We also comment on Nahm's classification regarding the non-existence of an N=2 superconformal algebra in five dimensions and why it does not contradict the existence of N=2 conformal supergravity in five dimensions that is constructed in this paper.


title: Testing popularity in linear time via maximum matching

abstract: Popularity is an approach in mechanism design to find fair structures in a graph, based on the votes of the nodes. Popular matchings are the relaxation of stable matchings: given a graph G=(V,E) with strict preferences on the neighbors of the nodes, a matching M is popular if there is no other matching M' such that the number of nodes preferring M' is more than those preferring M. This paper considers the popularity testing problem, when the task is to decide whether a given matching is popular or not. Previous algorithms applied reductions to maximum weight matchings. We give a new algorithm for testing popularity by reducing the problem to maximum matching testing, thus attaining a linear running time O(|E|). Linear programming-based characterization of popularity is often applied for proving the popularity of a certain matching. As a consequence of our algorithm we derive a more structured dual witness than previous ones. Based on this result we give a combinatorial characterization of fractional popular matchings, which are a special class of popular matchings.


title: Bayesian Nonlinear Regression using Sums of Simple Functions

abstract: This paper proposes a new Bayesian machine learning model that can be applied to large datasets arising in macroeconomics. Our framework sums over many simple two-component location mixtures. The transition between components is determined by a logistic function that depends on a single threshold variable and two hyperparameters. Each of these individual models only accounts for a minor portion of the variation in the endogenous variables. But many of them are capable of capturing arbitrary nonlinear conditional mean relations. Conjugate priors enable fast and efficient inference. In simulations, we show that our approach produces accurate point and density forecasts. In a real-data exercise, we forecast US macroeconomic aggregates and consider the nonlinear effects of financial shocks in a large-scale nonlinear VAR.


title: Unleashing the Potential of Large Language Model: Zero-shot VQA for Flood Disaster Scenario

abstract: Visual question answering (VQA) is a fundamental and essential AI task, and VQA-based disaster scenario understanding is a hot research topic. For instance, we can ask questions about a disaster image by the VQA model and the answer can help identify whether anyone or anything is affected by the disaster. However, previous VQA models for disaster damage assessment have some shortcomings, such as limited candidate answer space, monotonous question types, and limited answering capability of existing models. In this paper, we propose a zero-shot VQA model named Zero-shot VQA for Flood Disaster Damage Assessment (ZFDDA). It is a VQA model for damage assessment without pre-training. Also, with flood disaster as the main research object, we build a Freestyle Flood Disaster Image Question Answering dataset (FFD-IQA) to evaluate our VQA model. This new dataset expands the question types to include free-form, multiple-choice, and yes-no questions. At the same time, we expand the size of the previous dataset to contain a total of 2,058 images and 22,422 question-meta ground truth pairs. Most importantly, our model uses well-designed chain of thought (CoT) demonstrations to unlock the potential of the large language model, allowing zero-shot VQA to show better performance in disaster scenarios. The experimental results show that the accuracy in answering complex questions is greatly improved with CoT prompts. Our study provides a research basis for subsequent research of VQA for other disaster scenarios.


title: Density results for the parity of $(4k,k)$-singular overpartitions

abstract: The $(k,i)$-singular overpartitions, combinatorial objects introduced by Andrews in 2015, are known to satisfy Ramanujan-type congruences modulo any power of prime coprime to $6k$. In this paper we consider the parity of the number $\overline{C}_{k,i}(n)$ of $(k,i)$-singular overpartitions of $n$. In particular, we give a sufficient condition on even values of $k$ so that the values of $\overline{C}_{4k,k}(n)$ are almost always even. Furthermore, we show that for odd values of $k \leq 23$, $k\neq 19$, certain subsequences of $\overline{C}_{4k,k}(n)$ are almost always even.


title: Correlation and Unintended Biases on Univariate and Multivariate Decision Trees

abstract: Decision Trees are accessible, interpretable, and well-performing classification models. A plethora of variants with increasing expressiveness has been proposed in the last forty years. We contrast the two families of univariate DTs, whose split functions partition data through axis-parallel hyperplanes, and multivariate DTs, whose splits instead partition data through oblique hyperplanes. The latter include the former, hence multivariate DTs are in principle more powerful. Surprisingly enough, however, univariate DTs consistently show comparable performances in the literature. We analyze the reasons behind this, both with synthetic and real-world benchmark datasets. Our research questions test whether the pre-processing phase of removing correlation among features in datasets has an impact on the relative performances of univariate vs multivariate DTs. We find that existing benchmark datasets are likely biased towards favoring univariate DTs.


title: First-order formalism for $\beta$ functions in bosonic sigma models from supersymmetry breaking

abstract: We consider the renormalization group flow equation for the two-dimensional sigma models with the K\"ahler target space. The first-order formulation allows us to treat perturbations in these models as current-current deformations. We demonstrate, however, that the conventional first-order formalism misses certain anomalies in the measure, and should be amended. We reconcile beta functions obtained within the conformal perturbation theory for the current-current deformations with traditional ``geometric" results obtained in the background field methods, in this way resolving the peculiarities pointed out in [JHEP10(2023)097]. The result is achieved by the supersymmetric completion of the first-order sigma model.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: InstructTA: Instruction-Tuned Targeted Attack for Large Vision-Language Models

abstract: Large vision-language models (LVLMs) have demonstrated their incredible capability in image understanding and response generation. However, this rich visual interaction also makes LVLMs vulnerable to adversarial examples. In this paper, we formulate a novel and practical targeted attack scenario that the adversary can only know the vision encoder of the victim LVLM, without the knowledge of its prompts (which are often proprietary for service providers and not publicly available) and its underlying large language model (LLM). This practical setting poses challenges to the cross-prompt and cross-model transferability of targeted adversarial attack, which aims to confuse the LVLM to output a response that is semantically similar to the attacker's chosen target text. To this end, we propose an instruction-tuned targeted attack (dubbed \textsc{InstructTA}) to deliver the targeted adversarial attack on LVLMs with high transferability. Initially, we utilize a public text-to-image generative model to "reverse" the target response into a target image, and employ GPT-4 to infer a reasonable instruction $\boldsymbol{p}^\prime$ from the target response. We then form a local surrogate model (sharing the same vision encoder with the victim LVLM) to extract instruction-aware features of an adversarial image example and the target image, and minimize the distance between these two features to optimize the adversarial example. To further improve the transferability with instruction tuning, we augment the instruction $\boldsymbol{p}^\prime$ with instructions paraphrased from GPT-4. Extensive experiments demonstrate the superiority of our proposed method in targeted attack performance and transferability. The code is available at https://github.com/xunguangwang/InstructTA.


title: Non-Intrusive Load Monitoring for Feeder-Level EV Charging Detection: Sliding Window-based Approaches to Offline and Online Detection

abstract: Understanding electric vehicle (EV) charging on the distribution network is key to effective EV charging management and aiding decarbonization across the energy and transport sectors. Advanced metering infrastructure has allowed distribution system operators and utility companies to collect high-resolution load data from their networks. These advancements enable the non-intrusive load monitoring (NILM) technique to detect EV charging using load measurement data. While existing studies primarily focused on NILM for EV charging detection in individual households, there is a research gap on EV charging detection at the feeder level, presenting unique challenges due to the combined load measurement from multiple households. In this paper, we develop a novel and effective approach for EV detection at the feeder level, involving sliding-window feature extraction and classical machine learning techniques, specifically models like XGBoost and Random Forest. Our developed method offers a lightweight and efficient solution, capable of quick training. Moreover, our developed method is versatile, supporting both offline and online EV charging detection. Our experimental results demonstrate high-accuracy EV charging detection at the feeder level, achieving an F-Score of 98.88% in offline detection and 93.01% in online detection.


title: Highly Accelerated Weighted MMSE Algorithms for Designing Precoders in FDD Systems with Incomplete CSI

abstract: In this work, we derive a lower bound on the training-based achievable downlink (DL) sum rate (SR) of a multi-user multiple-input-single-output (MISO) system operating in frequency-division-duplex (FDD) mode. Assuming linear minimum mean square error (LMMSE) channel estimation is used, we establish a connection of the derived lower bound on the signal-to-interference-noise-ratio (SINR) to an average MSE that allows to reformulate the SR maximization problem as the minimization of the augmented weighted average MSE (AWAMSE). We propose an iterative precoder design with three alternating steps, all given in closed form, drastically reducing the computation time. We show numerically the effectiveness of the proposed approach in challenging scenarios with limited channel knowledge, i.e., we consider scenarios with a very limited number of pilots. We additionally propose a more efficient version of the well-known stochastic iterative WMMSE (SIWMMSE) approach, where the precoder update is given in closed form.


title: Prospects for probing small-scale dark matter models with pulsars around Sagittarius A*

abstract: Future observations with next-generation large-area radio telescopes are expected to discover radio pulsars (PSRs) closely orbiting around Sagittarius~A* (Sgr~A*), the supermassive black hole (SMBH) dwelling at our Galactic Center (GC). Such a system can provide a unique laboratory for testing General Relativity (GR), as well as the astrophysics around the GC. In this paper, we provide a numerical timing model for PSR-SMBH systems based on the post-Newtonian (PN) equation of motion, and use it to explore the prospects of measuring the black hole (BH) properties with pulsar timing. We further consider the perturbation caused by the dark matter (DM) distribution around Sgr~A*, and the possibility of constraining DM models with PSR-SMBH systems. Assuming a 5-year observation of a normal pulsar in an eccentric ($e=0.8$) orbit with an orbital period $P_b = 0.5\,$yr, we find that -- with weekly recorded times of arrival (TOAs) and a timing precision of 1 ms -- the power-law index of DM density distribution near the GC can be constrained to about 20%. Such a measurement is comparable to those measurements at the Galactic length scale but can reveal small-scale properties of the DM.


title: Optical anisotropy and nonlinearity in deep ultraviolet fluorooxoborates

abstract: Optical anisotropy and nonlinearity are two tantalizingly important and enticing properties of an optical crystal. Combining these two features will have a miraculous effect. The up conversion can extend solid state laser sources to the ultraviolet and deep ultraviolet (DUV) ranges through harmonic generation and for down conversion needed for quantum information technology, but only a few suitable materials are known as the medium because of the combination of properties that are required. These include suitable band gaps, moderate optical anisotropy for phase matching and strong nonlinear optical (NLO) response. Fluorooxoborates are a new ideal platform for this effect in DUV. Here we demonstrate that fluorooxoborate is the optimal framework for DUV NLO material and show that the significance of the incorporation of fluorine in borates. The NLO performance of fluorooxoborates is strongly improved in terms of local crystal structure and distribution of electronic states. Importantly, the role of fluorine is to control the structure, while maintaining high band gaps but does not directly provide large contributions to birefringence and the second harmonic generation as the conventional assumptions. This is a consequence of the microscopic electron distribution and the energy position of the fluorine states well below the valence band maxima. Based on our understandings, we constructed two artificial structure and they all behave as anticipated.


title: A Christmas Story about Quantum Teleportation

abstract: Quantum teleportation is a concept that fascinates and confuses many people, in particular, given that it combines quantum physics and the concept of teleportation. With quantum teleportation likely to play a key role in several communication technologies and the quantum internet in the future, it is imperative to create learning tools and approaches that can accurately and effectively communicate the concept. Recent research has indicated the importance of teachers enthusing students about the topic of quantum physics. Therefore, educators at both high school and early university level need to find engaging and perhaps unorthodox ways of teaching complex, yet interesting topics such as quantum teleportation. In this paper, we present a paradigm to teach the concept of quantum teleportation using the Christmas gift-bringer Santa Claus. Using the example of Santa Claus, we use an unusual context to explore the key aspects of quantum teleportation, and all without being overly abstract. In addition, we outline a worksheet designed for use in the classroom setting which is based on common naive conceptions from quantum physics. This worksheet will be evaluated as a classroom resource to teach quantum teleportation in a subsequent study.


title: PSR J0210+5845; An ultra wide binary pulsar with a B6V main-sequence star companion

abstract: We report on radio timing observations of PSR J0210+5845 which reveal large deviations from typical pulsar spin-down behaviour. We interpret these deviations as being due to binary motion around the $V=13.5$ star 2MASS J02105640$+$5845176, which is coincident in celestial position and distance with the pulsar. Archival observations and new optical spectroscopy identify this star as a B6V star with a temperature of $T_\mathrm{eff}\approx 14\,000$K and a mass of $M_\mathrm{c}= 3.5$ to $3.8$M$_\odot$, making it the lowest mass main-sequence star known orbiting a non-recycled pulsar. We found that the timing observations constrain the binary orbit to be wide and moderately eccentric, with an orbital period of $P_\mathrm{b}=47^{+40}_{-14}$yr and eccentricity $e=0.46^{+0.10}_{-0.07}$. We predict that the next periastron passage will occur between 2030 and 2034. Due to the low companion mass, we find that the probability for a system with the properties of PSR J0210+5845 and its binary companion to survive the supernova is low. We show that a low velocity and fortuitously directed natal kick is required for the binary to remain bound during the supernova explosion, and argue that an electron-capture supernova is a plausible formation scenario for the pulsar.


title: Water content of rocky exoplanets in the habitable zone

abstract: In this study we investigated the interiors of rocky exoplanets in order to identify those that may have large quantities of water. We modelled the interiors of 28 rocky exoplanets, assuming four different layers - an iron core, a rock mantle, a high-pressure ice layer, and a surface ice/water layer. Due to observational bias, our study is limited to habitable zone exoplanets. We determined a range of possible water mass fractions for each planet consistent with the modelled planetary structures. We calculated the tidal heating experienced by these exoplanets through gravitational interactions with their host stars, assuming a temperature- and composition dependent Maxwell viscoelastic rheology. Assuming radioactive elemental abundances observed in Solar System meteorites, we also calculated the radiogenic heat flux inside the planets. We estimated the probability of the presence of a thick ocean layer in these planets, taking into account the effect of both tidal and radiogenic heating. Our results showed that Proxima Centauri b, Ross 128 b, Teegarden's b and c, GJ 1061 c and d, and TRAPPIST-1 e may have an extended liquid water reservoir. Furthermore, extremely high H2O-content of the exoplanets Kepler-62 f, Kepler-1652 b, Kepler-452 b, and Kepler-442 b suggests that these planets may maintain a water vapour atmosphere and may in fact be examples of larger ocean worlds. Upon the discovery of new rocky exoplanets beyond the habitable zone, our study can be extended to icy worlds.


title: Oliver Curvature Bounds for the Brownian Continuum Random Tree

abstract: We compute bounds in the expected Ollivier curvature for the Brownian continuum random tree $\mathcal{T}_{\mathbb{e}}$. The results indicate that when the scale dependence of the Ollivier curvature is properly taken into account, the Ollivier-Ricci curvature of $\mathcal{T}_{\mathbb{e}}$ is bounded above by every element of $\mathbb{R}$ for almost all points of $\mathcal{T}_{\mathbb{e}}$. This parallels the well-known result that every continuum tree is a $CAT(K)$ space for all $K\in\mathbb{R}$.


title: An In-Depth Survey on Virtualization Technologies in 6G Integrated Terrestrial and Non-Terrestrial Networks

abstract: 6G networks are envisioned to deliver a large diversity of applications and meet stringent quality of service (QoS) requirements. Hence, integrated terrestrial and non-terrestrial networks (TN-NTNs) are anticipated to be key enabling technologies. However, the TN-NTNs integration faces a number of challenges that could be addressed through network virtualization technologies such as Software-Defined Networking (SDN), Network Function Virtualization (NFV) and network slicing. In this survey, we provide a comprehensive review on the adaptation of these networking paradigms in 6G networks. We begin with a brief overview on NTNs and virtualization techniques. Then, we highlight the integral role of Artificial Intelligence in improving network virtualization by summarizing major research areas where AI models are applied. Building on this foundation, the survey identifies the main issues arising from the adaptation of SDN, NFV, and network slicing in integrated TN-NTNs, and proposes a taxonomy of integrated TN-NTNs virtualization offering a thorough review of relevant contributions. The taxonomy is built on a four-level classification indicating for each study the level of TN-NTNs integration, the used virtualization technology, the addressed problem, the type of the study and the proposed solution, which can be based on conventional or AI-enabled methods. Moreover, we present a summary on the simulation tools commonly used in the testing and validation of such networks. Finally, we discuss open issues and give insights on future research directions for the advancement of integrated TN-NTNs virtualization in the 6G era.


title: A Linear-time Simulation of Deterministic $d$-Limited Automata

abstract: A $d$-limited automaton is a Turing machine that uses only the cells with the input word (and end-markers) and rewrites symbols only in the first $d$ visits. This model was introduced by T. Hibbard in 1967 and he showed that $d$-limited automata recognize context-free languages for each $d \geq 2$. He also proved that languages recognizable by deterministic $d$-limited automata form a hierarchy and it was shown later by Pighizzini and Pisoni that it begins with deterministic context-free languages (DCFLs) (for $d=2$). As well-known, DCFLs are widely used in practice, especially in compilers since they are linear-time recognizable and have the corresponding CF-grammars subclass (LR$(1)$-grammars). In this paper we present a linear time recognition algorithm for deterministic $d$-limited automata (in the RAM model) which opens an opportunity for their possible practical applications. We also generalize this algorithm to deterministic $d(n)$-limited automata: the extension of deterministic $d$-limited automata, where $d$ is not a constant, but a function depending on the input length $n$.


title: Adapting Short-Term Transformers for Action Detection in Untrimmed Videos

abstract: Vision Transformer (ViT) has shown high potential in video recognition, owing to its flexible design, adaptable self-attention mechanisms, and the efficacy of masked pre-training. Yet, it remains unclear how to adapt these pre-trained short-term ViTs for temporal action detection (TAD) in untrimmed videos. The existing works treat them as off-the-shelf feature extractors for each short-trimmed snippet without capturing the fine-grained relation among different snippets in a broader temporal context. To mitigate this issue, this paper focuses on designing a new mechanism for adapting these pre-trained ViT models as a unified long-form video transformer to fully unleash its modeling power in capturing inter-snippet relation, while still keeping low computation overhead and memory consumption for efficient TAD. To this end, we design effective cross-snippet propagation modules to gradually exchange short-term video information among different snippets from two levels. For inner-backbone information propagation, we introduce a cross-snippet propagation strategy to enable multi-snippet temporal feature interaction inside the backbone.For post-backbone information propagation, we propose temporal transformer layers for further clip-level modeling. With the plain ViT-B pre-trained with VideoMAE, our end-to-end temporal action detector (ViT-TAD) yields a very competitive performance to previous temporal action detectors, riching up to 69.5 average mAP on THUMOS14, 37.40 average mAP on ActivityNet-1.3 and 17.20 average mAP on FineAction.


title: Unlocking optimal batch size schedules using continuous-time control and perturbation theory

abstract: Stochastic Gradient Descent (SGD) and its variants are almost universally used to train neural networks and to fit a variety of other parametric models. An important hyperparameter in this context is the batch size, which determines how many samples are processed before an update of the parameters occurs. Previous studies have demonstrated the benefits of using variable batch sizes. In this work, we will theoretically derive optimal batch size schedules for SGD and similar algorithms, up to an error that is quadratic in the learning rate. To achieve this, we approximate the discrete process of parameter updates using a family of stochastic differential equations indexed by the learning rate. To better handle the state-dependent diffusion coefficient, we further expand the solution of this family into a series with respect to the learning rate. Using this setup, we derive a continuous-time optimal batch size schedule for a large family of diffusion coefficients and then apply the results in the setting of linear regression.


title: Eruptive events with exceptionally bright emission in HI Ly-alpha observed by the Metis coronagraph

abstract: Metis, the coronagraph on board Solar Orbiter, provides for the first time coronagraphic imaging in the ultraviolet HI Ly-alpha line and, simultaneously, in polarized visible light, thus providing a host of information on the properties of CMEs and solar eruptions like their overall dynamics, time evolution, mass content, and outflow propagation velocity in the expanding corona. We analyzed in this work six CMEs observed by Metis between April and October 2021, which are characterized by a very strong HI Ly-alpha emission. We studied in particular the morphology, kinematics, and the temporal and radial evolution of the emission of such events, focusing on the brightest UV features. The kinematics of the eruptive events under consideration were studied by determining the height-time profiles of the brightest parts on the Metis plane of the sky. Furthermore, the 3D position in the heliosphere of the CMEs were determined by employing co-temporal images from two other coronagraphs: LASCO/C2 onboard SOHO, and COR2 onboard STEREO-A. Finally, the radiometrically calibrated Metis images of the bright UV features were analyzed to provide estimates of their volume and density. From the kinematics and radiometric analyses, we obtained indications of the temperatures of the bright UV cores of these events. The analysis of these strong UV-emitting features associated with coronal mass ejections demonstrates the capabilities of the current constellation of space coronagraphs, Metis, LASCO/C2, and COR2, in providing a complete characterization of the structure and dynamics of eruptive events in their propagation phase from their inception up to several solar radii. Furthermore, we show how the unique capabilities of the Metis instrument to observe these events in both HI Ly-alpha line and polarized VL radiation allow plasma diagnostics on the thermal state of these events.


title: Inclusion and estimates for the jumps of minimizers in variational denoising

abstract: We study stability and inclusion of the jump set of minimizers of convex denoising functionals, such as the celebrated "Rudin-Osher-Fatemi" functional, for scalar or vectorial signals. We show that under mild regularity assumptions on the data fidelity term and the regularizer, the jump set of the minimizer is essentially a subset of the original jump set. Moreover, we give an estimate on the magnitude of jumps in terms of the data. This extends old results, in particular of the first author (with V. Caselles and M. Novaga) and of T. Valkonen, to much more general cases. We also consider the case where the original datum has unbounded variation, and define a notion of its jump set which, again, must contain the jump set of the solution.


title: Packing and covering a given directed graph in a directed graph

abstract: For every fixed $k \ge 4$, it is proved that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint directed $k$-cycles, then there exists a set of at most $\frac{2}{3}kt+ o(n^2)$ arcs that meets all directed $k$-cycles and that the set of $k$-cycles admits a fractional cover of value at most $\frac{2}{3}kt$. It is also proved that the ratio $\frac{2}{3}k$ cannot be improved to a constant smaller than $\frac{k}{2}$. For $k=5$ the constant $2k/3$ is improved to $25/8$ and for $k=3$ it was recently shown by Cooper et al. that the constant can be taken to be $9/5$. The result implies a deterministic polynomial time $\frac{2}{3}k$-approximation algorithm for the directed $k$-cycle cover problem, improving upon a previous $(k{-}1)$-approximation algorithm of Kortsarz et al. More generally, for every directed graph $H$ we introduce a graph parameter $f(H)$ for which it is proved that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint $H$-copies, then there exists a set of at most $f(H)t+ o(n^2)$ arcs that meets all $H$-copies and that the set of $H$-copies admits a fractional cover of value at most $f(H)t$. It is shown that for almost all $H$ it holds that $f(H) \approx |E(H)|/2$ and that for every $k$-vertex tournament $H$ it holds that $f(H) \le \lfloor k^2/4 \rfloor$.


title: Trisections of PL 4-manifolds arising from colored triangulations

abstract: The purpose of the present paper is twofold: firstly to extend to non-orientable compact 4-manifolds the notion of gem-induced trisection, directly obtained from colored triangulations (or, equivalently, from colored graphs encoding them, called gems); secondly to prove that, both in the orientable and non-orientable case, if the boundary is homeomorphic to a connected sum of sphere bundles over $\mathbb S^1$, gem-induced trisections naturally give rise to trisections of the corresponding closed 4-manifold. As a consequence, an estimation of the trisection genus of any closed orientable 4-manifold in terms of surgery description is obtained via colored triangulations.


title: Substellar science in the wake of the ESA Euclid space mission

abstract: The ESA space mission Euclid was launched on July 1st, 2023 and is undergoing its science verification phase. In this invited review we show that Euclid means a before and an after for our understanding of ultra-cool dwarfs and substellar-mass objects and their connections with stars, exoplanets and the Milky Way. Euclid enables the study with unprecedented statistical significance a very large ensemble of ultracool dwarfs, the identification of new types of substellar objects, and the determination of the substellar binary fraction and the Initial Mass Function (IMF) in diverse galactic environments from the nearest stellar nurseries to the ancient relics of Galactic formation.


title: Unsupervised Anomaly Detection using Aggregated Normative Diffusion

abstract: Early detection of anomalies in medical images such as brain MRI is highly relevant for diagnosis and treatment of many conditions. Supervised machine learning methods are limited to a small number of pathologies where there is good availability of labeled data. In contrast, unsupervised anomaly detection (UAD) has the potential to identify a broader spectrum of anomalies by spotting deviations from normal patterns. Our research demonstrates that existing state-of-the-art UAD approaches do not generalise well to diverse types of anomalies in realistic multi-modal MR data. To overcome this, we introduce a new UAD method named Aggregated Normative Diffusion (ANDi). ANDi operates by aggregating differences between predicted denoising steps and ground truth backwards transitions in Denoising Diffusion Probabilistic Models (DDPMs) that have been trained on pyramidal Gaussian noise. We validate ANDi against three recent UAD baselines, and across three diverse brain MRI datasets. We show that ANDi, in some cases, substantially surpasses these baselines and shows increased robustness to varying types of anomalies. Particularly in detecting multiple sclerosis (MS) lesions, ANDi achieves improvements of up to 178% in terms of AUPRC.


title: Poincar\'e-Lelong type formulas and Segre numbers

abstract: Let $E$and $F$ be Hermitian vector bundles over a complex manifold $X$ and let $g\colon E\to F$ be a holomorphic morphism. We prove a Poincar\'e-Lelong type formula with a residue term $M^g$. The currents $M^g$ so obtained have an expected functorial property. We discuss various applications: If $F$ has a trivial holomorphic subbundle of rank $r$ outside the analytic set $Z$, then we get currents with support on $Z$ that represent the Bott-Chern classes $\hat c_k(E)$ for $k >\rank E-r$. We also consider Segre and Chern forms associated with certain singular metrics on $F$. The multiplicities (Lelong numbers) of the various components of $M^g$ only depend on the cokernel of the adjoint sheaf morphism $g^*$. This leads to a notion of distinguished varieties and Segre numbers of an arbitrary coherent sheaf, generalizing these notions, in particular the Hilbert-Samuel multiplicity, in case of an ideal sheaf.


title: Effect of lower order terms on the well-posedness of Majda-Biello systems

abstract: This paper investigates a noteworthy phenomenon within the framework of Majda-Biello systems, wherein the inclusion of lower-order terms can enhance the well-posedness of the system. Specifically, we investigate the initial value problem (IVP) of the following system: \[ \left\{ \begin{array}{l} u_{t} + u_{xxx} = - v v_x, v_{t} + \alpha v_{xxx} + \beta v_x = - (uv)_{x}, (u,v)|_{t=0} = (u_0,v_0) \in H^{s}(\mathbb{R}) \times H^{s}(\mathbb{R}), \end{array} \right. \quad x \in \mathbb{R}, \, t \in \mathbb{R}, \] where $\alpha \in \mathbb{R}\setminus \{0\}$ and $\beta \in \mathbb{R}$. Let $s^{*}(\alpha, \beta)$ be the smallest value for which the IVP is locally analytically well-posed in $H^{s}(\mathbb{R})\times H^{s}(\mathbb{R}) $ when $s > s^{}(\alpha, \beta)$. Two interesting facts have already been known in literature: $s^{*}(\alpha, 0) = 0$ for $\alpha \in (0,4)\setminus\{1\}$ and $s^*(4,0) = \frac34$. Our key findings include the following: For $s^{*}(4,\beta)$, a significant reduction is observed, reaching $\frac12$ for $\beta > 0$ and $\frac14$ for $\beta < 0$. Conversely, when $\alpha \neq 4$, we demonstrate that the value of $\beta$ exerts no influence on $s^*(\alpha, \beta)$. These results shed light on the intriguing behavior of Majda-Biello systems when lower-order terms are introduced and provide valuable insights into the role of $\alpha $ and $\beta$ in the well-posedness of the system.


title: Model Predictive Control Approach to Autonomous Formation Flight

abstract: Formation flight is when multiple objects fly together in a coordination. Various automatic control methods have been used for the autonomous execution of formation flight of aerial vehicles. In this paper, the capacity of the model predictive control (MPC) approach in the autonomous execution of formation flight is examined. The MPC is a controller that capable of performing formation flight, maintaining tracking desired trajectory while avoiding collisions between aerial vehicles, and obstacles faced. Through this approach, aerial vehicle models with six degrees of freedom in a three-dimensional environment are performed formation flight autonomously, mostly in a triangle order. Not only the trajectory for the formation flight can be tracked through the MPC architecture, also the collision avoidance strategies of the aerial vehicles can be performed by this architecture. Simulation studies show that MPC has sufficient capability in both cases. Therefore, it is concluded that this method can deal with constraints, avoid obstacles as well as collisions between aerial vehicles. However, implementation of MPC to aerial vehicles in real time holds challenges.


title: Triply heavy tetraquark states: masses and other properties

abstract: In this work, we study masses and other static properties of triply heavy tetraquarks in the unified framework of the MIT bag which incorporates chromomagnetic interactions and enhanced binding energy. The masses, magnetic moments and charge radii of all strange and nonstrange (ground) states of triply heavy tetraquarks are computed, suggesting that all of triply heavy tetraquarks are above the respective two-meson thresholds. We also estimate relative decay widths of main decay channels of two-heavy mesons for these tetraquarks.


title: Vacuum energy, temperature corrections and heat kernel coefficients in $(D + 1)$-dimensional spacetimes with nontrivial topology

abstract: In this work we make use of the generalized zeta function technique to investigate the vacuum energy, temperature corrections and heat kernel coefficients associated with a scalar field under a quasiperiodic condition in a $(D+1)$-dimensional conical spacetime. In this scenario we find that the renormalized vacuum energy, as well as the temperature corrections, are both zero. The nonzero heat kernel coefficients are the ones related to the usual Euclidean divergence, and also to the nontrivial aspects of the quaisperiodically identified conical spacetime topology. An interesting result that arises in this configuration is that for some values of the quasiperiodic parameter, the heat kernel coefficient associated with the nontrivial topology vanishes. In addition, we also consider the scalar field in a $(D+1)$-dimensional spacetime formed by the combination of a conical and screw dislocation topological defects. In this case, we obtain a nonzero renormalized vacuum energy density and its corresponding temperature corrections. Again, the nonzero heat kernel coefficients found are the ones related to the Euclidean and nontrivial topology divergences. For $D=3$ we explicitly show, in the massless scalar field case, the limits of low and high temperatures for the free energy. In the latter, we show that the free energy presents a classical contribution.


title: On tournament inversion

abstract: An {\it inversion} of a tournament $T$ is obtained by reversing the direction of all edges with both endpoints in some set of vertices. Let ${\rm inv}_k(T)$ be the minimum length of a sequence of inversions using sets of size at most $k$ that result in the transitive tournament. Let ${\rm inv}_k(n)$ be the maximum of ${\rm inv}_k(T)$ taken over $n$-vertex tournaments. It is well-known that ${\rm inv}_2(n)=(1+o(1))n^2/4$ and it was recently proved by Alon et al. that ${\rm inv}(n):={\rm inv}_{n}(n)=n(1+o(1))$. In these two extreme cases ($k=2$ and $k=n$), random tournaments are asymptotically extremal objects. It is proved that the random tournament {\em does not} asymptotically attain ${\rm inv}_k(n)$ when $k \ge k_0$ and conjectured that ${\rm inv}_3(n)$ is (only) attained by (quasi) random tournaments. It is further proved that $(1+o(1)){\rm inv}_3(n)/n^2 \in [\frac{1}{12}, 0.0992)$ and $(1+o(1)){\rm inv}_k(n)/n^2 \in [\frac{1}{2k(k-1)}+\delta_k, \frac{1}{2 \lfloor k^2/2 \rfloor}-\epsilon_k]$ where $\epsilon_k > 0$ for all $k \ge 3$ and $\delta_k > 0$ for all $k \ge k_0$.


title: Bounds for double $L$-functions

abstract: Double $L$-functions are the generalization of Dirichlet $L$-functions to two variable functions. We investigate the order estimation of double $L$-functions, and give upper bounds which are explicit in conductor aspect.


title: Resource Leak Checker (RLC#) for C# Code using CodeQL

abstract: Resource leaks occur when a program fails to release a finite resource after it is no longer needed. These leaks are a significant cause of real-world crashes and performance issues. Given their critical impact on software performance and security, detecting and preventing resource leaks is a crucial problem. Recent research has proposed a specify-and-check approach to prevent resource leaks. In this approach, programmers write resource management specifications that guide how resources are stored, passed around, and released within an application. We have developed a tool called RLC#, for detecting resource leaks in C# code. Inspired by the Resource Leak Checker (RLC) from the Checker Framework, RLC# employs CodeQL for intraprocedural data flow analysis. The tool operates in a modular fashion and relies on resource management specifications integrated at method boundaries for interprocedural analysis. In practice, RLC# has successfully identified 24 resource leaks in open-source projects and internal proprietary Azure microservices. Its implementation is declarative, and it scales well. While it incurs a reasonable false positive rate, the burden on developers is minimal, involving the addition of specifications to the source code.


title: Tunable exciton polaritons in band-gap engineered hexagonal boron nitride

abstract: We show that hexagonal boron nitride (hBN), a two-dimensional insulator, when subjected to an external superlattice potential forms a new paradigm for electrostatically tunable excitons in the near- and mid-ultraviolet (UV). The imposed potential has three consequences: (i) it renormalizes the effective mass tensor, leading to anisotropic effective masses; (ii) it renormalizes the band gap, eventually reducing it; (iii) it reduces the exciton binding energies. All these consequences depend on a single dimensionless parameter, which includes the product of strength of the external potential with its period. In addition to the excitonic energy levels, we compute the optical conductivity along two orthogonal directions, and from it the absorption spectrum. The results for the latter show that our system is able to mimic a grid polarizer. These characteristics make one-dimensional hBN superlattices a viable and unexplored platform for fine-tuned polaritonics in the UV to visible spectral range.


title: Thermodynamic evidence for the Fulde-Ferrell-Larkin Ovchinnikov state in the isotropic superconductor Ti4Ir2O

abstract: This study presents an investigation of the isotropic superconductor Ti4Ir2O, focusing on its magnetic field vs. temperature phase diagram near and above the Pauli limit for superconductivity. The data exhibits characteristic features that align with the formation of a Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) state, including a deviation of the upper critical field line from the standard WHH model upon approaching the Pauli limiting field and a phase transition line separating the ordinary low-field superconducting phase from an unusual high field superconducting state above the Pauli limit. We discuss why the upper critical field line in this isotropic superconductor can approach the Pauli limit, necessitating a particularly high orbital limit for superconductivity. The research also identifies peculiar features in the specific heat data set taken at 0.6 K, which may be an example of the segmentation of the FFLO phase with multiple q phases. The findings provide an explanation for the violation of the Pauli limit in this superconductor, adding a fully isotropic superconductor to the list of potential FFLO superconductors and providing new insights for contemporary theories of the FFLO state.


title: A Reliable Representation with Bidirectional Transition Model for Visual Reinforcement Learning Generalization

abstract: Visual reinforcement learning has proven effective in solving control tasks with high-dimensional observations. However, extracting reliable and generalizable representations from vision-based observations remains a central challenge. Inspired by the human thought process, when the representation extracted from the observation can predict the future and trace history, the representation is reliable and accurate in comprehending the environment. Based on this concept, we introduce a Bidirectional Transition (BiT) model, which leverages the ability to bidirectionally predict environmental transitions both forward and backward to extract reliable representations. Our model demonstrates competitive generalization performance and sample efficiency on two settings of the DeepMind Control suite. Additionally, we utilize robotic manipulation and CARLA simulators to demonstrate the wide applicability of our method.


title: PEACE: Prototype lEarning Augmented transferable framework for Cross-domain rEcommendation

abstract: To help merchants/customers to provide/access a variety of services through miniapps, online service platforms have occupied a critical position in the effective content delivery, in which how to recommend items in the new domain launched by the service provider for customers has become more urgent. However, the non-negligible gap between the source and diversified target domains poses a considerable challenge to cross-domain recommendation systems, which often leads to performance bottlenecks in industrial settings. While entity graphs have the potential to serve as a bridge between domains, rudimentary utilization still fail to distill useful knowledge and even induce the negative transfer issue. To this end, we propose PEACE, a Prototype lEarning Augmented transferable framework for Cross-domain rEcommendation. For domain gap bridging, PEACE is built upon a multi-interest and entity-oriented pre-training architecture which could not only benefit the learning of generalized knowledge in a multi-granularity manner, but also help leverage more structural information in the entity graph. Then, we bring the prototype learning into the pre-training over source domains, so that representations of users and items are greatly improved by the contrastive prototype learning module and the prototype enhanced attention mechanism for adaptive knowledge utilization. To ease the pressure of online serving, PEACE is carefully deployed in a lightweight manner, and significant performance improvements are observed in both online and offline environments.


title: Large N expansion of superconformal index of k=1 ABJM theory and semiclassical M5 brane partition function

abstract: It was shown in arXiv:2309.10786 that the leading non-perturbative contribution to the large $N$ expansion of superconformal index of (2,0) 6d theory (which describes low-energy dynamics of $N$ coincident M5 branes) is reproduced by the semiclassical partition function of quantum M2 brane wrapped on $S^{1}\times S^{2}$ in a twisted version of AdS$_{7}\times S^{4}$ background. Here we demonstrate an analogous relation for the leading non-perturbative contribution to the large $N$ expansion of the superconformal index of the ${n}=8$ supersymmetric level-one $U(N) \times U(N)$ ABJM theory (which describes low-energy dynamics of $N$ coincident M2 branes). The roles of M2 and M5 branes get effectively interchanged. Namely, the large $N$ correction to the ABJM index is found to be given by the semiclassical partition function of quantum M5 brane wrapped on $S^1 \times S^5$ in a twisted version of AdS$_{4}\times S^{7}$ background. This effectively confirms the suggestion for the "M5 brane index" made in arXiv:2007.05213 on the basis of indirect superconformal algebra considerations.


title: On the covariant formulation of gauge theories with boundaries

abstract: In the present article, we review the classical covariant formulation of Yang-Mills theory and general relativity in the presence of spacetime boundaries, focusing mainly on the derivation of the presymplectic forms and their properties. We further revisit the introduction of the edge modes and the conditions which justify them, in the context where only field-independent gauge transformations are considered. We particularly show that the presence of edge modes is not justified by gauge invariance of the presymplectic form, but rather by the condition that the presymplectic form is degenerate on the initial field space, which allows to relate this presymplectic form to the symplectic form on the gauge reduced field space via pullback.


title: COTR: Compact Occupancy TRansformer for Vision-based 3D Occupancy Prediction

abstract: The autonomous driving community has shown significant interest in 3D occupancy prediction, driven by its exceptional geometric perception and general object recognition capabilities. To achieve this, current works try to construct a Tri-Perspective View (TPV) or Occupancy (OCC) representation extending from the Bird-Eye-View perception. However, compressed views like TPV representation lose 3D geometry information while raw and sparse OCC representation requires heavy but redundant computational costs. To address the above limitations, we propose Compact Occupancy TRansformer (COTR), with a geometry-aware occupancy encoder and a semantic-aware group decoder to reconstruct a compact 3D OCC representation. The occupancy encoder first generates a compact geometrical OCC feature through efficient explicit-implicit view transformation. Then, the occupancy decoder further enhances the semantic discriminability of the compact OCC representation by a coarse-to-fine semantic grouping strategy. Empirical experiments show that there are evident performance gains across multiple baselines, e.g., COTR outperforms baselines with a relative improvement of 8%-15%, demonstrating the superiority of our method.


title: New method for SISO strong stabilization with advantages over existing methods

abstract: We address stabilization of linear time-invariant (LTI), single-input single-output (SISO) systems in the Laplace domain, with a stable controller in a single feedback loop. Such stabilization is called strong. Plants that satisfy a parity interlacing property are known to be strongly stabilizable. Finding such controllers is a well known difficult problem. Existing general methods are based on either manual search or a clever use of Nevanlinna-Pick interpolation with polynomials of possibly high integer order. Here we present a new, simple, and general method for strongly stabilizing systems of relative degree less than 3. We call our method Real to Integers (RTI). Our theoretical contributions constitute proposing the functional form used, which involves a product of several terms of the form $\displaystyle \left ( \frac{s+a}{s+b} \right )^m$, showing that real $m$'s will arise whenever the plant is strongly stabilizable, and proving that integer $m$'s can be obtained by continuously varying free parameters (i.e., the $a$'s and $b$'s). Our practical contributions include demonstrating a simple way, based on a trigonometric trick, to adjust the fractional powers until they take reasonable integer values. We include brief but necessary associated discussion to make the paper accessible to a broad audience. We also present ten numerical examples of successful control design with varying levels of difficulty, including plants whose transfer functions have relative degrees of 0, 1 or 2; and with right half plane zeros of multiplicity possibly exceeding one.


title: A Machine Learning Approach Towards SKILL Code Autocompletion

abstract: As Moore's Law continues to increase the complexity of electronic systems, Electronic Design Automation (EDA) must advance to meet global demand. An important example of an EDA technology is SKILL, a scripting language used to customize and extend EDA software. Recently, code generation models using the transformer architecture have achieved impressive results in academic settings and have even been used in commercial developer tools to improve developer productivity. To the best of our knowledge, this study is the first to apply transformers to SKILL code autocompletion towards improving the productivity of hardware design engineers. In this study, a novel, data-efficient methodology for generating SKILL code is proposed and experimentally validated. More specifically, we propose a novel methodology for (i) creating a high-quality SKILL dataset with both unlabeled and labeled data, (ii) a training strategy where T5 models pre-trained on general programming language code are fine-tuned on our custom SKILL dataset using unsupervised and supervised learning, and (iii) evaluating synthesized SKILL code. We show that models trained using the proposed methodology outperform baselines in terms of human-judgment score and BLEU score. A major challenge faced was the extremely small amount of available SKILL code data that can be used to train a transformer model to generate SKILL code. Despite our validated improvements, the extremely small dataset available to us was still not enough to train a model that can reliably autocomplete SKILL code. We discuss this and other limitations as well as future work that could address these limitations.


title: Electronic and topological characters of the ideal magnetic topological materials EuAuX with X = P, As, Sb, and Bi

abstract: Ideal magnetic topological materials have great significance in both fundamental physics and technical applications, due to their abundant exotic quantum properties and facilitation of control. Using first-principles calculations, we find several ideal magnetic topological materials in EuTX (T = Cu, Ag, and Au; X= P, As, Sb, and Bi) family. Particularly, EuAuP is the ferromagnetic Weyl semimetal, and EuAuX (X=As, Sb, and Bi) in their ground state with in-plane moments are the antiferromagnetic semimetals hosting the topological gap near the Fermi level. By tuning the magnetic moments to z-axis, EuAuX (X=As, Sb, and Bi) could further evolve into triple degenerate nodal points (TDNPs) semimetal states. The main characteristics of antiferromagnetic TDNP semimetal, including the Fermi arcs, and tangent Fermi surfaces with opposite spin winding numbers, are also studied. Our work provides a promising platform to modulate the magnetism, topological electronic structures and emergent quantum states.


title: Clonal dynamics of surface-driven growing tissues

abstract: The self-organization of cells into complex tissues relies on a tight coordination of cell behavior. Identifying the cellular processes driving tissue growth is key to understanding the emergence of tissue forms and devising targeted therapies for aberrant growth, such as in cancer. Inferring the mode of tissue growth, whether it is driven by cells on the surface or cells in the bulk, is possible in cell culture experiments, but difficult in most tissues in living organisms (in vivo). Genetic tracing experiments, where a subset of cells is labeled with inheritable markers have become important experimental tools to study cell fate in vivo. Here, we show that the mode of tissue growth is reflected in the size distribution of the progeny of marked cells. To this end, we derive the clone-size distributions using analytical calculations in the limit of negligible cell migration and cell death, and we test our predictions with an agent-based stochastic sampling technique. We show that for surface-driven growth the clone-size distribution takes a characteristic power-law form with an exponent determined by fluctuations of the tissue surface. Our results show how the mode of tissue growth can be inferred from genetic tracing experiments.

categories: q-bio.QM physics.bio-ph q-bio.CB q-bio.TO


title: Saltire -- A model to measure dynamical masses for high-contrast binaries and exoplanets with high-resolution spectroscopy

abstract: High-resolution cross-correlation methods are widely used to discover and to characterise atomic and molecular species in exoplanet atmospheres. The characteristic cross-correlation signal is typically represented as a function of the velocity of the system, and the semi-amplitude of the planet's orbit. We present Saltire, a fast and simple model that accurately reproduces the shape of such cross-correlation signals, allowing a direct fit to the data by using a minimum set of parameters. We show how to use this model on the detection of atmospheric CO in archival data of the hot Jupiter tau Bootis b, and how Saltire can be used to estimate the semi-amplitude and rest velocity of high brightness-ratio binaries. By including the shape of the signal, we demonstrate that our model allows to robustly derive the signal position up to 10 times more accurate, compared to conventional methods. Furthermore, we discuss the impact of correlated noise and demonstrate that Saltire is a robust tool for estimating systematic uncertainties on the signal position. Saltire opens a new door to analyse high signal-to-noise data to accurately study atmospheric dynamics and to measure precise dynamical masses for exoplanets and faint stellar companions. We show, that the phase-resolved shape of the atmospheric CCF signal can accurately be reproduced, allowing studies of phase-dependent signal changes and to disentangle them from noise and data aliases.


title: Coefficient Shape Alignment in Multivariate Functional Regression

abstract: In multivariate functional data analysis, different functional covariates can be homogeneous. The hidden homogeneity structure is informative about the connectivity or association of different covariates. The covariates with pronounced homogeneity can be analyzed jointly within the same group, which gives rise to a way of parsimoniously modeling multivariate functional data. In this paper, a novel grouped multivariate functional regression model with a new regularization approach termed "coefficient shape alignment" is developed to tackle the potential homogeneity of different functional covariates. The modeling procedure includes two main steps: first detect the unknown grouping structure with the new regularization approach to aggregate covariates into disjoint groups; and then the grouped multivariate functional regression model is established based on the detected grouping structure. In this new grouped model, the coefficient functions of covariates in the same homogeneous group share the same shape invariant to scaling. The new regularization approach builds on penalizing the discrepancy of coefficient shape. The consistency property of the detected grouping structure is thoroughly investigated, and the conditions that guarantee uncovering the underlying true grouping structure are developed. The asymptotic properties of the model estimates are also developed. Extensive simulation studies are conducted to investigate the finite-sample properties of the developed methods. The practical utility of the proposed methods is illustrated in the real data analysis on sugar quality evaluation. This work provides a novel means for analyzing the underlying homogeneity of functional covariates and developing parsimonious model structures for multivariate functional data.


title: The variational quantum eigensolver self-consistent field method within a polarizable embedded framework

abstract: We formulate and implement the Variational Quantum Eigensolver Self Consistent Field (VQE-SCF) algorithm in combination with polarizable embedding (PE), thereby extending PE to the regime of quantum computing. We test the resulting algorithm, PE-VQE-SCF, on quantum simulators and demonstrate that the computational stress on the quantum device is only slightly increased in terms of gate counts compared to regular VQE-SCF. On the other hand, no increase in shot noise was observed. We illustrate how PE-VQE-SCF may lead to the modeling of real chemical systems using a simulation of the reaction barrier of the Diels-Alder reaction between furan and ethene as an example.


title: Dynamical description of the phase transition into the superconducting state

abstract: Dynamical equations that are valid in the vicinity of the phase transition into the superconducting state are given. Probable effects of the field of charge carriers' magnetic interactions and the field of temperature fluctuations were taken into account. The order of the phase transition is discussed. Considerations in favor of the applicability of the stochastic dynamical model A to describe the dynamics of this phase transition are given.


title: Consensus-Based Distributed Nonlinear Filtering with Kernel Mean Embedding

abstract: This paper proposes a consensus-based distributed nonlinear filter with kernel mean embedding (KME). This fills with gap of posterior density approximation with KME for distributed nonlinear dynamic systems. To approximate the posterior density, the system state is embedded into a higher-dimensional reproducing kernel Hilbert space (RKHS), and then the nonlinear measurement function is linearly converted. As a result, an update rule of KME of posterior distribution is established in the RKHS. To show the proposed distributed filter being capable of achieving the centralized estimation accuracy, a centralized filter, serving as an extension of the standard Kalman filter in the state space to the RKHS, is developed first. Benefited from the KME, the proposed distributed filter converges to the centralized one while maintaining the distributed pattern. Two examples are introduced to demonstrate the effectiveness of the developed filters in target tracking scenarios including nearly constantly moving target and turning target, respectively, with bearing-only, range and bearing measurements.


title: Adjoint-Based Enforcement of State Constraints in PDE Optimization Problems

abstract: This study demonstrates how the adjoint-based framework traditionally used to compute gradients in PDE optimization problems can be extended to handle general constraints on the state variables. This is accomplished by constructing a projection of the gradient of the objective functional onto a subspace tangent to the manifold defined by the constraint. This projection is realized by solving an adjoint problem defined in terms of the same adjoint operator as used in the system employed to determine the gradient, but with a different forcing. We focus on the "optimize-then-discretize" paradigm in the infinite-dimensional setting where the required regularity of both the gradient and of the projection is ensured. The proposed approach is illustrated with two examples: a simple test problem describing optimization of heat transfer in one direction and a more involved problem where an optimal closure is found for a turbulent flow described by the Navier-Stokes system in two dimensions, both considered subject to different state constraints. The accuracy of the gradients and projections computed by solving suitable adjoint systems is carefully verified and the presented computational results show that the solutions of the optimization problems obtained with the proposed approach satisfy the state constraints with a good accuracy, although not exactly.


title: Solving the left-hand cut problem in lattice QCD: $T_{cc}(3875)^+$ from finite volume energy levels

abstract: We discuss a novel effective-field-theory-based approach for extracting two-body scattering information from finite volume energies, serving as an alternative to L\"uscher's method. By explicitly incorporating one-pion exchange, we overcome the challenging left-hand cut problem in L\"uscher's method and can handle finite volume energy levels both below and above the left-hand cut. Applied to the lattice data for $DD^*$ scattering at a pion mass of 280 MeV, as an illustrative example, our results reveal the significant impact of the one-pion exchange on P-wave and S-wave phase shifts. The pole position of the $T_{cc}(3875)^+$ state, extracted from the finite-volume energy levels at this pion mass while taking into account left-hand cut effects, range corrections and partial-wave mixing, is consistent with a near-threshold resonance. This study demonstrates, for the first time, that two-body scattering information can be reliably extracted from lattice spectra including the left-hand cut.


title: Nuclear and magnetic structure of an epitaxial La$_{0.67}$Sr$_{0.33}$MnO$_{3}$ film using diffraction methods

abstract: We use a combination of transmission electron microscopy, X-Ray and neutron diffraction, SQUID magnetometry and symmetry analysis to determine the nuclear and magnetic structure of an epitaxial LSMO film, deposited on a Si substrate. The film undergoes a magnetic ordering transition at 260K. At 300K, in the paramagnetic phase, the manganite film has a $I4/m$ space group. In the magnetic phase, SQUID and neutron diffraction results lead us to assign a ferromagnetic spin-order to the film, associated to magnetic moments with a slightly out-of-plane component, namely $(3.5, 0, 0.3)\,\mu_B$. Symmetry analysis further shows that only the $P\bar 1'$ group is compatible with such a magnetic ordering.


title: Early results from GLASS-JWST. XXVII. The mass-metallicity relation in lensed field galaxies at cosmic noon with NIRISS

abstract: We present a measurement of the mass-metallicity relation (MZR) at cosmic noon, using the JWST near-infrared wide-field slitless spectroscopy obtained by the GLASS-JWST Early Release Science program. By combining the power of JWST and the lensing magnification by the foreground cluster A2744, we extend the measurements of the MZR to the dwarf mass regime at high redshifts. A sample of 50 galaxies with several emission lines is identified across two wide redshift ranges of $z=1.8-2.3$ and $2.6-3.4$ in the stellar mass range of $\log{(M_*/M_\odot)}\in [6.9, 10.0]$. The observed slope of MZR is $0.223 \pm 0.017$ and $0.294 \pm 0.010$ at these two redshift ranges, respectively, consistent with the slopes measured in field galaxies with higher masses. In addition, we assess the impact of the morphological broadening on emission line measurement by comparing two methods of using 2D forward modeling and line profile fitting to 1D extracted spectra. We show that ignoring the morphological broadening effect when deriving line fluxes from grism spectra results in a systematic reduction of flux by $\sim30\%$ on average. This discrepancy appears to affect all the lines and thus does not lead to significant changes in flux ratio and metallicity measurements. This assessment of the morphological broadening effect using JWST data presents, for the first time, an important guideline for future work deriving galaxy line fluxes from wide-field slitless spectroscopy, such as Euclid, Roman, and the Chinese Space Station Telescope.


title: Tensoring by a plane maintains secant-regularity in degree at least two

abstract: Starting from an integral projective variety $Y$ equipped with a very ample, non-special and not-secant defective line bundle $\mathcal{L}$, the paper establishes, under certain conditions, the regularity of $(Y \times \mathbb P^2,\mathcal{L}[t])$ for $t\geq 2$. The mildness of those conditions allow to classify all secant defective cases of any product of $(\mathbb P^1)^{ j}\times (\mathbb P^2)^{k}$, $j,k \geq 0$, embedded in multidegree at least $(2, \ldots , 2)$ and $(\mathbb{P}^m\times\mathbb{P}^n\times (\mathbb{P}^2)^k, \mathcal{O}_{\mathbb{P}^m\times\mathbb{P}^n\times (\mathbb{P}^2)^k} (d,e,t_1, \ldots, t_k))$ where $d,e \geq 3$, $t_i\geq 2$, for any $n$ and $m$.


title: Efficiency of Unsupervised Anomaly Detection Methods on Software Logs

abstract: Software log analysis can be laborious and time consuming. Time and labeled data are usually lacking in industrial settings. This paper studies unsupervised and time efficient methods for anomaly detection. We study two custom and two established models. The custom models are: an OOV (Out-Of-Vocabulary) detector, which counts the terms in the test data that are not present in the training data, and the Rarity Model (RM), which calculates a rarity score for terms based on their infrequency. The established models are KMeans and Isolation Forest. The models are evaluated on four public datasets (BGL, Thunderbird, Hadoop, HDFS) with three different representation techniques for the log messages (Words, character Trigrams, Parsed events). We used the AUC-ROC metric for the evaluation. The results reveal discrepancies based on the dataset and representation technique. Different configurations are advised based on specific requirements. For speed, the OOV detector with word representation is optimal. For accuracy, the OOV detector combined with trigram representation yields the highest AUC-ROC (0.846). When dealing with unfiltered data where training includes both normal and anomalous instances, the most effective combination is the Isolation Forest with event representation, achieving an AUC-ROC of 0.829.


title: A Note on the 2-Colored Rectilinear Crossing Number of Random Point Sets in the Unit Square

abstract: Let $S$ be a set of four points chosen independently, uniformly at random from a square. Join every pair of points of $S$ with a straight line segment. Color these edges red if they have positive slope and blue, otherwise. We show that the probability that $S$ defines a pair of crossing edges of the same color is equal to $1/4$. This is connected to a recent result of Aichholzer et al. [GD 2019] who showed that by 2-colouring the edges of a geometric graph and counting monochromatic crossings instead of crossings, the number of crossings can be more than halfed. Our result shows that for the described random drawings, there is a coloring of the edges such that the number of monochromatic crossings is in expectation $\frac{1}{2}-\frac{7}{50}$ of the total number of crossings.


title: Radio Jet Feedback on the Inner Disk of Virgo Spiral Galaxy Messier 58

abstract: Spitzer spectral maps reveal a disk of highly luminous, warm (>150 K) H2 in the center of the massive spiral galaxy Messier 58, which hosts a radio-loud AGN. The inner 2.6 kpc of the galaxy appears to be overrun by shocks from the radio jet cocoon. Gemini NIRI imaging of the H2 1-0 S(1) emission line, ALMA CO 2-1, and HST multiband imagery indicate that much of the molecular gas is shocked in-situ, corresponding to lanes of dusty molecular gas that spiral towards the galaxy nucleus. The CO 2-1 and ionized gas kinematics are highly disturbed, with velocity dispersion up to 300 km/s. Dissipation of the associated kinetic energy and turbulence, likely injected into the ISM by radio-jet driven outflows, may power the observed molecular and ionized gas emission from the inner disk. The PAH fraction and composition in the inner disk appear to be normal, in spite of the jet and AGN activity. The PAH ratios are consistent with excitation by the interstellar radiation field from old stars in the bulge, with no contribution from star formation. The phenomenon of jet-shocked H2 may substantially reduce star formation and help to regulate the stellar mass of the inner disk and supermassive black hole in this otherwise normal spiral galaxy. Similarly strong H2 emission is found at the centers of several nearby spiral and lenticular galaxies with massive bulges and radio-loud AGN.


title: Switchable band topology and geometric current in sliding bilayer elemental ferroelectric

abstract: We demonstrate that sliding motion between two layers of the newly discovered ferroelectric and topologically trivial bismuth (Bi) monolayer [Nature 617, 67 (2023)] can induce a sequence of topological phase transitions, alternating between trivial and nontrivial states. Interestingly, a lateral shift, even when preserving spatial symmetry, can still switch the quantum spin Hall state on and off. The substantial band-gap modulation and band inversion due to interlayer sliding arise primarily from the intralayer in-plane charge transfer processes involving Bi atoms at the outermost atomic layers, rather than the interlayer charge redistribution. We map out the topological phase diagram and the geometric Berry curvature-dipole induced nonlinear anomalous Hall response resulting from sliding, highlighting the potential for robust mechanical control over the edge current and the Hall current. Bilayer configurations that are $\mathbb{Z}_2$ nontrivial can produce drastically different transverse currents orthogonal to the external electric field. This occurs because both the direction and magnitude of the Berry curvature dipole at the Fermi level depend sensitively on the sliding displacement. Our results suggest that bilayer bismuth could serve as a platform to realize power-efficient ``Berry slidetronics" for topology memory applications.


title: DSText V2: A Comprehensive Video Text Spotting Dataset for Dense and Small Text

abstract: Recently, video text detection, tracking, and recognition in natural scenes are becoming very popular in the computer vision community. However, most existing algorithms and benchmarks focus on common text cases (e.g., normal size, density) and single scenario, while ignoring extreme video text challenges, i.e., dense and small text in various scenarios. In this paper, we establish a video text reading benchmark, named DSText V2, which focuses on Dense and Small text reading challenges in the video with various scenarios. Compared with the previous datasets, the proposed dataset mainly include three new challenges: 1) Dense video texts, a new challenge for video text spotters to track and read. 2) High-proportioned small texts, coupled with the blurriness and distortion in the video, will bring further challenges. 3) Various new scenarios, e.g., Game, Sports, etc. The proposed DSText V2 includes 140 video clips from 7 open scenarios, supporting three tasks, i.e., video text detection (Task 1), video text tracking (Task 2), and end-to-end video text spotting (Task 3). In this article, we describe detailed statistical information of the dataset, tasks, evaluation protocols, and the results summaries. Most importantly, a thorough investigation and analysis targeting three unique challenges derived from our dataset are provided, aiming to provide new insights. Moreover, we hope the benchmark will promise video text research in the community. DSText v2 is built upon DSText v1, which was previously introduced to organize the ICDAR 2023 competition for dense and small video text.


title: Foundations for Transfer in Reinforcement Learning: A Taxonomy of Knowledge Modalities

abstract: Contemporary artificial intelligence systems exhibit rapidly growing abilities accompanied by the growth of required resources, expansive datasets and corresponding investments into computing infrastructure. Although earlier successes predominantly focus on constrained settings, recent strides in fundamental research and applications aspire to create increasingly general systems. This evolving landscape presents a dual panorama of opportunities and challenges in refining the generalisation and transfer of knowledge - the extraction from existing sources and adaptation as a comprehensive foundation for tackling new problems. Within the domain of reinforcement learning (RL), the representation of knowledge manifests through various modalities, including dynamics and reward models, value functions, policies, and the original data. This taxonomy systematically targets these modalities and frames its discussion based on their inherent properties and alignment with different objectives and mechanisms for transfer. Where possible, we aim to provide coarse guidance delineating approaches which address requirements such as limiting environment interactions, maximising computational efficiency, and enhancing generalisation across varying axes of change. Finally, we analyse reasons contributing to the prevalence or scarcity of specific forms of transfer, the inherent potential behind pushing these frontiers, and underscore the significance of transitioning from designed to learned transfer.


title: Intelligent Reflecting Surface-Aided Electromagnetic Stealth Against Radar Detection

abstract: While traditional electromagnetic stealth materials/metasurfaces can render a target virtually invisible to some extent, they lack flexibility and adaptability, and can only operate within a limited frequency and angle/direction range, making it challenging to ensure the expected stealth performance. In view of this, we propose in this paper a new intelligent reflecting surface (IRS)-aided electromagnetic stealth system mounted on targets to evade radar detection, by utilizing the tunable passive reflecting elements of IRS to achieve flexible and adaptive electromagnetic stealth in a cost-effective manner. Specifically, we optimize the IRS's reflection at the target to minimize the sum received signal power of all adversary radars. We first address the IRS's reflection optimization problem using the Lagrange multiplier method and derive a semi-closed-form optimal solution for the single-radar setup, which is then generalized to the multi-radar case. To meet real-time processing requirements, we further propose low-complexity closed-form solutions based on the reverse alignment/cancellation and minimum mean-square error (MMSE) criteria for the single-radar and multi-radar cases, respectively. Additionally, we propose practical low-complexity estimation schemes at the target to acquire angle-of-arrival (AoA) and/or path gain information via a small number of receive sensing devices. Simulation results validate the performance advantages of our proposed IRS-aided electromagnetic stealth system with the proposed IRS reflection designs.


title: Intrusion Detection System with Machine Learning and Multiple Datasets

abstract: As Artificial Intelligence (AI) technologies continue to gain traction in the modern-day world, they ultimately pose an immediate threat to current cybersecurity systems via exploitative methods. Prompt engineering is a relatively new field that explores various prompt designs that can hijack large language models (LLMs). If used by an unethical attacker, it can enable an AI system to offer malicious insights and code to them. In this paper, an enhanced intrusion detection system (IDS) that utilizes machine learning (ML) and hyperparameter tuning is explored, which can improve a model's performance in terms of accuracy and efficacy. Ultimately, this improved system can be used to combat the attacks made by unethical hackers. A standard IDS is solely configured with pre-configured rules and patterns; however, with the utilization of machine learning, implicit and different patterns can be generated through the models' hyperparameter settings and parameters. In addition, the IDS will be equipped with multiple datasets so that the accuracy of the models improves. We evaluate the performance of multiple ML models and their respective hyperparameter settings through various metrics to compare their results to other models and past research work. The results of the proposed multi-dataset integration method yielded an accuracy score of 99.9% when equipped with the XGBoost and random forest classifiers and RandomizedSearchCV hyperparameter technique.


title: Search for the decay of the Higgs boson to a $Z$ boson and a light pseudoscalar particle decaying to two photons

abstract: A search for the decay of the Higgs boson to a $Z$ boson and a light, pseudoscalar particle, $a$, decaying respectively to two leptons and to two photons is reported. The search uses the full LHC Run 2 proton-proton collision data at $\sqrt{s}=13$ TeV, corresponding to 139 fb$^{-1}$ collected by the ATLAS detector. This is one of the first searches for this specific decay mode of the Higgs boson, and it probes unexplored parameter space in models with axion-like particles (ALPs) and extended scalar sectors. The mass of the $a$ particle is assumed to be in the range 0.1-33 GeV. The data are analysed in two categories: a merged category where the photons from the $a$ decay are reconstructed in the ATLAS calorimeter as a single cluster, and a resolved category in which two separate photons are detected. The main background processes are from Standard Model $Z$ boson production in association with photons or jets. The data are in agreement with the background predictions, and upper limits on the branching ratio of the Higgs boson decay to $Za$ times the branching ratio $a\to\gamma\gamma$ are derived at the 95% confidence level and they range from 0.08% to 2% depending on the mass of the $a$ particle. The results are also interpreted in the context of ALP models.


title: Instance-guided Cartoon Editing with a Large-scale Dataset

abstract: Cartoon editing, appreciated by both professional illustrators and hobbyists, allows extensive creative freedom and the development of original narratives within the cartoon domain. However, the existing literature on cartoon editing is complex and leans heavily on manual operations, owing to the challenge of automatic identification of individual character instances. Therefore, an automated segmentation of these elements becomes imperative to facilitate a variety of cartoon editing applications such as visual style editing, motion decomposition and transfer, and the computation of stereoscopic depths for an enriched visual experience. Unfortunately, most current segmentation methods are designed for natural photographs, failing to recognize from the intricate aesthetics of cartoon subjects, thus lowering segmentation quality. The major challenge stems from two key shortcomings: the rarity of high-quality cartoon dedicated datasets and the absence of competent models for high-resolution instance extraction on cartoons. To address this, we introduce a high-quality dataset of over 100k paired high-resolution cartoon images and their instance labeling masks. We also present an instance-aware image segmentation model that can generate accurate, high-resolution segmentation masks for characters in cartoon images. We present that the proposed approach enables a range of segmentation-dependent cartoon editing applications like 3D Ken Burns parallax effects, text-guided cartoon style editing, and puppet animation from illustrations and manga.


title: New Methods for Network Count Time Series

abstract: The original generalized network autoregressive models are poor for modelling count data as they are based on the additive and constant noise assumptions, which is usually inappropriate for count data. We introduce two new models (GNARI and NGNAR) for count network time series by adapting and extending existing count-valued time series models. We present results on the statistical and asymptotic properties of our new models and their estimates obtained by conditional least squares and maximum likelihood. We conduct two simulation studies that verify successful parameter estimation for both models and conduct a further study that shows, for negative network parameters, that our NGNAR model outperforms existing models and our other GNARI model in terms of predictive performance. We model a network time series constructed from COVID-positive counts for counties in New York State during 2020-22 and show that our new models perform considerably better than existing methods for this problem.


title: GOALS-JWST: Mid-Infrared Molecular Gas Excitation Probes the Local Conditions of Nuclear Star Clusters and the AGN in the LIRG VV 114

abstract: The enormous increase in mid-IR sensitivity and spatial and spectral resolution provided by the JWST spectrographs enables, for the first time, detailed extragalactic studies of molecular vibrational bands. This opens an entirely new window for the study of the molecular interstellar medium in luminous infrared galaxies (LIRGs). We present a detailed analysis of rovibrational bands of gas-phase CO, H$_2$O, C$_2$H$_2$ and HCN towards the heavily-obscured eastern nucleus of the LIRG VV 114, as observed by NIRSpec and MIRI MRS. Spectra extracted from apertures of 130 pc in radius show a clear dichotomy between the obscured AGN and two intense starburst regions. We detect the 2.3 $\mu$m CO bandheads, characteristic of cool stellar atmospheres, in the star-forming regions, but not towards the AGN. Surprisingly, at 4.7 $\mathrm{\mu}$m we find highly-excited CO ($T_\mathrm{ex} \approx 700-800$ K out to at least rotational level $J = 27$) towards the star-forming regions, but only cooler gas ($T_\mathrm{ex} \approx 200$ K) towards the AGN. We conclude that only mid-infrared pumping through the rovibrational lines can account for the equilibrium conditions found for CO and H$_2$O in the deeply-embedded starbursts. Here the CO bands probe regions with an intense local radiation field inside dusty young massive star clusters or near the most massive young stars. The lack of high-excitation molecular gas towards the AGN is attributed to geometric dilution of the intense radiation from the bright point source. An overview of the relevant excitation and radiative transfer physics is provided in an appendix.


title: The evaluation of graphs on surfaces for state-sum models with defects

abstract: The evaluation of graphs on 2-spheres is a central ingredient of the Turaev-Viro construction of three-dimensional topological field theories. In this article, we introduce a class of graphs, called extruded graphs, that is relevant for the Turaev-Viro construction with general defect configurations involving defects of various dimensions. We define the evaluation of extruded graphs and show that it is invariant under a set of moves. This ensures the computability and uniqueness of our evaluation.